Métalogique

"métalogique" dans l'encyclopédie

• MÉTALOGIQUE

  • Écrit par Françoise ARMENGAUD
  • 2 317 mots

  Étude des propriétés des systèmes logiques. Une fois construit comme système, un formalisme peut lui-même devenir objet d'étude. Les propriétés les plus importantes des systèmes formels sont les suivantes : tout d'abord, dans l'ensemble des formules constructibles dans un système, il en est qui ne sont pas démontrables et le système est dit cohérent ; au cas où ce système comporte l'opérateur de négation, il est dit non contradictoire.

• MÉTALANGUE & MÉTALANGAGE

  • Écrit par Robert SCTRICK
  • 3 546 mots

  Si Hilbert a nettement constitué la métamathématique, si les logiciens sont conscients des problèmes que pose pour la validité de leurs systèmes formels le recours obligatoire à la notion de métalogique, la question devient particulièrement épineuse lorsqu'il s'agit de parler, avec la langue usuelle, de la langue, celle qu'étudie la linguistique. Il ne faut pas confondre, en effet, l'usage métalinguistique de la langue, dans telle ou telle de ses parties, avec une métalangue proprement dite : qu'un énoncé tel que « Pierre, qui est un prénom masculin, est venu me voir ce matin » soit impossible, tout le monde voit bien pourquoi.

• CHIASME, symbolisme

  • Écrit par Alain DELAUNAY
  • 6 455 mots

  Dynamique archétypique de l'opposition, autrement plus riche qu'une simple dialectique conceptuelle (celle-ci n'en est qu'un cas limite, selon la bivalence propre au langage), formant comme l'Archématrice de toute dialectique : catégoriale ou métalogique, eidétique ou métamathématique. Le chiasme serait ainsi la clef initiante au monde symbolique : il ouvrirait la forme (triadique) de la conscience du sujet connaissant immergée dans l'objet, sur sa complétude comme possible conscience de soi, pliant sur soi l'être, complétude d'auto-conscience (nécessairement tétrade, tétrarchique ou tétramorphe) comme participation à l'objet de sa connaissance.

• SCIENCES Vue d'ensemble

  • Écrit par Henry DUMÉRY
  • 11 329 mots

  Pareillement, l'épistémologie répondra que les savants n'attendent plus l'intervention du philosophe pour réfléchir sur les conditions de leur spécialité : le logicien élabore sa métalogique, le physicien sa théorie de la connaissance ou du réel. Tout cela est exact, et la philosophie ne peut que s'en réjouir. Mais, dans le premier cas, l'étude des valeurs de fait laisse intact le problème de savoir pourquoi l'homme pose à leur propos une question, non de fait, mais de droit, qu'il s'agisse du droit qu'il revendique de les créer librement ou du droit qu'il leur accorde de requérir son assentiment.

• PIAGET JEAN (1896-1980)

  • Écrit par Pierre GRÉCO
  • 32 545 mots
  • 1 média

  Contre l'avis déclaré de Piaget lui-même, on persistera à croire que son Traité de logique et les autres ouvrages de même espèce, en dépit de leurs imperfections techniques, constituent bel et bien l'introduction à une métalogique, qui, elle, sera constituée par les seuls logiciens de métier. Cette ambition toutefois est solidaire d'une conception épistémologique d'ensemble qu'on va essayer d'esquisser.