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)

Logic, Symbolic and mathematical --- Logique mathématique. --- Model theory --- Set theory --- Théorie des ensembles. --- Théorie des modèles. --- Forcing (Model theory) --- Forcing (mathématiques)

Choose an application

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

Conditionals (Logic) --- Model theory --- Conditionnels (Logique) --- Théorie des modèles

Choose an application

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

Provability, Computability and Reflection

Mathematical analysis --- Logic, Symbolic and mathematical --- Analyse mathématique --- Logique symbolique et mathématique --- Congresses --- Congrès --- EPUB-LIV-FT ELSEVIER-B --- Nonstandard mathematical analysis --- Analysis, Nonstandard mathematical --- Mathematical analysis, Nonstandard --- Non-standard analysis --- Nonstandard analysis --- Model theory