eCite Digital Repository
A note on freedom from detachment in the Logic of Paradox
Citation
Beall, Jc and Forster, T and Seligman, J, A note on freedom from detachment in the Logic of Paradox, Notre Dame Journal of Formal Logic, 54, (1) pp. 15-20. (2013) [Letter or Note in Journal]
Abstract
We shed light on an old problem by showing that the logic LP cannot define a binary connective ⊙ obeying detachment in the sense that every valuation satisfying φ and (φ⊙ψ) also satisfies ψ, except trivially. We derive this as a corollary of a more general result concerning variable sharing.
Item Details
Item Type: | Letter or Note in Journal |
---|---|
Research Division: | Philosophy and Religious Studies |
Research Group: | Philosophy |
Research Field: | Logic |
Objective Division: | Expanding Knowledge |
Objective Group: | Expanding knowledge |
Objective Field: | Expanding knowledge in philosophy and religious studies |
UTAS Author: | Beall, Jc (Professor JC Beall) |
ID Code: | 100104 |
Year Published: | 2013 |
Deposited By: | School of Humanities |
Deposited On: | 2015-05-01 |
Last Modified: | 2015-05-22 |
Downloads: | 0 |
Repository Staff Only: item control page