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:

• F1: ~p>(p>q) [Same as IP2]
• F2: p==~~p
• F3: ~(p+q) == ~p&~q [DeMorgan]
• F4: ~(p&q) == ~p+~q [DeMorgan]

Basis for

Go to ...

• Systems Page
• Structures Page
• Logic Page
• John Halleck's home page

Contrast

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

• Standard PC
• Intuitionist PC
• Johansson Minimal Calculus
• LC
• KC

© 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