15 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. |
| 16209 | How can point-duration slices of people have beliefs or desires? [Thomson] |
| Full Idea: Can one really think that point-duration temporal slices of bodies believe things or want things? | |
| From: Judith (Jarvis) Thomson (People and Their Bodies [1997], p.211), quoted by Katherine Hawley - How Things Persist 2.9 n21 | |
| A reaction: There is a problem with a slice doing anything long-term. The bottom line is that things are said to 'endure', but that is precisely what time-slices are unable to do. Hawley rejects this idea. |
| 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. |
| 6479 | Noninterference requires justification as much as interference does [Nagel] |
| Full Idea: Noninterference requires justification as much as interference does. | |
| From: Thomas Nagel (Equality and Partiality [1991], Ch.10) | |
| A reaction: I'm not convinced by this, as a simple rule. If I spend my whole life doing just the minimum for my own survival, I don't see why I should have to justify that, and I don't see a state is obliged to justify it either. |
| 6450 | Morality must be motivating, and not because of pre-moral motives [Nagel] |
| Full Idea: My own view is that moral justification must be capable of motivating, but not in virtue of reliance on pre-moral motives. | |
| From: Thomas Nagel (Equality and Partiality [1991], Ch.5) | |
| A reaction: This may well be the core and essence of Kantian moral theory. I'm inclined to think of it as 'Kant's dream', which is of ultra-rational beings who are driven by pure rationality as a motivator. People who fit this bill tend to be academics. |
| 6447 | Game theory misses out the motivation arising from the impersonal standpoint [Nagel] |
| Full Idea: I do not favour the route taken by Hobbes's modern descendants, using game theory, since I believe the impersonal standpoint makes an essential contribution to individual motivation which must be addressed by any ethically acceptable theory. | |
| From: Thomas Nagel (Equality and Partiality [1991], Ch.4) | |
| A reaction: The assumption of self-seeking at the core of game theory seems very bizarre, and leads to moral approval of free riders. Nagel offers the best response, which is the Kantian impersonal view. Nagel may be optimistic about motivation, though. |
| 6446 | In ethics we abstract from our identity, but not from our humanity [Nagel] |
| Full Idea: In pursuit of the kind of objectivity needed in the physical sciences, we abstract even from our humanity; but nothing further than abstraction from our identity (that is, who we are) enters into ethical theory. | |
| From: Thomas Nagel (Equality and Partiality [1991], Ch.2) | |
| A reaction: The 'brief' summary of this boils down to a nice and interesting slogan. It epitomises the modern Kantian approach to ethics. But compare Idea 4122, from Bernard Williams. |
| 6477 | I can only universalise a maxim if everyone else could also universalise it [Nagel] |
| Full Idea: It is implicit in the categorical imperative that I can will that everyone should adopt as a maxim only what everyone else can also will that everyone should adopt as a maxim. | |
| From: Thomas Nagel (Equality and Partiality [1991], Ch.5) | |
| A reaction: This is a nice move, because it shifts the theory away from a highly individualistic Cartesian view of morality towards the idea that morality is a community activity. |
| 6448 | A legitimate system is one accepted as both impartial and reasonably partial [Nagel] |
| Full Idea: A legitimate system is one which reconciles the two universal principles of impartiality and reasonable partiality so that no one can object that his interests are not being accorded sufficient weight or that the demands on him are excessive. | |
| From: Thomas Nagel (Equality and Partiality [1991], Ch.4) | |
| A reaction: This seems an appealing principle, and a nice attempt at stating the core of Kantian liberalism. It is obviously influenced by Scanlon's contractualist view, in the idea that 'no one can object', because everyone sees the justification. |
| 6478 | Democracy is opposed to equality, if the poor are not a majority [Nagel] |
| Full Idea: As things are, democracy is the enemy of comprehensive equality, once the poor cease to be a majority. | |
| From: Thomas Nagel (Equality and Partiality [1991], Ch.9) | |
| A reaction: This is obvious once you think about it, but it is well worth saying, because it is tempting to think that we live in an 'equal' society, merely because we are equal in things such as voting rights and equality before the law. |