Combining Texts
Ideas for
'Axiomatic Theories of Truth (2005 ver)', 'Grundgesetze der Arithmetik 2 (Basic Laws)' and 'The Boundary Stones of Thought'
expand these ideas
|
start again
|
choose
another area for these texts
display all the ideas for this combination of texts
1 idea
4. Formal Logic / B. Propositional Logic PL / 1. Propositional Logic
18803
|
Semantics for propositions: 1) validity preserves truth 2) non-contradition 3) bivalence 4) truth tables [Rumfitt]
|