50 ideas
| 6123 | Empirical investigation can't discover if holes exist, or if two things share a colour [Merricks] |
| 18261 | A simplification which is complete constitutes a definition [Kant] |
| 13520 | A 'tautology' must include connectives [Wolf,RS] |
| 13524 | Deduction Theorem: T∪{P}|-Q, then T|-(P→Q), which justifies Conditional Proof [Wolf,RS] |
| 13522 | Universal Generalization: If we prove P(x) with no special assumptions, we can conclude ∀xP(x) [Wolf,RS] |
| 13521 | Universal Specification: ∀xP(x) implies P(t). True for all? Then true for an instance [Wolf,RS] |
| 13523 | Existential Generalization (or 'proof by example'): if we can say P(t), then we can say something is P [Wolf,RS] |
| 13529 | Empty Set: ∃x∀y ¬(y∈x). The unique empty set exists [Wolf,RS] |
| 13526 | Comprehension Axiom: if a collection is clearly specified, it is a set [Wolf,RS] |
| 22275 | Logic gives us the necessary rules which show us how we ought to think [Kant] |
| 13534 | In first-order logic syntactic and semantic consequence (|- and |=) nicely coincide [Wolf,RS] |
| 13535 | First-order logic is weakly complete (valid sentences are provable); we can't prove every sentence or its negation [Wolf,RS] |
| 13531 | Model theory reveals the structures of mathematics [Wolf,RS] |
| 13532 | Model theory 'structures' have a 'universe', some 'relations', some 'functions', and some 'constants' [Wolf,RS] |
| 13519 | Model theory uses sets to show that mathematical deduction fits mathematical truth [Wolf,RS] |
| 13533 | First-order model theory rests on completeness, compactness, and the Löwenheim-Skolem-Tarski theorem [Wolf,RS] |
| 13537 | An 'isomorphism' is a bijection that preserves all structural components [Wolf,RS] |
| 13539 | The LST Theorem is a serious limitation of first-order logic [Wolf,RS] |
| 13538 | If a theory is complete, only a more powerful language can strengthen it [Wolf,RS] |
| 13525 | Most deductive logic (unlike ordinary reasoning) is 'monotonic' - we don't retract after new givens [Wolf,RS] |
| 13530 | An ordinal is an equivalence class of well-orderings, or a transitive set whose members are transitive [Wolf,RS] |
| 13518 | Modern mathematics has unified all of its objects within set theory [Wolf,RS] |
| 6143 | Prolonged events don't seem to endure or exist at any particular time [Merricks] |
| 6135 | A crumbling statue can't become vague, because vagueness is incoherent [Merricks] |
| 6145 | Intrinsic properties are those an object still has even if only that object exists [Merricks] |
| 6124 | I say that most of the objects of folk ontology do not exist [Merricks] |
| 6134 | Is swimming pool water an object, composed of its mass or parts? [Merricks] |
| 6125 | We can eliminate objects without a commitment to simples [Merricks] |
| 14229 | Merricks agrees that there are no composite objects, but offers a different semantics [Merricks, by Liggins] |
| 6142 | The 'folk' way of carving up the world is not intrinsically better than quite arbitrary ways [Merricks] |
| 14472 | If atoms 'arranged baseballwise' break a window, that analytically entails that a baseball did it [Merricks, by Thomasson] |
| 14469 | Overdetermination: the atoms do all the causing, so the baseball causes no breakage [Merricks] |
| 6137 | Clay does not 'constitute' a statue, as they have different persistence conditions (flaking, squashing) [Merricks] |
| 6127 | 'Unrestricted composition' says any two things can make up a third thing [Merricks] |
| 6131 | Composition as identity is false, as identity is never between a single thing and many things [Merricks] |
| 6132 | Composition as identity is false, as it implies that things never change their parts [Merricks] |
| 6141 | There is no visible difference between statues, and atoms arranged statuewise [Merricks] |
| 6130 | 'Composition' says things are their parts; 'constitution' says a whole substance is an object [Merricks] |
| 6138 | It seems wrong that constitution entails that two objects are wholly co-located [Merricks] |
| 6128 | Objects decompose (it seems) into non-overlapping parts that fill its whole region [Merricks] |
| 6136 | Eliminativism about objects gives the best understanding of the Sorites paradox [Merricks] |
| 6133 | If my counterpart is happy, that is irrelevant to whether I 'could' have been happy [Merricks] |
| 6150 | The 'warrant' for a belief is what turns a true belief into knowledge [Merricks] |
| 18260 | If we knew what we know, we would be astonished [Kant] |
| 6144 | You hold a child in your arms, so it is not mental substance, or mental state, or software [Merricks] |
| 6140 | Maybe the word 'I' can only refer to persons [Merricks] |
| 6149 | Free will and determinism are incompatible, since determinism destroys human choice [Merricks] |
| 6148 | Human organisms can exercise downward causation [Merricks] |
| 6146 | Before Creation it is assumed that God still had many many mental properties [Merricks] |
| 6147 | The hypothesis of solipsism doesn't seem to be made incoherent by the nature of mental properties [Merricks] |