A propositional logic with relative identity connective and a partial solution to the paradox of analysis
David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Studia Logica 85 (2):251 - 260 (2007)
We construct a a system PLRI which is the classical propositional logic supplied with a ternary construction , interpreted as the intensional identity of statements and in the context . PLRI is a refinement of Roman Suszko’s sentential calculus with identity (SCI) whose identity connective is a binary one. We provide a Hilbert-style axiomatization of this logic and prove its soundness and completeness with respect to some algebraic models. We also show that PLRI can be used to give a partial solution to the paradox of analysis.
|Keywords||Philosophy Computational Linguistics Mathematical Logic and Foundations Logic|
|Categories||categorize this paper)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Kai Wehmeier (2004). Wittgensteinian Predicate Logic. Notre Dame Journal of Formal Logic 45 (1):1-11.
Maria Aloni (2005). Individual Concepts in Modal Predicate Logic. Journal of Philosophical Logic 34 (1):1 - 64.
Charles Sayward (2006). What is the Logic of Propositional Identity? Logic and Logical Philosophy 15 (1):3-15.
Kevin C. Klement, Propositional Logic. Internet Encyclopedia of Philosophy.
Nicholas Mantegani (2013). Instantiation is Not Partial Identity. Philosophical Studies 163 (3):697-715.
A. D. Yashin (1999). Irreflexive Modality in the Intuitionistic Propositional Logic and Novikov Completeness. Journal of Philosophical Logic 28 (2):175-197.
Hartley Slater (2005). Choice and Logic. Journal of Philosophical Logic 34 (2):207 - 216.
Philip Hugly & Charles Sayward (1976). Prior on Propositional Identity. Analysis 36 (4):182-184.
Xiaowu Li & Xuefeng Wen (2007). Plausibility, Necessity and Identity: A Logic of Relative Plausibility. [REVIEW] Frontiers of Philosophy in China 2 (4):629-644.
William S. Cooper (1968). The Propositional Logic of Ordinary Discourse. Inquiry 11 (1-4):295 – 320.
Added to index2009-01-28
Total downloads29 ( #68,004 of 1,413,453 )
Recent downloads (6 months)3 ( #67,529 of 1,413,453 )
How can I increase my downloads?