74 ideas
| 18390 | All metaphysical discussion should be guided by a quest for truthmakers [Armstrong] |
| 13838 | A decent modern definition should always imply a semantics [Hacking] |
| 18467 | Truth-making can't be entailment, because truthmakers are portions of reality [Armstrong] |
| 18468 | Armstrong says truthmakers necessitate their truth, where 'necessitate' is a primitive relation [Armstrong, by MacBride] |
| 18377 | Negative truths have as truthmakers all states of affairs relevant to the truth [Armstrong] |
| 18382 | The nature of arctic animals is truthmaker for the absence of penguins there [Armstrong] |
| 18384 | One truthmaker will do for a contingent truth and for its contradictory [Armstrong] |
| 18394 | In mathematics, truthmakers are possible instantiations of structures [Armstrong] |
| 18387 | The truthmakers for possible unicorns are the elements in their combination [Armstrong] |
| 18386 | What is the truthmaker for 'it is possible that there could have been nothing'? [Armstrong] |
| 18381 | Necessitating general truthmakers must also specify their limits [Armstrong] |
| 13834 | Gentzen's Cut Rule (or transitivity of deduction) is 'If A |- B and B |- C, then A |- C' [Hacking] |
| 13835 | Only Cut reduces complexity, so logic is constructive without it, and it can be dispensed with [Hacking] |
| 13833 | 'Thinning' ('dilution') is the key difference between deduction (which allows it) and induction [Hacking] |
| 18396 | The set theory brackets { } assert that the member is a unit [Armstrong] |
| 18393 | For 'there is a class with no members' we don't need the null set as truthmaker [Armstrong] |
| 13845 | The various logics are abstractions made from terms like 'if...then' in English [Hacking] |
| 13840 | First-order logic is the strongest complete compact theory with Löwenheim-Skolem [Hacking] |
| 13844 | A limitation of first-order logic is that it cannot handle branching quantifiers [Hacking] |
| 13842 | Second-order completeness seems to need intensional entities and possible worlds [Hacking] |
| 13837 | With a pure notion of truth and consequence, the meanings of connectives are fixed syntactically [Hacking] |
| 13839 | Perhaps variables could be dispensed with, by arrows joining places in the scope of quantifiers [Hacking] |
| 13843 | If it is a logic, the Löwenheim-Skolem theorem holds for it [Hacking] |
| 18392 | Classes have cardinalities, so their members must all be treated as units [Armstrong] |
| 18385 | Logical atomism builds on the simple properties, but are they the only possible properties? [Armstrong] |
| 18391 | 'Naturalism' says only the world of space-time exists [Armstrong] |
| 18374 | Truthmaking needs states of affairs, to unite particulars with tropes or universals. [Armstrong] |
| 15682 | Even fairly simple animals make judgements based on categories [Gelman] |
| 15691 | Children accept real stable categories, with nonobvious potential that gives causal explanations [Gelman] |
| 18372 | We need properties, as minimal truthmakers for the truths about objects [Armstrong] |
| 18379 | The determinates of a determinable must be incompatible with each other [Armstrong] |
| 18378 | Length is a 'determinable' property, and one mile is one its 'determinates' [Armstrong] |
| 18373 | If tropes are non-transferable, then they necessarily belong to their particular substance [Armstrong] |
| 18400 | Properties are not powers - they just have powers [Armstrong] |
| 18397 | Powers must result in some non-powers, or there would only be potential without result [Armstrong] |
| 18399 | How does the power of gravity know the distance it acts over? [Armstrong] |
| 18371 | The class of similar things is much too big a truthmaker for the feature of a particular [Armstrong] |
| 15700 | In India, upper-castes essentialize caste more than lower-castes do [Gelman] |
| 15685 | Essentialism is either natural to us, or an accident of our culture, or a necessary result of language [Gelman] |
| 15684 | Children's concepts include nonobvious features, like internal parts, functions and causes [Gelman] |
| 15681 | Essentialism: real or representational? sortal, causal or ideal? real particulars, or placeholders? [Gelman] |
| 15678 | Essentialism says categories have a true hidden nature which gives an object its identity [Gelman] |
| 15683 | Sortals are needed for determining essence - the thing must be categorised first [Gelman] |
| 15697 | Kind (unlike individual) essentialism assumes preexisting natural categories [Gelman] |
| 15687 | Kinship is essence that comes in degrees, and age groups are essences that change over time [Gelman] |
| 15679 | Essentialism comes from the cognitive need to categorise [Gelman] |
| 15698 | We found no evidence that mothers teach essentialism to their children [Gelman] |
| 15709 | Essentialism is useful for predictions, but it is not the actual structure of reality [Gelman] |
| 15696 | Peope favor historical paths over outward properties when determining what something is [Gelman] |
| 18389 | When entities contain entities, or overlap with them, there is 'partial' identity [Armstrong] |
| 18388 | Possible worlds don't fix necessities; intrinsic necessities imply the extension in worlds [Armstrong] |
| 15707 | There is intentional, mechanical, teleological, essentialist, vitalist and deontological understanding [Gelman] |
| 15703 | Memories often conform to a theory, rather than being neutral [Gelman] |
| 15708 | Inductive success is rewarded with more induction [Gelman] |
| 15694 | Children overestimate the power of a single example [Gelman] |
| 15695 | Children make errors in induction by focusing too much on categories [Gelman] |
| 15692 | People tend to be satisfied with shallow explanations [Gelman] |
| 18375 | General truths are a type of negative truth, saying there are no more ravens than black ones [Armstrong] |
| 15680 | Folk essentialism rests on belief in natural kinds, in hidden properties, and on words indicating structures [Gelman] |
| 15686 | Labels may indicate categories which embody an essence [Gelman] |
| 15690 | Causal properties are seen as more central to category concepts [Gelman] |
| 15688 | Categories are characterized by distance from a prototype [Gelman] |
| 15689 | Theory-based concepts use rich models to show which similarities really matter [Gelman] |
| 15699 | Prelinguistic infants acquire and use many categories [Gelman] |
| 18368 | For all being, there is a potential proposition which expresses its existence and nature [Armstrong] |
| 18370 | A realm of abstract propositions is causally inert, so has no explanatory value [Armstrong] |
| 15693 | One sample of gold is enough, but one tree doesn't give the height of trees [Gelman] |
| 15701 | Nouns seem to invoke stable kinds more than predicates do [Gelman] |
| 18380 | Negative causations supervene on positive causations plus their laws? [Armstrong] |
| 15702 | Essentialism doesn't mean we know the essences [Gelman] |
| 15705 | Essentialism encourages us to think about the world scientifically [Gelman] |
| 15704 | Essentialism starts from richly structured categories, leading to a search for underlying properties [Gelman] |
| 15706 | A major objection to real essences is the essentialising of social categories like race, caste and occupation [Gelman] |
| 18401 | The pure present moment is too brief to be experienced [Armstrong] |