001431119 000__ 04703cam\a2200601\i\4500
001431119 001__ 1431119
001431119 003__ OCoLC
001431119 005__ 20230308003221.0
001431119 006__ m\\\\\o\\d\\\\\\\\
001431119 007__ cr\cn\nnnunnun
001431119 008__ 210827s2021\\\\sz\\\\\\ob\\\\000\0\eng\d
001431119 019__ $$a1266361247
001431119 020__ $$a9783030658243$$q(electronic bk.)
001431119 020__ $$a3030658244$$q(electronic bk.)
001431119 020__ $$z9783030658236
001431119 020__ $$z3030658236
001431119 0247_ $$a10.1007/978-3-030-65824-3$$2doi
001431119 035__ $$aSP(OCoLC)1265405286
001431119 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dOCLCO$$dYDX$$dOCLCF$$dUEJ$$dOCLCQ$$dUKAHL$$dEBLCP$$dOCLCQ
001431119 0410_ $$aeng$$ager
001431119 049__ $$aISEA
001431119 050_4 $$aQA8.4$$b.P38 2021
001431119 08204 $$a510.1$$223
001431119 24500 $$aPaul Lorenzen -- mathematician and logician /$$cGerhard Heinzmann, Gereon Wolters, editors.
001431119 264_1 $$aCham :$$bSpringer,$$c[2021]
001431119 264_4 $$c©2021
001431119 300__ $$a1 online resource (xii, 268 pages)
001431119 336__ $$atext$$btxt$$2rdacontent
001431119 337__ $$acomputer$$bc$$2rdamedia
001431119 338__ $$aonline resource$$bcr$$2rdacarrier
001431119 4901_ $$aLogic, epistemology, and the unity of science,$$x2214-9783 ;$$vvolume 51
001431119 504__ $$aIncludes bibliographical references.
001431119 5050_ $$aPreface -- Chapter 1. Introduction (Gerhard Heinzmann) -- Chapter 2. N.N (Kuno Lorenz) -- Chapter 3. Some contributions of Lorenzen to constructive mathematics and an application to constructive measure theory (Thierry Coquand) -- Chapter 4. Lorenzeòn's work on lattice-groups and divisibility theory. From a classical celebrated result to a relevant constructive rewriting (Henri Lombardi) -- Chapter 5. Lorenzeòn's reshaping of Krull's Fundamentalsatz for integral domains (1939-1953) (Stefan Neuwirth) -- Chapter 6. Extension by Conservation (Peter M. Schuster) -- Chapter 7. Modern set theory and Lorenzen's critique of actual infinity (Carolin Antos) -- Chapter 8. The main problem of Grundlagenforschung (Jan von Plato) -- Chapter 9. Lorenzen's consistency proof and Hilbert's larger programme (Reinhard Kahle) -- Chapter 10. From Lorenzen's dialogue game to game semantics for substructural logics (Christian Fermüller) -- Chapter 11. A Constructive Examination of a Russell-style Ramified Type Theory (Erik Palmgren) -- Chapter 12. A circularity puzzle within the operative justification of logic and mathematics and a way out (Shahid Rahman).
001431119 5060_ $$aOpen access$$5GW5XE
001431119 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.
001431119 546__ $$aEnglish, with one contribution in German.
001431119 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed August 27, 2021).
001431119 60010 $$aLorenzen, Paul,$$d1915-1994.
001431119 650_0 $$aMathematics$$xPhilosophy.
001431119 650_0 $$aConstructivism (Philosophy)
001431119 650_0 $$aLogic, Symbolic and mathematical.
001431119 650_1 $$aPhilosophy of Mathematics.$$0https://scigraph.springernature.com/ontologies/product-market-codes/E34020
001431119 655_0 $$aElectronic books.
001431119 7001_ $$aHeinzmann, Gerhard,$$eeditor.
001431119 7001_ $$aWolters, Gereon,$$eeditor.
001431119 77608 $$iPrint version:$$tPaul Lorenzen -- mathematician and logician.$$dCham : Springer, [2021]$$z3030658236$$z9783030658236$$w(OCoLC)1222894008
001431119 830_0 $$aLogic, epistemology and the unity of science ;$$vv. 51.$$x2214-9783
001431119 852__ $$bebk
001431119 85640 $$3Springer Nature$$uhttps://link.springer.com/10.1007/978-3-030-65824-3$$zOnline Access$$91397441.2
001431119 909CO $$ooai:library.usi.edu:1431119$$pGLOBAL_SET
001431119 980__ $$aBIB
001431119 980__ $$aEBOOK
001431119 982__ $$aEbook
001431119 983__ $$aOnline
001431119 994__ $$a92$$bISE