from The American Heritage® Dictionary of the English Language, 4th Edition

  • n. The study of the properties of propositions and deductive reasoning by abstraction and analysis of the form rather than the content of propositions under consideration.

from Wiktionary, Creative Commons Attribution/Share-Alike License

  • n. Mathematical logic.
  • n. A particular logical calculus.

from WordNet 3.0 Copyright 2006 by Princeton University. All rights reserved.

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


Sorry, no etymologies found.


    Sorry, no example sentences found.


Log in or sign up to get involved in the conversation. It's quick and easy.