Mechanization Of Reasoning In A Historical Perspective

Author : Anonim
Publisher : BRILL
Page : 267 pages
File Size : 52,8 Mb
Release : 2023-03-13
Category : Language Arts & Disciplines
ISBN : 9789004457423

Get Book

Mechanization of Reasoning in a Historical Perspective by Anonim Pdf

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 Bia??l??ystok 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.

Author : Witold Marciszewski,Roman Murawski
Publisher : Rodopi
Page : 288 pages
File Size : 54,7 Mb
Release : 1995
Category : Logic
ISBN : 9051837909

Get Book

Mechanization of Reasoning in a Historical Perspective by Witold Marciszewski,Roman Murawski Pdf

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 Bia??l??ystok 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.

Author : Anonim
Publisher : BRILL
Page : 390 pages
File Size : 42,8 Mb
Release : 2022-05-16
Category : Philosophy
ISBN : 9789004457805

Get Book

Structuralist Knowledge Representation by Anonim Pdf

Author : Donald MacKenzie
Publisher : MIT Press
Page : 448 pages
File Size : 49,9 Mb
Release : 2004-01-30
Category : Social Science
ISBN : 0262632950

Get Book

Mechanizing Proof by Donald MacKenzie Pdf

Most aspects of our private and social lives—our safety, the integrity of the financial system, the functioning of utilities and other services, and national security—now depend on computing. But how can we know that this computing is trustworthy? In Mechanizing Proof, Donald MacKenzie addresses this key issue by investigating the interrelations of computing, risk, and mathematical proof over the last half century from the perspectives of history and sociology. His discussion draws on the technical literature of computer science and artificial intelligence and on extensive interviews with participants. MacKenzie argues that our culture now contains two ideals of proof: proof as traditionally conducted by human mathematicians, and formal, mechanized proof. He describes the systems constructed by those committed to the latter ideal and the many questions those systems raise about the nature of proof. He looks at the primary social influence on the development of automated proof—the need to predict the behavior of the computer systems upon which human life and security depend—and explores the involvement of powerful organizations such as the National Security Agency. He concludes that in mechanizing proof, and in pursuing dependable computer systems, we do not obviate the need for trust in our collective human judgment.

Author : Anonim
Publisher : BRILL
Page : 378 pages
File Size : 51,8 Mb
Release : 2016-09-12
Category : Philosophy
ISBN : 9789004333222

Get Book

Evandro Agazzi: Right, Wrong and Science by Anonim Pdf

Solving the problem of the negative impact of science and technology on society and the environment is indeed the greatest challenge of our time. To date, this challenge has been taken up by few professional philosophers of science, making this volume a welcome contribution to the general debate. Agazzi’s treatment involves viewing modern science and technology as each constituting systems. Against the background of this approach, he provides a penetrating analysis of science, technology and ethics, and their interrelations. Agazzi sees the solution to the problem as lying in the moral sphere and including a multilateral assumption of responsibility on the part of decision makers both within and outside of science.

Author : Anonim
Publisher : BRILL
Page : 428 pages
File Size : 51,5 Mb
Release : 2016-08-29
Category : Philosophy
ISBN : 9789004332966

Get Book

Essays in Logic and Ontology by Anonim Pdf

The aim of this book is to present essays centered upon the subjects of Formal Ontology and Logical Philosophy. The idea of investigating philosophical problems by means of logical methods was intensively promoted in Torun by the Department of Logic of Nicolaus Copernicus University during last decade. Another aim of this book is to present to the philosophical and logical audience the activities of the Torunian Department of Logic during this decade. The papers in this volume contain the results concerning Logic and Logical Philosophy, obtained within the confines of the projects initiated by the Department of Logic and other research projects in which the Torunian Department of Logic took part.

Author : Anonim
Publisher : BRILL
Page : 618 pages
File Size : 49,8 Mb
Release : 2016-08-09
Category : Philosophy
ISBN : 9789004333888

Get Book

Analytic Philosophy in Finland by Anonim Pdf

Finland is internationally known as one of the leading centers of twentieth century analytic philosophy. This volume offers for the first time an overall survey of the Finnish analytic school. The rise of this trend is illustrated by original articles of Edward Westermarck, Eino Kaila, Georg Henrik von Wright, and Jaakko Hintikka. Contributions of Finnish philosophers are then systematically discussed in the fields of logic, philosophy of language, philosophy of science, history of philosophy, ethics and social philosophy. Metaphilosophical reflections on the nature of philosophy are highlighted by the Finnish dialogue between analytic philosophy, phenomenology, pragmatism, and critical theory.

Author : Anonim
Publisher : BRILL
Page : 174 pages
File Size : 40,5 Mb
Release : 2016-08-01
Category : Religion
ISBN : 9789401202947

Get Book

Knowledge Cultures by Anonim Pdf

This volume compares the western ideas of knowledge with the African. It aims at creating a mirror through which the western knowledge culture can look at itself through an unusual and interesting angle. The culture of Sub-Saharan Africa is the substance from which we, in this book, have tried to construe an epistemological mirror.

Author : Anonim
Publisher : BRILL
Page : 541 pages
File Size : 51,9 Mb
Release : 2022-05-20
Category : Science
ISBN : 9789004457690

Get Book

Idealization X: The Richness of Idealization by Anonim Pdf

Contents: Preface. - Introduction. - Science as a caricature of reality. - Three methodological revolutions. - The method of idealization. - Explanations and applications. - Truth and idealization. - A generalization of idealization. - References.

Author : Dimitri Ginev
Publisher : BRILL
Page : 152 pages
File Size : 47,6 Mb
Release : 2023-03-13
Category : Philosophy
ISBN : 9789004457522

Get Book

A Passage to the Idea for a Hermeneutic Philosophy of Science by Dimitri Ginev Pdf

In this book the author has brought together his long-standing interests in theory of scientific rationality and hermeneutic ontology by developing a hermeneutic alternative to analytic (and naturalist) epistemology of science. The hermeneutic philosophy of science is less the name of a new field of philosophical than a demand for a repetition of the basic philosophical questions of science from hermeneutic point of view. The book addresses chiefly two subjects: (I) The hermeneutic response to the models of rational reconstruction of scientific knowledge; (II) The specificity of hermeneutico-ontological approach to the cognitive pluralism in science.

Author : Anonim
Publisher : BRILL
Page : 320 pages
File Size : 41,8 Mb
Release : 2022-07-25
Category : Science
ISBN : 9789004457799

Get Book

Polish Philosophers of Science and Nature in the 20th Century by Anonim Pdf

The volume is a collection of essays about prominent Polish 20th century philosophers of science and scientists who were concerned with problems in the philosophy of science. The contribution made by Polish logicians, especially those from the Lvov-Warsaw School, like Łukasiewicz, Kotarbiński, Czeżowski or Ajdukiewicz, is already well known. One of the aims of the volume is to offer a broader perspective. The papers collected here are devoted to the work of such philosophers as Zawirski, Metallmann, Dąmbska, Mehlberg, Szaniawski and Giedymin as well as to the work of such scientists as Smoluchowski, Fleck, Infeld and Chyliński. The introduction to the volume, written by the editor and Jacek Jadacki, presents an overview of the history of the Polish philosophy of science from the foundation of the Cracow Academy (in 1364) to the present.

Author : Anonim
Publisher : BRILL
Page : 762 pages
File Size : 51,7 Mb
Release : 2023-12-28
Category : Philosophy
ISBN : 9789004457478

Get Book

The Social Philosophy of Ernest Gellner by Anonim Pdf

Author : Jerzy Brzeziński,Leszek Nowak
Publisher : Rodopi
Page : 264 pages
File Size : 49,7 Mb
Release : 1997
Category : Education, Higher
ISBN : 9042001445

Get Book

The Idea of the University by Jerzy Brzeziński,Leszek Nowak Pdf

Author : Jerzy Brzeziński,Bodo Krause,Tomasz Maruszewski
Publisher : Rodopi
Page : 342 pages
File Size : 51,7 Mb
Release : 1997
Category : Philosophy
ISBN : 9042003030

Get Book

Idealization VIII by Jerzy Brzeziński,Bodo Krause,Tomasz Maruszewski Pdf

Author : Anonim
Publisher : BRILL
Page : 300 pages
File Size : 52,8 Mb
Release : 2022-02-22
Category : Science
ISBN : 9789004457768

Get Book

Logic, Probability and Science by Anonim Pdf

From the contents: Charles MORGAN: Canonical models and probabilistic semantics. - Francois LEPAGE: A many-valued probabilistic logic. - Piers RAWLING: The exchange paradox, finite additivity, and the principle of dominance. - Susan VINEBERG: The logical status of conditionalization and its role in confirmation. - Deborah MAYO: Science, error statistics, and arguing from error. - Mark N. LANCE: The best is the enemy of the good: Bayesian epistemology as a case study in unhelpful idealization. - Robert B. GARDNER & Michael C. WOOTEN: An application of Bayes' theorem to population genetics. - Peter D. JOHNSON, Jr.: Another look at group selection."