27 ideas
| 23326 | In the third century Stoicism died out, replaced by Platonism, with Aristotelian ethics [Frede,M] |
| Full Idea: By the second century CE Aristotelianism and Platonism had begun to eclipse Stoicism, and by the end of the third century Stoicism had no followers. All philosophers now opted for some form of Platonism, but including Aristotle's ethical principles. | |
| From: Michael Frede (A Free Will [1997], 04) | |
| A reaction: The idea that Aristotelian ethics dominated that period is new to me. Stoic influence remained strong in Augustine, and hence in Christianity. |
| 23335 | In late antiquity nearly all philosophers were monotheists [Frede,M] |
| Full Idea: I am inclined to think that almost all philosophers in late antiquity were monotheists. | |
| From: Michael Frede (A Free Will [1997], 08) | |
| A reaction: I'm not sure when late antiquity begins, in this remark. Maybe as early as 100 CE. Epictetus talks of Zeus as if he is supreme. |
| 18274 | Analysis complicates a statement, but only as far as the complexity of its meaning [Wittgenstein] |
| Full Idea: Analysis makes the statement more complicated than it was; but it cannot and ought not to make it more complicated than its meaning (Bedeutung) was to begin with. When the statement is as complex as its meaning, then it is completely analysed. | |
| From: Ludwig Wittgenstein (Notebooks 1914-1916 [1915], 46e) | |
| A reaction: But how do you assess how complex the 'Bedeutung' was before you started? |
| 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) |
| 16908 | We can dispense with self-evidence, if language itself prevents logical mistakes [Jeshion on Wittgenstein] |
| Full Idea: The 'self-evidence' of which Russell talks so much can only be dispensed with in logic if language itself prevents any logical mistake. | |
| From: comment on Ludwig Wittgenstein (Notebooks 1914-1916 [1915], 4) by Robin Jeshion - Frege's Notion of Self-Evidence 4 | |
| A reaction: Jeshion presents this as a key idea, turning against Frege, and is the real source of the 'linguistic turn' in philosophy. If self-evidence is abandoned, then language itself is the guide to truth, so study language. I think I prefer Frege. See Quine? |
| 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) |
| 18276 | A statement's logical form derives entirely from its constituents [Wittgenstein] |
| Full Idea: The logical form of the statement must already be given in the forms of its constituents. | |
| From: Ludwig Wittgenstein (Notebooks 1914-1916 [1915], 23e) | |
| A reaction: This would evidently require each constituent to have a 'logical form'. It is hard to see what that could beyond its part of speech. Do two common nouns have the same logical form? |
| 6563 | 'And' and 'not' are non-referring terms, which do not represent anything [Wittgenstein, by Fogelin] |
| Full Idea: Wittgenstein's 'fundamental idea' is that the 'and' and 'not' which guarantee the truth of "not p and not-p" are meaningful, but do not get their meaning by representing or standing for or referring to some kind of entity; they are non-referring terms. | |
| From: report of Ludwig Wittgenstein (Notebooks 1914-1916 [1915], §37) by Robert Fogelin - Walking the Tightrope of Reason Ch.1 | |
| A reaction: Wittgenstein then defines the terms using truth tables, to show what they do, rather than what they stand for. This seems to me to be a candidate for the single most important idea in the history of the philosophy of logic. |
| 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. |
| 23472 | The sense of propositions relies on the world's basic logical structure [Wittgenstein] |
| Full Idea: In order for a proposition to be CAPABLE of making sense, the world must already have the logical structure it has. The logic of the world is prior to all truth and falsehood. | |
| From: Ludwig Wittgenstein (Notebooks 1914-1916 [1915], p.14c) | |
| A reaction: It seems that in Tractatus it is propositions about facts which are true or false, but prior to the facts are substance and the objects, and it is there that we find the logical structure of the world. I see this view as modern stoicism. |
| 23500 | My main problem is the order of the world, and whether it is knowable a priori [Wittgenstein] |
| Full Idea: The great problem around which everything turns that I write is: is there an order in the world a priori, and if so what does it consist in? | |
| From: Ludwig Wittgenstein (Notebooks 1914-1916 [1915], 15.06.01) | |
| A reaction: Morris identifies this as a 'Kantian question'. I trace it back to stoicism. This question has never bothered me. It just seems weird to think that you can infer reality from the examination of your own thinking. Perhaps I should take it more seriously? |
| 22323 | The philosophical I is the metaphysical subject, the limit - not a part of the world [Wittgenstein] |
| Full Idea: The philosophical I is not the man, not the human body, or the human soul of wh9ch psychology treats, but the metaphysical subject, the limit - not a part of the world. | |
| From: Ludwig Wittgenstein (Notebooks 1914-1916 [1915], 1916. 2 Sep), quoted by Michael Potter - The Rise of Analytic Philosophy 1879-1930 58 Intro | |
| A reaction: This is to treat the self as a phenomenon of thought, rather than of a human being. So if a machine could think, would it hence necessarily have a metaphysical self? |
| 23334 | For Christians man has free will by creation in God's image (as in Genesis) [Frede,M] |
| Full Idea: The Christian view, following Genesis, is that man is created in the image of God, and this is understood as crucially involving the idea that man has a free will in the image of God's will. | |
| From: Michael Frede (A Free Will [1997], 08) | |
| A reaction: The idea of free will evidently originated with Epictetus, but was taken up by Christians because it fitted doctrinal needs. Even Epictetus saw free will as originating in Zeus. |
| 23333 | The idea of free will achieved universal acceptance because of Christianity [Frede,M] |
| Full Idea: There is no doubt that the notion of a free will found almost universal acceptance owing to the influence of Christianity. | |
| From: Michael Frede (A Free Will [1997], 07) | |
| A reaction: This is presumably because a free will not only elevates us above the animals, qualifying us for immortality, but also gives us absolute and ultimate responsibility for our lives, which thus justifies either salvation or damnation. |
| 23337 | The Stoics needed free will, to allow human choices in a divinely providential cosmos [Frede,M] |
| Full Idea: The Stoics said that everything happens according to a divine providential plan, so they had to explain how this was compatible with human choices. They tried to do this with their doctrine of freedom and a free will. | |
| From: Michael Frede (A Free Will [1997], 10) | |
| A reaction: Epictetus made our ability to choose central to moral life, so he particularly needed (and thus created, it seems) this doctrine. |
| 23481 | Propositions assemble a world experimentally, like the model of a road accident [Wittgenstein] |
| Full Idea: In the proposition a world is as it were put together experimentally. (As when in the law court in Paris a motor-car accident is represented by means of dolls, etc). | |
| From: Ludwig Wittgenstein (Notebooks 1914-1916 [1915], 14.09.29) | |
| A reaction: [see Tractatus 4.031] This is the first appearance of LW's picture (or model) theory of meaning. It may well be the best theory of meaning anyone has come up with, since meaning being out in the world strikes me as absurd. |
| 23336 | There is no will for Plato or Aristotle, because actions come directly from perception of what is good [Frede,M] |
| Full Idea: Plato and Aristotle do not have a notion of a will, since for them a willing, a desire of reason, is a direct result of one's cognitive state: once one sees something to be good, one will it. | |
| From: Michael Frede (A Free Will [1997], 09) | |
| A reaction: The point is that their decisions are 'direct', whereas the will introduces the concept of a final arbiter which weighs up the desires, reasons and drives. The historical steps were first the meta-choosing, then the will as entity, then the will as free. |
| 4678 | Absolute prohibitions are the essence of ethics, and suicide is the most obvious example [Wittgenstein] |
| Full Idea: If suicide is allowed, then everything is allowed. If anything is not allowed, then suicide is not allowed. This throws a light on the nature of ethics, for suicide is, so to speak, the elementary sin. | |
| From: Ludwig Wittgenstein (Notebooks 1914-1916 [1915], end), quoted by Jonathan Glover - Causing Death and Saving Lives §13 | |
| A reaction: This reveals the religious streak in Wittgenstein. I am reluctant to judge suicide, but this seems wrong. Should a 'jumper' worry if they land on someone else and kill them? Of course they should. |
| 23313 | The Gnostic demiurge (creator) is deluded, and doesn't care about us [Frede,M] |
| Full Idea: The Gnostics thought the demiurge or creator pursues its own interests without regard for what this does to us, a being lacking in wisdom and goodness, as seen by its deluding itself into thinking that it is God, and demanding worship. | |
| From: Michael Frede (A Free Will [1997], Intro) | |
| A reaction: Frede mentions Irenaeus as a source of this view. The idea that the Great Being doesn't care about us seems a fairly accurate observation. |