Difference between revisions of "Formal logic" - New World Encyclopedia
From New World Encyclopedia
(New page: '''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 s...) |
|||
| Line 1: | Line 1: | ||
| − | '''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''' 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). | 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). | ||
Revision as of 01:51, 17 March 2007
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/
