Logic category: 1296 books
by Howard Eves
Language: English
Release Date: April 10, 2012
Language: English
Release Date: April 10, 2012
This third edition of a popular, well-received text offers undergraduates an opportunity to obtain an overview of the historical roots and the evolution of several areas of mathematics.
The selection of topics conveys not only their role in this historical development of mathematics but also their...
by
Language: English
Release Date: July 1, 2013
Language: English
Release Date: July 1, 2013
Written by experts in the field, this volume presents a comprehensive investigation into the relationship between argumentation theory and the philosophy of mathematical practice. Argumentation theory studies reasoning and argument, and especially those aspects not addressed, or not addressed well,...
Intuitionistic Proof Versus Classical Truth
The Role of Brouwer’s Creative Subject in Intuitionistic Mathematics
Language: English
Release Date: February 23, 2018
This book examines the role of acts of choice in classical and intuitionistic mathematics. Featuring fifteen papers – both new and previously published – it offers a fresh analysis of concepts developed by the mathematician and philosopher L.E.J. Brouwer, the founder of intuitionism.
The...
by Ewa Orlowska, Joanna Golińska Pilarek
Language: English
Release Date: January 7, 2012
Language: English
Release Date: January 7, 2012
This book presents logical foundations of dual tableaux together with a number of their applications both to logics traditionally dealt with in mathematics and philosophy (such as modal, intuitionistic, relevant, and many-valued logics) and to various applied theories of computational logic (such...
Perspectives on Interrogative Models of Inquiry
Developments in Inquiry and Questions
Language: English
Release Date: October 7, 2015
This book explores the two major elements of Hintikka’s model of inquiry: underlying game theoretical motivations and the central role of questioning. The chapters build on the Hintikkan tradition extending Hintikka’s model and present a wide variety of approaches to the philosophy of inquiry...
From Dedekind to Gödel
Essays on the Development of the Foundations of Mathematics
Language: English
Release Date: March 9, 2013
Discussions of the foundations of mathematics and their history are frequently restricted to logical issues in a narrow sense, or else to traditional problems of analytic philosophy. From Dedekind to Gödel: Essays on the Development of the Foundations of Mathematics illustrates the much greater variety...
by Hao Wang
Language: English
Release Date: June 10, 2016
Language: English
Release Date: June 10, 2016
First published in 1974. Despite the tendency of contemporary analytic philosophy to put logic and mathematics at a central position, the author argues it failed to appreciate or account for their rich content. Through discussions of such mathematical concepts as number, the continuum, set, proof...
Proof Theory
History and Philosophical Significance
Language: English
Release Date: March 9, 2013
hiS volume in the Synthese Library Series is the result of a conference T held at the University of Roskilde, Denmark, October 31st-November 1st, 1997. The aim was to provide a forum within which philosophers, math ematicians, logicians and historians of mathematics could exchange ideas pertaining...
Model Theory
Third Edition
Language: English
Release Date: October 3, 2013
Model theory deals with a branch of mathematical logic showing connections between a formal language and its interpretations or models. This is the first and most successful textbook in logical model theory. Extensively updated and corrected in 1990 to accommodate developments in model theoretic methods...
by Prof. Martin Davis
Language: English
Release Date: April 16, 2013
Language: English
Release Date: April 16, 2013
"A clearly written, well-presented survey of an intriguing subject." — Scientific American. Classic text considers general theory of computability, computable functions, operations on computable functions, Turing machines self-applied, unsolvable decision problems, applications of general theory,...
by Harold Noonan
Language: English
Release Date: May 9, 2014
Language: English
Release Date: May 9, 2014
Saul Kripke is one of the most important philosophers of the twentieth century. His most celebrated work, Naming and Necessity, makes arguably the most important contribution to the philosophy of language and metaphysics in recent years. Asking fundamental questions – how do names refer to things...
The Problem of Reductionism in Science
(Colloquium of the Swiss Society of Logic and Philosophy of Science, Zürich, May 18–19, 1990)
Language: English
Release Date: December 6, 2012
The topic to which this book is devoted is reductionism, and not reduction. The difference in the adoption of these two denominations is not, contrary to what might appear at first sight, just a matter of preference between a more abstract (reductionism) or a more concrete (reduction) terminology...
by
Language: English
Release Date: December 6, 2012
Language: English
Release Date: December 6, 2012
Probability has become one of the most characteristic con cepts of modern culture, and a 'probabilistic way of thinking' may be said to have penetrated almost every sector of our in tellectual life. However it would be difficult to determine an explicit list of 'positive' features, to be proposed...
The End of Infinity
Where Mathematics and Philosophy Meet
Language: English
Release Date: June 15, 2018
The idea of infinity stands at the intersection of mathematics and philosophy. As da Vinci said, "Arithmetic is a computational science in its calculations, but it is of no avail in dealing with continuous quantity."The End of Infinity reviews the philosophical history of infinity, mathematics,...