14 ideas
| 13913 | The four 'perfect syllogisms' are called Barbara, Celarent, Darii and Ferio [Engelbretsen/Sayward] |
| Full Idea: There are four 'perfect syllogisms': Barbara (every M is P, every S is M, so every S is P); Celarent (no M is P, every S is M, so no S is P); Darii (every M is P, some S is M, so some S is P); Ferio (no M is P, some S is M, so some S is not P). | |
| From: Engelbretsen,G/Sayward,C (Philosophical Logic: Intro to Advanced Topics [2011], 8) | |
| A reaction: The four names are mnemonics from medieval universities. |
| 13914 | Syllogistic logic has one rule: what is affirmed/denied of wholes is affirmed/denied of their parts [Engelbretsen/Sayward] |
| Full Idea: It has often been claimed (e.g. by Leibniz) that a single rule governs all syllogistic validity, called 'dictum de omni et null', which says that what is affirmed or denied of any whole is affirmed or denied of any part of that whole. | |
| From: Engelbretsen,G/Sayward,C (Philosophical Logic: Intro to Advanced Topics [2011], 8) | |
| A reaction: This seems to be the rule which is captured by Venn Diagrams. |
| 13915 | Syllogistic can't handle sentences with singular terms, or relational terms, or compound sentences [Engelbretsen/Sayward] |
| Full Idea: Three common kinds of sentence cannot be put into syllogistic ('categorical') form: ones using singular terms ('Mars is red'), ones using relational terms ('every painter owns some brushes'), and compound sentences. | |
| From: Engelbretsen,G/Sayward,C (Philosophical Logic: Intro to Advanced Topics [2011], 8) |
| 13916 | Term logic uses expression letters and brackets, and '-' for negative terms, and '+' for compound terms [Engelbretsen/Sayward] |
| Full Idea: Term logic begins with expressions and two 'term functors'. Any simple letter is a 'term', any term prefixed by a minus ('-') is a 'negative term', and any pair of terms flanking a plus ('+') is a 'compound term'. Parenthese are used for grouping. | |
| From: Engelbretsen,G/Sayward,C (Philosophical Logic: Intro to Advanced Topics [2011], 8) | |
| A reaction: [see Engelbretsen and Sayward for the full formal system] |
| 13850 | In modern logic all formal validity can be characterised syntactically [Engelbretsen/Sayward] |
| Full Idea: One of the key ideas of modern formal logic is that all formally valid inferences can be specified in strictly syntactic terms. | |
| From: Engelbretsen,G/Sayward,C (Philosophical Logic: Intro to Advanced Topics [2011], Ch.2) |
| 13849 | Classical logic rests on truth and models, where constructivist logic rests on defence and refutation [Engelbretsen/Sayward] |
| Full Idea: Classical logic rests on the concepts of truth and falsity (and usually makes use of a semantic theory based on models), whereas constructivist logic accounts for inference in terms of defense and refutation. | |
| From: Engelbretsen,G/Sayward,C (Philosophical Logic: Intro to Advanced Topics [2011], Intro) | |
| A reaction: My instincts go with the classical view, which is that inferences do not depend on the human capacity to defend them, but sit there awaiting revelation. My view isn't platonist, because I take the inferences to be rooted in the physical world. |
| 13851 | Unlike most other signs, = cannot be eliminated [Engelbretsen/Sayward] |
| Full Idea: Unlike ∨, →, ↔, and ∀, the sign = is not eliminable from a logic. | |
| From: Engelbretsen,G/Sayward,C (Philosophical Logic: Intro to Advanced Topics [2011], Ch.3) |
| 13852 | Axioms are ω-incomplete if the instances are all derivable, but the universal quantification isn't [Engelbretsen/Sayward] |
| Full Idea: A set of axioms is said to be ω-incomplete if, for some universal quantification, each of its instances is derivable from those axioms but the quantification is not thus derivable. | |
| From: Engelbretsen,G/Sayward,C (Philosophical Logic: Intro to Advanced Topics [2011], 7) |
| 3539 | Personal identity is just causally related mental states [Parfit, by Maslin] |
| Full Idea: For Parfit all personal identity really amounts to is a chain of experiences and other psychological features causally related to each other in 'direct' sorts of ways. | |
| From: report of Derek Parfit (Personal Identity [1971]) by Keith T. Maslin - Introduction to the Philosophy of Mind 10.5 | |
| A reaction: When summarised like this, it strikes me that Parfit is just false to our experience, whatever Hume may say. I suspect that Parfit (and those like him) concentrate too much on rather passive perceptual experience, and neglect the will. |
| 1393 | One of my future selves will not necessarily be me [Parfit] |
| Full Idea: If I say 'It will not be me, but one of my future selves', I do not imply that I will be that future self. He is one of my later selves, and I am one of his earlier selves. There is no underlying person we both are. | |
| From: Derek Parfit (Personal Identity [1971], §5) | |
| A reaction: The problem here seems to be explaining why I should care about my later self, if it isn't me. If the answer is only that it will be psychologically very similar to me, then I would care more about my current identical twin than about my future self. |
| 1392 | If we split like amoeba, we would be two people, neither of them being us [Parfit] |
| Full Idea: In the case of the man who, like an amoeba, divides….we can suggest that he survives as two different people without implying that he is those people. | |
| From: Derek Parfit (Personal Identity [1971], §1) | |
| A reaction: Maybe an amoeba is a homogeneous substance for which splitting is insignificant, but when a person has certain parts that are totally crucial, splitting them is catastrophic, and quite different. I'm not sure that splitting a self would leave persons. |
| 1391 | Concern for our own lives isn't the source of belief in identity, it is the result of it [Parfit] |
| Full Idea: Egoism, and the fear not of near but of distant death, and the regret that so much of one's life should have gone by - these are not, I think, wholly natural or instinctive. They are strengthened by a false belief in stable identity. | |
| From: Derek Parfit (Personal Identity [1971], §6) | |
| A reaction: This raises some very nice questions, about the extent to which various aspects of self-concern are instinctive and natural, or culturally induced, and even totally misguided and false. I can worry about the distant death of my guinea pig, or my grandson. |
| 13304 | Learned men gain more in one day than others do in a lifetime [Posidonius] |
| Full Idea: In a single day there lies open to men of learning more than there ever does to the unenlightened in the longest of lifetimes. | |
| From: Posidonius (fragments/reports [c.95 BCE]), quoted by Seneca the Younger - Letters from a Stoic 078 | |
| A reaction: These remarks endorsing the infinite superiority of the educated to the uneducated seem to have been popular in late antiquity. It tends to be the religions which discourage great learning, especially in their emphasis on a single book. |
| 20820 | Time is an interval of motion, or the measure of speed [Posidonius, by Stobaeus] |
| Full Idea: Posidonius defined time thus: it is an interval of motion, or the measure of speed and slowness. | |
| From: report of Posidonius (fragments/reports [c.95 BCE]) by John Stobaeus - Anthology 1.08.42 | |
| A reaction: Hm. Can we define motion or speed without alluding to time? Looks like we have to define them as a conjoined pair, which means we cannot fully understand either of them. |