Mechanization of Reasoning in a Historical Perspective / / Witold Marciszewski, Roman Murawski.
This volume is written jointly by Witold Marciszewski, who contributed the introductory and the three subsequent chapters, and Roman Murawski who is the author of the next ones - those concerned with the 19th century and the modern inquiries into formalization, algebraization and mechanization of re...
Saved in:
VerfasserIn: | |
---|---|
TeilnehmendeR: | |
Place / Publishing House: | Leiden : : BRILL,, 1995. |
Year of Publication: | 1995 |
Edition: | 1st ed. |
Language: | English |
Series: | Poznań Studies in the Philosophy of the Sciences and the Humanities Series
|
Physical Description: | 1 online resource. |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
id |
993588577404498 |
---|---|
ctrlnum |
(CKB)5680000000302147 (NjHacI)995680000000302147 (MiAaPQ)EBC31217069 (Au-PeEL)EBL31217069 (EXLCZ)995680000000302147 |
collection |
bib_alma |
record_format |
marc |
spelling |
Marciszewski, Witold, author. Mechanization of Reasoning in a Historical Perspective / Witold Marciszewski, Roman Murawski. 1st ed. Leiden : BRILL, 1995. 1 online resource. text txt rdacontent computer c rdamedia online resource cr rdacarrier Poznań studies in the philosophy of the sciences and the humanities ; 43 Description based on publisher supplied metadata and other sources. This volume is written jointly by Witold Marciszewski, who contributed the introductory and the three subsequent chapters, and Roman Murawski who is the author of the next ones - those concerned with the 19th century and the modern inquiries into formalization, algebraization and mechanization of reasonings. Besides the authors there are other persons, as well as institutions, to whom the book owes its coming into being. The study which resulted in this volume was carried out in the Historical Section of the research project Logical Systems and Algorithms for Automatic Testing of Reasoning, 1986-1990, in which participated nine Polish universities; the project was coordinated by the Department of Logic, Methodology and Philosophy of Science of the Bialystok Branch of the University of Warsaw, and supported by the Ministry of Education some of its results are reported in Srzednicki Ed. 1987. The major part of the project was focussed on the software for computer-aided theorem proving called Mizar MSE Multi-Sorted first-order logic with Equality, reported in Marciszewski 1994a due to Dr. Andrzej Trybulec. He and other colleagues deserve a grateful mention for a hands-on experience and theoretical stimulants owed to their collaboration. Intro -- Title Page -- Copyright Page -- Acknowledgements -- Table of Contents -- 1. From the Mechanization of Reasoning to a Study of Human Intelligence -- 1.1. Von Neumann's project related to cognitive science -- 1.2. The Leibniz-style Cybernetic Universe -- 1.3. Information-processing through data-processing -- 1.4. Intelligence and model-based reasoning -- 2. The Formalization of Arguments in the Middle Ages -- 2.1. The contention of the present chapter -- 2.2. Heuristic algorithms in the Middle Ages -- 2.3. The role of Lull and Lullism -- 3. Leibniz's Idea of Mechanical Reasoning at the Historical Background -- 3.1. An interaction between logic and mathematics -- 3.2. The Renaissance reformism and intuitionism in logic -- 3.3. Leibniz on the mechanization of arguments -- 4. Between Leibniz and Boole: Towards the Algebraization of Logic -- 4.1. Preliminary remarks -- 4.2. Leibniz's direct successors -- 4.3. The work of J. H. Lambert -- 5. The English Algebra of Logic in the 19th Century -- 5.1. A. De Morgan's syllogistic and the theory of relations -- 5.2. G. Boole and his algebra of logic -- 5.3. The Logical works of Jevons -- 5.4. J. Venn and logical diagrams -- 5.5. Conclusions -- 6. The 20th Century Way to Formalization and Mechanization -- 6.1. Introduction -- 6.2. G. Peano - symbolic language and the axiomatization of mathematics -- 6.3. G. Frege and the idea of a formal system -- 6.4. B. Russell and the fulfillment of Peano's and Frege's projects -- 6.5. Skolemization -- 6.6. D. Hilbert and his program -- 6.7. J. Herbrand -- 6.8. G. Gentzen and natural deduction -- 6.9. Semantic and analytic tableaux -- 6.10. Conclusions -- 7. Mechanized Deduction Systems -- 7.1. Introduction -- 7.2. First mechanized deduction systems -- 7.3. Unification and resolution -- 7.4. Further development of mechanized deduction systems after 1965. 7.5. Final remarks -- References -- Index of Subjects -- Index of Names -- Extended Table of Contents. Reasoning. Murawski, Roman, author. 90-5183-790-9 Poznań Studies in the Philosophy of the Sciences and the Humanities Series |
language |
English |
format |
eBook |
author |
Marciszewski, Witold, Murawski, Roman, |
spellingShingle |
Marciszewski, Witold, Murawski, Roman, Mechanization of Reasoning in a Historical Perspective / Poznań studies in the philosophy of the sciences and the humanities ; Intro -- Title Page -- Copyright Page -- Acknowledgements -- Table of Contents -- 1. From the Mechanization of Reasoning to a Study of Human Intelligence -- 1.1. Von Neumann's project related to cognitive science -- 1.2. The Leibniz-style Cybernetic Universe -- 1.3. Information-processing through data-processing -- 1.4. Intelligence and model-based reasoning -- 2. The Formalization of Arguments in the Middle Ages -- 2.1. The contention of the present chapter -- 2.2. Heuristic algorithms in the Middle Ages -- 2.3. The role of Lull and Lullism -- 3. Leibniz's Idea of Mechanical Reasoning at the Historical Background -- 3.1. An interaction between logic and mathematics -- 3.2. The Renaissance reformism and intuitionism in logic -- 3.3. Leibniz on the mechanization of arguments -- 4. Between Leibniz and Boole: Towards the Algebraization of Logic -- 4.1. Preliminary remarks -- 4.2. Leibniz's direct successors -- 4.3. The work of J. H. Lambert -- 5. The English Algebra of Logic in the 19th Century -- 5.1. A. De Morgan's syllogistic and the theory of relations -- 5.2. G. Boole and his algebra of logic -- 5.3. The Logical works of Jevons -- 5.4. J. Venn and logical diagrams -- 5.5. Conclusions -- 6. The 20th Century Way to Formalization and Mechanization -- 6.1. Introduction -- 6.2. G. Peano - symbolic language and the axiomatization of mathematics -- 6.3. G. Frege and the idea of a formal system -- 6.4. B. Russell and the fulfillment of Peano's and Frege's projects -- 6.5. Skolemization -- 6.6. D. Hilbert and his program -- 6.7. J. Herbrand -- 6.8. G. Gentzen and natural deduction -- 6.9. Semantic and analytic tableaux -- 6.10. Conclusions -- 7. Mechanized Deduction Systems -- 7.1. Introduction -- 7.2. First mechanized deduction systems -- 7.3. Unification and resolution -- 7.4. Further development of mechanized deduction systems after 1965. 7.5. Final remarks -- References -- Index of Subjects -- Index of Names -- Extended Table of Contents. |
author_facet |
Marciszewski, Witold, Murawski, Roman, Murawski, Roman, |
author_variant |
w m wm r m rm |
author_role |
VerfasserIn VerfasserIn |
author2 |
Murawski, Roman, |
author2_role |
TeilnehmendeR |
author_sort |
Marciszewski, Witold, |
title |
Mechanization of Reasoning in a Historical Perspective / |
title_full |
Mechanization of Reasoning in a Historical Perspective / Witold Marciszewski, Roman Murawski. |
title_fullStr |
Mechanization of Reasoning in a Historical Perspective / Witold Marciszewski, Roman Murawski. |
title_full_unstemmed |
Mechanization of Reasoning in a Historical Perspective / Witold Marciszewski, Roman Murawski. |
title_auth |
Mechanization of Reasoning in a Historical Perspective / |
title_new |
Mechanization of Reasoning in a Historical Perspective / |
title_sort |
mechanization of reasoning in a historical perspective / |
series |
Poznań studies in the philosophy of the sciences and the humanities ; |
series2 |
Poznań studies in the philosophy of the sciences and the humanities ; |
publisher |
BRILL, |
publishDate |
1995 |
physical |
1 online resource. |
edition |
1st ed. |
contents |
Intro -- Title Page -- Copyright Page -- Acknowledgements -- Table of Contents -- 1. From the Mechanization of Reasoning to a Study of Human Intelligence -- 1.1. Von Neumann's project related to cognitive science -- 1.2. The Leibniz-style Cybernetic Universe -- 1.3. Information-processing through data-processing -- 1.4. Intelligence and model-based reasoning -- 2. The Formalization of Arguments in the Middle Ages -- 2.1. The contention of the present chapter -- 2.2. Heuristic algorithms in the Middle Ages -- 2.3. The role of Lull and Lullism -- 3. Leibniz's Idea of Mechanical Reasoning at the Historical Background -- 3.1. An interaction between logic and mathematics -- 3.2. The Renaissance reformism and intuitionism in logic -- 3.3. Leibniz on the mechanization of arguments -- 4. Between Leibniz and Boole: Towards the Algebraization of Logic -- 4.1. Preliminary remarks -- 4.2. Leibniz's direct successors -- 4.3. The work of J. H. Lambert -- 5. The English Algebra of Logic in the 19th Century -- 5.1. A. De Morgan's syllogistic and the theory of relations -- 5.2. G. Boole and his algebra of logic -- 5.3. The Logical works of Jevons -- 5.4. J. Venn and logical diagrams -- 5.5. Conclusions -- 6. The 20th Century Way to Formalization and Mechanization -- 6.1. Introduction -- 6.2. G. Peano - symbolic language and the axiomatization of mathematics -- 6.3. G. Frege and the idea of a formal system -- 6.4. B. Russell and the fulfillment of Peano's and Frege's projects -- 6.5. Skolemization -- 6.6. D. Hilbert and his program -- 6.7. J. Herbrand -- 6.8. G. Gentzen and natural deduction -- 6.9. Semantic and analytic tableaux -- 6.10. Conclusions -- 7. Mechanized Deduction Systems -- 7.1. Introduction -- 7.2. First mechanized deduction systems -- 7.3. Unification and resolution -- 7.4. Further development of mechanized deduction systems after 1965. 7.5. Final remarks -- References -- Index of Subjects -- Index of Names -- Extended Table of Contents. |
isbn |
90-04-45742-9 90-5183-790-9 |
callnumber-first |
B - Philosophy, Psychology, Religion |
callnumber-subject |
BC - Logic |
callnumber-label |
BC177 |
callnumber-sort |
BC 3177 M37 41995 |
illustrated |
Not Illustrated |
dewey-hundreds |
100 - Philosophy & psychology |
dewey-tens |
160 - Logic |
dewey-ones |
160 - Logic |
dewey-full |
160 |
dewey-sort |
3160 |
dewey-raw |
160 |
dewey-search |
160 |
work_keys_str_mv |
AT marciszewskiwitold mechanizationofreasoninginahistoricalperspective AT murawskiroman mechanizationofreasoninginahistoricalperspective |
status_str |
n |
ids_txt_mv |
(CKB)5680000000302147 (NjHacI)995680000000302147 (MiAaPQ)EBC31217069 (Au-PeEL)EBL31217069 (EXLCZ)995680000000302147 |
carrierType_str_mv |
cr |
is_hierarchy_title |
Mechanization of Reasoning in a Historical Perspective / |
author2_original_writing_str_mv |
noLinkedField |
_version_ |
1796653116809019394 |
fullrecord |
<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02327nam a2200325 i 4500</leader><controlfield tag="001">993588577404498</controlfield><controlfield tag="005">20240126020943.0</controlfield><controlfield tag="006">m o d </controlfield><controlfield tag="007">cr |||||||||||</controlfield><controlfield tag="008">240126s1995 ne o 000 0 eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">90-04-45742-9</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1163/9789004457423</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(CKB)5680000000302147</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(NjHacI)995680000000302147</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(MiAaPQ)EBC31217069</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(Au-PeEL)EBL31217069</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(EXLCZ)995680000000302147</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">NjHacI</subfield><subfield code="b">eng</subfield><subfield code="e">rda</subfield><subfield code="c">NjHacl</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">BC177</subfield><subfield code="b">.M37 1995</subfield></datafield><datafield tag="082" ind1="0" ind2="4"><subfield code="a">160</subfield><subfield code="2">23</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Marciszewski, Witold,</subfield><subfield code="e">author.</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, Roman Murawski.</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1st ed.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Leiden :</subfield><subfield code="b">BRILL,</subfield><subfield code="c">1995.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource.</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="0" ind2=" "><subfield code="a">Poznań studies in the philosophy of the sciences and the humanities ;</subfield><subfield code="v">43</subfield></datafield><datafield tag="588" ind1=" " ind2=" "><subfield code="a">Description based on publisher supplied metadata and other sources.</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">This volume is written jointly by Witold Marciszewski, who contributed the introductory and the three subsequent chapters, and Roman Murawski who is the author of the next ones - those concerned with the 19th century and the modern inquiries into formalization, algebraization and mechanization of reasonings. Besides the authors there are other persons, as well as institutions, to whom the book owes its coming into being. The study which resulted in this volume was carried out in the Historical Section of the research project Logical Systems and Algorithms for Automatic Testing of Reasoning, 1986-1990, in which participated nine Polish universities; the project was coordinated by the Department of Logic, Methodology and Philosophy of Science of the Bialystok Branch of the University of Warsaw, and supported by the Ministry of Education some of its results are reported in Srzednicki Ed. 1987. The major part of the project was focussed on the software for computer-aided theorem proving called Mizar MSE Multi-Sorted first-order logic with Equality, reported in Marciszewski 1994a due to Dr. Andrzej Trybulec. He and other colleagues deserve a grateful mention for a hands-on experience and theoretical stimulants owed to their collaboration.</subfield></datafield><datafield tag="505" ind1="0" ind2=" "><subfield code="a">Intro -- Title Page -- Copyright Page -- Acknowledgements -- Table of Contents -- 1. From the Mechanization of Reasoning to a Study of Human Intelligence -- 1.1. Von Neumann's project related to cognitive science -- 1.2. The Leibniz-style Cybernetic Universe -- 1.3. Information-processing through data-processing -- 1.4. Intelligence and model-based reasoning -- 2. The Formalization of Arguments in the Middle Ages -- 2.1. The contention of the present chapter -- 2.2. Heuristic algorithms in the Middle Ages -- 2.3. The role of Lull and Lullism -- 3. Leibniz's Idea of Mechanical Reasoning at the Historical Background -- 3.1. An interaction between logic and mathematics -- 3.2. The Renaissance reformism and intuitionism in logic -- 3.3. Leibniz on the mechanization of arguments -- 4. Between Leibniz and Boole: Towards the Algebraization of Logic -- 4.1. Preliminary remarks -- 4.2. Leibniz's direct successors -- 4.3. The work of J. H. Lambert -- 5. The English Algebra of Logic in the 19th Century -- 5.1. A. De Morgan's syllogistic and the theory of relations -- 5.2. G. Boole and his algebra of logic -- 5.3. The Logical works of Jevons -- 5.4. J. Venn and logical diagrams -- 5.5. Conclusions -- 6. The 20th Century Way to Formalization and Mechanization -- 6.1. Introduction -- 6.2. G. Peano - symbolic language and the axiomatization of mathematics -- 6.3. G. Frege and the idea of a formal system -- 6.4. B. Russell and the fulfillment of Peano's and Frege's projects -- 6.5. Skolemization -- 6.6. D. Hilbert and his program -- 6.7. J. Herbrand -- 6.8. G. Gentzen and natural deduction -- 6.9. Semantic and analytic tableaux -- 6.10. Conclusions -- 7. Mechanized Deduction Systems -- 7.1. Introduction -- 7.2. First mechanized deduction systems -- 7.3. Unification and resolution -- 7.4. Further development of mechanized deduction systems after 1965.</subfield></datafield><datafield tag="505" ind1="8" ind2=" "><subfield code="a">7.5. Final remarks -- References -- Index of Subjects -- Index of Names -- Extended Table of Contents.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Reasoning.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Murawski, Roman,</subfield><subfield code="e">author.</subfield></datafield><datafield tag="776" ind1=" " ind2=" "><subfield code="z">90-5183-790-9</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Poznań Studies in the Philosophy of the Sciences and the Humanities Series</subfield></datafield><datafield tag="906" ind1=" " ind2=" "><subfield code="a">BOOK</subfield></datafield><datafield tag="ADM" ind1=" " ind2=" "><subfield code="b">2024-04-02 01:34:25 Europe/Vienna</subfield><subfield code="f">system</subfield><subfield code="c">marc21</subfield><subfield code="a">2023-03-23 08:44:14 Europe/Vienna</subfield><subfield code="g">false</subfield></datafield><datafield tag="AVE" ind1=" " ind2=" "><subfield code="i">Brill</subfield><subfield code="P">EBA Brill All</subfield><subfield code="x">https://eu02.alma.exlibrisgroup.com/view/uresolver/43ACC_OEAW/openurl?u.ignore_date_coverage=true&portfolio_pid=5344473030004498&Force_direct=true</subfield><subfield code="Z">5344473030004498</subfield><subfield code="b">Available</subfield><subfield code="8">5344473030004498</subfield></datafield></record></collection> |