63 ideas
12644 | Who cares what 'philosophy' is? Most pre-1950 thought doesn't now count as philosophy [Fodor] |
12633 | Definitions often give necessary but not sufficient conditions for an extension [Fodor] |
13838 | A decent modern definition should always imply a semantics [Hacking] |
13833 | 'Thinning' ('dilution') is the key difference between deduction (which allows it) and induction [Hacking] |
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] |
7785 | The use of plurals doesn't commit us to sets; there do not exist individuals and collections [Boolos] |
10699 | Does a bowl of Cheerios contain all its sets and subsets? [Boolos] |
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] |
10225 | Monadic second-order logic might be understood in terms of plural quantifiers [Boolos, by Shapiro] |
10736 | Boolos showed how plural quantifiers can interpret monadic second-order logic [Boolos, by Linnebo] |
10780 | Any sentence of monadic second-order logic can be translated into plural first-order logic [Boolos, by Linnebo] |
10697 | Identity is clearly a logical concept, and greatly enhances predicate calculus [Boolos] |
13837 | With a pure notion of truth and consequence, the meanings of connectives are fixed syntactically [Hacking] |
12664 | A truth-table, not inferential role, defines 'and' [Fodor] |
13839 | Perhaps variables could be dispensed with, by arrows joining places in the scope of quantifiers [Hacking] |
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] |
13671 | Second-order quantifiers are just like plural quantifiers in ordinary language, with no extra ontology [Boolos, by Shapiro] |
10267 | We should understand second-order existential quantifiers as plural quantifiers [Boolos, by Shapiro] |
10698 | Plural forms have no more ontological commitment than to first-order objects [Boolos] |
7806 | Boolos invented plural quantification [Boolos, by Benardete,JA] |
13843 | If it is a logic, the Löwenheim-Skolem theorem holds for it [Hacking] |
12656 | P-and-Q gets its truth from the truth of P and truth of Q, but consistency isn't like that [Fodor] |
10700 | First- and second-order quantifiers are two ways of referring to the same things [Boolos] |
12653 | There's statistical, logical, nomological, conceptual and metaphysical possibility [Fodor] |
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] |
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] |
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] |
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] |
12627 | Before you can plan action, you must decide on the truth of your estimate of success [Fodor] |