'Mathematics is the Logic of the Infinite': Zermelo’s Project of Infinitary Logic

Autor: Pogonowski Jerzy
Jazyk: angličtina
Rok vydání: 2021
Předmět:
Zdroj: Studies in Logic, Grammar and Rhetoric, Vol 66, Iss 3, Pp 673-708 (2021)
Druh dokumentu: article
ISSN: 2199-6059
DOI: 10.2478/slgr-2021-0042
Popis: In this paper I discuss Ernst Zermelo’s ideas concerning the possibility of developing a system of infinitary logic that, in his opinion, should be suitable for mathematical inferences. The presentation of Zermelo’s ideas is accompanied with some remarks concerning the development of infinitary logic. I also stress the fact that the second axiomatization of set theory provided by Zermelo in 1930 involved the use of extremal axioms of a very specific sort.1
Databáze: Directory of Open Access Journals