3 ideas
9560 | S5 provides the correct logic for necessity in the broadly logical sense [Fine,K] |
Full Idea: S5 provides the correct logic for necessity in the broadly logical sense. | |
From: Kit Fine (Model Theory for Modal Logic I [1978], 151), quoted by Charles Chihara - A Structural Account of Mathematics | |
A reaction: I have no view on this, but I am prejudiced in favour of the idea that there is a correct logic for such things, whichever one it may be. Presumably the fact that S5 has no restrictions on accessibility makes it more comprehensive and 'metaphysical'. |
468 | 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? |
4800 | Natural laws result from eliminative induction, where enumerative induction gives generalisations [Cohen,LJ, by Psillos] |
Full Idea: Cohen contends that statements that express laws of nature are the products of eliminative induction, where accidentally true generalisations are the products of enumerative induction. | |
From: report of L. Jonathan Cohen (The Problem of Natural Laws [1980], p.222) by Stathis Psillos - Causation and Explanation §7.1 | |
A reaction: The idea is that enumerative induction only offers the support of positive instances, where eliminative induction involves attempts to falsify a range of hypotheses. This still bases laws on observed regularities, rather than essences or mechanisms. |