Home / Dictionary / Mathematical logic

Mathematical logic Moderate

Mathematical logic has 2 different meanings across 1 category:

Noun

Definitions
Noun
1

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

2

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.

See Also
mathematics girard's paradox expressive logic productive formal logic recursion theory creative
Related Terms
Broader Terms (hypernyms)
logic
Narrower Terms (hyponyms)
Boolean logic propositional logic predicate calculus modal logic fuzzy logic
Rhyming Words
yogic ergic algic logic zigic magic argic phagic belgic tragic agogic fungic energic otalgic plaggic ellagic iraggic pelagic anergic unmagic
Compare
Mathematical logic vs