eCite Digital Repository

A note on freedom from detachment in the Logic of Paradox


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]


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

Repository Staff Only: item control page