22 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) |
8358 | There are no rules for the exact logic of ordinary language, because that doesn't exist [Strawson,P] |
Full Idea: Neither Aristotelian nor Russellian rules give the exact logic of any expression of ordinary language; for ordinary language has no exact logic. | |
From: Peter F. Strawson (On Referring [1950], §5) | |
A reaction: This seems to imply that it is impossible to find precise logical forms, because of the pragmatic element in language, but I don't see why. Even more extreme modern pragmatics (where meaning is shifted) doesn't rule out precise underlying propositions. |
6413 | 'The present King of France is bald' presupposes existence, rather than stating it [Strawson,P, by Grayling] |
Full Idea: Strawson argues that in saying 'the present King of France is bald' one is not stating that a present King of France exists, but presupposing or assuming that it does. | |
From: report of Peter F. Strawson (On Referring [1950]) by A.C. Grayling - Russell Ch.2 | |
A reaction: We have the notion of a leading question, such as 'when did you stop beating your wife?' But is a presupposition not simply an implied claim, as Russell said it was? |
8354 | Russell asks when 'The King of France is wise' would be a true assertion [Strawson,P] |
Full Idea: The way in which Russell arrived at his analysis was by asking himself what would be the circumstances in which we would say that anyone who uttered the sentence 'The King of France is wise' had made a true assertion. | |
From: Peter F. Strawson (On Referring [1950], §1) | |
A reaction: This seems to connect Russell's theory of definite descriptions with the truth conditions theory of meaning which is associated (initially) with Frege. Truth will require some reference to what actually exists. |
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? |
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. |
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. |
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. |
8356 | The meaning of an expression or sentence is general directions for its use, to refer or to assert [Strawson,P] |
Full Idea: To give the meaning of an expression is to give general directions for its use to refer to or mention particular objects or persons; in like manner, sentences are for use to make true or false assertions. | |
From: Peter F. Strawson (On Referring [1950], §2) | |
A reaction: The influence of Wittgenstein? I don't like it. The general idea that you can say what something is by giving directions for its use is what I think of as the Functional Fallacy: confusing the role of x with its inherent nature. Shirt as goalpost. |
10430 | Reference is mainly a social phenomenon [Strawson,P, by Sainsbury] |
Full Idea: Strawson's early work gave a new direction to the study of reference by stressing that it is a social phenomenon. | |
From: report of Peter F. Strawson (On Referring [1950]) by Mark Sainsbury - The Essence of Reference 18.2 | |
A reaction: The question is whether speakers refer, or sentences, or expressions, or propositions. The modern consensus seems to be that some parts of language are inherently referring, but speakers combine such tools with context. Sounds right. |
10448 | If an expression can refer to anything, it may still instrinsically refer, but relative to a context [Bach on Strawson,P] |
Full Idea: Strawson claimed that virtually any expression that can be used to refer to one thing in one context can be used to refer to something else in another context. Maybe expressions still refer, but only relative to a context. | |
From: comment on Peter F. Strawson (On Referring [1950]) by Kent Bach - What Does It Take to Refer? 22.2 | |
A reaction: If there is complete freedom, then Bach's criticism doesn't sound plausible. If something is semantically referential, that should impose pretty tight restrictions on speakers. Why distinguish names as intrinsically referential, and descriptions as not? |
8355 | Expressions don't refer; people use expressions to refer [Strawson,P] |
Full Idea: 'Mentioning', or 'referring', is not something an expression does; it is something that someone can use an expression to do. | |
From: Peter F. Strawson (On Referring [1950], §2) | |
A reaction: That can't be whole story, because I might make a mistake when referring, so that I used the expression to refer to x, but unfortunately the words themselves referred to y. The power of language exceeds the intentions of speakers. |
8357 | If an utterance fails to refer then it is a pseudo-use, though a speaker may think they assert something [Strawson,P] |
Full Idea: If an utterance is not talking about anything, then the speaker's use is not a genuine one, but a spurious or pseudo-use; he is not making either a true or a false assertion, though he may think he is. | |
From: Peter F. Strawson (On Referring [1950], §2) | |
A reaction: This is Strawson's verdict on 'The present King of France is bald'. His view puts speculative statements in no man's land. What do we make of 'Elvis lives' or 'phlogiston explains fire'? |