The Cambridge philosopher Frank Ramsey (1903-1930) died tragically young, but had already established himself as one of the most brilliant minds of the twentieth century.
Model theory, a major branch of mathematical logic, plays a key role connecting logic and other areas of mathematics such as algebra, geometry, analysis, and combinatorics.
This volume aims to provide the elements for a systematic exploration of certain fundamental notions of Peirce and Husserl in respect with foundations of science by means of drawing a parallelism between their works.
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.
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.
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.
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.
Neil Tennant presents an original logical system with unusual philosophical, proof-theoretic, metalogical, computational, and revision-theoretic virtues.
Gila Sher approaches knowledge from the perspective of the basic human epistemic situation--the situation of limited yet resourceful beings, living in a complex world and aspiring to know it in its full complexity.
Paolo Mancosu provides an original investigation of historical and systematic aspects of the notions of abstraction and infinity and their interaction.
Roy T Cook examines the Yablo paradox--a paradoxical, infinite sequence of sentences, each of which entails the falsity of all others later than it in the sequence--with special attention paid to the idea that this paradox provides us with a semantic paradox that involves no circularity.
Descartes and the First Cartesians adopts the perspective that we should not approach Rene Descartes as a solitary thinker, but as a philosopher who constructs a dialogue with his contemporaries, so as to engage them and elements of his society into his philosophical enterprise.
While we are commonly told that the distinctive method of mathematics is rigorous proof, and that the special topic of mathematics is abstract structure, there has been no agreement among mathematicians, logicians, or philosophers as to just what either of these assertions means.
While we are commonly told that the distinctive method of mathematics is rigorous proof, and that the special topic of mathematics is abstract structure, there has been no agreement among mathematicians, logicians, or philosophers as to just what either of these assertions means.
Individual objects have potentials: paper has the potential to burn, an acorn has the potential to turn into a tree, some people have the potential to run a mile in less than four minutes.
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.