Combining Texts
Ideas for
'Writing the Book of the World', 'Philosophy of Logic' and 'Science 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 / 1. Overview of Logic
9020
|
My logical grammar has sentences by predication, then negation, conjunction, and existential quantification [Quine]
|
14980
|
There is a real issue over what is the 'correct' logic [Sider]
|
15000
|
'It is raining' and 'it is not raining' can't be legislated, so we can't legislate 'p or ¬p' [Sider]
|
5. Theory of Logic / A. Overview of Logic / 3. Value of Logic
9028
|
Maybe logical truth reflects reality, but in different ways in different languages [Quine]
|
5. Theory of Logic / A. Overview of Logic / 6. Classical Logic
15020
|
Classical logic is good for mathematics and science, but less good for natural language [Sider]
|
5. Theory of Logic / A. Overview of Logic / 7. Second-Order Logic
10014
|
Quine rejects second-order logic, saying that predicates refer to multiple objects [Quine, by Hodes]
|
10828
|
Quantifying over predicates is treating them as names of entities [Quine]
|