7 ideas
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. |
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'. |
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] |
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 |
22086 | The most important aspect of a human being is not reason, but passion [Kierkegaard, by Carlisle] |
Full Idea: Kierkegaard insisted that the most important aspect of a human being is not reason, but passion. | |
From: report of Søren Kierkegaard (works [1845]) by Clare Carlisle - Kierkegaard: a guide for the perplexed Intro | |
A reaction: Hume comes to mind for a similar view, but in character Hume was far more rational than Kierkegaard. |
5467 | Euler said nature is instrinsically passive, and minds cause change [Euler, by Ellis] |
Full Idea: Euler thought the powers necessary for the maintenance of the changing universe would turn out to be just the passive ones of inertia and impenetrability. There are no active powers, he urged, other than those of God and living beings. | |
From: report of Leonhard Euler (Letters to a German Princess [1765]) by Brian Ellis - The Philosophy of Nature: new essentialism Ch.4 | |
A reaction: Very significant, I think, for revealing the religious framework behind early theories of natural laws. If there is nothing external to impose powers and movements on nature, the source must be sought within - hence essentialism. |