41 ideas
14721 | Metaphysical enquiry can survive if its conclusions are tentative [Sider] |
15647 | Truth definitions don't produce a good theory, because they go beyond your current language [Halbach] |
15649 | In semantic theories of truth, the predicate is in an object-language, and the definition in a metalanguage [Halbach] |
15655 | Should axiomatic truth be 'conservative' - not proving anything apart from implications of the axioms? [Halbach] |
15654 | If truth is defined it can be eliminated, whereas axiomatic truth has various commitments [Halbach] |
15648 | Instead of a truth definition, add a primitive truth predicate, and axioms for how it works [Halbach] |
15650 | Axiomatic theories of truth need a weak logical framework, and not a strong metatheory [Halbach] |
15656 | Deflationists say truth merely serves to express infinite conjunctions [Halbach] |
15657 | To prove the consistency of set theory, we must go beyond set theory [Halbach] |
15652 | We can use truth instead of ontologically loaded second-order comprehension assumptions about properties [Halbach] |
15651 | Instead of saying x has a property, we can say a formula is true of x - as long as we have 'true' [Halbach] |
14760 | Four-dimensionalism sees things and processes as belonging in the same category [Sider] |
14194 | Proper ontology should only use categorical (actual) properties, not hypothetical ones [Sider] |
14745 | If sortal terms fix the kind and the persistence conditions, we need to know what kinds there are [Sider] |
14740 | If Tib is all of Tibbles bar her tail, when Tibbles loses her tail, two different things become one [Sider] |
14752 | Artists 'create' statues because they are essentially statues, and so lack identity with the lump of clay [Sider] |
14743 | The stage view of objects is best for dealing with coincident entities [Sider] |
14747 | 'Composition as identity' says that an object just is the objects which compose it [Sider] |
14757 | Mereological essentialism says an object's parts are necessary for its existence [Sider] |
14727 | Three-dimensionalists assert 'enduring', being wholly present at each moment, and deny 'temporal parts' [Sider] |
14738 | Some might say that its inconsistency with time travel is a reason to favour three-dimensionalism [Sider] |
14726 | Four-dimensionalists assert 'temporal parts', 'perduring', and being spread out over time [Sider] |
14728 | 4D says intrinsic change is difference between successive parts [Sider] |
14729 | 4D says each spatiotemporal object must have a temporal part at every moment at which it exists [Sider] |
14730 | Temporal parts exist, but are not prior building blocks for objects [Sider] |
14731 | Temporal parts are instantaneous [Sider] |
14758 | How can an instantaneous stage believe anything, if beliefs take time? [Sider] |
14762 | Four-dimensionalism says temporal parts are caused (through laws of motion) by previous temporal parts [Sider] |
14741 | The ship undergoes 'asymmetric' fission, where one candidate is seen as stronger [Sider] |
14754 | If you say Leibniz's Law doesn't apply to 'timebound' properties, you are no longer discussing identity [Sider] |
14763 | Counterparts rest on similarity, so there are many such relations in different contexts [Sider] |
22363 | You have only begun to do real science when you can express it in numbers [Kelvin] |
14725 | Maybe motion is a dynamical quantity intrinsic to a thing at a particular time [Sider] |
20644 | Energy has progressed from a mere formula, to a principle pervading all nature [Kelvin] |
14735 | Space is 3D and lacks a direction; time seems connected to causation [Sider] |
14722 | Between presentism and eternalism is the 'growing block' view - the past is real, the future is not [Sider] |
14724 | Presentists must deny truths about multiple times [Sider] |
14756 | For Presentists there must always be a temporal vantage point for any description [Sider] |
14723 | Talk using tenses can be eliminated, by reducing it to indexical connections for an utterance [Sider] |
14734 | The B-series involves eternalism, and the reduction of tense [Sider] |
14736 | The B-theory is adequate, except that it omits to say which time is present [Sider] |