Author: J.M. Bochenski
Publisher: Springer Science & Business Media
ISBN: 9401705925
Category : Philosophy
Languages : en
Pages : 109
Get Book Here
Book Description
The work of which this is an English translation appeared originally in French as Precis de logique mathematique. In 1954 Dr. Albert Menne brought out a revised and somewhat enlarged edition in German (Grund riss der Logistik, F. Schoningh, Paderborn). In making my translation I have used both editions. For the most part I have followed the original French edition, since I thought there was some advantage in keeping the work as short as possible. However, I have included the more extensive historical notes of Dr. Menne, his bibliography, and the two sections on modal logic and the syntactical categories (§ 25 and 27), which were not in the original. I have endeavored to correct the typo graphical errors that appeared in the original editions and have made a few additions to the bibliography. In making the translation I have profited more than words can tell from the ever-generous help of Fr. Bochenski while he was teaching at the University of Notre Dame during 1955-56. OTTO BIRD Notre Dame, 1959 I GENERAL PRINCIPLES § O. INTRODUCTION 0. 1. Notion and history. Mathematical logic, also called 'logistic', ·symbolic logic', the 'algebra of logic', and, more recently, simply 'formal logic', is the set of logical theories elaborated in the course of the last century with the aid of an artificial notation and a rigorously deductive method.
Author: Joseph M. Bochenski
Publisher:
ISBN:
Category : Logic, Symbolic and mathematical
Languages : en
Pages :
Get Book Here
Book Description
Author:
Publisher:
ISBN:
Category : Logic, Symbolic and mathematical
Languages : en
Pages : 100
Get Book Here
Book Description
Author: Joseph M 1902- Bochenski
Publisher: Hassell Street Press
ISBN: 9781015285446
Category :
Languages : en
Pages : 120
Get Book Here
Book Description
This work has been selected by scholars as being culturally important and is part of the knowledge base of civilization as we know it. This work is in the public domain in the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute this work, as no entity (individual or corporate) has a copyright on the body of the work. Scholars believe, and we concur, that this work is important enough to be preserved, reproduced, and made generally available to the public. To ensure a quality reading experience, this work has been proofread and republished using a format that seamlessly blends the original graphical elements with text in an easy-to-read typeface. We appreciate your support of the preservation process, and thank you for being an important part of keeping this knowledge alive and relevant.
Author: Jozef Bochensky
Publisher:
ISBN:
Category :
Languages : en
Pages : 100
Get Book Here
Book Description
Author: Innocentius Marie Bochénski
Publisher:
ISBN:
Category :
Languages : en
Pages : 100
Get Book Here
Book Description
Author: Innocentius M. Bocheński
Publisher:
ISBN:
Category :
Languages : de
Pages : 100
Get Book Here
Book Description
Author: Robert S. Wolf
Publisher: American Mathematical Soc.
ISBN: 161444028X
Category : Algebra, Abstract
Languages : en
Pages : 397
Get Book Here
Book Description
A Tour Through Mathematical Logic provides a tour through the main branches of the foundations of mathematics. It contains chapters covering elementary logic, basic set theory, recursion theory, Gödel's (and others') incompleteness theorems, model theory, independence results in set theory, nonstandard analysis, and constructive mathematics. In addition, this monograph discusses several topics not normally found in books of this type, such as fuzzy logic, nonmonotonic logic, and complexity theory.
Author: P. H. Nidditch
Publisher: Burns & Oates
ISBN:
Category : Mathematics
Languages : en
Pages : 100
Get Book Here
Book Description
This is a clear and straightforward summary of the history of formal logic from the time of Aristotle to that of Godel. Nidditch discusses the four main trends at the root of modern logic: Aristotle's theory of the syllogism; the idea of a universal language; the idea of the parts of mathematics forming deductive systems; and the discoveries in mathematics in the early nineteenth century. He goes on to outline the chief ideas and theories of the main writers on mathematical logic, including Jevons, Peirce, Boole, Russell, and Whitehead. The text is easy to read and gives the beginning student a valuable perspective on mathematical logic.
Author: Richard L. Epstein
Publisher: Princeton University Press
ISBN: 1400841550
Category : Mathematics
Languages : en
Pages : 545
Get Book Here
Book Description
In Classical Mathematical Logic, Richard L. Epstein relates the systems of mathematical logic to their original motivations to formalize reasoning in mathematics. The book also shows how mathematical logic can be used to formalize particular systems of mathematics. It sets out the formalization not only of arithmetic, but also of group theory, field theory, and linear orderings. These lead to the formalization of the real numbers and Euclidean plane geometry. The scope and limitations of modern logic are made clear in these formalizations. The book provides detailed explanations of all proofs and the insights behind the proofs, as well as detailed and nontrivial examples and problems. The book has more than 550 exercises. It can be used in advanced undergraduate or graduate courses and for self-study and reference. Classical Mathematical Logic presents a unified treatment of material that until now has been available only by consulting many different books and research articles, written with various notation systems and axiomatizations.
