structure for 'Theory of Logic'    |     alphabetical list of themes    |     expand these ideas

5. Theory of Logic / C. Ontology of Logic / 1. Ontology of Logic

[overview of what must exist to enable logic]

19 ideas
Our research always hopes that reality embodies the logic we are employing [Peirce]
Logicians presuppose a world, and ignore logic/world connections, so their logic is impure [Husserl, by Velarde-Mayol]
Phenomenology grounds logic in subjective experience [Husserl, by Velarde-Mayol]
Logic is concerned with the real world just as truly as zoology [Russell]
Logic can only assert hypothetical existence [Russell]
Logic can be known a priori, without study of the actual world [Russell]
Russell unusually saw logic as 'interpreted' (though very general, and neutral) [Russell/Whitehead, by Linsky,B]
The only classes are things, predicates and relations [Russell]
The propositions of logic are analytic tautologies [Wittgenstein]
Whether a modal claim is true depends on how the object is described [Quine, by Fine,K]
Unfashionably, I think logic has an empirical foundation [Putnam]
Logicians like their entities to exhibit a maximum degree of purity [Kaplan]
Logical space is abstracted from the actual world [Stalnaker]
Logic is a mathematical account of a universe of relations [Badiou]
A sentence can't be a truth of logic if it asserts the existence of certain sets [Boolos]
In first-order we can't just assert existence, and it is very hard to deny something's existence [Bach]
Either logic determines objects, or objects determine logic, or they are separate [Shapiro]
Maybe mathematical logic rests on information-processing [Ladyman/Ross]
We can use truth instead of ontologically loaded second-order comprehension assumptions about properties [Halbach]