Formal logic
From New World Encyclopedia
Formal logic is logic that deals with the form or logical structure of statements and propositions. Formal logic is a subset of formal systems. 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).
ReferencesISBN 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/