Skip to content
Saul Kripke

Saul Kripke

A philosopher who proposed a paracomplete logic where paradoxical sentences lack a truth value.

theorist

Publications

1963"Discussion"
1967"Deduction-preserving "Recursive Isomorphisms" between theories"
1967"An extension of a theorem of Gaifman-Hales-Solvay"
1967"Deduction-preserving “recursive isomorphisms” between theories"
1975"Outline of a Theory of Truth"