Operation and Predicativity: Lorenzen’s Approach to Arithmetic

In Gerhard Heinzmann & Gereon Wolters (eds.), Paul Lorenzen -- Mathematician and Logician. Springer Verlag. pp. 11-22 (2021)
  Copy   BIBTEX

Abstract

In this article we give an overview, from a philosophical point of view, of Lorenzen’s construction of the natural and the real numbers. Particular emphasis is placed on Lorenzen’s classification in the tradition of predicative approaches that stretches from Poincaré to Feferman.

Categories

Add categories

Keywords

Reprint years

DOI

10.1007/978-3-030-65824-3_2

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,758

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Paul Lorenzen -- Mathematician and Logician.Gerhard Heinzmann & Gereon Wolters (eds.) - 2021 - Springer Verlag.
Lorenzen’s Reshaping of Krull’s Fundamentalsatz for Integral Domains.Stefan Neuwirth - 2021 - In Gerhard Heinzmann & Gereon Wolters (eds.), Paul Lorenzen -- Mathematician and Logician. Springer Verlag. pp. 143-183.
Lorenzen’s Correspondence with Hasse, Krull, and Aubert, Together with Some Relevant Documents.Stefan Neuwirth - 2021 - In Gerhard Heinzmann & Gereon Wolters (eds.), Paul Lorenzen -- Mathematician and Logician. Springer Verlag. pp. 185-268.
Konstruktionen versus Positionen: Beitr. zur Diskussion um d. konstruktive Wissenschaftstheorie: [Paul Lorenzen zum 60. Geburtstag].Paul Lorenzen (ed.) - 1979 - New York: de Gruyter.
Messung als Begründung oder Vermittlung?: ein Briefwechsel mit Paul Lorenzen über Protophysik und ein paar andere Dinge.Paul Lorenzen - 1995
Connecting Sequent Calculi with Lorenzen-Style Dialogue Games.Christian G. Fermüller - 2021 - In Gerhard Heinzmann & Gereon Wolters (eds.), Paul Lorenzen -- Mathematician and Logician. Springer Verlag. pp. 115-141.
A more perspicuous formal system for predicativity.Solomon Feferman - 1978 - In Kuno Lorenz (ed.), Konstruktionen Versus Positionen: Beiträge Zur Diskussion Um Die Konstruktive Wissenschaftstheorie. Bd 1: Spezielle Wissenschaftstheorie. Bd 2: Allgemeine Wissenschaftstheorie. Paul Lorenzen Zum 60. Geburtstag. New York: De Gruyter. pp. 68-93.
Conceptions of Infinity and Set in Lorenzen’s Operationist System.Carolin Antos - 2021 - In Gerhard Heinzmann & Gereon Wolters (eds.), Paul Lorenzen -- Mathematician and Logician. Springer Verlag. pp. 23-46.
H. Scholz/G. Hasenjaeger: Grundzüge der mathematischen Logik. [REVIEW]Lorenzen Lorenzen - 1962 - Philosophia Naturalis 7 (3):499.
Paul Lorenzen, Kuno Lorenzen" Dialogische Logik".Esteban Requena Manzano - 1980 - Teorema: International Journal of Philosophy 10 (1):86-88.
Lorenzen Between Gentzen and Schütte.Reinhard Kahle & Isabel Oitavem - 2021 - In Gerhard Heinzmann & Gereon Wolters (eds.), Paul Lorenzen -- Mathematician and Logician. Springer Verlag. pp. 63-76.
Lorenzen and Constructive Mathematics.Thierry Coquand - 2021 - In Gerhard Heinzmann & Gereon Wolters (eds.), Paul Lorenzen -- Mathematician and Logician. Springer Verlag. pp. 47-61.
Regular Entailment Relations.Thierry Coquand, Henri Lombardi & Stefan Neuwirth - 2021 - In Gerhard Heinzmann & Gereon Wolters (eds.), Paul Lorenzen -- Mathematician and Logician. Springer Verlag. pp. 103-114.
Der Zahlbegriff und seine Logik. Die Entwicklung einer Begründung der Arithmetik bei Frege, Gödel, und Lorenzen.Vojtech Kolman - 2009 - History of Philosophy & Logical Analysis 12.
Der Zahlbegriff und seine Logik. Die Entwicklung einer Begründung der Arithmetik bei Frege, Gödel, und Lorenzen.Vojtech Kolman - 2008 - History of Philosophy & Logical Analysis 11.

Analytics

Added to PP
2022-03-10

Downloads
2 (#1,814,705)

6 months
1 (#1,507,095)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references