In this manuscript, published here for the first time, Tarski explores the concept of logical notion. He draws on Klein's Erlanger Programm to locate the logical notions of ordinary geometry as those invariant under all transformations of space. Generalizing, he explicates the concept of logical notion of an arbitrary discipline.

Most of the Bolzano literature is exegetical, neglecting, unfortunately, the great potential of his logic as the beginning of a PROGRAMME. Specifically, his unorthodox construai of the consequence relation as triadic, and his account of logical form are promising beginnings which even as they stand shed light on question of relevance, the ancient problems of enthymemes and others. Instead of developing these suggestions, Bolzano scholars have been occupied with elucidating the ontology of sentences in themselves, and related (...) topics. I argue, and believe to be in agreement with Bolzano, that the nature of sentences is fully explained by the relations that hold between them, just as money has no nature or essence beyond the transactions it makes possible. It follows that the development of his logic would contribute at least as much to the understanding of sentences than any exegesis. (shrink)

Most of the Bolzano literature is exegetical, neglecting, unfortunately, the great potential of his logic as the beginning of a PROGRAMME. Specifically, his unorthodox construai of the consequence relation as triadic, and his account of logical form are promising beginnings which even as they stand shed light on question of relevance, the ancient problems of enthymemes and others. Instead of developing these suggestions, Bolzano scholars have been occupied with elucidating the ontology of sentences in themselves, and related (...) topics. I argue, and believe to be in agreement with Bolzano, that the nature of sentences is fully explained by the relations that hold between them, just as money has no nature or essence beyond the transactions it makes possible. It follows that the development of his logic would contribute at least as much to the understanding of sentences than any exegesis. (shrink)

In this paper I argue that Bolzano's concept of deducibility and Tarski's concept of logical consequence differ with respect to their philosophical intent. I distinguish between epistemic and ontic approaches to logic, and argue that Bolzano's deducibility presupposes an epistemic approach, while Tarski's logical consequence presupposes an ontic approach.

This book with an introduction by Witold Marciszewski, views the history of philosophy and logic from 1837 to 1939 from the perspective of the cradle of modern exact philosophy - Central Europe. In a series of case studies, it illuminates the developments in this region, most notably in Austria and Poland, examining thinkers such as Bolzano, Brentano, Meinong, Husserl, Twardowski, Lesniewski, and Tarski, as well as the logicians like Frege and Russell with whom they bore a close resemblance. (...) The book challenges established views about the history of philosophy and logic in Europe, and shows the vitality of the Central European tradition. (shrink)

Inhaltsverzeichnis/Table of Contents: Vorbemerkung/Preface. Dagfin FØLLESDAL: Bolzano's Legacy. Jan BERG: Bolzano, the Prescient Encyclopedist. Jan SEBESTIK: Bolzano, Exner and the Origins of Analytical Philosophy. Paul RUSNOCK: Bolzano and the Traditions of Analysis. Peter SIMONS: Bolzano on Collections. Ali BEHBOUD: Remarks on Bolzano's Collections. Mark SIEBEL: Variation, Derivability and Necessity. Edgar MORSCHER: Bolzano's Method of Variation: Three Puzzles. Rolf GEORGE: Bolzano's Programme andObjects. Mark TEXTOR: Bolzano's Sententialism. Wolfgang KÜNNE: Propositions in (...) class='Hi'>Bolzano and Frege. Michael DUMMETT: Comments on Wolfgang Künne's Paper. Carsten Uwe GIESKE: Bolzano's Notion of Testifying. (shrink)

Depuis 1967, Donald Davidson defend l'idée qu'une théorie de la signification pour une langue naturelle doit prendre la forme d'une théorie tarskienne de la vérité. Je me propose ici d'exposer les grandes lignes de l a conception davidsonienne de la sémantique des langues naturelles et de chercher à préciser en quel sens une theorie tarskienne de la vérité pour une langue L constitue, selon Davidson, une théorié de la signification pour L. Je ferai pour cela abstraction des obstacles qu'il pourrait (...) y avoir à la réalisation du programme de Davidson. (shrink)

In a series of publications beginning in the 1980s, John Etchemendy has argued that the standard semantical account of logical consequence, due in its essentials to Alfred Tarski, is fundamentally mistaken. He argues that, while Tarski's definition requires us to classify the terms of a language as logical or non-logical, no such division is guaranteed to deliver the correct extension of our pre-theoretical or intuitive consequence relation. In addition, and perhaps more importantly, Tarski's account is claimed to (...) be incapable of explaining an essential modal/epistemological feature of consequence, namely, its necessity and apriority. Bernard Bolzano (1781-1848) is widely recognized as having anticipated Tarski's definition in his Wissenschaftslehre (or Theory of Science ) of 1837. Because of the similarities between his account and Tarski's, Etchemendy's arguments have also been extended to cover Bolzano. The purpose of this article is to consider Bolzano's theory in the light of these criticisms. We argue that, due to important differences between Bolzano's and Tarski's theories, Etchemendy's objections do not apply immediately to Bolzano's account of consequence. Moreover, Bolzano's writings contain the elements of a detailed philosophical response to Etchemendy. (shrink)

Parmi les travaux contemporains en sémantique du langage ordinaire, le "programme de Davidson " se distingue par sa portée philosophique : la théorie de la vérité que propose Davidson à titre de cadre sémantique s'épanouit en effet en une véritable philosophie du langage, connue sous le nom d'interprétation radicale. Cet ouvrage tente une évaluation critique du programme de Davidson, à partir d'une question à la fois historique et conceptuelle : quels ont les rapports entre le projet d'une théorie (...) de la vérité "à la Tarski ", et celui d'une sémantique formelle du langage ordinaire? (shrink)

Contemporary historians of logic tend to credit Bernard Bolzano with the invention of the semantic notion, of consequence, a full century before Tarski. Nevertheless, Bolzano's work played no significant rôle in the genesis of modern logical semantics. The purpose of this paper is to point out three highly original, and still quite relevant themes in Bolzano's work, being a systematic study of possible types of inference, of consistency, as well as their meta-theory. There are certain analogies (...) with Tarski's concerns here, although the main thrust seems to be different, both philosophically and technically. Thus, if only obliquely, we also provide some additional historical perspective on Tarski's achievement. (shrink)

Contemporary historians of logic tend to credit Bernard Bolzano with the invention of the semantic notion of consequence, a full century before Tarski. Nevertheless, Bolzano's work played no significant rôle in the genesis of modern logical semantics. The purpose of this paper is to point out three highly original, and still quite relevant themes in Bolzano's work, being a systematic study of possible types of inference, of consistency, as well as their meta-theory. There are certain analogies (...) with Tarski's concerns here, although the main thrust seems to be different, both philosophically and technically. Thus, if only obliquely, we also provide some additional historical perspective on Tarski's achievement. (shrink)

Une théorie davidsonienne de la signification pour une langue L prend la forme d'une theorie tarskienne de la véeritée-dans-L. Une telle théeorie sera absolument radicale s'il est possible d'éetablir qu'elle est tarskienne, c'est-à-dire conforme à la convention T de Tarski, en n'utilisant que des donnéees empiriques dont la description ne fait intervenir aucun concept linguistique, tandis qu'elle sera relativement radicale s'il est possible d'éetablir qu'elle est tarskienne en n'utilisant que des donnéees empiriques dont la description ne fait intervenir aucun (...) concept linguistique propre à L. (shrink)

EDITOR'S INTRODUCTION Throughout his life Bolzano's interest was divided between ethics and mathematics, between his will to reform the religion of the ...

The Prague Philosopher Bernard Bolzano (1781-1848) has long been admired for his groundbreaking work in mathematics: his rigorous proofs of fundamental theorems in analysis, his construction of a continuous, nowhere-differentiable function, his investigations of the infinite, and his anticipations of Cantor's set theory. He made equally outstanding contributions in philosophy, most notably in logic and methodology. One of the greatest mathematician-philosophers since Leibniz, Bolzano is now widely recognised as a major figure of nineteenth-century philosophy. Praised by Husserl as (...) "one of the greatest logicians of all times," he has also been recognised by Michael Dummett as one of the first modern analytic philosophers and by Alberto Coffa as the founder of the "semantic tradition." This volume contains English translations of the essay "On the Mathematical Method," a concise introduction to Bolzano's logic and philosophy of mathematics, as well as substantial selections from his correspondence with Franz Exner, Professor of Philosophy at the Charles University in Prague in the 1830s and 40s. It will be of interest to students of Austrian philosophy, the development of analytic philosophy, the philosophy of language, and the history and philosophy of logic and mathematics. (shrink)

We provide for the first time an exact translation into English of the Polish version of Alfred Tarski's classic 1936 paper, whose title we translate as ?On the Concept of Following Logically?. We also provide in footnotes an exact translation of all respects in which the German version, used as the basis of the previously published and rather inexact English translation, differs from the Polish. Although the two versions are basically identical, to an extent that is even uncanny, we (...) note more than 400 differences. Several dozen of these are substantive differences due to revisions by Tarski to the Polish version which he did not incorporate in the German version. With respect to these revisions the Polish version should be regarded as more authoritative than the German. Hence scholars limited to an English translation should use ours. (shrink)

Il n’est pas facile de voir quel est l’objectif de ce livre. Au chapitreI, Rivenc annonce que ce qui l’intéresse est le lien chez Davidson entre le format d’une théorie de la signification pour les langues naturelles et le thème de l’interprétation radicale qui serait à l’œuvre dans tout échange linguistique. En fait, Rivenc ne dit à peu près rien sur ce lien. Son livre consiste plutôt en une suite de critiques disparates du programme de Davidson, qu’il emprunte à (...) différents commentateurs de celui-ci. L’auteur omet de présenter les réponses à ces critiques qu’ont données les sympathisants de l’approche davidsonienne, et n’essaie pas de tirer des leçons plus générales de ces critiques concernant la sémantique des langues naturelles. (shrink)

Die "Paradoxien des Unendlichen" sind ein Klassiker der Philosophie der Mathematik und zugleich eine gute Einführung in das Denken des "Urgroßvaters" der analytischen Philosophie. Das Unendliche - seit jeher ein Faszinosum für die philosophische Reflexion - wurde in der Zeit nach der Grundlegung der Analysis durch Leibniz und Newton in der Mathematik zunächst als Problem betrachtet, das sich nicht vollkommen widerspruchsfrei behandeln lässt. Bernard Bolzano, der heute als "Urgroßvater der analytischen Philosophie" (Michael Dummett) gilt, zeigt in diesem klassisch gewordenen (...) Text jedoch, dass es beim Nachdenken über das Unendliche, sofern man begrifflich differenziert argumentiert und klare Definitionen zugrunde legt, keine echten Widersprüche gibt und sich die "Paradoxien des Unendlichen" auflösen lassen. Bolzano setzt sich zunächst mit den Unendlichkeitsbegriffen der Mathematik und der (idealistisch geprägten) Philosophie seiner Zeit auseinander, bevor er sich Schritt für Schritt die analytischen Grundlagen einer konsistenten Theorie des Unendlichen erarbeitet. Bereits einige Jahrzehnte vor Georg Cantors bis heute maßgeblicher mathematischer Unendlichkeitsdefinition gelingt Bolzano mit diesem Werk, dessen logische Klarheit und dessen Grad an philosophischer Durchdachtheit bis heute Beispielcharakter haben, die Rehabilitation des Unendlichen für die Philosophie der Mathematik. Die "Paradoxien des Unendlichen" wurden zuerst 1851 aus dem Nachlass herausgegeben. Diese Neuausgabe beruht auf dem der Erstausgabe zugrundeliegenden Manuskript. (shrink)

In this article the author first described the developments which brought to focus the importance of consistency proofs for mathematics, and which led Hilbert to promote the science of metamathemat-ics. Further comments and remarks concern the (partly analogous) beginnings of the work on the decision problem, Gödel?s theorems and related matters, and general metamathematics. An appendix summarizes a text by the author on completeness and categoricity.

I ON THE PRIMITIVE TERM OF LOGISTICf IN this article I propose to establish a theorem belonging to logistic concerning some connexions, not widely known, ...

Einleitungsband. 1. T. Biographie -- 2. T. Bolzano-Bibliographie und Editionsprinzipien der Gesamtausgabe. (v. <1-2>). Supplement <1-2> -- Reihe I, Schriften -- Bd. 2. Erbauungsreden für Akademiker -- Bd. 6. Lehrbuch der Religionswissenschaft, Erster Teil. (2 v.) -- Bd. 7. Lehrbuch der Religionswissenschaft, Zweiter Teil. (2 v.) -- Bd. 8. Lehrbuch der Religionswissenschaft, Dritter Teil. (v. <1-4 >) -- Bd. 11. Wissenschaftslehre (3 v.) -- Bd. 12. Wissenschaftslehre. (3 v.) -- Bd. 13. Wissenschaftslehre. (3 v.) -- Bd. 14. Wissenschaftslehre. (v. (...) <1-3>) -- Bd. 16. Vermischte Schriften, 1839-1840. (2 v.) -- Bd. 18. Mathematisch-physikalische und philosophische Schriften, 1842-1843 -- Bd. 19. Über die Perfectibilität des Katholizismus. (2 v.) --. (shrink)

This paper is an edited form of a letter written by the two authors (in the name of Tarski) to Wolfram Schwabhäuser around 1978. It contains extended remarks about Tarski's system of foundations for Euclidean geometry, in particular its distinctive features, its historical evolution, the history of specific axioms, the questions of independence of axioms and primitive notions, and versions of the system suitable for the development of 1-dimensional geometry.

Paradoxes of the Infinite presents one of the most insightful, yet strangely unacknowledged, mathematical treatises of the 19 th century: Dr Bernard Bolzano’s Paradoxien . This volume contains an adept translation of the work itself by Donald A. Steele S.J., and in addition an historical introduction, which includes a brief biography as well as an evaluation of Bolzano the mathematician, logician and physicist.

_Paradoxes of the Infinite_ presents one of the most insightful, yet strangely unacknowledged, mathematical treatises of the 19 th century: Dr Bernard Bolzano’s _Paradoxien_. This volume contains an adept translation of the work itself by Donald A. Steele S.J., and in addition an historical introduction, which includes a brief biography as well as an evaluation of Bolzano the mathematician, logician and physicist.

_Paradoxes of the Infinite_ presents one of the most insightful, yet strangely unacknowledged, mathematical treatises of the 19 th century: Dr Bernard Bolzano’s _Paradoxien_. This volume contains an adept translation of the work itself by Donald A. Steele S.J., and in addition an historical introduction to the masterpiece, which includes a brief biography as well as an evaluation of Bolzano the mathematician, logician and physicist.

This book is well known for its proof that many mathematical systems - including lattice theory and closure algebras - are undecidable. It consists of three treatises from one of the greatest logicians of all time: "A General Method in Proofs of Undecidability," "Undecidability and Essential Undecidability in Mathematics," and "Undecidability of the Elementary Theory of Groups.".

Bernard Bolzano (1781-1848) a passe toute sa vie en Boheme, qui faisait encore partie de l'Empire autrichien. Apres des etudes de philosophie, mathematique et theologie, il est devenu pretre et professeur de Science de la religion a l'Universite de Prague. Heritier de l'Aufklarung, il a consacre sa vie a la reforme de la semi-feodale societe autrichienne et a la reforme des sciences a priori: logique, mathematique et theologie. Ses critiques de la constitution et de l'ordre existant lui valurent d'etre (...) destitue de sa chaire en 1819 et de passer le reste de sa vie en exil interieur entoure d'un petit cercle d'amis, ecrivant ses grands traites: le Traite de science de la religion (1834), la Theorie de la science (1837), la Theorie des grandeurs ainsi que l'utopie Du meilleur Etat et les Paradoxes de l'infini (1851). Le texte De la methode mathematique, extrait de l'Introduction a la Theorie des grandeurs, resume quelques unes de ses plus importantes innovations en logique et presente sa philosophie des mathematiques, concue en opposition a Kant. Bolzano l'a choisi pour l'envoyer a Franz Exner, nomme professeur de philosophie a l'Universite de Prague en 1831. L'echange epistolaire qui s'en est suivi tourne autour des deux theses controversees de la logique de Bolzano: sa conception des objets logiques en soi, independants de la pensee et de la langue, et son concept d'intuition. Dans cette controverse s'est joue le sort de la philosophie autrichienne. Bolzano n'a pas reussi a convaincre Exner, qui lui oppose avec tenacite les idees de Herbart. (shrink)

This classic undergraduate treatment examines the deductive method in its first part and explores applications of logic and methodology in constructing mathematical theories in its second part. Exercises appear throughout.

Now in its fourth edition, this classic work clearly and concisely introduces the subject of logic and its applications. The first part of the book explains the basic concepts and principles which make up the elements of logic. The author demonstrates that these ideas are found in all branches of mathematics, and that logical laws are constantly applied in mathematical reasoning. The second part of the book shows the applications of logic in mathematical theory building with concrete examples that draw (...) upon the concepts and principles presented in the first section. Numerous exercises and an introduction to the theory of real numbers are also presented. Students, teachers and general readers interested in logic and mathematics will find this book to be an invaluable introduction to the subject. (shrink)

Published with the aid of a grant from the National Endowment for the Humanities. Contains the only complete English-language text of The Concept of Truth in Formalized Languages. Tarski made extensive corrections and revisions of the original translations for this edition, along with new historical remarks. It includes a new preface and a new analytical index for use by philosophers and linguists as well as by historians of mathematics and philosophy.