Combining Texts
Ideas for
'Writing the Book of the World', 'Intellectual Norms and Foundations of Mind' and 'Philosophical Logic'
expand these ideas
|
start again
|
choose
another area for these texts
display all the ideas for this combination of texts
8 ideas
5. Theory of Logic / A. Overview of Logic / 1. Overview of Logic
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 / 4. Pure Logic
15404
|
Technical people see logic as any formal system that can be studied, not a study of argument validity [Burgess]
|
5. Theory of Logic / A. Overview of Logic / 6. Classical Logic
15405
|
Classical logic neglects the non-mathematical, such as temporality or modality [Burgess]
|
15427
|
The Cut Rule expresses the classical idea that entailment is transitive [Burgess]
|
15421
|
Classical logic neglects counterfactuals, temporality and modality, because maths doesn't use them [Burgess]
|
15020
|
Classical logic is good for mathematics and science, but less good for natural language [Sider]
|
5. Theory of Logic / A. Overview of Logic / 9. Philosophical Logic
15403
|
Philosophical logic is a branch of logic, and is now centred in computer science [Burgess]
|