BabelNet

bn:00035928n

Noun Concept

Categories: Articles with short description, Logic, Philosophy of mathematics, Fields of mathematics, Mathematical logic

symbolic logic mathematical logic formal logic 20th century in mathematical logic Applications of mathematical logic

Any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity WordNet 3.0

Definitions

Relations

Sources

Any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity WordNet 3.0 & Open English WordNet

Mathematical logic is the study of formal logic within mathematics. Wikipedia

A branch of mathematics that grew out of symbolic logic Wikipedia Disambiguation

The use of symbols for logical operations in logic and mathematics Wikipedia Disambiguation

A subfield of mathematics with close connections to computer science and philosophical logic. OmegaWiki

A subfield of logic and mathematics consisting of both the mathematical study of logic and the application of this study to other areas of mathematics, exemplified by questions on the expressive power of formal logics and the deductive power of formal proof systems. Wiktionary

A formal system of deductive logic in which aspects and relationships of natural language are represented by a system of symbols. Wiktionary

IS A

HAS PART

Gödel's completeness theorem

judgment

+12 relations

PART OF

mathematics