13 ideas
12268 | Contradiction is impossible [Antisthenes (I), by Aristotle] |
Full Idea: Antisthenes said that contradiction is impossible. | |
From: report of Antisthenes (Ath) (fragments/reports [c.405 BCE]) by Aristotle - Topics 104b21 | |
A reaction: Aristotle is giving an example of a 'thesis'. It should be taken seriously if a philosopher proposes it, but dismissed as rubbish if anyone else proposes it! No context is given for the remark. |
602 | Some fools think you cannot define anything, but only say what it is like [Antisthenes (I), by Aristotle] |
Full Idea: There is an application of that old chestnut of the cynic Antisthenes' followers (and other buffoons of that kind). Their claim was that a definition of what something is is impossible. You cannot define silver, though you can say it is like tin. | |
From: report of Antisthenes (Ath) (fragments/reports [c.405 BCE]) by Aristotle - Metaphysics 1043b |
11022 | Gentzen introduced a natural deduction calculus (NK) in 1934 [Gentzen, by Read] |
Full Idea: Gentzen introduced a natural deduction calculus (NK) in 1934. | |
From: report of Gerhard Gentzen (works [1938]) by Stephen Read - Thinking About Logic Ch.8 |
11065 | The inferential role of a logical constant constitutes its meaning [Gentzen, by Hanna] |
Full Idea: Gentzen argued that the inferential role of a logical constant constitutes its meaning. | |
From: report of Gerhard Gentzen (works [1938]) by Robert Hanna - Rationality and Logic 5.3 | |
A reaction: Possibly inspired by Wittgenstein's theory of meaning as use? This idea was the target of Prior's famous connective 'tonk', which has the role of implying anything you like, proving sentences which are not logical consequences. |
11023 | The logical connectives are 'defined' by their introduction rules [Gentzen] |
Full Idea: The introduction rules represent, as it were, the 'definitions' of the symbols concerned, and the elimination rules are no more, in the final analysis, than the consequences of these definitions. | |
From: Gerhard Gentzen (works [1938]), quoted by Stephen Read - Thinking About Logic Ch.8 | |
A reaction: If an introduction-rule (or a truth table) were taken as fixed and beyond dispute, then it would have the status of a definition, since there would be nothing else to appeal to. So is there anything else to appeal to here? |
11213 | Each logical symbol has an 'introduction' rule to define it, and hence an 'elimination' rule [Gentzen] |
Full Idea: To every logical symbol there belongs precisely one inference figure which 'introduces' the symbol ..and one which 'eliminates' it. The introductions represent the 'definitions' of the symbols concerned, and eliminations are consequences of these. | |
From: Gerhard Gentzen (works [1938], II.5.13), quoted by Ian Rumfitt - "Yes" and "No" III | |
A reaction: [1935 paper] This passage is famous, in laying down the basics of natural deduction systems of logic (ones using only rules, and avoiding axioms). Rumfitt questions whether Gentzen's account gives the sense of the connectives. |
10067 | Gentzen proved the consistency of arithmetic from assumptions beyond arithmetic [Gentzen, by Musgrave] |
Full Idea: Gentzen proved the consistency of arithmetic from assumptions which transcend arithmetic. | |
From: report of Gerhard Gentzen (works [1938]) by Alan Musgrave - Logicism Revisited §5 | |
A reaction: This does not contradict Gödel's famous result, but reinforces it. The interesting question is what assumptions Gentzen felt he had to make. |
10645 | We reach concepts by clarification, or by definition, or by habitual experience [Price,HH] |
Full Idea: We have three different ways in which we arrive at concepts or universals: there is a clarification, where we have a ready-made concept and define it; we have a combination (where a definition creates a concept); and an experience can lead to a habit. | |
From: H.H. Price (Review of Aron 'Our Knowledge of Universals' [1946], p.190) | |
A reaction: [very compressed] He cites Russell as calling the third one a 'condensed induction'. There seems to an intellectualist and non-intellectualist strand in the abstractionist tradition. |
10644 | A 'felt familiarity' with universals is more primitive than abstraction [Price,HH] |
Full Idea: A 'felt familiarity' with universals seems to be more primitive than explicit abstraction. | |
From: H.H. Price (Review of Aron 'Our Knowledge of Universals' [1946], p.188) | |
A reaction: This I take to be part of the 'given' of the abstractionist view, which is quite well described in the first instance by Aristotle. Price says that it is 'pre-verbal'. |
10646 | Our understanding of 'dog' or 'house' arises from a repeated experience of concomitances [Price,HH] |
Full Idea: Whether you call it inductive or not, our understanding of such a word as 'dog' or 'house' does arise from a repeated experience of concomitances. | |
From: H.H. Price (Review of Aron 'Our Knowledge of Universals' [1946], p.191) | |
A reaction: Philosophers don't use phrases like that last one any more. How else could we form the concept of 'dog' - if we are actually allowed to discuss the question of concept-formation, instead of just the logic of concepts. |
1664 | I would rather go mad than experience pleasure [Antisthenes (I)] |
Full Idea: I would rather go mad than experience pleasure. | |
From: Antisthenes (Ath) (fragments/reports [c.405 BCE]), quoted by Diogenes Laertius - Lives of Eminent Philosophers 06.3 | |
A reaction: Did he actually prefer pain? If both experiences would drive him mad, it seems like a desire for death. I cannot understand why anyone is opposed to harmless pleasures. |
21385 | Antisthenes said virtue is teachable and permanent, is life's goal, and is like universal wealth [Antisthenes (I), by Long] |
Full Idea: The moral propositions of Antisthenes foreshadowed the Stoics: virtue can be taught and once acquired cannot be lost (fr.69,71); virtue is the goal of life (22); the sage is self-sufficient, since he has (by being wise) the wealth of all men (8o). | |
From: report of Antisthenes (Ath) (fragments/reports [c.405 BCE]) by A.A. Long - Hellenistic Philosophy 1 | |
A reaction: [He cites Caizzi for the fragments] The distinctive idea here is (I think) that once acquired virtue can never be lost. It sounds plausible, but I'm wondering why it should be true. Is it like riding a bicycle, or like learning to speak Russian? |
2631 | Antisthenes says there is only one god, which is nature [Antisthenes (I), by Cicero] |
Full Idea: Antisthenes says there is only one god, which is nature. | |
From: report of Antisthenes (Ath) (fragments/reports [c.405 BCE]) by M. Tullius Cicero - On the Nature of the Gods ('De natura deorum') I.32 |