11 ideas
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. |
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. |
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. |
14637 | Only individuals have essences, so numbers (as a higher type based on classes) lack them [McMichael] |
Full Idea: Essentialism is not verified by the observation that numbers have interesting essential properties, since they are properties of classes and so are entities of a higher logical type than individuals. | |
From: Alan McMichael (The Epistemology of Essentialist Claims [1986], Intro) | |
A reaction: This relies on a particular view of number (which might be challenged), but is interesting when it comes to abstract entities having essences. Only ur-elements in set theory could have essences, it seems. Why? Rising in type destroys essence? |
14636 | Essences are the interesting necessary properties resulting from a thing's own peculiar nature [McMichael] |
Full Idea: Essentialism says some individuals have certain 'interesting' necessary properties. If it exists, it has that property. The properties are 'interesting' as had in virtue of their own peculiar natures, rather than as general necessary truths. | |
From: Alan McMichael (The Epistemology of Essentialist Claims [1986], Intro) | |
A reaction: [compressed] This is a modern commentator caught between two views. The idea that essence is the non-trivial-necessary properties is standard, but adding their 'peculiar natures' connects him to Aristotle, and Kit Fine's later papers. Good! |
14640 | Maybe essential properties have to be intrinsic, as well as necessary? [McMichael] |
Full Idea: There is a tendency to think of essential properties as having some characteristic in addition to their necessity, such as intrinsicality. | |
From: Alan McMichael (The Epistemology of Essentialist Claims [1986], VIII) | |
A reaction: Personally I am inclined to take this view of all properties, and not just the 'essential' ones. General necessities, relations, categorisations, disjunctions etc. should not be called 'properties', even if they are 'predicates'. Huge confusion results. |
14638 | Essentialism is false, because it implies the existence of necessary singular propositions [McMichael] |
Full Idea: Essentialism entails the existence of necessary singular propositions that are not instances of necessary generalizations. Therefore, since there are no such propositions, essentialism is false. | |
From: Alan McMichael (The Epistemology of Essentialist Claims [1986], I) | |
A reaction: This summarises the attack which McMichael wishes to deal with. I am wickedly tempted to say that essences actually have a contingent existence (or a merely hypothetical dependent necessity), and this objection might be grist for my mill. |
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). |
14639 | Individuals enter into laws only through their general qualities and relations [McMichael] |
Full Idea: Individuals appear to enter into laws only through their general qualities and relations. | |
From: Alan McMichael (The Epistemology of Essentialist Claims [1986], VIII) | |
A reaction: This is a very significant chicken-or-egg issue. The remark seems to offer the vision of pre-existing general laws, which individuals then join (like joining a club). But surely the laws are derived from the individuals? Where else could they come from? |
1472 | The propositions that God is good and omnipotent, and that evil exists, are logically contradictory [Mackie, by PG] |
Full Idea: There is a contradiction between the propositions that God is wholly good, God is omnipotent, and evil exists, and one of them has got to give way (assuming good eliminates evil, and omnipotence has no limit). | |
From: report of J.L. Mackie (Evil and Omnipotence [1955], Pref.) by PG - Db (ideas) |
1473 | Is evil an illusion, or a necessary contrast, or uncontrollable, or necessary for human free will? [Mackie, by PG] |
Full Idea: Perhaps evil is an illusion, or it is necessary for good to exist, or in humans it is required because we have free will, or God lacks the full power to control it, but none of these looks convincing. | |
From: report of J.L. Mackie (Evil and Omnipotence [1955], §B) by PG - Db (ideas) |