66 ideas
6891 | Quine's naturalistic and empirical view is based entirely on first-order logic and set theory [Quine, by Mautner] |
6310 | Enquiry needs a conceptual scheme, so we should retain the best available [Quine] |
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] |
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] |
10823 | A name denotes an object if the object satisfies a particular sentential function [Tarski] |
12798 | Plurals can in principle be paraphrased away altogether [Quine] |
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] |
17905 | Any progression will do nicely for numbers; they can all then be used to measure multiplicity [Quine] |
9556 | Nearly all of mathematics has to quantify over abstract objects [Quine] |
10154 | Tarski's theory of truth shifted the approach away from syntax, to set theory and semantics [Feferman/Feferman on Tarski] |
16462 | The quest for ultimate categories is the quest for a simple clear pattern of notation [Quine] |
15723 | Either dispositions rest on structures, or we keep saying 'all things being equal' [Quine] |
15490 | Explain unmanifested dispositions as structural similarities to objects which have manifested them [Quine, by Martin,CB] |
8504 | Quine aims to deal with properties by the use of eternal open sentences, or classes [Quine, by Devitt] |
8464 | Physical objects in space-time are just events or processes, no matter how disconnected [Quine] |
7924 | The notion of a physical object is by far the most useful one for science [Quine] |
8482 | Mathematicians must be rational but not two-legged, cyclists the opposite. So a mathematical cyclist? [Quine] |
12136 | Cyclist are not actually essentially two-legged [Brody on Quine] |
17594 | We can paraphrase 'x=y' as a sequence of the form 'if Fx then Fy' [Quine] |
15725 | Normal conditionals have a truth-value gap when the antecedent is false. [Quine] |
15722 | Conditionals are pointless if the truth value of the antecedent is known [Quine] |
15719 | We feign belief in counterfactual antecedents, and assess how convincing the consequent is [Quine] |
15721 | Counterfactuals are plausible when dispositions are involved, as they imply structures [Quine] |
15724 | Counterfactuals have no place in a strict account of science [Quine] |
15720 | What stays the same in assessing a counterfactual antecedent depends on context [Quine] |
7628 | Broad rejects the inferential component of the representative theory [Broad, by Maund] |
4630 | Two theories can be internally consistent and match all the facts, yet be inconsistent with one another [Quine, by Baggini /Fosl] |
3131 | Quine expresses the instrumental version of eliminativism [Quine, by Rey] |
3988 | Indeterminacy of translation also implies indeterminacy in interpreting people's mental states [Dennett on Quine] |
6311 | The firmer the links between sentences and stimuli, the less translations can diverge [Quine] |
6312 | We can never precisely pin down how to translate the native word 'Gavagai' [Quine] |
6313 | Stimulus synonymy of 'Gavagai' and 'Rabbit' does not even guarantee they are coextensive [Quine] |
6317 | Dispositions to speech behaviour, and actual speech, are never enough to fix any one translation [Quine] |
6315 | We should be suspicious of a translation which implies that a people have very strange beliefs [Quine] |
6314 | Weird translations are always possible, but they improve if we impose our own logic on them [Quine] |
20407 | Taste is the capacity to judge an object or representation which is thought to be beautiful [Tarski, by Schellekens] |