000			03572naaaa2200541uu 4500
001			https://directory.doabooks.org/handle/20.500.12854/72030
005			20220219184053.0
020			_a978-3-030-65824-3
020			_a9783030658243
024	7		_a10.1007/978-3-030-65824-3 _cdoi
041	0		_aEnglish
042			_adc
072		7	_aPBB _2bicssc
072		7	_aPBX _2bicssc
072		7	_aPBC _2bicssc
100	1		_aHeinzmann, Gerhard _4edt
700	1		_aWolters, Gereon _4edt
700	1		_aHeinzmann, Gerhard _4oth
700	1		_aWolters, Gereon _4oth
245	1	0	_aPaul Lorenzen -- Mathematician and Logician
260			_bSpringer Nature _c2021
300			_a1 electronic resource (268 p.)
506	0		_aOpen Access _2star _fUnrestricted online access
520			_aThis open access book examines the many contributions of Paul Lorenzen, an outstanding philosopher from the latter half of the 20th century. It features papers focused on integrating Lorenzen's original approach into the history of logic and mathematics. The papers also explore how practitioners can implement Lorenzen’s systematical ideas in today’s debates on proof-theoretic semantics, databank management, and stochastics. Coverage details key contributions of Lorenzen to constructive mathematics, Lorenzen’s work on lattice-groups and divisibility theory, and modern set theory and Lorenzen’s critique of actual infinity. The contributors also look at the main problem of Grundlagenforschung and Lorenzen’s consistency proof and Hilbert’s larger program. In addition, the papers offer a constructive examination of a Russell-style Ramified Type Theory and a way out of the circularity puzzle within the operative justification of logic and mathematics. Paul Lorenzen's name is associated with the Erlangen School of Methodical Constructivism, of which the approach in linguistic philosophy and philosophy of science determined philosophical discussions especially in Germany in the 1960s and 1970s. This volume features 10 papers from a meeting that took place at the University of Konstanz.
540			_aCreative Commons _fby/4.0/ _2cc _4http://creativecommons.org/licenses/by/4.0/
546			_aEnglish
650		7	_aPhilosophy of mathematics _2bicssc
650		7	_aHistory of mathematics _2bicssc
650		7	_aMathematical foundations _2bicssc
653			_aLorenzen on Constructive Mathematics
653			_aApplication to Constructive Measure Theory
653			_aLorenzeṇ’s Work on Lattice-groups and Divisibility Theory
653			_aKrull’s Fundamentalsatz for Integral Domains
653			_aModern Set Theory and Lorenzen’s Critique of Actual Infinity
653			_aGrundlagenforschung
653			_aLorenzen’s Consistency Proof and Hilbert’s Larger Programme
653			_aLorenzen's Dialogue Game
653			_aGame Semantics for Substructural Logics
653			_aConstructive Examination of a Russell-style Ramified Type Theory
653			_aOperative Justification of Logic and Mathematics
653			_aLorenzen on Proof-theoretic Semantics
653			_aLorenzen on Databank Management
653			_aLorenzen on Stochastics
653			_aRussell-style Ramified Type Theory
653			_aLorenzen and Erlangen School of Methodical Constructivism
856	4	0	_awww.oapen.org _uhttps://library.oapen.org/bitstream/20.500.12657/50703/1/978-3-030-65824-3.pdf _70 _zDOAB: download the publication
856	4	0	_awww.oapen.org _uhttps://directory.doabooks.org/handle/20.500.12854/72030 _70 _zDOAB: description of the publication
999			_c36030 _d36030