### Look at other dictionaries:

**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–Platek set theory with urelements**— The Kripke–Platek set theory with urelements (KPU) is an axiom system for set theory with urelements that is considerably weaker than the familiar system ZF. PreliminariesThe usual way of stating the axioms presumes a two sorted first order… … Wikipedia**Saul Kripke**— Kripke en 2005. Saul Aaron Kripke (1940, Omaha, Nebraska) es un filósofo y lógico estadounidense. Actualmente es profesor emérito de la Universidad de Princeton. Kripke ha realizado importantes y originales contribuciones en diversos campos… … Wikipedia Español**Saul Kripke**— Infobox Philosopher region = Western Philosophy era = 20th century philosophy color = #B0C4DE name = Saul Kripke birth = birth date and age|1940|11|13 death = school tradition = Analytic main interests = Logic (particularly modal) Philosophy of… … Wikipedia**Ockham’s world and future**— Arthur Gibson PHILOSOPHICAL BIOGRAPHY Ockham was born in about 1285, certainly before 1290, probably in the village of Ockham, Surrey, near London. If his epitaph is accurate, he died on 10 April 1347. Yet Conrad of Megenberg, when writing to… … History of philosophy**Frege's Puzzle**— is a puzzle about the semantics of proper names, although the title is also sometimes applied to a related puzzle about indexicals. Frege introduced the puzzle at the beginning of his article Über Sinn und Bedeutung ( On Sense and Reference ),… … Wikipedia