Combining Texts

All the ideas for 'Counterpart theory and Quant. Modal Logic', 'Gdel's Proof' and 'works'

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


19 ideas

1. Philosophy / E. Nature of Metaphysics / 3. Metaphysical Systems
Super-ordinate disciplines give laws or principles; subordinate disciplines give concrete cases [Peirce, by Atkin]
     Full Idea: In Peirce's system, a super-ordinate discipline provides general laws or principles for subordinate disciplines, which in turn provide concrete examples of those general laws.
     From: report of Charles Sanders Peirce (works [1892]) by Albert Atkin - Peirce 1 'System'
     A reaction: Does he really mean that subordinate disciplines have no principles or laws? That can't be right.
3. Truth / E. Pragmatic Truth / 1. Pragmatic Truth
Pragmatic 'truth' is a term to cover the many varied aims of enquiry [Peirce, by Misak]
     Full Idea: In Peirce's naturalist view of truth, it is a catch-all for the particular local aims of enquiry - empirical adequacy, predictive power, coherence, simplicity, elegance, explanatory power, a reliable guide to action, fruitfulness, great understanding.
     From: report of Charles Sanders Peirce (works [1892]) by Cheryl Misak - Pragmatism and Deflationism 1
     A reaction: The aims I cited in my thesis on explanation. One given, for me, is that truth is an ideal, which may or may not be attainable, to varying degrees. It is just what thinking aims at. I suspect, though, that these listed items have one thing in common.
Peirce did not think a belief was true if it was useful [Peirce, by Misak]
     Full Idea: Peirce was not in the slightest bit tempted by the thought that a belief is true if it is useful.
     From: report of Charles Sanders Peirce (works [1892]) by Cheryl Misak - Pragmatism and Deflationism 2
     A reaction: All students of the pragmatic theory of truth should start with this idea, because it rejects the caricature view of pragmatic truth, a view which is easily rebutted. James seems to have been guilty of this sin.
If truth is the end of enquiry, what if it never ends, or ends prematurely? [Atkin on Peirce]
     Full Idea: Two related worries about Peirce's account of truth are (from Royce) what are we to make of truth if enquiry never reaches an end, and (from Russell) what are we to make of truth if enquiry ends prematurely?
     From: comment on Charles Sanders Peirce (works [1892]) by Albert Atkin - Peirce 3 'issues'
     A reaction: The defence of Peirce must be that the theory is not holistic - referring to the whole Truth about absolutely everything. The discovery of the periodic table seems to me to support Peirce. In many areas basic enquiry has reached an end.
5. Theory of Logic / C. Ontology of Logic / 3. If-Thenism
Pure mathematics deals only with hypotheses, of which the reality does not matter [Peirce]
     Full Idea: The pure mathematician deals exclusively with hypotheses. Whether or not there is any corresponding real thing, he does not care.
     From: Charles Sanders Peirce (works [1892], CP5.567), quoted by Albert Atkin - Peirce 3 'separation'
     A reaction: [Dated 1902] Maybe we should identify a huge branch of human learning as Hyptheticals. Professor of Hypotheticals at Cambridge University. The trouble is it would have to include computer games. So why does maths matter more than games?
5. Theory of Logic / D. Assumptions for Logic / 1. Bivalence
Bivalence is a regulative assumption of enquiry - not a law of logic [Peirce, by Misak]
     Full Idea: Peirce takes bivalence not to be a law of logic, but a regulative assumption of enquiry.
     From: report of Charles Sanders Peirce (works [1892]) by Cheryl Misak - Pragmatism and Deflationism 2 n10
     A reaction: I like this. For most enquiries it's either true or not true, it's either there or it's not there. When you aren't faced with these simple dichotomies (in history, or quantum mechanics) you can relax, and allow truth value gaps etc.
7. Existence / D. Theories of Reality / 3. Reality
The real is the idea in which the community ultimately settles down [Peirce]
     Full Idea: The real is the idea in which the community ultimately settles down.
     From: Charles Sanders Peirce (works [1892]), quoted by Martin Kusch - Knowledge by Agreement Ch.16
     A reaction: If this is anti-realism, then I don't like it. If it is realist, then it is probably a bit on the optimistic side (if you think about cultures that are into witchcraft and voodoo).
8. Modes of Existence / A. Relations / 1. Nature of Relations
Peirce and others began the mapping out of relations [Peirce, by Hart,WD]
     Full Idea: It was Peirce and Schröder in the nineteenth century who began a systematic taxonomy of relations.
     From: report of Charles Sanders Peirce (works [1892], 4) by William D. Hart - The Evolution of Logic 4
8. Modes of Existence / C. Powers and Dispositions / 6. Dispositions / d. Dispositions as occurrent
Peirce's later realism about possibilities and generalities went beyond logical positivism [Peirce, by Atkin]
     Full Idea: The realism about possibilities, generalities, tendencies and habits that we find in Peirce's later maxim is something that the logical positivists would have been uncomfortable with.
     From: report of Charles Sanders Peirce (works [1892]) by Albert Atkin - Peirce 2 'Concl'
     A reaction: Atkin examines the various later statements of the earlier maxim, given here in Idea 21490. Ryle and Quine express the empiricist and logical positivist approach to dispositions.
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 / 1. Possible Worlds / d. Possible worlds actualism
The possible can only be general, and the force of actuality is needed to produce a particular [Peirce]
     Full Idea: The possible is necessarily general…..It is only actuality, the force of existence, which bursts the fluidity of the general and produces a discrete unit.
     From: Charles Sanders Peirce (works [1892]), quoted by François Recanati - Mental Files 13.1
     A reaction: [Papers 4 1967:147] This was quoted by Prior, and is often cited. Recanati is interested in the notion of a singular thought being tied to actuality, by generating a mental file.
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.
11. Knowledge Aims / B. Certain Knowledge / 3. Fallibilism
Inquiry is not standing on bedrock facts, but standing in hope on a shifting bog [Peirce]
     Full Idea: Inquiry is not standing upon a bedrock of fact. It is walking up a bog, and can only say, this ground seems to hold for the present. Here I will stay until it begins to give way.
     From: Charles Sanders Peirce (works [1892], CP 5.589), quoted by Gottfried Leibniz - Letter to Newton 4
     A reaction: [I don't know which article this lovely quote comes from]
18. Thought / A. Modes of Thought / 5. Rationality / b. Human rationality
The human intellect has not been, and cannot be, fully formalized [Nagel/Newman]
     Full Idea: The resources of the human intellect have not been, and cannot be, fully formalized.
     From: E Nagel / JR Newman (Gödel's Proof [1958], VIII)
     A reaction: This conclusion derives from Gödel's Theorem. Some people (e.g. Penrose) get over-excited by this discovery, and conclude that the human mind is supernatural. Imagination is the key - it is a feature of rationality that escapes mechanization.