propositional calculus

Also found in: Encyclopedia.
(redirected from Logical calculus)

propositional calculus

n.
The branch of symbolic logic that deals with the relationships formed between propositions by connectives such as and, or, and if as opposed to their internal structure.
American Heritage® Dictionary of the English Language, Fifth Edition. Copyright © 2016 by Houghton Mifflin Harcourt Publishing Company. Published by Houghton Mifflin Harcourt Publishing Company. All rights reserved.

propositional calculus

n
(Logic) the system of symbolic logic concerned only with the relations between propositions as wholes, taking no account of their internal structure. Compare predicate calculus
Collins English Dictionary – Complete and Unabridged, 12th Edition 2014 © HarperCollins Publishers 1991, 1994, 1998, 2000, 2003, 2006, 2007, 2009, 2011, 2014

senten′tial cal′culus


n.
the branch of symbolic logic that deals with the logical relations between unanalyzed propositions, as conjunction, disjunction, negation, and implication. Compare functional calculus. Also called propositional calculus.
[1935–40]
Random House Kernerman Webster's College Dictionary, © 2010 K Dictionaries Ltd. Copyright 2005, 1997, 1991 by Random House, Inc. All rights reserved.
ThesaurusAntonymsRelated WordsSynonymsLegend:
Noun1.propositional calculus - a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them
propositional logic
formal logic, mathematical logic, symbolic logic - any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity
Based on WordNet 3.0, Farlex clipart collection. © 2003-2012 Princeton University, Farlex Inc.
Mentioned in
References in periodicals archive
Neuroscientist Warren McCulloch and logician Walter Pitts present a logical calculus based on neuron-like "logic units" that can be connected together in networks to model the action of a real brain.
A time line of AI: after a century of ups and downs, artificial intelligence is getting smarter
Inspired by the success of the new mathematics, some thinkers, Leibniz included, sought to reduce much or all of human experience to a purely logical calculus.
Our computational culture: from descartes to the computer
Thus Leibniz, as Henrik Lagerlund discusses (Chapter 5, 'Leibniz (and Ockham) on the Language of Thought, or How the True Metaphysics Is Derived from the True Logic'), would later in many ways transform Occam's nominalism through development of a logical calculus as the background to his theory of language and thought--a change which foreshadows later advances within logical positivism.
Leila Haaparanta and Heikki Koskinen (eds.): Categories of Being: Essays on Metaphysics and Logic
Copyright © 2003-2025 Farlex, Inc Disclaimer
All content on this website, including dictionary, thesaurus, literature, geography, and other reference data is for informational purposes only. This information should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional.