96 ideas
13786 | Wisdom is called 'beautiful', because it performs fine works [Plato] |
13780 | Good people are no different from wise ones [Plato] |
2474 | It seems likely that analysis of concepts is impossible, but justification can survive without it [Fodor] |
2481 | Despite all the efforts of philosophers, nothing can ever be reduced to anything [Fodor] |
2505 | Turing invented the idea of mechanical rationality (just based on syntax) [Fodor] |
13778 | A dialectician is someone who knows how to ask and to answer questions [Plato] |
2470 | Transcendental arguments move from knowing Q to knowing P because it depends on Q [Fodor] |
16295 | Tarski proved that truth cannot be defined from within a given theory [Tarski, by Halbach] |
15342 | Tarski proved that any reasonably expressive language suffers from the liar paradox [Tarski, by Horsten] |
19069 | 'True sentence' has no use consistent with logic and ordinary language, so definition seems hopeless [Tarski] |
13776 | Truths say of what is that it is, falsehoods say of what is that it is not [Plato] |
16296 | Tarski's Theorem renders any precise version of correspondence impossible [Tarski, by Halbach] |
10672 | Tarskian semantics says that a sentence is true iff it is satisfied by every sequence [Tarski, by Hossack] |
15339 | Tarski gave up on the essence of truth, and asked how truth is used, or how it functions [Tarski, by Horsten] |
16302 | Tarski did not just aim at a definition; he also offered an adequacy criterion for any truth definition [Tarski, by Halbach] |
19135 | Tarski enumerates cases of truth, so it can't be applied to new words or languages [Davidson on Tarski] |
19138 | Tarski define truths by giving the extension of the predicate, rather than the meaning [Davidson on Tarski] |
4699 | Tarski made truth relative, by only defining truth within some given artificial language [Tarski, by O'Grady] |
19324 | Tarski has to avoid stating how truths relate to states of affairs [Kirkham on Tarski] |
15410 | Truth only applies to closed formulas, but we need satisfaction of open formulas to define it [Burgess on Tarski] |
18811 | Tarski uses sentential functions; truly assigning the objects to variables is what satisfies them [Tarski, by Rumfitt] |
15365 | We can define the truth predicate using 'true of' (satisfaction) for variables and some objects [Tarski, by Horsten] |
19314 | For physicalism, reduce truth to satisfaction, then define satisfaction as physical-plus-logic [Tarski, by Kirkham] |
19316 | Insight: don't use truth, use a property which can be compositional in complex quantified sentence [Tarski, by Kirkham] |
19175 | Tarski gave axioms for satisfaction, then derived its explicit definition, which led to defining truth [Tarski, by Davidson] |
16303 | Tarski made truth respectable, by proving that it could be defined [Tarski, by Halbach] |
19134 | Tarski defined truth for particular languages, but didn't define it across languages [Davidson on Tarski] |
16304 | Tarski didn't capture the notion of an adequate truth definition, as Convention T won't prove non-contradiction [Halbach on Tarski] |
2571 | Tarski says that his semantic theory of truth is completely neutral about all metaphysics [Tarski, by Haack] |
10821 | Physicalists should explain reference nonsemantically, rather than getting rid of it [Tarski, by Field,H] |
10822 | A physicalist account must add primitive reference to Tarski's theory [Field,H on Tarski] |
10969 | Tarski had a theory of truth, and a theory of theories of truth [Tarski, by Read] |
17746 | Tarski's 'truth' is a precise relation between the language and its semantics [Tarski, by Walicki] |
10904 | Tarskian truth neglects the atomic sentences [Mulligan/Simons/Smith on Tarski] |
15322 | Tarski's had the first axiomatic theory of truth that was minimally adequate [Tarski, by Horsten] |
16306 | Tarski defined truth, but an axiomatisation can be extracted from his inductive clauses [Tarski, by Halbach] |
18759 | Identity is invariant under arbitrary permutations, so it seems to be a logical term [Tarski, by McGee] |
13777 | A name is a sort of tool [Plato] |
13790 | A name-giver might misname something, then force other names to conform to it [Plato] |
13791 | Things must be known before they are named, so it can't be the names that give us knowledge [Plato] |
10823 | A name denotes an object if the object satisfies a particular sentential function [Tarski] |
13789 | Anyone who knows a thing's name also knows the thing [Plato] |
18756 | Tarski built a compositional semantics for predicate logic, from dependent satisfactions [Tarski, by McGee] |
19313 | Tarksi invented the first semantics for predicate logic, using this conception of truth [Tarski, by Kirkham] |
16323 | The object language/ metalanguage distinction is the basis of model theory [Tarski, by Halbach] |
8940 | Tarski avoids the Liar Paradox, because truth cannot be asserted within the object language [Tarski, by Fisher] |
10154 | Tarski's theory of truth shifted the approach away from syntax, to set theory and semantics [Feferman/Feferman on Tarski] |
2063 | How can beauty have identity if it changes? [Plato] |
13775 | We only succeed in cutting if we use appropriate tools, not if we approach it randomly [Plato] |
2469 | The world is full of messy small things producing stable large-scale properties (e.g. mountains) [Fodor] |
2475 | Don't define something by a good instance of it; a good example is a special case of the ordinary example [Fodor] |
13787 | Doesn't each thing have an essence, just as it has other qualities? [Plato] |
13774 | Things don't have every attribute, and essence isn't private, so each thing has an essence [Plato] |
13772 | Is the being or essence of each thing private to each person? [Plato] |
13788 | If we made a perfect duplicate of Cratylus, there would be two Cratyluses [Plato] |
2502 | How do you count beliefs? [Fodor] |
2501 | Berkeley seems to have mistakenly thought that chairs are the same as after-images [Fodor] |
2465 | Maybe explaining the mechanics of perception will explain the concepts involved [Fodor] |
2504 | Rationalism can be based on an evolved computational brain with innate structure [Fodor] |
2493 | According to empiricists abstraction is the fundamental mental process [Fodor] |
2494 | Rationalists say there is more to a concept than the experience that prompts it [Fodor] |
13792 | There can't be any knowledge if things are constantly changing [Plato] |
2503 | Empirical approaches see mind connections as mirrors/maps of reality [Fodor] |
2508 | The function of a mind is obvious [Fodor] |
13781 | Soul causes the body to live, and gives it power to breathe and to be revitalized [Plato] |
2485 | Do intentional states explain our behaviour? [Fodor] |
2506 | If I have a set of mental modules, someone had better be in charge of them! [Fodor] |
2467 | Functionalists see pains as properties involving relations and causation [Fodor] |
2489 | Why bother with neurons? You don't explain bird flight by examining feathers [Fodor] |
2468 | Type physicalism is a stronger claim than token physicalism [Fodor] |
2490 | Modern connectionism is just Hume's theory of the 'association' of 'ideas' [Fodor] |
2476 | The goal of thought is to understand the world, not instantly sort it into conceptual categories [Fodor] |
2499 | Modules analyse stimuli, they don't tell you what to do [Fodor] |
2496 | Blindness doesn't destroy spatial concepts [Fodor] |
2497 | Something must take an overview of the modules [Fodor] |
2509 | Modules have in-built specialist information [Fodor] |
2491 | Modules have encapsulation, inaccessibility, private concepts, innateness [Fodor] |
2495 | Obvious modules are language and commonsense explanation [Fodor] |
2498 | Modules make the world manageable [Fodor] |
2500 | Babies talk in consistent patterns [Fodor] |
2507 | Rationality rises above modules [Fodor] |
2483 | Mentalese doesn't require a theory of meaning [Fodor] |
2480 | Language is ambiguous, but thought isn't [Fodor] |
2487 | Mentalese may also incorporate some natural language [Fodor] |
2486 | Content can't be causal role, because causal role is decided by content [Fodor] |
2492 | Experience can't explain itself; the concepts needed must originate outside experience [Fodor] |
2471 | Are concepts best seen as capacities? [Fodor] |
2472 | For Pragmatists having a concept means being able to do something [Fodor] |
2482 | It seems unlikely that meaning can be reduced to communicative intentions, or any mental states [Fodor] |
2477 | If to understand "fish" you must know facts about them, where does that end? [Fodor] |
2473 | Analysis is impossible without the analytic/synthetic distinction [Fodor] |
2484 | The theory of the content of thought as 'Mentalese' explains why the Private Language Argument doesn't work [Fodor] |
20407 | Taste is the capacity to judge an object or representation which is thought to be beautiful [Tarski, by Schellekens] |
13785 | 'Arete' signifies lack of complexity and a free-flowing soul [Plato] |
13779 | The natural offspring of a lion is called a 'lion' (but what about the offspring of a king?) [Plato] |
13783 | Even the gods love play [Plato] |