17 ideas
21336 | Crates lived in poverty, and treated his whole life as a joke [Crates of Thebes, by Plutarch] |
Full Idea: Crates, with his bag and threadbare cloak, spent his whole life laughing and joking as though he were on holiday. | |
From: report of Crates (Theb) (fragments/reports [c.325 BCE]) by Plutarch - 30: Quiet of Mind 266e | |
A reaction: Crates sounds a little less alarming than Diogenes, while living a similar life. Was Crates the first ancestor of post-modernism? |
1767 | Everyone should study philosophy until they see all people in the same light [Crates of Thebes, by Diog. Laertius] |
Full Idea: A man should study philosophy up to the point of looking on generals and donkey-drivers in the same light. | |
From: report of Crates (Theb) (fragments/reports [c.325 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 06.Cr.9 | |
A reaction: This seems to reject Aristote's idea that some people are clearly superior to others. |
15375 | If terms change their designations in different states, they are functions from states to objects [Fitting] |
Full Idea: The common feature of every designating term is that designation may change from state to state - thus it can be formalized by a function from states to objects. | |
From: Melvin Fitting (Intensional Logic [2007], 3) | |
A reaction: Specifying the objects sounds OK, but specifying states sounds rather tough. |
15376 | Intensional logic adds a second type of quantification, over intensional objects, or individual concepts [Fitting] |
Full Idea: To first order modal logic (with quantification over objects) we can add a second kind of quantification, over intensions. An intensional object, or individual concept, will be modelled by a function from states to objects. | |
From: Melvin Fitting (Intensional Logic [2007], 3.3) |
15378 | Awareness logic adds the restriction of an awareness function to epistemic logic [Fitting] |
Full Idea: Awareness logic enriched Hintikka's epistemic models with an awareness function, mapping each state to the set of formulas we are aware of at that state. This reflects some bound on the resources we can bring to bear. | |
From: Melvin Fitting (Intensional Logic [2007], 3.6.1) | |
A reaction: [He cites Fagin and Halpern 1988 for this] |
15379 | Justication logics make explicit the reasons for mathematical truth in proofs [Fitting] |
Full Idea: In justification logics, the logics of knowledge are extended by making reasons explicit. A logic of proof terms was created, with a semantics. In this, mathematical truths are known for explicit reasons, and these provide a measure of complexity. | |
From: Melvin Fitting (Intensional Logic [2007], 3.6.1) |
11026 | Classical logic is deliberately extensional, in order to model mathematics [Fitting] |
Full Idea: Mathematics is typically extensional throughout (we write 3+2=2+3 despite the two terms having different meanings). ..Classical first-order logic is extensional by design since it primarily evolved to model the reasoning of mathematics. | |
From: Melvin Fitting (Intensional Logic [2007], §1) |
11028 | λ-abstraction disambiguates the scope of modal operators [Fitting] |
Full Idea: λ-abstraction can be used to abstract and disambiguate a predicate. De re is [λx◊P(x)](f) - f has the possible-P property - and de dicto is ◊[λxP(x)](f) - possibly f has the P-property. Also applies to □. | |
From: Melvin Fitting (Intensional Logic [2007], §3.3) | |
A reaction: Compare the Barcan formula. Originated with Church in the 1930s, and Carnap 1947, but revived by Stalnaker and Thomason 1968. Because it refers to the predicate, it has a role in intensional versions of logic, especially modal logic. |
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... |
15377 | Definite descriptions pick out different objects in different possible worlds [Fitting] |
Full Idea: Definite descriptions pick out different objects in different possible worlds quite naturally. | |
From: Melvin Fitting (Intensional Logic [2007], 3.4) | |
A reaction: A definite description can pick out the same object in another possible world, or a very similar one, or an object which has almost nothing in common with the others. |