4 ideas
13832 | Natural deduction shows the heart of reasoning (and sequent calculus is just a tool) [Gentzen, by Hacking] |
Full Idea: Gentzen thought that his natural deduction gets at the heart of logical reasoning, and used the sequent calculus only as a convenient tool for proving his chief results. | |
From: report of Gerhard Gentzen (Investigations into Logical Deduction [1935]) by Ian Hacking - What is Logic? §05 |
13083 | The essence is the necessary properties, and the concept includes what is contingent [Leibniz] |
Full Idea: Of the essence of a particular thing is what pertains to it necessarily and perpetually; of the concept of an individual thing on the other hand is what pertains to it contingently or per accidens. | |
From: Gottfried Leibniz (Human Freedom and Divine choice [1690], Grua 383), quoted by Cover,J/O'Leary-Hawthorne,J - Substance and Individuation in Leibniz 3.3.1 | |
A reaction: This arbitrates on the apparent conflict between his remarks in Idea 13077 and Idea 10382. There seems to be a distinction between the 'concept' of a thing, and the 'complete concept', the latter including the contingent properties. |
541 | Virtue comes more from habit than character [Critias] |
Full Idea: More men are good through habit than through character. | |
From: Critias (fragments/reports [c.440 BCE], B09), quoted by John Stobaeus - Anthology 3.29.41 |
542 | Fear of the gods was invented to discourage secret sin [Critias] |
Full Idea: When the laws forbade men to commit open crimes of violence, and they began to do them in secret, a wise and clever man invented fear of the gods for mortals, to frighten the wicked, even if they sin in secret. | |
From: Critias (fragments/reports [c.440 BCE], B25), quoted by Sextus Empiricus - Against the Professors (six books) 9.54 |