Geneza intuicjonistycznego rachunku zdań i Twierdzenie Gliwienki

• Authors: Piotr Urbańczyk

Title variants

EN

The Origin of Intuitionistic Propositional Calculus and Glivenko’s Theorem

• Languages of publication: PL

Abstracts

PL

Among the non-classical logics, the intuitionistic one stands out in many ways. First of all, because of its properties, it is grateful subject of formal analysis. Moreover, there is small, but very significant group of mathematicians and philosophers who claim that intuitionistic logic captures the reasoning utilized in mathematics better than classical one. This article reveals the origins of intuitionistic propositional calculus – it was an outcome of formalization of certain ideas about foundations of mathematics. A large part of the article is devoted to Glivenko’s Theorem – somewhat forgotten, but extremely interesting formal result regarding the relationship between the two logical calculi: classical and intuitionistic propositional logic.

Keywords

PL

Glivenko’s theorem; intuitionistic logic; intuitionistic propositional calculus; history of logic; history of mathematics

• Publisher: Copernicus Center Press
• Journal: Zagadnienia Filozoficzne w Nauce
• Year: 2014
• Issue: 56
• Pages: 33-56

Dates

published

2014-09-18

Contributors

author

Piotr Urbańczyk