bipolarité

Dans son essai "De organo sive arte magna cogitandi", Leibniz, qui cherche à définir un ensemble fini de pensées dont la combinatoire pourrait conduire à des tonalités de concepts "pensables", - comme c'est le cas pour les nombres - individue cette matrice combinatoire essentielle dans l'opposition entre Dieu et le néant, la présence et l'absence. Il y a là une étonnante similitude entre cette dialectique élémentaire et le calcul binaire

Auteur: Eco Umberto

Info: Semiotique et philosophie du langage, p. 30

[ dualité ] [ logique formelle ] [ langage ]

précision terminologique

Le métalangage naturel s'articule sur deux bases lexicales fondamentales dont les unités types respectives sont le mot codé (toute partie du discours, dont la terminologie linguistique) et le nom autonyme*, hors code, de n'importe quelle séquence langagière, qui est l'icone de son signifié, et n'a ni synonyme ni traduction. C'est cette seconde base qui caractérise d'abord le métalangage, car toute langue peut rapporter des paroles, même sans employer de terminologie linguistique, mais non l'inverse.

Auteur: Rey-Debove Josette

Info: Les Logiciens et le métalangage naturel, Histoire Épistémologique du Langage, t. 1 fasc. 1 1979, p. 17. *Qui se désigne lui-même comme signe dans le discours. Dans "être est un verbe", "être" est autonyme

[ logique formelle ] [ définition ] [ sémantique ]

révolution épistémique

Aussi éloigné de la spéculation a priori que de la simple description, Galilée s'efforce [...] d'élaborer un système conceptuel où la nécessité rationnelle remplace délibérément la causalité physique. [...] Si aucun problème, après Galilée, n'est plus ce qu'il était avant lui, la raison, pour une large part, s'en trouve dans une redéfinition de l'intelligibilité scientifique ainsi que des moyens propres à en assurer la réalisation [...]. A travers l'oeuvre galiléenne, c'est bien la conception que l'on avait depuis vingt siècles de la rationalité scientifique qui change brusquement de visage.

Auteur: Clavelin Maurice

Info: La philosophie naturelle de Galilée

[ historique ] [ science ] [ logique formelle ]

sincérité

- D'où tu parles ?
Carl Gustav Jung réalisa un jour que quoi qu'il fasse il s'exprimait depuis sa culture protestante judéo chrétienne. Tout comme Wikipédia parle depuis l'occident rationaliste dominant.
Avec Les Fils de la Pensée (FLP) nous aimerions desserrer un peu ce carcan. Tenter de faire en sorte que chacun ne s'occupe plus que "du sens", tout comme une maman est une maman, ou la mort une disparition.
Un langage franc de mammifère, fils des végétaux, et qui ne se camoufle pas derrières ces derniers afin de surprendre ses proies.

Auteur: Mg

Info: 5 octobre 2018

[ logique formelle ] [ citation s'appliquant à ce logiciel ]

proposition

Un postulat est une hypothèse initiale en termes généraux. On peut le formuler arbitrairement (les définitions étant acceptées) à condition qu'il ne soit pas en contradiction avec un quelconque concept de réalité ou avec un postulat déjà adopté. Par l'idée concept de réalité, j'entends, par exemple, qu'il ne serait pas admissible de postuler qu'il n'y a aucune relation entre deux points, ou proposer que rien ne soit vrai sans aucune exception. Car si ce que cette affirmation suppose n'implique aucune contradiction, elle est en contradiction avec le fait qu'elle soit elle-même affirmée.

Auteur: Peirce Charles Sanders

Info: New Elements (Kaina stoiceia) | EP 2:302., 1904

[ logique formelle ] [ définie ]

langages

Divers faits alimentent le mirage de l'autonomie syntaxique. On peut en quelque mesure, comme dans certains ouvrages littéraires (par exemple le Finnegans Wake de J. Joyce, 1939), désarticuler le lexique, dynamiter les mots, cultiver l'incohérence apparente (mais sans cesser, par là même, de transmettre un sens). On ne peut en revanche violer à volonté les règles syntaxiques, malgré les latitudes de distorsion. Certains types de langues interdisent toute transgression de l'accord entre sujet et prédicat, ou entre prédicat et compléments, d'autres exigent que l'on respecte l'ordre des mots, surtout lorsque c'est lui qui commande le sens.

Auteur: Hagège Claude

Info: L'homme de paroles. Contribution linguistique aux sciences humaines

[ logique formelle ] [ spécificités ] [ idiomes ]

postérité

La chose la plus étonnante dans les mathématiques est peut-être qu'elles soient si surprenantes. Les règles que nous établissons au départ semblent ordinaires et inévitables, mais il est impossible de prévoir leurs conséquences. Celles-ci n'ont été découvertes qu'au terme d'une longue étude qui s'est étalée sur un grand nombre de siècles. Une grande partie de nos connaissances est due à un nombre relativement restreint de grands mathématiciens tels que Newton, Euler, Gauss ou Riemann ; peu de carrières ont été plus satisfaisantes que la leur. Ils ont apporté à la pensée humaine une contribution encore plus durable que la grande littérature, puisqu'elle est indépendante de la langue. 

Auteur: Titchmarsh Edward Charles

Info: In  The Pentagon : A Mathematics Magazine for Students (automne 1951), 11, n° 1, 12.

[ durabilité ] [ savoir collectif ] [ logique formelle ] [ dualité ]

travail intellectuel

Une spécificité du savoir mathématique est que les mathématiciens sont les seuls scientifiques à avoir une notion bien définie de "vrai". Pour un mathématicien, un énoncé qui est vrai est un énoncé qui est démontré. Malheureusement, cela dit aussi que le savoir mathématique, à supposer que cela ait un sens, est un savoir conditionnel, c'est-à-dire conditionné à des hypothèses. Un mathématicien ne dit pas "je sais", mais "je sais que telle hypothèse entraîne telle conclusion". Il ne se contente pas de dire "je sais", il le démontre. Ainsi, l'un des maîtres mots en mathématiques est "démonstration". On n'est donc plus seulement dans le registre du savoir, au sens d'encyclopédie, de liste officielle des choses que l'on sait, mais aussi dans le registre du faire. On dit, : "faire une démonstration".

Auteur: Voisin Claire

Info: in "Faire des mathématiques", éd. cnrs, p. 7

[ certitude ] [ preuve ] [ praxis ] [ logique formelle ] [ raisonnement ]

exactitude

En examinant les raisonnements des physiciens qui ont aidé à l'envol initial d'une science moderne qui perdure sainement depuis lors, nous sommes frappés par la grande importance, même si pas décisive, qu'ils laissèrent aux jugements instinctifs. Galilée fait appel à "il lume naturale" aux étapes les plus critiques de son raisonnement. Kepler, Gilbert et Harvey - sans parler de Copernic - s'appuient substantiellement sur une sorte de puissance intérieure, non suffisante pour atteindre la vérité par elle-même, mais constituant néanmoins un facteur essentiel quant aux influences qui menèrent leur esprit à la vérité. Il est évident que le seul espoir de raisonnement rétroductif* qui puisse jamais approcher la vérité est qu'il puisse y avoir une tendance naturelle vers un concordance entre les idées qui se proposent au mental humain et celles qui ont un lien avec les lois de la nature.

Auteur: Peirce Charles Sanders

Info: Lessons of the History of Science. MS [R] 1288. (1896) *qui prend en compte tous les éléments, à l'image d'une enquête de police

[ unicité ] [ logique formelle ] [ sciences ] [ quête ] [ aléthique ]

linguistique

CS Peirce trouve même un moyen d’intégrer la quantification à son système. Il définit tout, quelque et quelques comme des cas particuliers d’indices. Il ne s’agit pas d’"indices directs", et cependant ils "orientent l’auditeur quant à la façon de trouver la chose dont on parle" (MS 409 : 14-15). Pour évaluer la phrase Tout homme aime le rouge à lèvres, l’interprète peut prendre n’importe quel homme de son choix ; pour évaluer la phrase Chaque homme aime le rouge à lèvres, elle doit trouver un seul homme qui aime le rouge à lèvres. Pour évaluer la phrase Certains hommes aiment le rouge à lèvres, elle doit en trouver plus d’un. Pourtant, la fonction de ces indices est structurellement identique à celle des autres indices linguistiques : ils aident l’interprète d’une phrase à relier cette phrase à l’objet ou aux objets que vise le locuteur, faisant ainsi du locuteur celui sur qui l’on s’appuie quant à la vérité de la phrase prononcée.

Auteur: Rellstab Daniel H.

Info: "Cela ne peut qu’être indiqué" : centralité de l’indexicalité dans la conception peircéenne du langage naturel et de la logique. Traduction de Sabine Plaud

[ déictique ] [ indexicale ] [ logique formelle ] [ contextualisation ] [ adjectifs indéfinis ]