31 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. |
| 15063 | Some sentences depend for their truth on worldly circumstances, and others do not [Fine,K] |
| Full Idea: There is a distinction between worldly and unworldly sentences, between sentences that depend for their truth upon the worldly circumstances and those that do not. | |
| From: Kit Fine (Necessity and Non-Existence [2005], Intro) | |
| A reaction: Fine is fishing around in the area between the necessary, the a priori, truthmakers, and truth-conditions. He appears to be attempting a singlehanded reconstruction of the concepts of metaphysics. Is he major, or very marginal? |
| 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. |
| 11211 | If a sound conclusion comes from two errors that cancel out, the path of the argument must matter [Rumfitt] |
| Full Idea: If a designated conclusion follows from the premisses, but the argument involves two howlers which cancel each other out, then the moral is that the path an argument takes from premisses to conclusion does matter to its logical evaluation. | |
| From: Ian Rumfitt ("Yes" and "No" [2000], II) | |
| A reaction: The drift of this is that our view of logic should be a little closer to the reasoning of ordinary language, and we should rely a little less on purely formal accounts. |
| 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. |
| 11212 | The sense of a connective comes from primitively obvious rules of inference [Rumfitt] |
| Full Idea: A connective will possess the sense that it has by virtue of its competent users' finding certain rules of inference involving it to be primitively obvious. | |
| From: Ian Rumfitt ("Yes" and "No" [2000], III) | |
| A reaction: Rumfitt cites Peacocke as endorsing this view, which characterises the logical connectives by their rules of usage rather than by their pure semantic value. |
| 11210 | Standardly 'and' and 'but' are held to have the same sense by having the same truth table [Rumfitt] |
| Full Idea: If 'and' and 'but' really are alike in sense, in what might that likeness consist? Some philosophers of classical logic will reply that they share a sense by virtue of sharing a truth table. | |
| From: Ian Rumfitt ("Yes" and "No" [2000]) | |
| A reaction: This is the standard view which Rumfitt sets out to challenge. |
| 15078 | There are levels of existence, as well as reality; objects exist at the lowest level in which they can function [Fine,K] |
| Full Idea: Just as we recognise different levels of reality, so we should recognise different levels of existence. Each object will exist at the lowest level at which it can enjoy its characteristic form of life. | |
| From: Kit Fine (Necessity and Non-Existence [2005], 10) | |
| A reaction: I'm struggling with this claim, despite my sympathy for much of Fine's picture. I'm not sure that the so-called 'levels' of reality have different degrees of reality. |
| 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). |
| 15072 | Bottom level facts are subject to time and world, middle to world but not time, and top to neither [Fine,K] |
| Full Idea: At the bottom are tensed or temporal facts, subject to the vicissitudes of time and hence of the world. Then come the timeless though worldly facts, subject to the world but not to time. Top are transcendental facts, subject to neither world nor time. | |
| From: Kit Fine (Necessity and Non-Existence [2005], 08) | |
| A reaction: For all of Fine's awesome grasp of logic and semantics, when he divides reality up as boldly as this I start to side a bit with the sceptics about modern metaphysics (like Ladyman and Ross). I daresay Fine acknowledges that it is 'speculative'. |
| 15071 | Tensed and tenseless sentences state two sorts of fact, which belong to two different 'realms' of reality [Fine,K] |
| Full Idea: A tensed fact is stated by a tensed sentence while a tenseless fact is stated by a tenseless sentence, and they belong to two 'realms' of reality. That Socrates drank hemlock is in the temporal realm, while 2+2=4 is presumably in the timeless realm. | |
| From: Kit Fine (Necessity and Non-Existence [2005], 07) | |
| A reaction: Put so strongly, I suddenly find sales resistance to his proposal. All my instincts favour one realm, and I take 2+2=4 to be a highly general truth about that realm. It may be a truth of any possible realm, which would distinguish it. |
| 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 |
| 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. |
| 15075 | Modal features are not part of entities, because they are accounted for by the entity [Fine,K] |
| Full Idea: It is natural to suggest that to be a man is to have certain kind of temporal-modal profile. ...but it seems natural that being a man accounts for the profile, ...so one should not appeal to an object's modal features in stating what the object is. | |
| From: Kit Fine (Necessity and Non-Existence [2005], 09) | |
| A reaction: This strikes me as a correct and very helpful point, as I am tempted to think that the modal dispositions of a thing are intrinsic to its identity. If we accept 'powers', must they be modal in character? Fine backs a sortal approach. That's ideology. |
| 15065 | What it is is fixed prior to existence or the object's worldly features [Fine,K] |
| Full Idea: The identity of an object - what it is - is not a worldly matter; essence will precede existence in that the identity of an object may be fixed by its unworldly features even before any question of its existence or other worldly features is considered. | |
| From: Kit Fine (Necessity and Non-Existence [2005], Intro) | |
| A reaction: I'm not clear how this cashes out. If I remove the 'worldly features' of an object, what is there left which establishes identity? Fine carefully avoids talk of 'a priori' knowledge of identity. |
| 15076 | Essential features of an object have no relation to how things actually are [Fine,K] |
| Full Idea: It is the core essential features of the object that will be independent of how things turn out, and they will be independent in the sense of holding regardless of circumstances, not whatever the circumstances. | |
| From: Kit Fine (Necessity and Non-Existence [2005], 09) | |
| A reaction: The distinction at the end seems to be that 'regardless' pays no attention to circumstances, whereas 'whatever' pays attention to all circumstances. In other words, essence has no relationship to how things are. Plausible. Nice to see 'core'. |
| 15073 | Self-identity should have two components, its existence, and its neutral identity with itself [Fine,K] |
| Full Idea: The existential identity of an object with itself needs analysis into two components, one the neutral identity of the object with itself, and the other its existence. The existence of the object appears to be merely a gratuitous addition to its identity. | |
| From: Kit Fine (Necessity and Non-Existence [2005], 08) | |
| A reaction: This is at least a step towards clarification of the notion, which might be seen as just a way of asserting that something 'has an identity'. Fine likes the modern Fregean way of expressing this, as an equality relation. |
| 15074 | We would understand identity between objects, even if their existence was impossible [Fine,K] |
| Full Idea: If there were impossible objects, ones that do not possibly exist, we would have no difficulty in understanding what it is for such objects to be identical or distinct than in the case of possible objects. | |
| From: Kit Fine (Necessity and Non-Existence [2005], 08) | |
| A reaction: Thus, a 'circular square' seems to be the same as a 'square circle'. Fine is arguing for identity to be independent of any questions of existence. |
| 15064 | Proper necessary truths hold whatever the circumstances; transcendent truths regardless of circumstances [Fine,K] |
| Full Idea: We distinguish between the necessary truths proper, those that hold whatever the circumstances, and the transcendent truths, those that hold regardless of the circumstances. | |
| From: Kit Fine (Necessity and Non-Existence [2005], Intro) | |
| A reaction: Fine's project seems to be dividing the necessities which derive from essence from the necessities which tended to be branded in essentialist discussions as 'trivial'. |
| 15070 | It is the nature of Socrates to be a man, so necessarily he is a man [Fine,K] |
| Full Idea: It is of the nature of Socrates to be a man; and from this it appears to follow that necessarily he is a man. | |
| From: Kit Fine (Necessity and Non-Existence [2005], 04) | |
| A reaction: I'm always puzzled by this line of thought, because it is only the intrinsic nature of beings like Socrates which decides in the first place what a 'man' is. How can something help to create a category, and then necessarily belong to that category? |
| 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. |
| 15069 | Possible worlds may be more limited, to how things might actually turn out [Fine,K] |
| Full Idea: An alternative conception of a possible world says it is constituted, not by the totality of facts, or of how things might be, but by the totality of circumstances, or how things might turn out. | |
| From: Kit Fine (Necessity and Non-Existence [2005], 02) | |
| A reaction: The general idea is to make a possible world more limited than in Idea 15068. It only contains properties arising from 'engagement with the world', and won't include timeless sentences. It is a bunch of possibilities, not of actualities? |
| 15068 | The actual world is a totality of facts, so we also think of possible worlds as totalities [Fine,K] |
| Full Idea: We are accustomed think of the actual world as the totality of facts, and so we think of any possible world as being like the actual world in settling the truth-value of every single proposition. | |
| From: Kit Fine (Necessity and Non-Existence [2005], 02) | |
| A reaction: Hence it is normal to refer to a possible world as a 'maximal' set of of propositions (sentences, etc). See Idea 15069 for his proposed alternative view. |
| 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] |
| 11214 | We learn 'not' along with affirmation, by learning to either affirm or deny a sentence [Rumfitt] |
| Full Idea: The standard view is that affirming not-A is more complex than affirming the atomic sentence A itself, with the latter determining its sense. But we could learn 'not' directly, by learning at once how to either affirm A or reject A. | |
| From: Ian Rumfitt ("Yes" and "No" [2000], IV) | |
| A reaction: [compressed] This seems fairly anti-Fregean in spirit, because it looks at the psychology of how we learn 'not' as a way of clarifying what we mean by it, rather than just looking at its logical behaviour (and thus giving it a secondary role). |
| 15077 | It is said that in the A-theory, all existents and objects must be tensed, as well as the sentences [Fine,K] |
| Full Idea: It is said that there is no room in the A-theorists' ontology for a realm of timeless existents. Just as there is a tendency to think that every sentence is tensed, so there is a tendency to think that every object must enjoy a tensed form of existence. | |
| From: Kit Fine (Necessity and Non-Existence [2005], 10) | |
| A reaction: Fine is arguing for certain things to exist or be true independently of time (such as arithmetic, or essential identities). I struggle with the notion of timeless existence. |
| 15067 | A-theorists tend to reject the tensed/tenseless distinction [Fine,K] |
| Full Idea: Most A-theorists have been inclined to reject the tensed/tenseless distinction. | |
| From: Kit Fine (Necessity and Non-Existence [2005], 01) | |
| A reaction: Presumably this is because they reject the notion of 'tenseless' truths. But sentences like 'two and two make four' seem not to be very tensy. |
| 15066 | B-theorists say tensed sentences have an unfilled argument-place for a time [Fine,K] |
| Full Idea: B-theorists regard tensed sentences as incomplete expressions, implicitly containing an unfilled argument-place for the time at which they are to be evaluated. | |
| From: Kit Fine (Necessity and Non-Existence [2005], 01) | |
| A reaction: To distinguish past from future it looks as if you would need two argument-places, not one. Then there are 'used to be' and 'had been' to evaluate. |