The principle of bivalence holds only when the Boolean algebra is taken to be the two-element algebra, which has no intermediate elements. Intermediate elements of the algebra correspond to truth values other than "true" and "false". In Boolean-valued semantics (for classical propositional logic), the truth values are the elements of an arbitrary Boolean algebra "true" corresponds to the maximal element of the algebra, and "false" corresponds to the minimal element. With the advent of algebraic logic, it became apparent that classical propositional calculus admits other semantics. Jan Łukasiewicz pioneered non-classical logic. Willard Van Orman Quine insisted on classical, first-order logic as the true logic, saying higher-order logic was " set theory in disguise". Wittgenstein was influenced by Frege and Russell and initially considered the Tractatus to have solved all problems of philosophy. Russell and Whitehead were influenced by Peano (it uses his notation) and Frege and sought to show mathematics was derived from logic. Whitehead's Principia Mathematica, and Ludwig Wittgenstein's Tractatus Logico Philosophicus. Peirce influenced Giuseppe Peano and Ernst Schröder.Ĭlassical logic reached fruition in Bertrand Russell and A. The writings of Augustus De Morgan and Charles Sanders Peirce also pioneered classical logic with the logic of relations. Hugh MacColl published a variant of propositional logic two years prior. The notation Frege used never much caught on. Frege, who is considered the founder of analytic philosophy, invented it to show all of mathematics was derivable from logic, and make arithmetic rigorous as David Hilbert had done for geometry, the doctrine is known as logicism in the foundations of mathematics. It was also the first logic capable of dealing with the problem of multiple generality, for which Aristotle's system was impotent. It explains the quantifiers in terms of mathematical functions. It has a wider application than Aristotle's logic and is capable of expressing Aristotle's logic as a special case. The original first-order, classical logic is found in Gottlob Frege's Begriffsschrift. Most semantics of classical logic are bivalent, meaning all of the possible denotations of propositions can be categorized as either true or false. In other words, the overwhelming majority of time spent studying classical logic has been spent studying specifically propositional and first-order logic, as opposed to the other forms of classical logic. While not entailed by the preceding conditions, contemporary discussions of classical logic normally only include propositional and first-order logics.
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |