Philosophy: logic

The use of mathematical logic as a formalism for artificial intelligence was recognized by John McCarthy in 1959 in his paper on Programs with Common Sense.

John Perry offers a rethinking of Gottlob Frege's seminal contributions to philosophy of language.

Epistemic Logic studies statements containing verbs such as 'know' and 'wish'.

This volume presents the state of the art in the algebraic investigation into substructural logics.

A rapidly expanding Islamic revival movement shows that Islamic rationalism and not jihadism is to define twenty-first century Islam.

Philosophy of language has been at the center of philosophical research at least since the start of the 20th century.

Logic: The Basics is an accessible introduction to several core areas of logic.

Why do Internet, financial service, and beer commercials dominate Super Bowl advertising?

Für alle, die das Handwerk der Philosophie von der Pike auf erlernen wollen, ist – wie auch für die philosophische Lehre – die Logik der Anfang von allem.

The Fifth International Congress of Logic, Methodology and Philosophy of Science was held at the University of Western Ontario, London, Canada, 27 August to 2 September 1975.

In the second edition of this witty and infectious book, Madsen Pirie builds upon his guide to using - and indeed abusing - logic in order to win arguments.

cians concerned with using logical tools in philosophy have been keenly aware of the limitations that arise from the original con- centration of symbolic logic on the idiom of mathematics, and many of them have worked to create extensions of the received logical theories that would make them more generally applicable in philosophy.

This book is the first detailed and focused defense of necessitarianism.

Paradoxes are more than just intellectual puzzles - they raise substantive philosophical issues and offer the promise of increased philosophical knowledge.

Logic With Trees is a new and original introduction to modern formal logic.

In general, a given object could have been different in certain respects.

Whilst the greatest effort has been made to ensure the quality of this text, due to the historical nature of this content, in some rare cases there may be minor issues with legibility.

Wittgenstein's role was vital in establishing mathematics as one of this century's principal areas of philosophic inquiry.

At a time when the traditional principles of many fields have lost their power and validity, the task of philosophy may well be to look back at these traditional principles and at their inherent determinations and basic problems, while heeding every indi- cation of a transition to something new, in order to be critically open for all attempts at "e;another beginning.

In recent years there have been a number of books-both anthologies and monographs-that have focused on the Liar Paradox and, more generally, on the semantic paradoxes, either offering proposed treatments to those paradoxes or critically evaluating ones that occupy logical space.

What is truth?

From Aristotle to Cicero: Essays in Ancient Philosophy draws together a selection of Gisela Striker's essays from the last forty years in the areas of research for which she is best known.

Der vorliegende Band enthält den Text der vierstündigen Vorlesung, die Husserl im Wintersemester 1908/09 unter dem Titel "Alte und neue Logik" in Göttingen gehalten hat.

This volume develops a theory of meaning and a semantics for both mathematical and empirical sentences inspired to Chomsky's internalism, namely to a view of semantics as the study of the relations of language not with external reality but with internal, or mental, reality.

A good title should be informative enough to illuminate a potential reader on the content of a book.

In the summer of 1928, Kurt Godel (1906-1978) embarked on his logical journey that would bring him world fame in a mere three years.

Nachdem Bestseller-Autor Steven Pinker die Aufklärung verteidigt hat, zeigt er nun in seinem neuen Buch die Bedeutung von Rationalität.

Aristotle's Topics is a handbook for dialectic, which can be understood as a philosophical debate between a questioner and a respondent.

Why We Argue (And How We Should): A Guide to Political Disagreement in an Age of Unreason presents an accessible and engaging introduction to the theory of argument, with special emphasis on the way argument works in public political debate.

This volume clusters together issues centered upon the variety of types of intensional semantics.

by the question in its being an answer, if only in a circumstantial (i.

This book explains how the meanings of the symbols of logic are determined by the rules that govern them.

"e;I am convinced of the urgent need for a democratic people to think clearly without the distortions due to unconscious bias and unrecognized ignorance.

This Element establishes the principles of rationality for degrees of belief by appealing to their role in guiding decisions.

This volume presents the state of the art in the algebraic investigation into substructural logics.

Extended Rationality provides a novel account of the structure of epistemic justification.

Philosophy of Language provides a comprehensive, meticulous survey of twentieth-century and contemporary philosophical theories of meaning.

The Routledge Companion to Pragmatism offers 44 cutting-edge chapters-written specifically for this volume by an international team of distinguished researchers-that assess the past, present, and future of pragmatism.

In this book Pollock deals with the subject of probabilistic reasoning, making general philosophical sense of objective probabilities and exploring their relationship to the problem of induction.

This book addresses the argument in the history of the philosophy of science between the positivists and the anti-positivists.

This textbook is a second edition of the successful, Mathematical Logic: On Numbers, Sets, Structures, and Symmetry.

An interdisciplinary collection of major essays on reasoning by a well-known group of philosophers, psychologists and cognitive scientists.

This reissue, first published in 1971, provides a brief historical account of the Theory of Logical Types; and describes the problems that gave rise to it, its various different formulations (Simple and Ramified), the difficulties connected with each, and the criticisms that have been directed against it.