Combining Texts

All the ideas for 'Mahaprajnaparamitashastra', 'The Logical Structure of the World (Aufbau)' and 'Elements of Mathematical Logic'

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


4 ideas

4. Formal Logic / E. Nonclassical Logics / 3. Many-Valued Logic
Lukasiewicz's L3 logic has three truth-values, T, F and I (for 'indeterminate') [Lukasiewicz, by Fisher]
     Full Idea: In response to Aristotle's sea-battle problem, Lukasiewicz proposed a three-valued logic that has come to be known as L3. In addition to the values true and false (T and F), there is a third truth-value, I, meaning 'indeterminate' or 'possible'.
     From: report of Jan Lukasiewicz (Elements of Mathematical Logic [1928], 7.I) by Jennifer Fisher - On the Philosophy of Logic
     A reaction: [He originated the idea in 1917] In what sense is the third value a 'truth' value? Is 'I don't care' a truth-value? Or 'none of the above'? His idea means that formalization doesn't collapse when things get obscure. You park a few propositions under I.
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 / C. Virtue Theory / 3. Virtues / a. Virtues
The six perfections are giving, morality, patience, vigour, meditation, and wisdom [Nagarjuna]
     Full Idea: The six perfections are of giving, morality, patience, vigour, meditation, and wisdom.
     From: Nagarjuna (Mahaprajnaparamitashastra [c.120], 88)
     A reaction: What is 'morality', if giving is not part of it? I like patience and vigour being two of the virtues, which immediately implies an Aristotelian mean (which is always what is 'appropriate').