The rise of modern logic: from Leibniz to Frege
Gespeichert in:
Format: | Elektronisch E-Book |
---|---|
Sprache: | English |
Veröffentlicht: |
Amsterdam
Elsevier
2004
|
Ausgabe: | 1st ed |
Schriftenreihe: | Handbook of the history of logic
v. 3 |
Schlagworte: | |
Online-Zugang: | Volltext |
Beschreibung: | With the publication of the present volume, the Handbook of the History of Logic turns its attention to the rise of modern logic. The period covered is 1685-1900, with this volume carving out the territory from Leibniz to Frege. What is striking about this period is the earliness and persistence of what could be called 'the mathematical turn in logic'. Virtually every working logician is aware that, after a centuries-long run, the logic that originated in antiquity came to be displaced by a new approach with a dominantly mathematical character. It is, however, a substantial error to suppose that the mathematization of logic was, in all essentials, Frege's accomplishment or, if not his alone, a development ensuing from the second half of the nineteenth century. The mathematical turn in logic, although given considerable torque by events of the nineteenth century, can with assurance be dated from the final quarter of the seventeenth century in the impressively prescient work of Leibniz. It is true that, in the three hundred year run-up to the Begriffsschrift, one does not see a smoothly continuous evolution of the mathematical turn, but the idea that logic is mathematics, albeit perhaps only the most general part of mathematics, is one that attracted some degree of support throughout the entire period in question. Still, as Alfred North Whitehead once noted, the relationship between mathematics and symbolic logic has been an "uneasy" one, as is the present-day association of mathematics with computing. Some of this unease has a philosophical texture. For example, those who equate mathematics and logic sometimes disagree about the directionality of the purported identity. Frege and Russell made themselves famous by insisting (though for different reasons) that logic was the senior partner. Indeed logicism is the view that mathematics can be re-expressed without relevant loss in a suitably framed symbolic logic. But for a number of thinkers who took an algebraic approach to logic, the dependency relation was reversed, with mathematics in some form emerging as the senior partner. This was the precursor of the modern view that, in its four main precincts (set theory, proof theory, model theory and recursion theory), logic is indeed a branch of pure mathematics. It would be a mistake to leave the impression that the mathematization of logic (or the logicization of mathematics) was the sole concern of the history of logic between 1665 and 1900. There are, in this long interval, aspects of the modern unfolding of logic that bear no stamp of the imperial designs of mathematicians, as the chapters on Kant and Hegel make clear. Of the two, Hegel's influence on logic is arguably the greater, serving as a spur to the unfolding of an idealist tradition in logic - a development that will be covered in a further volume, British Logic in the Nineteenth Century Preface (D.M. Gabbay, J. Woods) -- List of Contributors -- Leibniz's Logic (W. Lenzen) -- Kant: From General to Transcendental Logic (M. Tiles) -- Hegel's Logic (J.W. Burbidge) -- Bolzano as Logician (P. Rusnock, R. George) -- Husserl's Logic (R. Tieszen) -- Algebraical Logic 1685-1900 (T. Hailperin) -- The Algebra of Logic (V.S. Valencia) -- The Mathematical Turn in Logic (I. Grattan-Guinness) -- Schrder's Logic (V. Peckhaus) -- Peirce's Logic (R. Hilpinen) -- Frege's Logic (P. Sullivan) -- Index Includes bibliographical references and index |
Beschreibung: | 1 Online-Ressource (1 online resource) |
ISBN: | 9780444516114 0444516115 |
Internformat
MARC
LEADER | 00000nmm a2200000zc 4500 | ||
---|---|---|---|
001 | BV039830212 | ||
003 | DE-604 | ||
005 | 00000000000000.0 | ||
007 | cr|uuu---uuuuu | ||
008 | 120124s2004 sz |||| o||u| ||||||eng d | ||
020 | |a 9780444516114 |9 978-0-444-51611-4 | ||
020 | |a 0444516115 |9 0-444-51611-5 | ||
035 | |a (ZDB-33-EBS)ocn162580248 | ||
035 | |a (OCoLC)775117293 | ||
035 | |a (DE-599)BVBBV039830212 | ||
040 | |a DE-604 |b ger |e aacr | ||
041 | 0 | |a eng | |
044 | |a sz |c XA-CH | ||
049 | |a DE-526 |a DE-1046 | ||
245 | 1 | 0 | |a The rise of modern logic |b from Leibniz to Frege |c edited by Dov M. Gabbay and John Woods |
250 | |a 1st ed | ||
264 | 1 | |a Amsterdam |b Elsevier |c 2004 | |
300 | |a 1 Online-Ressource (1 online resource) | ||
336 | |b txt |2 rdacontent | ||
337 | |b c |2 rdamedia | ||
338 | |b cr |2 rdacarrier | ||
490 | 0 | |a Handbook of the history of logic |v v. 3 | |
500 | |a With the publication of the present volume, the Handbook of the History of Logic turns its attention to the rise of modern logic. The period covered is 1685-1900, with this volume carving out the territory from Leibniz to Frege. What is striking about this period is the earliness and persistence of what could be called 'the mathematical turn in logic'. Virtually every working logician is aware that, after a centuries-long run, the logic that originated in antiquity came to be displaced by a new approach with a dominantly mathematical character. It is, however, a substantial error to suppose that the mathematization of logic was, in all essentials, Frege's accomplishment or, if not his alone, a development ensuing from the second half of the nineteenth century. | ||
500 | |a The mathematical turn in logic, although given considerable torque by events of the nineteenth century, can with assurance be dated from the final quarter of the seventeenth century in the impressively prescient work of Leibniz. It is true that, in the three hundred year run-up to the Begriffsschrift, one does not see a smoothly continuous evolution of the mathematical turn, but the idea that logic is mathematics, albeit perhaps only the most general part of mathematics, is one that attracted some degree of support throughout the entire period in question. Still, as Alfred North Whitehead once noted, the relationship between mathematics and symbolic logic has been an "uneasy" one, as is the present-day association of mathematics with computing. Some of this unease has a philosophical texture. For example, those who equate mathematics and logic sometimes disagree about the directionality of the purported identity. | ||
500 | |a Frege and Russell made themselves famous by insisting (though for different reasons) that logic was the senior partner. Indeed logicism is the view that mathematics can be re-expressed without relevant loss in a suitably framed symbolic logic. But for a number of thinkers who took an algebraic approach to logic, the dependency relation was reversed, with mathematics in some form emerging as the senior partner. This was the precursor of the modern view that, in its four main precincts (set theory, proof theory, model theory and recursion theory), logic is indeed a branch of pure mathematics. It would be a mistake to leave the impression that the mathematization of logic (or the logicization of mathematics) was the sole concern of the history of logic between 1665 and 1900. There are, in this long interval, aspects of the modern unfolding of logic that bear no stamp of the imperial designs of mathematicians, as the chapters on Kant and Hegel make clear. | ||
500 | |a Of the two, Hegel's influence on logic is arguably the greater, serving as a spur to the unfolding of an idealist tradition in logic - a development that will be covered in a further volume, British Logic in the Nineteenth Century | ||
500 | |a Preface (D.M. Gabbay, J. Woods) -- List of Contributors -- Leibniz's Logic (W. Lenzen) -- Kant: From General to Transcendental Logic (M. Tiles) -- Hegel's Logic (J.W. Burbidge) -- Bolzano as Logician (P. Rusnock, R. George) -- Husserl's Logic (R. Tieszen) -- Algebraical Logic 1685-1900 (T. Hailperin) -- The Algebra of Logic (V.S. Valencia) -- The Mathematical Turn in Logic (I. Grattan-Guinness) -- Schrder's Logic (V. Peckhaus) -- Peirce's Logic (R. Hilpinen) -- Frege's Logic (P. Sullivan) -- Index | ||
500 | |a Includes bibliographical references and index | ||
648 | 7 | |a Geschichte |2 gnd |9 rswk-swf | |
650 | 7 | |a Logica |2 gtt | |
650 | 4 | |a Geschichte | |
650 | 4 | |a Logik | |
650 | 4 | |a Logic / History | |
650 | 4 | |a Logique / Histoire | |
650 | 4 | |a Logica / gtt | |
650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Mathematik |0 (DE-588)4037944-9 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |2 gnd |9 rswk-swf |
689 | 0 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
689 | 0 | 1 | |a Mathematik |0 (DE-588)4037944-9 |D s |
689 | 0 | 2 | |a Geschichte |A z |
689 | 0 | |5 DE-604 | |
689 | 1 | 0 | |a Logik |0 (DE-588)4036202-4 |D s |
689 | 1 | 1 | |a Geschichte |A z |
689 | 1 | |8 1\p |5 DE-604 | |
700 | 1 | |a Gabbay, Dov M. |e Sonstige |4 oth | |
700 | 1 | |a Woods, John |e Sonstige |4 oth | |
856 | 4 | 0 | |u http://www.sciencedirect.com/science/book/9780444516114 |x Verlag |3 Volltext |
912 | |a ZDB-33-ESD |a ZDB-33-EBS | ||
940 | 1 | |q FAW_PDA_ESD | |
940 | 1 | |q FLA_PDA_ESD | |
999 | |a oai:aleph.bib-bvb.de:BVB01-024690216 | ||
883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk |
Datensatz im Suchindex
_version_ | 1804148764673310720 |
---|---|
any_adam_object | |
building | Verbundindex |
bvnumber | BV039830212 |
collection | ZDB-33-ESD ZDB-33-EBS |
ctrlnum | (ZDB-33-EBS)ocn162580248 (OCoLC)775117293 (DE-599)BVBBV039830212 |
edition | 1st ed |
era | Geschichte gnd |
era_facet | Geschichte |
format | Electronic eBook |
fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>05488nmm a2200661zc 4500</leader><controlfield tag="001">BV039830212</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">120124s2004 sz |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780444516114</subfield><subfield code="9">978-0-444-51611-4</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0444516115</subfield><subfield code="9">0-444-51611-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-33-EBS)ocn162580248</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)775117293</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV039830212</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">sz</subfield><subfield code="c">XA-CH</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-526</subfield><subfield code="a">DE-1046</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">The rise of modern logic</subfield><subfield code="b">from Leibniz to Frege</subfield><subfield code="c">edited by Dov M. Gabbay and John Woods</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1st ed</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam</subfield><subfield code="b">Elsevier</subfield><subfield code="c">2004</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (1 online resource)</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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Handbook of the history of logic</subfield><subfield code="v">v. 3</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">With the publication of the present volume, the Handbook of the History of Logic turns its attention to the rise of modern logic. The period covered is 1685-1900, with this volume carving out the territory from Leibniz to Frege. What is striking about this period is the earliness and persistence of what could be called 'the mathematical turn in logic'. Virtually every working logician is aware that, after a centuries-long run, the logic that originated in antiquity came to be displaced by a new approach with a dominantly mathematical character. It is, however, a substantial error to suppose that the mathematization of logic was, in all essentials, Frege's accomplishment or, if not his alone, a development ensuing from the second half of the nineteenth century. </subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">The mathematical turn in logic, although given considerable torque by events of the nineteenth century, can with assurance be dated from the final quarter of the seventeenth century in the impressively prescient work of Leibniz. It is true that, in the three hundred year run-up to the Begriffsschrift, one does not see a smoothly continuous evolution of the mathematical turn, but the idea that logic is mathematics, albeit perhaps only the most general part of mathematics, is one that attracted some degree of support throughout the entire period in question. Still, as Alfred North Whitehead once noted, the relationship between mathematics and symbolic logic has been an "uneasy" one, as is the present-day association of mathematics with computing. Some of this unease has a philosophical texture. For example, those who equate mathematics and logic sometimes disagree about the directionality of the purported identity. </subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Frege and Russell made themselves famous by insisting (though for different reasons) that logic was the senior partner. Indeed logicism is the view that mathematics can be re-expressed without relevant loss in a suitably framed symbolic logic. But for a number of thinkers who took an algebraic approach to logic, the dependency relation was reversed, with mathematics in some form emerging as the senior partner. This was the precursor of the modern view that, in its four main precincts (set theory, proof theory, model theory and recursion theory), logic is indeed a branch of pure mathematics. It would be a mistake to leave the impression that the mathematization of logic (or the logicization of mathematics) was the sole concern of the history of logic between 1665 and 1900. There are, in this long interval, aspects of the modern unfolding of logic that bear no stamp of the imperial designs of mathematicians, as the chapters on Kant and Hegel make clear. </subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Of the two, Hegel's influence on logic is arguably the greater, serving as a spur to the unfolding of an idealist tradition in logic - a development that will be covered in a further volume, British Logic in the Nineteenth Century</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Preface (D.M. Gabbay, J. Woods) -- List of Contributors -- Leibniz's Logic (W. Lenzen) -- Kant: From General to Transcendental Logic (M. Tiles) -- Hegel's Logic (J.W. Burbidge) -- Bolzano as Logician (P. Rusnock, R. George) -- Husserl's Logic (R. Tieszen) -- Algebraical Logic 1685-1900 (T. Hailperin) -- The Algebra of Logic (V.S. Valencia) -- The Mathematical Turn in Logic (I. Grattan-Guinness) -- Schrder's Logic (V. Peckhaus) -- Peirce's Logic (R. Hilpinen) -- Frege's Logic (P. Sullivan) -- Index</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and index</subfield></datafield><datafield tag="648" ind1=" " ind2="7"><subfield code="a">Geschichte</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logica</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Geschichte</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic / History</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logique / Histoire</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logica / gtt</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">Mathematik</subfield><subfield code="0">(DE-588)4037944-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</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">Mathematik</subfield><subfield code="0">(DE-588)4037944-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Geschichte</subfield><subfield code="A">z</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Geschichte</subfield><subfield code="A">z</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Gabbay, Dov M.</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Woods, John</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://www.sciencedirect.com/science/book/9780444516114</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-33-ESD</subfield><subfield code="a">ZDB-33-EBS</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">FAW_PDA_ESD</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">FLA_PDA_ESD</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-024690216</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield></record></collection> |
id | DE-604.BV039830212 |
illustrated | Not Illustrated |
indexdate | 2024-07-10T00:12:19Z |
institution | BVB |
isbn | 9780444516114 0444516115 |
language | English |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-024690216 |
oclc_num | 162580248 775117293 |
open_access_boolean | |
owner | DE-526 DE-1046 |
owner_facet | DE-526 DE-1046 |
physical | 1 Online-Ressource (1 online resource) |
psigel | ZDB-33-ESD ZDB-33-EBS FAW_PDA_ESD FLA_PDA_ESD |
publishDate | 2004 |
publishDateSearch | 2004 |
publishDateSort | 2004 |
publisher | Elsevier |
record_format | marc |
series2 | Handbook of the history of logic |
spelling | The rise of modern logic from Leibniz to Frege edited by Dov M. Gabbay and John Woods 1st ed Amsterdam Elsevier 2004 1 Online-Ressource (1 online resource) txt rdacontent c rdamedia cr rdacarrier Handbook of the history of logic v. 3 With the publication of the present volume, the Handbook of the History of Logic turns its attention to the rise of modern logic. The period covered is 1685-1900, with this volume carving out the territory from Leibniz to Frege. What is striking about this period is the earliness and persistence of what could be called 'the mathematical turn in logic'. Virtually every working logician is aware that, after a centuries-long run, the logic that originated in antiquity came to be displaced by a new approach with a dominantly mathematical character. It is, however, a substantial error to suppose that the mathematization of logic was, in all essentials, Frege's accomplishment or, if not his alone, a development ensuing from the second half of the nineteenth century. The mathematical turn in logic, although given considerable torque by events of the nineteenth century, can with assurance be dated from the final quarter of the seventeenth century in the impressively prescient work of Leibniz. It is true that, in the three hundred year run-up to the Begriffsschrift, one does not see a smoothly continuous evolution of the mathematical turn, but the idea that logic is mathematics, albeit perhaps only the most general part of mathematics, is one that attracted some degree of support throughout the entire period in question. Still, as Alfred North Whitehead once noted, the relationship between mathematics and symbolic logic has been an "uneasy" one, as is the present-day association of mathematics with computing. Some of this unease has a philosophical texture. For example, those who equate mathematics and logic sometimes disagree about the directionality of the purported identity. Frege and Russell made themselves famous by insisting (though for different reasons) that logic was the senior partner. Indeed logicism is the view that mathematics can be re-expressed without relevant loss in a suitably framed symbolic logic. But for a number of thinkers who took an algebraic approach to logic, the dependency relation was reversed, with mathematics in some form emerging as the senior partner. This was the precursor of the modern view that, in its four main precincts (set theory, proof theory, model theory and recursion theory), logic is indeed a branch of pure mathematics. It would be a mistake to leave the impression that the mathematization of logic (or the logicization of mathematics) was the sole concern of the history of logic between 1665 and 1900. There are, in this long interval, aspects of the modern unfolding of logic that bear no stamp of the imperial designs of mathematicians, as the chapters on Kant and Hegel make clear. Of the two, Hegel's influence on logic is arguably the greater, serving as a spur to the unfolding of an idealist tradition in logic - a development that will be covered in a further volume, British Logic in the Nineteenth Century Preface (D.M. Gabbay, J. Woods) -- List of Contributors -- Leibniz's Logic (W. Lenzen) -- Kant: From General to Transcendental Logic (M. Tiles) -- Hegel's Logic (J.W. Burbidge) -- Bolzano as Logician (P. Rusnock, R. George) -- Husserl's Logic (R. Tieszen) -- Algebraical Logic 1685-1900 (T. Hailperin) -- The Algebra of Logic (V.S. Valencia) -- The Mathematical Turn in Logic (I. Grattan-Guinness) -- Schrder's Logic (V. Peckhaus) -- Peirce's Logic (R. Hilpinen) -- Frege's Logic (P. Sullivan) -- Index Includes bibliographical references and index Geschichte gnd rswk-swf Logica gtt Geschichte Logik Logic / History Logique / Histoire Logica / gtt Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Mathematik (DE-588)4037944-9 gnd rswk-swf Logik (DE-588)4036202-4 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 s Mathematik (DE-588)4037944-9 s Geschichte z DE-604 Logik (DE-588)4036202-4 s 1\p DE-604 Gabbay, Dov M. Sonstige oth Woods, John Sonstige oth http://www.sciencedirect.com/science/book/9780444516114 Verlag Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
spellingShingle | The rise of modern logic from Leibniz to Frege Logica gtt Geschichte Logik Logic / History Logique / Histoire Logica / gtt Mathematische Logik (DE-588)4037951-6 gnd Mathematik (DE-588)4037944-9 gnd Logik (DE-588)4036202-4 gnd |
subject_GND | (DE-588)4037951-6 (DE-588)4037944-9 (DE-588)4036202-4 |
title | The rise of modern logic from Leibniz to Frege |
title_auth | The rise of modern logic from Leibniz to Frege |
title_exact_search | The rise of modern logic from Leibniz to Frege |
title_full | The rise of modern logic from Leibniz to Frege edited by Dov M. Gabbay and John Woods |
title_fullStr | The rise of modern logic from Leibniz to Frege edited by Dov M. Gabbay and John Woods |
title_full_unstemmed | The rise of modern logic from Leibniz to Frege edited by Dov M. Gabbay and John Woods |
title_short | The rise of modern logic |
title_sort | the rise of modern logic from leibniz to frege |
title_sub | from Leibniz to Frege |
topic | Logica gtt Geschichte Logik Logic / History Logique / Histoire Logica / gtt Mathematische Logik (DE-588)4037951-6 gnd Mathematik (DE-588)4037944-9 gnd Logik (DE-588)4036202-4 gnd |
topic_facet | Logica Geschichte Logik Logic / History Logique / Histoire Logica / gtt Mathematische Logik Mathematik |
url | http://www.sciencedirect.com/science/book/9780444516114 |
work_keys_str_mv | AT gabbaydovm theriseofmodernlogicfromleibniztofrege AT woodsjohn theriseofmodernlogicfromleibniztofrege |