Philosophy: logic

What happens when a system can no longer contain what it generates?

This book brings together contributions from philosophers interested in logic and logicians with a philosophical orientation to address a variety of logical and philosophical topics of current interest, including modal logic, intuitionistic logic, relevant logic, substructural logic, many-value logic, formal semantics, proof theory, and paradox.

This first of a two-volume book discusses the process of conceptual recasting of mathematical contents under a new and more convenient form, complying with the ideal of epistemic economy (expressing the same content by appealing to fewer or minimal conceptual resources).

This first of a two-volume book discusses the process of conceptual recasting of mathematical contents under a new and more convenient form, complying with the ideal of epistemic economy (expressing the same content by appealing to fewer or minimal conceptual resources).

The Theory Pamphlet presents Gerhard Gentzen's natural deduction and sequent calculi with emphasis on the theory behind the formalism.

'We are workers who are adding to the growth of objective knowledge as masons work on a cathedral'- Karl Popper, Objective KnowledgeThe extent and scope of human knowledge is arguably one of humankind's greatest achievements.

'We are workers who are adding to the growth of objective knowledge as masons work on a cathedral'- Karl Popper, Objective KnowledgeThe extent and scope of human knowledge is arguably one of humankind's greatest achievements.

Originally published in 1993, reissued here with a new introduction, the study of rationality was one of the most exciting and important areas of contemporary cognitive science: recent research involved collaborations across disciplinary boundaries, and theoretical progress had been rapid and profound.

Originally published in 1993, reissued here with a new introduction, the study of rationality was one of the most exciting and important areas of contemporary cognitive science: recent research involved collaborations across disciplinary boundaries, and theoretical progress had been rapid and profound.

Preferences are useful in many real-life problems, guiding human decision making from early childhood up to complex professional and organizational decisions.

This text offers an extension to the traditional Kripke semantics for non-classical logics by adding the notion of reactivity.

This book is a compilation of the author's most important papers about the contributions of Bertrand Russell, Kurt Gödel, and Alfred Tarski to the philosophy of logic and mathematics.

This book is a compilation of the author's most important papers about the contributions of Bertrand Russell, Kurt Gödel, and Alfred Tarski to the philosophy of logic and mathematics.

Dealing with uncertainty, moving from ignorance to knowledge, is the focus of cognitive processes.

This book is intended for students in computer science, formal linguistics, mathematical logic and to colleagues interested in categorial grammars and their logical foundations.

This book develops a logic of world-views: belief-systems that shape how we know, interpret, and act in the world.

This book develops a logic of world-views: belief-systems that shape how we know, interpret, and act in the world.

This text centers around three main subjects.

“Only a small community has concentrated on general intelligence.

Bayesianism is the view that rational degrees of belief should follow probability theory.

Bayesianism is the view that rational degrees of belief should follow probability theory.

An Introduction to Collective Intentionality: In Action, Thought, and Society makes a cogent case for the field's importance, presents its central questions, and introduces the main topics of study.

An Introduction to Collective Intentionality: In Action, Thought, and Society makes a cogent case for the field's importance, presents its central questions, and introduces the main topics of study.

Publicado en 1895, este breve dialogo filosofico entre Aquiles y una tortuga, es una parabola logica inspirada en la famosa paradoja de Zenon, pero aplicada a la logica del razonamiento en lugar del movimiento fisico.

This book challenges the widely accepted philosophical principle of parsimony, which holds that theories lacking simplicity are inherently doubtful.

This book challenges the widely accepted philosophical principle of parsimony, which holds that theories lacking simplicity are inherently doubtful.

This volume presents a collection of newly commissioned essays on the work of Susan Stebbing (1885–1943).

This volume presents a collection of newly commissioned essays on the work of Susan Stebbing (1885–1943).

Desde una concepcion de la "e;"e;pragmatica"e;"e; cuyo alcance filosofico aparece delineado desde el principio de la obra, la autora retoma el celebre planteamiento de Wittgenstein sobre el seguimiento de reglas, para precisar que no conduce ni al escepticismo ni a un mero convencionalismo y articular un espacio de objetividad constituido en torno a las ideas de trasfondo compartido, criterios incorporados y convenciones profundas.

This book provides a comprehensive overview of different logics from a metainferential standpoint.

This book provides a comprehensive overview of different logics from a metainferential standpoint.

Este libro es un curso intensivo sobre razonamiento eficaz, disenado para catapultarte a un mundo en el que empezaras a ver las cosas tal y como son, y no como crees que son.

Este libro es un curso intensivo sobre razonamiento eficaz, disenado para catapultarte a un mundo en el que empezaras a ver las cosas tal y como son, y no como crees que son.

This third edition, now available in paperback, is a follow up to the author's classic Boolean-Valued Models and Independence Proofs in Set Theory,.

Wir leben im Zeitalter der Uberzeugung - und der Tauschung.

It's nice to have plans, but they can change!

Geschildert wird das Leben und Wirken von Gottlob Frege (1848-1925), einem der größten Denker der Neuzeit, der in Wismar aufwuchs und der später inmitten der kleineren, aber durch bedeutende Gelehrte und Industrielle aufblühenden Universitätsstadt Jena als Mathematikprofessor tätig war.

This first of a two-part volume (Book I) deals with a unit intellectual cultural history of science in the Renaissance within fundamental frameworks.

Do numbers, sets, and so forth, exist?

Was ist fur Hegel ein teleologisches Objekt ?

It's nice to have plans, but they can change!

Philosophy has long wrongfully imprisoned reasoning within the isolated chambers of the individual mind.