Kirjahaku

"This book is valuable as expounding in full a theory of meaning that has its roots in the work of Frege and has been of the widest influence. . . . The chief virtue of the book is its systematic character. From Frege to Quine most philosophical logicians have restricted themselves by piecemeal and local assaults on the problems involved. The book is marked by a genial tolerance. Carnap sees himself as proposing conventions rather than asserting truths. However he provides plenty of matter for argument."—Anthony Quinton, Hibbert Journal

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

As a leading member of the Vienna Circle, Rudolph Carnap's aim was to bring about a "unified science" by applying a method of logical analysis to the empirical data of all the sciences. This work, first published in English in 1934, endeavors to work out a way in which the observation statements required for verification are not private to the observer. The work shows the strong influence of Wittgenstein, Russell, and Frege.

A clear, comprehensive, and rigorous treatment develops the subject from elementary concepts to the construction and analysis of relatively complex logical languages. It then considers the application of symbolic logic to the clarification and axiomatization of theories in mathematics, physics, and biology. Hundreds of problems, examples, and exercises. 1958 edition.

This title is part of UC Press's Voices Revived program, which commemorates University of California Press’s mission to seek out and cultivate the brightest minds and give them voice, reach, and impact. Drawing on a backlist dating to 1893, Voices Revived makes high-quality, peer-reviewed scholarship accessible once again using print-on-demand technology. This title was originally published in 1977.

This title is part of UC Press's Voices Revived program, which commemorates University of California Press’s mission to seek out and cultivate the brightest minds and give them voice, reach, and impact. Drawing on a backlist dating to 1893, Voices Revived makes high-quality, peer-reviewed scholarship accessible once again using print-on-demand technology. This title was originally published in 1977.

In this text, Rudolf Carnap analyzes the fundamental elements of experience, the derivation of qualities, the construction of sensory classes and the construction of the special and temporal orders.

Rudolf Carnap's entire theory of Language structure "came to me," he reports, "like a vision during a sleepless night in January 1931, when I was ill." This theory appeared in The Logical Syntax of Language (1934). Carnap argued that many philosophical controversies really depend upon whether a particular language form should be used. This leads him to his famous "Principle of tolerance" by which everyone is free to mix and match the rules of his language and therefore his logic in any way he wishes. In this way, philosophical issues become reduced to a discussion of syntactical properties, plus reasons of practical convenience for preferring one form of language to another. In a tour de force of precise reasoning, Carnap also indicated how two model languages could be constructed. This is one of three books which Open Court is making available in paperback reprint in its Open Court Classics series. The other two are Carnap's The Logical Structure of the World and Schlick's General Theory of Knowledge.

Testability And Meaning is a philosophical book written by Rudolf Carnap. The book explores the relationship between testability and meaning in scientific theories. Carnap argues that scientific theories must be testable in order to be meaningful. He also discusses the importance of empirical evidence in verifying scientific theories and the role of language in scientific inquiry. The book is divided into two parts: the first part deals with the concept of testability and its relationship to meaning, while the second part focuses on the application of these ideas to specific scientific theories. Overall, Testability And Meaning is a seminal work in the philosophy of science and is still widely read and studied today.This scarce antiquarian book is a facsimile reprint of the old original and may contain some imperfections such as library marks and notations. Because we believe this work is culturally important, we have made it available as part of our commitment for protecting, preserving, and promoting the world's literature in affordable, high quality, modern editions, that are true to their original work.

Seit beinahe einem Jahrhundert sind Mathematiker und Logiker mit Erfolg bemiiht, aus der Logik eine strenge Wissen- schaft zu machen. Dieses Ziel ist in einem gewissen Sinn erreicht worden: man hat gelemt, in der Logistik mit Symbolen und Formeln ii. hnlich denen der Mathematik in strenger Weise zu operieren. Aber ein logisches Buch muB auBer den Formeln auch Zwischentext enthalten, der mit Hilfe der gewohnlichen Wort- sprache iiber die Formeln spricht und ihren Zusammenhang kIar macht. Dieser Zwischentext laBt oft an Klarheit und Exakt- heit manches zu wiinschen ubrig. In den letzten Jahren nun hat sich bei den Logikem verschiedener Richtungen immer mehr die Einsicht entwickelt, daB dieser Zwischentext das Wesentliche an der Logik ist und daB as darauf ankommt, fUr diese Satze uber Satze eine exakte Methode zu entwickeln. Dieses Buch will die systematische Darstellung einer solchen Methode, der "logischen Syntax", geben (nahere Erlauterungen in der Einleitung, 1, 2). In unserem "Wiener Kreis" und in manchen ahnlich gerich- teten Gruppen (in Polen, Frankreich, England, USA. und ver- einzelt sogar in Deutschland) hat sich gegenwartig die Auffassung immer deutlicher herausgebildet, daB die traditionelle meta- physische Philosophie keinen Anspruch auf Wissenschaftlichkeit machen kann. Was an der Arbeit des Philosophen wissenschaft- lich haltbar ist, besteht - soweit es nicht empirische Fragen betrifft, die der Realwissenschaft zuzuweisen sind - in logischer Analyse. Die logische Syntax will nun ein Begriffsgeb8. ude, eine Sprache liefem, mit deren Hilfe die Ergebnisse logischer Analyse exakt formulierbar sind.

in die symbolische Logik mit besonderer Berucksichtigung ihrer Anwendungen Von Rudolf Carnap Professor der Philosophie University of California, Los Angeles Dritte, unveranderte Auflage Mit 5 T extahhildungen Springer-Verlag Wien GmbH ISBN 978-3-7091-3141-1 ISBN 978-3-7091-3140-4 (eBook) DOI 10. 1007/978-3-7091-3140-4 Alle Rechte vorbehalten Kein Teil dieses Buches darf ohne schriftliche Genehmigung des Springer-Verlages ubersetzt oder in irgendeiner Form vervielfaltigt werden (c) 1954, 1960, and 1968 by Springer-Verlag Wien Softcover reprint of the bardeover 3rd edition 1968 Library of Congress Catalog Card Number 68-29065 Titel Nr. 8136 Fur lna in tiefer Dankbarkeit Vorwort zur ersten Auflage In der Gestalt der symbolischen oder mathematischen Logik oder Logistik hat die Logik seit etwa 100 Jahren eine voellig neue Form an- genommen. Die Verwendung von Symbolen ist zwar das auffallendste Merkmal der neuen Logik, aber nicht das wesentlichste. Wichtiger sind die Exaktheit der Formulierung, die grosse Ausdehnung des Cnlbietes ins- besondere in der Theorie der Relationen und der Begriffe hoeherer Stufen, und die vielfaltige Anwendungsmoeglichkeit der neuen Methoden. In den letzten Jahtzehnten ist daher das Interesse an der symbolischen Logik in weiteren Kreisen wachgeworden, besonders unter Philosophen und Mathematikern, aber auch unter den Fachwissenschaftlern, die an der Analyse der Begriffe ihrer Fachwissenschaften interessiert sind.

Dieses Buch stellt eine neue, von CARNAP entwickelte Theorie der Induktion und Wahrscheinlichkeit dar, die durch die folgenden grund­ legenden Auffassungen charakterisiert ist. 1. Jedes induktive Schließen, im weiten Sinne des nichtdeduktiven oder nichtdemonstrativen Schluß­ folgerns, ist ein Schließen auf Grund von Wahrscheinlichkeit. 2. Daher ist die induktive Logik als Theorie von den Prinzipien des induktiven Schließens dasselbe wie Wahrscheinlichkeitslogik. 3. Der Begriff der Wahrscheinlichkeit, der als Grundbegriff der induktiven Logik dienen soll, ist eine logische Relation zwischen zwei Aussagen oder Sätzen, näm­ lich der Grad der Bestätigung einer Hypothese auf der Grundlage gegebe­ ner Prämissen. 4. Der sogenannte Häufigkeitsbegriff der Wahrschein­ lichkeit, wie er in statistischen Untersuchungen verwendet wird, ist zwar an und für sich ein wichtiger wissenschaftlicher Begriff, als Grundbegriff der induktiven Logik jedoch unbrauchbar. 5. Alle Prinzipien und Lehr­ sätze der induktiven Logik sind analytisch. 6. Daher hängt die Gültig­ keit des induktiven Schließens nicht von irgendwelchen synthetischen Voraussetzungen ab, wie etwa dem vielumstrittenen Prinzip der Gleich­ förmigkeit der Welt. Die erste Aufgabe dieses Buches ist die Erörterung der allgemeinen philosophischen Probleme betreffend die Natur der Wahrscheinlichkeit und des induktiven Schließens, die uns zu den eben erwähnten Auffassun­ gen führen wird. Das zweite Ziel ist der tatsächliche Aufbau eines Systems der induktiven Logik, einer Theorie, die auf den angeführten Prinzipien beruht. Ein besonderes Augenmerk wurde in diesem Buch darauf gelegt, die intuitive philosophische Grundlegung klar von dem technischen Aufbau des Systems der induktiven Logik zu trennen.

Nach der Bedeutungsanalyse ist der zweite in dies em Buch eror- terte Hauptgegenstand die modale Logik, d. h. die Theorie der Modalitaten, wie Notwendigkeit, Zufalligkeit, Moglichkeit, Unmog- lichkeit usw. Verschiedene Systeme der modalen Logik sind von ver- schiedenen Autoren vorgeschlagen worden. Es scheint mir jedoch, daiS es nicht moglich ist, ein befriedigendes System zu konstruieren, bevor die Bedeutungen der Modalitaten geniigend klargestellt sind. Ich glaube ferner, daiS diese Klarstellung am besten dadurch erfolgen kann, daiS jeder der modalen Begriffe mit einem entsprechenden semantischen Begriff (z. B. Notwendigkeit mit L-Wahrheit) in Kor- relation gebracht wird. Es wird sich zeigen, daiS diese Methode auch zu einer Klarung und Ausschaltung gewisser Ratsel fiihrt, auf die Logiker im Zusammenhang mit den Modalitaten gestoiSen sind. 1m Vorwort des zweiten Bandes der "Studies in Semantics" kiindigte ich meine Absicht an, als nachsten Band ein Buch iiber modale Logik zu veroffentlichen, das unter anderem syntaktische und seman- tische Systeme, die Modalitaten mit Quantifizierung kombinieren, enthalten sollte. Das vorliegende Buch ist jedoch noch nicht die voll- standige Erfiillung dieses Versprechens; es enthalt nur Analysen und Erorterungen von Modalitaten, welche die Konstruktion von moda- len Systemen einleiten. Die Systeme selbst werden hier nicht geboten. In einem an anderer Stelle veroffentlichten Artikel (siehe Bibliogra- phie) habe ich einen Kalkiil und ein semantisches System, das Moda- litaten mit Quantifizierung verkniipft, dargelegt und einige der diese Systeme betreffenden Ergebnisse zusammengefaiSt. Eine umfassen- dere Darstellung der schon gefundenen und noch zu findenden Ergebnisse muiS fiir ein anderes Mal zuriickgestellt werden.