70 ideas
18390 | All metaphysical discussion should be guided by a quest for truthmakers [Armstrong] |
17621 | What matters in mathematics is its objectivity, not the existence of the objects [Dummett] |
18467 | Truth-making can't be entailment, because truthmakers are portions of reality [Armstrong] |
18468 | Armstrong says truthmakers necessitate their truth, where 'necessitate' is a primitive relation [Armstrong, by MacBride] |
15063 | Some sentences depend for their truth on worldly circumstances, and others do not [Fine,K] |
18377 | Negative truths have as truthmakers all states of affairs relevant to the truth [Armstrong] |
18382 | The nature of arctic animals is truthmaker for the absence of penguins there [Armstrong] |
18394 | In mathematics, truthmakers are possible instantiations of structures [Armstrong] |
18384 | One truthmaker will do for a contingent truth and for its contradictory [Armstrong] |
18387 | The truthmakers for possible unicorns are the elements in their combination [Armstrong] |
18386 | What is the truthmaker for 'it is possible that there could have been nothing'? [Armstrong] |
18381 | Necessitating general truthmakers must also specify their limits [Armstrong] |
18396 | The set theory brackets { } assert that the member is a unit [Armstrong] |
10537 | The ordered pairs <x,y> can be reduced to the class of sets of the form {{x},{x,y}} [Dummett] |
18393 | For 'there is a class with no members' we don't need the null set as truthmaker [Armstrong] |
10542 | To associate a cardinal with each set, we need the Axiom of Choice to find a representative [Dummett] |
18392 | Classes have cardinalities, so their members must all be treated as units [Armstrong] |
10554 | Intuitionists find the Incompleteness Theorem unsurprising, since proof is intuitive, not formal [Dummett] |
10552 | Intuitionism says that totality of numbers is only potential, but is still determinate [Dummett] |
15078 | There are levels of existence, as well as reality; objects exist at the lowest level in which they can function [Fine,K] |
18385 | Logical atomism builds on the simple properties, but are they the only possible properties? [Armstrong] |
10515 | Ostension is possible for concreta; abstracta can only be referred to via other objects [Dummett, by Hale] |
10544 | The concrete/abstract distinction seems crude: in which category is the Mistral? [Dummett] |
10546 | We don't need a sharp concrete/abstract distinction [Dummett] |
10540 | We can't say that light is concrete but radio waves abstract [Dummett] |
15072 | Bottom level facts are subject to time and world, middle to world but not time, and top to neither [Fine,K] |
18391 | 'Naturalism' says only the world of space-time exists [Armstrong] |
15071 | Tensed and tenseless sentences state two sorts of fact, which belong to two different 'realms' of reality [Fine,K] |
18374 | Truthmaking needs states of affairs, to unite particulars with tropes or universals. [Armstrong] |
10548 | The context principle for names rules out a special philosophical sense for 'existence' [Dummett] |
10281 | The objects we recognise the world as containing depends on the structure of our language [Dummett] |
18372 | We need properties, as minimal truthmakers for the truths about objects [Armstrong] |
18379 | The determinates of a determinable must be incompatible with each other [Armstrong] |
18378 | Length is a 'determinable' property, and one mile is one its 'determinates' [Armstrong] |
18373 | If tropes are non-transferable, then they necessarily belong to their particular substance [Armstrong] |
18400 | Properties are not powers - they just have powers [Armstrong] |
18397 | Powers must result in some non-powers, or there would only be potential without result [Armstrong] |
18399 | How does the power of gravity know the distance it acts over? [Armstrong] |
10532 | We can understand universals by studying predication [Dummett] |
10534 | 'Nominalism' used to mean denial of universals, but now means denial of abstract objects [Dummett] |
18371 | The class of similar things is much too big a truthmaker for the feature of a particular [Armstrong] |
10541 | Concrete objects such as sounds and smells may not be possible objects of ostension [Dummett] |
10545 | Abstract objects may not cause changes, but they can be the subject of change [Dummett] |
10555 | If we can intuitively apprehend abstract objects, this makes them observable and causally active [Dummett] |
10543 | Abstract objects must have names that fall within the range of some functional expression [Dummett] |
10320 | If a genuine singular term needs a criterion of identity, we must exclude abstract nouns [Dummett, by Hale] |
10547 | Abstract objects can never be confronted, and need verbal phrases for reference [Dummett] |
10531 | There is a modern philosophical notion of 'object', first introduced by Frege [Dummett] |
15075 | Modal features are not part of entities, because they are accounted for by the entity [Fine,K] |
15065 | What it is is fixed prior to existence or the object's worldly features [Fine,K] |
15076 | Essential features of an object have no relation to how things actually are [Fine,K] |
18389 | When entities contain entities, or overlap with them, there is 'partial' identity [Armstrong] |
15073 | Self-identity should have two components, its existence, and its neutral identity with itself [Fine,K] |
15074 | We would understand identity between objects, even if their existence was impossible [Fine,K] |
15064 | Proper necessary truths hold whatever the circumstances; transcendent truths regardless of circumstances [Fine,K] |
15070 | It is the nature of Socrates to be a man, so necessarily he is a man [Fine,K] |
18388 | Possible worlds don't fix necessities; intrinsic necessities imply the extension in worlds [Armstrong] |
15069 | Possible worlds may be more limited, to how things might actually turn out [Fine,K] |
15068 | The actual world is a totality of facts, so we also think of possible worlds as totalities [Fine,K] |
18375 | General truths are a type of negative truth, saying there are no more ravens than black ones [Armstrong] |
19168 | Concepts only have a 'functional character', because they map to truth values, not objects [Dummett, by Davidson] |
10549 | Since abstract objects cannot be picked out, we must rely on identity statements [Dummett] |
10516 | A realistic view of reference is possible for concrete objects, but not for abstract objects [Dummett, by Hale] |
18368 | For all being, there is a potential proposition which expresses its existence and nature [Armstrong] |
18370 | A realm of abstract propositions is causally inert, so has no explanatory value [Armstrong] |
18380 | Negative causations supervene on positive causations plus their laws? [Armstrong] |
15077 | It is said that in the A-theory, all existents and objects must be tensed, as well as the sentences [Fine,K] |
15067 | A-theorists tend to reject the tensed/tenseless distinction [Fine,K] |
15066 | B-theorists say tensed sentences have an unfilled argument-place for a time [Fine,K] |
18401 | The pure present moment is too brief to be experienced [Armstrong] |