8 ideas
| 22077 | Metaphysics is the lattice which makes incoming material intelligible [Hegel] |
| Full Idea: Metaphysics means nothing other than the range of general determinations of thought, the diamond lattice, as it were, into which we bring all material and thereby first make it intelligible. | |
| From: Georg W.F.Hegel (Philosophy of Nature (Encylopedia II) [1817], §3), quoted by Stephen Houlgate - Hegel p.95 | |
| A reaction: This sounds to me like a perfect summary of Kant's transcendental view. Metaphysics is the a priori deconstruction of our conceptual scheme. But for Kant it is fixed, and for Hegel it is dynamic. |
| 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 |
| 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? |
| 21756 | All revolutions result from spirit changing its categories, to achieve a deeper understanding [Hegel] |
| Full Idea: All revolutions ...originate solely from the fact that spirit, in order to understand and comprehend itself with a view to possessing itself, has changed its categories, comprehending itself more truly, more deeply, more intimately in unity with itself. | |
| From: Georg W.F.Hegel (Philosophy of Nature (Encylopedia II) [1817], §246), quoted by Stephen Houlgate - An Introduction to Hegel 01 | |
| A reaction: Some Hegelian waffle here, but it focuses on what seems important, which is how societal thinking has shifted, so that what was previously tolerated now triggers a revolution. |