Fitch Calculus

[Hackstaff, 1966]

Notes

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 ...

Contrast

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 http://www.cc.utah.edu/~nahaj/logic/structures/systems/fitch.html
This page was last modified on January 5th, 2006