9 ideas
21900 | Deleuze relies on Spinoza (immanence), Bergson (duration), and difference (Nietzsche) [May] |
Full Idea: The three tripods on which the philosophy of Deleuze stands are immanence (Spinoza), duration (Bergson), and the affirmation of difference (Nietzsche). | |
From: Todd May (Gilles Deleuze [2006], 2.12) | |
A reaction: [Just to begin sketching how continental philosophy sees its tradition]. |
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 |
1590 | The just man does not harm his enemies, but benefits everyone [Plato] |
Full Idea: First, Socrates, you told me justice is harming your enemies and helping your friends. But later it seemed that the just man, since everything he does is for someone's benefit, never harms anyone. | |
From: Plato (Clitophon [c.372 BCE], 410b) | |
A reaction: Socrates certainly didn't subscribe to the first view, which is the traditional consensus in Greek culture. In general Socrates agreed with the views later promoted by Jesus. |
21898 | For existentialists the present is empty without the pull of the future and weight of the past [May] |
Full Idea: For the existential view of lived time, the present would be empty if it were not for the pull of the future and the weight of the past that give it its character. | |
From: Todd May (Gilles Deleuze [2006], 2.05) | |
A reaction: Bergson seems to be important in developing this idea, though I suspect that Kierkegaard is a source. |
21905 | Liberal theory starts from the governed, not from the governor [May] |
Full Idea: For liberal theory, it is the individual to be governed, not the governor, who is the starting point. | |
From: Todd May (Gilles Deleuze [2006], 4.02) | |
A reaction: I'm inclined to see this as the single-handed achievement of Thomas Hobbes, who starts from the need of citizens to secure their contracts. Plato's society starts from entrepreneurs, but their need for a ruler seems a priori. |