8 ideas
14965 | Truth rests on Elimination ('A' is true → A) and Introduction (A → 'A' is true) [Gupta] |
Full Idea: The basic principles governing truth are Truth Elimination (sentence A follows from ''A' is true') and the converse Truth Introduction (''A' is true' follows from A), which combine into Tarski's T-schema - 'A' is true if and only if A. | |
From: Anil Gupta (Truth [2001], 5.1) | |
A reaction: Introduction and Elimination rules are the basic components of natural deduction systems, so 'true' now works in the same way as 'and', 'or' etc. This is the logician's route into truth. |
14968 | A weakened classical language can contain its own truth predicate [Gupta] |
Full Idea: If a classical language is expressively weakened - for example, by dispensing with negation - then it can contain its own truth predicate. | |
From: Anil Gupta (Truth [2001], 5.2) | |
A reaction: Thus the Tarskian requirement to move to a metalanguage for truth is only a requirement of a reasonably strong language. Gupta uses this to criticise theories that dispense with the metalanguage. |
14964 | The Liar reappears, even if one insists on propositions instead of sentences [Gupta] |
Full Idea: There is the idea that the Liar paradox is solved simply by noting that truth is a property of propositions (not of sentences), and the Liar sentence does not express a proposition. But we then say 'I am not now expressing a true proposition'! | |
From: Anil Gupta (Truth [2001], 5.1) | |
A reaction: Disappointed to learn this, since I think focusing on propositions (which are unambiguous) rather than sentences solves a huge number of philosophical problems. |
14969 | Strengthened Liar: either this sentence is neither-true-nor-false, or it is not true [Gupta] |
Full Idea: An example of the Strengthened Liar is the following statement SL: 'Either SL is neither-true-nor-false or it is not true'. This raises a serious problem for any theory that assesses the paradoxes to be neither true nor false. | |
From: Anil Gupta (Truth [2001], 5.4.2) | |
A reaction: If the sentence is either true or false it reduces to the ordinary Liar. If it is neither true nor false, then it is true. |
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? |
15675 | We don't condemn people for being bad at reasoning [Finlayson] |
Full Idea: We do not morally disapprove of people who are incompetent reasoners. | |
From: James Gordon Finlayson (Habermas [2005], Ch.6:83) | |
A reaction: Well, we don't morally disapprove simply of their lack of reasoning ability, but we may morally disapprove of their actions, which have arisen entirely from the disability. |
15674 | One can universalise good advice, but that doesn't make it an obligation [Finlayson] |
Full Idea: 'Early to bed and early to rise' is a universalizable maxim, but, though it might be good advice, there is obviously no such obligation. | |
From: James Gordon Finlayson (Habermas [2005], Ch.6:83) | |
A reaction: I take it that Kant's rule won't distinguish moral guidance from prudential guidance. Unfair, I think. I may be a lark, but when I universalise this maxim I see that it can't be willed as a universal rule, because we should tolerate the owls. |
15662 | The 'culture industry' is an advertisement for the way things are [Finlayson] |
Full Idea: Critical theory said that culture unwittingly played the role of an advertisement for the way things are. Horkheimer and Adorno referred to this phenomenon as the 'culture industry'. | |
From: James Gordon Finlayson (Habermas [2005], Ch.1:04) | |
A reaction: An interesting perspective. However, absolutely everything is an advertisement for what it offers. I think this is especially true of moral (and immoral) actions. |