81 ideas
12644 | Who cares what 'philosophy' is? Most pre-1950 thought doesn't now count as philosophy [Fodor] |
18835 | Logic doesn't have a metaphysical basis, but nor can logic give rise to the metaphysics [Rumfitt] |
12633 | Definitions often give necessary but not sufficient conditions for an extension [Fodor] |
18819 | The idea that there are unrecognised truths is basic to our concept of truth [Rumfitt] |
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] |
18815 | Logic is higher-order laws which can expand the range of any sort of deduction [Rumfitt] |
18804 | The case for classical logic rests on its rules, much more than on the Principle of Bivalence [Rumfitt] |
18805 | Classical logic rules cannot be proved, but various lines of attack can be repelled [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] |
12664 | A truth-table, not inferential role, defines 'and' [Fodor] |
12648 | Names in thought afford a primitive way to bring John before the mind [Fodor] |
12650 | 'Paderewski' has two names in mentalese, for his pianist file and his politician file [Fodor] |
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] |
12656 | P-and-Q gets its truth from the truth of P and truth of Q, but consistency isn't like that [Fodor] |
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] |
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] |
12653 | There's statistical, logical, nomological, conceptual and metaphysical possibility [Fodor] |
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] |
12651 | Some beliefs are only inferred when needed, like 'Shakespeare had not telephone' [Fodor] |
12628 | Knowing that must come before knowing how [Fodor] |
12625 | Pragmatism is the worst idea ever [Fodor] |
18820 | In English 'evidence' is a mass term, qualified by 'little' and 'more' [Rumfitt] |
12636 | Mental states have causal powers [Fodor] |
12661 | The different types of resemblance don't resemble one another [Fodor] |
12632 | In the Representational view, concepts play the key linking role [Fodor] |
12624 | Only the labels of nodes have semantic content in connectionism, and they play no role [Fodor] |
12640 | Associative thinking avoids syntax, but can't preserve sense, reference or truth [Fodor] |
12641 | Connectionism gives no account of how constituents make complex concepts [Fodor] |
7518 | If folk psychology gives a network of causal laws, that fits neatly with functionalism [Churchland,PM] |
7519 | Many mental phenomena are totally unexplained by folk psychology [Churchland,PM] |
7520 | Folk psychology never makes any progress, and is marginalised by modern science [Churchland,PM] |
12643 | Ambiguities in English are the classic reason for claiming that we don't think in English [Fodor] |
12647 | Mental representations name things in the world, but also files in our memory [Fodor] |
12649 | We think in file names [Fodor] |
12655 | Frame Problem: how to eliminate most beliefs as irrelevant, without searching them? [Fodor] |
12630 | If concept content is reference, then my Twin and I are referring to the same stuff [Fodor] |
12658 | Nobody knows how concepts are acquired [Fodor] |
12662 | We have an innate capacity to form a concept, once we have grasped the stereotype [Fodor] |
12635 | Having a concept isn't a pragmatic matter, but being able to think about the concept [Fodor] |
12652 | Concepts have two sides; they are files that face thought, and also face subject-matter [Fodor] |
12626 | Cartesians put concept individuation before concept possession [Fodor] |
12637 | Frege's puzzles suggest to many that concepts have sense as well as reference [Fodor] |
12638 | If concepts have sense, we can't see the connection to their causal powers [Fodor] |
12639 | Belief in 'senses' may explain intentionality, but not mental processes [Fodor] |
12654 | You can't think 'brown dog' without thinking 'brown' and 'dog' [Fodor] |
12659 | Maybe stereotypes are a stage in concept acquisition (rather than a by-product) [Fodor] |
12660 | One stereotype might be a paradigm for two difference concepts [Fodor] |
12629 | For the referential view of thought, the content of a concept is just its reference [Fodor] |
12631 | Compositionality requires that concepts be atomic [Fodor] |
12657 | Abstractionism claims that instances provide criteria for what is shared [Fodor] |
18817 | We understand conditionals, but disagree over their truth-conditions [Rumfitt] |
12634 | 'Inferential-role semantics' says meaning is determined by role in inference [Fodor] |
12642 | Co-referring terms differ if they have different causal powers [Fodor] |
12663 | We refer to individuals and to properties, and we use singular terms and predicates [Fodor] |
12645 | Semantics (esp. referential semantics) allows inferences from utterances to the world [Fodor] |
12646 | Semantics relates to the world, so it is never just psychological [Fodor] |
18829 | The truth grounds for 'not A' are the possibilities incompatible with truth grounds for A [Rumfitt] |
12627 | Before you can plan action, you must decide on the truth of your estimate of success [Fodor] |