21 ideas
| 10365 | We might use 'facta' to refer to the truth-makers for facts [Mellor, by Schaffer,J] |
| Full Idea: Mellor offers a distinction between 'facts' and 'facta' (the latter being the truth-makers for facts). | |
| From: report of D.H. Mellor (The Facts of Causation [1995]) by Jonathan Schaffer - The Metaphysics of Causation 1.1 | |
| A reaction: The idea is that 'facta' can do the work in causation, because 'facts' are not part of the world. This seems a very helpful terminology, which should be encouraged, since 'fact' is plainly ambiguous in current usage. |
| 13030 | Extensionality: ∀x ∀y (∀z (z ∈ x ↔ z ∈ y) → x = y) [Kunen] |
| Full Idea: Axiom of Extensionality: ∀x ∀y (∀z (z ∈ x ↔ z ∈ y) → x = y). That is, a set is determined by its members. If every z in one set is also in the other set, then the two sets are the same. | |
| From: Kenneth Kunen (Set Theory [1980], §1.5) |
| 13032 | Pairing: ∀x ∀y ∃z (x ∈ z ∧ y ∈ z) [Kunen] |
| Full Idea: Axiom of Pairing: ∀x ∀y ∃z (x ∈ z ∧ y ∈ z). Any pair of entities must form a set. | |
| From: Kenneth Kunen (Set Theory [1980], §1.6) | |
| A reaction: Repeated applications of this can build the hierarchy of sets. |
| 13033 | Union: ∀F ∃A ∀Y ∀x (x ∈ Y ∧ Y ∈ F → x ∈ A) [Kunen] |
| Full Idea: Axiom of Union: ∀F ∃A ∀Y ∀x (x ∈ Y ∧ Y ∈ F → x ∈ A). That is, the union of a set (all the members of the members of the set) must also be a set. | |
| From: Kenneth Kunen (Set Theory [1980], §1.6) |
| 13037 | Infinity: ∃x (0 ∈ x ∧ ∀y ∈ x (S(y) ∈ x) [Kunen] |
| Full Idea: Axiom of Infinity: ∃x (0 ∈ x ∧ ∀y ∈ x (S(y) ∈ x). That is, there is a set which contains zero and all of its successors, hence all the natural numbers. The principal of induction rests on this axiom. | |
| From: Kenneth Kunen (Set Theory [1980], §1.7) |
| 13038 | Power Set: ∀x ∃y ∀z(z ⊂ x → z ∈ y) [Kunen] |
| Full Idea: Power Set Axiom: ∀x ∃y ∀z(z ⊂ x → z ∈ y). That is, there is a set y which contains all of the subsets of a given set. Hence we define P(x) = {z : z ⊂ x}. | |
| From: Kenneth Kunen (Set Theory [1980], §1.10) |
| 13034 | Replacement: ∀x∈A ∃!y φ(x,y) → ∃Y ∀X∈A ∃y∈Y φ(x,y) [Kunen] |
| Full Idea: Axiom of Replacement Scheme: ∀x ∈ A ∃!y φ(x,y) → ∃Y ∀X ∈ A ∃y ∈ Y φ(x,y). That is, any function from a set A will produce another set Y. | |
| From: Kenneth Kunen (Set Theory [1980], §1.6) |
| 13039 | Foundation:∀x(∃y(y∈x) → ∃y(y∈x ∧ ¬∃z(z∈x ∧ z∈y))) [Kunen] |
| Full Idea: Axiom of Foundation: ∀x (∃y(y ∈ x) → ∃y(y ∈ x ∧ ¬∃z(z ∈ x ∧ z ∈ y))). Aka the 'Axiom of Regularity'. Combined with Choice, it means there are no downward infinite chains. | |
| From: Kenneth Kunen (Set Theory [1980], §3.4) |
| 13036 | Choice: ∀A ∃R (R well-orders A) [Kunen] |
| Full Idea: Axiom of Choice: ∀A ∃R (R well-orders A). That is, for every set, there must exist another set which imposes a well-ordering on it. There are many equivalent versions. It is not needed in elementary parts of set theory. | |
| From: Kenneth Kunen (Set Theory [1980], §1.6) |
| 13029 | Set Existence: ∃x (x = x) [Kunen] |
| Full Idea: Axiom of Set Existence: ∃x (x = x). This says our universe is non-void. Under most developments of formal logic, this is derivable from the logical axioms and thus redundant, but we do so for emphasis. | |
| From: Kenneth Kunen (Set Theory [1980], §1.5) |
| 13031 | Comprehension: ∃y ∀x (x ∈ y ↔ x ∈ z ∧ φ) [Kunen] |
| Full Idea: Comprehension Scheme: for each formula φ without y free, the universal closure of this is an axiom: ∃y ∀x (x ∈ y ↔ x ∈ z ∧ φ). That is, there must be a set y if it can be defined by the formula φ. | |
| From: Kenneth Kunen (Set Theory [1980], §1.5) | |
| A reaction: Unrestricted comprehension leads to Russell's paradox, so restricting it in some way (e.g. by the Axiom of Specification) is essential. |
| 13040 | Constructibility: V = L (all sets are constructible) [Kunen] |
| Full Idea: Axiom of Constructability: this is the statement V = L (i.e. ∀x ∃α(x ∈ L(α)). That is, the universe of well-founded von Neumann sets is the same as the universe of sets which are actually constructible. A possible axiom. | |
| From: Kenneth Kunen (Set Theory [1980], §6.3) |
| 18465 | An 'equivalence' relation is one which is reflexive, symmetric and transitive [Kunen] |
| Full Idea: R is an equivalence relation on A iff R is reflexive, symmetric and transitive on A. | |
| From: Kenneth Kunen (The Foundations of Mathematics (2nd ed) [2012], I.7.1) |
| 8568 | A property is merely a constituent of laws of nature; temperature is just part of thermodynamics [Mellor] |
| Full Idea: Being a constituent of probabilistic laws of nature is all there is to being a property. There is no more to temperature than the thermodynamics and other laws they occur in. | |
| From: D.H. Mellor (Properties and Predicates [1991], 'Props') | |
| A reaction: How could thermodynamics be worked out without a prior concept of temperature? I think it is at least plausible to deny that there are any 'laws' of nature. But even Quine can't deny that some things are too hot to touch. |
| 8564 | There is obviously a possible predicate for every property [Mellor] |
| Full Idea: To every property there obviously corresponds a possible predicate applying to all and only those particulars with that property. | |
| From: D.H. Mellor (Properties and Predicates [1991], 'Intro') | |
| A reaction: This doesn't strike me as at all obvious. If nature dictates the properties, there may be vastly more than any human language could cope with. It is daft to say that a property can only exist if humanity can come up with a predicate for it. |
| 8566 | We need universals for causation and laws of nature; the latter give them their identity [Mellor] |
| Full Idea: I take the main reason for believing in contingent universals to be the roles they play in causation and in laws of nature, and those laws are what I take to give those universals their identity. | |
| From: D.H. Mellor (Properties and Predicates [1991], 'Props') | |
| A reaction: He agrees with Armstrong. Sounds a bit circular - laws are built on universals, and universals are identified by laws. It resembles a functionalist account of mental events. I think it is wrong. A different account of laws will be needed... |
| 8565 | If properties were just the meanings of predicates, they couldn't give predicates their meaning [Mellor] |
| Full Idea: One reason for denying that properties just are the meanings of our predicates is that, if they were, they could not give our predicates their meanings. | |
| From: D.H. Mellor (Properties and Predicates [1991], 'Props') | |
| A reaction: Neither way round sounds quite right to me. Predicate nominalism is wrong, but what is meant by a property 'giving' a predicate its meaning? It doesn't seem to allow room for error in our attempts to name the properties. |
| 4785 | Causal statements relate facts (which are whatever true propositions express) [Mellor, by Psillos] |
| Full Idea: Mellor argues that causal statements relate facts, where facts may be seen as whatever true propositions express. | |
| From: report of D.H. Mellor (The Facts of Causation [1995]) by Stathis Psillos - Causation and Explanation §2.6 | |
| A reaction: Choose between 'facts', 'objects', 'conserved quantities, 'events' (the usual one) or 'processes'. I rather like processes (Salmon) as they are a better prospect as the building blocks of an ontology. |
| 8567 | Singular causation requires causes to raise the physical probability of their effects [Mellor] |
| Full Idea: Singular causation entails physical probabilities or chances. ...Causal laws require causes to raise their effects' chances, as when fires have a greater chance of occurring when explosions do. | |
| From: D.H. Mellor (Properties and Predicates [1991], 'Props') | |
| A reaction: It seems fairly obvious that a probability can be increased without actually causing something. Just after a harmless explosion is a good moment for arsonists, especially if Mellor will be the investigating officer. |
| 8408 | Probabilistic causation says C is a cause of E if it increases the chances of E occurring [Mellor, by Tooley] |
| Full Idea: The basic idea of probabilistic causation is that a sufficient condition of C's being a cause of E is that C and E are actual, individual events, and the objective chance of E's occurring is greater given the occurrence of C than it would be without C. | |
| From: report of D.H. Mellor (The Facts of Causation [1995]) by Michael Tooley - Causation and Supervenience 5.3 | |
| A reaction: Mellor has to include objective 'chances' in his ontology to support his theory. As it stands this looks like a weak theory, since the event might not occur despite C happening, and some less likely event might turn out to be the actual cause. |
| 1513 | The Egyptians were the first to say the soul is immortal and reincarnated [Herodotus] |
| Full Idea: The Egyptians were the first to claim that the soul of a human being is immortal, and that each time the body dies the soul enters another creature just as it is being born. | |
| From: Herodotus (The Histories [c.435 BCE], 2.123.2) |