Meyers Großes Taschenlexikon in 25 Bänden
Kripke
Krịpke,Saul Aaron, amerikan. Logiker und Philosoph, * Bay Shore (N. Y.) 13. 11. 1940; erregte 1959 Aufsehen, als er mithilfe der Modellvorstellung der »mögl. Welten« (K.-Semantik) zeigen konnte, dass die Modallogik vollständig ist. In seinem philosoph. Hauptwerk »Name und Notwendigkeit« (1972) schlug er eine neue Interpretation der Begriffspaare »a priori/a posteriori« und »notwendig/zufällig« vor. Bes. die Theorie, Namen seien »starre Designatoren«, deren Bedeutung in allen mögl. Welten dieselbe sei, hat viele Diskussionen hervorgerufen. Neuere Arbeiten von K. betreffen die Wahrheitstheorie.
Krịpke,Saul Aaron, amerikan. Logiker und Philosoph, * Bay Shore (N. Y.) 13. 11. 1940; erregte 1959 Aufsehen, als er mithilfe der Modellvorstellung der »mögl. Welten« (K.-Semantik) zeigen konnte, dass die Modallogik vollständig ist. In seinem philosoph. Hauptwerk »Name und Notwendigkeit« (1972) schlug er eine neue Interpretation der Begriffspaare »a priori/a posteriori« und »notwendig/zufällig« vor. Bes. die Theorie, Namen seien »starre Designatoren«, deren Bedeutung in allen mögl. Welten dieselbe sei, hat viele Diskussionen hervorgerufen. Neuere Arbeiten von K. betreffen die Wahrheitstheorie.