At the Origins of Metalogic

Ettore Casari ()
Additional contact information
Ettore Casari: Scuola Normale Superiore of Pisa

Chapter 8 in Giuseppe Peano between Mathematics and Logic, 2011, pp 143-156 from Springer

Abstract: Abstract Among the many aspects of the logical and foundationalistic work of Peano, there is one which, though not ignored, seems not yet to have attracted all the attention it deserves: that which deals with metalogic. Yet the relationship between Peano and this basic theme is decisive both for full appreciation of his work, and for a genuine understanding of its destiny. While he was, indeed, — as we will try to show — one of the genuine founders also of this logical discipline, it was precisely its development that played a decisive role in the decline and even the disappearance from the international scene of his logical tradition.

Keywords: Proof Theory; Famous Theorem; Logical Tradition; Real Arithmetic; Logical Identity (search for similar items in EconPapers)
Date: 2011
References: Add references at CitEc
Citations:

There are no downloads for this item, see the EconPapers FAQ for hints about obtaining it.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:spr:sprchp:978-88-470-1836-5_8

Ordering information: This item can be ordered from
http://www.springer.com/9788847018365

DOI: 10.1007/978-88-470-1836-5_8

Access Statistics for this chapter

More chapters in Springer Books from Springer
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().