92 ideas
| 18835 | Logic doesn't have a metaphysical basis, but nor can logic give rise to the metaphysics [Rumfitt] |
| 7001 | If you begin philosophy with language, you find yourself trapped in it [Heil] |
| 7037 | Parsimony does not imply the world is simple, but that our theories should try to be [Heil] |
| 7038 | A theory with few fundamental principles might still posit a lot of entities [Heil] |
| 18819 | The idea that there are unrecognised truths is basic to our concept of truth [Rumfitt] |
| 7004 | The view that truth making is entailment is misguided and misleading [Heil] |
| 18826 | 'True at a possibility' means necessarily true if what is said had obtained [Rumfitt] |
| 18803 | Semantics for propositions: 1) validity preserves truth 2) non-contradition 3) bivalence 4) truth tables [Rumfitt] |
| 18814 | 'Absolute necessity' would have to rest on S5 [Rumfitt] |
| 18798 | It is the second-order part of intuitionistic logic which actually negates some classical theorems [Rumfitt] |
| 18799 | Intuitionists can accept Double Negation Elimination for decidable propositions [Rumfitt] |
| 18830 | Most set theorists doubt bivalence for the Continuum Hypothesis, but still use classical logic [Rumfitt] |
| 18843 | The iterated conception of set requires continual increase in axiom strength [Rumfitt] |
| 18836 | A set may well not consist of its members; the empty set, for example, is a problem [Rumfitt] |
| 18837 | A set can be determinate, because of its concept, and still have vague membership [Rumfitt] |
| 18845 | If the totality of sets is not well-defined, there must be doubt about the Power Set Axiom [Rumfitt] |
| 7035 | God does not create the world, and then add the classes [Heil] |
| 18815 | Logic is higher-order laws which can expand the range of any sort of deduction [Rumfitt] |
| 18805 | Classical logic rules cannot be proved, but various lines of attack can be repelled [Rumfitt] |
| 18804 | The case for classical logic rests on its rules, much more than on the Principle of Bivalence [Rumfitt] |
| 18827 | If truth-tables specify the connectives, classical logic must rely on Bivalence [Rumfitt] |
| 18813 | Logical consequence is a relation that can extended into further statements [Rumfitt] |
| 18808 | Normal deduction presupposes the Cut Law [Rumfitt] |
| 18840 | When faced with vague statements, Bivalence is not a compelling principle [Rumfitt] |
| 18802 | In specifying a logical constant, use of that constant is quite unavoidable [Rumfitt] |
| 18800 | Introduction rules give deduction conditions, and Elimination says what can be deduced [Rumfitt] |
| 18809 | Logical truths are just the assumption-free by-products of logical rules [Rumfitt] |
| 18807 | Monotonicity means there is a guarantee, rather than mere inductive support [Rumfitt] |
| 18842 | Maybe an ordinal is a property of isomorphic well-ordered sets, and not itself a set [Rumfitt] |
| 18834 | Infinitesimals do not stand in a determinate order relation to zero [Rumfitt] |
| 18846 | Cantor and Dedekind aimed to give analysis a foundation in set theory (rather than geometry) [Rumfitt] |
| 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] |
| 18839 | An object that is not clearly red or orange can still be red-or-orange, which sweeps up problem cases [Rumfitt] |
| 18838 | The extension of a colour is decided by a concept's place in a network of contraries [Rumfitt] |
| 18816 | Metaphysical modalities respect the actual identities of things [Rumfitt] |
| 18825 | S5 is the logic of logical necessity [Rumfitt] |
| 18824 | Since possibilities are properties of the world, calling 'red' the determination of a determinable seems right [Rumfitt] |
| 18828 | If two possibilities can't share a determiner, they are incompatible [Rumfitt] |
| 18821 | Possibilities are like possible worlds, but not fully determinate or complete [Rumfitt] |
| 18831 | Medieval logicians said understanding A also involved understanding not-A [Rumfitt] |
| 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] |
| 7030 | Properties don't possess ways they are, because that just is 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] |
| 18820 | In English 'evidence' is a mass term, qualified by 'little' and 'more' [Rumfitt] |
| 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] |
| 6027 | From the fact that some men die, we cannot infer that they all do [Philodemus] |
| 7060 | One form of explanation is by decomposition [Heil] |
| 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] |
| 18817 | We understand conditionals, but disagree over their truth-conditions [Rumfitt] |
| 7002 | If propositions are states of affairs or sets of possible worlds, these lack truth values [Heil] |
| 18829 | The truth grounds for 'not A' are the possibilities incompatible with truth grounds for A [Rumfitt] |
| 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] |