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.
Haim Saban | Haim Gouri | Corey Haim | Haim Ramon | Haim Hefer | Haim Drukman | Emmanuelle Haïm | Ben Haim | Yosef Haim Brenner | Haim Yavin | Haim Moshe | Haim Laskov | Haim Farhi | Haim Corfu | Haim Be'er |