78 ideas
7001 | If you begin philosophy with language, you find yourself trapped in it [Heil] |
7038 | A theory with few fundamental principles might still posit a lot of entities [Heil] |
7037 | Parsimony does not imply the world is simple, but that our theories should try to be [Heil] |
7004 | The view that truth making is entailment is misguided and misleading [Heil] |
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] |
7035 | God does not create the world, and then add the classes [Heil] |
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] |
7017 | The reductionist programme dispenses with levels of reality [Heil] |
7003 | There are levels of organisation, complexity, description and explanation, but not of reality [Heil] |
7045 | Realism says some of our concepts 'cut nature at the joints' [Heil] |
7065 | Anti-realists who reduce reality to language must explain the existence of language [Heil] |
7020 | Concepts don't carve up the world, which has endless overlooked or ignored divisions [Heil] |
7007 | I think of properties as simultaneously dispositional and qualitative [Heil] |
7015 | A predicate applies truly if it picks out a real property of objects [Heil] |
7042 | A theory of universals says similarity is identity of parts; for modes, similarity is primitive [Heil] |
7023 | Powers or dispositions are usually seen as caused by lower-level qualities [Heil] |
7025 | Are a property's dispositions built in, or contingently added? [Heil] |
7034 | Universals explain one-over-many relations, and similar qualities, and similar behaviour [Heil] |
7039 | How could you tell if the universals were missing from a world of instances? [Heil] |
7009 | Similarity among modes will explain everthing universals were for [Heil] |
7041 | Similar objects have similar properties; properties are directly similar [Heil] |
7032 | Objects join sets because of properties; the property is not bestowed by set membership [Heil] |
7008 | Trope theorists usually see objects as 'bundles' of tropes [Heil] |
7018 | Objects are substances, which are objects considered as the bearer of properties [Heil] |
7019 | Maybe there is only one substance, space-time or a quantum field [Heil] |
7046 | Rather than 'substance' I use 'objects', which have properties [Heil] |
7047 | Statues and bronze lumps have discernible differences, so can't be identical [Heil] |
7048 | Do we reduce statues to bronze, or eliminate statues, or allow statues and bronze? [Heil] |
7030 | Properties don't possess ways they are, because that just is the property [Heil] |
7028 | If properties were qualities without dispositions, they would be undetectable [Heil] |
7029 | Can we distinguish the way a property is from the property? [Heil] |
7051 | Objects only have secondary qualities because they have primary qualities [Heil] |
7044 | Secondary qualities are just primary qualities considered in the light of their effect on us [Heil] |
7052 | Colours aren't surface properties, because of radiant sources and the colour of the sky [Heil] |
7053 | Treating colour as light radiation has the implausible result that tomatoes are not red [Heil] |
7066 | If the world is just texts or social constructs, what are texts and social constructs? [Heil] |
7021 | If the world is theory-dependent, the theories themselves can't be theory-dependent [Heil] |
7026 | Science is sometimes said to classify powers, neglecting qualities [Heil] |
7060 | One form of explanation is by decomposition [Heil] |
9312 | Consciousness is reductively explained either by how it represents, or how it is represented [Kriegel/Williford] |
9313 | Experiences can be represented consciously or unconsciously, so representation won't explain consciousness [Kriegel/Williford] |
9315 | Red tomato experiences are conscious if the state represents the tomato and itself [Kriegel/Williford] |
9316 | How is self-representation possible, does it produce a regress, and is experience like that? [Kriegel/Williford] |
9314 | Unfortunately, higher-order representations could involve error [Kriegel/Williford] |
7010 | Dispositionality provides the grounding for intentionality [Heil] |
7054 | Intentionality now has internalist (intrinsic to thinkers) and externalist (environment or community) views [Heil] |
7011 | Qualia are not extra appendages, but intrinsic ingredients of material states and processes [Heil] |
7061 | Philosophers' zombies aim to show consciousness is over and above the physical world [Heil] |
7063 | Zombies are based on the idea that consciousness relates contingently to the physical [Heil] |
7064 | Functionalists deny zombies, since identity of functional state means identity of mental state [Heil] |
7027 | Functionalists say objects can be the same in disposition but differ in quality [Heil] |
7062 | Functionalism cannot explain consciousness just by functional organisation [Heil] |
7059 | The 'explanatory gap' is used to say consciousness is inexplicable, at least with current concepts [Heil] |
7012 | If a car is a higher-level entity, distinct from its parts, how could it ever do anything? [Heil] |
7043 | Multiple realisability is actually one predicate applying to a diverse range of properties [Heil] |
7058 | Externalism is causal-historical, or social, or biological [Heil] |
7057 | Intentionality is based in dispositions, which are intrinsic to agents, suggesting internalism [Heil] |
7013 | The Picture Theory claims we can read reality from our ways of speaking about it [Heil] |
7002 | If propositions are states of affairs or sets of possible worlds, these lack truth values [Heil] |
7016 | The standard view is that causal sequences are backed by laws, and between particular events [Heil] |
7036 | The real natural properties are sparse, but there are many complex properties [Heil] |