Mechanization of reasoning in a historical perspective:
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Amsterdam
Rodopi
1995
|
| Schriftenreihe: | Poznań studies in the philosophy of the sciences and the humanities
43 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | 267 S. |
| ISBN: | 9051837909 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV010156777 | ||
| 003 | DE-604 | ||
| 005 | 20100406 | ||
| 007 | t | ||
| 008 | 950427s1995 |||| 00||| eng d | ||
| 020 | |a 9051837909 |9 90-5183-790-9 | ||
| 035 | |a (OCoLC)33077629 | ||
| 035 | |a (DE-599)BVBBV010156777 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-355 |a DE-12 |a DE-29 |a DE-739 |a DE-83 |a DE-188 | ||
| 050 | 0 | |a BC177 | |
| 082 | 0 | |a 511.3 | |
| 084 | |a CC 2000 |0 (DE-625)17606: |2 rvk | ||
| 100 | 1 | |a Marciszewski, Witold |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Mechanization of reasoning in a historical perspective |c Witold Marciszewski and Roman Murawski |
| 264 | 1 | |a Amsterdam |b Rodopi |c 1995 | |
| 300 | |a 267 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Poznań studies in the philosophy of the sciences and the humanities |v 43 | |
| 648 | 7 | |a Geschichte |2 gnd |9 rswk-swf | |
| 650 | 7 | |a Formalisering |2 gtt | |
| 650 | 7 | |a Mechanisering |2 gtt | |
| 650 | 7 | |a Redeneren |2 gtt | |
| 650 | 4 | |a Mathematisches Modell | |
| 650 | 4 | |a Reasoning | |
| 650 | 4 | |a Reasoning |x Mathematical models | |
| 650 | 0 | 7 | |a Philosophie |0 (DE-588)4045791-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Formalisierung |0 (DE-588)4123217-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Geschichte |0 (DE-588)4020517-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Schlussfolgern |0 (DE-588)4251178-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Argumentation |0 (DE-588)4002899-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mechanisierung |0 (DE-588)4038177-8 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Philosophie |0 (DE-588)4045791-6 |D s |
| 689 | 0 | 1 | |a Argumentation |0 (DE-588)4002899-9 |D s |
| 689 | 0 | 2 | |a Geschichte |0 (DE-588)4020517-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Schlussfolgern |0 (DE-588)4251178-1 |D s |
| 689 | 1 | 1 | |a Formalisierung |0 (DE-588)4123217-3 |D s |
| 689 | 1 | 2 | |a Mechanisierung |0 (DE-588)4038177-8 |D s |
| 689 | 1 | 3 | |a Geschichte |A z |
| 689 | 1 | |5 DE-188 | |
| 689 | 2 | 0 | |a Argumentation |0 (DE-588)4002899-9 |D s |
| 689 | 2 | 1 | |a Formalisierung |0 (DE-588)4123217-3 |D s |
| 689 | 2 | 2 | |a Geschichte |A z |
| 689 | 2 | |5 DE-188 | |
| 700 | 1 | |a Murawski, Roman |d 1949- |e Verfasser |0 (DE-588)103247831 |4 aut | |
| 830 | 0 | |a Poznań studies in the philosophy of the sciences and the humanities |v 43 |w (DE-604)BV002682427 |9 43 | |
| 856 | 4 | 2 | |m GBV Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006746840&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-006746840 | ||
Datensatz im Suchindex
| _version_ | 1804124553661644800 |
|---|---|
| adam_text | WITOLD MARCISZEWSKI AND ROMAN MURAWSKI MECHANIZATION OF REASONING IN A
HISTORICAL PERSPECTIVE AMSTERDAM - ATLANTA, GA 1995 TABLE OF CONTENTS
ACKNOWLEDGEMENTS 1. FROM THE MECHANIZATION OF REASONING TO A STUDY OF
HUMAN INTELLIGENCE 1.1. VON NEUMANN S PROJECT RELATED TO COGNITIVE
SCIENCE . 12 1.2. THE LEIBNIZ-STYLE CYBERNETIC UNIVERSE 19 1.3.
INFORMATION-PROCESSING THROUGH DATA-PROCESSING ... 23 1.4. INTELLIGENCE
AND MODEL-BASED REASONING 32 2. THE FORMALIZATION OF ARGUMENTS IN THE
MIDDLE AGES 2.1. THE CONTENTION OF THE PRESENT CHAPTER 45 2.2. HEURISTIC
ALGORITHMS IN THE MIDDLE AGES 50 2.3. THE ROLE OF LULL AND LULLISM 62 3.
LEIBNIZ S IDEA OF MECHANICAL REASONING AT THE HISTORICAL BACKGROUND 3.1.
AN INTERACTION BETWEEN LOGIC AND MATHEMATICS ... 77 3.2. THE RENAISSANCE
REFORMISM AND INTUITIONISM IN LOGIC 90 3.3. LEIBNIZ ON THE MECHANIZATION
OF ARGUMENTS 103 4. BETWEEN LEIBNIZ AND BOOLE: TOWARDS THE
ALGEBRAIZATION OF LOGIC 4.1. PRELIMINARY REMARKS 113 4.2. LEIBNIZ S
DIRECT SUCCESSORS 115 4.3. THE WORK OF J. H. LAMBERT 120 5. THE ENGLISH
ALGEBRA OF LOGIC IN THE 19TH CENTURY 5.1. A. DE MORGAN S SYLLOGISTIC AND
THE THEORY OF RELATIONS 129 5.2. G. BOOLE AND HIS ALGEBRA OF LOGIC 135
5.3. THE LOGICAL WORKS OF JEVONS 148 5.4. J. VENN AND LOGICAL DIAGRAMS
152 5.5. CONCLUSIONS 158 . 10 TABLE OF CONTENTS 6. THE 20TH CENTURY WAY
TO FORMALIZATION AND MECHANIZATION 6.1. INTRODUCTION 161 6.2. G. PEANO -
SYMBOLIC LANGUAGE AND THE AXIOMATIZA- TION OF MATHEMATICS 162 6.3. G.
FREGE AND THE IDEA OF A FORMAL SYSTEM . 167 6.4. B. RUSSELL AND THE
FULFILLMENT OF PEANO S AND FREGE S PROJECTS 174 6.5. SKOLEMIZATION 178
6.6. D. HILBERT AND HIS PROGRAM 182 6.7. J. HERBRAND . 187 6.8. G.
GENTZEN AND NATURAL DEDUCTION 190 6.9. SEMANTIC AND ANALYTIC TABLEAUX
198 6.10. CONCLUSIONS 205 7. MECHANIZED DEDUCTION SYSTEMS 7.1.
INTRODUCTION 209 7.2. FIRST MECHANIZED DEDUCTION SYSTEMS 210 7.3.
UNIFICATION AND RESOLUTION 213 7.4. FURTHER DEVELOPMENT OF MECHANIZED
DEDUCTION SYSTEMS AFTER 1965 225 7.5. FINAL REMARKS 228 REFERENCES 231
INDEX OF SUBJECTS 253 INDEX OF NAMES 257 EXTENDED TABLE OF CONTENTS 261
|
| any_adam_object | 1 |
| author | Marciszewski, Witold Murawski, Roman 1949- |
| author_GND | (DE-588)103247831 |
| author_facet | Marciszewski, Witold Murawski, Roman 1949- |
| author_role | aut aut |
| author_sort | Marciszewski, Witold |
| author_variant | w m wm r m rm |
| building | Verbundindex |
| bvnumber | BV010156777 |
| callnumber-first | B - Philosophy, Psychology, Religion |
| callnumber-label | BC177 |
| callnumber-raw | BC177 |
| callnumber-search | BC177 |
| callnumber-sort | BC 3177 |
| callnumber-subject | BC - Logic |
| classification_rvk | CC 2000 |
| ctrlnum | (OCoLC)33077629 (DE-599)BVBBV010156777 |
| dewey-full | 511.3 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.3 |
| dewey-search | 511.3 |
| dewey-sort | 3511.3 |
| dewey-tens | 510 - Mathematics |
| 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>02556nam a2200649 cb4500</leader><controlfield tag="001">BV010156777</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20100406 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">950427s1995 |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9051837909</subfield><subfield code="9">90-5183-790-9</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)33077629</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010156777</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="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-355</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">BC177</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</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="100" ind1="1" ind2=" "><subfield code="a">Marciszewski, Witold</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Mechanization of reasoning in a historical perspective</subfield><subfield code="c">Witold Marciszewski and Roman Murawski</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam</subfield><subfield code="b">Rodopi</subfield><subfield code="c">1995</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">267 S.</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">Poznań studies in the philosophy of the sciences and the humanities</subfield><subfield code="v">43</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">Formalisering</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Mechanisering</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Redeneren</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematisches Modell</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Reasoning</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Reasoning</subfield><subfield code="x">Mathematical models</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Philosophie</subfield><subfield code="0">(DE-588)4045791-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formalisierung</subfield><subfield code="0">(DE-588)4123217-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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">Schlussfolgern</subfield><subfield code="0">(DE-588)4251178-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Argumentation</subfield><subfield code="0">(DE-588)4002899-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mechanisierung</subfield><subfield code="0">(DE-588)4038177-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Philosophie</subfield><subfield code="0">(DE-588)4045791-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Argumentation</subfield><subfield code="0">(DE-588)4002899-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Geschichte</subfield><subfield code="0">(DE-588)4020517-4</subfield><subfield code="D">s</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">Schlussfolgern</subfield><subfield code="0">(DE-588)4251178-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Formalisierung</subfield><subfield code="0">(DE-588)4123217-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="2"><subfield code="a">Mechanisierung</subfield><subfield code="0">(DE-588)4038177-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="3"><subfield code="a">Geschichte</subfield><subfield code="A">z</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-188</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Argumentation</subfield><subfield code="0">(DE-588)4002899-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><subfield code="a">Formalisierung</subfield><subfield code="0">(DE-588)4123217-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="2"><subfield code="a">Geschichte</subfield><subfield code="A">z</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-188</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Murawski, Roman</subfield><subfield code="d">1949-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)103247831</subfield><subfield code="4">aut</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Poznań studies in the philosophy of the sciences and the humanities</subfield><subfield code="v">43</subfield><subfield code="w">(DE-604)BV002682427</subfield><subfield code="9">43</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">GBV 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=006746840&sequence=000001&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-006746840</subfield></datafield></record></collection> |
| id | DE-604.BV010156777 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T17:47:30Z |
| institution | BVB |
| isbn | 9051837909 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006746840 |
| oclc_num | 33077629 |
| open_access_boolean | |
| owner | DE-355 DE-BY-UBR DE-12 DE-29 DE-739 DE-83 DE-188 |
| owner_facet | DE-355 DE-BY-UBR DE-12 DE-29 DE-739 DE-83 DE-188 |
| physical | 267 S. |
| publishDate | 1995 |
| publishDateSearch | 1995 |
| publishDateSort | 1995 |
| publisher | Rodopi |
| record_format | marc |
| series | Poznań studies in the philosophy of the sciences and the humanities |
| series2 | Poznań studies in the philosophy of the sciences and the humanities |
| spelling | Marciszewski, Witold Verfasser aut Mechanization of reasoning in a historical perspective Witold Marciszewski and Roman Murawski Amsterdam Rodopi 1995 267 S. txt rdacontent n rdamedia nc rdacarrier Poznań studies in the philosophy of the sciences and the humanities 43 Geschichte gnd rswk-swf Formalisering gtt Mechanisering gtt Redeneren gtt Mathematisches Modell Reasoning Reasoning Mathematical models Philosophie (DE-588)4045791-6 gnd rswk-swf Formalisierung (DE-588)4123217-3 gnd rswk-swf Geschichte (DE-588)4020517-4 gnd rswk-swf Schlussfolgern (DE-588)4251178-1 gnd rswk-swf Argumentation (DE-588)4002899-9 gnd rswk-swf Mechanisierung (DE-588)4038177-8 gnd rswk-swf Philosophie (DE-588)4045791-6 s Argumentation (DE-588)4002899-9 s Geschichte (DE-588)4020517-4 s DE-604 Schlussfolgern (DE-588)4251178-1 s Formalisierung (DE-588)4123217-3 s Mechanisierung (DE-588)4038177-8 s Geschichte z DE-188 Murawski, Roman 1949- Verfasser (DE-588)103247831 aut Poznań studies in the philosophy of the sciences and the humanities 43 (DE-604)BV002682427 43 GBV Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006746840&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Marciszewski, Witold Murawski, Roman 1949- Mechanization of reasoning in a historical perspective Poznań studies in the philosophy of the sciences and the humanities Formalisering gtt Mechanisering gtt Redeneren gtt Mathematisches Modell Reasoning Reasoning Mathematical models Philosophie (DE-588)4045791-6 gnd Formalisierung (DE-588)4123217-3 gnd Geschichte (DE-588)4020517-4 gnd Schlussfolgern (DE-588)4251178-1 gnd Argumentation (DE-588)4002899-9 gnd Mechanisierung (DE-588)4038177-8 gnd |
| subject_GND | (DE-588)4045791-6 (DE-588)4123217-3 (DE-588)4020517-4 (DE-588)4251178-1 (DE-588)4002899-9 (DE-588)4038177-8 |
| title | Mechanization of reasoning in a historical perspective |
| title_auth | Mechanization of reasoning in a historical perspective |
| title_exact_search | Mechanization of reasoning in a historical perspective |
| title_full | Mechanization of reasoning in a historical perspective Witold Marciszewski and Roman Murawski |
| title_fullStr | Mechanization of reasoning in a historical perspective Witold Marciszewski and Roman Murawski |
| title_full_unstemmed | Mechanization of reasoning in a historical perspective Witold Marciszewski and Roman Murawski |
| title_short | Mechanization of reasoning in a historical perspective |
| title_sort | mechanization of reasoning in a historical perspective |
| topic | Formalisering gtt Mechanisering gtt Redeneren gtt Mathematisches Modell Reasoning Reasoning Mathematical models Philosophie (DE-588)4045791-6 gnd Formalisierung (DE-588)4123217-3 gnd Geschichte (DE-588)4020517-4 gnd Schlussfolgern (DE-588)4251178-1 gnd Argumentation (DE-588)4002899-9 gnd Mechanisierung (DE-588)4038177-8 gnd |
| topic_facet | Formalisering Mechanisering Redeneren Mathematisches Modell Reasoning Reasoning Mathematical models Philosophie Formalisierung Geschichte Schlussfolgern Argumentation Mechanisierung |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006746840&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV002682427 |
| work_keys_str_mv | AT marciszewskiwitold mechanizationofreasoninginahistoricalperspective AT murawskiroman mechanizationofreasoninginahistoricalperspective |