47 ideas
| 6123 | Empirical investigation can't discover if holes exist, or if two things share a colour [Merricks] |
| 10888 | Sets can be defined by 'enumeration', or by 'abstraction' (based on a property) [Zalabardo] |
| 10889 | The 'Cartesian Product' of two sets relates them by pairing every element with every element [Zalabardo] |
| 10890 | A 'partial ordering' is reflexive, antisymmetric and transitive [Zalabardo] |
| 10886 | Determinacy: an object is either in a set, or it isn't [Zalabardo] |
| 10887 | Specification: Determinate totals of objects always make a set [Zalabardo] |
| 10897 | A first-order 'sentence' is a formula with no free variables [Zalabardo] |
| 10893 | Γ |= φ for sentences if φ is true when all of Γ is true [Zalabardo] |
| 10899 | Γ |= φ if φ is true when all of Γ is true, for all structures and interpretations [Zalabardo] |
| 10896 | Propositional logic just needs ¬, and one of ∧, ∨ and → [Zalabardo] |
| 10898 | The semantics shows how truth values depend on instantiations of properties and relations [Zalabardo] |
| 10902 | We can do semantics by looking at given propositions, or by building new ones [Zalabardo] |
| 10892 | We make a truth assignment to T and F, which may be true and false, but merely differ from one another [Zalabardo] |
| 10895 | 'Logically true' (|= φ) is true for every truth-assignment [Zalabardo] |
| 10900 | Logically true sentences are true in all structures [Zalabardo] |
| 10894 | A sentence-set is 'satisfiable' if at least one truth-assignment makes them all true [Zalabardo] |
| 10901 | Some formulas are 'satisfiable' if there is a structure and interpretation that makes them true [Zalabardo] |
| 10903 | A structure models a sentence if it is true in the model, and a set of sentences if they are all true in the model [Zalabardo] |
| 10891 | If a set is defined by induction, then proof by induction can be applied to it [Zalabardo] |
| 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] |
| 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] |
| 5994 | Is the cosmos open or closed, mechanical or teleological, alive or inanimate, and created or eternal? [Robinson,TM, by PG] |