Le formalisme en question: le tournant des années trenteFrédéric Nef, Denis Vernant Vrin, 1998 - Всего страниц: 450 La dynamique des sciences se deploie selon des temporalites multiples qui possedent leurs propres rythmes. De ce point de vue, l'exercice qui consiste a scander en decennies l'histoire de la logique et des sciences formelles est perilleux. Peut-on aller au-dela et tenter de donner sens a cette decennie des annees trente? La fin du logicisme, l'avenement de nouvelles logiques, le developpement du formalisme, ses limitations internes, sa critique externe et les approches formelles du langage sont six traits caracteristiques explores dans ce recueil d'articles qui font apparaitre l'eloignement ainsi que la proximite des annees trente et de cette fin de siecle. |
Часто встречающиеся слова и выражения
Ajdukiewicz analytique années 30 axiomatique axiomes Bohr calcul Carnap catégories sémantiques Cercle de Vienne chose classes classique concepts conditions de vérité construction contenu critère critique croyance d'ordre définit définition déflationniste démonstration Einstein énoncés entités expressions formalisation Frege géométrie Gödel Goodman grammaire Heisenberg Hilbert Husserl ibid induction infini intuition intuitionniste Kant kantienne Kleene l'arithmétique l'axiome l'énoncé l'expérience langage linguistique Logic logique logique intuitionniste logique modale logique quantique Lukasiewicz machine machine de Turing Mathematica mathématiques mécanique quantique mesure métalangage métamathématique méthode modèle notion objets ontologique pensée philosophie phrase physicalisme physique Popper possible prédicat de vérité principe problème propositionnelle propositions propriétés psychologiques quantification question Ramsey réalité réduction relation représentation Russell Schlick Schrödinger science sémantique sens seulement signification simple structure substitutionnelle symboles syntaxe synthétiques a priori système formel Tarski tautologie termes théorème théorie des catégories théorie des ensembles théorie des modèles théorie des types thèse Tractatus trivalente Turing variables vrai Wittgenstein