Kripke's

Kripke's

Philosophy dictionary. . 2011.

Игры ⚽ Нужен реферат?

Look at other dictionaries:

  • Kripke — ist der Name folgender Personen: Eric Kripke (* 1974), Regisseur, Produzent und Drehbuchautor Saul Aaron Kripke (* 1940), US amerikanischer Philosoph und Logiker Diese Seite ist eine Begriffsklärung zur Unterscheidung mehrer …   Deutsch Wikipedia

  • Kripke — Kripke, Saul Aaron …   Philosophy dictionary

  • Kripke — Krịpke,   Saul Aaron, amerikanischer Logiker und Philosoph, * Bay Shore (N. Y.) 13. 11. 1940; erregte 1959 Aufsehen, als er mithilfe der von ihm entwickelten Modellvorstellung der »möglichen Welten« (Kripke Semantik) zeigen konnte, dass die… …   Universal-Lexikon

  • Kripke — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Saul Aaron Kripke, philosophe et logicien américain né en novembre 1940 ; Eric Kripke, créateur de la série télévisée américaine Supernatural.… …   Wikipédia en Français

  • Kripke semantics — (also known as relational semantics or frame semantics, and often confused with possible world semantics) is a formal semantics for non classical logic systems created in the late 1950s and early 1960s by Saul Kripke. It was first made for modal… …   Wikipedia

  • KRIPKE, SAUL AARON — (1940– ), U.S. philosopher interested in metaphysics, philosophy of language, epistemology, philosophy of mind, and philosophy of logic and mathematics. Kripke helped advance understanding in modal logic, intuitionistic logic, and set theory.… …   Encyclopedia of Judaism

  • Kripke, Saul — ▪ American logician and philosopher Introduction in full  Saul Aaron Kripke  born Nov. 13, 1940, Bay Shore, Long Island, N.Y., U.S.    American logician and philosopher who from the 1960s was one of the most powerful thinkers in Anglo American… …   Universalium

  • Kripke structure — A Kripke structure is a type of nondeterministic finite state machine used in model checking to represent the behaviour of a system. It is basically a graph whose nodes represent the reachable states of the system and whose edges represent state… …   Wikipedia

  • Kripke–Platek set theory — The Kripke–Platek axioms of set theory (KP) (IPAEng|ˈkrɪpki ˈplɑːtɛk) are a system of axioms of axiomatic set theory, developed by Saul Kripke and Richard Platek. The axiom system is written in first order logic; it has an infinite number of… …   Wikipedia

  • Kripke, Saul Aaron — (1940– ) American logician and philosopher. Born in New York, and educated at Harvard and Oxford, Kripke made his early reputation as a logical prodigy, especially through work on the completeness of systems of modal logic. The three classic… …   Philosophy dictionary

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”