Combining Texts

All the ideas for 'fragments/reports', 'On Duties ('De Officiis')' and 'The Theory of Logical Types'

unexpand these ideas     |    start again     |     specify just one area for these texts


9 ideas

1. Philosophy / A. Wisdom / 1. Nature of Wisdom
Cicero sees wisdom in terms of knowledge, but earlier Stoics saw it as moral [Cicero, by Long]
     Full Idea: Cicero (drawing on Panaetius) treats wisdom as if its province were primarily a disinterested pursuit of knowledge. But earlier Stoics gave purely moral definitions of wisdom.
     From: report of M. Tullius Cicero (On Duties ('De Officiis') [c.44 BCE], 1.11-20) by A.A. Long - Hellenistic Philosophy 5
     A reaction: I would have thought that after long discussion most ancient (and even modern) philosophers would conclude that it is both. The 'intellectualism' of Socrates hovers in the background, implying that healthy knowledge produces virtue.
1. Philosophy / A. Wisdom / 2. Wise People
Unfortunately we choose a way of life before we are old enough to think clearly [Cicero]
     Full Idea: At the beginning of adolescence when our deliberative capacities are weak we decide on the way of life that we find attractive. So one gets entangled in a definite manner and pattern of life before one is able to judge which one is best.
     From: M. Tullius Cicero (On Duties ('De Officiis') [c.44 BCE], 1.117)
     A reaction: Hence it is important to have lots of means for bailing out of education courses, jobs, and even marriage. At least university postpones the key life choices till the early twenties.
5. Theory of Logic / E. Structures of Logic / 5. Functions in Logic
'Propositional functions' are ambiguous until the variable is given a value [Russell]
     Full Idea: By a 'propositional function' I mean something which contains a variable x, and expresses a proposition as soon as a value is assigned to x. That is to say, it differs from a proposition solely by the fact that it is ambiguous.
     From: Bertrand Russell (The Theory of Logical Types [1910], p.216)
     A reaction: This is Frege's notion of a 'concept', as an assertion of a predicate which still lacks a subject.
5. Theory of Logic / L. Paradox / 6. Paradoxes in Language / a. The Liar paradox
'All judgements made by Epimenedes are true' needs the judgements to be of the same type [Russell]
     Full Idea: Such a proposition as 'all the judgements made by Epimenedes are true' will only be prima facie capable of truth if all his judgements are of the same order.
     From: Bertrand Russell (The Theory of Logical Types [1910], p.227)
     A reaction: This is an attempt to use his theory of types to solve the Liar. Tarski's invocation of a meta-language is clearly in the same territory.
6. Mathematics / C. Sources of Mathematics / 6. Logicism / b. Type theory
Type theory cannot identify features across levels (because such predicates break the rules) [Morris,M on Russell]
     Full Idea: Russell's theory of types meant that features common to different levels of the hierarchy became uncapturable (since any attempt to capture them would involve a predicate which disobeyed the hierarchy restrictions).
     From: comment on Bertrand Russell (The Theory of Logical Types [1910]) by Michael Morris - Guidebook to Wittgenstein's Tractatus 2H
     A reaction: I'm not clear whether this is the main reason why type theory was abandoned. Ramsey was an important critic.
Classes are defined by propositional functions, and functions are typed, with an axiom of reducibility [Russell, by Lackey]
     Full Idea: In Russell's mature 1910 theory of types classes are defined in terms of propositional functions, and functions themselves are regimented by a ramified theory of types mitigated by the axiom of reducibility.
     From: report of Bertrand Russell (The Theory of Logical Types [1910]) by Douglas Lackey - Intros to Russell's 'Essays in Analysis' p.133
6. Mathematics / C. Sources of Mathematics / 10. Constructivism / d. Predicativism
A one-variable function is only 'predicative' if it is one order above its arguments [Russell]
     Full Idea: We will define a function of one variable as 'predicative' when it is of the next order above that of its arguments, i.e. of the lowest order compatible with its having an argument.
     From: Bertrand Russell (The Theory of Logical Types [1910], p.237)
     A reaction: 'Predicative' just means it produces a set. This is Russell's strict restriction on which functions are predicative.
21. Aesthetics / C. Artistic Issues / 7. Art and Morality
Musical performance can reveal a range of virtues [Damon of Ath.]
     Full Idea: In singing and playing the lyre, a boy will be likely to reveal not only courage and moderation, but also justice.
     From: Damon (fragments/reports [c.460 BCE], B4), quoted by (who?) - where?
23. Ethics / D. Deontological Ethics / 3. Universalisability
The essence of propriety is consistency [Cicero]
     Full Idea: The whole essence of propriety is quite certainly consistency.
     From: M. Tullius Cicero (On Duties ('De Officiis') [c.44 BCE], 1.110)
     A reaction: This seems to me the key intuition on which Kant built his deontological ethical theory. However, opponents say the consistency requires principles, and these are the enemies of truly good human behaviour, which involves Aristotle's 'particulars'.