Concept
Propositional logic
Overview
branch of logic concerned with the study of propositions (whether they are true or false) that are formed by other propositions with the use of logical connectives, and how their value depends on the truth value of their components
Overview adapted from Wikipedia (CC BY-SA 4.0; see the article history for authors).
Possible passages
Found by search and not yet checked by a person; they may only mention the idea in passing.
Of course, only a few are important. Similarly we can start from three propositions, _p_, _q_, _r_, or from four propositions, _p_, _q_, _r_, _s_, and so on. Any one of the propositions of these aggregates may be true or false. It has no other alternative. Whichever it is, true or false, call it the "truth-value" of the proposition.
Alfred North Whitehead, The organisation of thought, educational and scientific
The author is tied to Propositional logic in the knowledge graph.
We will distinguish propositions of this kind as "image-propositions" and propositions in words as "word-propositions." We may identify propositions in general with the contents of actual and possible beliefs, and we may say that it is propositions that are true or false. In logic we are concerned with propositions rather than beliefs, since logic is not interested in what people do in fact believe, but only in the…
Bertrand Russell, The Analysis of Mind
The author is tied to Propositional logic in the knowledge graph.
These propositions, it will be seen, begin to have the appearance of the propositions in logical text-books. But their peculiarity and complexity are not known to the text-books, and the problems which they raise are only discussed in the most superficial manner.
Bertrand Russell, Our Knowledge of the External World as a Field for Scientific Method in Philosophy
The author is tied to Propositional logic in the knowledge graph.
Philosophers who discussed Propositional logic
- Nuel Belnap
- Jan Łukasiewicz
- Chrysippus
- George Boole
- Walter Burley
- Gottlob Frege
- Jean Nicod
- Evert Willem Beth
- Stephen Yablo
Related ideas
- Method of analytic tableaux
- Exclusive or
- Formal language
- First-order logic
- Gottfried Wilhelm Leibniz
- Basic Books
- Argument
- Philosophy
- Ancient Greek
- If and only if
- Propositional variable
- John von Neumann
- Negation
- Truth value
- Jean Buridan
- Language
- Law of noncontradiction
- Law of excluded middle
- Ludwig Wittgenstein
- London
- Logical conjunction
- Logical connective
- Function (mathematics)
- Modus ponens
Opposing perspectives
Place in the tradition
Part of Outline of philosophy.
Narrower topics: