Combining Texts

All the ideas for 'On Duties ('De Officiis')', 'Gentzen's Analysis of First-Order Proofs' and 'The Logical Structure of the World (Aufbau)'

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


8 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 / A. Overview of Logic / 1. Overview of Logic
Logic is based on transitions between sentences [Prawitz]
     Full Idea: I agree entirely with Dummett that the right way to answer the question 'what is logic?' is to consider transitions between sentences.
     From: Dag Prawitz (Gentzen's Analysis of First-Order Proofs [1974], §04)
     A reaction: I always protest at this point that reliance on sentences is speciesism against animals, who are thereby debarred from reasoning. See the wonderful Idea 1875 of Chrysippus. Hacking's basic suggestion seems right. Transition between thoughts.
5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / a. Logical connectives
Natural deduction introduction rules may represent 'definitions' of logical connectives [Prawitz]
     Full Idea: With Gentzen's natural deduction, we may say that the introductions represent, as it were, the 'definitions' of the logical constants. The introductions are not literally understood as 'definitions'.
     From: Dag Prawitz (Gentzen's Analysis of First-Order Proofs [1974], 2.2.2)
     A reaction: [Hacking, in 'What is Logic? §9' says Gentzen had the idea that his rules actually define the constants; not sure if Prawitz and Hacking are disagreeing]
5. Theory of Logic / H. Proof Systems / 4. Natural Deduction
In natural deduction, inferences are atomic steps involving just one logical constant [Prawitz]
     Full Idea: In Gentzen's natural deduction, the inferences are broken down into atomic steps in such a way that each step involves only one logical constant. The steps are the introduction or elimination of the logical constants.
     From: Dag Prawitz (Gentzen's Analysis of First-Order Proofs [1974], 1.1)
14. Science / B. Scientific Theories / 1. Scientific Theory
Carnap tried to define all scientific predicates in terms of primitive relations, using type theory [Carnap, by Button]
     Full Idea: Carnap's ultimate ambition in the Aufbau is to provide a constitution-system within which any predicate of any scientific vocabulary can be explicitly defined in terms of primitive relations holding among basic elements, using type theory.
     From: report of Rudolph Carnap (The Logical Structure of the World (Aufbau) [1928]) by Tim Button - The Limits of Reason 05.2
     A reaction: David Chalmers has a modern shot at the same project in 'Constructing the World'. Ramsey sentences seem to be part of the same game.
18. Thought / D. Concepts / 4. Structure of Concepts / g. Conceptual atomism
All concepts can be derived from a few basics, making possible one science of everything [Carnap, by Brody]
     Full Idea: In the 'Aufbau', Carnap tried to show how all of our concepts can be derived from a few basic concepts. ..Consequently there can be one science which studied all that existed, the science of the objects corresponding to the basic concepts.
     From: report of Rudolph Carnap (The Logical Structure of the World (Aufbau) [1928]) by Baruch Brody - Identity and Essence 2.2
     A reaction: This is Carnap's Constructionist programme.
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'.