| |
In this collection of essays written over a period of twenty years, Solomon Feferman explains advanced results in modern logic and employs them to cast light on significant problems in the foundations of mathematics. Most troubling among these is the revolutionary way...
Editeur :
Oxford University Press
Parution :
1998-11-19
PDF
|
This book explores an important central thread that unifies Russell's thoughts on logic in two works previously considered at odds with each other, the Principles of Mathematics and the later Principia Mathematica.This thread is Russell's doctrine that logic is an...
Editeur :
Oxford University Press
Parution :
1998-08-20
PDF
|
Our much-valued mathematical knowledge rests on two supports: the logic of proof and the axioms from which those proofs begin. Naturalism in Mathematics investigates the status of the latter, the fundamental assumptions of mathematics. These were once held to be...
Editeur :
Clarendon Press
Parution :
1997-11-13
PDF
|
Intermediate Logic is an ideal text for anyone who has taken a first course in logic and is progressing to further study. It examines logical theory, rather than the applications of logic, and does not assume any specific technological grounding. The author introduces...
Editeur :
Clarendon Press
Parution :
1997-08-07
PDF
|
Do numbers, sets, and so forth, exist? What do mathematical statements mean? Are they literally true or false, or do they lack truth values altogether? Addressing questions that have attracted lively debate in recent years, Stewart Shapiro contends that standard realist...
Editeur :
Oxford University Press
Parution :
1997-08-07
PDF, ePub
|
Intermediate Logic is an ideal text for anyone who has taken a first course in logic and is progressing to further study. It examines logical theory, rather than the applications of logic, and does not assume any specific technological grounding. The author introduces...
Editeur :
Clarendon Press
Parution :
1997-08-07
ePub
|
Mathematics as a Science of Patterns is the definitive exposition of a system of ideas about the nature of mathematics which Michael Resnik has been elaborating for a number of years. In calling mathematics a science he implies that it has a factual subject-matter and...
Editeur :
Clarendon Press
Parution :
1997-07-31
PDF
|
Numbers and other mathematical objects are exceptional in having no locations in space or time or relations of cause and effect. This makes it difficult to account for the possibility of the knowledge of such objects, leading many philosophers to embrace nominalism, the...
Editeur :
Clarendon Press
Parution :
1997-01-16
PDF
|
The seventeenth century saw dramatic advances in mathematical theory and practice. With the recovery of many of the classical Greek mathematical texts, new techniques were introduced, and within 100 years, the rules of analytic geometry, geometry of indivisibles,...
Editeur :
Oxford University Press
Parution :
1996-01-18
PDF
|
There are many proposed aims for scientific inquiry--to explain or predict events, to confirm or falsify hypotheses, or to find hypotheses that cohere with our other beliefs in some logical or probabilistic sense. This book is devoted to a different proposal--that the...
Editeur :
Oxford University Press
Parution :
1996-01-04
PDF
|
This is a comprehensive study of the English word or, and the logical operators variously proposed to present its meaning. Although there are indisputably disjunctive uses of or in English, it is a mistake to suppose that logical disjunction represents its core meaning....
Editeur :
Oxford University Press
Parution :
1994-11-10
PDF
|
In this book, Yaqub describes a simple conception of truth and shows that it yields a semantical theory that accommodates the whole range of our seemingly conflicting intuitions about truth. This conception takes the Tarskian biconditionals (such as "The sentence...
Editeur :
Oxford University Press
Parution :
1993-04-08
PDF
|
This work is a sequel to the author's Gödel's Incompleteness Theorems, though it can be read independently by anyone familiar with Gödel's incompleteness theorem for Peano arithmetic. The book deals mainly with those aspects of recursion theory that have applications to...
Editeur :
Oxford University Press
Parution :
1993-01-28
PDF
|
Kurt Godel, the greatest logician of our time, startled the world of mathematics in 1931 with his Theorem of Undecidability, which showed that some statements in mathematics are inherently "undecidable." His work on the completeness of logic, the incompleteness of...
Editeur :
Oxford University Press
Parution :
1992-08-20
PDF, ePub
|
The central contention of this book is that second-order logic has a central role to play in laying the foundations of mathematics. In order to develop the argument fully, the author presents a detailed development of higher-order logic, including a comprehensive...
Editeur :
Clarendon Press
Parution :
1991-09-19
PDF
|
The ideas of the German philosopher and mathematician Gottlob Frege lie at the root of the analytic movement in philosophy; Michael Dummett is his leading modern critical interpreter and one of today's most eminent philosophers. This volume collects together fifteen of...
Editeur :
Clarendon Press
Parution :
1991-02-14
PDF
|
This book is concerned with `the problem of existence in mathematics'. It develops a mathematical system in which there are no existence assertions but only assertions of the constructibility of certain sorts of things. It explores the philosophical implications of such...
Editeur :
Clarendon Press
Parution :
1990-04-12
PDF
|
Geoffrey Hellman presents a detailed interpretation of mathematics as the investigation of structural possibilities, as opposed to absolute, Platonic objects. After dealing with the natural numbers and analysis, he extends his approach to set theory, and shows how to...
Editeur :
Clarendon Press
Parution :
1989-10-12
PDF
|
|
|
Willard Van Orman Quine begins this influential work by declaring, "Language is a social art. In acquiring it we have to depend entirely on intersubjectively available cues as to what to say and when." With "Word and Object" Quine challenged the tradition of conceptual...
Editeur :
Rare Treasure Editions
Parution :
2025-12-20
epub sans DRM
|