18 ideas
18739 | Three stages of philosophical logic: syntactic (1905-55), possible worlds (1963-85), widening (1990-) [Horsten/Pettigrew] |
Full Idea: Three periods can be distinguished in philosophical logic: the syntactic stage, from Russell's definite descriptions to the 1950s, the dominance of possible world semantics from the 50s to 80s, and a current widening of the subject. | |
From: Horsten,L/Pettigrew,R (Mathematical Methods in Philosophy [2014], 1) | |
A reaction: [compressed] I've read elsewhere that the arrival of Tarski's account of truth in 1933, taking things beyond the syntactic, was also a landmark. |
18741 | Logical formalization makes concepts precise, and also shows their interrelation [Horsten/Pettigrew] |
Full Idea: Logical formalization forces the investigator to make the central philosophical concepts precise. It can also show how some philosophical concepts and objects can be defined in terms of others. | |
From: Horsten,L/Pettigrew,R (Mathematical Methods in Philosophy [2014], 2) | |
A reaction: This is the main rationale of the highly formal and mathematical approach to such things. The downside is when you impose 'precision' on language that was never intended to be precise. |
18744 | Models are sets with functions and relations, and truth built up from the components [Horsten/Pettigrew] |
Full Idea: A (logical) model is a set with functions and relations defined on it that specify the denotation of the non-logical vocabulary. A series of recursive clauses explicate how truth values of complex sentences are compositionally determined from the parts. | |
From: Horsten,L/Pettigrew,R (Mathematical Methods in Philosophy [2014], 3) | |
A reaction: See the ideas on 'Functions in logic' and 'Relations in logic' (in the alphabetical list) to expand this important idea. |
18740 | If 'exist' doesn't express a property, we can hardly ask for its essence [Horsten/Pettigrew] |
Full Idea: If there is indeed no property of existence that is expressed by the word 'exist', then it makes no sense to ask for its essence. | |
From: Horsten,L/Pettigrew,R (Mathematical Methods in Philosophy [2014], 2) | |
A reaction: As far as I can tell, this was exactly Aristotle's conclusion, so he skirted round the question of 'being qua being', and focused on the nature of objects instead. Grand continental talk of 'Being' doesn't sound very interesting. |
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... |
10650 | In the military, persons are parts of parts of large units, but not parts of those large units [Rescher] |
Full Idea: In military usage, persons can be parts of small units, and small units parts of large ones; but persons are never parts of large units. | |
From: Nicholas Rescher (Axioms for the Part Relation [1955]), quoted by Achille Varzi - Mereology 2.1 | |
A reaction: This much-cited objection to the transitivity of the 'part' relation seems very odd. There could hardly be an army or a regiment if there weren't soldiers to make up parts of it. |
18745 | A Tarskian model can be seen as a possible state of affairs [Horsten/Pettigrew] |
Full Idea: A Tarskian model can in a sense be seen as a model of a possible state of affairs. | |
From: Horsten,L/Pettigrew,R (Mathematical Methods in Philosophy [2014], 3) | |
A reaction: I include this remark to show how possible worlds semantics built on the arrival of model theory. |
18747 | The 'spheres model' was added to possible worlds, to cope with counterfactuals [Horsten/Pettigrew] |
Full Idea: The notion of a possible worlds model was extended (resulting in the concept of a 'spheres model') in order to obtain a satisfactory logical treatment of counterfactual conditional sentences. | |
From: Horsten,L/Pettigrew,R (Mathematical Methods in Philosophy [2014], 4) | |
A reaction: Thus we add 'centred' worlds, and an 'actual' world, to the loose original model. It is important to remember when we discuss 'close' worlds that we are then committed to these presuppositions. |
18748 | Epistemic logic introduced impossible worlds [Horsten/Pettigrew] |
Full Idea: The idea of 'impossible worlds' was introduced into epistemic logic. | |
From: Horsten,L/Pettigrew,R (Mathematical Methods in Philosophy [2014], 4) | |
A reaction: Nathan Salmon seems interested in their role in metaphysics (presumably in relation to Meinongian impossible objects, like circular squares, which must necessarily be circular). |
18746 | Possible worlds models contain sets of possible worlds; this is a large metaphysical commitment [Horsten/Pettigrew] |
Full Idea: Each possible worlds model contains a set of possible worlds. For this reason, possible worlds semantics is often charged with smuggling in heavy metaphysical commitments. | |
From: Horsten,L/Pettigrew,R (Mathematical Methods in Philosophy [2014], 3) | |
A reaction: To a beginner it looks very odd that you should try to explain possibility by constructing a model of it in terms of 'possible' worlds. |
18750 | Using possible worlds for knowledge and morality may be a step too far [Horsten/Pettigrew] |
Full Idea: When the possible worlds semantics were further extended to model notions of knowledge and of moral obligation, the application was beginning to look distinctly forced and artificial. | |
From: Horsten,L/Pettigrew,R (Mathematical Methods in Philosophy [2014], 5) | |
A reaction: They accept lots of successes in modelling necessity and time. |