Advertisement

The Classical Logical Calculus

Chapter
  • 191 Downloads
Part of the Synthese Library book series (SYLI, volume 70)

Abstract

Logic selects inference methods used in science and considered to be correct, and then constructs logical systems on them. These systems are sets of various laws and rules which, when followed, yield all the inferences we can immediately accept. There is perfect agreement in mathematics as to which methods of inference are acceptable and which are not. It does not happen that some people consider some rules of inference to be correct, while others consider them to be entirely wrong. There are only slight differences of opinion about the meaning of some rules and about the extent of their applicability. The set of almost all the methods of inference that are used in mathematics is called classical logic.

Keywords

Free Variable Predicate Calculus Axiom System Predicate Symbol Universal Quantifier 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© PWN — Polish Scientific Publishers, Warszawa, Poland 1974

Authors and Affiliations

  1. 1.Warsaw UniversityUSA

Personalised recommendations