Combining Texts

All the ideas for 'fragments/reports', 'Epistemic Operators' and 'Elements of Mathematical Logic'

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


3 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.
13. Knowledge Criteria / A. Justification Problems / 2. Justification Challenges / c. Knowledge closure
You have knowledge if you can rule out all the relevant alternatives to what you believe [Dretske, by DeRose]
     Full Idea: The 'Relevant Alternatives' theory of knowledge said the main ingredient that must be added to true belief to make knowledge is that one be in a position to rule out all the relevant alternatives to what one believes.
     From: report of Fred Dretske (Epistemic Operators [1970]) by Keith DeRose - Intro: Responding to Skepticism §6
     A reaction: Dretske and Nozick are associated with this strategy. There will obviously be a problem in defining 'relevant'. Otherwise it sounds quite close to Plato's suggestion that we need true belief with 'logos'.
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?