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] |
22270 | Frege changed philosophy by extending logic's ability to check the grounds of thinking [Potter on Frege] |
8939 | We should not describe human laws of thought, but how to correctly track truth [Frege, by Fisher] |
4971 | I don't use 'subject' and 'predicate' in my way of representing a judgement [Frege] |
17745 | For Frege, 'All A's are B's' means that the concept A implies the concept B [Frege, by Walicki] |
7728 | Frege has a judgement stroke (vertical, asserting or judging) and a content stroke (horizontal, expressing) [Frege, by Weiner] |
16881 | The laws of logic are boundless, so we want the few whose power contains the others [Frege] |
7622 | In 1879 Frege developed second order logic [Frege, by Putnam] |
7729 | Frege replaced Aristotle's subject/predicate form with function/argument form [Frege, by Weiner] |
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] |
9950 | A quantifier is a second-level predicate (which explains how it contributes to truth-conditions) [Frege, by George/Velleman] |
9991 | For Frege the variable ranges over all objects [Frege, by Tait] |
10536 | Frege's domain for variables is all objects, but modern interpretations first fix the domain [Dummett on Frege] |
7730 | Frege introduced quantifiers for generality [Frege, by Weiner] |
7742 | Frege reduced most quantifiers to 'everything' combined with 'not' [Frege, by McCullogh] |
13824 | Proof theory began with Frege's definition of derivability [Frege, by Prawitz] |
13609 | Frege produced axioms for logic, though that does not now seem the natural basis for logic [Frege, by Kaplan] |
12656 | P-and-Q gets its truth from the truth of P and truth of Q, but consistency isn't like that [Fodor] |
17855 | It may be possible to define induction in terms of the ancestral relation [Frege, by Wright,C] |
10607 | Frege's logic has a hierarchy of object, property, property-of-property etc. [Frege, by Smith,P] |
11008 | Existence is not a first-order property, but the instantiation of a property [Frege, by Read] |
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] |
22280 | Frege's account was top-down and decompositional, not bottom-up and compositional [Frege, by Potter] |
14894 | Indexicals have a 'character' (the standing meaning), and a 'content' (truth-conditions for one context) [Kaplan, by Macià/Garcia-Carpentiro] |
14700 | 'Content' gives the standard modal profile, and 'character' gives rules for a context [Kaplan, by Schroeter] |
12627 | Before you can plan action, you must decide on the truth of your estimate of success [Fodor] |
7741 | The predicate 'exists' is actually a natural language expression for a quantifier [Frege, by Weiner] |