Perspectives on deduction: contemporary studies in the philosophy, history and formal theories of deduction:
This book provides philosophers and logicians with a broad spectrum of views on contemporary research on the problem of deduction, its justification and explanation. The variety of distinct approaches exemplified by the single chapters allows for a dialogue between perspectives that, usually, barely...
Gespeichert in:
Weitere Verfasser: | |
---|---|
Format: | Buch |
Sprache: | English |
Veröffentlicht: |
Cham, Switzerland
Springer
[2024]
|
Schriftenreihe: | Synthese library. Studies in epistemology, logic, methodology, and philosophy of science
volume 481 |
Schlagworte: | |
Zusammenfassung: | This book provides philosophers and logicians with a broad spectrum of views on contemporary research on the problem of deduction, its justification and explanation. The variety of distinct approaches exemplified by the single chapters allows for a dialogue between perspectives that, usually, barely communicate with each other.The contributions concern (in a possibly intertwined way) three major perspectives in logic: philosophical, historical, formal. The philosophical perspective has to do with the relationship between deductive validity and truth, and questions the alleged conclusiveness of deduction and its epistemic contribution. It also discusses the role of linguistic acts in deductive practice, and provides a cognitive-didactic contribution on how we may learn through deduction. In the historical perspective, the contributions discuss the ideas of some major historical figures, such as Bolzano, Girard, Gödel, and Peano. Finally, in the formal perspective, the mathematics of deduction is dealt with mainly from an intuitionistic-constructivist or proof-theoretic point of view, with focus on "ecumenic" or internalistic approaches to logical validity, on the nature and identity of proofs, and on dialogical setups.Chapter [14] is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com |
Beschreibung: | vi, 424 Seiten Illustrationen, Diagramme |
ISBN: | 9783031514050 9783031514081 |
Internformat
MARC
LEADER | 00000nam a2200000 cb4500 | ||
---|---|---|---|
001 | BV049636609 | ||
003 | DE-604 | ||
005 | 20240510 | ||
007 | t | ||
008 | 240404s2024 a||| |||| 00||| eng d | ||
020 | |a 9783031514050 |c hbk |9 978-3-031-51405-0 | ||
020 | |a 9783031514081 |c pbk |9 978-3-031-51408-1 | ||
035 | |a (OCoLC)1437839013 | ||
035 | |a (DE-599)BVBBV049636609 | ||
040 | |a DE-604 |b ger |e rda | ||
041 | 0 | |a eng | |
049 | |a DE-29 | ||
245 | 1 | 0 | |a Perspectives on deduction: contemporary studies in the philosophy, history and formal theories of deduction |c Antonio Piccolomini d'Aragona, editor |
264 | 1 | |a Cham, Switzerland |b Springer |c [2024] | |
300 | |a vi, 424 Seiten |b Illustrationen, Diagramme | ||
336 | |b txt |2 rdacontent | ||
337 | |b n |2 rdamedia | ||
338 | |b nc |2 rdacarrier | ||
490 | 1 | |a Synthese library. Studies in epistemology, logic, methodology, and philosophy of science |v volume 481 | |
520 | |a This book provides philosophers and logicians with a broad spectrum of views on contemporary research on the problem of deduction, its justification and explanation. The variety of distinct approaches exemplified by the single chapters allows for a dialogue between perspectives that, usually, barely communicate with each other.The contributions concern (in a possibly intertwined way) three major perspectives in logic: philosophical, historical, formal. The philosophical perspective has to do with the relationship between deductive validity and truth, and questions the alleged conclusiveness of deduction and its epistemic contribution. It also discusses the role of linguistic acts in deductive practice, and provides a cognitive-didactic contribution on how we may learn through deduction. In the historical perspective, the contributions discuss the ideas of some major historical figures, such as Bolzano, Girard, Gödel, and Peano. Finally, in the formal perspective, the mathematics of deduction is dealt with mainly from an intuitionistic-constructivist or proof-theoretic point of view, with focus on "ecumenic" or internalistic approaches to logical validity, on the nature and identity of proofs, and on dialogical setups.Chapter [14] is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com | ||
650 | 4 | |a Mathematical logic | |
650 | 4 | |a Knowledge, Theory of | |
650 | 4 | |a Mathematics—Philosophy | |
650 | 4 | |a Logic | |
650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Deduktion |0 (DE-588)4011271-8 |2 gnd |9 rswk-swf |
689 | 0 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
689 | 0 | 1 | |a Deduktion |0 (DE-588)4011271-8 |D s |
689 | 0 | |5 DE-604 | |
700 | 1 | |a Piccolomini d'Aragona, Antonio |4 edt | |
776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-031-51406-7 |
830 | 0 | |a Synthese library. Studies in epistemology, logic, methodology, and philosophy of science |v volume 481 |w (DE-604)BV035482280 |9 481 |
Datensatz im Suchindex
_version_ | 1805082096778084352 |
---|---|
adam_text | |
adam_txt | |
any_adam_object | |
any_adam_object_boolean | |
author2 | Piccolomini d'Aragona, Antonio |
author2_role | edt |
author2_variant | d a p da dap |
author_facet | Piccolomini d'Aragona, Antonio |
building | Verbundindex |
bvnumber | BV049636609 |
ctrlnum | (OCoLC)1437839013 (DE-599)BVBBV049636609 |
format | Book |
fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV049636609</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20240510</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">240404s2024 a||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783031514050</subfield><subfield code="c">hbk</subfield><subfield code="9">978-3-031-51405-0</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783031514081</subfield><subfield code="c">pbk</subfield><subfield code="9">978-3-031-51408-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1437839013</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV049636609</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-29</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Perspectives on deduction: contemporary studies in the philosophy, history and formal theories of deduction</subfield><subfield code="c">Antonio Piccolomini d'Aragona, editor</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham, Switzerland</subfield><subfield code="b">Springer</subfield><subfield code="c">[2024]</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">vi, 424 Seiten</subfield><subfield code="b">Illustrationen, Diagramme</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Synthese library. Studies in epistemology, logic, methodology, and philosophy of science</subfield><subfield code="v">volume 481</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">This book provides philosophers and logicians with a broad spectrum of views on contemporary research on the problem of deduction, its justification and explanation. The variety of distinct approaches exemplified by the single chapters allows for a dialogue between perspectives that, usually, barely communicate with each other.The contributions concern (in a possibly intertwined way) three major perspectives in logic: philosophical, historical, formal. The philosophical perspective has to do with the relationship between deductive validity and truth, and questions the alleged conclusiveness of deduction and its epistemic contribution. It also discusses the role of linguistic acts in deductive practice, and provides a cognitive-didactic contribution on how we may learn through deduction. In the historical perspective, the contributions discuss the ideas of some major historical figures, such as Bolzano, Girard, Gödel, and Peano. Finally, in the formal perspective, the mathematics of deduction is dealt with mainly from an intuitionistic-constructivist or proof-theoretic point of view, with focus on "ecumenic" or internalistic approaches to logical validity, on the nature and identity of proofs, and on dialogical setups.Chapter [14] is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Knowledge, Theory of</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematics—Philosophy</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Deduktion</subfield><subfield code="0">(DE-588)4011271-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Deduktion</subfield><subfield code="0">(DE-588)4011271-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Piccolomini d'Aragona, Antonio</subfield><subfield code="4">edt</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="z">978-3-031-51406-7</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Synthese library. Studies in epistemology, logic, methodology, and philosophy of science</subfield><subfield code="v">volume 481</subfield><subfield code="w">(DE-604)BV035482280</subfield><subfield code="9">481</subfield></datafield></record></collection> |
id | DE-604.BV049636609 |
illustrated | Illustrated |
index_date | 2024-07-03T23:39:02Z |
indexdate | 2024-07-20T07:27:14Z |
institution | BVB |
isbn | 9783031514050 9783031514081 |
language | English |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-034980320 |
oclc_num | 1437839013 |
open_access_boolean | |
owner | DE-29 |
owner_facet | DE-29 |
physical | vi, 424 Seiten Illustrationen, Diagramme |
publishDate | 2024 |
publishDateSearch | 2024 |
publishDateSort | 2024 |
publisher | Springer |
record_format | marc |
series | Synthese library. Studies in epistemology, logic, methodology, and philosophy of science |
series2 | Synthese library. Studies in epistemology, logic, methodology, and philosophy of science |
spelling | Perspectives on deduction: contemporary studies in the philosophy, history and formal theories of deduction Antonio Piccolomini d'Aragona, editor Cham, Switzerland Springer [2024] vi, 424 Seiten Illustrationen, Diagramme txt rdacontent n rdamedia nc rdacarrier Synthese library. Studies in epistemology, logic, methodology, and philosophy of science volume 481 This book provides philosophers and logicians with a broad spectrum of views on contemporary research on the problem of deduction, its justification and explanation. The variety of distinct approaches exemplified by the single chapters allows for a dialogue between perspectives that, usually, barely communicate with each other.The contributions concern (in a possibly intertwined way) three major perspectives in logic: philosophical, historical, formal. The philosophical perspective has to do with the relationship between deductive validity and truth, and questions the alleged conclusiveness of deduction and its epistemic contribution. It also discusses the role of linguistic acts in deductive practice, and provides a cognitive-didactic contribution on how we may learn through deduction. In the historical perspective, the contributions discuss the ideas of some major historical figures, such as Bolzano, Girard, Gödel, and Peano. Finally, in the formal perspective, the mathematics of deduction is dealt with mainly from an intuitionistic-constructivist or proof-theoretic point of view, with focus on "ecumenic" or internalistic approaches to logical validity, on the nature and identity of proofs, and on dialogical setups.Chapter [14] is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com Mathematical logic Knowledge, Theory of Mathematics—Philosophy Logic Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Deduktion (DE-588)4011271-8 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 s Deduktion (DE-588)4011271-8 s DE-604 Piccolomini d'Aragona, Antonio edt Erscheint auch als Online-Ausgabe 978-3-031-51406-7 Synthese library. Studies in epistemology, logic, methodology, and philosophy of science volume 481 (DE-604)BV035482280 481 |
spellingShingle | Perspectives on deduction: contemporary studies in the philosophy, history and formal theories of deduction Synthese library. Studies in epistemology, logic, methodology, and philosophy of science Mathematical logic Knowledge, Theory of Mathematics—Philosophy Logic Mathematische Logik (DE-588)4037951-6 gnd Deduktion (DE-588)4011271-8 gnd |
subject_GND | (DE-588)4037951-6 (DE-588)4011271-8 |
title | Perspectives on deduction: contemporary studies in the philosophy, history and formal theories of deduction |
title_auth | Perspectives on deduction: contemporary studies in the philosophy, history and formal theories of deduction |
title_exact_search | Perspectives on deduction: contemporary studies in the philosophy, history and formal theories of deduction |
title_exact_search_txtP | Perspectives on deduction: contemporary studies in the philosophy, history and formal theories of deduction |
title_full | Perspectives on deduction: contemporary studies in the philosophy, history and formal theories of deduction Antonio Piccolomini d'Aragona, editor |
title_fullStr | Perspectives on deduction: contemporary studies in the philosophy, history and formal theories of deduction Antonio Piccolomini d'Aragona, editor |
title_full_unstemmed | Perspectives on deduction: contemporary studies in the philosophy, history and formal theories of deduction Antonio Piccolomini d'Aragona, editor |
title_short | Perspectives on deduction: contemporary studies in the philosophy, history and formal theories of deduction |
title_sort | perspectives on deduction contemporary studies in the philosophy history and formal theories of deduction |
topic | Mathematical logic Knowledge, Theory of Mathematics—Philosophy Logic Mathematische Logik (DE-588)4037951-6 gnd Deduktion (DE-588)4011271-8 gnd |
topic_facet | Mathematical logic Knowledge, Theory of Mathematics—Philosophy Logic Mathematische Logik Deduktion |
volume_link | (DE-604)BV035482280 |
work_keys_str_mv | AT piccolominidaragonaantonio perspectivesondeductioncontemporarystudiesinthephilosophyhistoryandformaltheoriesofdeduction |