Symbolic logic is the area of mathematics which studies the purely formal properties of strings of symbols. The interest in this area springs from two sources. First, the symbols used in symbolic logic can be seen as representing the words used in philosophical logic. Second, the rules for manipulating symbols found in symbolic logic can be implemented on a computing machine.
Symbolic logic is usually divided into two subfields, propositional log...
more
Symbolic logic is the area of mathematics which studies the purely formal properties of strings of symbols. The interest in this area springs from two sources. First, the symbols used in symbolic logic can be seen as representing the words used in philosophical logic. Second, the rules for manipulating symbols found in symbolic logic can be implemented on a computing machine.
Symbolic logic is usually divided into two subfields, propositional logic and predicate logic. Other logics of interest include temporal logic, modal logic and fuzzy logic. See also model theory.
Modern mathematical areas arising out of formal logic are grouped under the heading mathematical logic.
The area of symbolic logic called propositional logic, originally called propositional calculus but not to be confused with the branch of mathematics calculus, studies the properties of sentences formed from constants, usually designated p, q, r, ... and five logical operators, AND, OR, IF...THEN, IF AND ONLY IF and...
less
