| |
Abstractionism, which is a development of Frege's original Logicism, is a recent and much debated position in the philosophy of mathematics. This volume contains 16 original papers by leading scholars on the philosophical and mathematical aspects of Abstractionism....
Editeur :
OUP Oxford
Parution :
2016-12-01
PDF
|
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. In undertaking this task, the book is intended as an exploration, not so much of the more specifically discursive...
Editeur :
OUP Oxford
Parution :
2016-11-17
ePub
|
Alex Oliver and Timothy Smiley provide a natural point of entry to what for most readers will be a new subject. Plural logic deals with plural terms ('Whitehead and Russell', 'Henry VIII's wives', 'the real numbers', 'the square root of -1', 'they'), plural predicates...
Editeur :
OUP Oxford
Parution :
2016-11-04
PDF
|
Alex Oliver and Timothy Smiley provide a natural point of entry to what for most readers will be a new subject. Plural logic deals with plural terms ('Whitehead and Russell', 'Henry VIII's wives', 'the real numbers', 'the square root of -1', 'they'), plural predicates...
Editeur :
OUP Oxford
Parution :
2016-11-04
ePub
|
Not all scientific explanations work by describing causal connections between events or the world's overall causal structure. Some mathematical proofs explain why the theorems being proved hold. In this book, Marc Lange proposes philosophical accounts of many kinds of...
Editeur :
Oxford University Press
Parution :
2016-10-18
PDF
|
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. In undertaking this task, the book is intended as an exploration, not so much of the more specifically discursive...
Editeur :
OUP Oxford
Parution :
2016-09-08
PDF
|
Reasons Why first argues that what philosophers are really after, or at least should be after, when they seek a theory of explanation, is a theory of answers to why-questions. It then advances a thesis about what form a theory of answers to why-questions should take: a...
Editeur :
OUP Oxford
Parution :
2016-08-11
PDF, ePub
|
In this volume, different aspects of logics for dependence and independence are discussed, including both the logical and computational aspects of dependence logic, and also applications in a number of areas, such as statistics, social choice theory,...
Editeur :
Birkhäuser
Parution :
2016-06-29
ePub
|
This book is the first in the field of paraconsistency to offer a comprehensive overview of the subject, including connections to other logics and applications in information processing, linguistics, reasoning and argumentation, and philosophy of science. It is...
Editeur :
Springer
Parution :
2016-06-14
Collection :
Logic, Epistemology, and the Unity of Science
ePub
|
The Critical Thinking Toolkit is a comprehensive compendium that equips readers with the essential knowledge and methods for clear, analytical, logical thinking and critique in a range of scholarly contexts and everyday situations. Takes an expansive approach to...
Editeur :
Wiley-Blackwell
Parution :
2016-06-02
PDF, ePub
|
How far should our realism extend? For many years philosophers of mathematics and philosophers of ethics have worked independently to address the question of how best to understand the entities apparently referred to by mathematical and ethical talk. But the...
Editeur :
OUP Oxford
Parution :
2016-05-27
PDF
|
How far should our realism extend? For many years philosophers of mathematics and philosophers of ethics have worked independently to address the question of how best to understand the entities apparently referred to by mathematical and ethical talk. But the...
Editeur :
OUP Oxford
Parution :
2016-05-26
ePub
|
The aim of this volume is to collect original contributions by the best specialists from the area of proof theory, constructivity, and computation and discuss recent trends and results in these areas. Some emphasis will be put on ordinal analysis, reductive proof...
Editeur :
Birkhäuser
Parution :
2016-05-04
ePub
|
This book celebrates and expands on J. Michael Dunn’s work on
informational interpretations of logic. Dunn, in his Ph.D. thesis (1966),
introduced a semantics for first-degree entailments utilizing the idea that a
sentence can provide positive or negative information...
Editeur :
Springer
Parution :
2016-04-02
ePub
|
Analytic philosophy is once again in a methodological frame of mind. Nowhere is this more evident than in metaphysics, whose practitioners and historians are actively reflecting on the nature of ontological questions, the status of their answers, and the relevance of...
Editeur :
OUP Oxford
Parution :
2016-03-25
PDF
|
Analytic philosophy is once again in a methodological frame of mind. Nowhere is this more evident than in metaphysics, whose practitioners and historians are actively reflecting on the nature of ontological questions, the status of their answers, and the relevance of...
Editeur :
OUP Oxford
Parution :
2016-03-24
ePub
|
Unity and Plurality presents novel ways of thinking about plurality while casting new light on the interconnections among the logical, philosophical, and linguistic aspects of plurals. The volume brings together new work on the logic and ontology of plurality and on the...
Editeur :
OUP Oxford
Parution :
2016-03-18
PDF
|
This volume is the first ever collection devoted to the field of proof-theoretic semantics. Contributions address topics including the systematics of introduction and elimination rules and proofs of normalization, the categorial characterization of deductions, the...
Editeur :
Springer
Parution :
2015-10-24
Collection :
Trends in Logic
PDF, ePub
|
This volume brings together a group of logic-minded philosophers and philosophically oriented logicians to address a diversity of topics on the structural analysis of non-classical logics. It mainly focuses on the construction of different types of models for various...
Editeur :
Springer
Parution :
2015-10-16
PDF, ePub
|
This volume considers the computational complexity of determining whether a system of equations over a fixed algebra A has a solution. It examines in detail the two problems this leads to: SysTermSat(A) and SysPolSat(A), in which equations are built out of terms or...
Editeur :
Springer
Parution :
2015-07-24
PDF, ePub
|