How May the Propositional Calculus Represent?

South American Journal of Logic 3 (1):173-184 (2017)

Authors
Tristan Haze
University of Sydney
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.
Keywords philosophy of logic  propositional calculus  applied logic  interpretation of logic  proof-theory  modelling
Categories (categorize this paper)
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 39,692
External links

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

On Sense and Reference.Gottlob Frege - 2010 - In Darragh Byrne & Max Kölbel (eds.), Arguing About Language. Routledge. pp. 36--56.
Inferentializing Semantics.Jaroslav Peregrin - 2010 - Journal of Philosophical Logic 39 (3):255 - 274.

View all 11 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

An Approach to Infinitary Temporal Proof Theory.Stefano Baratella & Andrea Masini - 2004 - Archive for Mathematical Logic 43 (8):965-990.
Sequential Dynamic Logic.Alexander Bochman & Dov M. Gabbay - 2012 - Journal of Logic, Language and Information 21 (3):279-298.
Quantum Logical Calculi and Lattice Structures.E. -W. Stachow - 1978 - Journal of Philosophical Logic 7 (1):347 - 386.
Socratic Proofs.Andrzej Wiśniewski - 2004 - Journal of Philosophical Logic 33 (3):299-326.

Analytics

Added to PP index
2018-07-24

Total views
31 ( #246,174 of 2,327,886 )

Recent downloads (6 months)
10 ( #116,663 of 2,327,886 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature