Cette Introduction à la logique constitue le cours de base des étudiants en sciences et en philosophie. La présentation de la logique formelle dans son contexte historique est accompagnée d'un exposé très clair des notions syntaxiques et sémantiques nécessaires au calcul des énoncés et au calcul des prédicats du premier ordre... Les méthodes formelles les plus classiques (tables de vérité, arbres de consistance, dérivations) sont explicitées au travers de nombreux exercices d'application accompagnés de leurs corrigés. La seconde partie de l'ouvrage (...) fournit au lecteur les contenus théoriques nécessaires à la compréhension des débats qui ont animés la philosophie de la logique et son dialogue avec les mathématiques depuis la fin du XIX, siècle. L'axiomatisation du calcul des énoncés (présentation de So), les notions de complétude sémantique et syntaxique comme le concept de décidabilité sont introduits. Un chapitre est consacré à l'axiomatisation du calcul des prédicats du premier ordre et permet de familiariser le lecteur à la métathéorie. La présentation des résultats fondateurs (théorème de consistance, théorème de Tarski, théorème de complétude) jette les bases de la théorie des modèles. Enfin, l'ouvrage s'achève par les fondations de la logique mathématique (système Se de la théorie des ensembles et système Sn de la théorie des nombres naturels) et par l'exposé des célèbres théorèmes de Gôdel... (shrink)

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

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.

I want to tell you something about the personal and scientific relationship between Alfred Tarski and Kurt Gödel, more or less chronologically. This is part of a work in progress with Anita Feferman on a biography of Alfred Tarski, and in line with most of the things we do, we’ve talked a great deal about the subject together.

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.

The object lesson concerns the passage from the foundational aims for which various branches of modern logic were originally developed to the discovery of areas and problems for which logical methods are effective tools. The main point stressed here is that this passage did not consist of successive refinements, a gradual evolution by adaptation as it were, but required radical changes of direction, to be compared to evolution by migration. These conflicts are illustrated by reference to set theory, model theory, (...) recursion theory, and proof theory. At the end there is a brief autobiographical note, including the touchy point to what extent the original aims of logical foundations are adequate for the broad question of the heroic tradition in the philosophy of mathematics concerned with the nature of the latter or, in modern jargon, with the architecture of mathematics and our intuitive resonances to it. (shrink)

According to a common opinion, the word ‘semantics’ , derived from the Greek word semantikos , appeared for the first time, at least in modern times, in the book Essai de semantique, science de significations by M. J. A. Bréal . However, Quine says in his lectures on Carnap:As used by C. S. Peirce, “semantic” is the study of the modes of denotation of signs: whether a sign denotes its object through causal or symptomatic connection, or through imagery, or through (...) arbitrary convention and so on. This sense of semantic, namely a theory of meaning, is used also in empirical philology: empirical semantic is the study of historical changes of meanings of words.1For Bréal, semantics was a branch of general linguistics. In particular, semantics was occupied with so-called lexical meaning and its changes through time. Thus, semantics in this sense belonged to what was called “the diachronic treatment of language”. This tradition is fairly alive in contemporary linguistic theory. Quine’s description of the word ‘semantic’ in Peirce corresponds, which Quine explicitly states, to its use in philology. However, some linguists ascribe a more theoretical role to lingustic semantics. Karl Bühler is an example. In his Sprachtheorie he says that a theory of semantic functions of language is a part of theory of language.2 This account is to be found also among philosophers. It is also rather obvious that Peirce did not limit his semantic only to empirical studies. Linguists also use the word ‘semasiology’ instead of ‘semantics’; Bühler proposed the term ‘sematology’ for a general theory of symbols. (shrink)

Le but principal de la communication est d’esquisser les traits essentiels de la méthode appliquée dans les sciences déductives.1. A quoi tend la méthode déductive? Termes primitifs et définis ; axiomes et théorèmes. Les sciences antérieures à une science donnée. La méthode déductive considérée comme propriété caractéristique des mathématiques.2. Liberté dans le choix des termes primitifs et des axiomes ; notion d’équivalence de deux systèmes de termes ou de propositions.Postulats d’indépendance des termes primitifs et des axiomes.3. Postulats de la formalisation (...) des définitions et des démonstrations. Règles de définition et de démonstration ; les démonstrations complètes ; les sciences déductives formalisées. Le rôle de la logique mathématique au point de vue des nouvelles exigences méthodologiques.4. Les notions de science non-contradictoire et complète. L’importance théorique de ces notions ; leur rapport avec le problème de la vérité des mathématiques. Pourquoi les notions en question n’exercent pas en pratique une grande influence sur la construction des sciences mathématiques.5. Certaines propriétés des sciences mathématiques découlant d’une application conséquente de la méthode déductive.ion du sens des termes primitifs dans la construction de la science. Modèles et interprétations du système d’axiomes. Concept de système formel. Valeur de la méthode déductive du point de vue de l’économie de la pensée. (shrink)

Ce livre resulte de recherches sur les transformations recentes d'un concept aussi vieux que la mathematique elle-meme, celui de nombre reel. De l'analyse classique a l'algebre moderne et de celle-ci a la theorie des modeles, on trace ici le parcours singulier d'une alliance reussie des mathematiques et de la logique. La structure algebrique de corps reel clos et la theorie elementaire de cette structure conduisent a deplacer la frontiere du champ d'intervention des concepts analytiques dans de nombreux problemes. S'il est (...) possible de songer aujourd'hui a une philosophie des mathematiques, on ne pourra negliger le materiau ici presente, l'auteur mettant en valeur les elements qui invitent a repenser le rapport de cette science a la logique en qui, aujourd'hui, elle decouvre pour ses multiples facettes une partenaire universelle. (shrink)