Book Description
Russell's classic The Principles of Mathematics sets forth his landmark thesis that mathematics and logic are identical--that what is commonly called mathematics is simply later deductions from logical premises.
Author : Bertrand Russell
Publisher : W. W. Norton & Company
Page : 580 pages
File Size : 35,88 MB
Release : 1996
Category : Mathematics
ISBN : 9780393314045
Russell's classic The Principles of Mathematics sets forth his landmark thesis that mathematics and logic are identical--that what is commonly called mathematics is simply later deductions from logical premises.
Author : Alfred North Whitehead
Publisher :
Page : 688 pages
File Size : 19,79 MB
Release : 1910
Category : Logic, Symbolic and mathematical
ISBN :
Author : Vilém Novák
Publisher : Springer Science & Business Media
Page : 327 pages
File Size : 37,87 MB
Release : 2012-12-06
Category : Mathematics
ISBN : 1461552176
Mathematical Principles of Fuzzy Logic provides a systematic study of the formal theory of fuzzy logic. The book is based on logical formalism demonstrating that fuzzy logic is a well-developed logical theory. It includes the theory of functional systems in fuzzy logic, providing an explanation of what can be represented, and how, by formulas of fuzzy logic calculi. It also presents a more general interpretation of fuzzy logic within the environment of other proper categories of fuzzy sets stemming either from the topos theory, or even generalizing the latter. This book presents fuzzy logic as the mathematical theory of vagueness as well as the theory of commonsense human reasoning, based on the use of natural language, the distinguishing feature of which is the vagueness of its semantics.
Author : David Hilbert
Publisher : American Mathematical Soc.
Page : 186 pages
File Size : 36,93 MB
Release : 1999
Category : Mathematics
ISBN : 0821820249
David Hilbert was particularly interested in the foundations of mathematics. Among many other things, he is famous for his attempt to axiomatize mathematics. This now classic text is his treatment of symbolic logic. It lays the groundwork for his later work with Bernays. This translation is based on the second German edition, and has been modified according to the criticisms of Church and Quine. In particular, the authors' original formulation of Gödel's completeness proof for the predicate calculus has been updated. In the first half of the twentieth century, an important debate on the foundations of mathematics took place. Principles of Mathematical Logic represents one of Hilbert's important contributions to that debate. Although symbolic logic has grown considerably in the subsequent decades, this book remains a classic.
Author : Jaakko Hintikka
Publisher : Cambridge University Press
Page : 308 pages
File Size : 33,33 MB
Release : 1998-04-28
Category : Mathematics
ISBN : 9780521624985
This book, written by one of philosophy's pre-eminent logicians, argues that many of the basic assumptions common to logic, philosophy of mathematics and metaphysics are in need of change. It is therefore a book of critical importance to logical theory. Jaakko Hintikka proposes a new basic first-order logic and uses it to explore the foundations of mathematics. This new logic enables logicians to express on the first-order level such concepts as equicardinality, infinity, and truth in the same language. The famous impossibility results by Gödel and Tarski that have dominated the field for the last sixty years turn out to be much less significant than has been thought. All of ordinary mathematics can in principle be done on this first-order level, thus dispensing with the existence of sets and other higher-order entities.
Author : J. N. Crossley
Publisher : Courier Corporation
Page : 99 pages
File Size : 46,58 MB
Release : 2012-08-29
Category : Mathematics
ISBN : 0486151522
A serious introductory treatment geared toward non-logicians, this survey traces the development of mathematical logic from ancient to modern times and discusses the work of Planck, Einstein, Bohr, Pauli, Heisenberg, Dirac, and others. 1972 edition.
Author : Jean E. Rubin
Publisher : Harcourt Brace College Publishers
Page : 448 pages
File Size : 14,91 MB
Release : 1990
Category : Logic, Symbolic and mathematical
ISBN :
Author : D. Hilbert
Publisher : American Mathematical Society
Page : 187 pages
File Size : 37,57 MB
Release : 2022-05-11
Category : Mathematics
ISBN : 147047056X
David Hilbert was particularly interested in the foundations of mathematics. Among many other things, he is famous for his attempt to axiomatize mathematics. This now classic text is his treatment of symbolic logic. This translation is based on the second German edition and has been modified according to the criticisms of Church and Quine. In particular, the authors' original formulation of Gödel's completeness proof for the predicate calculus has been updated. In the first half of the twentieth century, an important debate on the foundations of mathematics took place. Principles of Mathematical Logic represents one of Hilbert's important contributions to that debate. Although symbolic logic has grown considerably in the subsequent decades, this book remains a classic.
Author : Abram Aronovich Stolyar
Publisher : Courier Corporation
Page : 229 pages
File Size : 14,78 MB
Release : 1984-01-01
Category : Mathematics
ISBN : 0486645614
This lucid, non-intimidating presentation by a Russian scholar explores propositional logic, propositional calculus, and predicate logic. Topics include computer science and systems analysis, linguistics, and problems in the foundations of mathematics. Accessible to high school students, it also constitutes a valuable review of fundamentals for professionals. 1970 edition.
Author : Patrick Suppes
Publisher : Courier Corporation
Page : 340 pages
File Size : 50,39 MB
Release : 2012-07-12
Category : Mathematics
ISBN : 0486138054
Part I of this coherent, well-organized text deals with formal principles of inference and definition. Part II explores elementary intuitive set theory, with separate chapters on sets, relations, and functions. Ideal for undergraduates.