27 ideas
| 14600 | Analysis aims at secure necessary and sufficient conditions [Schaffer,J] |
| Full Idea: An analysis is an attempt at providing finite, non-circular, and intuitively adequate necessary and sufficient conditions. | |
| From: Jonathan Schaffer (Causation and Laws of Nature [2008], 3) | |
| A reaction: Specifying the 'conditions' for something doesn't seem to quite add up to telling you what the thing is. A trivial side-effect might qualify as a sufficient condition for something, if it always happens. |
| 14603 | 'Reification' occurs if we mistake a concept for a thing [Schaffer,J] |
| Full Idea: 'Reification' occurs when a mere concept is mistaken for a thing. We seem generally prone to this sort of error. | |
| From: Jonathan Schaffer (Causation and Laws of Nature [2008], 3.1) | |
| A reaction: Personally I think we should face up to the fact that this is the only way we can think about generalised or abstract entities, and stop thinking of it as an 'error'. We have evolved to think well about objects, so we translate everything that way. |
| 14607 | T adds □p→p for reflexivity, and is ideal for modeling lawhood [Schaffer,J] |
| Full Idea: System T is a normal modal system augmented with the reflexivity-generating axiom □p→p, and is, I think, the best modal logic for modeling lawhood. | |
| From: Jonathan Schaffer (Causation and Laws of Nature [2008], n46) | |
| A reaction: Schaffer shows in the article why transitivity would not be appropriate for lawhood. |
| 17884 | Mathematical set theory has many plausible stopping points, such as finitism, and predicativism [Koellner] |
| Full Idea: There are many coherent stopping points in the hierarchy of increasingly strong mathematical systems, starting with strict finitism, and moving up through predicativism to the higher reaches of set theory. | |
| From: Peter Koellner (On the Question of Absolute Undecidability [2006], Intro) |
| 17893 | 'Reflection principles' say the whole truth about sets can't be captured [Koellner] |
| Full Idea: Roughly speaking, 'reflection principles' assert that anything true in V [the set hierarchy] falls short of characterising V in that it is true within some earlier level. | |
| From: Peter Koellner (On the Question of Absolute Undecidability [2006], 2.1) |
| 10794 | The nominalist is tied by standard semantics to first-order, denying higher-order abstracta [Marcus (Barcan)] |
| Full Idea: The nominalist finds that standard semantics shackles him to first-order languages if, as nominalists are wont, he is to make do without abstract higher order objects. | |
| From: Ruth Barcan Marcus (Nominalism and Substitutional Quantifiers [1978], p.166) | |
| A reaction: Aha! Since I am pursuing a generally nominalist strategy in metaphysics, I suddenly see that I must adopt a hostile attitude to higher-order logic! Maybe plural quantification is the way to go, with just first-order objects. |
| 10786 | Anything which refers tends to be called a 'name', even if it isn't a noun [Marcus (Barcan)] |
| Full Idea: The tendency has been to call any expression a 'name', however distant from the grammatical category of nouns, provided it is seen as referring. | |
| From: Ruth Barcan Marcus (Nominalism and Substitutional Quantifiers [1978], p.162) |
| 10788 | Nominalists see proper names as a main vehicle of reference [Marcus (Barcan)] |
| Full Idea: For a nominalist with an ontology of empirically distinguishable objects, proper names are seen as a primary vehicle of reference. | |
| From: Ruth Barcan Marcus (Nominalism and Substitutional Quantifiers [1978], p.162) |
| 10799 | Nominalists should quantify existentially at first-order, and substitutionally when higher [Marcus (Barcan)] |
| Full Idea: For the nominalist, at level zero, where substituends are referring names, the quantifiers may be read existentially. Beyond level zero, the variables and quantifiers are read sustitutionally (though it is unclear whether this program is feasible). | |
| From: Ruth Barcan Marcus (Nominalism and Substitutional Quantifiers [1978], p.167) |
| 10790 | Quantifiers are needed to refer to infinitely many objects [Marcus (Barcan)] |
| Full Idea: An adequate language for referring to infinitely many objects would seem to require variables and quantifiers in addition to names. | |
| From: Ruth Barcan Marcus (Nominalism and Substitutional Quantifiers [1978], p.164) |
| 10791 | Substitutional semantics has no domain of objects, but place-markers for substitutions [Marcus (Barcan)] |
| Full Idea: On a substitutional semantics of a first-order language, a domain of objects is not specified. Variables do not range over objects. They are place markers for substituends (..and sentences are true-for-all-names, or true-for-at-least-one-name). | |
| From: Ruth Barcan Marcus (Nominalism and Substitutional Quantifiers [1978], p.165) |
| 10785 | Maybe a substitutional semantics for quantification lends itself to nominalism [Marcus (Barcan)] |
| Full Idea: It has been suggested that a substitutional semantics for quantification theory lends itself to nominalistic aims. | |
| From: Ruth Barcan Marcus (Nominalism and Substitutional Quantifiers [1978], p.161) |
| 10795 | Substitutional language has no ontology, and is just a way of speaking [Marcus (Barcan)] |
| Full Idea: Translation into a substitutional language does not force the ontology. It remains, literally, and until the case for reference can be made, a façon de parler. That is the way the nominalist would like to keep it. | |
| From: Ruth Barcan Marcus (Nominalism and Substitutional Quantifiers [1978], p.166) |
| 10798 | A true universal sentence might be substitutionally refuted, by an unnamed denumerable object [Marcus (Barcan)] |
| Full Idea: Critics say if there are nondenumerably many objects, then on the substitutional view there might be true universal sentences falsified by an unnamed object, and there must always be some such, for names are denumerable. | |
| From: Ruth Barcan Marcus (Nominalism and Substitutional Quantifiers [1978], p.167) | |
| A reaction: [See Quine 'Reply to Prof. Marcus' p.183] The problem seems to be that there would be names which are theoretically denumerable, but not nameable, and hence not available for substitution. Marcus rejects this, citing compactness. |
| 17894 | We have no argument to show a statement is absolutely undecidable [Koellner] |
| Full Idea: There is at present no solid argument to the effect that a given statement is absolutely undecidable. | |
| From: Peter Koellner (On the Question of Absolute Undecidability [2006], 5.3) |
| 17890 | There are at least eleven types of large cardinal, of increasing logical strength [Koellner] |
| Full Idea: Some of the standard large cardinals (in order of increasing (logical) strength) are: inaccessible, Mahlo, weakly compact, indescribable, Erdös, measurable, strong, Wodin, supercompact, huge etc. (...and ineffable). | |
| From: Peter Koellner (On the Question of Absolute Undecidability [2006], 1.4) | |
| A reaction: [I don't understand how cardinals can have 'logical strength', but I pass it on anyway] |
| 17887 | PA is consistent as far as we can accept, and we expand axioms to overcome limitations [Koellner] |
| Full Idea: To the extent that we are justified in accepting Peano Arithmetic we are justified in accepting its consistency, and so we know how to expand the axiom system so as to overcome the limitation [of Gödel's Second Theorem]. | |
| From: Peter Koellner (On the Question of Absolute Undecidability [2006], 1.1) | |
| A reaction: Each expansion brings a limitation, but then you can expand again. |
| 17891 | Arithmetical undecidability is always settled at the next stage up [Koellner] |
| Full Idea: The arithmetical instances of undecidability that arise at one stage of the hierarchy are settled at the next. | |
| From: Peter Koellner (On the Question of Absolute Undecidability [2006], 1.4) |
| 14604 | If a notion is ontologically basic, it should be needed in our best attempt at science [Schaffer,J] |
| Full Idea: Science represents our best systematic understanding of the world, and if a certain notion proves unneeded in our best attempt at that, this provides strong evidence that what this notion concerns is not ontologically basic. | |
| From: Jonathan Schaffer (Causation and Laws of Nature [2008], 3.2) | |
| A reaction: But is the objective of science to find out what is 'ontologically basic'? If scientists can't get a purchase on a question, they have no interest in it. What are electrons made of? |
| 10787 | Is being just referent of the verb 'to be'? [Marcus (Barcan)] |
| Full Idea: Being itself has been viewed as referent of the verb 'to be'. | |
| From: Ruth Barcan Marcus (Nominalism and Substitutional Quantifiers [1978], p.162) |
| 14599 | Three types of reduction: Theoretical (of terms), Definitional (of concepts), Ontological (of reality) [Schaffer,J] |
| Full Idea: Theoretical reduction concerns terms found in a theory; Definitional reduction concerns concepts found in the mind; Ontological reduction is independent of how we conceptualize entities, or theorize about them, and is about reality. | |
| From: Jonathan Schaffer (Causation and Laws of Nature [2008], 1) | |
| A reaction: An Aristotelian definition refers to reality, rather than to our words or concepts. |
| 14605 | Tropes are the same as events [Schaffer,J] |
| Full Idea: Tropes can be identified with events. | |
| From: Jonathan Schaffer (Causation and Laws of Nature [2008], n17) | |
| A reaction: This is presumably on the view of events, associated with Kim, as instantiations of properties. This idea is a new angle on tropes and events which had never occurred to me. |
| 10789 | Nominalists say predication is relations between individuals, or deny that it refers [Marcus (Barcan)] |
| Full Idea: Nominalists have the major task of explaining how predicates work. They usually construct it as a relation between individuals, or deny the referential function of predicates. | |
| From: Ruth Barcan Marcus (Nominalism and Substitutional Quantifiers [1978], p.163) |
| 10796 | If objects are thoughts, aren't we back to psychologism? [Marcus (Barcan)] |
| Full Idea: If objects are thoughts, aren't we back to psychologism? | |
| From: Ruth Barcan Marcus (Nominalism and Substitutional Quantifiers [1978], p.166) | |
| A reaction: Personally I don't think that would be the end of the world, but Fregeans go into paroxyms at the mention of 'psychology', because they fear that it destroys objectivity. That may be because they haven't understood thought properly. |
| 14601 | Individuation aims to count entities, by saying when there is one [Schaffer,J] |
| Full Idea: Individuation principles are attempts to describe how to count entities in a given domain, by saying when there is one. | |
| From: Jonathan Schaffer (Causation and Laws of Nature [2008], 3) | |
| A reaction: At last, someone tells me what they mean by 'individuation'! So it is just saying what your units are prior to counting, followed (presumably) by successful counting. It seems to aim more at kinds than at particulars. |
| 10797 | Substitutivity won't fix identity, because expressions may be substitutable, but not refer at all [Marcus (Barcan)] |
| Full Idea: Substitutivity 'salve veritate' cannot define identity since two expressions may be everywhere intersubstitutable and not refer at all. | |
| From: Ruth Barcan Marcus (Nominalism and Substitutional Quantifiers [1978], p.167) |
| 14606 | Only ideal conceivability could indicate what is possible [Schaffer,J] |
| Full Idea: The only plausible link from conceivability to possibility is via ideal conceivability. | |
| From: Jonathan Schaffer (Causation and Laws of Nature [2008], n22) | |
| A reaction: [He cites Chalmers 2002] I'm not sure what 'via' could mean here. Since I don't know any other way than attempted conceivability for assessing a possibility, I am a bit baffled by this idea. |