Daniel ANDLER

Auteur de

COGNITIVES SCIENCES

Les sciences cognitives ont pour objet de décrire, d'expliquer et le cas échéant de simuler voire d'amplifier les principales dispositions et capacités de l'esprit humain – langage, raisonnement, perception, coordination motrice, planification, décision, émotion, conscience, culture... En un sens, les sciences cognitives ne sont rien d'autre que l… Lire la suite

GÖDEL KURT (1906-1978)

Issue de la pensée de Boole, de Cantor et de Frege au cours de la seconde moitié du xix^e siècle, la logique mathématique connaît ses premiers développements grâce à Hilbert et à Russel et Whitehead (premier quart du xx^e siècle). Mais c'est à Kurt Gödel plus qu'à tout autre qu'elle doit de prendre rang, en l'… Lire la suite

LOGIQUE MATHÉMATIQUE

La logique au sens étroit du terme, c'est-à-dire la logique formelle par opposition à l'épistémologie ou à la théorie de la connaissance, se propose de donner une théorie de l'inférence formellement valide. Elle considère comme valide toute inférence telle qu'un individu sensé et suffisamment exercé se sente contraint de tenir sa conclusi… Lire la suite

MODÈLES THÉORIE DES

« Modèle » est un terme qui appartient au vocabulaire de la plupart des sciences et qui a des significations multiples. Ainsi, dans les sciences humaines, on entend généralement par modèle une théorie conçue pour expliquer un ensemble de phénomènes, alors qu'en logique mathématique on parle des modèles d'une théorie. Dans ce qui suit, il s'agira e… Lire la suite

ROBINSON ABRAHAM (1918-1974)

Mathématicien et logicien américain d'origine allemande. Né à Waldenburg, en Allemagne (l'actuelle Walbrzych polonaise), dans une famille intellectuelle sioniste, Abraham Robinson émigre en Palestine avec sa famille en 1933. Tout en gagnant sa vie et en suivant l'entraînement militaire de la Haganah, il étudie les mathématiques à l'université hébr… Lire la suite