Combining Texts
Ideas for
'On the Philosophy of Logic', 'Truthmakers and Converse Barcan Formula' and 'What is a Leading Principle?'
expand these ideas
|
start again
|
choose
another area for these texts
display all the ideas for this combination of texts
5 ideas
5. Theory of Logic / A. Overview of Logic / 6. Classical Logic
8951
|
Classical logic is: excluded middle, non-contradiction, contradictions imply all, disjunctive syllogism [Fisher]
|
5. Theory of Logic / C. Ontology of Logic / 2. Platonism in Logic
8950
|
Logic formalizes how we should reason, but it shouldn't determine whether we are realists [Fisher]
|
5. Theory of Logic / G. Quantification / 1. Quantification
18492
|
Not all quantification is either objectual or substitutional [Williamson]
|
5. Theory of Logic / G. Quantification / 4. Substitutional Quantification
15136
|
Substitutional quantification is metaphysical neutral, and equivalent to a disjunction of instances [Williamson]
|
5. Theory of Logic / G. Quantification / 7. Unorthodox Quantification
15138
|
Not all quantification is objectual or substitutional [Williamson]
|