Logique

Cet article se propose d'esquisser une métapsychologie de la psychose en se focalisant uniquement sur la description des processus psychiques qui sont caractéristiques de chaque pathologie, ce qui permet de dégager leur logique propre, et de montrer à chaque fois la dimension spatiale ou temporelle dont le patient fait abstraction. En effet, les discours et les comportements de la psychose nous apparaissent souvent comme incohérents, et pourtant, ils suivent des processus psychiques qui sont à la fois logiques et spécifiques à chaque pathologie, tel est du moins ce que cet article se propose de montrer en s'appuyant sur des vignettes cliniques. Il s'agira de voir comment l'expérience mal acquise de l'espace et du temps conduit les patients psychotiques à suivre des logiques imaginaires, que les logiciens appellent aussi des logiques formelles, parce qu'elles ont la particularité de faire abstraction d'une dimension spatiale ou temporelle de l'expérience, tandis qu'en pareille situation, les patients névrosés suivent des logiques empiriques. Ainsi, chaque pathologie de la psychose suit une logique imaginaire qui lui est propre : le processus psychique spécifique à l'autisme suit une logique trivalente ou floue, celui de la schizophrénie suit une logique hypothétique ou non-monotone, celui de la paranoïa suit une logique répétitive ou fractale, et celui des troubles bipolaires suit une logique associative, ce que l'on appelle respectivement dans la clinique de la psychose l'indifférenciation, l'hallucination, la systématisation, et le discours logorrhéique du coq à l'âne.

C’est au problème de distribution, de désignation et de discrétisation de la séquence d’inférence abductive ainsi qu’à ses conséquences sur nos systèmes de connaissance que je consacre cet article. Charles S. Peirce a fait de l’abduction la dynamique inférentielle unique de la créativité. Par elle seule advient toute idée nouvelle. Son importance dans l’épistémologie peircienne est donc considérable, mais la compréhension de son fonctionnement réel n’est pas sans poser quelques problèmes à notre entendement, à commencer par le mystère que représente son origine et la difficulté qu’il y a à saisir la portée réelle de son action. Pourtant, l’abduction est au cœur des processus inférentiels qui structurent notre expérience épistémique ordinaire. Contre l’hypothèse intuitionniste, je défends l’argument évolutionniste ; contre une explication logique, je fais valoir la nature sémiosique de l’expérience abductive. Pour étayer ma compréhension du phénomène et des problèmes qui lui sont inhérents, il me faut élargir le spectre de l’analyse à un ensemble plus vaste que l’abduction seule et considérer ce que j’appelle l’instruction. En m’appuyant sur une hypothèse de Mihhail Lotman, j’invite à considérer le caractère « homofinal » de l’instruction : telle que je la définis, elle est à la fois à l’origine et le résultat de l’abduction en tant que telle. Les conclusions fournies ici sont d’abord méthodologiques : à défaut de pouvoir résoudre le mystère de l’abduction, elles en précisent la nature.

Après une rapide présentation du syllogisme, je reviens sur l'utilisation de cette figure de raisonnement en matière juridique et sur les critiques qu'elle suscite. Ces critiques sont l'occasion d'une réflexion épistémologique sur la connaissance en droit et la spécificité du raisonnement juridique.

La présente étude correspond à une tentative de comparaison et d’explicitation de la doctrine augustinienne de l’âme et de la circumincession, avec – et par – le fonctionnement de l’âme tel qu’il est exposé par Kant dans son Essai pour introduire en philosophie le concept de grandeurs négatives (1763). En effet, Kant y introduit un outil d’analyse pour les mouvements de l’âme et les mouvements du monde, qui pourrait offrir une solution viable pour dépasser la fixité apparente des facultés de l’âme dans la circumincession, et introduire en elles activité et dynamisme.
On y emploie donc le concept mathématique (et dynamique ou mécanique) de l’opposition réelle, afin de rendre compte des relations des facultés de l’âme entre elles, auxquelles correspondent parallèlement selon Kant, les relations des corps mobiles entre eux dans le monde, sous le principe commun de la volonté divine.

Ce travail consiste en l’analyse d’un passage du De Trinitate, X, XI , 18 d’Augustin à l’aide de la lecture qu’en fait Boèce dans ses Traités théologiques ; passage dans lequel on pense déceler une solution possible et – il semble – non encore envisagée, à la difficulté de la conciliation entre l’unité et la multiplicité de la trinité de l’âme, à travers la notion d’équivalence. Cette solution offre en effet, d’un point de vue logique, un mode de compréhension viable pour la Trinité divine elle-même (considérée d’un point de vue philosophique et théologique), puisqu’elle permet d’affirmer la possibilité logique d’une âme humaine trine, image de la Trinité de Dieu, à l’aide d’un concept simple et qui semble contenir en lui toutes les formes discursives et logiques possibles préalablement proposées pour l’expression et la compréhension de la Trinité divine (périchorèse ou circumincession, réciprocité relationnelle, communion etc.). La présente analyse se veut donc essentiellement linguistique et logique, et ne prétend aucunement à l’exhaustivité quant aux multiples solutions proposées en théologie.

[Le document correspond à un travail de Master, revu et complété en juin 2016]

Augustin – Boèce – Trinité – unité – multiplicité – âme – logique – équivalence – substance – relation

Malgré les efforts entrepris pour séparer raisonnement scientifique et considérations métaphysiques, malgré la rigueur de construction des mathématiques, celles-ci ne sont pas, dans leurs fondements mêmes, indépendantes des modalités, des lois de représentation du monde.
L'OdC montre que les Faits logiques n'Existent ni plus ni moins que les Faits du monde qui sont des Faits de Connaissance.
L'objectif premier de cet article est d'intégrer aux mathématiques le sujet  comme mode d'émergence du sens puis d'en évaluer les conséquences.

Une introduction logique et philosophique au problème de la définition de la vérité. Le chapitre contient une présentation du travail de Tarski sur la vérité. Une présentation du travail de Kripke. Un aperçu sur quelques théories contemporaines plus récentes. Une présentation des débats philosophiques sur la nature de la vérité ouverts par le travail Tarski.

Le raisonnement psychanalytique est généralement exploré dans ses rapports aux théorisations psychanalytiques et rarement dans ses relations avec une épistémologie explorant de manière critique les développements de la connaissance scientifique. L’auteur de cet article s’intéresse au cas particulier du raisonnement psychanalytique et à la méconnaissance de la logique classique dans le corpus théorique et dans les échanges psychanalytiques. Le constat de base est le suivant : en raison du manque de dialogue entre disciplines, l’on connaît rien, en psychanalyse, du métissage théorique en logique comme l’on connaît rien de la logique psychanalytique en sciences. La thèse défendue est celle d’une nécessaire hybridation des raisonnements qui interroge les rapports entre général et particulier. Le raisonnement clinique et le modèle médical viennent appuyer cette thèse d’une coopération inter-théorique faisant écho à la coadaptation en biologie. Abstract Psychoanalytic reasoning is generally explored in its relation to psychoanalytic theorizations and rarely in its relation to an epistemology critically exploring the scientific nature of knowledge. The author of this article is interested in the particular case of psychoanalytic reasoning and the lack of classical logic in the theoretical corpus and in psychoanalytic exchanges. The basic observation is the following: because of the lack of dialogue between disciplines, we know nothing, in psychoanalysis, of theoretical mixing in logic as we know nothing of psychoanalytic logic in science. The thesis defended is that of a necessary hybridization of reasoning that questions the relationship between the general and the particular. Clinical reasoning and the medical model support this thesis of inter-theoretical cooperation echoing co-adaptation in biology.

Dans des travaux recents, Marion et Ruckert (2016) ont montre que la conception aristotelicienne des quantificateurs, telle que presentee dans les Topiques (Θ, 2, 157a 34-157b2), est fondee sur un cadre dialectique de meme portee methodologique et ideologique que le cadre dialogique moderne. Plus precisement, la signification aristotelicienne du quantificateur universel est fondee sur la regle socratique (Marion / Ruckert, 2015 1). Les auteurs suggerent meme que le cadre de la Theorie Constructive des Types fournit le moyen d'exprimer et de rendre une reconstruction formelle des syllogismes tres proche des expressions syllogistiques d'origine. Le point de notre discussion ici sera de preciser l'idee de la regle socratique comme expression dynamique de l'identite. I-La these de l'origine dialectique de la syllogistique aristotelicienne. Le point de l'article de Marion & Ruckert est de montrer que la semantique fondamentale de la quantification universelle pres...

La marche continue et sans commencement dans laquelle nous sommes pris nous apparait comme le temps, elle est le temps. En nous, elle est complémentée par l'imagination, elle aussi toujours en marche. La direction de cette marche, son but, c'est " rien ", c'est la restauration de " rien ", c'est le néant, c'est l'espace logique idéal. Cette marche continue, qu'elle soit temporelle ou imaginaire, c'est la logique, c'est la logique à l'oeuvre. En l'être, c'est le néant lui-même qui néantit - premier énoncé de la métaphysique phénoménologique. Le moyen utilisé pour néantir, c'est le " toujours déjà " montré, c'est le temps, complémenté en nous par l'imagination, c'est la logique - deuxième énoncé de la métaphysique phénoménologique. Nous - nous tous - sommes le résultat, conquis sur le " nous " initial, de ce néantissement et nous perpétuons, avec notre imagination, le travail logique du temps. Nous avons ce savoir du " nous " initial, indemne de tout travail logique. Mais ce savoir n'est que potentiellement celui de " nous tous ". L'expulsion hors de la marche logique, hors du temps, est l'événement d'une vie, c'est l'événement métaphysique, événement qui survient pour chacun de nous à son heure et peut-être jamais. Avant lui, nous sommes, comme l'univers, dans cette simulation du néant qu'est l'enfance. Le temps du Corps de l'enfance de l'homme, après l'événement, est un autre temps, un temps joué. Avant lui, c'est le temps qui joue le Corps. Avec l'événement, le Corps change de maître. Le nouveau maître, l'être, est étonné de lui-même et du don que lui fait la logique : le monde, le monde maintenant vu et vécu autrement, hors évidence, inouï, " la merveille des merveilles ". L'événement méta-physique ne se transmet pas, il ne peut être reconnu " vrai " par la science, toute parole qui émane de lui est, pour le logos, un non-sens - troisième et dernier énoncé de la métaphysique phénoménologique.

L'ouvrage explore les limites d’un ordre des choses fondé sur une « pensée duelle » (l’un ou l’autre), ontologique et catégorielle. En déport de cette approche qui sépare et réduit, il s’agit de donner à voir une pensée de l’entre-deux qui forme divers types de liens entre les termes des oppositions classiques (l’un et l’autre, ni l’un ni l’autre, de l’un vers l’autre, etc.). Il en émerge une compréhension nouvelle des entrelacs tissés dans l’expérience du monde. De là, le regard peut se porter sur les relations d’intérité qui façonnent le devenir visage de chaque personne. L’être-en-soi s’estompe, laissant place aux potentialités, continuités et métissages, pour un vivre ensemble plus juste et plus serein.

Objectif Les relations entre la pensée et le réel sont étudiées dans bien des domaines de la philosophie et des sciences. Citons l'ontologie et la métaphysique en général, la linguistique, les neurosciences et même les mathématiques. Chacun a ses postulats, son langage, ses méthodes et ses contraintes propres. Il serait néanmoins déraisonnable qu'ils s'ignorent. Dans les pages qui suivent nous tenterons d'identifier des zones de proximité entre les idées émises par les philosophes contemporains du langage et celles émises principalement par l'Ontologie des Connaissances (voir ci-dessous) mais aussi par les mathématiques et les neurosciences. Nous tenterons pour cela de tirer avantage de la clarté et de la parfaite structuration du cours « La philosophie contemporaine du langage » donné par le Pr Denis Vernant (voir ci-dessous). Nous reprendrons ce cours, à la fois pour les idées présentées et comme démarche de référence. L'objectif étant bien entendu de faire émerger, par cette bienveillante confrontation, de nouvelles idées au bénéfice de la connaissance en général. Introduction à la philosophie contemporaine du langage. Le contenu du cours rédigé par le Pr Denis Vernant (Univ. Pierre Mendes-France-Grenoble II) est repris dans le livre en (ref.1). L'objectif est très clairement exposé dans le préambule, aussi contentons-nous ici de le reproduire. « L'objectif de ce cours est d'initier l'étudiant à un aspect fondamental de la pensée contemporaine : la réflexion sur le langage et la signification. La question centrale du sens est successivement étudiée sous ses aspects syntaxiques, sémantiques et pragmatiques en faisant appel à tous les champs contemporains du savoir en la matière : logique, linguistique, sémiologie, philosophie du langage. » Après un bref retour sur les origines grecques de la question, le Pr Vernant nous offre, dans un texte d'une clarté absolue, un panorama complet et structuré des réflexions depuis l'aube du 20 ème siècle.

Avec son traité de la démonstration intitulé Seconds Analytiques, c’est un véritable discours de la méthode qu’Aristote nous livre. L’auteur parvient au sommet de l’art logique dont il est l’inventeur. Pourtant, de l’avis unanime des interprètes anciens
et actuels, nous sommes devant un de ses écrits les plus difficiles à comprendre.
C’est pourquoi Thomas d’Aquin a voulu commenter minutieusement ce texte dont il juge la maîtrise essentielle au travail intellectuel. Tous ses écrits, tant philosophiques que théologiques sont, en effet, construits sur cette trame méthodologique qui leur donne force de science.

C’est aussi grâce à cette discipline d’esprit partagée, qu’il a pu entrer en dialogue fécond avec les penseurs païens, musulmans et juifs qui l’ont précédé dans la voie ouverte par Aristote. Une invitation pour notre époque de conflits culturels et religieux ?

Pour la première fois en langue française, nous en proposons une traduction qui permet à nos contemporains d’accéder à cette école de rigueur pour l’intelligence : la logique.

J’entends par « vérité » la capacité humaine de voir – la vérité est le pouvoir de vue humain. Cette capacité n’est pas seulement quantitative, elle est aussi, et même surtout, qualitative : il existe pour nous différentes manières de voir. L’étude de ces différentes manières que nous avons de voir les choses est ce que j’appelle « la phénoménologie ». « Chose » et « phénomène » sont pour moi deux mots strictement synonymes. Une chose se montre à nous et quoi que ce soit qui se montre à l’un d’entre nous, quelle que soit la manière de cette monstration, est une chose. Une chose se montre à nous si et seulement si elle peut être vue par nous, si au moins l’un d’entre nous la voit. Parmi toutes les manières que nous avons de voir les choses se distinguent particulièrement les deux manières qui se situent aux extrêmes :
- la vue de la chose dans la plus parfaite évidence,
- la vue de la chose dans la surprise la plus totale, dans l’absolue contradiction.
  À une extrémité se situe la manière innée – biologique, animale – que nous avons de voir les choses : c’est la manière « mathématique », celle qui nous fournit « la vérité mathématique », la base de la vérité commune. À l’autre extrémité se situe la manière initiale – celle de l’être originaire, hors du temps – de voir les choses : c’est la manière « métaphysique », celle qui nous fournit la vérité métaphysique, la vérité de l’être, effectivement accédée par certains d’entre nous au cours de leur vie et ceci depuis qu’il y a des hommes.

À l'ordinaire, la logique pense pour nous, nous sommes pensés par elle, à notre insu - " on " nous pense, dit Rimbaud. Cette pensée et son expression constituent le logos, le discours auquel tout le monde sait donner un sens, le discours qui nous rassemble. Le logos est notre seul espace logique jusqu'à l'événement, celui qui marque la fin de l'enfance, celui qui voit apparaître simultanément le " rien " du monde et sa contradiction : être. L'être, c'est-à-dire le " nous " initial, unique, hors du temps, contredit l'idée qui est en lui et c'est fou ! L'idée a priori, en lui, c'est qu'il n'y a rien. Cette folie nous est ordinairement cachée. Ce qui nous la cache, c'est le néantissement opéré par la logique, par le temps d'abord, et, en nous, par l'imagination. La logique atténue la violence d'être. Le thème principal de ce traité, l'ordinaire, correspond au sens extraordinaire du mot " ordinaire ". L'ordinaire est, relativement à chacun de nous, ce temps qui précède l'événement de l'accès à l'extraordinaire. Il faut cet évènement pour que l'ordinaire apparaisse. Ce temps de l'ordinaire, comme Rimbaud et comme Kafka, nommons-le " enfance ". Cet événement, nommons-le " naissance ". Bien entendu, cette enfance et cette naissance ne sont pas l'enfance et la naissance au sens ordinaire des mots. Il faut cet événement, il faut la naissance, pour qu'apparaisse le sens extraordinaire des choses, et donc des mots, pour qu'apparaissent l'ordinaire et l'extraordinaire. Avant cet événement, l'ordinaire est cet espace unique et sans commencement à l'intérieur duquel les choses se montrent à nous depuis toujours. Sans commencement, c'est-à-dire sans naissance. Ordinaire, c'est-à-dire logique, sans surprise - à moins qu'il s'agisse de surprises ordinaires, celles auxquelles, logiquement, on aurait pu s'attendre.

En collaboration avec Roger Mondoué, « De l’idée d’une logique appliquée chez Bebbé-Njoh », in Roger Mondoué (dir.), Logique, Pédagogie et Épistémologie cognitives : Une critique du piagétisme. Mélanges offerts à Étienne Bebbé-Njoh, Volume 1, Préface aux volumes 1 et 2 du Professeur Yves-Abel Feze, Geneva/Yaoundé, PIPD/Presses de l’Institut Panafricain pour le Développement, 2019, ISBN : 978-9956-675-02-9, pp. 20-31.

Les pragmatistes soupçonnent la distinction entre vérité et justification d'être une de ces distinctions qui ne font pas de différence. L'objet de ce texte est d'établir que ce soupçon n'est pas fondé et combien au contraire est nécessaire, en pratique, l'usage du prédicat de vérité - aussi nécessaire que l'activité réflexive elle-même. En adoptant pour notre démonstration une conception logique de la vérité définie comme la notion la plus faible satisfaisant un "principe de décitation", le chemin parcouru est aussi une invitation à ne pas sous-estimer la valeur que les thèses dont s'est réclamé un certain  "déflationnisme" confèrent paradoxalement à la notion de vérité.

____
Cette version en ligne est une version très légèrement corrigée de la version publiée en juin 2019 dans le volume Figures de la vérité dirigé par F. Rivenc.

Les corrections portent sur quelques formulations en particulier p.2 et p.15.

La logique classique présente des limites connues depuis son origine. On range négligemment ces situations, pourtant exprimables en quelques phrases simples, parmi les paradoxes.
La table de vérité de la disjonction, avec celles de la négation, de l’implication et de la conjonction dans le cas de treillis à 4 valeurs de vérité et partiellement ordonnées, représentent un des cas dans le système général qui a été étudié pour la première fois par Alan Rose dans l'article "Systems of logic whose truth-values form lattices", (December 1951).
Cet article propose la construction complète, pas à pas, de la logique tétravalente booléenne avec toutes ses tables de vérité et le calcul propositionnel des propriétés et des syllogismes. Cette nouvelle logique englobe toutes les propriétés de la logique bivalente classique.
Nous avions expliqué son fondement métaphysique dans la première partie de cette étude.

Table des matières:

Préambule 2
Introduction 3
Définitions préalables 4
Les opérations unaires des 4 valeurs de vérité 5
L’opération de négation 6
Négation des opérations unaires 9
Tables de vérité des opérations de conjonction et de disjonction en logique tétravalente 9
La logique tétravalente est une algèbre de Boole 11
Propriétés du treillis logique en logique tétravalente 12
Les opérations NOR et NAND et les relations de De Morgan 18
Les opérations XOR et XNOR 20
Les relations d’inférence 21
Propriétés fondamentales des relations d’inférence 22
L’équivalence logique 28
Propriétés fondamentales de l’équivalence logique 29
Les syllogismes fondamentaux 31
Autres tautologies à considérer 33
Autres lois du syllogisme hypothétique 35
Règles de conversion et raisonnement par l’absurde 36
Expressions de l’inférence en termes d’alternative et de conjonction 39
Tautologies reposant sur les opérations unaires 41
Syllogismes à 4 propositions 44
Premières perspectives 46
Bibliographie de la deuxième partie 48
Annexe 1 50
Sur la complémentation de De Morgan dans le cadre d’une logique tétravalente 50
Annexe 2 53
Sur quelques aspects de la logique trivalente 53
Bibliographie associée 56

1 - Introduction: Définitions - Le Matériel - La programmation.
2 - Comment démontrer un problème simple?
3 - L'ordinateur.
4 - Le langage de description.
5 - Méthodologie d'analyse informatique.
6 - Programmes en lagage de description: Itérations - Les tris - Méthodes de tri - Tri par sélection - Tri à bulle - Tri par insertion.

Cet article montre dans un premier temps pourquoi la classification que Vuillemin donne des systèmes philosophiques est un progrès dans l’histoire de la philosophie de la connaissance, et il répond dans un second temps aux embarras exprimés par Bouveresse et Engel au sujet du pluralisme philosophique qui est une conséquence que Vuillemin tire des principes et définitions de sa classification des systèmes philosophiques. La thèse principale de cet article est une conjecture :
le pluralisme philosophique n’est pas une position que l’on est contraint d’admettre si l’on adopte la classification de Vuillemin. On donne pour conclure les éléments qui devraient permettre la démonstration de cette conjecture.

Une élucidation du Tractatus où se montre que « la philosophie à la Wittgenstein » anticipe l'objectif logique : le monde comme néant.
La philosophie très particulière de Wittgenstein – qui ne dit rien mais seulement élucide les propositions – vient en renfort de la logique en précipitant l’avènement de son objectif : rien, il n’y a rien, tout est limpide, sans problème. Il ne s'agit pas ici seulement de notre logique mais d’une logique plus générale, dont la première manifestation est le temps – notre logique mime la cohérence de ce que le temps nous montre.
La vie ne tient, ne perdure, que par ce qu’il reste de non-sens, que par ce qu’il reste d’irréductible à "rien". C’est ce reste que Wittgenstein – est-ce à son insu ? – tente d’éliminer.
Cet essai a un but pédagogique. Wittgenstein commet deux erreurs fondamentales. D'une part il ne fait pas la différence entre "nous" et "nous tous", d'autre part il ne conçoit pas la logique comme un processus en cours mais comme une forme statique. Montrer cette différence entre le "nous" initial et "nous tous", montrer l'essence de la logique, cela constitue ce que le Tractatus considère comme indicible. Si dire montre, cela ne signifie pas que cette monstration opère sur "nous tous". Elle opère seulement sur ceux qui sont déjà capables, par eux-mêmes, de voir ce qui est ainsi montré.

The problem of game addiction may be critical for health policies, but psychoanalysis is more interested by the video game possibilities to make symptom. For psychoanalyst who defends the right to the symptom, to the game over, it is not an acknowledgment that video games can make symptom. From the analysis of Emma's analytical psychotherapy, one will analyze video gamesthrough the question of the horizon. It will be necessary to explain the concept of machine in psychoanalysis, to make a dent in the psychoanalytic approach of the videoludic based on laconian theory. For Lacan the machine is always a
machine of death necessary for the living to fit into the society of men. This review confront the writings on the « horizon » of the philosopher Martin Heidegger, to the logician Gérard Chazal and to what I call the « games studies à la française » (Serge Tisseron, Michaël Stora, Yann Leroux, Thomas Gaon, etc.).

Toute la connaissance moderne est fondée sur la logique. À quelques rares exceptions près -appareillage technique utilisant la logique floue ou des états de la physique quantique- l’ensemble des sciences naturelles et humaines (y compris la philosophie occidentale depuis au moins Platon) repose sur la logique classique, établissant la véracité ou la fausseté d’une proposition.

La logique classique présente pourtant des limites connues depuis son origine. On range négligemment ces situations, pourtant exprimables en quelques phrases simples, parmi les paradoxes.
Les conséquences du refus de traiter ces situations paradoxales sont des plus critiques, puisque cette lacune nous oblige à plaquer des œillères sur notre compréhension du monde et de soi.
Puisque plus personne ne peut ignorer que le monde moderne traverse une crise ultime, toute contribution visant à élargir le cadre des possibles est la bienvenue, et même pourrions-nous dire, est nécessaire. C’est l’objectif de cet article.

Nous commencerons par un bref historique de la logique, en remontant avant l’apparition de la logique classique, où nous verrons au passage que la logique naît de la métaphysique. Ce qui nous conduira à un dialogue interposé entre Héraclite, Aristote, Granger et Guénon.

« En écrivant son Traité de l’Interprétation, Aristote a trempé sa plume à l’encre de son esprit ! » L’antique remarque de Cassiodore vaut encore aujourd’hui tant la matière étudiée est complexe et le style ramassé. Aristote démonte les mécanismes du langage philosophique, aux confins de la linguistique et de la métaphysique. Il offre à cette occasion des développements fondateurs sur la formulation de la vérité, les règles de mise en contradiction, les propositions universelles, la contingence des jugements sur le futur, ou encore les redoutables énonciations modales.
S’appuyant sur ses prédécesseurs, Thomas d’Aquin en rédige un commentaire hautement structuré, reconnu comme l’un des plus explicites. Demeuré cependant inachevé, il est complété par Thomas de Vio, dit Cajetan, un des premiers grands thomistes et maître logicien. C’est de l’ensemble de ces deux parties de commentaires que nous proposons la traduction ; la seconde pour la première fois en langue française.

Building on the notational principles of C. S. Peirce’s graphical logic, Pietarinen has tried to develop a propositional logic unfolding in the medium of sound. Apart from its intrinsic interest, this project serves as a concrete test of logic’s range. However, I argue that Pietarinen’s inaugural proposal, while promising, has an important shortcoming, since it cannot portray double-negation without thereby portraying a contradiction.

Cette étude porte sur la maîtrise des marqueurs de relation en compréhension et en rédaction des textes argumentatifs. Nous avons comparé les performances de 21 élèves sourds et de 52 élèves entendants des niveaux secondaire IV et collégial 1 et 2. Nous avons mis au point un enseignement modulaire programmé inspiré de la pédagogie de la maîtrise portant sur les principaux marqueurs de négation (non, ne… pas, ni… ni…), d’implication (donc, si… alors, …) et de cause (car, parce que,…).
Nous avons pris des mesures en matière de compréhension de texte (l’épreuve originale Parer), de rédaction (l’épreuve originale Texdar), de niveau piagétien (l’épreuve des Coffrets) et d’autres mesures standard comme la fréquence d’erreur et la maturité syntaxique. Les épreuves originales mentionnées s’avèrent fidèles et valides. L’adaptation graphique du test des Coffrets s’avère très utile.
Nous montrons également que la langue des signes québécoise (LSQ) est
parfaitement capable de rendre diverses formes de la négation et de
l’implication. Notre étude consiste à comparer les deux groupes et à tenter d’améliorer les performances des élèves en matière d’écriture argumentative. L’hypothèse principale stipule que les élèves auraient dû progresser grâce à ce programme, les élèves sourds peut-être un peu plus que les entendants. L’hypothèse principale est réfutée sur ses deux aspects. De telles améliorations sont lentes, car il faut compter sur une amélioration du traitement de décodage encodage et de construction des modèles mentaux appropriés aux fins de représenter et construire la macrostructure des textes.
Nous avons cependant découvert que les élèves sourds se caractérisent par un écart négatif en matière de niveau piagétien (stade opératoire concret supérieur), de lecture et d’écriture. Nous montrons aussi que les entendants ont généralement atteint le stade opératoire formel inférieur et que leurs performances en lecture et en écriture, même si elles sont meilleures que celles des sourds, restent tout de même assez basses.
Nous avons trouvé de nombreuses et significatives corrélations, notamment entre le niveau piagétien et les capacités de lecture et d’écriture argumentative.
Comme l’importance de ces habiletés est très grande dans le succès des études supérieures, nous concluons qu’il faudrait élaborer un programme correctif à l’adresse des personnes sourdes, car leur progrès du secondaire au collégial, en matière de compréhension et de rédaction démontre leur capacité à atteindre le niveau requis sur les principaux indicateurs. Il faut aussi constater que les performances des élèves entendants sont bonnes en matière de réflexion propositionnelle, mais qu’elles laissent à désirer en matière de compréhension et de rédaction des textes argumentatifs.
Nous faisons aussi état de nombreuses études convergentes avec la nôtre sur différents points : entre autres, celles de Deschênes concernant le rapport entre le niveau piagétien et les habiletés en lecture et écriture, celles de Noelting concernant la pensée formelle des élèves et celles de Dubuisson à propos des caractéristiques de la LSQ.
En annexe, nous fournissons les éléments requis afin de comprendre les tests et méthodes d’analyse utilisés. Nous reproduisons le programme d’enseignement des marqueurs de relation et nous reproduisons quelques exemples de textes d’élèves corrigés avec la grille Texdar.

Logique Dynamique de la Fiction is a masterly piece
of work and a substantial contribution to a disciplined
understanding of human thought and discourse about
the unreal. It is, in that very respect, a logic working at
the very heart of les sciences humaines. M. Redmond’s
command of the literature – actually of the several
literatures associated with each of the constituent parts of
his synthesis – is not only substantial and comprehensive;
it is also rather breath-taking. Equally impressive is the
technical assurance displayed by the formal development
of the constituent logics, and the virtuosity with which
they are adapted to the purposes of his project. […] On
the other hand, I fi nd myself rather captivated by the
insight that the practices of fi ction – its writing and its
reading – possess an inherently dialogical structure, and
with it, the idea that to get the semantics of fi ction right
it will be necessary to dynamize the underlying logic.
[John Woods]

Bien que les concepts d'Interdépendance (selon l'Ontologie des Connaissances (OdC)) et de fondation soient différents à bien des égards et sans doute peu compatibles, des similitudes de vocabulaire pourraient induire des confusions entre les notions que l'une et l'autre des théories manipulent. Au bout du compte, ces confusions nuiraient à la compréhension de l'OdC.
Le but de l'article est de dissiper ces possibles confusions, au bénéfice d'une meilleure compréhension de l'OdC et, autant que possible, sans jugement de valeur.
Cet article, pourrait aussi apporter des éléments de réponses à certains sujets encore débattus par les théoriciens de la fondation .
La version 2021 complète la définition selon OdC de la non-fondation

Resumen: En la bibliografía reciente sobre lógica dialógica se estudia el caso de tonk y el concepto antirrealista de armonía. Ahora bien, desde la publicación de esos textos la teoría dialógica ha sido vinculada con la Teoría Constructiva de Tipos (CTT) la cual posee sus propios medios para responder a tonk. El objetivo principal del presente artículo es mostrar que, desde la perspectiva dialógica, la armonía de las reglas de la CTT es consecuencia de un nivel más fundamental de significado en el que las reglas se formulan independientemente del jugador que las aplica.

La philosophie cartésienne dépasse largement les limites de la philosophie européenne. En tenant compte de la scène scientifique brésilienne, l’objectif de ce colloque est de stimuler le débat sur les interprétations philosophiques du cartésianisme dont l’influence dans la démarche philosophique est aujourd’hui indéniable, y compris au Brésil. Une attention toute particulière sera portée aux notions de méthode, de métaphysique et de principes cartésiens. Ces notions fondamentales et leurs interprétations influencent profondément la pensée philosophique occidentale. Il convient ainsi de savoir dans quelle mesure cette influence est présente dans le développement philosophique au Brésil afin de comprendre quels sont les « usages » brésiliens de Descartes. Quels sont donc les croisements, parallèles, points d’accord et de désaccord? La démarche du colloque se propose dès lors d’interroger et de questionner les éléments cartésiens qui donnent ou qui ne donnent pas lieu à une (ré) approp...

Résumé
Cet article indique la direction de nos recherches sur la particule gotique ga-. Par-delà le statut de mot autonome (FOURQUET, 1938 : 245, 267) qui peut être détaché du verbe par un enclitique (par exemple la particule interrogative -u : ga-u-laubjats ? « croyez-vous ? ») ou même par plusieurs éléments (Marc 8,23 : (frah ina) ga-u-◊a-se◊i « (lui demanda) s’il pouvait voir quelque chose ») et qui appartient à une syntaxe très archaïque (ROUSSEAU 1983 : 76), nous lui reconnaissons un statut de particule de phrase.
Ga- serait l’héritier gotique d’une lointaine particule pronominale de l’indo-européen et serait étymologiquement et fonctionnellement lié au thème *ke/o (BADER 1973 : 25-75 et CAMPANILE 1997 : 306-307). Ayant cette lointaine origine pronominale, il garderait le caractère anaphorique et déictique propre à celle-ci. Nous fondons ce que nous appelons la « fonction conjonctionnelle » de ga- sur ces données préliminaires, la logique articulatoire de ga- s’appuyant dès lors sur les fonctions d’anaphore et de cataphore propres aux déictiques. C’est ainsi que nous ne réduisons pas l’incidence de ga- au seul verbe qui la porte, ni non plus sa fonction au seul marquage de l’aspect « perfectif » du verbe. Ces recherches sont fondées sur une analyse de la traduction de la Bible par Wulfila (311-383).