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