Paul Lorenzen -- Mathematician and Logician / / edited by Gerhard Heinzmann, Gereon Wolters.
This 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 practitioner...
Saved in:
Superior document: | Logic, Epistemology, and the Unity of Science, 51 |
---|---|
: | |
TeilnehmendeR: | |
Place / Publishing House: | Cham : : Springer International Publishing :, Imprint: Springer,, 2021. |
Year of Publication: | 2021 |
Edition: | 1st ed. 2021. |
Language: | English |
Series: | Logic, Epistemology, and the Unity of Science,
51 |
Physical Description: | 1 online resource (274 p.) |
Notes: | Description based upon print version of record. |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
id |
993545308604498 |
---|---|
ctrlnum |
(CKB)5590000000549917 EBL6707454 (AU-PeEL)EBL6707454 (oapen)https://directory.doabooks.org/handle/20.500.12854/72030 (MiAaPQ)EBC6707454 (DE-He213)978-3-030-65824-3 (EXLCZ)995590000000549917 |
collection |
bib_alma |
record_format |
marc |
spelling |
Heinzmann, Gerhard. Paul Lorenzen -- Mathematician and Logician / edited by Gerhard Heinzmann, Gereon Wolters. 1st ed. 2021. Cham : Springer International Publishing : Imprint: Springer, 2021. 1 online resource (274 p.) text txt rdacontent computer c rdamedia online resource cr rdacarrier Logic, Epistemology, and the Unity of Science, 2214-9783 ; 51 Description based upon print version of record. English This 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. Preface -- 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ṇ’s work on lattice-groups and divisibility theory. From a classical celebrated result to a relevant constructive rewriting (Henri Lombardi) -- Chapter 5. Lorenzeṇ’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). Open Access Mathematics Philosophy. Mathematics. History. Mathematical logic. Philosophy of Mathematics. History of Mathematical Sciences. Mathematical Logic and Foundations. 3-030-65823-6 Wolters, Gereon. |
language |
English |
format |
eBook |
author |
Heinzmann, Gerhard. |
spellingShingle |
Heinzmann, Gerhard. Paul Lorenzen -- Mathematician and Logician / Logic, Epistemology, and the Unity of Science, Preface -- 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ṇ’s work on lattice-groups and divisibility theory. From a classical celebrated result to a relevant constructive rewriting (Henri Lombardi) -- Chapter 5. Lorenzeṇ’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). |
author_facet |
Heinzmann, Gerhard. Wolters, Gereon. |
author_variant |
g h gh |
author2 |
Wolters, Gereon. |
author2_variant |
g w gw |
author2_role |
TeilnehmendeR |
author_sort |
Heinzmann, Gerhard. |
title |
Paul Lorenzen -- Mathematician and Logician / |
title_full |
Paul Lorenzen -- Mathematician and Logician / edited by Gerhard Heinzmann, Gereon Wolters. |
title_fullStr |
Paul Lorenzen -- Mathematician and Logician / edited by Gerhard Heinzmann, Gereon Wolters. |
title_full_unstemmed |
Paul Lorenzen -- Mathematician and Logician / edited by Gerhard Heinzmann, Gereon Wolters. |
title_auth |
Paul Lorenzen -- Mathematician and Logician / |
title_new |
Paul Lorenzen -- Mathematician and Logician / |
title_sort |
paul lorenzen -- mathematician and logician / |
series |
Logic, Epistemology, and the Unity of Science, |
series2 |
Logic, Epistemology, and the Unity of Science, |
publisher |
Springer International Publishing : Imprint: Springer, |
publishDate |
2021 |
physical |
1 online resource (274 p.) |
edition |
1st ed. 2021. |
contents |
Preface -- 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ṇ’s work on lattice-groups and divisibility theory. From a classical celebrated result to a relevant constructive rewriting (Henri Lombardi) -- Chapter 5. Lorenzeṇ’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). |
isbn |
3-030-65824-4 3-030-65823-6 |
issn |
2214-9783 ; |
callnumber-first |
Q - Science |
callnumber-subject |
QA - Mathematics |
callnumber-label |
QA8-10 |
callnumber-sort |
QA 18 210.4 |
illustrated |
Not Illustrated |
dewey-hundreds |
500 - Science |
dewey-tens |
510 - Mathematics |
dewey-ones |
510 - Mathematics |
dewey-full |
510.1 |
dewey-sort |
3510.1 |
dewey-raw |
510.1 |
dewey-search |
510.1 |
work_keys_str_mv |
AT heinzmanngerhard paullorenzenmathematicianandlogician AT woltersgereon paullorenzenmathematicianandlogician |
status_str |
n |
ids_txt_mv |
(CKB)5590000000549917 EBL6707454 (AU-PeEL)EBL6707454 (oapen)https://directory.doabooks.org/handle/20.500.12854/72030 (MiAaPQ)EBC6707454 (DE-He213)978-3-030-65824-3 (EXLCZ)995590000000549917 |
carrierType_str_mv |
cr |
hierarchy_parent_title |
Logic, Epistemology, and the Unity of Science, 51 |
hierarchy_sequence |
51 |
is_hierarchy_title |
Paul Lorenzen -- Mathematician and Logician / |
container_title |
Logic, Epistemology, and the Unity of Science, 51 |
author2_original_writing_str_mv |
noLinkedField |
_version_ |
1804787214909964288 |
fullrecord |
<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>04532nam a22005655i 4500</leader><controlfield tag="001">993545308604498</controlfield><controlfield tag="005">20230810172316.0</controlfield><controlfield tag="006">m d </controlfield><controlfield tag="007">cr -n---------</controlfield><controlfield tag="008">210817s2021 sz | o |||| 0|eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3-030-65824-4</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-030-65824-3</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(CKB)5590000000549917</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">EBL6707454</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(AU-PeEL)EBL6707454</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(oapen)https://directory.doabooks.org/handle/20.500.12854/72030</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(MiAaPQ)EBC6707454</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-He213)978-3-030-65824-3</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(EXLCZ)995590000000549917</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">AU-PeEL</subfield><subfield code="b">eng</subfield><subfield code="c">AU-PeEL</subfield><subfield code="d">AU-PeEL</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">QA8-10.4</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">PBB</subfield><subfield code="2">bicssc</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">MAT015000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">PBB</subfield><subfield code="2">thema</subfield></datafield><datafield tag="082" ind1="0" ind2="4"><subfield code="a">510.1</subfield><subfield code="2">23</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Heinzmann, Gerhard.</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Paul Lorenzen -- Mathematician and Logician /</subfield><subfield code="c">edited by Gerhard Heinzmann, Gereon Wolters.</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1st ed. 2021.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham :</subfield><subfield code="b">Springer International Publishing :</subfield><subfield code="b">Imprint: Springer,</subfield><subfield code="c">2021.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (274 p.)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Logic, Epistemology, and the Unity of Science,</subfield><subfield code="x">2214-9783 ;</subfield><subfield code="v">51</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Description based upon print version of record.</subfield></datafield><datafield tag="546" ind1=" " ind2=" "><subfield code="a">English</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">This 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.</subfield></datafield><datafield tag="505" ind1="0" ind2=" "><subfield code="a">Preface -- 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ṇ’s work on lattice-groups and divisibility theory. From a classical celebrated result to a relevant constructive rewriting (Henri Lombardi) -- Chapter 5. Lorenzeṇ’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).</subfield></datafield><datafield tag="506" ind1="0" ind2=" "><subfield code="a">Open Access</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Mathematics</subfield><subfield code="x">Philosophy.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Mathematics.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">History.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Mathematical logic.</subfield></datafield><datafield tag="650" ind1="1" ind2="4"><subfield code="a">Philosophy of Mathematics.</subfield></datafield><datafield tag="650" ind1="2" ind2="4"><subfield code="a">History of Mathematical Sciences.</subfield></datafield><datafield tag="650" ind1="2" ind2="4"><subfield code="a">Mathematical Logic and Foundations.</subfield></datafield><datafield tag="776" ind1=" " ind2=" "><subfield code="z">3-030-65823-6</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Wolters, Gereon.</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Logic, Epistemology, and the Unity of Science,</subfield><subfield code="x">2214-9783 ;</subfield><subfield code="v">51</subfield></datafield><datafield tag="906" ind1=" " ind2=" "><subfield code="a">BOOK</subfield></datafield><datafield tag="ADM" ind1=" " ind2=" "><subfield code="b">2024-07-17 01:06:07 Europe/Vienna</subfield><subfield code="f">system</subfield><subfield code="c">marc21</subfield><subfield code="a">2021-09-18 22:17:20 Europe/Vienna</subfield><subfield code="g">false</subfield></datafield><datafield tag="AVE" ind1=" " ind2=" "><subfield code="i">DOAB Directory of Open Access Books</subfield><subfield code="P">DOAB Directory of Open Access Books</subfield><subfield code="x">https://eu02.alma.exlibrisgroup.com/view/uresolver/43ACC_OEAW/openurl?u.ignore_date_coverage=true&portfolio_pid=5337855140004498&Force_direct=true</subfield><subfield code="Z">5337855140004498</subfield><subfield code="b">Available</subfield><subfield code="8">5337855140004498</subfield></datafield></record></collection> |