Difference between revisions of "Formal logic" - New World Encyclopedia
({{Paid}}) |
Andy Wilhelm (talk | contribs) m (Protected "Formal logic": Copyedited [edit=sysop:move=sysop]) |
||
Line 1: | Line 1: | ||
− | {{Paid}}{{Contracted}}{{Approved}}{{Images OK}}{{Submitted}} | + | {{Copyedited}}{{Paid}}{{Contracted}}{{Approved}}{{Images OK}}{{Submitted}} |
+ | |||
'''Formal logic''' is [[logic]] that deals with the form or logical structure of statements and propositions and the logical [[implication]]s and relations that exist or come about because of those logical forms. In particular, formal logic is concerned with the forms that yield or guarantee valid inferences from a premise or premises to a conclusion. Formal logic is a subset of [[formal system]]s. 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 can be distinguished from informal logic, which is logic outside of or apart from a formal logical system or theory. | '''Formal logic''' is [[logic]] that deals with the form or logical structure of statements and propositions and the logical [[implication]]s and relations that exist or come about because of those logical forms. In particular, formal logic is concerned with the forms that yield or guarantee valid inferences from a premise or premises to a conclusion. Formal logic is a subset of [[formal system]]s. 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 can be distinguished from informal logic, which is logic outside of or apart from a formal logical system or theory. | ||
==Types of Formal Logic== | ==Types of Formal Logic== | ||
− | Formal logic encompasses predicate logic, truth-functional logic, sentential or propositional logic (the logic of sentences) also known as the [[propositional calculus]] | + | Formal logic encompasses predicate logic, truth-functional logic, sentential or propositional logic (the logic of sentences)—also known as the [[propositional calculus]]—quantification logic (the logic of statements containing the terms "all," "none" or "some," or surrogates for those), mathematical logic, and set theoretic logic (the logic of [[set theory]]). |
==Topics and Issues== | ==Topics and Issues== | ||
− | Among the topics covered in formal logic are: translation of statements from a natural language (such as English, Spanish, or Japanese) into formal logical language; logical equivalence, logical truth, [[contradiction]]s | + | Among the topics covered in formal logic are: translation of statements from a natural language (such as [[English language|English]], [[Spanish language|Spanish]], or [[Japanese language|Japanese]]) into formal logical language; logical equivalence, logical truth, [[contradiction]]s and [[tautology|tautologies]]; validity and invalidity; truth-preservation of theorems; logical soundness; conditionals and their logic ("if___, then..." statements); [[truth table]]s; [[deduction]]s, both natural deductions and formal deductions; well formed formulae (known as ''wffs''); logical operators and their definitions and truth conditions (especially "and," "or," "not," and "if-then"); quantifications and quantification logic; identity and equality (the "=" sign), logical functions, and definite descriptions (a description that applies correctly to an individual person or object); [[axiom]]s and [[axiomatic systems]]; axioms for [[mathematics]]; axioms for set theory; valid derivation rules, meaning principles or rules for correctly deriving statements from axioms or other assumptions in such a way that if those premises or axioms or assumptions are true, then what is derived form them is also necessarily true; existence within a logical system; variables; the theory of types (from [[Russell]] and [[Whitehead]]'s ''Principia Mathematica''); consistency and completeness of logical and other formal systems; elimination of unnecessary theorems and axioms; logical substitution and replacement of terms and statements; the laws of [[reflexivity]] (x=x), [[symmetry]] (if x=y, then y=x), and [[transitivity]] (if x=y and y=z, then x=z), the logic of relations, [[modal logic]] (use of the concepts of necessity, possibility, strict implication, and strict co-implication); tense logic ("always," "at some time," and similar operators), and logical [[paradox]]es. |
Among the most important contributors to formal logic have been [[Gottlob Frege]], [[Bertrand Russell]] and [[Alfred North Whitehead]], [[Alfred Tarski]], [[Kurt Gödel]], [[Alonzo Church]], and [[Willard Van Orman Quine]]. | Among the most important contributors to formal logic have been [[Gottlob Frege]], [[Bertrand Russell]] and [[Alfred North Whitehead]], [[Alfred Tarski]], [[Kurt Gödel]], [[Alonzo Church]], and [[Willard Van Orman Quine]]. | ||
Line 10: | Line 11: | ||
==References== | ==References== | ||
All logic textbooks—and there are hundreds and possibly thousands of them today—except for those few dealing only with informal logic present formal logic at least to some extent. | All logic textbooks—and there are hundreds and possibly thousands of them today—except for those few dealing only with informal logic present formal logic at least to some extent. | ||
− | *Church, Alonzo | + | *Church, Alonzo. ''Introduction to Mathematical Logic''. Princeton, N.J.: Princeton University Press, 1996. |
− | *Church, Alonzo | + | *Church, Alonzo. ed. from Mar. 1936 – Dec. 1939. ''The Journal of Symbolic Logic''. Published in Menasha, Wis., Mar. 1936 – Mar. 1938; in Baltimore, June 1938 – Dec. 1939; in Providence, R.I. thereafter. Also available via the [http://www.aslonline.org/journals-journal.html Internet] Retrieved October 2, 2007. |
− | *Frege, Gottlob | + | *Frege, Gottlob. ''Begriffsschrift und andere Aufsätze''. Hildesheim: G. Olms, 1964. |
− | *Gödel, Kurt | + | *Gödel, Kurt. ''On Formally Undecidable Propositions of Principia Mathematica and Related Systems''. translated by B. Meltzer, introduction by R.B. Braithwaite. New York: Dover Publications, 1992. |
− | *Quine, Willard Van Orman. ''Elementary Logic'', rev. ed. | + | *Quine, Willard Van Orman. ''Elementary Logic'', rev. ed. Cambridge: Harvard University Press, 1966. |
− | *Quine, Willard Van Orman. ''Methods in Logic'', rev. ed. | + | *Quine, Willard Van Orman. ''Methods in Logic'', rev. ed. New York: Holt, 1959. |
− | *Quine, Willard Van Orman. ''Mathematical Logic'', rev. ed., New York : Harper & Row, 1962. | + | *Quine, Willard Van Orman. ''Mathematical Logic'', rev. ed., New York: Harper & Row, 1962. |
− | *Quine, Willard Van Orman. ''Philosophy of Logic'' | + | *Quine, Willard Van Orman. ''Philosophy of Logic''. Englewood Cliffs, N.J.: Prentice-Hall, 1970. ISBN 013663625X |
− | *Quine, Willard Van Orman. ''Set Theory and Its Logic'', rev. ed. | + | *Quine, Willard Van Orman. ''Set Theory and Its Logic'', rev. ed. Cambridge: Belknap Press of Harvard University Press, 1969. |
− | *Quine, Willard Van Orman | + | *Quine, Willard Van Orman. ''The Ways of Paradox: And Other Essays''. New York: Random House, 1966. |
− | *Reese, William L. | + | *Reese, William L. "Logic." pp. 418-423 in ''Dictionary of Philosophy and Religion'', New and enlarged edition. Highlands, NJ: Humanities Press, 1996. ISBN 0-391-03865-6 |
− | *Tarski, Alfred. ''A Decision Method for Elementary Algebra and Geometry'' | + | *Tarski, Alfred. ''A Decision Method for Elementary Algebra and Geometry''. Berkeley: University of California Press, 1951. |
− | *Teller, Paul. ''A Modern Formal Logic Primer''. Orig. pub. by Prentice Hall, 1989. | + | *Teller, Paul. ''A Modern Formal Logic Primer''. Orig. pub. by Prentice Hall, 1989. |
− | *Whitehead, Alfred North, and Russell | + | *Whitehead, Alfred North, and Bertrand Russell. ''Principia Mathematica'', 3 vols. Cambridge [Eng.]: The University Press, 1910-1913. |
==External links== | ==External links== | ||
− | *Teller, Paul. [http://tellerprimer.ucdavis.edu/ A Modern Formal Logic Primer] | + | *Teller, Paul. [http://tellerprimer.ucdavis.edu/ A Modern Formal Logic Primer] Retrieved October 2, 2007. |
− | *[http://mtnmath.com/whatth/node20.html Formal logic] | + | *[http://mtnmath.com/whatth/node20.html Formal logic] Mountain Math Software. Retrieved October 2, 2007. |
− | *[http://www.aaai.org/AITopics/html/logic.html Logic & Formal Reasoning] | + | *[http://www.aaai.org/AITopics/html/logic.html Logic & Formal Reasoning] Association for the Advancement of Artificial Intelligence. Retrieved October 2, 2007. |
− | *[http://logictutorial.com/ Illustrating Formal Logic with Exclusion Diagrams] | + | *[http://logictutorial.com/ Illustrating Formal Logic with Exclusion Diagrams] Russell Johnston and LogicTutorial.com, 1987. Retrieved October 2, 2007. |
− | *[http://www.rbjones.com/rbjpub/logic/log001.htm An introduction to symbolic logic], | + | *[http://www.rbjones.com/rbjpub/logic/log001.htm An introduction to symbolic logic] Retrieved October 2, 2007. |
− | *[http://www.nd.edu/~ndjfl/ The Notre Dame Journal of Formal Logic] | + | *[http://www.nd.edu/~ndjfl/ The Notre Dame Journal of Formal Logic] Notre Dame's Philosophy Department, Notre Dame's Math Department, University of Notre Dame. Retrieved October 2, 2007. |
*Stanford Encyclopedia of Philosophy entry (selective articles only): | *Stanford Encyclopedia of Philosophy entry (selective articles only): | ||
− | + | **[http://plato.stanford.edu/entries/logic-provability/ Provability Logic] Retrieved October 2, 2007. | |
− | **[http://plato.stanford.edu/entries/logic-provability/ Provability Logic] Retrieved | + | **[http://plato.stanford.edu/entries/logic-hybrid/ Hybrid Logic] Retrieved October 2, 2007. |
− | + | **[http://plato.stanford.edu/entries/logic-connexive/ Connexive Logic] Retrieved October 2, 2007. | |
− | **[http://plato.stanford.edu/entries/logic-hybrid/ Hybrid Logic] Retrieved | + | **[http://plato.stanford.edu/entries/logic-paraconsistent/ Paraconsistent Logic] Retrieved October 2, 2007. |
− | + | **[http://plato.stanford.edu/entries/prior/ Arthur Prior] Retrieved October 2, 2007. | |
− | **[http://plato.stanford.edu/entries/logic-connexive/ Connexive Logic] Retrieved | + | **[http://plato.stanford.edu/entries/logic-informal/ Informal Logic] Retrieved October 2, 2007. |
− | + | **[http://plato.stanford.edu/entries/logic-relevance/ Relevance Logic] Retrieved October 2, 2007. | |
− | **[http://plato.stanford.edu/entries/logic-paraconsistent/ Paraconsistent Logic] Retrieved | + | **[http://plato.stanford.edu/entries/logic-linear/ Linear Logic] Retrieved October 2, 2007. |
− | + | **[http://plato.stanford.edu/entries/logic-epistemic/ Epistemic Logic] Retrieved October 2, 2007. | |
− | **[http://plato.stanford.edu/entries/prior/ Arthur Prior] Retrieved | + | **[http://plato.stanford.edu/entries/logic-intuitionistic/ Intuitionistic Logic] Retrieved October 2, 2007. |
− | + | **[http://plato.stanford.edu/entries/consequence-algebraic/ Propositional Consequence Relations and Algebraic Logic] Retrieved October 2, 2007. | |
− | **[http://plato.stanford.edu/entries/logic-informal/ Informal Logic] Retrieved | + | **[http://plato.stanford.edu/entries/logic-fuzzy/ Fuzzy Logic] Retrieved October 2, 2007. |
− | |||
− | **[http://plato.stanford.edu/entries/logic-relevance/ Relevance Logic] Retrieved | ||
− | |||
− | **[http://plato.stanford.edu/entries/logic-linear/ Linear Logic] Retrieved | ||
− | |||
− | **[http://plato.stanford.edu/entries/logic-epistemic/ Epistemic Logic] Retrieved | ||
− | |||
− | **[http://plato.stanford.edu/entries/logic-intuitionistic/ Intuitionistic Logic] Retrieved | ||
− | |||
− | **[http://plato.stanford.edu/entries/consequence-algebraic/ Propositional Consequence Relations and Algebraic Logic] Retrieved | ||
− | |||
− | **[http://plato.stanford.edu/entries/logic-fuzzy/ Fuzzy Logic] Retrieved | ||
===General Philosophy Sources=== | ===General Philosophy Sources=== | ||
− | *[http://plato.stanford.edu/ Stanford Encyclopedia of Philosophy] Retrieved | + | *[http://plato.stanford.edu/ Stanford Encyclopedia of Philosophy] Retrieved October 2, 2007. |
− | *[http://www.iep.utm.edu/ The Internet Encyclopedia of Philosophy] Retrieved | + | *[http://www.iep.utm.edu/ The Internet Encyclopedia of Philosophy] Retrieved October 2, 2007. |
− | *[http://www.epistemelinks.com/ | + | *[http://www.epistemelinks.com/ Philosophy Sources on Internet EpistemeLinks] Retrieved October 2, 2007. |
− | *[http://www.earlham.edu/~peters/gpi/index.htm Guide to Philosophy on the Internet] Retrieved | + | *[http://www.earlham.edu/~peters/gpi/index.htm Guide to Philosophy on the Internet] Retrieved October 2, 2007. |
− | *[http://www.bu.edu/wcp/PaidArch.html Paideia Project Online] Retrieved | + | *[http://www.bu.edu/wcp/PaidArch.html Paideia Project Online] Retrieved October 2, 2007. |
− | *[http://www.gutenberg.org/ Project Gutenberg] Retrieved | + | *[http://www.gutenberg.org/ Project Gutenberg] Retrieved October 2, 2007. |
[[category:Philosophy and religion]] | [[category:Philosophy and religion]] | ||
[[Category:philosophy]] | [[Category:philosophy]] |
Revision as of 22:43, 2 October 2007
Formal logic is logic that deals with the form or logical structure of statements and propositions and the logical implications and relations that exist or come about because of those logical forms. In particular, formal logic is concerned with the forms that yield or guarantee valid inferences from a premise or premises to a conclusion. 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 can be distinguished from informal logic, which is logic outside of or apart from a formal logical system or theory.
Types of Formal Logic
Formal logic encompasses predicate logic, truth-functional logic, sentential or propositional logic (the logic of sentences)—also known as the propositional calculus—quantification logic (the logic of statements containing the terms "all," "none" or "some," or surrogates for those), mathematical logic, and set theoretic logic (the logic of set theory).
Topics and Issues
Among the topics covered in formal logic are: translation of statements from a natural language (such as English, Spanish, or Japanese) into formal logical language; logical equivalence, logical truth, contradictions and tautologies; validity and invalidity; truth-preservation of theorems; logical soundness; conditionals and their logic ("if___, then..." statements); truth tables; deductions, both natural deductions and formal deductions; well formed formulae (known as wffs); logical operators and their definitions and truth conditions (especially "and," "or," "not," and "if-then"); quantifications and quantification logic; identity and equality (the "=" sign), logical functions, and definite descriptions (a description that applies correctly to an individual person or object); axioms and axiomatic systems; axioms for mathematics; axioms for set theory; valid derivation rules, meaning principles or rules for correctly deriving statements from axioms or other assumptions in such a way that if those premises or axioms or assumptions are true, then what is derived form them is also necessarily true; existence within a logical system; variables; the theory of types (from Russell and Whitehead's Principia Mathematica); consistency and completeness of logical and other formal systems; elimination of unnecessary theorems and axioms; logical substitution and replacement of terms and statements; the laws of reflexivity (x=x), symmetry (if x=y, then y=x), and transitivity (if x=y and y=z, then x=z), the logic of relations, modal logic (use of the concepts of necessity, possibility, strict implication, and strict co-implication); tense logic ("always," "at some time," and similar operators), and logical paradoxes.
Among the most important contributors to formal logic have been Gottlob Frege, Bertrand Russell and Alfred North Whitehead, Alfred Tarski, Kurt Gödel, Alonzo Church, and Willard Van Orman Quine.
ReferencesISBN links support NWE through referral fees
All logic textbooks—and there are hundreds and possibly thousands of them today—except for those few dealing only with informal logic present formal logic at least to some extent.
- Church, Alonzo. Introduction to Mathematical Logic. Princeton, N.J.: Princeton University Press, 1996.
- Church, Alonzo. ed. from Mar. 1936 – Dec. 1939. The Journal of Symbolic Logic. Published in Menasha, Wis., Mar. 1936 – Mar. 1938; in Baltimore, June 1938 – Dec. 1939; in Providence, R.I. thereafter. Also available via the Internet Retrieved October 2, 2007.
- Frege, Gottlob. Begriffsschrift und andere Aufsätze. Hildesheim: G. Olms, 1964.
- Gödel, Kurt. On Formally Undecidable Propositions of Principia Mathematica and Related Systems. translated by B. Meltzer, introduction by R.B. Braithwaite. New York: Dover Publications, 1992.
- Quine, Willard Van Orman. Elementary Logic, rev. ed. Cambridge: Harvard University Press, 1966.
- Quine, Willard Van Orman. Methods in Logic, rev. ed. New York: Holt, 1959.
- Quine, Willard Van Orman. Mathematical Logic, rev. ed., New York: Harper & Row, 1962.
- Quine, Willard Van Orman. Philosophy of Logic. Englewood Cliffs, N.J.: Prentice-Hall, 1970. ISBN 013663625X
- Quine, Willard Van Orman. Set Theory and Its Logic, rev. ed. Cambridge: Belknap Press of Harvard University Press, 1969.
- Quine, Willard Van Orman. The Ways of Paradox: And Other Essays. New York: Random House, 1966.
- Reese, William L. "Logic." pp. 418-423 in Dictionary of Philosophy and Religion, New and enlarged edition. Highlands, NJ: Humanities Press, 1996. ISBN 0-391-03865-6
- Tarski, Alfred. A Decision Method for Elementary Algebra and Geometry. Berkeley: University of California Press, 1951.
- Teller, Paul. A Modern Formal Logic Primer. Orig. pub. by Prentice Hall, 1989.
- Whitehead, Alfred North, and Bertrand Russell. Principia Mathematica, 3 vols. Cambridge [Eng.]: The University Press, 1910-1913.
External links
- Teller, Paul. A Modern Formal Logic Primer Retrieved October 2, 2007.
- Formal logic Mountain Math Software. Retrieved October 2, 2007.
- Logic & Formal Reasoning Association for the Advancement of Artificial Intelligence. Retrieved October 2, 2007.
- Illustrating Formal Logic with Exclusion Diagrams Russell Johnston and LogicTutorial.com, 1987. Retrieved October 2, 2007.
- An introduction to symbolic logic Retrieved October 2, 2007.
- The Notre Dame Journal of Formal Logic Notre Dame's Philosophy Department, Notre Dame's Math Department, University of Notre Dame. Retrieved October 2, 2007.
- Stanford Encyclopedia of Philosophy entry (selective articles only):
- Provability Logic Retrieved October 2, 2007.
- Hybrid Logic Retrieved October 2, 2007.
- Connexive Logic Retrieved October 2, 2007.
- Paraconsistent Logic Retrieved October 2, 2007.
- Arthur Prior Retrieved October 2, 2007.
- Informal Logic Retrieved October 2, 2007.
- Relevance Logic Retrieved October 2, 2007.
- Linear Logic Retrieved October 2, 2007.
- Epistemic Logic Retrieved October 2, 2007.
- Intuitionistic Logic Retrieved October 2, 2007.
- Propositional Consequence Relations and Algebraic Logic Retrieved October 2, 2007.
- Fuzzy Logic Retrieved October 2, 2007.
General Philosophy Sources
- Stanford Encyclopedia of Philosophy Retrieved October 2, 2007.
- The Internet Encyclopedia of Philosophy Retrieved October 2, 2007.
- Philosophy Sources on Internet EpistemeLinks Retrieved October 2, 2007.
- Guide to Philosophy on the Internet Retrieved October 2, 2007.
- Paideia Project Online Retrieved October 2, 2007.
- Project Gutenberg Retrieved October 2, 2007.