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 volume presents work that evolved out of the Third Conference on Situation Theory and Its Applications, held at Oiso, Japan, in November of 1991. The chapters presented in this volume continue the mathematical development of situation theory, including the introduction of a graphical notation; and the applications of situation theory discussed are wide-ranging, including topics in natural language semantics and philosophical logic, and exploring the use of information theory in the social sciences. The research presented in this volume (...) reflects a growing international and interdisciplinary activity of importance for many fields concerned with information. (shrink)

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 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)

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)

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.

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.

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 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.

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)

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)

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)

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)

The Joint International Conference on Logic Programming, sponsored by the Association for Logic Programming, is a major forum for presentations of research, applications, and implementations in this important area of computer science. Logic programming is one of the most promising steps toward declarative programming and forms the theoretical basis of the programming language Prolog and its various extensions. Logic programming is also fundamental to work in artificial intelligence, where it has been used for nonmonotonic and commonsense reasoning, expert systems (...) implementation, deductive databases, and applications such as computer-aided manufacturing. Krzysztof R. Apt is project leader at the Centre for Mathematics and Computer Science in Amsterdam and part-time Professor in Computer Science at the University of Amsterdam. Topics covered: Theory Foundations. Programming Languages. Implementation. Programming Methodologies and Tools. Applications. Deductive Databases. Artificial Intelligence. Parallelism. (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)

Duality in Logic and Language [draft--do not cite this article] Duality phenomena occur in nearly all mathematically formalized disciplines, such as algebra, geometry, logic and natural language semantics. However, many of these disciplines use the term ‘duality’ in vastly different senses, and while some of these senses are intimately connected to each other, others seem to be entirely … Continue reading Duality in Logic and Language →.

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 content of this book provides a unified and coherent treatment of a number of important issues in the philosophy of language and logical theory.

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)

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)

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)

The purpose of this paper is to offer an interpretation of the Tractatus’ proof of the unity of logic and language. The kernel of the proof is the thesis that the sole logical constant is the general propositional form. I argue that the Grundgedanke, the existence of the sole fundamental operation N and the analyticity thesis, together with the fact that the operation NN can always be seen as having no specific formal difference between its result and its base, (...) imply that NN is intrinsic to every elementary proposition. I also argue that the picture theory of proposition is an account of the generation of propositions via naming, and that its crucial idea is that naming is the instantiation of the form of a name, which consists in arbitrarily picking out an object as the meaning of the name from those objects sorted out by the form of the name. It follows that the existential quantifier, that is, NN, is intrinsic to naming (and therefore to every elementary proposition). It is then proven that the sole logical constant is the general propositional form. This, together with the truth‐functionality of logical necessity, implies that logic and language are unified via a general rule – logical syntax. (shrink)

A. J. Ayer’s Language, Truth, and Logic had been responsible for introducing the Vienna Circle’s ideas, developed within a Germanophone framework, to an Anglophone readership. Inevitably, this migration from one context to another resulted in the alteration of some of the concepts being transmitted. Such alterations have served to facilitate a number of false impressions of Logical Empiricism from which recent scholarship still tries to recover. In this paper, I will attempt to point to the ways in which LTL (...) has helped to foster the various mistaken stereotypes about Logical Empiricism which were combined into the received view. I will begin by examining Ayer’s all too brief presentation of an Anglocentric lineage for his ideas. This lineage, as we shall see, simply omits the major 19th century Germanophone influences on the rise of analytic philosophy. The Germanophone ideas he presents are selectively introduced into an Anglophone context, and directed towards various concerns that arose within that context. I will focus on the differences between Carnap’s version of the overcoming of metaphysics, and Ayer’s reconfiguration into what he calls the elimination of metaphysics. Having discussed the above, I will very briefly outline the consequences that Ayer’s radicalisation of the Vienna Circle’s doctrines had on the subsequent Anglophone reception of Logical Empiricism. (shrink)