This is IV volume of eight in a series on Philosophy of the Mind and Language. For nearly a century mathematicians and logicians have been striving hard to make logic an exact science. But a book on logic must contain, in addition to the formulae, an expository context which, with the assistance of the words of ordinary language, explains the formulae and the relations between them; and this context often leaves much to be desired in the matter of clarity and exactitude. Originally published in 1937, the purpose of the present work is to give a systematic exposition of such a method, namely, of the method of " logical syntax".
This volume's aim is to provide an introduction to Carnap's book from a historical and philosophical perspective, each chapter focusing on one specific issue. The book will be of interest not only to Carnap scholars but to all those interested in the history of analytical philosophy.
'My endeavour in these pages is to explain the main features of the method of philosophizing which we, the Vienna Circle, use, and by using try to develop further. It is the method of the logical analysis of science, or more precisely, of the syntactical analysis of scientific language.... The purpose of the book -- as of the lectures -- is to give a first impression of our method and of the direction of our questions and investigations to those who are not yet acquainted with them.' -- From the Preface.
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. In The Logical Structure of the World, Carnap adopts the position of "methodological solipsism" and shows that it is possible to describe the world from the immediate data of experience. In his Pseudoproblems in Philosophy, he asserts that many philosophical problems are meaningless.
What is the source of logical and mathematical truth? This volume revitalizes conventionalism as an answer to this question. Conventionalism takes logical and mathematical truth to have their source in linguistic conventions. This was an extremely popular view in the early 20th century, but it was never worked out in detail and is now almost universally rejected in mainstream philosophical circles. In Shadows of Syntax, Jared Warren offers the first book-length treatment and defense of a combined conventionalist theory of logic and mathematics. He argues that our conventions, in the form of syntactic rules of language use, are perfectly suited to explain the truth, necessity, and a priority of logical and mathematical claims. In Part I, Warren explains exactly what conventionalism amounts to and what linguistic conventions are. Part II develops an unrestricted inferentialist theory of the meanings of logical constants that leads to logical conventionalism. This conventionalist theory is elaborated in discussions of logical pluralism, the epistemology of logic, and of the influential objections that led to the historical demise of conventionalism. Part III aims to extend conventionalism from logic to mathematics. Unlike logic, mathematics involves both ontological commitments and a rich notion of truth that cannot be generated by any algorithmic process. To address these issues Warren develops conventionalist-friendly but independently plausible theories of both metaontology and mathematical truth. Finally, Part IV steps back to address big picture worries and meta-worries about conventionalism. This book develops and defends a unified theory of logic and mathematics according to which logical and mathematical truths are reflections of our linguistic rules, mere shadows of syntax.
Brimming with visual examples of concepts, derivation rules, and proof strategies, this introductory text is ideal for students with no previous experience in logic. Symbolic Logic: Syntax, Semantics, and Proof introduces students to the fundamental concepts, techniques, and topics involved in deductive reasoning. Agler guides students through the basics of symbolic logic by explaining the essentials of two classical systems, propositional and predicate logic. Students will learn translation both from formal language into English and from English into formal language; how to use truth trees and truth tables to test propositions for logical properties; and how to construct and strategically use derivation rules in proofs. This text makes this often confounding topic much more accessible with step-by-step example proofs, chapter glossaries of key terms, hundreds of homework problems and solutions for practice, and suggested further readings.
Reconsiders the role of formal logic in the analytic approach to philosophy, using cutting-edge mathematical techniques to elucidate twentieth-century debates.
This book is a major contribution to the history of analytic philosophy in general and of logical positivism in particular. It provides the first detailed and comprehensive study of Rudolf Carnap, one of the most influential figures in twentieth-century philosophy. The focus of the book is Carnap's first major work: Der logische Aufbau der Welt (The Logical Structure of the World). It reveals tensions within the context of German epistemology and philosophy of science in the early twentieth century. Alan Richardson argues that Carnap's move to philosophy of science in the 1930s was largely an attempt to dissolve the tension in his early epistemology. This book fills a significant gap in the literature on the history of twentieth-century philosophy. It will be of particular importance to historians of analytic philosophy, philosophers of science, and historians of science.
