Advertisement

Metamathematics, the Foundations of Mathematics and the Semantic Conception of Truth

  • Jan Wolenski
Chapter
Part of the Synthese Library book series (SYLI, volume 198)

Abstract

The first serious work on metamathematics in Poland was written outside the Warsaw School, although within the Lvov—Warsaw School. It was Ajdukiewicz’s work (1921) on the methodology of the deductive sciences. He analysed three problems: the concept of proof in the logical sense of the term, the consistency of axioms, and the concept of existence in the deductive sciences. In his book Ajdukiewicz basically reported on Hilbert’s views, but two of his results seem original: the definition of logical consequence (a sentence B follows logically from a sentence A if and only if the implication AB is a logical theorem) and the relativization of the concept of existence to a given formal system. This last idea suggested the relativization of other metalogical and metamathematical concepts to fixed formal systems.

Keywords

Semantic Theory Object Language Deductive System Semantic Concept Chapter VIII 
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

© Kluwer Academic Publishers 1989

Authors and Affiliations

  • Jan Wolenski
    • 1
  1. 1.The Jagiellonian UniversityKrakówPoland

Personalised recommendations