variables conjuguées

Lors d’un cours de physique, une équation m’avait particulièrement frappé parce qu’on la retrouve dans des domaines très divers. Elle décrit en effet aussi bien les variations de température que la distance parcourue par une voiture, la diminution de la longueur d’une bougie allumée et beaucoup d’autres choses encore. J’avais cherché à comprendre comment la même formule pouvait s’appliquer à tous ces phénomènes. L’explication tient en ces quelques mots : les mathématiques permettent d’extraire la structure logique commune à de nombreux faits différents. Je retrouvais effectivement ce que Galilée avait découvert quatre siècles auparavant et qui lui faisait dire que les mathématiques sont le langage de l’Univers.

Auteur: Reeves Hubert

Info: Je n'aurai pas le temps : Mémoires

[ calcul des prédicats ] [ logique du premier ordre ] [ classes naturelles ] [ méta-moteurs ]

théâtre

De l’union miraculeuse de ces deux principes – Apollon disciplinant formellement l’instinct de Dionysos, lequel garde le premier d’un ordre stérile – surgit la tragédie attique, "dernière grande parole grecque sur le divin" (Walter Friedrich Otto) ; Euripide et Socrate portent la responsabilité de leur divorce : le premier, "nature absolument antimusicale" (OT* 158), se vautra dans la psychologie, rejeta la polarité dionysiaque de la tragédie et délaissa héros, mythes et dieux au profit d’un très artificiel et bourgeois deus ex machina ; le second, l’ " homme théorique ", entreprit l’arasement du réel – de la vie – dans la logique en posant l’équation "raison = vertu = bonheur" (Cid 199) ; il ouvrit ainsi la voie aux diverses déclinaisons des dualités – bien/mal, esprit/corps, être/devoir-être, temps/éternité, ciel/terre, apparence/essence, noumène/phénomène, etc. – qui mèneront l’Occident sur la voie du nihilisme, récusation et dénigrement de la vie conçue comme unité ou harmonie tragique des contraires.

Auteur: Soulié Rémi

Info: Dans "Nietzsche ou la sagesse dionysiaque", éditions Point, 2014, pages 48-49 *Les Origines de la Tragédie

[ historique ] [ décadence ] [ mythos-logos ]

théorie-pratique

Nous avons parlé ici de la prédiction de faits de même nature que ceux à partir desquels notre règle a été recueillie. Mais la preuve en faveur de notre induction est d'un caractère beaucoup plus élevé et plus fort lorsqu'elle nous permet d'expliquer et de déterminer des cas d'un genre différent de ceux qui ont été envisagés lors de la formation de notre hypothèse. Les cas où cela s'est produit, en effet, nous impressionnent avec la conviction que la vérité de notre hypothèse est certaine. Aucun accident ne pourrait donner lieu à une coïncidence aussi extraordinaire. Aucune supposition fausse ne pourrait, après avoir été ajustée à une classe de phénomènes, représenter si exactement une classe différente, alors que l'accord était imprévu et non envisagé. Le fait que des règles émanant d'endroits éloignés et sans lien entre eux se rejoignent ainsi ne peut provenir que du fait que c'est là que réside la vérité.

Auteur: Whewell William

Info: The Philosophy of the Inductive Sciences (1840), Vol. 2, 230.

[ logique du premier ordre ] [ équations universelles ] [ méta-moteur ] [ analogies ] [ correspondances ]

écrivain

Si mes écritures ne me paraissent pas de nouveau trop insuffisantes, je sais que je les publierai un jour. Mais cela aussi, cela surtout, je le voudrais oublier. Songer au lecteur entraîne à trop de ruses inconscientes, et à des timidités qui affaiblissent, et à des hardiesses qui dévoient. Cela incite à telles séductions persuasives qui ne vont pas, peut-être, sans dangereuses concessions. Cela soulève d’autoritaires démonstrations qui vous troublent vous-même et vous en imposent. Il y a des vérités que je connais par intuition. Je n’ai aucun moyen de conduire un autre homme au lieu d’où se voit leur resplendissement. Si je songe à cet autre, je cacherai, lâche, le trésor dont l’étranger ne pourra soupçonner le prix. Ou bien, pour empêcher qu’on rie de mes richesses, pour les rendre remarquables et acceptables, je les disposerai dans le mensonge d’un ordre logique et superficiel ; je les inonderai de fausses lueurs qui éteindront les véritables lumières. Le lecteur est trop exigeant. Il y a des choses que j’ignore ou qui ne m’intéressent point ; mais lui entend que je les connaisse et que je les dise. Ses réclamations créent en moi un intérêt artificiel ou une fausse science.

Auteur: Ryner Han

Info: La Sagesse qui rit . Paris, Éd. du monde moderne, 1928 . Chapitre premier : "L’Art de Vivre et la Science de la Vie."

[ contrainte aliénante ] [ liberté ] [ sans interlocuteur ]

syntaxe

Ce qui distingue notre langue des langues anciennes et modernes, c'est l'ordre et la construction de la phrase. Cet ordre doit toujours être direct et nécessairement clair. Le français nomme d'abord le sujet du discours, ensuite le verbe qui est l'action, et enfin l'objet de cette action : voilà la logique naturelle à tous les hommes ; voilà ce qui constitue le sens commun. Or cet ordre, si favorable, si nécessaire au raisonnement, est presque toujours contraire aux sensations, qui nomment le premier l'objet qui frappe le premier. C'est pourquoi tous les peuples, abandonnant l'ordre direct, ont eu recours aux tournures plus ou moins hardies, selon que leurs sensations ou l'harmonie des mots l'exigeaient ; et l'inversion a prévalu sur la terre, parce que l'homme est plus impérieusement gouverné par les passions que par la raison. Le français, par un privilège unique, est seul resté fidèle à l'ordre direct, comme s'il était tout raison, et on a beau par les mouvements les plus variés et toutes les ressources du style, déguiser cet ordre, il faut toujours qu'il existe ; et c'est en vain que les passions nous bouleversent et nous sollicitent de suivre l'ordre des sensations : la syntaxe française est incorruptible. C'est de là que résulte cette admirable clarté, base éternelle de notre langue. Ce qui n'est pas clair n'est pas français ; ce qui n'est pas clair est encore anglais, italien, grec ou latin.

Auteur: Rivarol Antoine de

Info: Pensées, répliques et portraits

[ langage ] [ Gaule ]

langue française

Ce qui distingue notre langue des langues anciennes et modernes, c'est l'ordre et la construction de la phrase. Cet ordre doit toujours être direct et nécessairement clair. Le français nomme d'abord le sujet du discours, ensuite le verbe qui est l'action, et enfin l'objet de cette action : voilà la logique naturelle à tous les hommes ; voilà ce qui constitue le sens commun. Or cet ordre, si favorable, si nécessaire au raisonnement, est presque toujours contraire aux sensations, qui nomment le premier l'objet qui frappe le premier. C'est pourquoi tous les peuples, abandonnant l'ordre direct, ont eu recours aux tournures plus ou moins hardies, selon que leurs sensations ou l'harmonie des mots l'exigeaient ; et l'inversion a prévalu sur la terre, parce que l'homme est plus impérieusement gouverné par les passions que par la raison. Le français, par un privilège unique, est seul resté fidèle à l'ordre direct, comme s'il était tout raison, et on a beau par les mouvements les plus variés et toutes les ressources du style, déguiser cet ordre, il faut toujours qu'il existe ; et c'est en vain que les passions nous bouleversent et nous sollicitent de suivre l'ordre des sensations : la syntaxe française est incorruptible. C'est de là que résulte cette admirable clarté, base éternelle de notre langue. Ce qui n'est pas clair n'est pas français ; ce qui n'est pas clair est encore anglais, italien, grec ou latin.

Auteur: Rivarol Antoine de

Info: L'Universalité du langage français, 1783, arléa 1998 <p.72>

conditionnalité sémantique

... dans les langues IF de premier ordre, la loi du tiers exclu échoue inévitablement. *

(...)

Le type d'échec du principe du tiers exclu (dans la logique SI) est une conséquence combinatoire inévitable de la manière dont les quantificateurs et autres concepts interagissent les uns avec les autres. Cela n'a rien à voir avec les limites de la connaissance humaine. **

(...)

... le paradoxe du menteur a plus à voir avec notre concept de négation qu'avec notre concept de vérité." ***



(La "logique IF" et la "logique SI" sont deux approches différentes pour formaliser la sémantique des phrases conditionnelles.

La "logique IF" est une approche logique, qui se concentre sur la structure syntaxique des phrases conditionnelles. Elle utilise le connecteur logique "si ... alors ..." pour représenter la relation entre la condition et la conséquence.

La "logique SI" est une approche sémantique, qui se concentre sur la signification des phrases conditionnelles. Elle s'intéresse à la relation entre la condition et la conséquence dans le monde réel.

De manière simple, on peut dire que la "logique IF" est une approche "formelle" de la conditionnalité, tandis que la "logique SI" est une approche "réelle" de la conditionnalité.

En pratique, les deux approches sont souvent utilisées conjointement. La "logique IF" est utilisée pour formaliser la structure syntaxique des phrases conditionnelles, tandis que la "logique SI" est utilisée pour formaliser leur signification.)

Auteur: Hintikka Jaakko

Info: Le menteur démenti : la négation dans la logique IF. *p. 133, **p.134, ***p.135

[ onomasiologique ] [ homme-machine ] [ dualité impasse ] [ hypothèses ]

troubles psychologiques

Nous avons vu que dans le cas de l’autisme l’invasion par le champ maternel se fait par défaut de consistance du champ paternel, mécaniquement en quelque sorte. Le garçon se noie dans cette emprise fusionnelle. Dans le cas de l’anorexie, l’emprise maternelle est sous le mode actif de l’abus, par confiscation symbolique phallique. L’envahissement maternel dans les deux ordres respectivement féminin et masculin de l’inscription corporelle et de l’institution symbolique occulte le vis-à-vis paternel qui seul permet, par le modèle référentiel de possibilité de placement relationnel correct qu’il représente, l’indispensable et vital établissement de la jeune fille dans sa féminité. N’ayant à proprement parler plus de "place", elle s’efface dans l’ordre spécifique – constituant - de sa présence au monde : l’ordre corporel, non sans avoir préalablement tenté de lutter sur le terrain symbolique du père usurpé par la mère, terrain dont le lieu spécifique structurel est le langage et l’intellection (i.e. l’ordre re-présentatif) : la quasi-totalité des jeunes filles concernées par l’anorexie présentent un profil intellectuel brillant. Cette contre-rotation effectuée dans un premier temps précédent les troubles alimentaires est extrêmement destructive et conduit de fait la jeune fille à s’établir dans une schize intime qui vient disjoindre son unité corps-esprit. C’est dans ce sens qu'on pourrait éventuellement ranger l'anorexie mentale du côté des psychoses, à ceci près qu'il ne s'agit pas d'une disjonction psychique mais que le point de fracturation du sujet s'établit à la jonction corps-esprit. L’anorexie serait donc un trouble réactionnel de l'identification face à une mère abusive, où là encore l'évanescence du père serait en cause. Ce qui en ferait ainsi le pendant structurel féminin de l'autisme. Alors que l’autisme est un trouble de l’établissement de l’être au monde spécifiquement masculin - sa destructivité s’exprime au niveau de l’institution du sujet masculin tout juste avant la cristallisation subjectale, donc typiquement au moment de l’apprentissage du langage, vers deux ans, par un défaut d’émergence, ou au pire une régression -, l’anorexie est un trouble de l’établissement de l’être au monde spécifiquement féminin : sa destructivité s’exprime au niveau de la constitution du sujet féminin dans sa complétude corporelle – il est donc logique que ce trouble trouve une expression post pubertaire. En résumant, l’autisme s’attaque à l’ordre de l’institution (du sujet), l’anorexie s’attaque à l’ordre de la constitution (corporelle).

Auteur: Farago Pierre

Info: Une proposition pour l'autisme, page 50

[ sexuation ] [ parallélisme ] [ origines ]

philosophie

Les trois principes de la logique aristotélicienne, qui fondent l'édifice de la raison, sont l'expression formalisée de cette récusation de toute confusion incestuelle qui a formé une part fondamentale du propos central de la civilisation hellénistique: le premier d'entre eux, le principe d'identité, vise à établir ce que j'appelle le "corsetage distinctif des étants", à partir de ce saut majeur vers l'humanisation que constitue le stade du sein, cette véritable dé-fusion qui cristallise la naissance d'un sujet distinctif ne se confondant désormais plus avec les bras qui le portent ou le sein qui le nourrit, reconnus comme attestation d'une altérité dorénavant irréductible. De proche en proche, par le jeu des inférences et des extrapolations, cette faculté acquise d'appréhension distinctive du monde s'étendra à tous les étants qui le peuplent. Le principe de non-contradiction, qui forme le deuxième des trois grands principes de la logique aristotélicienne, a pour objet de garantir la cohérence des propriétés intrinsèques et relationnelles propres d'un objet quel qu'il soit. Sa matrice initiale en est également la récusation de la confusion incestuelle: les conflits logiques inter et intra générationnels qui résulteraient du franchissement d'un tel interdit sont insolubles pour la raison et ouvrent une béance vers les gouffres de la psychose. Le mythe d'Œdipe notamment l'atteste de manière indubitable: sous peine d'être aveuglé, supplice qu'Œdipe s'inflige au terme de ses transgressions, c'est-à-dire d'être privé de lumière au sens littéral autant que métaphorique dans l'ordre de la raison, un fils ne peut épouser sa mère, qui sinon deviendrait à la fois la mère de ses enfants, mais en serait également la grand-mère, lui-même devenant leur père mais également leur frère et leur grand-père, en sa qualité de conjoint de celle qui, sous un certain angle, est leur grand-mère. On le voit, la folie n'est pas loin, sœur d'une telle confusion. Le troisième pilier de la logique classique, le principe du tiers exclu, forme le gardien de cette porte ouvrant sur la folie, interdisant la tentation de l'édification d'univers alternatifs où, entre l'existence et l'inexistence d'un étant, pourrait se trouver un état intermédiaire permettant illusoirement de laisser une place à l'impensable - il convient cela dit de préciser incidemment que l'application au domaine de l'être de ce principe du tiers exclu, selon laquelle il n'y aurait pas de gradations dans l'être semble n'être pas soutenable dès lors qu'elle est appliquée au domaine du vivant, tant il y a bien dans l'ordre de l'inscription des êtres vivants au sein du monde différentes gradations d'être, depuis l'organisme mono cellulaire jusqu'à l'être humain en passant par les multiples modalités plus ou moins évoluées de présence au monde que l'on trouve dans le règne animal.

Auteur: Farago Pierre

Info: Au sujet du diable

[ inceste ] [ traduction psychanalytique ] [ castration ]

métalinguistique

Parlant de "l'erreur de Frege" Hintikka explique : La véritable source du pouvoir expressif de la logique du premier ordre ne réside pas dans la notion de quantificateur en soi, mais dans l'idée de quantificateur dépendant.

Car la logique du premier ordre n'a que deux quantificateurs :

-  universel, qui signifie "tous" ou "pour tout".

-  existentiel, qui signifie "il existe" ou "il existe au moins un".

Un quantificateur dépendant est lui lié à une autre variable. Par exemple, la proposition "Pour tout nombre x, il existe un nombre y tel que x < y" utilise un quantificateur dépendant. La variable x est liée à la variable y par la relation "x < y".

Ce quantificateur dépendant permet donc d'exprimer des propositions plus complexes que celles qui peuvent être exprimées avec les 2 quantificateurs du 1er ordre.

Par exemple, la proposition "Pour tout nombre x, il existe un nombre y tel que x < y"  (Pour tout nombre, il existe un autre nombre qui est plus grand que lui) poura être utilisée pour exprimer le concept de suite ordonnée.

Les quantificateurs dépendants sont donc essentiels à la puissance expressive d'une logique du premier ordre, beaucoup plus limitée dans ses capacités.

- Autre exemple : "Pour toute fonction f, il existe une constante c telle que f(c) = 0".

Qui veut dire que le 0 symbolise une "variable à possibilité infinie" qui offre un point d'entrée sur réel (la dimension de départ). Donc la quantification de ce 0 permettra de calculer une dimension. En physique pour calculer la longueur d'onde d'une onde électromagnétique. En chimie pour calculer la distance entre deux atomes. En biologie pour calculer la taille d'une cellule. Etc. 

Ainsi, en linguistique, ce 0, "variable à possibilité infinie" ou " symbole universel" peut être remplacé par un simple mot (pensons ici à un terme-univers à la Borges en littérature)...   Mot qui de fait, et grâce à l'imaginaire humain, pourra ouvrir beaucoup plus loin.

Pour qui voudra s'amuser avec ceci sur FLP pourra s'y essayer avec des termes comme "amour", ou "mort"...  ça marche avec à peu près tous les termes.

Autre exemple : La formule "Pour tout ensemble A, il existe un ensemble B tel que A ⊆ B".  Peut être vue comme un outil de contextualisation, voire de méta-contextualisation. Par exemple : un mot à besoin d'un texte pour prendre son sens. Ou, plus globalement :  l'ensemble A, le langage, a besoin d'un ensemble plus B grand : la réalité.

Il est possible que FLP, en tentant de briser la séquencialité (linéarité) du langage, et en proposant l'adoption d'une logique tétravalente, permette d'ouvrir de nouvelles pistes,  susceptibles de briser quelques barrières, de dépasser certaines limitations... et d'aller vers une intrication peut-être nécessaire pour celà. 

Auteur: Mg

Info: Avec l'aide de certains textes et de Bard

[ poésie ] [ philosophie ] [ prospective ] [ métalangage ] [ règle de trois ] [ proportionnalité ]