Philosophy: logic

The essays in this volume are based on addresses presented during a colloquium on free logic, modal logic and related areas held at the University of California at Irvine, in May of 1968.

This book argues that the primary function of human thinking in language is to make judgments, which are logical-normative connections of concepts.

Mathematics plays a central role in much of contemporary science, but philosophers have struggled to understand what this role is or how significant it might be for mathematics and science.

A New, Objective, Pro-Objectivity Normative Theory tries to solve fundamental normative moral, social, political, educational, legal, etc.

Taking Wittgenstein at His Word is an experiment in reading organized around a central question: What kind of interpretation of Wittgenstein's later philosophy emerges if we adhere strictly to his claims that he is not in the business of presenting and defending philosophical theses and that his only aim is to expose persistent conceptual misunderstandings that lead to deep philosophical perplexities?

In 1907 Luitzen Egbertus Jan Brouwer defended his doctoral dissertation on the foundations of mathematics and with this event the modem version of mathematical intuitionism came into being.

This book offers a novel perspective on abduction.

Some of philosophy's biggest questions, both historically and today, are in-virtue-of questions: In virtue of what is an action right or wrong?

This anthology of the very latest research on truth features the work of recognized luminaries in the field, put together following a rigorous refereeing process.

This book is dedicated to the memory of Professor Henryk Mehlberg, primarily because I want to recall his name to readers in the West; for, although Professor Mehlberg was the foremost Polish philosopher in the field of philosophy of time-in that version which is related to twentieth- century physics-his fundamental work concerning time was published in English 43 years after its original publication (cf.

Although scholars from many disciplines have turned their attention to Russell's work and appraised its significance for a number of fields, and an extensive literature on him emerged, until this book, first published in 1963, no thorough study on Russell's contribution to education - an area to which he devoted no small part of his energies - had yet appeared.

This book combines metaphysics, aspects of modern logic, and legal theory in order to conceptualise a wrong in law's claim of right.

The aim of this book is to provide an introduction to probability logic-based formalization of uncertain reasoning.

This book presents an English translation of a classic Russian text on duality theoryfor Heyting algebras.

The A to Z of Logic introduces the central concepts of the field in a series of brief, non-technical, cross-referenced dictionary entries.

Formal Ethics is the study of formal ethical principles.

Saul Kripke is one of the most important philosophers of the twentieth century.

Philosophical Problems Today is a new series of publications from the Institut International de Philosophie.

Discussions of the foundations of mathematics and their history are frequently restricted to logical issues in a narrow sense, or else to traditional problems of analytic philosophy.

This book presents an interpretation of Kant's Critique of Pure Reason as a priori psychologism.

Truth: The Basics is a concise and engaging introduction to philosophical theories about the nature of truth.

Originally published in 1966.

Originally published in 1966.

In this book, Lorraine Besser-Jones develops a eudaimonistic virtue ethics based on a psychological account of human nature.

Rendered from the 11th Edition of Copi/Cohen, Introduction to Logic, the most respected introductory logic book on the market, this concise version presents a simplified yet rigorous introduction to the study of logic.

This volume is a self-contained introduction to interactive proof in high- order logic (HOL), using the proof assistant Isabelle 2002.

Paolo Mancosu presents a series of innovative studies in the history and the philosophy of logic and mathematics in the first half of the twentieth century.

This book offers a defense against non-classical approaches to the paradoxes.

"e;Foundations of the Formal Sciences"e; (FotFS) is a series of interdisciplinary conferences in mathematics, philosophy, computer science and linguistics.

Pierre Gassendi (1592-1655) was a major figure in seventeenth-century philosophy and science and his works contributed to shaping Western intellectual identity.

Logic for Philosophy is an introduction to logic for students of contemporary philosophy.

The book God, Truth, and other Enigmas is a collection of eighteen essays that fall under four headings: (God's) Existence/Non-Existence, Omniscience, Truth, and Metaphysical Enigmas.

This volume on the semantic complexity of natural language explores the question why some sentences are more difficult than others.

Are fictional characters such as Sherlock Holmes real?

Sixty years after its first edition, there is an increasing consensus among scholars that the work posthumously published as Philosophical Investigations represents something that is far from a complete picture of Wittgenstein's second book project.

The first full-length historical study of the intellectual origins and institutional context of the nineteenth-century German thinker Hermann Lotze.

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

A Guide for Educators to Critical Thinking Competency Standards introduces an authoritative assessment system to ensure successful and consistent integration of critical thinking skills in every type of educational program.

People tend to rank values of all kinds linearly from good to bad, but there is little reason to think that this is reasonable or correct.

Das Lehr- und Studienbuch zeigt, in welchem Maße logische Strukturen das Rechtsdenken mitbestimmen.

This book collects, for the first time in one volume, contributions honoring Professor Raymond Smullyan's work on self-reference.

This book contains more than 15 essays that explore issues in truth, existence, and explanation.

I am very happy to have this opportunity to introduce Luca Vigano's book on Labelled Non-Classical Logics.