Bertrand Russell a argumentat că descrierile nu sunt nume. Russell l-a contrazis astfel pe John Stuart Mill care a susținut că descrierile sunt „nume cu multe cuvinte” (în Sistemul de logică). Mill a afirmat că numele pot fi împărțite în … Citeşte mai mult
Saul A. Kripke (născut în 1940 la New York) a început să arate o înzestrare matematică deosebită şi un interes puternic pentru întrebări filosofice la o vârstă fragedă. La 15 ani a dezvoltat o semantică pentru logica modală cuantificată, iar demonstraţia … Citeşte mai mult
Modele canonice Pentru orice logică modală normală L, poate fi construit un model Kripke (numit model canonic), care validează exact teoremele L, printr-o adaptare a tehnicii standard de a folosi seturi consistente maximale ca modele. Modelele Canonice Kripke joacă un … Citeşte mai mult
(Exemplu de model Kripke pentru logica temporală liniară, o logică modală particulară) Două dintre lucrările anterioare ale lui Kripke, Teorema unei completitudini în logica modală și Considerentele semantice privind logica modală, prima scrisă când era adolescentă, se afla pe logica … Citeşte mai mult
Începând cu anii 1960, Kripke a fost o figură centrală într-o serie de domenii legate de logica matematică, filozofia limbii, filosofia matematicii, metafizica, epistemologia și teoria seturilor. A avut contribuții influente și originale la logică, în special logica modală, și … Citeşte mai mult
Saul Aaron Kripke (născut la 13 noiembrie 1940) este un filosof și logician american. Este profesor de filosofie la Centrul Universitar din New York și profesor emerit la Universitatea Princeton. Începând cu anii 1960, Kripke a fost o figură centrală … Citeşte mai mult
