Combining Texts

All the ideas for 'fragments/reports', 'Frege' and 'Paraconsistent Logic'

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


3 ideas

4. Formal Logic / B. Propositional Logic PL / 1. Propositional Logic
Aristotelian logic dealt with inferences about concepts, and there were also proposition inferences [Weiner]
     Full Idea: Till the nineteenth century, it was a common view that Aristotelian logic could evaluate inferences whose validity was based on relations between concepts, while propositional logic could evaluate inferences based on relations between propositions.
     From: Joan Weiner (Frege [1999], Ch.3)
     A reaction: Venn diagrams relate closely to Aristotelian syllogisms, as each concept is represented by a circle, and shows relations between sets. Arrows seem needed to represent how to go from one proposition to another. Is one static, the other dynamic?
4. Formal Logic / E. Nonclassical Logics / 7. Paraconsistency
Paraconsistent reasoning can just mean responding sensibly to inconsistencies [Jago]
     Full Idea: A practical application of paraconsistent reasoning is in large databases. It does not mean that contradictions could be true, but only that we sometimes need to draw sensible conclusions from inconsistent data. 'Dialethists' believe some contradictions.
     From: Mark Jago (Paraconsistent Logic [2010])
     A reaction: Interesting as a more cautious and sensible attitude to the scandal of paraconsistency.
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?