Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

[2007] Voici la réédition, augmentée d'une longue préface, d'un livre publié en 1969 et devenu introuvable depuis trente ans. Il transcrit deux conférences prévues à l'époque dans un contexte à la fois dense et mondain : le "cours de philosophie pour scientifiques" organisé par Louis Althusser. La première conférence eut bien lieu, en 1968, à la fin du mois d'avril. Deux semaines plus tard, c'était le début de Mai 68, celui-là même auquel notre actuel Président ordonne qu'on mette fin "une fois pour toutes". Nous, jeunes philosophes, sommes alors passés brutalement des raffinements formels de la théorie pure à l'activisme politique le plus radical. Nous servions les structures, il a fallu, et avec quelle détermination, servir le peuple. La deuxième conférence fut annulée. Entre 1960 et 1968, nous étions en effet "structuralistes", et nous avions une grande dévotion pour la science, que nous opposions à l'idéologie. Il est vraiment paradoxal que depuis, on ait jugé que nous nagions en pleine idéologie, et qu'on ait appelé à "la fin des idéologies". On verra tout le contraire dans ce livre: une grande rigueur instruite concernant la logique contemporaine, un grand mépris pour les à peu près de l'idéologie, et une ambition rationnelle qui s'étend à tous les domaines de la pensée active, politique comprise. La vérité saute toujours par-dessus les étapes obligées. C'est parce qu'il est vraiment de son temps - le début des années soixante - que ce petit livre peut être du nôtre. Écrite aujourd'hui, la préface, racontant l'histoire de nos pensées depuis presque un demi-siècle, tente de montrer la pertinence de cette réédition. Pour les idées profondes, quarante ans, ce n'est que le temps raisonnable d'une latence, pendant laquelle mûrissent les conditions nouvelles de leur efficacité.

Model theory --- Mathematics

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Model theory. --- Mathematics --- Philosophy.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Model theory --- Théorie des modèles

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Provability, Computability and Reflection

Mathematical logic --- Model theory. --- Axiomatic set theory. --- Forcing (Model theory). --- Logic, Symbolic and mathematical --- Logique mathématique --- Model theory --- Théorie des modèles --- Forcing (Model theory) --- Forcing (mathématiques) --- Intuitionistic mathematics. --- Mathématiques intuitionnistes. --- Axiomatic set theory --- Théorie des modèles --- Théorie axiomatique des ensembles --- Forcing (Théorie des modèles) --- EPUB-LIV-FT ELSEVIER-B --- Logic, Symbolic and mathematical -- Periodicals. --- Logic, Symbolic and mathematical. --- 510.2 --- Axioms --- Set theory --- 510.2 Foundations of mathematics --- Foundations of mathematics