25 ideas
| 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. |
| 20086 | Nowadays sovereignty (once the basis of a state) has become relative [Reybrouck] |
| Full Idea: In the twenty-first century, sovereignty, once the basis of the nation state, has become a relative concept. ...Powerlessness is the key word of our time. | |
| From: David van Reybrouck (Against Elections [2013], 1 'Crisis') | |
| A reaction: The point is that nation states now have limited power, in the face of larger unions, multinational companies, and global problems. |
| 20090 | Today it seems almost impossible to learn the will of the people [Reybrouck] |
| Full Idea: Imagine having to develop a system today that would express the will of the people. | |
| From: David van Reybrouck (Against Elections [2013], 2 'electoral') | |
| A reaction: Our recent Brexit referendum didn't do the job, because it was confined to a single question. Van Reybrouck laughs at the idea of expressing it through a polling both. How about a council of 500, drawn by lots? Meet for three months. |
| 20087 | There are no united monolothic 'peoples', and no 'national gut feelings' [Reybrouck] |
| Full Idea: There is no such thing as one monolithic 'people' (every society has its diversity), nor is there anything that could be described as a 'national gut feeling'. | |
| From: David van Reybrouck (Against Elections [2013], 2 'populism') | |
| A reaction: Rousseau yearned for a republic no bigger than Geneva. I don't see why we should give up on the general will in huge modern societies. It is likely, though, to be an anodyne lowest common denominator. No bad thing, perhaps. |
| 20089 | Technocrats may be efficient, but they lose legitimacy as soon as they do unpopular things [Reybrouck] |
| Full Idea: Efficiency does not automatically generate legitimacy, and faith in the technocrat melts away as soon as spending cuts are implemented. | |
| From: David van Reybrouck (Against Elections [2013], 2 'democracy') | |
| A reaction: They can hang on to legitimacy if they can come up with some technical mumbo-jumbo like 'monetarism' which the people will swallow. |
| 20088 | Technocrats are expert managers, who replace politicians, and can be long-term and unpopular [Reybrouck] |
| Full Idea: Technocracy is a system where experts are charged with looking after the public interest. ...Technocrats are managers who replace politicians, so they can concentrate on long-term solutions and announce unpopular measures. | |
| From: David van Reybrouck (Against Elections [2013], 2 'technocracy') | |
| A reaction: I like technocrats. They just need to be accountable. In the UK we have far more respect for the governor of the Bank of England than for any politician. |
| 20085 | Democracy is the best compromise between legitimacy and efficiency [Reybrouck] |
| Full Idea: Democracy is the least bad form of all governments precisely because it attempts to find a healthy balance between legitimacy and efficiency. | |
| From: David van Reybrouck (Against Elections [2013], 1 'Crisis') | |
| A reaction: There seems to be a widespread feeling that democracy is declining in efficiency, and that may be because our remoteness from government decreases legitimacy, so we have less commitment to getting things done. |
| 20095 | A referendum result arises largely from ignorance [Reybrouck] |
| Full Idea: In a referendum you ask everyone to vote on a subject that usually only a few know anything about. | |
| From: David van Reybrouck (Against Elections [2013], 4 'remedies') | |
| A reaction: Tell me about it! I was forced to vote in the 2016 Brexit referendum, and felt thoroughly out of my depth on such a complex economic question. |
| 20094 | You don't really govern people if you don't involve them [Reybrouck] |
| Full Idea: Even with the best of intentions, those who govern the people without involving them, govern them only in a limited sense. | |
| From: David van Reybrouck (Against Elections [2013], 4 intro) | |
| A reaction: But if they are highly involved, who is governing who? Do we want the people to become happier about being governed, or do we want them more involved in doing the governing? |
| 20093 | In the 18th century democratic lots lost out to elections, that gave us a non-hereditary aristocracy [Reybrouck] |
| Full Idea: The drawing of lots, the most democratic of all political instruments, lost out in the eighteenth century to elections, a procedure that was not invented as a democratic instrument, but as a means of bringing a new non-hereditary aristocracy to power. | |
| From: David van Reybrouck (Against Elections [2013], 3 'democratisation') | |
| A reaction: This is the basic thesis of Van Reybrouck's book. He argues for the extensive use of lots ('sortition') for getting people involved in modern democracies. I love the idea that in a good democracy you get an occasional chance to rule. |
| 20091 | Representative elections were developed in order to avoid democracy [Reybrouck] |
| Full Idea: Bernard Manin (1995) revealed how, immediately after the American and French revolutions, the electoral-representative system was chosen with the intention of keeping at bay the tumult of democracy. | |
| From: David van Reybrouck (Against Elections [2013], 3 'procedure') | |
| A reaction: At the time America and France were two of the largest countries in the world, and communication and transport were slow. That has changed. |