27 ideas
13838 | A decent modern definition should always imply a semantics [Hacking] |
Full Idea: Today we expect that anything worth calling a definition should imply a semantics. | |
From: Ian Hacking (What is Logic? [1979], §10) | |
A reaction: He compares this with Gentzen 1935, who was attempting purely syntactic definitions of the logical connectives. |
13833 | 'Thinning' ('dilution') is the key difference between deduction (which allows it) and induction [Hacking] |
Full Idea: 'Dilution' (or 'Thinning') provides an essential contrast between deductive and inductive reasoning; for the introduction of new premises may spoil an inductive inference. | |
From: Ian Hacking (What is Logic? [1979], §06.2) | |
A reaction: That is, inductive logic (if there is such a thing) is clearly non-monotonic, whereas classical inductive logic is monotonic. |
13834 | Gentzen's Cut Rule (or transitivity of deduction) is 'If A |- B and B |- C, then A |- C' [Hacking] |
Full Idea: If A |- B and B |- C, then A |- C. This generalises to: If Γ|-A,Θ and Γ,A |- Θ, then Γ |- Θ. Gentzen called this 'cut'. It is the transitivity of a deduction. | |
From: Ian Hacking (What is Logic? [1979], §06.3) | |
A reaction: I read the generalisation as 'If A can be either a premise or a conclusion, you can bypass it'. The first version is just transitivity (which by-passes the middle step). |
13835 | Only Cut reduces complexity, so logic is constructive without it, and it can be dispensed with [Hacking] |
Full Idea: Only the cut rule can have a conclusion that is less complex than its premises. Hence when cut is not used, a derivation is quite literally constructive, building up from components. Any theorem obtained by cut can be obtained without it. | |
From: Ian Hacking (What is Logic? [1979], §08) |
13845 | The various logics are abstractions made from terms like 'if...then' in English [Hacking] |
Full Idea: I don't believe English is by nature classical or intuitionistic etc. These are abstractions made by logicians. Logicians attend to numerous different objects that might be served by 'If...then', like material conditional, strict or relevant implication. | |
From: Ian Hacking (What is Logic? [1979], §15) | |
A reaction: The idea that they are 'abstractions' is close to my heart. Abstractions from what? Surely 'if...then' has a standard character when employed in normal conversation? |
13840 | First-order logic is the strongest complete compact theory with Löwenheim-Skolem [Hacking] |
Full Idea: First-order logic is the strongest complete compact theory with a Löwenheim-Skolem theorem. | |
From: Ian Hacking (What is Logic? [1979], §13) |
13844 | A limitation of first-order logic is that it cannot handle branching quantifiers [Hacking] |
Full Idea: Henkin proved that there is no first-order treatment of branching quantifiers, which do not seem to involve any idea that is fundamentally different from ordinary quantification. | |
From: Ian Hacking (What is Logic? [1979], §13) | |
A reaction: See Hacking for an example of branching quantifiers. Hacking is impressed by this as a real limitation of the first-order logic which he generally favours. |
13842 | Second-order completeness seems to need intensional entities and possible worlds [Hacking] |
Full Idea: Second-order logic has no chance of a completeness theorem unless one ventures into intensional entities and possible worlds. | |
From: Ian Hacking (What is Logic? [1979], §13) |
13837 | With a pure notion of truth and consequence, the meanings of connectives are fixed syntactically [Hacking] |
Full Idea: My doctrine is that the peculiarity of the logical constants resides precisely in that given a certain pure notion of truth and consequence, all the desirable semantic properties of the constants are determined by their syntactic properties. | |
From: Ian Hacking (What is Logic? [1979], §09) | |
A reaction: He opposes this to Peacocke 1976, who claims that the logical connectives are essentially semantic in character, concerned with the preservation of truth. |
13839 | Perhaps variables could be dispensed with, by arrows joining places in the scope of quantifiers [Hacking] |
Full Idea: For some purposes the variables of first-order logic can be regarded as prepositions and place-holders that could in principle be dispensed with, say by a system of arrows indicating what places fall in the scope of which quantifier. | |
From: Ian Hacking (What is Logic? [1979], §11) | |
A reaction: I tend to think of variables as either pronouns, or as definite descriptions, or as temporary names, but not as prepositions. Must address this new idea... |
13843 | If it is a logic, the Löwenheim-Skolem theorem holds for it [Hacking] |
Full Idea: A Löwenheim-Skolem theorem holds for anything which, on my delineation, is a logic. | |
From: Ian Hacking (What is Logic? [1979], §13) | |
A reaction: I take this to be an unusually conservative view. Shapiro is the chap who can give you an alternative view of these things, or Boolos. |
12132 | Indiscernibility is a necessary and sufficient condition for identity [Brody] |
Full Idea: Enduring objects should be taken as fundamental in an ontology, and for all such objects indiscernibility is both a necessary and sufficient condition for identity. | |
From: Baruch Brody (Identity and Essence [1980], 3) | |
A reaction: Brody offers a substantial defence, but I don't find it plausible. Apart from Black's well known twin spheres example (Idea 10195), discernibility is relative to the powers of the observer. Two similar people in the mist aren't thereby identical. |
15834 | Brody bases sortal essentialism on properties required throughout something's existence [Brody, by Mackie,P] |
Full Idea: Brody bases sortal essentialism on the notion of a property that an individual must possess throughout its existence if it possesses it at any time in its existence. | |
From: report of Baruch Brody (Identity and Essence [1980]) by Penelope Mackie - How Things Might Have Been 7.1 | |
A reaction: Brody tends to treat categories as properties, which I dislike. How do you assess 'must' here? A person may possess a mole throughout life without it being essential. |
12140 | Modern emphasis is on properties had essentially; traditional emphasis is on sort-defining properties [Brody] |
Full Idea: The modern emphasis has been on the connection between essential properties and the properties that an object must have essentially. But traditionally there is also the connection between essential properties and the sort of thing that it is. | |
From: Baruch Brody (Identity and Essence [1980], 5.6) | |
A reaction: These are the modal essence and the definitional essence. My view is that he has missed out a crucial third (Aristotelian) view, which is that essences are explanatory. This third view can subsume the other two. |
11895 | A sortal essence is a property which once possessed always possessed [Brody, by Mackie,P] |
Full Idea: Brody bases sortal essentialism on the notion of a property that an individual must possess throughout its existence if it possesses it at any time in its existence. ...'Once an F, always an F'. ...Being a parrot is not a temporary occupation. | |
From: report of Baruch Brody (Identity and Essence [1980]) by Penelope Mackie - How Things Might Have Been 7.1 | |
A reaction: Hm. Would being less than fifty metres tall qualify as a sortal essence, for a giraffe or a uranium rod? If there is one thing an essential property should be, it is important. How do we assess importance? By explanatory power! Watch this space. |
12141 | Maybe essential properties are those which determine a natural kind? [Brody] |
Full Idea: We can advance the thesis that all essential properties either determine a natural kind or are part of an essential property that does determine a natural kind. | |
From: Baruch Brody (Identity and Essence [1980]) | |
A reaction: A useful clear statement of the view. I am opposed to it, because I take it to be of the essence of Socrates that he is philosophical, but humans are not essentially philosophical, and philosophers are unlikely to be a natural kind. |
12137 | De re essentialism standardly says all possible objects identical with a have a's essential properties [Brody] |
Full Idea: To say that an object a has a property P essentially is to say that it has P, and in all of certain worlds (all possible, all in which something identical with it exists, ...) the object identical with it has P. This is the standard de re interpretation. | |
From: Baruch Brody (Identity and Essence [1980], 5.4) | |
A reaction: This view always has to be qualified by excluding trivially necessary properties, but that exclusion shows clearly that the notion of essential is more concerned with non-triviality than it is with necessity. |
12142 | Essentially, a has P, always had P, must have had P, and has never had a future without P [Brody] |
Full Idea: 'a has property P essentially' means 'a has P, a always had P, there is no possible past in which P exists without P, and there is no moment of time at which a has had P and at which there is a possible future in which a exists without P' | |
From: Baruch Brody (Identity and Essence [1980], 6) | |
A reaction: This is Brody's own final account of essentialism. This is a carefully qualified form of the view that essential properties are, on the whole, the necessary properties, which view I take to be fundamentally mistaken. |
12143 | An object having a property essentially is equivalent to its having it necessarily [Brody] |
Full Idea: An object having a property essentially is equivalent to its having it necessarily. | |
From: Baruch Brody (Identity and Essence [1980], 6.1) | |
A reaction: This strikes me as blatantly false. Personally I am toying with the very unorthodox view that essential properties are not at all necessary, and that something can retain its identity while changing its essential character. A philosopher with Alzheimers. |
12144 | Essentialism is justified if the essential properties of things explain their other properties [Brody] |
Full Idea: The reasonableness of the essentialist hypothesis will be proportional to the extent that we can, as a result, use a's possession of P to explain a's other properties, ...and there is an inability to explain otherwise why a has P. | |
From: Baruch Brody (Identity and Essence [1980], 6.3) | |
A reaction: Brody as a rather liberal notion of properties. I would hope that we can do rather more than explain a's non-essential properties. If the non-essential properties were entailed by the essential ones, would they not then also be essential? |
12139 | Mereological essentialism says that every part that ensures the existence is essential [Brody] |
Full Idea: Mereological essentialism (whose leading advocate is Chisholm) says that for every x and y, if x is ever part of y, then y is necessarily such that x is part of y at any time that y exists. | |
From: Baruch Brody (Identity and Essence [1980], 5.6) | |
A reaction: This sounds implausible, especially given the transitivity of parthood. Not only are the planks that constitute Theseus's Ship now essential to it, but all the parts of the planks, every last chip, are as well. |
12135 | Interrupted objects have two first moments of existence, which could be two beginnings [Brody] |
Full Idea: If 'beginning of existence' meant 'first moment of existence after a period of nonexistence', then objects with interrupted existence have two beginnings of existence. | |
From: Baruch Brody (Identity and Essence [1980], 4.1) | |
A reaction: One might still maintain that the first beginning was essential to the object, since that is the event that defined it - and that would clarify the reason why we are supposed to think the origins are essential. I say the origin explains it. |
12130 | a and b share all properties; so they share being-identical-with-a; so a = b [Brody] |
Full Idea: Suppose that a and b have all of their properties in common. a certainly has the property of-being-identical-with-a. So, by supposition, does b. Then a = b. | |
From: Baruch Brody (Identity and Essence [1980], 1.2) | |
A reaction: Brody defends this argument, and seems to think that it proves the identity of indiscernibles. As far as I can see it totally begs the question, since we can only assume that both have the property of being-identical-with-a if we have assumed a = b. |
12138 | Identity across possible worlds is prior to rigid designation [Brody] |
Full Idea: Identity across possible worlds is prior to rigid designation. | |
From: Baruch Brody (Identity and Essence [1980], 5.4) | |
A reaction: An interesting view. We might stipulate that any possible Aristotle is 'our Aristotle', but you would still need criteria for deciding which possible Aristotle's would qualify. Long-frozen Aristotles, stupid Aristotles, alien Aristotle's, deformed... |
2602 | What experience could prove 'If a=c and b=c then a=b'? [Descartes] |
Full Idea: Please tell me what the corporeal motion is that is capable of forming some common notion to the effect that 'things which are equal to a third thing are equal to each other'. | |
From: René Descartes (Comments on a Certain Broadsheet [1644], p.366) |
2600 | The mind's innate ideas are part of its capacity for thought [Descartes] |
Full Idea: I have never written or taken the view that the mind requires innate ideas which are something distinct from its own faculty of thinking. | |
From: René Descartes (Comments on a Certain Broadsheet [1644], p.365) |
2601 | Qualia must be innate, because physical motions do not contain them [Descartes] |
Full Idea: The ideas of pains, colours, sounds etc. must be all the more innate if, on the occasion of certain corporeal motions, our mind is to be capable of representing them to itself, for there is no similarity between these ideas and the corporeal motions. | |
From: René Descartes (Comments on a Certain Broadsheet [1644], p.365) | |
A reaction: Simple and brilliant! We know perfectly well that there is no redness zooming through the air from a tomato (or the air would be pink!). Redness occurs when the light arrives, so we add the redness, so it is innate. |