Combining Philosophers
Ideas for Philodemus, Hilary Putnam and Robert Grosseteste
expand these ideas
|
start again
|
choose
another area for these philosophers
display all the ideas for this combination of philosophers
10 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 / C. Ontology of Logic / 1. Ontology of Logic
18962
|
Unfashionably, I think logic has an empirical foundation [Putnam]
|
5. Theory of Logic / C. Ontology of Logic / 3. If-Thenism
10066
|
Putnam coined the term 'if-thenism' [Putnam, by Musgrave]
|
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 / F. Referring in Logic / 1. Naming / a. Names
17505
|
Using proper names properly doesn't involve necessary and sufficient conditions [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]
|
5. Theory of Logic / I. Semantics of Logic / 6. Intensionalism
14203
|
Intension is not meaning, as 'cube' and 'square-faced polyhedron' are intensionally the same [Putnam]
|
5. Theory of Logic / J. Model Theory in Logic / 2. Isomorphisms
14207
|
If cats equal cherries, model theory allows reinterpretation of the whole language preserving truth [Putnam]
|
5. Theory of Logic / J. Model Theory in Logic / 3. Löwenheim-Skolem Theorems
9913
|
The Löwenheim-Skolem Theorem is close to an antinomy in philosophy of language [Putnam]
|