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.(noun)
American Heritage(R) Dictionary of the English Language, Fifth Edition. Copyright (c) 2011 by Houghton Mifflin Harcourt Publishing Company. Published by Houghton Mifflin Harcourt Publishing Company. All rights reserved.