Greg Frost-Arnold – författare

This volume contains Carnap's Studies in Semantics, a series of three interlocking books: Introduction to Semantics (1942), Formalization of Logic (1942), and Meaning and Necessity (1947). They were extremely influential in their time, especially the third, and shaped the direction of analytic philosophy during the 1950s and 1960s. They constitute the background to a number of celebrated controversies of that period, especially those between Carnap and Quine. Most of the philosophical debates today in philosophical logic and the philosophy of language ultimately had their origins here. This new edition situates these works in their context, both within Carnap's philosophical development and within the philosophical debates they responded to and influenced.The editors' introduction explains how Carnap arrived at the project of semantics in the 1930s and how it developed into these three successive publications, how the three books fit together, and how the project developed and changed in the course of the 1940s. It also describes the reception of the books as they appeared, as well as Carnap's response. The editorial and textual notes give variant readings, Carnap's own marginal notes on these texts in his personal copies, and elucidatory commentary where Carnap's terminology or notation are no longer familiar. This will be an indispensable volume for anyone interested in the origins and preoccupations of present-day analytic philosophy, especially philosophical logic and philosophy of language.

During the academic year 1940-1941, several giants of analytic philosophy congregated at Harvard, holding regular private meetings, with Carnap, Tarski, and Quine. Carnap, Tarski, and Quine at Harvard allows the reader to act as a fly on the wall for their conversations. Carnap took detailed notes during his year at Harvard. This book includes both a German transcription of these shorthand notes and an English translation in the appendix section. Carnap's notes cover a wide range of topics, but surprisingly, the most prominent question is: If the number of physical items in the universe is finite, what form should scientific discourse take? This question is closely connected to an abiding philosophical problem: What is the relationship between the logico-mathematical realm and the material realm? Carnap, Tarski, and Quine's attempts to answer this question involve issues central to philosophy today.This book focuses on three such issues: nominalism, the unity of science, and analyticity.In short, the book reconstructs the lines of argument represented in these Harvard discussions, discusses their historical significance (especially Quine's break from Carnap), and relates them when possible to contemporary treatments of these issues.

Classical logic assumes that names are univocal: every name refers to exactly one existing individual. This Principle of Univocality has two parts: an existence assumption and a uniqueness assumption. The existence assumption holds that every name refers to at least oneindividual, and the uniqueness assumption states that every name refers to at most one individual. The various systems of free logic which have been developed and studied since the 1960s relax the existence assumption, but retain the uniqueness assumption. The present work investigates violations of both halves of the Principle of Univocality. That is, whereas the free logics developed from the 1960s are called 'free' because they are free of existential assumptions, the current Element generalizes this idea, to study logics that are free of uniqueness assumptions. We explore several versions of free logic, comparing their advantages and disadvantages. Applications of free logic to other areas of philosophy are explored.