187 ideas
12667 | Metaphysics aims at the simplest explanation, without regard to testability [Ellis] |
13567 | Ontology should give insight into or an explanation of the world revealed by science [Ellis] |
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] |
5486 | Essentialism says metaphysics can't be done by analysing unreliable language [Ellis] |
15661 | Horkheimer's critical theory was interdisciplinary, and aware of its own context and function [Horkheimer, by Finlayson] |
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] |
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] |
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] |
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] |
13604 | Real possibility and necessity has the logic of S5, which links equivalence classes of worlds of the same kind [Ellis] |
12666 | We can base logic on acceptability, and abandon the Fregean account by truth-preservation [Ellis] |
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] |
13606 | Humean conceptions of reality drive the adoption of extensional logic [Ellis] |
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] |
12688 | Mathematics is the formal study of the categorical dimensions of things [Ellis] |
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] |
12683 | Objects and substances are a subcategory of the natural kinds of processes [Ellis] |
12670 | A physical event is any change of distribution of energy [Ellis] |
13584 | The extension of a property is a contingent fact, so cannot be the essence of the property [Ellis] |
5468 | Properties are 'dispositional', or 'categorical' (the latter as 'block' or 'intrinsic' structures) [Ellis, by PG] |
13587 | There is no property of 'fragility', as things are each fragile in a distinctive way [Ellis] |
12673 | Physical properties are those relevant to how a physical system might act [Ellis] |
13577 | Typical 'categorical' properties are spatio-temporal, such as shape [Ellis] |
9436 | The property of 'being an electron' is not of anything, and only electrons could have it [Ellis] |
5469 | The passive view of nature says categorical properties are basic, but others say dispositions [Ellis] |
12665 | I support categorical properties, although most people only want causal powers [Ellis] |
12682 | Essentialism needs categorical properties (spatiotemporal and numerical relations) and dispositions [Ellis] |
12684 | Spatial, temporal and numerical relations have causal roles, without being causal [Ellis] |
13582 | 'Being a methane molecule' is not a property - it is just a predicate [Ellis] |
12672 | Properties and relations are discovered, so they can't be mere sets of individuals [Ellis] |
5456 | Redness is not a property as it is not mind-independent [Ellis] |
18398 | Space, time, and some other basics, are not causal powers [Ellis] |
13580 | Causal powers must necessarily act the way they do [Ellis] |
13598 | Causal powers are often directional (e.g. centripetal, centrifugal, circulatory) [Ellis] |
12676 | Causal powers can't rest on things which lack causal power [Ellis] |
13568 | Basic powers may not be explained by structure, if at the bottom level there is no structure [Ellis] |
13586 | Maybe dispositions can be explained by intrinsic properties or structures [Ellis] |
5481 | Properties have powers; they aren't just ways for logicians to classify objects [Ellis] |
23781 | Categoricals exist to influence powers. Such as structures, orientations and magnitudes [Ellis, by Williams,NE] |
13585 | The most fundamental properties of nature (mass, charge, spin ...) all seem to be dispositions [Ellis] |
5458 | Nearly all fundamental properties of physics are dispositional [Ellis] |
13596 | A causal power is a disposition to produce forces [Ellis] |
13599 | Powers are dispositions of the essences of kinds that involve them in causation [Ellis] |
12686 | Causal powers are a proper subset of the dispositional properties [Ellis] |
13573 | Universals are all types of natural kind [Ellis] |
13572 | There are 'substantive' (objects of some kind), 'dynamic' (events of some kind) and 'property' universals [Ellis] |
10151 | I am a deeply convinced nominalist [Tarski] |
12685 | Categorical properties depend only on the structures they represent [Ellis] |
5443 | Kripke and others have made essentialism once again respectable [Ellis] |
5444 | 'Individual essences' fix a particular individual, and 'kind essences' fix the kind it belongs to [Ellis] |
13571 | Scientific essentialism doesn't really need Kripkean individual essences [Ellis] |
12679 | A real essence is a kind's distinctive properties [Ellis] |
5462 | Essential properties are usually quantitatively determinate [Ellis] |
5448 | 'Real essence' makes it what it is; 'nominal essence' makes us categorise it a certain way [Ellis] |
13578 | The old idea that identity depends on essence and behaviour is rejected by the empiricists [Ellis] |
5477 | One thing can look like something else, without being the something else [Ellis] |
13576 | Necessities are distinguished by their grounds, not their different modalities [Ellis] |
12668 | Metaphysical necessity holds between things in the world and things they make true [Ellis] |
5479 | Scientific essentialists say science should define the limits of the possible [Ellis] |
12687 | Metaphysical necessities are those depending on the essential nature of things [Ellis] |
5483 | Essentialists deny possible worlds, and say possibilities are what is compatible with the actual world [Ellis] |
13570 | Individual essences necessitate that individual; natural kind essences necessitate kind membership [Ellis] |
5447 | Metaphysical necessities are true in virtue of the essences of things [Ellis] |
5476 | Essentialists say natural laws are in a new category: necessary a posteriori [Ellis] |
5478 | Imagination tests what is possible for all we know, not true possibility [Ellis] |
5482 | Possible worlds realism is only needed to give truth conditions for modals and conditionals [Ellis] |
5453 | Essentialists mostly accept the primary/secondary qualities distinction [Ellis] |
5466 | Primary qualities are number, figure, size, texture, motion, configuration, impenetrability and (?) mass [Ellis] |
12669 | Science aims to explain things, not just describe them [Ellis] |
13607 | If events are unconnected, then induction cannot be solved [Ellis] |
5485 | Emeralds are naturally green, and only an external force could turn them blue [Ellis] |
13597 | Good explanations unify [Ellis] |
5484 | Essentialists don't infer from some to all, but from essences to necessary behaviour [Ellis] |
13601 | Explanations of particular events are not essentialist, as they don't reveal essential structures [Ellis] |
13569 | To give essentialist explanations there have to be natural kinds [Ellis] |
13600 | The point of models in theories is not to idealise, but to focus on what is essential [Ellis] |
5457 | Predicates assert properties, values, denials, relations, conventions, existence and fabrications [Ellis, by PG] |
13345 | Sentences are 'analytical' if every sequence of objects models them [Tarski] |
5488 | Regularity theories of causation cannot give an account of human agency [Ellis] |
5489 | Humans have variable dispositions, and also power to change their dispositions [Ellis] |
20407 | Taste is the capacity to judge an object or representation which is thought to be beautiful [Tarski, by Schellekens] |
5490 | Essentialism fits in with Darwinism, but not with extreme politics of left or right [Ellis] |
5472 | Natural kinds are of objects/substances, or events/processes, or intrinsic natures [Ellis] |
6613 | The natural kinds are objects, processes and properties/relations [Ellis] |
12681 | There are natural kinds of processes [Ellis] |
13583 | There might be uninstantiated natural kinds, such as transuranic elements which have never occurred [Ellis] |
13574 | Natural kinds are distinguished by resting on essences [Ellis] |
5471 | Essentialism says natural kinds are fundamental to nature, and determine the laws [Ellis] |
12680 | Natural kind structures go right down to the bottom level [Ellis] |
5446 | For essentialists two members of a natural kind must be identical [Ellis] |
5480 | The whole of our world is a natural kind, so all worlds like it necessarily have the same laws [Ellis] |
13575 | If there are borderline cases between natural kinds, that makes them superficial [Ellis] |
5445 | Essentialists regard inanimate objects as genuine causal agents [Ellis] |
5463 | Essentialists believe causation is necessary, resulting from dispositions and circumstances [Ellis] |
5491 | A general theory of causation is only possible in an area if natural kinds are involved [Ellis] |
5442 | For 'passivists' behaviour is imposed on things from outside [Ellis] |
5473 | The laws of nature imitate the hierarchy of natural kinds [Ellis] |
5474 | Laws of nature tend to describe ideal things, or ideal circumstances [Ellis] |
5475 | We must explain the necessity, idealisation, ontology and structure of natural laws [Ellis] |
13595 | Laws don't exist in the world; they are true of the world [Ellis] |
6616 | Least action is not a causal law, but a 'global law', describing a global essence [Ellis] |
12675 | Laws of nature are just descriptions of how things are disposed to behave [Ellis] |
5460 | Causal relations cannot be reduced to regularities, as they could occur just once [Ellis] |
13566 | A proton must have its causal role, because without it it wouldn't be a proton [Ellis] |
13579 | What is most distinctive of scientific essentialism is regarding processes as natural kinds [Ellis] |
13581 | Scientific essentialism is more concerned with explanation than with identity (Locke, not Kripke) [Ellis] |
13594 | The ontological fundamentals are dispositions, and also categorical (spatio-temporal and structural) properties [Ellis] |
5459 | Essentialists say dispositions are basic, rather than supervenient on matter and natural laws [Ellis] |
5461 | The essence of uranium is its atomic number and its electron shell [Ellis] |
6615 | A species requires a genus, and its essence includes the essence of the genus [Ellis] |
13603 | A primary aim of science is to show the limits of the possible [Ellis] |
5464 | For essentialists, laws of nature are metaphysically necessary, being based on essences of natural kinds [Ellis] |
6614 | A hierarchy of natural kinds is elaborate ontology, but needed to explain natural laws [Ellis] |
5487 | Essentialism requires a clear separation of semantics, epistemology and ontology [Ellis] |
6612 | Without general principles, we couldn't predict the behaviour of dispositional properties [Ellis] |
12671 | I deny forces as entities that intervene in causation, but are not themselves causal [Ellis] |
12674 | Energy is the key multi-valued property, vital to scientific realism [Ellis] |
12689 | Simultaneity can be temporal equidistance from the Big Bang [Ellis] |
12690 | The present is the collapse of the light wavefront from the Big Bang [Ellis] |