23 ideas
| 10825 | The notion of truth is to help us make use of the utterances of others [Field,H] |
| Full Idea: I suspect that the original purpose of the notion of truth was to aid us in utilizing the utterances of others in drawing conclusions about the world,...so we must attend to its social role, and that being in a position to assert something is what counts. | |
| From: Hartry Field (Tarski's Theory of Truth [1972], §5) | |
| A reaction: [Last bit compressed] This sounds excellent. Deflationary and redundancy views are based on a highly individualistic view of utterances and truth, but we need to be much more contextual and pragmatic if we are to get the right story. |
| 10820 | In the early 1930s many philosophers thought truth was not scientific [Field,H] |
| Full Idea: In the early 1930s many philosophers believed that the notion of truth could not be incorporated into a scientific conception of the world. | |
| From: Hartry Field (Tarski's Theory of Truth [1972], §3) | |
| A reaction: This leads on to an account of why Tarski's formal version was so important, and Field emphasises Tarski's physicalist metaphysic. |
| 13499 | Tarski reduced truth to reference or denotation [Field,H, by Hart,WD] |
| Full Idea: Tarski can be viewed as having reduced truth to reference or denotation. | |
| From: report of Hartry Field (Tarski's Theory of Truth [1972]) by William D. Hart - The Evolution of Logic 4 |
| 10818 | Tarski really explained truth in terms of denoting, predicating and satisfied functions [Field,H] |
| Full Idea: A proper account of Tarski's truth definition explains truth in terms of three other semantic notions: what it is for a name to denote something, and for a predicate to apply to something, and for a function symbol to be fulfilled by a pair of things. | |
| From: Hartry Field (Tarski's Theory of Truth [1972]) | |
| A reaction: This is Field's 'T1' version, which is meant to spell out what was really going on in Tarski's account. |
| 10817 | Tarski just reduced truth to some other undefined semantic notions [Field,H] |
| Full Idea: It is normally claimed that Tarski defined truth using no undefined semantic terms, but I argue that he reduced the notion of truth to certain other semantic notions, but did not in any way explicate these other notions. | |
| From: Hartry Field (Tarski's Theory of Truth [1972], §0) |
| 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) |
| 10819 | Tarski gives us the account of truth needed to build a group of true sentences in a model [Field,H] |
| Full Idea: Model theory must choose the denotations of the primitives so that all of a group of sentences come out true, so we need a theory of how the truth value of a sentence depends on the denotation of its primitive nonlogical parts, which Tarski gives us. | |
| From: Hartry Field (Tarski's Theory of Truth [1972], §1) |
| 10827 | Model theory is unusual in restricting the range of the quantifiers [Field,H] |
| Full Idea: In model theory we are interested in allowing a slightly unusual semantics for quantifiers: we are willing to allow that the quantifier not range over everything. | |
| From: Hartry Field (Tarski's Theory of Truth [1972], n 5) |
| 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) |
| 16235 | Persistence conditions cannot contradict, so there must be a 'dominant sortal' [Burke,M, by Hawley] |
| Full Idea: Burke says a single object cannot have incompatible persistence conditions, for this would entail that there are events in which the object would both survive and perish. He says one sortal 'dominates' the other (sweater dominates thread). | |
| From: report of Michael Burke (Dion and Theon: an essentialist solution [1994]) by Katherine Hawley - How Things Persist 5.3 | |
| A reaction: This I take to be the most extreme version of sortal essentialism, and strikes me as incredibly gerrymandered and unacceptable. It is just too anthropocentric to count as genuine metaphysics. I may care more about the thread. |
| 14753 | The 'dominant' of two coinciding sortals is the one that entails the widest range of properties [Burke,M, by Sider] |
| Full Idea: Burke claims that the 'dominant' sortal is the one whose satisfaction entails possession of the widest range of properties. For example, the statue (unlike the lump of clay) also possesses aesthetic properties, and hence is dominant. | |
| From: report of Michael Burke (Dion and Theon: an essentialist solution [1994]) by Theodore Sider - Four Dimensionalism 5.4 | |
| A reaction: [there are three papers by Burke on this; see all the quotations from Burke] Presumably one sortal could entail a single very important property, and the other sortal entail a huge range of trivial properties. What does being a 'thing' entail? |
| 16072 | 'The rock' either refers to an object, or to a collection of parts, or to some stuff [Burke,M, by Wasserman] |
| Full Idea: Burke distinguishes three different readings of 'the rock'. It can be a singular description denoting an object, or a plural description denoting all the little pieces of rock, or a mass description the relevant rocky stuff. | |
| From: report of Michael Burke (Dion and Theon: an essentialist solution [1994]) by Ryan Wasserman - Material Constitution 5 | |
| A reaction: Idea 16068 is an objection to the second reading. Only the first reading seems plausible, so we must just get over all the difficulties philosophers have unearthed about knowing exactly what an 'object' is. I offer you essentialism. Rocks have unity. |
| 14751 | Tib goes out of existence when the tail is lost, because Tib was never the 'cat' [Burke,M, by Sider] |
| Full Idea: Burke argues that Tib (the whole cat apart from its tail) goes out of existence when the tail is lost. His essentialist principle is that if something is ever of a particular sort (such as 'cat') then it is always of that sort. Tib is not initially a cat. | |
| From: report of Michael Burke (Dion and Theon: an essentialist solution [1994]) by Theodore Sider - Four Dimensionalism 5.4 | |
| A reaction: This I take to be a souped up version of Wiggins, and I just don't buy that identity conditions are decided by sortals, when it seems obvious that sortals are parasitic on identities. |
| 16071 | Sculpting a lump of clay destroys one object, and replaces it with another one [Burke,M, by Wasserman] |
| Full Idea: On Burke's view, the process of sculpting a lump of clay into a statue destroys one object (a mere lump of clay) and replaces it with another (a statue). | |
| From: report of Michael Burke (Dion and Theon: an essentialist solution [1994]) by Ryan Wasserman - Material Constitution 5 | |
| A reaction: There is something right about this, but how many intermediate objects are created during the transition. It seems to make the notion of an object very conventional. |
| 16234 | Burke says when two object coincide, one of them is destroyed in the process [Burke,M, by Hawley] |
| Full Idea: Michael Burke argues that a sweater is identical with the thread that consitutes it, that both were created at the moment when they began to coincide, and that the original thread was destroyed in the process. | |
| From: report of Michael Burke (Dion and Theon: an essentialist solution [1994]) by Katherine Hawley - How Things Persist 5.3 | |
| A reaction: [Burke's ideas are spread over three articles] It is the thread which is destroyed, because the sweater is the 'dominant sortal' (which strikes me as a particularlyd desperate concept). |
| 13278 | Maybe the clay becomes a different lump when it becomes a statue [Burke,M, by Koslicki] |
| Full Idea: Burke has argued in a series of papers that the lump of clay which constitutes the statue is numerically distinct from the lump of clay which exists before or after the statue exists. The first is a statue, while the second is merely a lump of clay. | |
| From: report of Michael Burke (Dion and Theon: an essentialist solution [1994]) by Kathrin Koslicki - The Structure of Objects | |
| A reaction: Koslicki objects that this introduces radically different persistence conditions from normal. It would mean that a pile of sugar was a different pile of sugar every time a grain moved (even slightly). You couldn't step into the same sugar twice. |
| 14750 | Two entities can coincide as one, but only one of them (the dominant sortal) fixes persistence conditions [Burke,M, by Sider] |
| Full Idea: Michael Burke has given an account that avoids distinguishing coinciding entities. ...The statue/lump satisfies both 'lump' and 'statue', but only the latter determines that object's persistence conditions, and so is that object's 'dominant sortal'. | |
| From: report of Michael Burke (Dion and Theon: an essentialist solution [1994]) by Theodore Sider - Four Dimensionalism 5.4 | |
| A reaction: Presumably a lump on its own can have its own persistance conditions (as a 'lump'), but those would presumably be lost if you shaped it into a statue. Burke concedes that. Can of worms. Using a book as a doorstop... |
| 10826 | 'Valence' and 'gene' had to be reduced to show their compatibility with physicalism [Field,H] |
| Full Idea: 'Valence' and 'gene' were perfectly clear long before anyone succeeded in reducing them, but it was their reducibility and not their clarity before reduction that showed them to be compatible with physicalism. | |
| From: Hartry Field (Tarski's Theory of Truth [1972], §5) |
| 7615 | Field says reference is a causal physical relation between mental states and objects [Field,H, by Putnam] |
| Full Idea: In Field's view reference is a 'physicalistic relation', i.e. a complex causal relation between words or mental representations and objects or sets of objects; it is up to physical science to discover what that physicalistic relation is. | |
| From: report of Hartry Field (Tarski's Theory of Truth [1972]) by Hilary Putnam - Reason, Truth and History Ch.2 | |
| A reaction: I wouldn't hold your breath while the scientists do their job. If physicalism is right then Field is right, but physics seems no more appropriate for giving a theory of reference than it does for giving a theory of music. |