New Essays on Tarski and Philosophy aims to show the way to a proper understanding of the philosophical legacy of the great logician, mathematician, and philosopher Alfred Tarski (1902-1983).
In 1945 Alonzo Church issued a pair of referee reports in which he anonymously conveyed to Frederic Fitch a surprising proof showing that wherever there is (empirical) ignorance there is also logically unknowable truth.
To clarify and facilitate our inquiries we need to define a disquotational truth predicate that we are directly licensed to apply not only to our own sentences as we use them now, but also to other speakers' sentences and our own sentences as we used them in the past.
New Essays on Tarski and Philosophy aims to show the way to a proper understanding of the philosophical legacy of the great logician, mathematician, and philosopher Alfred Tarski (1902-1983).
In 1945 Alonzo Church issued a pair of referee reports in which he anonymously conveyed to Frederic Fitch a surprising proof showing that wherever there is (empirical) ignorance there is also logically unknowable truth.
Paradox and Platitude in Wittgenstein's Philosophy is a concise and readable study of five intertwined themes at the heart of Wittgenstein's thought, written by one of his most eminent interpreters.
Discussion of Wittgenstein's Tractatus is currently dominated by two opposing interpretations of the work: a metaphysical or realist reading and the 'resolute' reading of Diamond and Conant.
Saving Truth from Paradox is an ambitious investigation into paradoxes of truth and related issues, with occasional forays into notions such as vagueness, the nature of validity, and the Godel incompleteness theorems.
Assuming no previous study in logic, this informal yet rigorous text covers the material of a standard undergraduate first course in mathematical logic, using natural deduction and leading up to the completeness theorem for first-order logic.
David Owen explores Hume's account of reason and its role in human understanding, seen in the context of other notable accounts by philosophers of the early modern period.
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.
