Formal logic

Formal logic is logic that deals with the form or logical structure of statements and propositions. Today formal logic is usually carried out in symbolic form, although this is not strictly necessary in order to have a formal logic.

Formal logic encompasses predicate logic, truth-functional logic, quantification logic (the logic of statements containing the terms "all," "none" or "some," or surrrogates for those), mathematical logic, and set theoretic logic (the logic of set theory).

References

ISBN links support NWE through referral fees

• Teller, Paul, A Modern Formal Logic Primer. Orig. pub. by Prentice Hall, 1989. Now available online: http://tellerprimer.ucdavis.edu/