This volume features essays about and by Paul Benacerraf, whose ideas have circulated in the philosophical community since the early nineteen sixties, shaping key areas in the philosophy of mathematics, the philosophy of language, the philosophy of logic, and epistemology. The book started as a workshop held in Paris at the College de France in May 2012 with the participation of Paul Benacerraf. The introduction addresses the methodological point of the legitimate use of so-called "Princess Margaret Premises" in drawing philosophical conclusions from Godel's first incompleteness theorem. The...
This volume features essays about and by Paul Benacerraf, whose ideas have circulated in the philosophical community since the early nineteen sixties,...
This book is about philosophy, mathematics and logic, giving a philosophical account of Pluralism which is a family of positions in the philosophy of mathematics.
This book is about philosophy, mathematics and logic, giving a philosophical account of Pluralism which is a family of positions in the philosophy of ...
Ranging from Alan Turing's seminal 1936 paper to the latest work on Kolmogorov complexity and linear logic, this comprehensive new work clarifies the relationship between computability on the one hand and constructivity on the other.
Ranging from Alan Turing's seminal 1936 paper to the latest work on Kolmogorov complexity and linear logic, this comprehensive new work clarifies the ...
This book develops a novel generalization of possible world semantics, called `world line semantics', which recognizes worlds and links between world-bound objects (world lines) as mutually independent aspects of modal semantics.
This book develops a novel generalization of possible world semantics, called `world line semantics', which recognizes worlds and links between world-...
