Philosophy: logic

This edited collection focuses on the moral and social dimensions of ignorance-an undertheorized category in analytic philosophy.

This volume of Bertrand Russell's Collected Papers finds Russell focused on writing Principia Mathematica during 1905-08.

This volume of Bertrand Russell's Collected Papers finds Russell focused on writing Principia Mathematica during 1905-08.

Biologists, climate scientists, and economists all rely on models to move their work forward.

Biologists, climate scientists, and economists all rely on models to move their work forward.

Philosophy means 'love of wisdom,' but author Edmond Holmes fears the encroaching dominance of intellect over feeling.

Philosophy means 'love of wisdom,' but author Edmond Holmes fears the encroaching dominance of intellect over feeling.

This volume of new essays explores the relationship between the thought of Wittgenstein and the key figures of phenomenology: Husserl, Heidegger, Levinas, Merleau-Ponty and Sartre.

This volume of new essays explores the relationship between the thought of Wittgenstein and the key figures of phenomenology: Husserl, Heidegger, Levinas, Merleau-Ponty and Sartre.

Throughout philosophical history, there has been a recurring argument to the effect that determinism, naturalism, or both are self-referentially incoherent.

Throughout philosophical history, there has been a recurring argument to the effect that determinism, naturalism, or both are self-referentially incoherent.

Phenomenology originated as a novel way of doing philosophy early in the twentieth century.

Phenomenology originated as a novel way of doing philosophy early in the twentieth century.

The essays in this volume present a sustained case for a healthy pluralism in mathematics and its logics.

This Festschrift includes papers presented to honour Solomon Feferman on his seventieth birthday, reflecting his broad interests and his approach to foundational research.

The Cambridge Companion to Philosophical Methodology provides clear and comprehensive coverage of the main methodological debates and approaches within philosophy.

The Cambridge Companion to Philosophical Methodology provides clear and comprehensive coverage of the main methodological debates and approaches within philosophy.

This book explores relationships between law and legal reasoning, and recent developments in formal logic.

This book explores relationships between law and legal reasoning, and recent developments in formal logic.

First full English translation of the Portuguese-language works of W.

This volume critically examines the work of three eminent twentieth-century philosophers, Carnap, Quine, and Putnam, engaging with and developing their answers to key methodological questions.

First full English translation of the Portuguese-language works of W.

This volume critically examines the work of three eminent twentieth-century philosophers, Carnap, Quine, and Putnam, engaging with and developing their answers to key methodological questions.

Introduces readers to the history of necessity and possibility, two modal concepts which play a key role in philosophy.

Introduces readers to the history of necessity and possibility, two modal concepts which play a key role in philosophy.

This book introduces the active area of the model theory of fields, concentrating on connections to stability theory.

An exposition of the approach to the algebraization of sentential logics developed by the Barcelona logic group.

Suitable for graduate students and researchers in set theory, this volume develops a method for constructing core models that have Woodin cardinals.

This study introduces some central ideas and lines of research in finite model theory, particularly bounded variable infinitary logics.

This volume presents some of the main areas and results of general metamathematics, including the results of Gödel et al.

Proceedings of the 1996 European Summer Meeting of the Association for Symbolic Logic, held in San Sebastian, Spain.

Offers a systematic introduction and discussion of all the main solutions to the sorites paradox and its areas of influence.

An innovative and largely self-contained textbook bringing model theory to an undergraduate audience.

An innovative and largely self-contained textbook bringing model theory to an undergraduate audience.

Offers a systematic introduction and discussion of all the main solutions to the sorites paradox and its areas of influence.

Experts in the field explore the connections across physics, quantum logic, and quantum computing.

Experts in the field explore the connections across physics, quantum logic, and quantum computing.

The third in a series of four books presenting the seminal papers from the Caltech-UCLA ''Cabal Seminar''.

The third in a series of four books presenting the seminal papers from the Caltech-UCLA ''Cabal Seminar''.

A survey of the most important axiomatizations of truth, exploring their properties and how the logical results impinge on philosophical topics.

This book showcases Ian Hacking''s early ideas on the philosophical issues surrounding statistical reasoning.

This book showcases Ian Hacking''s early ideas on the philosophical issues surrounding statistical reasoning.

This influential book discusses the nature of mathematical discovery, development, methodology and practice, forming Imre Lakatos''s theory of ''proofs and refutations''.

Addresses central questions concerning conditionals by combining the methods of formal epistemology with those of cognitive psychology.

First comprehensive collection of Feyerabend''s philosophy of quantum physics, the hotbed of all key issues of his most debated ideas.

This influential book discusses the nature of mathematical discovery, development, methodology and practice, forming Imre Lakatos''s theory of ''proofs and refutations''.

Addresses central questions concerning conditionals by combining the methods of formal epistemology with those of cognitive psychology.

First comprehensive collection of Feyerabend''s philosophy of quantum physics, the hotbed of all key issues of his most debated ideas.

This book provides a practical argumentation model for intelligent means end-reasoning, a distinctive type of reasoning used for problem-solving and decision-making.

Penetrating cross-cultural analysis of alternative models of human reasoning.