Elementy logiki matematycznej i metodologii nauk ścisłych (skrypt z wykładów)
Elements of Mathematical Logic and Exact Sciences Methodology (A collection of lecture transcripts)

Author(s): Andrzej Indrzejczak, Stanisław Jaśkowski
Subject(s): Philosophy, Logic
Published by: Wydawnictwo Uniwersytetu Łódzkiego
Keywords: Jaśkowski Stanisław;mathematical logic;propositional calculus;non-parenthetic marking;quantifiers;predicate calculus
Summary/Abstract: The presented volume is a reissue of the collection of lecture transcripts on mathematical logic and methodology of exact sciences by Stanisław Jaśkowski (1906-1965), an outstanding Polish logician and mathematician, representative of the Lwów-Warsaw School, the creator of natural deduction systems and paraconsistent logics.The transcripts collection was published in 1947 to meet the needs of students of mathematics at the Nicolaus Copernicus University in Toruń, with which Jaśkowski was professionally connected for the last twenty years of his life.The book is the author’s original, extraordinarily modern approach to the subject, significantly different from other textbooks. This was the first work in which logic was consistently presented in the form of a natural deduction system, which later became a standard in logic-related didactics. Given that Jaśkowski developed first systems of this type in the 1930s, we are dealing with an extremely important historical testimony of their first use in teaching.Thanks to the outstanding educational value of this transcript collection, it still remains a very interesting reference for specialists, while students can continue relying on it as a useful textbook on logic – all despite the passing of over seventy years since the first edition.

• Details
• Contents