Combining Texts

All the ideas for 'Counterpart theory and Quant. Modal Logic', 'A Critique of Utilitarianism' and 'The Thought: a Logical Enquiry'

unexpand these ideas     |    start again     |     specify just one area for these texts


25 ideas

2. Reason / A. Nature of Reason / 5. Objectivity
There exists a realm, beyond objects and ideas, of non-spatio-temporal thoughts [Frege, by Weiner]
     Full Idea: There is, in addition to the external world of physical objects and the internal world of ideas, a third realm of non-spatio-temporal objective objects, among which are thoughts.
     From: report of Gottlob Frege (The Thought: a Logical Enquiry [1918]) by Joan Weiner - Frege Ch.7
     A reaction: This seems to be Platonism, and, in particular, to give a Platonic existent status to propositions. Personally I believe in propositions, but as glimpses of how our brains actually work, not as mystical objects.
3. Truth / A. Truth Problems / 2. Defining Truth
The word 'true' seems to be unique and indefinable [Frege]
     Full Idea: It seems likely that the content of the word 'true' is sui generis and indefinable
     From: Gottlob Frege (The Thought: a Logical Enquiry [1918], p.327 (60))
     A reaction: This is the view I associate with Davidson, though fans of Axiomatic Truth give up defining it, and just describe how it behaves. Defining it is very elusive, but I don't accept that nothing can be said about the contents of the concept of truth.
3. Truth / C. Correspondence Truth / 3. Correspondence Truth critique
There cannot be complete correspondence, because ideas and reality are quite different [Frege]
     Full Idea: It is essential that the reality shall be distinct from the idea. But then there can be no complete correspondence, no complete truth.
     From: Gottlob Frege (The Thought: a Logical Enquiry [1918], p.327 (60))
     A reaction: He thinks that logic can give a perfect account of truth, or at least the extension of truth, where ordinary language will always fail. I wonder what he would have thought of Tarski's theory?
3. Truth / H. Deflationary Truth / 1. Redundant Truth
The property of truth in 'It is true that I smell violets' adds nothing to 'I smell violets' [Frege]
     Full Idea: The sentence 'I smell the scent of violets' has just the same content as 'It is true that I smell the scent of violets'. So it seems that nothing is added to the thought by my ascribing to it the property of truth.
     From: Gottlob Frege (The Thought: a Logical Enquiry [1918], p.328 (61))
     A reaction: This idea predates Ramsey's similar proposal, for which, oddly, Ramsey always seems to get the credit. To a logician they may have identical content, but pragmatically they are likely to differ in context. 'True' certainly doesn't add to the thought.
7. Existence / A. Nature of Existence / 2. Types of Existence
Thoughts in the 'third realm' cannot be sensed, and do not need an owner to exist [Frege]
     Full Idea: Thoughts are neither things in the external world nor ideas. A third realm must be recognised. Anything in this realm has it in common with ideas that it cannot be perceived by the senses, and does not need an owner to belong with his consciousness.
     From: Gottlob Frege (The Thought: a Logical Enquiry [1918], p.337(69))
     A reaction: This important idea is the creed for modern platonists. We don't have to accept Forms, or any particular content, but there is a mode of existence which is distinct from both mental and physical, and is the residence of 'abstracta'. I deny it!
7. Existence / D. Theories of Reality / 8. Facts / c. Facts and truths
A fact is a thought that is true [Frege]
     Full Idea: A fact is a thought that is true.
     From: Gottlob Frege (The Thought: a Logical Enquiry [1918], p.342(74))
     A reaction: It strikes me as pretty obvious that facts are not thoughts, because they concern the contents of thoughts. You can't discuss facts without the notion of what a thought is 'about'. If I think about my garden, the relevant fact is aspects of my garden.
9. Objects / A. Existence of Objects / 3. Objects in Thought
Late Frege saw his non-actual objective objects as exclusively thoughts and senses [Frege, by Dummett]
     Full Idea: Earlier, Frege divided objects into subjective, actual objective, and non-actual objective; in the 'Grundgesetze' he emphasised logical objects; but in 'The Thought' the non-actual objects become exclusively thoughts and their constituent senses.
     From: report of Gottlob Frege (The Thought: a Logical Enquiry [1918]) by Michael Dummett - Frege philosophy of mathematics Ch.18
     A reaction: Sounds to me like Frege was finally waking up and taking a dose of common sense. The Equator is the standard example of a non-actual objective object.
9. Objects / D. Essence of Objects / 1. Essences of Objects
Aristotelian essentialism says essences are not relative to specification [Lewis]
     Full Idea: So-called 'Aristotelian essentialism' is the doctrine of essences not relative to specifications.
     From: David Lewis (Counterpart theory and Quant. Modal Logic [1968], III)
     A reaction: In other words, they are so-called 'real essences', understood as de re. Quine says essences are all de dicto, and relative to some specification. I vote for Aristotle.
10. Modality / A. Necessity / 7. Natural Necessity
Causal necessities hold in all worlds compatible with the laws of nature [Lewis]
     Full Idea: Just as a sentence is necessary if it holds in all worlds, so it is causally necessary if it holds in all worlds compatible with the laws of nature.
     From: David Lewis (Counterpart theory and Quant. Modal Logic [1968], V)
     A reaction: I don't believe in the so-called 'laws of nature', so I'm not buying that. Is there no distinction in Lewis's view between those sentences which must hold, and those which happen to hold universally?
10. Modality / E. Possible worlds / 3. Transworld Objects / b. Rigid designation
It doesn't take the whole of a possible Humphrey to win the election [Lewis]
     Full Idea: Even if Humphrey is a modal continuant, it doesn't take the whole of him to do such things as winning.
     From: David Lewis (Counterpart theory and Quant. Modal Logic [1968], Post B)
     A reaction: This responds to Kripke's famous example, that people only care about what happens to themselves, and not to some 'counterpart' of themselves.
10. Modality / E. Possible worlds / 3. Transworld Objects / c. Counterparts
Counterpart theory is bizarre, as no one cares what happens to a mere counterpart [Kripke on Lewis]
     Full Idea: Probably Humphrey could not care less whether someone else, no matter how much resembling him, would have been victorious in another possible world. Thus Lewis's view seems even more bizarre that the usual transworld identification it replaces.
     From: comment on David Lewis (Counterpart theory and Quant. Modal Logic [1968]) by Saul A. Kripke - Naming and Necessity notes and addenda note 13
     A reaction: I begin to see this as a devastating reply to a theory I previously found quite congenial.
Counterparts are not the original thing, but resemble it more than other things do [Lewis]
     Full Idea: Your counterparts resemble you closely in content and context in important respects. They resemble you more closely than do the other things in their worlds. But they are not really you.
     From: David Lewis (Counterpart theory and Quant. Modal Logic [1968], I)
     A reaction: It is a dilemma. If my counterpart were exactly me, I couldn't contemplate possibly losing a leg, or my sanity. But if my counterpart isn't exactly me, then I don't have much interest in its fate. Only essences can save us here. Cf. me tomorrow.
If the closest resembler to you is in fact quite unlike you, then you have no counterpart [Lewis]
     Full Idea: If whatever thing in world w6 it is that resembles you more closely than anything else in w6 is nevertheless quite unlike you; nothing in w6 resembles you at all closely. If so, you have no counterpart in w6.
     From: David Lewis (Counterpart theory and Quant. Modal Logic [1968], I)
     A reaction: This is the nub, because the whole theory rests on deciding whether two things resemble sufficiently 'closely'. But then we need a criterion of closeness, so we must start talking about which properties matter. Essences loom.
Essential attributes are those shared with all the counterparts [Lewis]
     Full Idea: An essential attribute of something is an attribute it shares with all its counterparts.
     From: David Lewis (Counterpart theory and Quant. Modal Logic [1968], III)
     A reaction: I don't like this. It ties essence entirely to identity, but I think essence precedes identity. Essence is a nexus of causal and explanatory powers which bestows an identity on each thing. But essence might be unstable, and identity with it.
18. Thought / A. Modes of Thought / 1. Thought
We grasp thoughts (thinking), decide they are true (judgement), and manifest the judgement (assertion) [Frege]
     Full Idea: We distinguish the grasp of a thought, which is 'thinking', from the acknowledgement of the truth of a thought, which is the act of 'judgement', from the manifestation of this judgement, which is an 'assertion'.
     From: Gottlob Frege (The Thought: a Logical Enquiry [1918], p.329 (62))
Thoughts have their own realm of reality - 'sense' (as opposed to the realm of 'reference') [Frege, by Dummett]
     Full Idea: For Frege, thoughts belong to a special realm of reality, which he called the 'realm of sense' and distinguished from the 'realm of reference'.
     From: report of Gottlob Frege (The Thought: a Logical Enquiry [1918]) by Michael Dummett - Thought and Reality 1
     A reaction: A thought is, for Frege, a proposition. There is a halfway Platonism possible here, where the 'realm' for such things exists, but within that realm the objects might be conventional, or some such. Real possible worlds containing fictions!
A thought is distinguished from other things by a capacity to be true or false [Frege, by Dummett]
     Full Idea: On Frege's view, what distinguishes thoughts from everything else is that they may meaningfully be called 'true' and 'false'.
     From: report of Gottlob Frege (The Thought: a Logical Enquiry [1918]) by Michael Dummett - Frege philosophy of mathematics Ch.2
     A reaction: A lot of thinking is imagistic, and while the image may or may not truly picture the world, we tend to think that the truth or otherwise of daydreaming is simply irrelevant. Does Frege take all thought to be propositional?
18. Thought / A. Modes of Thought / 9. Indexical Thought
Thoughts about myself are understood one way to me, and another when communicated [Frege]
     Full Idea: When Dr Lauben thinks he has been wounded, ..only Dr Lauben can grasp thoughts determined in this way. But he cannot communicate a thought which only he can grasp. To say 'I have been wounded' he must use 'I' in a sense graspable by others.
     From: Gottlob Frege (The Thought: a Logical Enquiry [1918]), quoted by François Recanati - Mental Files 16.1
     A reaction: [compressed] This seems to be the first, and very influential, attempt to explain the unusual and revealing semantics of indexicals. It seems to be the ultimate source of 2-D semantics, by introducing two modes of meaning for one term.
19. Language / D. Propositions / 2. Abstract Propositions / a. Propositions as sense
A 'thought' is something for which the question of truth can arise; thoughts are senses of sentences [Frege]
     Full Idea: I call a 'thought' something for which the question of truth can arise at all. ...So I can say: thoughts are senses of sentences, without wishing to assert that the sense of every sentence is a thought.
     From: Gottlob Frege (The Thought: a Logical Enquiry [1918], p.327-8 (61))
     A reaction: This builds on his distinction between sense and reference. The reference of every truth sentence is just 'the true', and the sense is the proposition. The concept of a proposition seems indispensable to logic, I would say.
19. Language / D. Propositions / 5. Unity of Propositions
A sentence is only a thought if it is complete, and has a time-specification [Frege]
     Full Idea: Only a sentence with the time-specification filled out, a sentence complete in every respect, expresses a thought.
     From: Gottlob Frege (The Thought: a Logical Enquiry [1918], p.343(76))
     A reaction: I take the 'every respect' to include the avoidance of ambiguity, and some sort of perspicacious reference for the terms. I wish philosophers would focus on the thoughts in their subject, and not nit-pick about the sentences. Does he mean 'utterances'?
22. Metaethics / B. Value / 1. Nature of Value / f. Ultimate value
Maybe the unthinkable is a moral category, and considering some options is dishonourable or absurd [Williams,B]
     Full Idea: One might have the idea that the unthinkable was itself a moral category. ...Regarding certain things even as alternatives is itself something to be regarded as dishonourable or morally absurd.
     From: Bernard Williams (A Critique of Utilitarianism [1973], 2)
     A reaction: He's very tentative about this, but I think it is a powerful moral idea. See Kekes. He is particularly aiming at utilitarians, who happily assess vile possibilities.
22. Metaethics / C. The Good / 1. Goodness / g. Consequentialism
Consequentialism assumes that situations can be compared [Williams,B]
     Full Idea: The emphasis on the necessary comparability of situations is a peculiar feature of consequentialism in general.
     From: Bernard Williams (A Critique of Utilitarianism [1973], 2)
     A reaction: A nice point. Utilitarians might achieve comparison by totting up the happiness in each situation, but once you include the consequences of the consequences the problems are obvious. Was 1789 a good thing? Too early to say.
For a consequentialist massacring 7 million must be better than massacring 7 million and one [Williams,B]
     Full Idea: Making the best of a bad job is a consequentialist maxim, and it will have something to say even pn the difference between massacring seven million and massacring seven million and one.
     From: Bernard Williams (A Critique of Utilitarianism [1973], 2)
     A reaction: If every life counts, the consequentialists have got something right here. Not caring exactly how many were massacred is a sort of callousness (even when the number can't be established).
23. Ethics / D. Deontological Ethics / 3. Universalisability
We don't have a duty to ensure that others do their duty [Williams,B]
     Full Idea: If the goodness of the world were to consist in people's fulfilling their obligations, it would by no means follow that one of my obligations was to bring it about that other people kept their obligations
     From: Bernard Williams (A Critique of Utilitarianism [1973], 2)
     A reaction: If the maxim of my action is 'ensure that everyone does their duty', presumably that can be universalised. Nelson thought so. It just sounds like a hideous world of self-righteous interference.
23. Ethics / E. Utilitarianism / 1. Utilitarianism
Utilitarianism cannot make any serious sense of integrity [Williams,B]
     Full Idea: Utilitarianism cannot hope to make sense, at any serious level, of integrity.
     From: Bernard Williams (A Critique of Utilitarianism [1973], 1)
     A reaction: There will be obvious problems with this. 'My whole platoon got killed, but looking on the bright side, I preserved my integrity'. Once a theory commits entirely to one value, it then has no way to make sense of rival values.