X-Nico

unusual facts about Haim Gaifman


Haim Gaifman

Gaifman's recent work include logical systems that formalize aspects of natural reasoning (pointer logic for solving the semantic paradoxes, contextual logic for handling vagueness and the Sorites paradox), phenomena of self-reference, metaphysical realism, philosophy of logic, philosophy of mathematics, Frege, Russell, and the early Wittgenstein.



see also