22 ideas
| 21489 | 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. |
| 19095 | 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. |
| 19097 | 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. |
| 21494 | 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. |
| 21493 | 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? |
| 19102 | 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. |
| 10580 | Mathematics is both necessary and a priori because it really consists of logical truths [Yablo] |
| Full Idea: Mathematics seems necessary because the real contents of mathematical statements are logical truths, which are necessary, and it seems a priori because logical truths really are a priori. | |
| From: Stephen Yablo (Abstract Objects: a Case Study [2002], 10) | |
| A reaction: Yablo says his logicism has a Kantian strain, because numbers and sets 'inscribed on our spectacles', but he takes a different view (in the present Idea) from Kant about where the necessity resides. Personally I am tempted by an a posteriori necessity. |
| 10579 | Putting numbers in quantifiable position (rather than many quantifiers) makes expression easier [Yablo] |
| Full Idea: Saying 'the number of Fs is 5', instead of using five quantifiers, puts the numeral in quantifiable position, which brings expressive advantages. 'There are more sheep in the field than cows' is an infinite disjunction, expressible in finite compass. | |
| From: Stephen Yablo (Abstract Objects: a Case Study [2002], 08) | |
| A reaction: See Hofweber with similar thoughts. This idea I take to be a key one in explaining many metaphysical confusions. The human mind just has a strong tendency to objectify properties, relations, qualities, categories etc. - for expression and for reasoning. |
| 15561 | The events that suit semantics may not be the events that suit causation [Lewis] |
| Full Idea: There is no guarantee that events made for semantics are the same as events that are causes and effects. | |
| From: David Lewis (Events [1986], I) | |
| A reaction: This little cri de couer could be a motto for a huge amount of analytic philosophy, which (for some odd reason) thought that mathematics, logic, set theory and formal semantics were good tools for explaining nature. |
| 15565 | Events have inbuilt essences, as necessary conditions for their occurrence [Lewis] |
| Full Idea: Events have their essences built in, in the form of necessary conditions for their occurrence. | |
| From: David Lewis (Events [1986], III) | |
| A reaction: Revealing. He thinks the essence of an event is something which precedes the event. I take it as obvious that if an event has an essence, it will be some features of the event that occur in it and during it. They need to be intrinsic. |
| 15566 | Events are classes, and so there is a mereology of their parts [Lewis] |
| Full Idea: If events are classes, as I propose, then they have a mereology in the way that all classes do: the parts of a class are its subclasses. | |
| From: David Lewis (Events [1986], V) | |
| A reaction: Lewis says events are properties, which he regards as classes. It is not clear that events are strictly mereological. Could one happening be two events? Is WWII a simple sum of its parts? [see p.260] |
| 15567 | Some events involve no change; they must, because causal histories involve unchanges [Lewis] |
| Full Idea: Not all events involve change. We cannot afford to count the unchanges as nonevents, for the unchanges may be needed to complete causal histories. | |
| From: David Lewis (Events [1986], VI) | |
| A reaction: You end up calling non-changes 'events' if you commit to a simplistic theory that all causal histories consist of events. Why not allow conditions as well as events? Lewis concedes that he may be abusing language. |
| 15564 | An event is a property of a unique space-time region [Lewis] |
| Full Idea: I propose to identify an event with a property, or in other words with a class, a unique spatio-temporal region corresponding to where that event occurs. | |
| From: David Lewis (Events [1986], II) | |
| A reaction: [I've run together two separate bits, on p.244 and 245] Lewis cites Montague's similar view, that events are properties of times. |
| 10577 | Concrete objects have few essential properties, but properties of abstractions are mostly essential [Yablo] |
| Full Idea: Objects like me have a few essential properties, and numerous accidental ones. Abstract objects are a different story. The intrinsic properties of the empty set are mostly essential. The relations of numbers are also mostly essential. | |
| From: Stephen Yablo (Abstract Objects: a Case Study [2002], 01) |
| 10578 | We are thought to know concreta a posteriori, and many abstracta a priori [Yablo] |
| Full Idea: Our knowledge of concreta is a posteriori, but our knowledge of numbers, at least, has often been considered a priori. | |
| From: Stephen Yablo (Abstract Objects: a Case Study [2002], 02) |
| 10352 | 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). |
| 13498 | 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 |
| 15563 | Properties are very abundant (unlike universals), and are used for semantics and higher-order variables [Lewis] |
| Full Idea: Properties are abundant, numbering at least beth-3 for properties of individuals alone; they are suited to serve as semantic values of arbitrarily complex predicates and gerunds, and higher-order variables. (If there are universals, they are sparse). | |
| From: David Lewis (Events [1986], II n2) | |
| A reaction: To me this is an outrageous hijacking of the notion of property which is needed for explaining the natural world. He seems to be talking about predicates. He wants to leave me with his silly universals - well I don't want them, thank you. |
| 21491 | 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. |
| 16376 | 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. |
| 19107 | 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] |
| 15562 | Causation is a general relation derived from instances of causal dependence [Lewis] |
| Full Idea: Causation is the ancestral of causal dependence: event c causes event e iff either e depends on c, or e depends on an intermediate event which in turn depends on c, or.... | |
| From: David Lewis (Events [1986], I) | |
| A reaction: This is Lewis making sure that we don't postulate some huge bogus thing called 'Causation' which is supposed to be in charge of Nature. Good point. |