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]

16 ideas
Our research always hopes that reality embodies the logic we are employing [Peirce]
Logic is concerned with the real world just as truly as zoology [Russell]
Logic can be known a priori, without study of the actual world [Russell]
Logic can only assert hypothetical existence [Russell]
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]