Logic category: 1296 books

This volume reprints eight of Anil Gupta's essays, some with additional material. The essays bring a refreshing new perspective to central issues in philosophical logic, philosophy of language, and epistemology. Gupta argues that logical interdependence is legitimate, and that it provides a key to...

How, theorists ask, can our private experiences guide us to knowledge of a mind-independent reality? Exploring topics in logic, philosophy of mind, and epistemology, Anil Gupta proposes a new answer to this age-old question, explaining how conscious experience contributes to the rationality and content of empirical beliefs.

The present volume brings together a number of things I have written on the subject of analogy since the appearance of The Logic of Analogy in 1961. In that book I tried to disengage St Thomas' teaching on analogous names from various subsequent accretions which, in my opinion, had obscured its import....

The main purpose of the present volume is to advance our understanding of the notions of knowledge and context, the connections between them and the ways in which they can be modeled, in particular formalized – a question of prime importance and utmost relevance to such diverse disciplines as philosophy,...

This book constitutes the refereed proceedings of the 15th Annual Conference on Theory and Applications of Models of Computation, TAMC 2019, held in Kitakyushu, Japan, in April 2019. The 43 revised full papers were carefully reviewed and selected from 60 submissions. The main themes of the...

One aspect of common sense reasoning is reasoning about normal cases, e.g. a physician will first try to interpret symptoms by a common disease, and will take more exotic possibilities only later into account. Such "normality" can be encoded, e.g. by a relation, where case A is considered more normal...

In this book, David Stump traces alternative conceptions of the a priori in the philosophy of science and defends a unique position in the current debates over conceptual change and the constitutive elements in science. Stump emphasizes the unique epistemological status of the constitutive elements...

This monograph proposes a new way of implementing interaction in logic. It also provides an elementary introduction to Constructive Type Theory (CTT). The authors equally emphasize basic ideas and finer technical details. In addition, many worked out exercises and examples will help readers to better...

This volume contains the papers and commentaries presented at the fourth philosophy colloquium at the University of Western Ontario in November 1968. The papers examine, from different points of view, the central problems in the philosophy of action. They include: “Agency” by Donald Davidson with...

These two volumes contain all of my articles published between 1956 and 1975 which might be of interest to readers in the English-speaking world. The first three essays in Vol. 1 deal with historical themes. In each case I have attempted a rational reconstruction which, as far as possible, meets con­...

This highly technical introduction to formal languages in computer science covers all areas of mainstream formal language theory, including such topics as operations on languages, context-sensitive languages, automata, decidability, syntax analysis, derivation languages, and more. Geared toward advanced...

This introductory treatment covers the basic concepts and machinery of stability theory. Lemmas, corollaries, proofs, and notes assist readers in working through and understanding the material and applications. Full of examples, theorems, propositions, and problems, it is suitable for graduate students...

Betrachtungen über die Grundlagen der Philosophie René Des-Cartes (Seigneur du Perron) [Fußnote] erblickte das Licht der Welt am 31. März [Fußnote] 1596 zu La Haye (Touraine), wohin seine Mutter sich vor der Pest geflüchtet hatte. Sein Vater war Rat beim Parlament der Bretagne zu Rennes...

This book, now in a thoroughly revised second edition, provides a comprehensive and accessible introduction to modern set theory. Following an overview of basic notions in combinatorics and first-order logic, the author outlines the main topics of classical set theory in the second part, including...