| |
Model theory is used in every theoretical branch of analytic philosophy: in philosophy of mathematics, in philosophy of science, in philosophy of language, in philosophical logic, and in metaphysics.
But these wide-ranging uses of model theory have created a highly...
Editeur :
OUP Oxford
Parution :
2018-03-09
PDF
|
Truth is one of the oldest and most central topics in philosophy. Formal theories explore the connections between truth and logic, and they address truth-theoretic paradoxes such as the Liar. Three leading philosopher-logicians now present a concise overview of the main...
Editeur :
OUP Oxford
Parution :
2018-03-08
PDF
|
Varieties of Continua explores the development of the idea of the continuous. Hellman and Shapiro begin with two historical episodes. The first is the remarkably rapid transition in the course of the nineteenth century from the ancient Aristotelian view, that a true...
Editeur :
OUP Oxford
Parution :
2018-02-02
PDF
|
According to Grothendieck, the notion of topos is "the bed or deep river where come to be married geometry and algebra, topology and arithmetic, mathematical logic and category theory, the world of the continuous and that of discontinuous or discrete structures". It is...
Editeur :
OUP Oxford
Parution :
2018-01-19
ePub
|
This book collects, for the first time in one volume, contributions honoring Professor Raymond Smullyan’s work on self-reference. It serves not only as a tribute to one of the great thinkers in logic, but also as a celebration of self-reference in general, to be enjoyed...
Editeur :
Springer
Parution :
2018-01-11
PDF
|
According to Grothendieck, the notion of topos is "the bed or deep river where come to be married geometry and algebra, topology and arithmetic, mathematical logic and category theory, the world of the continuous and that of discontinuous or discrete structures". It is...
Editeur :
OUP Oxford
Parution :
2017-12-08
PDF
|
This volume examines the entire logical and philosophical production of Nicolai A. Vasil’ev, studying his life and activities as a historian and man of letters. Readers will gain a comprehensive understanding of this influential Russian logician, philosopher,...
Editeur :
Springer
Parution :
2017-12-04
PDF, ePub
|
This volume brings together a group of logic-minded philosophers and philosophically oriented logicians, mainly from Asia, to address a variety of logical and philosophical topics of current interest, offering a representative cross-section of the philosophical logic...
Editeur :
Springer
Parution :
2017-11-25
PDF, ePub
|
Often people have wondered why there is no introductory text on category theory aimed at philosophers working in related areas. The answer is simple: what makes categories interesting and significant is their specific use for specific purposes. These uses and purposes,...
Editeur :
OUP Oxford
Parution :
2017-11-17
PDF
|
Logic is often perceived as having little to do with the rest of philosophy, and even less to do with real life. In this lively and accessible introduction, Graham Priest shows how wrong this conception is. He explores the philosophical roots of the subject, explaining...
Editeur :
OUP Oxford
Parution :
2017-10-19
ePub
|
Logic is often perceived as having little to do with the rest of philosophy, and even less to do with real life. In this lively and accessible introduction, Graham Priest shows how wrong this conception is. He explores the philosophical roots of the subject, explaining...
Editeur :
OUP Oxford
Parution :
2017-10-19
PDF
|
Neil Tennant presents an original logical system with unusual philosophical, proof-theoretic, metalogical, computational, and revision-theoretic virtues. Core Logic, which lies deep inside Classical Logic, best formalizes rigorous mathematical reasoning. It captures...
Editeur :
OUP Oxford
Parution :
2017-09-01
PDF
|
This volume is a result of the international symposium “The Tradition of the Lvov-Warsaw School in European Culture,” which took place in Warsaw, Poland, September 2015. It collects almost all the papers presented at the symposium as well as some additional ones. The...
Editeur :
Springer
Parution :
2017-07-24
PDF, ePub
|
The notion of a propositional content plays a central role in contemporary philosophy of language. Propositional content makes up both the meaning of sentences and the content of propositional attitudes such as belief. One particular view about propositional content has...
Editeur :
Oxford University Press
Parution :
2017-07-03
PDF, ePub
|
The term "fuzzy logic," 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. According to this principle, each...
Editeur :
Oxford University Press
Parution :
2017-05-03
PDF, ePub
|
Dieses Buch zeigt die ideen- und wissenschaftsgeschichtliche Entwicklung des Wahrscheinlichkeitsbegriffs vom Mittelalter bis zum 20. Jhd. auf. Dabei geht Sebastian Simmert vertieft auf die epistemische Bedeutung der Wahrscheinlichkeit als qualitative Bestimmung von...
Editeur :
Springer VS
Parution :
2017-04-17
PDF
|
This book discusses major milestones in Rohit Jivanlal Parikh’s scholarly work. Highlighting the transition in Parikh’s interest from formal languages to natural languages, and how he approached Wittgenstein’s philosophy of language, it traces the academic trajectory of...
Editeur :
Springer
Parution :
2017-03-01
PDF, ePub
|
This book presents a set of historical recollections on the work of Martin Davis and his role in advancing our understanding of the connections between logic, computing, and unsolvability. The individual contributions touch on most of the core aspects of Davis’ work and...
Editeur :
Springer
Parution :
2017-01-27
PDF, ePub
|
The Dialectical Forge identifies dialectical disputation (jadal) as a primary formative dynamic in the evolution of pre-modern Islamic legal systems, promoting dialectic from relative obscurity to a more appropriate position at the forefront of Islamic legal...
Editeur :
Springer
Parution :
2016-12-13
PDF, ePub
|
This book covers work written by leading scholars from different schools within the research area of paraconsistency. The authors critically investigate how contemporary paraconsistent logics can be used to better understand human reasoning in science and mathematics....
Editeur :
Springer
Parution :
2016-12-02
PDF, ePub
|