9 ideas
21916 | Philosophers can't be religious, and don't need to be; philosophy is perilous but free [Schopenhauer] |
Full Idea: No one who is religious attains to philosophy; he does not need it. No one who really philosophizes is religious; he walks without leading-strings, perilously but free. | |
From: Arthur Schopenhauer (Manuscript remains [1855], II p.241-3), quoted by Peter B. Lewis - Schopenhauer 3 | |
A reaction: This is a direct reply to the opposite view expressed by Schleiermacher (and quoted by Lewis). I would say that to be a philosopher one must give priority to the philosophy, ahead of any religious beliefs. Thinking must be free. |
15327 | Kripke's semantic theory has actually inspired promising axiomatic theories [Kripke, by Horsten] |
Full Idea: Kripke has a semantic theory of truth which has inspired promising axiomatic theories of truth. | |
From: report of Saul A. Kripke (Outline of a Theory of Truth [1975]) by Leon Horsten - The Tarskian Turn 01.2 | |
A reaction: Feferman produced an axiomatic version of Kripke's semantic theory. |
15343 | Kripke offers a semantic theory of truth (involving models) [Kripke, by Horsten] |
Full Idea: One of the most popular semantic theories of truth is Kripke's theory. It describes a class of models which themselves involve a truth predicate (unlike Tarski's semantic theory). | |
From: report of Saul A. Kripke (Outline of a Theory of Truth [1975]) by Leon Horsten - The Tarskian Turn 02.3 | |
A reaction: The modern versions explored by Horsten are syntactic versions of this, derived from Feferman's axiomatisation of the Kripke theory. |
14966 | The Tarskian move to a metalanguage may not be essential for truth theories [Kripke, by Gupta] |
Full Idea: Kripke established that, contrary to the prevalent Tarskian dogma, attributions of truth do not always force a move to a metalanguage. | |
From: report of Saul A. Kripke (Outline of a Theory of Truth [1975], 5.1) by Anil Gupta - Truth | |
A reaction: [Gupta also cites Martin and Woodruff 1975] |
14967 | Certain three-valued languages can contain their own truth predicates [Kripke, by Gupta] |
Full Idea: Kripke showed via a fixed-point argument that certain three-valued languages can contain their own truth predicates. | |
From: report of Saul A. Kripke (Outline of a Theory of Truth [1975]) by Anil Gupta - Truth | |
A reaction: [Gupta also cites Martin and Woodruff 1975] It is an odd paradox that truth can only be included if one adds a truth-value of 'neither true nor false'. The proposed three-valued system is 'strong Kleene logic'. |
16328 | Kripke classified fixed points, and illuminated their use for clarifications [Kripke, by Halbach] |
Full Idea: Kripke's main contribution was …his classification of the different consistent fixed points and the discussion of their use for discriminating between ungrounded sentences, paradoxical sentences, and so on. | |
From: report of Saul A. Kripke (Outline of a Theory of Truth [1975]) by Volker Halbach - Axiomatic Theories of Truth 15.1 |
21924 | As the subject of willing I am wretched, but absorption in knowledge is bliss [Schopenhauer] |
Full Idea: As the subject of willing I am an exceedingly wretched being, and all our suffering consistd in willing, ...but as soon as I am absorbed in knowledge, I am blissfully happy and nothing can assail me. | |
From: Arthur Schopenhauer (Manuscript remains [1855], I p.137), quoted by Peter B. Lewis - Schopenhauer 4 | |
A reaction: So the source of his pessimism is subjection to his own will. However, since becoming absorbed in knowledge is an easy task for a scholar, he has little to grumble about. Nietzsche mocked the great pessimist for playing the flute every day. |
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? |
21915 | To deduce morality from reason is blasphemy, because it is holy, and far above reason [Schopenhauer] |
Full Idea: To deduce from reason [Vernunft] the moral element in conduct is blasphemy. In this element there is expressed the better consciousness which lies far above all reason. expresses itself in conduct as holiness, and is the true salvation of the world. | |
From: Arthur Schopenhauer (Manuscript remains [1855], I p.47), quoted by Peter B. Lewis - Schopenhauer 3 | |
A reaction: Aimed at Kant. Only Plato could inspire a non-religious person to write about morality is such terms. Maybe also the stoic ideal of beautiful deeds (given the supreme value Schopenhauer placed on the arts). |