| |
This third volume continues Richard Routley's explorations of an improved Meinongian account of non-referring and intensional discourse (including joint work with Val Routley, later Val Plumwood). It focuses on the essays 8 to 12 of the original...
Editeur :
Springer
Parution :
2020-11-10
PDF
|
This book is the first edited collection of papers on the work of one of the most seminal and profound contemporary philosophers. Over the last five decades, Kit Fine has made thought-provoking and innovative contributions to several areas of systematic philosophy,...
Editeur :
OUP Oxford
Parution :
2020-10-27
PDF
|
This book on proof theory centers around the legacy of Kurt Schütte and its current impact on the subject. Schütte was the last doctoral student of David Hilbert who was the first to see that proofs can be viewed as structured mathematical objects amenable to...
Editeur :
Springer
Parution :
2020-08-10
PDF
|
Crispin Wright is widely recognised as one of the most important and influential analytic philosophers of the twentieth and twenty-first centuries. This volume is a collective exploration of the major themes of his work in philosophy of language, philosophical logic,...
Editeur :
OUP Oxford
Parution :
2020-06-17
PDF
|
Leibniz published the Dissertation on Combinatorial Art in 1666. This book contains the seeds of Leibniz's mature thought, as well as many of the mathematical ideas that he would go on to further develop after the invention of the calculus. It is in the Dissertation,...
Editeur :
OUP Oxford
Parution :
2020-05-28
PDF
|
Leibniz published the Dissertation on Combinatorial Art in 1666. This book contains the seeds of Leibniz's mature thought, as well as many of the mathematical ideas that he would go on to further develop after the invention of the calculus. It is in the Dissertation,...
Editeur :
OUP Oxford
Parution :
2020-05-28
ePub
|
This book is the first edited collection of papers on the work of one of the most seminal and profound contemporary philosophers. Over the last five decades, Kit Fine has made thought-provoking and innovative contributions to several areas of systematic philosophy,...
Editeur :
OUP Oxford
Parution :
2020-04-21
ePub
|
|
|
This volume gathers selected papers presented at the Fourth Asian Workshop on Philosophical Logic, held in Beijing in October 2018. The contributions cover a wide variety of topics in modal logic (epistemic logic, temporal logic and dynamic logic), proof theory,...
Editeur :
Springer
Parution :
2020-03-23
PDF, ePub
|
When he died in 1930 aged 26, Frank Ramsey had already invented one branch of mathematics and two branches of economics, laying the foundations for decision theory and game theory. Keynes deferred to him; he was the only philosopher whom Wittgenstein treated as an...
Editeur :
OUP Oxford
Parution :
2020-02-13
PDF
|
When he died in 1930 aged 26, Frank Ramsey had already invented one branch of mathematics and two branches of economics, laying the foundations for decision theory and game theory. Keynes deferred to him; he was the only philosopher whom Wittgenstein treated as an...
Editeur :
OUP Oxford
Parution :
2020-02-13
ePub
|
"The old logic put thought in fetters, while the new logic gives it wings."
For the past century, philosophers working in the tradition of Bertrand Russell - who promised to revolutionise philosophy by introducing the 'new logic' of Frege and Peano - have employed...
Editeur :
OUP Oxford
Parution :
2020-02-06
PDF
|
In this book, Paulo Guilherme Santos studies diagonalization in formal mathematics from logical aspects to everyday mathematics. He starts with a study of the diagonalization lemma and its relation to the strong diagonalization lemma. After that, Yablo’s paradox is...
Editeur :
Springer Spektrum
Parution :
2020-01-04
PDF
|
The book provides a historical (with an outline of the history of the concept of truth from antiquity to our time) and systematic exposition of the semantic theory of truth formulated by Alfred Tarski in the 1930s. This theory became famous very soon and inspired...
Editeur :
Springer
Parution :
2020-01-01
PDF, ePub
|
This book presents the state of the art in the fields of formal logic pioneered by Graham Priest. It includes advanced technical work on the model and proof theories of paraconsistent logic, in contributions from top scholars in the field. Graham Priest’s research has...
Editeur :
Springer
Parution :
2020-01-01
Collection :
Outstanding Contributions to Logic
PDF, ePub
|
This edited volume collects essays on the four-valued logic known as Belnap-Dunn logic, or first-degree entailment logic (FDE). It also looks at various formal systems closely related to it. These include the strong Kleene logic and the Logic of Paradox. Inside, readers...
Editeur :
Springer
Parution :
2020-01-01
PDF
|
In this book Jeffrey A. Barrett provides an introduction to the history and conceptual foundations of quantum mechanics. He begins with a description of classical mechanics and a discussion of the quantum phenomena that radically undermine our common-sense classical...
Editeur :
OUP Oxford
Parution :
2019-12-19
PDF
|
In a fragment entitled Elementa Nova Matheseos Universalis (1683?) Leibniz writes “the mathesis […] shall deliver the method through which things that are conceivable can be exactly determined”; in another fragment he takes...
Editeur :
Springer
Parution :
2019-10-25
PDF, ePub
|
This edited book brings together research work in the field of constructive semantics with scholarship on the phenomenological foundations of logic and mathematics. It addresses one of the central issues in the epistemology and philosophy of mathematics, namely the...
Editeur :
Springer
Parution :
2019-10-15
PDF, ePub
|
This book presents a detailed treatment of ordinal combinatorics of large sets tailored for independence results. It uses model theoretic and combinatorial methods to obtain results in proof theory, such as incompleteness theorems or a description of the provably total...
Editeur :
Springer
Parution :
2019-09-26
PDF, ePub
|