Combining Texts
Ideas for
'fragments/reports', 'Leibniz:Body,Substance,Monad' and 'Philosophy of Logic'
expand these ideas
|
start again
|
choose
another area for these texts
display all the ideas for this combination of texts
7 ideas
5. Theory of Logic / A. Overview of Logic / 2. History of Logic
|
18954
|
Before the late 19th century logic was trivialised by not dealing with relations [Putnam]
|
5. Theory of Logic / A. Overview of Logic / 5. First-Order Logic
|
18956
|
Asserting first-order validity implicitly involves second-order reference to classes [Putnam]
|
5. Theory of Logic / B. Logical Consequence / 5. Modus Ponens
|
8078
|
Modus ponens is one of five inference rules identified by the Stoics [Chrysippus, by Devlin]
|
5. Theory of Logic / C. Ontology of Logic / 1. Ontology of Logic
|
18962
|
Unfashionably, I think logic has an empirical foundation [Putnam]
|
5. Theory of Logic / D. Assumptions for Logic / 2. Excluded Middle
|
6023
|
Every proposition is either true or false [Chrysippus, by Cicero]
|
5. Theory of Logic / E. Structures of Logic / 5. Functions in Logic
|
18961
|
We can identify functions with certain sets - or identify sets with certain functions [Putnam]
|
5. Theory of Logic / I. Semantics of Logic / 3. Logical Truth
|
18955
|
Having a valid form doesn't ensure truth, as it may be meaningless [Putnam]
|