We use cookies to enhance your experience on our website. By continuing to use our website, you are agreeing to our use of cookies. You can change your cookie settings at any time.ContinueFind out more
The branch of symbolic logic that deals with propositions containing predicates, names, and quantifiers.
‘This language, the language of the predicate calculus, is what Russell called the perfect language.’
‘What you are saying is that, strictly speaking, a proof is valid if it is written out in predicate calculus and has the right structure according to the rules of logic.’
‘In this way, Bradley had a significant, if indirect, impact on predicate calculus.’
‘In the classical predicate calculus only conjunction, negation and the universal quantifier are needed.’
‘But a tough exam question would be: translate into predicate calculus, and explain how to derive the meaning from the form.’