49 ideas
| 14001 | People who use science to make philosophical points don't realise how philosophical science is [Markosian] |
| 4036 | What matters is not how many entities we postulate, but how many kinds of entities [Armstrong, by Mellor/Oliver] |
| 13991 | Presentism has the problem that if Socrates ceases to exist, so do propositions about him [Markosian] |
| 17749 | Post proved the consistency of propositional logic in 1921 [Walicki] |
| 17765 | Propositional language can only relate statements as the same or as different [Walicki] |
| 17764 | Boolean connectives are interpreted as functions on the set {1,0} [Walicki] |
| 17752 | The empty set is useful for defining sets by properties, when the members are not yet known [Walicki] |
| 17753 | The empty set avoids having to take special precautions in case members vanish [Walicki] |
| 17759 | Ordinals play the central role in set theory, providing the model of well-ordering [Walicki] |
| 17741 | To determine the patterns in logic, one must identify its 'building blocks' [Walicki] |
| 17747 | A 'model' of a theory specifies interpreting a language in a domain to make all theorems true [Walicki] |
| 17748 | The L-S Theorem says no theory (even of reals) says more than a natural number theory [Walicki] |
| 17761 | A compact axiomatisation makes it possible to understand a field as a whole [Walicki] |
| 17763 | Axiomatic systems are purely syntactic, and do not presuppose any interpretation [Walicki] |
| 17758 | Ordinals are transitive sets of transitive sets; or transitive sets totally ordered by inclusion [Walicki] |
| 17755 | Ordinals are the empty set, union with the singleton, and any arbitrary union of ordinals [Walicki] |
| 17756 | The union of finite ordinals is the first 'limit ordinal'; 2ω is the second... [Walicki] |
| 17760 | Two infinite ordinals can represent a single infinite cardinal [Walicki] |
| 17757 | Members of ordinals are ordinals, and also subsets of ordinals [Walicki] |
| 17762 | In non-Euclidean geometry, all Euclidean theorems are valid that avoid the fifth postulate [Walicki] |
| 17754 | Inductive proof depends on the choice of the ordering [Walicki] |
| 15754 | Without properties we would be unable to express the laws of nature [Armstrong] |
| 4034 | Whether we apply 'cold' or 'hot' to an object is quite separate from its change of temperature [Armstrong] |
| 8535 | To the claim that every predicate has a property, start by eliminating failure of application of predicate [Armstrong] |
| 8537 | Tropes fall into classes, because exact similarity is symmetrical and transitive [Armstrong] |
| 8538 | Trope theory needs extra commitments, to symmetry and non-transitivity, unless resemblance is exact [Armstrong] |
| 8539 | Universals are required to give a satisfactory account of the laws of nature [Armstrong] |
| 8529 | Deniers of properties and relations rely on either predicates or on classes [Armstrong] |
| 8532 | Resemblances must be in certain 'respects', and they seem awfully like properties [Armstrong] |
| 8530 | Change of temperature in objects is quite independent of the predicates 'hot' and 'cold' [Armstrong] |
| 8536 | We want to know what constituents of objects are grounds for the application of predicates [Armstrong] |
| 8531 | In most sets there is no property common to all the members [Armstrong] |
| 15753 | Essences might support Resemblance Nominalism, but they are too coarse and ill-defined [Armstrong] |
| 17742 | Scotus based modality on semantic consistency, instead of on what the future could allow [Walicki] |
| 14002 | Possible worlds must be abstract, because two qualitatively identical worlds are just one world [Markosian] |
| 14000 | 'Grabby' truth conditions first select their object, unlike 'searchy' truth conditions [Markosian] |
| 8533 | Predicates need ontological correlates to ensure that they apply [Armstrong] |
| 4035 | There must be some explanation of why certain predicates are applicable to certain objects [Armstrong] |
| 8541 | Regularities theories are poor on causal connections, counterfactuals and probability [Armstrong] |
| 8540 | The introduction of sparse properties avoids the regularity theory's problem with 'grue' [Armstrong] |
| 13990 | Presentism is the view that only present objects exist [Markosian] |
| 13992 | Presentism says if objects don't exist now, we can't have attitudes to them or relations with them [Markosian] |
| 13994 | Presentism seems to entail that we cannot talk about other times [Markosian] |
| 13995 | Serious Presentism says things must exist to have relations and properties; Unrestricted version denies this [Markosian] |
| 13996 | Maybe Presentists can refer to the haecceity of a thing, after the thing itself disappears [Markosian] |
| 13997 | Maybe Presentists can paraphrase singular propositions about the past [Markosian] |
| 13993 | Special Relativity denies the absolute present which Presentism needs [Markosian] |
| 13998 | Objects in the past, like Socrates, are more like imaginary objects than like remote spatial objects [Markosian] |
| 13999 | People are mistaken when they think 'Socrates was a philosopher' says something [Markosian] |