…proofs too long and complicated for humans to comprehend. The Study of Mathematical Practice is an emerging interdisciplinary field which draws on philosophy and social science to understand how mathematics…
Proof Theory: Sequent Calculi and Related Formalisms
…and Related Formalisms presents a comprehensive treatment of sequent calculi, including a wide range of variations. It focuses on sequent calculi for various non-classical logics, from intuitionistic logic to relevance…
Metaphysics: An Introduction
…Additional features such as exercises, annotated further reading, a glossary and a companion website www.routledge.com/cw/ney will help students find their way around this subject and assist teachers in the classroom…
The Logic Book
Summary: This book is an introductory textbook on mathematical logic. It covers Propositional Logic and Predicate Logic. For each of these formalisms it presents its syntax and formal semantics as well…
The Relations between Logic and Philosophy, 1874-1931
…amounted to traditional Aristotelian logic and to those who commented on the nature of logic from a philosophical perspective without making any significant contribution to the development of formal logic….
Tainted: How Philosophy of Science can expose bad science
Abstract: Lawyers often work pro bono to liberate death-row inmates from flawed legal verdicts that otherwise would kill them. This is the first book on practical philosophy of science, how…
Down Girl: The Logic of Misogyny
Publisher’s Note: Down Girl is a broad, original, and far ranging analysis of what misogyny really is, how it works, its purpose, and how to fight it. The philosopher Kate…
The Lamps in our House: Reflections on Postcolonial Pedagogy
…while Bentham and Mill often figure in my undergraduate courses. What does it mean to teach these canonical figures of the Western philosophical tradition to students in India? I have…
A Female School of Analytic Philosophy? Anscombe, Foot, Midgley and Murdoch
…Tractatus and then again later as the author of the Philosophical Investigations. Between Wittgenstein’s first and second appearance are Carnap and Ayer and the all-male Vienna Circle. Then come the…
Political music and the politics of music
…spent much of his life developing a political music consistent with the ideals of Communism. In the end, the Commit tee caught him out on technical grounds: it found a…