The Bounds of Logic presents a new philosophical theory of the scope and nature of logic based on critical analysis of the principles underlying modern Tarskian logic and inspired by mathematical and linguistic development. Extracting central philosophical ideas from Tarski’s early work in semantics, Sher questions whether these are fully realized by the standard first-order system. The answer lays the foundation for a new, broader conception of logic. By generally characterizing logical terms, Sher establishes a fundamental result in semantics. Her (...) development of the notion of logicality for quantifiers and her work on branching are of great importance for linguistics. Sher outlines the boundaries of the new logic and points out some of the philosophical ramifications of the new view of logic for such issues as the logicist thesis, ontological commitment, the role of mathematics in logic, and the metaphysical underpinning of logic. She proposes a constructive definition of logical terms, reexamines and extends the notion of branching quantification, and discusses various linguistic issues and applications. (shrink)

Paul Horwich gives the definitive exposition of a prominent philosophical theory about truth, `minimalism'. His theory has attracted much attention since the first edition of Truth in 1990; he has now developed, refined, and updated his treatment of the subject, while preserving the distinctive format of the book. This revised edition appears simultaneously with a new companion volume, Meaning; the two books demystify central philosophical issues, and will be essential reading for all who work on the philosophy of language.

Available for the first time in 20 years, here are two important works from the 1920s by the best-known representative of the Vienna Circle.

Provides a comprehensive introduction to the major philosophical theories attempting to explain the workings of language.

Science Without Numbers caused a stir in 1980, with its bold nominalist approach to the philosophy of mathematics and science. It has been unavailable for twenty years and is now reissued in a revised edition with a substantial new preface presenting the author's current views and responses to the issues raised in subsequent debate.

In this manuscript, published here for the first time, Tarski explores the concept of logical notion. He draws on Klein's Erlanger Programm to locate the logical notions of ordinary geometry as those invariant under all transformations of space. Generalizing, he explicates the concept of logical notion of an arbitrary discipline.

Is science unified or disunified? This collection brings together contributions from prominent scholars in a variety of scientific disciplines to examine this important theoretical question. They examine whether the sciences are, or ever were, unified by a single theoretical view of nature or a methodological foundation and the implications this has for the relationship between scientific disciplines and between science and society.

Recasting important questions about truth and objectivity in new and helpful terms, his book will become a focus in the contemporary debates over realism, and ...

Of course we all know now that mathematics has proved that logic doesn't really make sense, but Etchemendy (philosophy, Stanford Univ.) goes further and challenges the received view of the conceptual underpinnings of modern logic by arguing that Tarski's model-theoretic analysis of logical consequences is wrong. He may have found the soft underbelly of the dead horse. Annotation copyrighted by Book News, Inc., Portland, OR.

AN INVESTIGATION OF THE LAWS OF THOUGHT. CHAPTER I. NATURE AND DESIGN OF THIS WORK. . HPHE design of the following treatise is to investigate the ...

The official model of explanation proposed by the logical empiricists, the covering law model, is subject to familiar objections. The goal of the present paper is to explore an unofficial view of explanation which logical empiricists have sometimes suggested, the view of explanation as unification. I try to show that this view can be developed so as to provide insight into major episodes in the history of science, and that it can overcome some of the most serious difficulties besetting the (...) covering law model. (shrink)

Now in a new edition, this volume updates Davidson's exceptional Inquiries into Truth and Interpretation (1984), which set out his enormously influential philosophy of language. The original volume remains a central point of reference, and a focus of controversy, with its impact extending into linguistic theory, philosophy of mind, and epistemology. Addressing a central question--what it is for words to mean what they do--and featuring a previously uncollected, additional essay, this work will appeal to a wide audience of philosophers, linguists, (...) and psychologists. (shrink)

This book, written by one of philosophy's pre-eminent logicians, argues that many of the basic assumptions common to logic, philosophy of mathematics and metaphysics are in need of change. It is therefore a book of critical importance to logical theory. Jaakko Hintikka proposes a new basic first-order logic and uses it to explore the foundations of mathematics. This new logic enables logicians to express on the first-order level such concepts as equicardinality, infinity, and truth in the same language. The famous (...) impossibility results by Gödel and Tarski that have dominated the field for the last sixty years turn out to be much less significant than has been thought. All of ordinary mathematics can in principle be done on this first-order level, thus dispensing with the existence of sets and other higher-order entities. (shrink)

We describe a logic which is the same as first-order logic except that it allows control over the information that passes down from formulas to subformulas. For example the logic is adequate to express branching quantifiers. We describe a compositional semantics for this logic; in particular this gives a compositional meaning to formulas of the 'information-friendly' language of Hintikka and Sandu. For first-order formulas the semantics reduces to Tarski's semantics for first-order logic. We prove that two formulas have the same (...) interpretation in all structures if and only if replacing an occurrence of one by an occurrence of the other in a sentence never alters the truth-value of the sentence in any structure. (shrink)

In arithmetic, if only because many of its methods and concepts originated in India, it has been the tradition to reason less strictly than in geometry, ...

A Mathematical Introduction to Logic, Second Edition, offers increased flexibility with topic coverage, allowing for choice in how to utilize the textbook in a course. The author has made this edition more accessible to better meet the needs of today's undergraduate mathematics and philosophy students. It is intended for the reader who has not studied logic previously, but who has some experience in mathematical reasoning. Material is presented on computer science issues such as computational complexity and database queries, with additional (...) coverage of introductory material such as sets. Increased flexibility of the text, allowing instructors more choice in how they use the textbook in courses. Reduced mathematical rigour to fit the needs of undergraduate students. (shrink)

What is truth. Paul Horwich advocates the controversial theory of minimalism, that is that the nature of truth is entirely captured in the trivial fact that each proposition specifies its own condition for being true, and that truth is therefore an entirely mundane and unpuzzling concept. The first edition of Truth, published in 1980, established itself as the best account of minimalism and as an excellent introduction to the debate for students. For this new edition, Horwich has refined and developed (...) his treatment of the subject in the light of subsequent discussions, while preserving the distinctive format that made the earlier edition so successful. (shrink)

Realism concerning a given subject-matter is characterised as a semantic doctrine with metaphysical consequences, namely as the adoption, for the relevant class of statements, of a truth-conditional theory of meaning resting upon the classical two-valued semantics. it is argued that any departure from classical semantics may, though will not necessarily, be seen as in conflict with some variety of realism. a sharp distinction is drawn between the rejection of realism and the acceptance of a reductionist thesis; though intimately related, neither (...) entails the other. realism is to be classified as "naive", "semi-naive" or "sophisticated": the first of these involves an all but unintelligible epistemological component. (shrink)