Melvin Fitting

Melvin Fitting is a logician whose work delves into philosophical logic and tableau proof systems. He explores how reasoning principles shift depending on context and subject matter, viewing logic as a valuable tool for embodying and demonstrating the coherence of philosophical positions. His extensive academic career involved teaching and research, shaping both students and the field. Fitting's approach highlights logic's capacity to formalize thought and reveal its underlying structures.

Melvin Fitting

Author's work

Book order (chronological)

First order logic and automated theorem proving

First-Order Modal Logic

Beyond two: theory and applications of multiple valued logic

Justification Logic

First-Order Logic and Automated Theorem Proving

Types, tableaus, and Gödel's God