This book is focused on the first three parts of Bolzano's Theory of Sciene and introduces a more systematic reconsideration of Bolzano's logial thought.
This book is focused on the first three parts of Bolzano's Theory of Sciene and introduces a more systematic reconsideration of Bolzano's logial thought.
Many significant problems in metaphysics are tied to ontological questions, but ontology and its relation to larger questions in metaphysics give rise to a series of puzzles that suggest that we don't fully understand what ontology is supposed to do, nor what ambitions metaphysics can have for finding out about what reality is like.
Science Without Numbers caused a stir in philosophy on its original publication in 1980, with its bold nominalist approach to the ontology of mathematics and science.
Many significant problems in metaphysics are tied to ontological questions, but ontology and its relation to larger questions in metaphysics give rise to a series of puzzles that suggest that we don't fully understand what ontology is supposed to do, nor what ambitions metaphysics can have for finding out about what reality is like.
The logician Kurt Godel in 1951 established a disjunctive thesis about the scope and limits of mathematical knowledge: either the mathematical mind is not equivalent to a Turing machine (i.
The logician Kurt Godel in 1951 established a disjunctive thesis about the scope and limits of mathematical knowledge: either the mathematical mind is not equivalent to a Turing machine (i.
Roy T Cook examines the Yablo paradox--a paradoxical, infinite sequence of sentences, each of which entails the falsity of all others later than it in the sequence--with special attention paid to the idea that this paradox provides us with a semantic paradox that involves no circularity.
While we are commonly told that the distinctive method of mathematics is rigorous proof, and that the special topic of mathematics is abstract structure, there has been no agreement among mathematicians, logicians, or philosophers as to just what either of these assertions means.
While we are commonly told that the distinctive method of mathematics is rigorous proof, and that the special topic of mathematics is abstract structure, there has been no agreement among mathematicians, logicians, or philosophers as to just what either of these assertions means.
Gottfried Wilhelm Leibniz (1646-1716) was a man of extraordinary intellectual creativity who lived an exceptionally rich and varied intellectual life in troubled times.
Gottfried Wilhelm Leibniz (1646-1716) was a man of extraordinary intellectual creativity who lived an exceptionally rich and varied intellectual life in troubled times.
Paolo Mancosu presents a series of innovative studies in the history and the philosophy of logic and mathematics in the first half of the twentieth century.
The volume is the first collection of essays that focuses on Gottlob Frege's Basic Laws of Arithmetic (1893/1903), highlighting both the technical and the philosophical richness of Frege's magnum opus.
To open a newspaper or turn on the television it would appear that science and religion are polar opposites - mutually exclusive bedfellows competing for hearts and minds.
To open a newspaper or turn on the television it would appear that science and religion are polar opposites - mutually exclusive bedfellows competing for hearts and minds.
In recent years there have been a number of books-both anthologies and monographs-that have focused on the Liar Paradox and, more generally, on the semantic paradoxes, either offering proposed treatments to those paradoxes or critically evaluating ones that occupy logical space.
The term "e;fuzzy logic,"e; as it is understood in this book, stands for all aspects of representing and manipulating knowledge based on the rejection of the most fundamental principle of classical logic---the principle of bivalence.
The biological and social sciences often generalize causal conclusions from one context or location to others that may differ in some relevant respects, as is illustrated by inferences from animal models to humans or from a pilot study to a broader population.
With a never-before published paper by Lord Henry Cavendish, as well as a biography on him, this book offers a fascinating discourse on the rise of scientific attitudes and ways of knowing.
If we must take mathematical statements to be true, must we also believe in the existence of abstracta eternal invisible mathematical objects accessible only by the power of pure thought?