HISTORICAL INTRODUCTION Although many of the details of the development of logic in the Middle Ages remain to be filled in, it is well known that between ...

This book focuses on two primary concerns, language and philosophical thinking. The first part of the book examines the ways that language, particularly the English language, shapes and channels our thoughts. The second part considers the three basic processes in concept formation: abstracting, imagining and generalizing. Lastly, the rational process itself is examined, looking at definition, rational inquiry and philosophical system building. First published in 1967, this edition is a reprint of the 1972 enlarged edition published by (...) University of New Mexico Press. (shrink)

'This sentence is false' - is that true? The 'Liar paradox' embodied in those words exerted a particular fascination on the logicians of the Western later Middle Ages, and, along with similar 'insoluble' problems, forms the subject of the first group of articles in this volume. In the following parts Professor Spade turns to medieval semantic theory, views on the relationship between language and thought, and to a study of one particular genre of disputation, that known as 'obligationes'. The (...) focus is on the Oxford scholastics of the first half of the 14th century, and it is the name of William of Ockham which dominates these pages - a thinker with whom Professor Spade finds himself in considerable philosophical sympathy, and whose work on logic and semantic theory has a depth and richness that have not always been sufficiently appreciated. (shrink)

This paper investigates Wittgenstein’s account of the relation between elementary and molecular propositions (and thus, also, the propositions of logic) in the Tractatus Logico-Philosophicus. I start by sketching a natural reading of that relation – which I call the “bipartite reading” – holding that the Tractatus gives an account of elementary propositions, based on the so-called picture theory, and a different account of molecular ones, based on the principle of truth- functionality. I then show that such a reading cannot (...) be attributed to Wittgenstein, because he holds the view that an explanation of logical complexity is already given by a correct account of the (pictorial) nature of elementary propositions; this is implied in his claim that “an elementary proposition contains all logical constants/operations in itself”. After clarifying Wittgenstein’s notion of an operation from the Notes on Logic to the Tractatus, I finally explain why Wittgenstein claims that an elementary proposition contains all logical operations in itself, and hence why he can be said to provide a unified (and thus not bipartite) account of language and logic. (shrink)

This is a sequel to the author's The Language and Logic of the Bible: The Earlier Middle Ages. The period of the reformation saw immense changes of approach to the study of the Bible, which in turn brought huge consequences. This book, seeking to show the direction of endeavour of such study in the last medieval centuries, examines the theory of exegesis, practical interpretation, popular Bible study and preaching, and looks especially at the areas of logic and (...) language in which the scholars of the period had considerable expertise. The condemnation of the scholastics has tended to sink with them a proper recognition of what they achieved. In looking forward to the reformation, Dr Evans demonstrates a greater continuity of attitude than has often been allowed and describes how the enquiries of later medieval scholars opened out into the explorations of the sixteenth century made by Protestant and Roman Catholic thinkers alike. (shrink)

This study looks to the work of Tarski's mentors Stanislaw Lesniewski and Tadeusz Kotarbinski, and reconsiders all of the major issues in Tarski scholarship in light of the conception of Intuitionistic Formalism developed: semantics, truth, paradox, logical consequence.

This light piece reflects on analogies between two often disjoint streams of research: the logical semantics and pragmatics of natural language and dynamic logics of general information-driven agency. The two areas show significant overlap in themes and tools, and yet, the focus seems subtly different in each, defying a simple comparison. We discuss some unusual questions that emerge when the two are put side by side, without any pretense at covering the whole literature or at reaching definitive conclusions.

The papers collected in this volume exemplify some of the trends in current approaches to logic, language and computation. Written by authors with varied academic backgrounds, the contributions are intended for an interdisciplinary audience. The first part of this volume addresses issues relevant for multi-agent systems: reasoning with incomplete information, reasoning about knowledge and beliefs, and reasoning about games. Proofs as formal objects form the subject of Part II. Topics covered include: contributions on logical frameworks, linear logic, (...) and different approaches to formalized reasoning. Part III focuses on representations and formal methods in linguistic theory, addressing the areas of comparative and temporal expressions, modal subordination, and compositionality. (shrink)

This thesis discusses some central aspects of Wittgenstein's conception of language and logic in his Tractatus Logico-Philosophicus and brings them into relation with the philosophies of Frege and Russell. The main contention is that a fruitful way of understanding the Tractatus is to see it as responding to tensions in Frege's conception of logic and Russell's theory of judgement. In the thesis the philosophy of the Tractatus is presented as developing from these two strands of criticism and (...) thus as the culmination of the philosophy of logic and language developed in the early analytic period. Part one examines relevant features of Frege's philosophy of logic. Besides shedding light on Frege's philosophy in its own right, it aims at preparing the ground for a discussion of those aspects of the Tractatus' conception of logic which derive from Wittgenstein's critical response to Frege. Part two first presents Russell's early view on truth and judgement, before considering several variants of the multiple relation theory of judgement, devised in opposition to it. Part three discusses the development of Wittgenstein's conception of language and logic, beginning with Wittgenstein's criticism of the multiple relation theory and his early theory of sense, seen as containing the seeds of the picture theory of propositions presented in the Tractatus. I then consider the relation between Wittgenstein's pictorial conception of language and his conception of logic, arguing that Wittgenstein's understanding of sense in terms of bipolarity grounds his view of logical complexity and of the essence of logic as a whole. This view, I show, is free from the internal tensions that affect Frege's understanding of the nature of logic. (shrink)

Quantification is a topic which brings together linguistics, logic, and philosophy. Quantifiers are the essential tools with which, in language or logic, we refer to quantity of things or amount of stuff. In English they include such expressions as no, some, all, both, many. Peters and Westerstahl present the definitive interdisciplinary exploration of how they work - their syntax, semantics, and inferential role.

Quantification is a topic which brings together linguistics, logic, and philosophy. Quantifiers are the essential tools with which, in language or logic, we refer to quantity of things or amount of stuff. In English they include such expressions as no, some, all, both, many. Peters and Westerstahl present the definitive interdisciplinary exploration of how they work - their syntax, semantics, and inferential role.

This book focuses on two primary concerns, language and philosophical thinking. The first part of the book examines the ways that language, particularly the English language, shapes and channels our thoughts. The second part considers the three basic processes in concept formation: abstracting, imagining and generalizing. Lastly, the rational process itself is examined, looking at definition, rational inquiry and philosophical system building. First published in 1967, this edition is a reprint of the 1972 enlarged edition published by (...) University of New Mexico Press. (shrink)

The essays in this collection are by some of the leading figures in their fields and they touch on the most recent turnings in Quine's work.

The content of this book provides a unified and coherent treatment of a number of important issues in the philosophy of language and logical theory.

In the current version of Mozi, there are six special chapters on knowledge, language, logic, ethics, politics and science. They include “Canon I ” and “Canon Explanation I ”, “Canon II ” and “Canon Explanation II ”, and “Major Illustrations” and “Minor Illustrations”. Later scholars give the names “Mohist Canons ” for the first four chapters and “Mohist Dialectical Chapters” for all the six. The content of these six chapters indicates that the later Mohists follow Mozi’s cognitive spirit (...) in dealing with ethical and socio-political issues and,most importantly, apply an analytic approach to investigate philosophical problems, especially, in knowledge, language and logic. (shrink)

The study of human reasoning and the study of human language have been closely connected in European philosophical thought. Except for the Buddhist thinker Dignāga, these two areas of study have not been connected in classical India. The connection which Dignāga made between inference and meaning in his theory of exclusion is a distinguishing feature of Buddhist philosophical thought in classical India and, for that reason, it is useful to treat the Indian Buddhist views of reasoning and meaning together. (...) Logic, seeks to distinguish good reasoning from bad. Since reasoning is often communicated and, to that extent, expressed in a language, it is natural to use the forms of language to identify the forms of reasoning. (shrink)

The German debates concerning the need for a reform of logic in post-Hegelian times took place under the label “The logical question”, a label introduced by Friedrich Adolf Trendelenburg. The main objective of these debates was to overcome the Hegelian identification of logic and metaphysics without re-establishing the old Aristotelian-scholastic formal logic. This paper presents the positions developed by Friedrich Adolf Trendelenburg, Otto Friedrich Gruppe, and Carl v. Prantl, each of whom advocated the importance of language (...) in logic in order to introduce a more dynamical element into the alleged static character of formal logic. (shrink)

The chapter considers the relation between language and logic in early Daoism. It explains the Daoist experience of language, which is closely related to the Daoist experience of the Way (dao). It is shown how Daoist logic differs from the Confucian logic of correctness and the Mohist logic of naming. Even if Daoist discourse does not follow these more familiar forms of logic, it does not negate the law of non-contradiction nor does it (...) fall into the performative contradiction. Through readings of significant Daoist stories the Daoist logic beyond logic is brought to view. (shrink)

Although the two volumes of _Logic, Language, and Meaning_ can be used independently of one another, together they provide a comprehensive overview of modern logic as it is used as a tool in the analysis of natural language. Both volumes provide exercises and their solutions. Volume 1, _Introduction to Logic_, begins with a historical overview and then offers a thorough introduction to standard propositional and first-order predicate logic. It provides both a syntactic and a semantic approach (...) to inference and validity, and discusses their relationship. Although language and meaning receive special attention, this introduction is also accessible to those with a more general interest in logic. In addition, the volume contains a survey of such topics as definite descriptions, restricted quantification, second-order logic, and many-valued logic. The pragmatic approach to non-truthconditional and conventional implicatures are also discussed. Finally, the relation between logic and formal syntax is treated, and the notions of rewrite rule, automation, grammatical complexity, and language hierarchy are explained. (shrink)

The main purpose of Alexander’s book is "to lay a foundation for modes of philosophical thinking and many of the traditional problems of philosophy by an examination of the manner in which ideas are constructed." Toward this end, the book is divided into three parts. The first part deals mainly with language and its constituent questions. The mechanics of communication are presented including a detailed breakdown of its elements and the reasons for its success and failure. With respect to (...) the study of language, Alexander explores such questions as the learning of a language, the study of grammar, the nature of words, and the relation of thought to language. In his section on symbols, the author considers the nature of symbols, the relationship of symbols to their referents, and the distinction between and uses of signs and symbols. The fourth major topic in this section, the concept of meaning, centers around the kinds of referential meaning and the relation of existential variability to class relations. Views mentioned range from Plato to Chomsky, Piaget, and Austin. This first part serves as a backdrop to the more central part dealing with processes of thinking. Analyzed are three basic processes: abstracting, imagining, and generalizing. Three varieties of abstractions: qualities, relations, and functions, are deemed sufficiently important to warrant sustained treatment. Imagining, "the altering of abstractions," is of primary importance in the understanding of the nature of thought. His account of the process of generalizing explicates, among other issues, the concept of universals and their existential status. This section is neatly tied together by an examination of the interrelationships between these three processes in which he appropriately draws upon the major figures of Greek and modern philosophy. Throughout the presentation, the ways in which these processes are expressed linguistically is never lost sight of. The final part of the book, dealing with the nature of rational inquiry, centers upon the concepts of defining, inferring, and systematizing. While the book was designed as an introductory text, its usefulness is certainly not limited to this purpose.—B. G. H. (shrink)

Students of classical Chinese philosophy are quite justly puzzled by the debates and paradoxes in the "School of Names" and the extant logico-semantic texts of the Later Mohists. The latter has received an incisive and extensive treatment in A. C. Graham's Later Mohist Logic, Ethics and Science. Thus far, no larger systematic work on Chinese logic and philosophy of language is available in English. Hansen's book is a good attempt to deal in the large scale with classical (...) Chinese philosophy of language. This book consists of five carefully written chapters. The first expounds a methodology which starts from the premise that interpretation is a theory--"an attempt to explain a text--to render it understandable. As such it is inescapably relative to the intended audience, and appropriately wedded to the critical, rational, logical evaluation procedures appropriate to other theories. The main evaluative features on which we have concentrated is the coherence of the theory." The text at issue is that ascribed to Kung-sun Lung discussed in chapter 5. In terms of its announced aim, it succeeds well in rendering a plausible though by no means uncontroversial explication of the text. The attempted explication is, however, mediated by a number of chapters which raise interesting philosophical issues that repay closer examination by students and philosophical scholars of Chinese philosophy of language. Chapter 2, for example, proposes a bold hypothesis on Chinese philosophy in terms of the logic of mass nouns. It is claimed that a "stuff-like ontology and semantics were implicitly operating as a background assumption behind pre-Han philosophy," and a negative corrollary: "an hypothesis that an abstract or mentalistic ontology and semantics of the type common to Western thinkers were not implicit assumptions behind pre-Han philosophy." For the reviewer, the negative thesis is highly plausible independently of the adequacy of the first. (shrink)

This book begins with standard ontological topics--such as the nature of existence--and of metaphysics generally, such as the status of universals, form, and accidents. What is the proper subject matter of metaphysical speculation? Are essence and existence really distinct in bodies? Does the body lose its unifying form at death? Can an accident of a substance exist in separation from that substance? Are universals real, and, if so, are they anything more than general concepts? Among the figures it examines are (...) Thomas Aquinas, John Duns Scotus, William of Ockham, Walter Chatton, John Buridan, Dietrich of Freiburg, Robert Holcot, Walter Burley, and the 11th-century Islamic philosopher Ibn-Sina. There is also an emphasis on metaphysics broadly conceived. Thus, additional discussions of connected topics in medieval logic, epistemology, and language provide a fuller account of the range of ideas included in the later medieval worldview. (shrink)

The editors of the Applied Logic Series are happy to present to the reader the fifth volume in the series, a collection of papers on Logic, Language and Computation. One very striking feature of the application of logic to language and to computation is that it requires the combination, the integration and the use of many diverse systems and methodologies - all in the same single application. The papers in this volume will give the reader (...) a glimpse into the problems of this active frontier of logic. The Editors CONTENTS Preface IX 1. S. AKAMA Recent Issues in Logic, Language and Computation 1 2. M. J. CRESSWELL Restricted Quantification 27 3. B. H. SLATER The Epsilon Calculus' Problematic 39 4. K. VON HEUSINGER Definite Descriptions and Choice Functions 61 5. N. ASHER Spatio-Temporal Structure in Text 93 6. Y. NAKAYAMA DRT and Many-Valued Logics 131 7. S. AKAMA On Constructive Modality 143 8. H. W ANSING Displaying as Temporalizing: Sequent Systems for Subintuitionistic Logics 159 9. L. FARINAS DEL CERRO AND V. LUGARDON 179 Quantification and Dependence Logics 10. R. SYLVAN Relevant Conditionals, and Relevant Application Thereof 191 Index 245 Preface This is a collection of papers by distinguished researchers on Logic, Lin guistics, Philosophy and Computer Science. The aim of this book is to address a broad picture of the recent research on related areas. In particular, the contributions focus on natural language semantics and non-classical logics from different viewpoints. (shrink)

In this exciting new collection, a distinguished international group of philosophers contribute new essays on central issues in philosophy of language and logic, in honor of Michael Dummett, one of the most influential philosophers of the late twentieth century. The essays are focused on areas particularly associated with Professor Dummett. Five are contributions to the philosophy of language, addressing in particular the nature of truth and meaning and the relation between language and thought. Two contributors discuss (...) time, in particular the reality of the past. The last four essays focus on Frege and the philosophy of mathematics. The volume represents some of the best work in contemporary analytical philosophy. (shrink)

In 1962 a mimeographed sheet of paper fell into my possession. It had been prepared by Ernest Adams of the Philosophy Department at Berkeley as a handout for a colloquim. Headed 'SOME FALLACIES OF FORMAL LOGIC' it simply listed eleven little pieces of reasoning, all in ordinary English, and all absurd. I still have the sheet, and quote a couple of the arguments here to give the idea. • If you throw switch S and switch T, the motor will (...) start. There fore, either if you throw switch S the motor will start, or, if you throw switch T the motor will start. • It is not the case that if John passes history he will graduate. Therefore, John will pass history. The disconcerting thing about these inferences is, of course, that under the customary truth-functional interpretation of and, or, not, and if-then, they are supposed to be valid. What, if anything, is wrong? At first I was not disturbed by the examples. Having at that time consider able personal commitment to rationality in general and formal logic in par ticular, I felt it my duty and found myself easily able (or so I thought) to explain away most of them. But on reflection I had to admit that my expla nations had an ad hoc character, varying suspiciously from example to example. (shrink)

Recent commentators on Nietzsche’s philosophy have paid careful attention to his reflections on truth. While this issue has generated significant dispute, one prominent school of thought is in tacit agreement about the view of language that underlies Nietzschean truth. This view holds that certain linguistic entities can capture precise, distinct units of propositional content and static, rigidly designated conceptual meanings. A closer look at Nietzsche’s various analyses of language and logic reveals not only that he does not (...) subscribe to such a position, but that he offers a sustained critique against the possibility of any form of atomism of language. It was only in the 1880s, after Nietzsche overcame his dualistic commitments to Kant and Schopenhauer and embraced a philosophy of becoming, that the full power of his critique is made manifest. (shrink)

This book compares attitudes to empiricism in language study from mid-twentieth century philosophy of language and from present-day linguistics. It focuses on responses to the logical positivism of the Vienna Circle, particularly in the work of British philosopher J. L. Austin and the much less well-known work of Norwegian philosopher Arne Naess.

Although the two volumes of _Logic, Language, and Meaning _can be used independently of one another, together they provide a comprehensive overview of modern logic as it is used as a tool in the analysis of natural language. Both volumes provide exercises and their solutions.