David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Internet Encyclopedia of Philosophy (2004)
Propositional logic, also known as sentential logic and statement logic, is the branch of logic that studies ways of joining and/or modifying entire propositions, statements or sentences to form more complicated propositions, statements or sentences, as well as the logical relationships and properties that are derived from these methods of combining or altering statements. In propositional logic, the simplest statements are considered as indivisible units, and hence, propositional logic does not study those logical properties and relations that depend upon parts of statements that are not themselves statements on their own, such as the subject and predicate of a statement. The most thoroughly researched branch of propositional logic is classical truth-functional propositional logic, which studies logical operators and connectives that are used to produce complex statements whose truth-value depends entirely on the truth-values of the simpler statements making them up, and in which it is assumed that every statement is either true or false and not both. However, there are other forms of propositional logic in which other truth-values are considered, or in which there is consideration of connectives that are used to produce statements whose truth-values depend not simply on the truth-values of the parts, but additional things such as their necessity, possibility or relatedness to one another
|Keywords||logic propositional logic sentential logic proposition statement truth-function connective|
|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
Nicholas J. J. Smith (2012). Many-Valued Logics. In Gillian Russell & Delia Graff Fara (eds.), The Routledge Companion to Philosophy of Language. Routledge 636--51.
Fabrice Correia (2000). Propositional Logic of Essence. Journal of Philosophical Logic 29 (3):295-313.
Stan Baronett (2008). Logic. Pearson Prentice Hall.
David Ellerman (2010). The Logic of Partitions: Introduction to the Dual of the Logic of Subsets. Review of Symbolic Logic 3 (2):287-350.
A. D. Yashin (1999). Irreflexive Modality in the Intuitionistic Propositional Logic and Novikov Completeness. Journal of Philosophical Logic 28 (2):175-197.
Greg Restall (2005). Logic: An Introduction. Routledge.
Frances Howard-Snyder (2012). The Power of Logic. Mcgraw-Hill.
Peter Simons (2006). The Logic of Location. Synthese 150 (3):443 - 458.
Marek Nowak & Daniel Vanderveken (1995). A Complete Minimal Logic of the Propositional Contents of Thought. Studia Logica 54 (3):391 - 410.
Added to index2009-01-28
Total downloads38 ( #93,839 of 1,778,394 )
Recent downloads (6 months)4 ( #141,940 of 1,778,394 )
How can I increase my downloads?