Combining Texts

All the ideas for 'Mahaprajnaparamitashastra', 'Set Theory and its Logic' and 'Philosophy of Logics'

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


4 ideas

3. Truth / C. Correspondence Truth / 3. Correspondence Truth critique
Logical truth seems much less likely to 'correspond to the facts' than factual truth does [Haack]
     Full Idea: It is surely less plausible to suppose that logical truth consists in correspondence to the facts than that 'factual' truth does.
     From: Susan Haack (Philosophy of Logics [1978], 7.6)
3. Truth / F. Semantic Truth / 1. Tarski's Truth / a. Tarski's truth definition
The same sentence could be true in one language and meaningless in another, so truth is language-relative [Haack]
     Full Idea: The definition of truth will have to be, Tarski argues, relative to a language, for one and the same sentence may be true in one language, and false or meaningless in another.
     From: Susan Haack (Philosophy of Logics [1978], 7.5)
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / p. Axiom of Reducibility
Reducibility undermines type ramification, and is committed to the existence of functions [Quine, by Linsky,B]
     Full Idea: Quine charges that the axiom of Reducibility both undoes the effect of the ramification, and commits the theory to a platonist view of propositional functions (which is a theory of sets, once use/mention confusions are cleared up).
     From: report of Willard Quine (Set Theory and its Logic [1963], p.249-58) by Bernard Linsky - Russell's Metaphysical Logic 6.1
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').