Symbolic Logic
Jump to navigation
Jump to search
See: Deductive Logic, Propositional Logic, Predicate Logic, Mathematical Logic, Fuzzy Logic, Logical Inference.
References
- WordNet.
- any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity
- (Wikipedia, 2009) ⇒ http://en.wikipedia.org/wiki/Symbolic_logic
- 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.
- http://en.wiktionary.org/wiki/symbolic_logic
- A formal system of deductive logic in which aspects and relationships of natural language are represented by a system of symbols