188 ideas
19199 | Some say metaphysics is a highly generalised empirical study of objects [Tarski] |
19193 | Disputes that fail to use precise scientific terminology are all meaningless [Tarski] |
6779 | Instrumentalists say distinctions between observation and theory vanish with ostensive definition [Bird] |
19179 | For a definition we need the words or concepts used, the rules, and the structure of the language [Tarski] |
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] |
10153 | In everyday language, truth seems indefinable, inconsistent, and illogical [Tarski] |
19178 | Definitions of truth should not introduce a new version of the concept, but capture the old one [Tarski] |
19177 | A definition of truth should be materially adequate and formally correct [Tarski] |
19186 | A rigorous definition of truth is only possible in an exactly specified language [Tarski] |
19194 | We may eventually need to split the word 'true' into several less ambiguous terms [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] |
13338 | '"It is snowing" is true if and only if it is snowing' is a partial definition of the concept of truth [Tarski] |
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] |
19180 | It is convenient to attach 'true' to sentences, and hence the language must be specified [Tarski] |
19181 | In the classical concept of truth, 'snow is white' is true if snow is white [Tarski] |
19196 | Scheme (T) is not a definition of truth [Tarski] |
19183 | Each interpreted T-sentence is a partial definition of truth; the whole definition is their conjunction [Tarski] |
19182 | Use 'true' so that all T-sentences can be asserted, and the definition will then be 'adequate' [Tarski] |
19198 | We don't give conditions for asserting 'snow is white'; just that assertion implies 'snow is white' is true [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] |
19184 | The best truth definition involves other semantic notions, like satisfaction (relating terms and objects) [Tarski] |
19191 | Specify satisfaction for simple sentences, then compounds; true sentences are satisfied by all objects [Tarski] |
19188 | We can't use a semantically closed language, or ditch our logic, so a meta-language is needed [Tarski] |
19189 | The metalanguage must contain the object language, logic, and defined semantics [Tarski] |
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] |
10824 | If listing equivalences is a reduction of truth, witchcraft is just a list of witch-victim pairs [Field,H on Tarski] |
16303 | Tarski made truth respectable, by proving that it could be defined [Tarski, by Halbach] |
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] |
19141 | Tarski thought axiomatic truth was too contingent, and in danger of inconsistencies [Tarski, by Davidson] |
19190 | We need an undefined term 'true' in the meta-language, specified by axioms [Tarski] |
19197 | Truth can't be eliminated from universal claims, or from particular unspecified claims [Tarski] |
19185 | Semantics is a very modest discipline which solves no real problems [Tarski] |
19195 | Truth tables give prior conditions for logic, but are outside the system, and not definitions [Tarski] |
9449 | The plausible Barcan formula implies modality in the actual world [Bird] |
10653 | Maybe set theory need not be well-founded [Varzi] |
10648 | Mereology need not be nominalist, though it is often taken to be so [Varzi] |
10655 | Are there mereological atoms, and are all objects made of them? [Varzi] |
10659 | There is something of which everything is part, but no null-thing which is part of everything [Varzi] |
10152 | Set theory and logic are fairy tales, but still worth studying [Tarski] |
10048 | There is no clear boundary between the logical and the non-logical [Tarski] |
13337 | A language: primitive terms, then definition rules, then sentences, then axioms, and finally inference rules [Tarski] |
18812 | Split out the logical vocabulary, make an assignment to the rest. It's logical if premises and conclusion match [Tarski, by Rumfitt] |
10694 | Logical consequence is when in any model in which the premises are true, the conclusion is true [Tarski, by Beall/Restall] |
10479 | Logical consequence: true premises give true conclusions under all interpretations [Tarski, by Hodges,W] |
13344 | X follows from sentences K iff every model of K also models X [Tarski] |
19192 | The truth definition proves semantic contradiction and excluded middle laws (not the logic laws) [Tarski] |
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] |
13335 | Semantics is the concepts of connections of language to reality, such as denotation, definition and truth [Tarski] |
13336 | A language containing its own semantics is inconsistent - but we can use a second language [Tarski] |
13339 | A sentence is satisfied when we can assert the sentence when the variables are assigned [Tarski] |
13340 | Satisfaction is the easiest semantical concept to define, and the others will reduce to it [Tarski] |
16323 | The object language/ metalanguage distinction is the basis of model theory [Tarski, by Halbach] |
13343 | A 'model' is a sequence of objects which satisfies a complete set of sentential functions [Tarski] |
13341 | Using the definition of truth, we can prove theories consistent within sound logics [Tarski] |
8940 | Tarski avoids the Liar Paradox, because truth cannot be asserted within the object language [Tarski, by Fisher] |
19187 | The Liar makes us assert a false sentence, so it must be taken seriously [Tarski] |
10157 | Tarski improved Hilbert's geometry axioms, and without set-theory [Tarski, by Feferman/Feferman] |
10154 | Tarski's theory of truth shifted the approach away from syntax, to set theory and semantics [Feferman/Feferman on Tarski] |
9501 | If all existents are causally active, that excludes abstracta and causally isolated objects [Bird] |
9500 | If naturalism refers to supervenience, that leaves necessary entities untouched [Bird] |
6780 | Anti-realism is more plausible about laws than about entities and theories [Bird] |
9502 | There might be just one fundamental natural property [Bird] |
9477 | Categorical properties are not modally fixed, but change across possible worlds [Bird] |
9490 | The categoricalist idea is that a property is only individuated by being itself [Bird] |
9495 | If we abstractly define a property, that doesn't mean some object could possess it [Bird] |
9492 | Categoricalists take properties to be quiddities, with no essential difference between them [Bird] |
9503 | To name an abundant property is either a Fregean concept, or a simple predicate [Bird] |
14540 | Only real powers are fundamental [Bird, by Mumford/Anjum] |
9450 | If all properties are potencies, and stimuli and manifestation characterise them, there is a regress [Bird] |
9498 | The essence of a potency involves relations, e.g. mass, to impressed force and acceleration [Bird] |
9474 | A disposition is finkish if a time delay might mean the manifestation fizzles out [Bird] |
9475 | A robust pot attached to a sensitive bomb is not fragile, but if struck it will easily break [Bird] |
9499 | Megarian actualists deny unmanifested dispositions [Bird] |
9486 | Why should a universal's existence depend on instantiation in an existing particular? [Bird] |
10151 | I am a deeply convinced nominalist [Tarski] |
9472 | Resemblance itself needs explanation, presumably in terms of something held in common [Bird] |
10661 | 'Composition is identity' says multitudes are the reality, loosely composing single things [Varzi] |
10647 | Parts may or may not be attached, demarcated, arbitrary, material, extended, spatial or temporal [Varzi] |
10651 | If 'part' is reflexive, then identity is a limit case of parthood [Varzi] |
10649 | 'Part' stands for a reflexive, antisymmetric and transitive relation [Varzi] |
10654 | The parthood relation will help to define at least seven basic predicates [Varzi] |
10658 | Sameness of parts won't guarantee identity if their arrangement matters [Varzi] |
9482 | If the laws necessarily imply p, that doesn't give a new 'nomological' necessity [Bird] |
9481 | Logical necessitation is not a kind of necessity; George Orwell not being Eric Blair is not a real possibility [Bird] |
6796 | Subjective probability measures personal beliefs; objective probability measures the chance of an event happening [Bird] |
6797 | Objective probability of tails measures the bias of the coin, not our beliefs about it [Bird] |
9505 | Empiricist saw imaginability and possibility as close, but now they seem remote [Bird] |
10652 | Conceivability may indicate possibility, but literary fantasy does not [Varzi] |
9491 | Haecceitism says identity is independent of qualities and without essence [Bird] |
6800 | Many philosophers rate justification as a more important concept than knowledge [Bird] |
6786 | As science investigates more phenomena, the theories it needs decreases [Bird] |
6792 | If theories need observation, and observations need theories, how do we start? [Bird] |
6757 | Explanation predicts after the event; prediction explains before the event [Bird] |
6805 | Relativity ousted Newtonian mechanics despite a loss of simplicity [Bird] |
6777 | Realists say their theories involve truth and the existence of their phenomena [Bird] |
6804 | There is no agreement on scientific method - because there is no such thing [Bird] |
6778 | Instrumentalists regard theories as tools for prediction, with truth being irrelevant [Bird] |
6775 | Induction is inference to the best explanation, where the explanation is a law [Bird] |
6791 | If Hume is right about induction, there is no scientific knowledge [Bird] |
6790 | Anything justifying inferences from observed to unobserved must itself do that [Bird] |
6738 | Any conclusion can be drawn from an induction, if we use grue-like predicates [Bird] |
6739 | Several months of observing beech trees supports the deciduous and evergreen hypotheses [Bird] |
6799 | We normally learn natural kinds from laws, but Goodman shows laws require prior natural kinds [Bird] |
6798 | Bayesianism claims to find rationality and truth in induction, and show how science works [Bird] |
6752 | The objective component of explanations is the things that must exist for the explanation [Bird] |
6754 | We talk both of 'people' explaining things, and of 'facts' explaining things [Bird] |
9487 | We can't reject all explanations because of a regress; inexplicable A can still explain B [Bird] |
6750 | Explanations are causal, nomic, psychological, psychoanalytic, Darwinian or functional [Bird] |
6761 | Contrastive explanations say why one thing happened but not another [Bird] |
6758 | 'Covering law' explanations only work if no other explanations are to be found [Bird] |
6759 | Livers always accompany hearts, but they don't explain hearts [Bird] |
6756 | Probabilistic-statistical explanations don't entail the explanandum, but makes it more likely [Bird] |
6760 | An operation might reduce the probability of death, yet explain a death [Bird] |
6785 | Inference to the Best Explanation is done with facts, so it has to be realist [Bird] |
6788 | Maybe bad explanations are the true ones, in this messy world [Bird] |
6787 | Which explanation is 'best' is bound to be subjective, and no guide to truth [Bird] |
6751 | Maybe explanation is so subjective that it cannot be a part of science [Bird] |
17527 | Causation seems to be an innate concept (or acquired very early) [Bird] |
13345 | Sentences are 'analytical' if every sequence of objects models them [Tarski] |
20407 | Taste is the capacity to judge an object or representation which is thought to be beautiful [Tarski, by Schellekens] |
6776 | Natural kinds are those that we use in induction [Bird] |
6767 | Rubies and sapphires are both corundum, with traces of metals varying their colours [Bird] |
6768 | Tin is not one natural kind, but appears to be 21, depending on isotope [Bird] |
6770 | Membership of a purely random collection cannot be used as an explanation [Bird] |
6771 | Natural kinds may overlap, or be sub-kinds of one another [Bird] |
6773 | If F is a universal appearing in a natural law, then Fs form a natural kind [Bird] |
6769 | In the Kripke-Putnam view only nuclear physicists can know natural kinds [Bird] |
6774 | Darwinism suggests that we should have a native ability to detect natural kinds [Bird] |
6764 | Nominal essence of a natural kind is the features that make it fit its name [Bird] |
6766 | Jadeite and nephrite are superficially identical, but have different composition [Bird] |
6808 | Reference to scientific terms is by explanatory role, not by descriptions [Bird] |
17528 | The dispositional account explains causation, as stimulation and manifestation of dispositions [Bird] |
9493 | We should explain causation by powers, not powers by causation [Bird] |
6753 | Laws are more fundamental in science than causes, and laws will explain causes [Bird] |
9494 | Singularism about causes is wrong, as the universals involved imply laws [Bird] |
17526 | The counterfactual approach makes no distinction between cause and pre-condition [Bird] |
6762 | Newton's laws cannot be confirmed individually, but only in combinations [Bird] |
6763 | Parapsychology is mere speculation, because it offers no mechanisms for its working [Bird] |
6772 | Existence requires laws, as inertia or gravity are needed for mass or matter [Bird] |
9507 | Laws are explanatory relationships of things, which supervene on their essences [Bird] |
9488 | Laws are either disposition regularities, or relations between properties [Bird] |
6740 | 'All uranium lumps are small' is a law, but 'all gold lumps are small' is not [Bird] |
6741 | There can be remarkable uniformities in nature that are purely coincidental [Bird] |
6742 | A law might have no instances, if it was about things that only exist momentarily [Bird] |
6743 | If laws are just instances, the law should either have gaps, or join the instances arbitrarily [Bird] |
6744 | Where is the regularity in a law predicting nuclear decay? [Bird] |
6747 | Laws cannot explain instances if they are regularities, as something can't explain itself [Bird] |
9496 | That other diamonds are hard does not explain why this one is [Bird] |
6748 | Similar appearance of siblings is a regularity, but shared parents is what links them [Bird] |
6749 | We can only infer a true regularity if something binds the instances together [Bird] |
6803 | If we only infer laws from regularities among observations, we can't infer unobservable entities. [Bird] |
6801 | Accidental regularities are not laws, and an apparent regularity may not be actual [Bird] |
9479 | Dispositional essentialism says laws (and laws about laws) are guaranteed regularities [Bird] |
6746 | There may be many laws, each with only a few instances [Bird] |
6745 | A regularity is only a law if it is part of a complete system which is simple and strong [Bird] |
6802 | With strange enough predicates, anything could be made out to be a regularity [Bird] |
9473 | Laws cannot offer unified explanations if they don't involve universals [Bird] |
9484 | If the universals for laws must be instantiated, a vanishing particular could destroy a law [Bird] |
9506 | Salt necessarily dissolves in water, because of the law which makes the existence of salt possible [Bird] |
23713 | Most laws supervene on fundamental laws, which are explained by basic powers [Bird, by Friend/Kimpton-Nye] |
6789 | If flame colour is characteristic of a metal, that is an empirical claim needing justification [Bird] |
9489 | Essentialism can't use conditionals to explain regularities, because of possible interventions [Bird] |
6807 | In Newton mass is conserved, but in Einstein it can convert into energy [Bird] |
9504 | The relational view of space-time doesn't cover times and places where things could be [Bird] |