Language, Logic, and Concepts


Book Description

A wide-ranging collection of essays inspired by the memory of the cognitive psychologist John Macnamara.




Introduction to Logic and Logical Discourse


Book Description

This book focuses on logic and logical language. It examines different types of words, terms and propositions in detail. While discussing the nature of propositions, it illustrates the procedures used to determine the truth and falsity of a proposition, and the validity and invalidity of an argument. In addition, the book provides a clear exposition of the pure and mixed form of syllogism with suitable examples. The book encompasses sentential logic, predicate logic, symbolic logic, induction and set theory topics. The book is designed to serve all those involved in teaching and learning courses on logic. It offers a valuable resource for students and researchers in philosophy, mathematics and computer science disciplines. Given its scope, it is an essential read for everyone interested in logic, language, formulation of the hypotheses for the scientific enquiries and research studies, and judging valid and invalid arguments in the natural language discourse.




Language, Form(s) of Life, and Logic


Book Description

This volume deals with the connection between thinking-and-speaking and our form(s) of life. All contributions engage with Wittgenstein’s approach to this topic. As a whole, the volume takes a stance against both biological and ethnological interpretations of the notion "form of life" and seeks to promote a broadly logico-linguistic understanding instead. The structure of this book is threefold. Part one focuses on lines of thinking that lead from Wittgenstein’s earlier thought to the concept of form of life in his later work. Contributions to part two examine the concrete philosophical function of this notion as well as the ways in which it differs from cognate concepts. Contributions to part three put Wittgenstein’s notion of form of life in perspective by relating it to phenomenology, ordinary language philosophy and problems in contemporary analytic philosophy.




Language, Truth and Logic


Book Description

"A delightful book … I should like to have written it myself." — Bertrand Russell First published in 1936, this first full-length presentation in English of the Logical Positivism of Carnap, Neurath, and others has gone through many printings to become a classic of thought and communication. It not only surveys one of the most important areas of modern thought; it also shows the confusion that arises from imperfect understanding of the uses of language. A first-rate antidote for fuzzy thought and muddled writing, this remarkable book has helped philosophers, writers, speakers, teachers, students, and general readers alike. Mr. Ayers sets up specific tests by which you can easily evaluate statements of ideas. You will also learn how to distinguish ideas that cannot be verified by experience — those expressing religious, moral, or aesthetic experience, those expounding theological or metaphysical doctrine, and those dealing with a priori truth. The basic thesis of this work is that philosophy should not squander its energies upon the unknowable, but should perform its proper function in criticism and analysis.




Natural Language Semantics


Book Description

An introduction to natural language semantics that offers an overview of the empirical domain and an explanation of the mathematical concepts that underpin the discipline. This textbook offers a comprehensive introduction to the fundamentals of those approaches to natural language semantics that use the insights of logic. Many other texts on the subject focus on presenting a particular theory of natural language semantics. This text instead offers an overview of the empirical domain (drawn largely from standard descriptive grammars of English) as well as the mathematical tools that are applied to it. Readers are shown where the concepts of logic apply, where they fail to apply, and where they might apply, if suitably adjusted. The presentation of logic is completely self-contained, with concepts of logic used in the book presented in all the necessary detail. This includes propositional logic, first order predicate logic, generalized quantifier theory, and the Lambek and Lambda calculi. The chapters on logic are paired with chapters on English grammar. For example, the chapter on propositional logic is paired with a chapter on the grammar of coordination and subordination of English clauses; the chapter on predicate logic is paired with a chapter on the grammar of simple, independent English clauses; and so on. The book includes more than five hundred exercises, not only for the mathematical concepts introduced, but also for their application to the analysis of natural language. The latter exercises include some aimed at helping the reader to understand how to formulate and test hypotheses.




Concepts in Programming Languages


Book Description

A comprehensive undergraduate textbook covering both theory and practical design issues, with an emphasis on object-oriented languages.




Language Logic


Book Description




Logical Form


Book Description

Logical form has always been a prime concern for philosophers belonging to the analytic tradition. For at least one century, the study of logical form has been widely adopted as a method of investigation, relying on its capacity to reveal the structure of thoughts or the constitution of facts. This book focuses on the very idea of logical form, which is directly relevant to any principled reflection on that method. Its central thesis is that there is no such thing as a correct answer to the question of what is logical form: two significantly different notions of logical form are needed to fulfill two major theoretical roles that pertain respectively to logic and to semantics. This thesis has a negative and a positive side. The negative side is that a deeply rooted presumption about logical form turns out to be overly optimistic: there is no unique notion of logical form that can play both roles. The positive side is that the distinction between two notions of logical form, once properly spelled out, sheds light on some fundamental issues concerning the relation between logic and language.




Elucidating the Tractatus


Book Description

Discussion of Wittgenstein's Tractatus is currently dominated by two opposing interpretations of the work: a metaphysical or realist reading and the 'resolute' reading of Diamond and Conant. Marie McGinn's principal aim in this book is to develop an alternative interpretative line, which rejects the idea, central to the metaphysical reading, that Wittgenstein sets out to ground the logic of our language in features of an independently constituted reality, but which allows that he aims to provide positive philosophical insights into how language functions. McGinn takes as a guiding principle the idea that we should see Wittgenstein's early work as an attempt to eschew philosophical theory and to allow language itself to reveal how it functions. By this account, the aim of the work is to elucidate what language itself makes clear, namely, what is essential to its capacity to express thoughts that are true or false. However, the early Wittgenstein undertakes this descriptive project in the grip of a set of preconceptions concerning the essence of language that determine both how he conceives the problem and the approach he takes to the task of clarification. Nevertheless, the Tractatus contains philosophical insights, achieved despite his early preconceptions, that form the foundation of his later philosophy. The anti-metaphysical interpretation that is presented includes a novel reading of the problematic opening sections of the Tractatus, in which the apparently metaphysical status of Wittgenstein's remarks is shown to be an illusion. The book includes a discussion of the philosophical background to the Tractatus, a comprehensive interpretation of Wittgenstein's early views of logic and language, and an interpretation of the remarks on solipsism. The final chapter is a discussion of the relation between the early and the later philosophy that articulates the fundamental shift in Wittgenstein's approach to the task of understanding how language functions and reveal the still more fundamental continuity in his conception of his philosophical task.




Language, Logic and Method


Book Description

Fundamental problems of the uses of formal techniques and of natural and instrumental practices have been raised again and again these past two decades, in many quarters and from varying viewpoints. We have brought a number of quite basic studies of these issues together in this volume, not linked con ceptually nor by any rigorously defined problematic, but rather simply some of the most interesting and even provocative of recent research accomplish ments. Most of these papers are derived from the Boston Colloquium for the Philosophy of Science during 1973-80, the two exceptions being those of Karel Berka (on scales of measurement) and A. A. Zinov'ev (on a non-tradi tional theory of quantifiers). Just how intriguing these results (or conjectures?) seem to us may be seen from some brief quotations: (1) Judson Webb: " . . . . the abstract machine concept has many of the appropriate kinds of properties for modelling living, reproducing, rule following, self-reflecting, accident-prone, and lucky creatures . . . the a priori logical results relevant to the abstract machine concept, above all Godel's, could not conceivably have turned out any better for the mechanist. " (2) M. L. Dalla Chiara: " . . . modal interpretation (of quantum logic) shows clearly that it possesses a logical meaning which is quite independent of quantum mechanics. " (3) Isaac Levi: (as against Peirce and Popper) " . . . infallibilism is con sistent with corrigibilism, and a view which respects avoidance of error is an important desideratum for science.