History of mathematical logic from Leibniz to Peano:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English Russian |
| Veröffentlicht: |
Cambridge, Mass.
M.I.T. Pr.
1969
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | VIII, 333 S. graph. Darst. |
| ISBN: | 0262190575 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV001926334 | ||
| 003 | DE-604 | ||
| 005 | 20070611 | ||
| 007 | t | ||
| 008 | 890928s1969 d||| |||| 00||| eng d | ||
| 020 | |a 0262190575 |9 0-262-19057-5 | ||
| 035 | |a (OCoLC)60575 | ||
| 035 | |a (DE-599)BVBBV001926334 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 1 | |a eng |h rus | |
| 049 | |a DE-91G |a DE-20 |a DE-29 |a DE-19 |a DE-703 |a DE-355 |a DE-29T |a DE-706 |a DE-83 |a DE-210 | ||
| 050 | 0 | |a BC135 | |
| 050 | 0 | |a QA9 | |
| 082 | 0 | |a 164 | |
| 084 | |a CC 2000 |0 (DE-625)17606: |2 rvk | ||
| 084 | |a SG 500 |0 (DE-625)143049: |2 rvk | ||
| 084 | |a SG 590 |0 (DE-625)143069: |2 rvk | ||
| 084 | |a 5,1 |2 ssgn | ||
| 084 | |a 03-03 |2 msc | ||
| 100 | 1 | |a Stjažkin, Nikolaj I. |e Verfasser |4 aut | |
| 240 | 1 | 0 | |a Stanovlenie idei matematičeskoj logiki |
| 245 | 1 | 0 | |a History of mathematical logic from Leibniz to Peano |c N. I. Styazhkin |
| 264 | 1 | |a Cambridge, Mass. |b M.I.T. Pr. |c 1969 | |
| 300 | |a VIII, 333 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 648 | 7 | |a Geschichte |2 gnd |9 rswk-swf | |
| 650 | 4 | |a Logique symbolique et mathématique | |
| 650 | 4 | |a Geschichte | |
| 650 | 4 | |a Logic, Symbolic and mathematical |x History | |
| 650 | 0 | 7 | |a Geschichte |0 (DE-588)4020517-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 0 | 1 | |a Geschichte |A z |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 1 | 1 | |a Geschichte |0 (DE-588)4020517-4 |D s |
| 689 | 1 | |8 1\p |5 DE-604 | |
| 856 | 4 | 2 | |m HBZ Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001255320&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-001255320 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Datensatz im Suchindex
| _version_ | 1804116364970950656 |
|---|---|
| adam_text | Contents
Preface v
Chapter One. The Development of Mathematical Logic
During the Middle Ages in Europe 1
1. Survey and Periodization 1
2. The Modal Logic of the Middle Ages 23
3. Analysis of Separative and Exclusive Sentences 27
4. The Theory of Logical Implication 30
5. The Theory of Semantic Paradoxes 36
Chapter Two. Leibniz, The Founder of Symbolic Logic 56
1. The Forerunners of Leibniz 56
2. A Brief Biography and Survey of the Works of Leibniz 61
3. The Methodological Principles of Leibniz 67
4. Leibniz Logical Results; Three Stages in the Development of
His Logical Calculus 81
Chapter Three. The Development of Symbolic Logic After
Leibniz; the Seventeenth and Eighteenth Centuries 93
1. The Logical Achievements of Leibniz Disciples 93
2. The Development of the Propositional Calculus and Logic of
Relations in the Work of the Eighteenth Century Logician
Johann Lambert 112
3. Intensional Logical Calculuses of the Last Decade of the
Eighteenth Century (the Results of S. Maimon and G. F.
Castillon) 127
Chapter Four. Forerunners of the Algebra of Logic of
George Boole 137
1. The Development of Mathematical Logic in the First Half of
the Nineteenth Century 137
2. The Problem of Quantification of the Predicate in the Work
of G. Bentham and W. Hamilton; the Ideographic Devices of
W. Hamilton; A Variant of the Algebraization of the Syl¬
logistic by M. W. Drobisch 148
3. August De Morgan, Founder of the Logical Theory of
Relations 161
Chapter Five. George Boole s Calculus of Classes 170
1. A Brief Biography of George Boole 170
2. Boole s Methodological Ideas 174
3. Basic Characteristics of Boole s Logical System 177
4. Boole in the Estimation of His Contemporaries 188
5. On the Nature of the Procedure in Boole s Calculus 191
6. Some Further Problems 197
Chapter Six. The Development of the Algebra of Logic
After Boole at the End of the Nineteenth Century 203
1. Systematization and Further Advances in the Algebra of
Logic by W. S. Jevons and E. Schroder 203
2. The Legacy of P. S. Poretskiy and Ye. L. Bunitskiy 216
3. The Problematics of the Algebra of Logic in the Works of
C. S. Peirce, the Father of Semiotics 253
4. The Logistics of G. Frege 263
5. Giuseppe Peano and His School 276
Conclusions 283
References 285
Index 315
|
| any_adam_object | 1 |
| author | Stjažkin, Nikolaj I. |
| author_facet | Stjažkin, Nikolaj I. |
| author_role | aut |
| author_sort | Stjažkin, Nikolaj I. |
| author_variant | n i s ni nis |
| building | Verbundindex |
| bvnumber | BV001926334 |
| callnumber-first | B - Philosophy, Psychology, Religion |
| callnumber-label | BC135 |
| callnumber-raw | BC135 QA9 |
| callnumber-search | BC135 QA9 |
| callnumber-sort | BC 3135 |
| callnumber-subject | BC - Logic |
| classification_rvk | CC 2000 SG 500 SG 590 |
| ctrlnum | (OCoLC)60575 (DE-599)BVBBV001926334 |
| dewey-full | 164 |
| dewey-hundreds | 100 - Philosophy & psychology |
| dewey-ones | 164 - [Unassigned] |
| dewey-raw | 164 |
| dewey-search | 164 |
| dewey-sort | 3164 |
| dewey-tens | 160 - Philosophical logic |
| discipline | Mathematik Philosophie |
| era | Geschichte gnd |
| era_facet | Geschichte |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01998nam a2200529 c 4500</leader><controlfield tag="001">BV001926334</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20070611 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">890928s1969 d||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0262190575</subfield><subfield code="9">0-262-19057-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)60575</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV001926334</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="1" ind2=" "><subfield code="a">eng</subfield><subfield code="h">rus</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-210</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">BC135</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA9</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">164</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2000</subfield><subfield code="0">(DE-625)17606:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SG 500</subfield><subfield code="0">(DE-625)143049:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SG 590</subfield><subfield code="0">(DE-625)143069:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">5,1</subfield><subfield code="2">ssgn</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">03-03</subfield><subfield code="2">msc</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Stjažkin, Nikolaj I.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="240" ind1="1" ind2="0"><subfield code="a">Stanovlenie idei matematičeskoj logiki</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">History of mathematical logic from Leibniz to Peano</subfield><subfield code="c">N. I. Styazhkin</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge, Mass.</subfield><subfield code="b">M.I.T. Pr.</subfield><subfield code="c">1969</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VIII, 333 S.</subfield><subfield code="b">graph. Darst.</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="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="4"><subfield code="a">Logique symbolique et mathématique</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Geschichte</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield><subfield code="x">History</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Geschichte</subfield><subfield code="0">(DE-588)4020517-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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="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">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">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Geschichte</subfield><subfield code="0">(DE-588)4020517-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HBZ Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001255320&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-001255320</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.BV001926334 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T15:37:21Z |
| institution | BVB |
| isbn | 0262190575 |
| language | English Russian |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-001255320 |
| oclc_num | 60575 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-20 DE-29 DE-19 DE-BY-UBM DE-703 DE-355 DE-BY-UBR DE-29T DE-706 DE-83 DE-210 |
| owner_facet | DE-91G DE-BY-TUM DE-20 DE-29 DE-19 DE-BY-UBM DE-703 DE-355 DE-BY-UBR DE-29T DE-706 DE-83 DE-210 |
| physical | VIII, 333 S. graph. Darst. |
| publishDate | 1969 |
| publishDateSearch | 1969 |
| publishDateSort | 1969 |
| publisher | M.I.T. Pr. |
| record_format | marc |
| spelling | Stjažkin, Nikolaj I. Verfasser aut Stanovlenie idei matematičeskoj logiki History of mathematical logic from Leibniz to Peano N. I. Styazhkin Cambridge, Mass. M.I.T. Pr. 1969 VIII, 333 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Geschichte gnd rswk-swf Logique symbolique et mathématique Geschichte Logic, Symbolic and mathematical History Geschichte (DE-588)4020517-4 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 s Geschichte z DE-604 Geschichte (DE-588)4020517-4 s 1\p DE-604 HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001255320&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Stjažkin, Nikolaj I. History of mathematical logic from Leibniz to Peano Logique symbolique et mathématique Geschichte Logic, Symbolic and mathematical History Geschichte (DE-588)4020517-4 gnd Mathematische Logik (DE-588)4037951-6 gnd |
| subject_GND | (DE-588)4020517-4 (DE-588)4037951-6 |
| title | History of mathematical logic from Leibniz to Peano |
| title_alt | Stanovlenie idei matematičeskoj logiki |
| title_auth | History of mathematical logic from Leibniz to Peano |
| title_exact_search | History of mathematical logic from Leibniz to Peano |
| title_full | History of mathematical logic from Leibniz to Peano N. I. Styazhkin |
| title_fullStr | History of mathematical logic from Leibniz to Peano N. I. Styazhkin |
| title_full_unstemmed | History of mathematical logic from Leibniz to Peano N. I. Styazhkin |
| title_short | History of mathematical logic from Leibniz to Peano |
| title_sort | history of mathematical logic from leibniz to peano |
| topic | Logique symbolique et mathématique Geschichte Logic, Symbolic and mathematical History Geschichte (DE-588)4020517-4 gnd Mathematische Logik (DE-588)4037951-6 gnd |
| topic_facet | Logique symbolique et mathématique Geschichte Logic, Symbolic and mathematical History Mathematische Logik |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001255320&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT stjazkinnikolaji stanovlenieideimatematiceskojlogiki AT stjazkinnikolaji historyofmathematicallogicfromleibniztopeano |