Philosophy: logic

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.

In Vagueness and Degrees of Truth, Nicholas Smith develops a new theory of vagueness: fuzzy plurivaluationism.

Wittgenstein's philosophical career began in 1911 when he went to Cambridge to work with Russell.

This highly topical text considers the construction of the next generation of the Web, called the Semantic Web.

The paradox of knowability, derived from a proof by Frederic Fitch in 1963, is one of the deepest paradoxes concerning the nature of truth.

Probabilistic models have much to offer to philosophy.

What role, if any, does formal logic play in characterizing epistemically rational belief?

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.

The Liar paradox raises foundational questions about logic, language, and truth (and semantic notions in general).

The analytic/synthetic distinction looks simple.

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.

What is the nature of mathematical knowledge?

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.

Quantification is a topic which brings together linguistics, logic, and philosophy.

The work of Bertrand Russell had a decisive influence on the emergence of analytic philosophy, and on its subsequent development.

Philosophers and logicians have long debated how best to understand conditional or hypothetical sentences.

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.

Hermeneutics is the branch of knowledge that deals with interpretation, a behaviour that is intrinsic to our daily lives.

Stephen Schiffer's writing has been central to analytic philosophy of language and mind since the 1970s.

Philosophers have long been tempted by the idea that objects and properties are abstractions from the facts.

Philosophy in eighteenth-century Britain was diverse, vibrant, and sophisticated.

Philosophy in eighteenth-century Britain was diverse, vibrant, and sophisticated.

It is the linguistic job of singular terms to pick out the objects that we think or talk about.

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.

Oxford Studies in Medieval Philosophy showcases the best scholarly research in this flourishing field.

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.

Towards Non-Being presents an account of the semantics of intentional language--verbs such as 'believes', 'fears', 'seeks', 'imagines'.

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.

This volume brings together nineteen of Mark Siderits's most important essays on Buddhist philosophy.

Analytic philosophy is once again in a methodological frame of mind.

Graham Priest presents an exploration of Buddhist metaphysics, drawing on texts which include those of Nagarjuna and Dogen.

This volume brings together nineteen of Mark Siderits's most important essays on Buddhist philosophy.

Is a whole something more than the sum of its parts?

Edna Ullmann-Margalit provides an original account of the emergence of norms.

Paolo Mancosu provides an original investigation of historical and systematic aspects of the notions of abstraction and infinity and their interaction.

Jose L.

Jose L.

Oxford Studies in Medieval Philosophy showcases the best scholarly research in this flourishing field.

Logical pluralism is the view that different logics are equally appropriate, or equally correct.

It is the linguistic job of singular terms to pick out the objects that we think or talk about.

The Boundary Stones of Thought seeks to defend classical logic from a number of attacks of a broadly anti-realist character.

Are there such things as merely possible people, who would have lived if our ancestors had acted differently?