-
183Validity Curry StrengthenedThought: A Journal of Philosophy 2 (1): 100-107. 2013.Several authors have argued that a version of Curry's paradox involving validity motivates rejecting the structural rule of contraction. This paper criticizes two recently suggested alternative responses to “validity Curry.” There are three salient stages in a validity Curry derivation. Rejecting contraction blocks the first, while the alternative responses focus on the second and third. I show that a distinguishing feature of validity Curry, as contrasted with more familiar forms of Curry's par…Read more
-
144Review of Robert Brandom, Between Saying and Doing (review)Australasian Journal of Philosophy 88 (2): 367-71. 2010.This Article does not have an abstract
-
307"Coordinative definition" and Reichenbach's semantic framework: A reassessmentErkenntnis 41 (3). 1994.Reichenbach's Philosophy of Space and Time (1928) avoids most of the logical positivist pitfalls it is generally held to exemplify, notably both conventionalism and verificationism. To see why, we must appreciate that Reichenbach's interest lies in how mathematical structures can be used to describe reality, not in how words like 'distance' acquire meaning. Examination of his proposed "coordinative definition" of congruence shows that Reichenbach advocates a reductionist analysis of the relati…Read more
-
1813LP, K3, and FDE as Substructural LogicsIn Arazim Pavel & Lávička Tomáš (eds.), The Logica Yearbook 2016, College Publications. 2017.Building on recent work, I present sequent systems for the non-classical logics LP, K3, and FDE with two main virtues. First, derivations closely resemble those in standard Gentzen-style systems. Second, the systems can be obtained by reformulating a classical system using nonstandard sequent structure and simply removing certain structural rules (relatives of exchange and contraction). I clarify two senses in which these logics count as “substructural.”
-
143The rationale behind revision-rule semanticsPhilosophical Studies 129 (3). 2006.According to Gupta and Belnap, the “extensional behavior” of ‘true’ matches that of a circularly defined predicate. Besides promising to explain semantic paradoxicality, their general theory of circular predicates significantly liberalizes the framework of truth-conditional semantics. The authors’ discussions of the rationale behind that liberalization invoke two distinct senses in which a circular predicate’s semantic behavior is explained by a “revision rule” carrying hypothetical information …Read more