Abonnez-vous à Universalis pour 1 euro

LOGIQUE

Articles

  • ÉPISTÉMOLOGIE

    • Écrit par
    • 13 112 mots
    • 4 médias
    ...toutes les propositions de la mathématique et, par-delà même, de la science en général. L'épistémologie russellienne a d'abord pour but de faire apparaître la forme logique de la science. Il n'est que juste de rappeler que ce projet avait déjà été formulé et mis en pratique par le mathématicien Frege (...

  • ÊTRE, philosophie

    • Écrit par
    • 4 678 mots
    À l'expression, dans le cadre de la logique moderne (en entendant par cette expression la logique à partir de Frege et Russell), de la distinction entre l'usage de « être » avec fonction de copule et l'usage absolu ou existentiel, on pourrait faire suivre, comme une sorte de brève...

  • EXPÉRIENCE

    • Écrit par
    • 7 147 mots
    • 1 média
    ...peut-elle justifier une connaissance objective et universelle ? Et comment peut-on espérer dériver « empiriquement » les concepts des mathématiques et de la logique, alors même qu'ils sont indépendants de l'expérience ? La tentative de Stuart Mill (1852) pour faire des mathématiques et de la logique des sciences...

  • EXTENSION & COMPRÉHENSION, logique

    • Écrit par
    • 441 mots

    Distinction introduite par la Logique de Port-Royal et portant sur les idées universelles : « J'appelle compréhension de l'idée les attributs qu'elle enferme en soi, et qu'on ne peut lui ôter sans la détruire, comme la compréhension de l'idée du triangle enferme extension, figure,...

  • DIALOGUE

    • Écrit par et
    • 4 421 mots
    • 1 média
    ...définir le dialogue à partir du dialogisme du discours. Les tentatives constructivistes renouent fort heureusement avec la synthèse médiévale de la logique et de la rhétorique. C. Perelman et N. Rescher montrent dans la dispute rationnelle une méthode pour conduire systématiquement une controverse...

  • FORMALISME

    • Écrit par et
    • 5 001 mots
    • 1 média

    Au sens moderne la formalisation est la présentation des théories scientifiques – et, en premier lieu sinon exclusivement, des mathématiques – dans le cadre d'un système formel, permettant de caractériser sans ambiguïté les expressions du langage et les règles de démonstration recevables....

  • GOODMAN NELSON (1906-1998)

    • Écrit par
    • 857 mots

    Né en 1906 dans le Massachusetts, Nelson Goodman incarne le paradoxe surprenant d'être à la fois un représentant exemplaire du laborieux travail technique qui est celui du philosophe logicien et un explorateur ouvert à la variabilité extrême des mondes symboliques dans lesquels se meut l'humanité....

  • HEURISTIQUE

    • Écrit par
    • 8 426 mots
    • 3 médias
    ...reconstruction logique du processus en question », écrit Karl Popper. La seule rationalité qui puisse être concédée (et c'est ce que fera Popper), c'est celle d'une logique du développement de la connaissance : seule est susceptible d'une reconstruction rationnelle la procédure de mise à l'épreuve, le test auquel...

  • IDENTITÉ

    • Écrit par , , et
    • 13 231 mots
    • 1 média
    On n'entrera pas dans l'étude de la logique de l'identité, si ce n'est d'une certaine façon pour noter que les deux dimensions mentionnées y interviennent encore. C'est en relation avec l'égalité et la substituabilité que l'identité est élucidée – plutôt qu'elle n'est définie, comme l'a observé Frege...

  • IMPLICATION, logique

    • Écrit par
    • 285 mots

    Comme tout concept exact, l'implication prend sens dans une théorie, ici la théorie des fonctions de vérité, et elle est solidaire des autres notions de cette théorie : notions de proposition et de valeur de vérité. L'implication s'exprime par la définition du foncteur conditionnel...

  • IMPLICATION, philosophie

    • Écrit par
    • 559 mots

    Il y a implication, au sens usuel, lorsqu'une chose en contient une autre, de manière non apparente mais réelle, de sorte que la chose contenue, d'abord inaperçue, peut être rendue manifeste.

    En philosophie, la définition est plus stricte : un objet de connaissance en implique un autre...

  • INDUCTION, philosophie

    • Écrit par
    • 4 236 mots

    Le processus de pensée qu'on appelle induction et qui relève de la méthode reconstructive évoque une question obscure qui peut se formuler ainsi : existe-t-il, à côté des inférences nécessaires qui se fondent sur le principe de la déduction, des inférences qui seraient seulement probables...

  • INFÉRENCE

    • Écrit par
    • 195 mots

    Opération de l'esprit qui passe de propositions assertives, comme prémisses, à des propositions assertives, comme conclusions. Au sens strict, on distingue l'inférence du raisonnement en ce qu'elle peut être soit médiate soit immédiate (passer de « Quelque a n'est pas ...

  • INFINI RÉGRESSION À L'

    • Écrit par
    • 840 mots

    Parce qu'expliquer c'est remonter du présent à ce qui l'a précédé, du composé au simple, la régression à l'infini est un procédé logique qui tente de rencontrer une limite ou un terme premier ne dépendant plus d'aucune condition. L'impossibilité d'accomplir ainsi la régression, s'agissant...

  • JUGEMENT

    • Écrit par
    • 6 869 mots
    Ces vues classiques ont une origine aristotélicienne : le savoir se développe entre le concept, qui est son point d'ancrage initial dans les choses et les natures, et la preuve apodictique, qui réalise l'adéquation explicite du savoir à l'être. Le jugement, sous sa forme catégorique, pose l'être du sujet,...

  • LINGUISTIQUE - Théories

    • Écrit par
    • 7 713 mots
    • 1 média
    Les approches formelles de la langue ont conduit à élaborer des composantes sémantiques conçues sur le modèle de la logique. Les sémantiques d'inspiration logique sont nombreuses. Il existe à l'heure actuelle une très grande diversité de formalismes logiques : logiques classiques (des propositions...

  • LOGIQUE INDIENNE

    • Écrit par
    • 6 569 mots

    Les questions de raisonnement logique occupent une place aussi importante dans la philosophie indienne, d'un bout à l'autre de son histoire, que dans la tradition occidentale. Ce n'est que dans les années 1930 que la plupart des Occidentaux ont fini par reconnaître ce fait, dont l'étude reste encore...

  • MÉTALOGIQUE

    • Écrit par
    • 422 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...

  • MÉTHODE

    • Écrit par
    • 9 066 mots
    ...logique de certains types de raisonnement déductif (syllogistique). Lui-même ne l'utilise jamais d'une façon explicite dans ses œuvres scientifiques. La logique vient à bon droit au premier rang des méthodes, puisqu'elle est valable quelle que soit la réalité à décrire ; seulement, comme nous l'apprenons...

  • MODALITÉ, linguistique

    • Écrit par
    • 708 mots

    Terme de logique dont la linguistique fait deux emplois relativement distincts : pour A. Martinet, le mot désigne les déterminants grammaticaux du nom et renvoie à la classe des « actualisateurs » défini, indéfini, singulier, pluriel. Cette acception repose sur la distinction saussurienne...

Abonnez-vous à Universalis pour 1 euro

Rejoignez-nous

Inscrivez-vous à notre newsletter