How May the Propositional Calculus Represent?
South American Journal of Logic 3 (1):173-184 (2017)
Abstract
This paper is a conceptual study in the philosophy of logic. The question considered is 'How may formulae of the propositional calculus be brought into a representational relation to the world?'. Four approaches are distinguished: (1) the denotational approach, (2) the abbreviational approach, (3) the truth-conditional approach, and (4) the modelling approach. (2) and (3) are very familiar, so I do not discuss them. (1), which is now largely obsolete, led to some interesting twists and turns in early analytic philosophy which will come as news to many contemporary readers, so I discuss it in some detail. The modelling approach is, to the best of my knowledge, newly introduced here. I am not presenting it as a rival to the other approaches, but as a philosophically interesting possibility.Author's Profile
My notes
Similar books and articles
Undecidability of the Problem of Recognizing Axiomatizations of Superintuitionistic Propositional Calculi.Evgeny Zolin - 2014 - Studia Logica 102 (5):1021-1039.
On the computational content of intuitionistic propositional proofs.Samuel R. Buss & Pavel Pudlák - 2001 - Annals of Pure and Applied Logic 109 (1-2):49-64.
An approach to infinitary temporal proof theory.Stefano Baratella & Andrea Masini - 2004 - Archive for Mathematical Logic 43 (8):965-990.
On Interpreting the S5 Propositional Calculus: an essay in philosophical logic.Michael J. Carroll - 1976 - Dissertation, University of Iowa
Sequential Dynamic Logic.Alexander Bochman & Dov M. Gabbay - 2012 - Journal of Logic, Language and Information 21 (3):279-298.
Uniform Interpolation and Propositional Quantifiers in Modal Logics.Marta Bílková - 2007 - Studia Logica 85 (1):1-31.
Compatible Functions in Algebras Associated to Extensions of Positive Logic.Rodolfo Ertola, Adriana Galli & Marta Sagastuma - 2007 - Logic Journal of the IGPL 15 (1):109-119.
The Lambek Calculus Extended with Intuitionistic Propositional Logic.Michael Kaminski & Nissim Francez - 2016 - Studia Logica 104 (5):1051-1082.
Relational Semantics of the Lambek Calculus Extended with Classical Propositional Logic.Michael Kaminski & Nissim Francez - 2014 - Studia Logica 102 (3):479-497.
A cut-free gentzen-type system for the logic of the weak law of excluded middle.Branislav R. Boričić - 1986 - Studia Logica 45 (1):39-53.
Quantum logical calculi and lattice structures.E. -W. Stachow - 1978 - Journal of Philosophical Logic 7 (1):347 - 386.
Propositional Quantification in the Monadic Fragment of Intuitionistic Logic.Tomasz Połacik - 1998 - Journal of Symbolic Logic 63 (1):269-300.
On the period of sequences (an(p)) in intuitionistic propositional calculus.Wim Ruitenburg - 1984 - Journal of Symbolic Logic 49 (3):892 - 899.
An interpretation of a certain fragment of arithmetic in some propositional calculus.Zdzislaw Dywan - 1984 - Bulletin of the Section of Logic 13 (2):99-103.
Analytics
Added to PP
2018-07-24
Downloads
87 (#143,026)
6 months
8 (#106,013)
2018-07-24
Downloads
87 (#143,026)
6 months
8 (#106,013)
Historical graph of downloads
Author's Profile
References found in this work
Tractatus Logico-Philosophicus.Ludwig Wittgenstein - 1956 - Revista Portuguesa de Filosofia 12 (1):109-110.
On sense and reference.Gottlob Frege - 1960 - In Darragh Byrne & Max Kölbel (eds.), Arguing About Language. Routledge. pp. 36--56.