Fitch Calculus

[Hackstaff, 1966]


This page is about Fitch's calculus. It is not about his notation.

I have converted his notation to my standard notation.

If you want to see his notation, I personally recommend his 1952 book "Symbolic Logic", instead of rooting around on the net.

Based on

Fitch Calculus is the Hilbert's Positive Propositional Logic plus the Axioms:

[Hackstaff, 1966, p223]

Basis for

Go to ...


Fitch Logic Calculus an alternative to Standard PC, contrast it with some other popular alternatives:

© Copyright 2000, by John Halleck, All Rights Reserved.
This page is
This page was last modified on January 5th, 2006