mathematical logic definition

  • noun:
    • See symbolic logic.
    • A subfield of reasoning and mathematics consisting of the mathematical research of logic while the application for this research to many other regions of mathematics, exemplified by questions on the expressive energy of formal logics and also the deductive energy of formal proof systems.
    • any logical system that abstracts the type of statements away from their particular content to be able to establish abstract requirements of consistency and validity

Related Sources

  • Hyponym for "mathematical logic"
  • Hypernym for "mathematical logic"
53 votes

How would you define mathematical logic?

All the definitions on AZdictionary were written by people just like you. Now's your chance to add your own!