Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Reasoning

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Reasoning

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Reasoning

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

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.

Reasoning.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Reinhard Lauth (1919-2007) ist einer der bedeutendsten systematischen Philosophen des 20. Jahrhunderts. In der 1979 erschienenen "Theorie des philosophischen Arguments" fasste er in einer streng formalisierten Sprache die Grundlagen systematischen Philosophierens zusammen. In seinen letzten Lebensjahren hat er seinen transzendentalphilosophischen Ansatz weiter entwickelt, was in dem hier erstmals veröffentlichten zweiten Teil des Buchs ihren Niederschlag gefunden hat. Abgerundet wird das Ganze durch einige unveröffentlichte Aufsätze. Reinhard Lauth (1919-2007) was one of the most important systematic philosophers of the twentieth century. In his 1979 "Theory of Philosophical Argument," he summarized the methodological principles of systematic philosophy using a heavily formalized language. In the final years of his life, he delved deeper into this topic, which is reflected in the sequel, published here for the first time.

Reasoning.