more from this thinker
|
more from this text
Single Idea 18803
[filed under theme 4. Formal Logic / B. Propositional Logic PL / 1. Propositional Logic
]
Full Idea
The classical semantics of natural language propositions says 1) valid arguments preserve truth, 2) no statement is both true and false, 3) each statement is either true or false, 4) the familiar truth tables.
Gist of Idea
Semantics for propositions: 1) validity preserves truth 2) non-contradition 3) bivalence 4) truth tables
Source
Ian Rumfitt (The Boundary Stones of Thought [2015], 1.1)
Book Ref
Rumfitt,Ian: 'The Boundary Stones of Thought' [OUP 2015], p.10
The
12 ideas
with the same theme
[overview of the logical relationships between propositions]:
8077
|
Stoic propositional logic is like chemistry - how atoms make molecules, not the innards of atoms
[Chrysippus, by Devlin]
|
8083
|
Boole applied normal algebra to logic, aiming at an algebra of thought
[Boole, by Devlin]
|
7727
|
Boole's notation can represent syllogisms and propositional arguments, but not both at once
[Boole, by Weiner]
|
9535
|
'Contradictory' propositions always differ in truth-value
[Lemmon]
|
8085
|
Modern propositional inference replaces Aristotle's 19 syllogisms with modus ponens
[Devlin]
|
7726
|
Aristotelian logic dealt with inferences about concepts, and there were also proposition inferences
[Weiner]
|
8472
|
Sentential logic is consistent (no contradictions) and complete (entirely provable)
[Orenstein]
|
7786
|
Propositional logic handles negation, disjunction, conjunction; predicate logic adds quantifiers, predicates, relations
[Girle]
|
7798
|
There are three axiom schemas for propositional logic
[Girle]
|
17749
|
Post proved the consistency of propositional logic in 1921
[Walicki]
|
17765
|
Propositional language can only relate statements as the same or as different
[Walicki]
|
18803
|
Semantics for propositions: 1) validity preserves truth 2) non-contradition 3) bivalence 4) truth tables
[Rumfitt]
|