77 ideas
| 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] |
| 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] |
| 17518 | Counting 'coin in this box' may have coin as the unit, with 'in this box' merely as the scope [Ayers] |
| 17516 | If counting needs a sortal, what of things which fall under two sortals? [Ayers] |
| 10154 | Tarski's theory of truth shifted the approach away from syntax, to set theory and semantics [Feferman/Feferman on Tarski] |
| 19482 | Current physics says matter and antimatter should have reduced to light at the big bang [New Sci.] |
| 19483 | CP violation shows a decay imbalance in matter and antimatter, leading to matter's dominance [New Sci.] |
| 17520 | Events do not have natural boundaries, and we have to set them [Ayers] |
| 17519 | To express borderline cases of objects, you need the concept of an 'object' [Ayers] |
| 17510 | Speakers need the very general category of a thing, if they are to think about it [Ayers] |
| 17522 | We use sortals to classify physical objects by the nature and origin of their unity [Ayers] |
| 17515 | Seeing caterpillar and moth as the same needs continuity, not identity of sortal concepts [Ayers] |
| 17511 | Recognising continuity is separate from sortals, and must precede their use [Ayers] |
| 17517 | Could the same matter have more than one form or principle of unity? [Ayers] |
| 17513 | If there are two objects, then 'that marble, man-shaped object' is ambiguous [Ayers] |
| 17523 | Sortals basically apply to individuals [Ayers] |
| 17521 | You can't have the concept of a 'stage' if you lack the concept of an object [Ayers] |
| 17514 | Temporal 'parts' cannot be separated or rearranged [Ayers] |
| 17509 | Some say a 'covering concept' completes identity; others place the concept in the reference [Ayers] |
| 17512 | If diachronic identities need covering concepts, why not synchronic identities too? [Ayers] |
| 19737 | A system can infer the structure of the world by making predictions about it [New Sci.] |
| 19736 | Neural networks can extract the car-ness of a car, or the chair-ness of a chair [New Sci.] |
| 16419 | No one has yet devised a rationality test [New Sci.] |
| 16417 | About a third of variation in human intelligence is environmental [New Sci.] |
| 16418 | People can be highly intelligent, yet very stupid [New Sci.] |
| 19484 | Psychologists measure personality along five dimensions [New Sci.] |
| 20407 | Taste is the capacity to judge an object or representation which is thought to be beautiful [Tarski, by Schellekens] |
| 19950 | Entropy is the only time-asymmetric law, so time may be linked to entropy [New Sci.] |
| 19478 | Light moves at a constant space-time speed, but its direction is in neither space nor time [New Sci.] |
| 19474 | Quantum states are measured by external time, of unknown origin [New Sci.] |
| 19473 | The Schrödinger equation describes the evolution of an object's wave function in Hilbert space [New Sci.] |
| 19953 | In string theory space-time has a grainy indivisible substructure [New Sci.] |
| 19476 | String theory needs at least 10 space-time dimensions [New Sci.] |
| 19954 | It is impossible for find a model of actuality among the innumerable models in string theory [New Sci.] |
| 19947 | Hilbert Space is an abstraction representing all possible states of a quantum system [New Sci.] |
| 19948 | Einstein's merging of time with space has left us confused about the nature of time [New Sci.] |
| 19475 | Relativity makes time and space jointly basic; quantum theory splits them, and prioritises time [New Sci.] |
| 19955 | Space-time may be a geometrical manifestation of quantum entanglement [New Sci.] |
| 19949 | Quantum theory relies on a clock outside the system - but where is it located? [New Sci.] |
| 19951 | Entropy is puzzling, so we may need to build new laws which include time directionality [New Sci.] |
| 19477 | General relativity predicts black holes, as former massive stars, and as galaxy centres [New Sci.] |
| 19952 | Black holes have entropy, but general relativity says they are unstructured, and lack entropy [New Sci.] |
| 16420 | 84.5 percent of the universe is made of dark matter [New Sci.] |
| 17604 | We are halfway to synthesising any molecule we want [New Sci.] |
| 17603 | Chemistry just needs the periodic table, and protons, electrons and neutrinos [New Sci.] |