La Logique ou L'Art de Penser (LAP), also known as the Port-Royal Logic, is generally presented as a "logic of ideas" in which the idea, the central epistemological entity, is the starting point of this logic based on Cartesian ontology. Structured around the four main operations of the mind - conceiving, judging, reasoning and ordering - the first part of the LAP contains "reflections on ideas". The idea, "the form by which we represent things [objects]", thus takes the place (...) of the concept in Aristotelian-inspired logic. Some of the chapters in this first part deal with the problems raised in scholasticism by the theory of _proprietates terminorum_, which means that it is also a semantics of terms. The word 'term' itself must be understood in its logical and grammatical dimensions. The analyses of the 'Messieurs' of Port-Royal often have a logico-grammatical character, because, according to the anthropology of the authors, men need to make their thoughts heard by one another through language (institutional signs) and, therefore, "it is necessary in logic to consider ideas joined to words, and words joined to ideas". In this text, we shall endeavour to show the importance and innovative character of the semantics of terms in this logic of ideas which makes LAP a pivotal moment in the evolution of the language sciences, reviving the tradition and allowing dialogue with future developments (extension vs. comprehension, explanation, determination of terms, etc.). We will pay particular attention to the chapters on definition, "a remedy for the confusion that arises in our thoughts and speech from the confusion of words". (shrink)

Cet article montre comment la logique algorithmique d’un agent conversationnel peut aider l’organisation des connaissances au sein d’une organisation de l’administration publique française, notamment une collectivité territoriale. Par le bias d’une recherche sur le terrain, je cherche à montrer comment il existe deux différentes adoptions de la technologie de la part de l’administration publique : une complexifiante et une simplifiante.

L'article s'intéresse aux obstacles épistémologiques qui empêchèrent Wittgenstein d'admettre l'idée moderne de logique modale et, en particulier, les logiques d'attitudes propositionnelles. Tout en proposant un aperçu rétrospectif de la logique des modalités épistémiques, nous verrons que ces obstacles reposent avant tout sur la nature de l'espace logique présenté dans le Tractatus Logico-Philosophicus et le statut métaphysique du sujet. Des passages éclairants seront rappelés pour justi.

Je soutiens que la prise en compte de Lotze dans la genèse de la phénoménologie du jeune Husserl fournit de nouveaux éléments qui supportent la lecture frégéenne de la phénoménologie. Pour ce faire, je vais d’abord retracer l’origine lozéenne des questions épistémologiques issues du développement de la nouvelle psychologie et de la logique au milieu du XIXe siècle en Allemagne et j’insisterai sur l’apport de trois de ses étudiants prestigieux; je montrerai ensuite que Husserl a acquis sa connaissance de (...) cette problématique via sa fréquentation de Brentano et de Stumpf; je me pencherai ensuite sur la tournant antipsychologiste de Husserl au milieu des années 1890 et examinerai brièvement un manuscrit de Husserl intitulé « Microcosmos » qui date de cette même période et qui montre clairement l’apport de la logique de Lotze dans ce tournant antipsychologiste; j’examinerai enfin brièvement l’apport de Lotze dans la critique que Husserl adresse au psychologisme logique dans ses Prolégomènes. Je conclurai avec quelques remarques sur l’importance de Lotze dans la phénoménologie de Husserl après la publication des Recherches logiques. (shrink)

L’article qui suit a pour but de présenter un des aspects centraux de la contribution philosophique de Jaakko Hintikka : l’épistémologie formelle. Le thème choisi, le Paradoxe de Moore, permettra d’illustrer le mot d’ordre de la philosophie formelle, celui d’utiliser des outils logiques en vue de la clarification de problèmes philosophiques. Il s’agit également de mettre en évidence la nature pragmatique du discours épistémique, qui transparaît dans les résultats sémantiques de Hintikka et parle en faveur de la logique illocutoire.

The development of symbolic logic is often presented in terms of a cumulative story of consecutive innovations that led to what is known as modern logic. This narrative hides the difficulties that this new logic faced at first, which shaped its history. Indeed, negative reactions to the emergence of the new logic in the second half of the nineteenth century were numerous and we study here one case, namely logic at Oxford, where one finds Lewis Carroll, a mathematical teacher who (...) promoted symbolic logic, and John Cook Wilson, the Wykeham Professor of Logic who notoriously opposed it. An analysis of their disputes on the topic of logical symbolism shows that their opposition was not as sharp as it might look at first, as Cook Wilson was not so much opposed to the « symbolic » character of logic, but the intrusion of mathematics and what he perceived to be the futility of some of its problems, for logicians and philosophers alike. (shrink)

Le passage spéculatif de la catégorie du mauvais infini dans le véritable infini reste l’un des plus importants dans la Science de la logique. Comme il est bien connu, ce passage est expliqué par Hegel à travers sa théorie de l’idéalité du fini. Pourtant, du fait de sa structure complexe, le surgissement du véritable infini au sein du fini par l’idéalisation peut être considéré comme un processus abstrait, consistant seulement à supprimer la dualité de l’infinité. Cet article se propose (...) donc d’examiner pourquoi l’idéalisation de la véritable infini ne signifie ni une simple neutralisation de la catégorie de la finité ni une infinitisation extérieure de celle-ci, mais un processus dynamique qui s’infinitise en supprimant l’opposition statique du fini et de l’infini. (shrink)

On sait peu de choses d’Edme Mariotte, membre de l’Académie royale des sciences de 1668 à 1684. Une analyse de son Essai de logique montre cependant que, pour défendre ses pratiques expérimentales, il s’appropria des bribes venues de différentes traditions intellectuelles. Ainsi, ce livre examine ce qu’on entendait par « méthode » à la fin du XVIIe siècle, les épistémologies de la physique qui s’affrontaient alors, quelques débats ouverts par la gestion de l’héritage cartésien. Mais l’essentiel sera peut-être la (...) question suivante : comment reconstituer les idées d’un savant ordinaire, qui n’a ni bouleversé l’ordre des sciences, ni montré une perspicacité épistémologique exceptionnelle ? (shrink)

This study seeks to trace the boundaries of the sign in the phenomenological tradition of Edmund Husserl. The approach adopted here is largely historical and has no other ambition that to identify those questions that pertain to the sign and have been of interest for phenomenology. The article is divided in four parts : the first examines an essay from 1890 entitled Semiotik and situates it in the context of the young Husserl's work in the philosophy of mathematics ; the (...) second part concerns the first section of the Logical Investigations ; the third one seeks to account for the changes that testify to the evolution of Husserl's thinking regarding the sign between the Logical Investigations (1900-01) and "Origins of Geometry" (1936) ; the last part considers the contribution of post-Husserlian phenomenology, from Martin Heidegger to Merleau-Ponty and beyond, to semiotics. -/- Résumé. Notre étude vise à délimiter l'espace dans lequel la question du signe s'est posée à la tradition phénoménologique depuis Edmund Husserl. Cette étude est largement historique et elle n'a d'autres ambitions que d'identifier certains aspects de la question du signe qui ont suscité l'intérêt de la phénoménologie. Elle se divise en quatre parties : dans la première, nous examinons le texte de 1890 intitulé Semiotik en le situant dans le contexte des recherches du jeune Husserl sur la philosophie des mathématiques ; la deuxième section est principalement consacrée à l'étude de la première des Recherches logiques ; la troisième partie vise à rendre compte des chan-gements qui ont marqué l'évolution de la pensée de Husserl sur le signe, des Recher-ches logiques (1900/1) à "Origine de la géométrie" (1936) ; finalement, nous esquis-serons à grands traits la contribution de la phénoménologie post-husserlienne à la sémiotique, de Martin Heidegger à Maurice Merleau-Ponty, et au-delà. (shrink)

Original source :「委員会の論理」『世界文化』[Culture du monde], n° 13, janvier 1936, 2–17 ; n° 14, février 1936, 16–33 ; n° 15, mars 1936, 12–25. Repris dans nmz 1 : 46–108. La version des œuvres complètes présente un certain nombre de variantes par rapport à la première publication en 1936. « La logique des comités » a été traduit en espagnol par Agustín J. Zavala. Je remercie vivement Saitō Takako pour sa relecture et ses précieuses remarques.

This is a review of: Newton C.A. da Costa, Logiques Classiques et Non Classiques. Essai sur les Fondements de la Logique. Translated from the Portuguese by Jean-Yves Béziau (with two appendices by the translator) Culture Scientifique, Masson, Paris, 1997, 276p. ISBN 2-225-85247-2.

La logique peut-elle se détacher des facteurs environnementaux et opérer indépendamment des états mentaux des locuteurs ? Dans cette article, nous montrons comment on est passé d’une réponse positive à une réponse négative à cette question. La critique de la formalisation logique des descriptions définies amorcée par Strawson, a été critiquée et étendue par Donnellan, qui distingue les usage référentiels et attributifs du langage et montre que la formalisation des énoncés en langue naturelle est inextricable de facteurs pragmatiques (...) non automatisables. Nous terminons cet article en abordant brièvement les conséquences d’une telle position sur les développements récents de l’Intelligence Artificielle. Mots clé : Logique, Descriptions définies, Russell, Strawson, Donnellan //////////////////////////////////////////////////////////////////////////////////////////////////// //////////////////////////////////////////////////////////////////////////////////////////////////// //////////////////////////////////////////////////////////////////////////////////////////////////// ////////////////////////////////////////////////////////////////////////////////////////////// -/- Abstract Can logic operate independently of environmental factors and of the mental states of speakers? In this article, we show how we went from a positive to a negative answer to this question. The critique of the logical formalization of definite descriptions initiated by Strawson, was extended by Donnellan, who distinguishes the referential and attributive uses of language and shows that the formalization of statements in natural language is inextricable from pragmatic factors. We end this article by briefly addressing the consequences of such a position on recent developments in Artificial Intelligence. Keywords: Logic, Definite descriptions, Russell, Strawson, Donnellan . (shrink)

The master's thesis of Dr. Taraneh Javanbakht in philosophy that was published at the Université du Québec à Montréal in 2016 includes her innovations in logic and cognitive sciences as well as some parts of her philosophical system, netism. Her logic, tendential logic, that she introduced and developed and its application in cognitive science were also published in her master's thesis in philosophy.

Après un demi-siècle dans l’oubli, la nature de la conscience est maintenant le sujet le plus chaud dans les sciences du comportement et la philosophie. Commençant par le travail pionnier de Ludwig Wittgenstein dans les années 1930 (les Livres Bleus et Brown) et des années 50 à nos jours par son successeur logique John Searle, j’ai créé la table suivante comme un heuristique pour la poursuite de cette étude. Les lignes montrent divers aspects ou façons d’étudier et les colonnes (...) montrent les processus involontaires et les comportements volontaires comprenant les deux systèmes (deux processus) de la Structure Logique de la Conscience (LSC), qui peuvent également être considérés comme la structure logique de la rationalité (LSR-Searle), du comportement (LSB), de la personnalité (LSP), de la réalité (LSOR), de l’intentionnalité (LSI) - le terme philosophique classique, la psychologie détative , la psychologie descriptive de la pensée (DPT) - ou mieux, le langage de la psychologie descriptive de la pensée (LDPT), termes introduits ici et dans mes autres écrits très récents. Ceux qui souhaitent un cadre complet à jour pour le comportement humain de la vue moderne de deuxemssyst peuvent consulter mon livre 'The Logical Structure of Philosophy, Psychology, Mind and Language in Ludwig Wittgenstein and John Searle' 2nd ed (2019). Ceux qui s’intéressent à plus de mes écrits peuvent voir «Talking Monkeys --Philosophie, Psychologie, Science, Religion et Politique sur une planète condamnée --Articles et revues 2006-2019 3e ed (2019) et Suicidal Utopian Delusions in the 21st Century 4th ed (2019) et autres. (shrink)

Dans Word and Object, Quine propose explicitement une définition de la notion de signification-stimulus dans les termes du behaviorisme. Cette caractérisation est commandée par son naturalisme, qui consiste à faire de la philosophie une partie de la science empirique. Il est néanmoins généralement admis que la science entend décrire les phénomènes tandis qu’à la suite du tournant linguistique, la philosophie se concentre sur le langage. Dans ces conditions, il est légitime de chercher à déterminer le statut logique que l’on (...) doit assigner à la notion de signification-stimulus chez Quine. Nous présentons à cet effet trois procédures langagières bien distinctes dans la littérature. Nous ébauchons ensuite le cadre théorique dans lequel se situe la notion de signification-stimulus avant d’en proposer une reconstruction rationnelle en termes neurophysiologiques. Ces considérations apportées, nous montrons que la caractérisation que Quine donne de cette notion constitue non une définition, mais une explication. (shrink)

Dans cet article, nous examinerons le thème de la découverte en science. Nous soutiendrons qu’il est possible de définir une stratégie rationnelle soutenant la découverte au moyen du principe de l’abduction. Afin de démontrer cette thèse, il s’agira d’abord de diagnostiquer le problème de la complexité et de l’irrationalité de la découverte scientifique et de considérer la position néo-positiviste endossée par Karl Popper et Hans Reichenbach, selon laquelle la découverte ne peut faire l’objet d’une étude proprement logique ou épistémologique. (...) Par la suite, l’analyse se concentrera sur la position de Norwood R. Hanson qui, répondant et contredisant celle de Popper et de Reichenbach, affirme qu’il existe une « logique de la découverte », fondée sur le principe de l’abduction. Après avoir déployé l’argument de Hanson et explicité sa conception du principe de l’abduction, nous montrerons, en nous appuyant sur la vision d’Atocha Aliseda, comment l’abduction est liée à la découverte en science. Finalement, nous examinerons la notion d’inférence à la meilleure explication et le concept « d’hypothèse explicative » de Peter Lipton, ce qui permettra d’expliquer dans quelle mesure cette variante de l’abduction nous permet de comprendre les éléments et conditions qui favorisent la génération de découvertes en science. (shrink)

Je suis d'avis que la table de l'intentionnalité (rationalité, esprit, conscience, pensée, langage, personnalité, etc.) qui figure en bonne place ici décrit plus ou moins précisément, ou du moins sert d'heuristique pour, comment nous pensons et nous nous comportions, et donc il n'englobe pas simplement la philosophie et la psychologie, mais tout le reste (histoire, littérature, mathématiques, politique, etc.). Notez en particulier que l'intentionnalité et la rationalité que je (avec Searle, Wittgenstein et d'autres) le voir, comprend à la fois conscient (...) délibératif système linguistique 2 et inconscient automatisé système prélinguistique 1 actions ou réflexes. Je fournis une enquête critique de quelques-unes des principales conclusions de deux des plus éminents étudiants du comportement des temps modernes, Ludwig Wittgenstein et John Searle, sur la structure logique de l'intentionnalité (esprit, langue, comportement), en prenant comme point de départ La découverte fondamentale de Wittgenstein, à savoir que tous les problèmes véritablement « philosophiques » sont les mêmes, les confusions sur la façon d'utiliser la langue dans un contexte particulier, et donc toutes les solutions sont les mêmes— en regardant comment la langue peut être utilisée dans le contexte en cause afin que sa vérité (Conditions de satisfaction ou COS) sont claires. Le problème fondamental est que l'on peut dire n'importe quoi, mais on ne peut pas signifier (état clair COS pour) toute déclaration arbitraire et le sens n'est possible que dans un contexte très spécifique. J'analyse divers écrits par et à leur sujet du point de vue moderne des deux systèmes de pensée (popularisés comme «penser vite, penser lentement»), en utilisant une nouvelle table de l'intentionnalité et de nouvelles nomenclatures de systèmes doubles. Je montre que c'est un puissant heuristique pour décrire le comportement. Ainsi, tout comportement est intimement lié si l'on prend le point de vue correct. L'illusion phénoménologique (oubli de notre système automatisé 1) est universelle et s'étend non seulement à travers la philosophie, mais tout au long de la vie. Je suis sûr que Chomsky, Obama, Zuckerberg et le pape serait incrédule si on leur dit qu'ils souffrent du même problème que Hegel, Husserl et Heidegger, (ou qu'ils diffèrent seulement dans le degré de la drogue et les toxicomanes du sexe en étant motivés par la stimulation de leur cortices frontaux par la livraison de dopamine (et plus de 100 autres produits chimiques) via le tegmentum ventral et le noyau accumbens), mais c'est clairement vrai. Alors que les phénoménologues ne gaspillaient que beaucoup de temps, ils gaspillent la terre et l'avenir de leur descendant. (shrink)

In this study, I intend to show how and why, in the Port-Royal Logic, a singular term can reveal the nature of the logical judgment in the handbook. As I argue, the treatment given to one of thee singular terms, namely, the defined descriptions, in the terminology introduced by Russell, leads to an opening to langage that sounds unexpected and unjustified. Considering the privilege of thinking over langage and also that judgment is the mental act that defines logic, however, we (...) may understand how the authors regard langage, in relation to the epistemic constituents, namely, the mental acts within the terms. In doing so we are compelled to recognize the implications of this step towards pragmatism in fixing the meaning of defined descriptions to the nature of judgment in the handbook. This opening to langage reveals the conception of judgment as a twofold mental act: a formal and a practical (moral and theological) one. (shrink)

This paper tries to understand how three medieval philosophers (Roger Bacon, Albert the Great and John Buridan) developed the idea of a special logic for ethics, taking into account Aristotle's thesis according to which ethics does not need theoretical syllogisms and uses a special kind of scientific reasoning. If rhetoric is a good candidate, we find three different readings of this approach and then three different theories of ethical reasoning.

The relevance of any logical analysis lies in its ability to solve paradoxes and trace conceptual troubles back; with this respect, the task of epistemic logic is to handle paradoxes in connection with the concept of knowledge. Epistemic logic is currently introduced as the logical analysis of crucial concepts within epistemology, namely: knowledge, belief, truth, and justification. An alternative approach will be advanced here in order to enlighten such a discourse, as centred upon the word assertion and displayed in terms (...) of utterance. Insofar as epistemic modalities express some attitudes, the intentionality of discourse will be emphasized within an illocutionary modal logic. Two large views will range over the whole study: declarative and epistemic sentences have one and the same logic (assertion logic); the plurality of languages games doesn’t entail any logical pluralism. -/- La valeur d'une analyse logique réside dans sa capacité à résoudre des paradoxes et à comprendre l'origine de nos problèmes conceptuels ; à ce titre, le rôle d'une logique épistémique est de traiter des paradoxes liés au concept de connaissance. On présente généralement la logique épistémique comme une analyse logique de concepts centraux en épistémologie : connaissance, croyance, vérité, justification. Une autre approche sera proposée ici en vue de clarifier ce genre de discours, centrée sur la notion d'assertion et décrite en termes d'énonciation. Parce que les modalités épistémiques expriment des attitudes, c'est l'intentionnalité du discours qui sera mise en valeur dans le cadre d'une logique modale illocutoire. Deux thèses transversales parcourront l'ensemble du travail : les énoncés déclaratifs et épistémiques partagent la même logique (logique assertorique) ; la pluralité des jeux de langages n'implique pas un pluralisme logique. (shrink)

1. Une dispute épistémologique 1.1 Quatre itinéraires à proximité puis à distance des structuralismes 1.2 Un différend sur les « usages réglés du rationalisme » en sciences de l’homme 2. Les mots et les descriptions en sciences de l’homme 2.1 Une commune limitation du déterminisme linguistique 2.2 Un problème philosophique implicite : descriptions définies et noms propres 2.3 L’usage des descriptions définies en sciences de l’homme 2.4 Les (semi-)noms propres des sciences historiques 2.5 Le degré de généralité des concepts employés (...) et ses conséquences sur les raisonnements 3. La spécificité des raisonnements en sciences de l’homme 3.1 Quelle logique pour raisonner sur les phénomènes humains ? 3.2 Les usages d’une référence commune : la logique naturelle 3.3 Propositions et énoncés : divergences sur l’analyse des raisonnements 4. Le juste degré de formalisation du langage et des raisonnements 4.1 La formalisation des descriptions 4.2 Les modèles et la formalisation des raisonnements 4.3 Des formalisations qui s’ignorent 5. Le caractère historique des sciences de l’homme 5.1 Formaliser implique-t-il de dé-historiciser ? 5.2 Les mécanismes du changement scientifique 5.3 Pragmatique de l’intervention théorique. (shrink)

Rather than considering ordinary language as deficient and incapable of grasping the structure of reality, the Stoics set out a theory, based on their notion of a lekton, by which ordinary language is a reflection of the structure of lekta which themselves are constitutive of reality.

L. Gazziero, « “Οἰκείως τῇ λογικῇ πραγματείᾳ” (Simplicii in Aristotelis categorias commentarium, 12.11). Contraintes disciplinaires – anciennes et modernes – de l’interprétation logique des Catégories d’Aristote », dans V. Brière et J. Lemaire (éd.), Qu’est-ce qu’une catégorie ? Interprétations d’Aristote, Leuven, Peeters, 2019, p. 9-59 [ISBN 9789042936621] -/- In addition to understanding the very notion of « category » according to its different Aristotelian contexts, the first order of business of an archaeology of Aristotle’s categories is to inquire into (...) its influential evolution at the hands of Late Ancient commentators. The essay retraces the origin and development of the « logical » interpretation which held sway both in ancient and modern times. It shows first that the key to understand the debate between Benveniste and Derrida over Aristotle’s categories is to be found in the Neoplatonic exegesis of the work of the same name. It shows next the powerful dynamic that led the commentators to dismiss more than a few hints in the text itself in order to build a remarkably consistent interpretation that understood the notion of category as the simplest and most fundamental element in a building block theory of linguistic expression and argumentation. -/- Face au foisonnement qui caractérise l’instruction contemporaine du dossier des « catégories » d’Aristote, il est encore et toujours utile de suivre le fil historique inauguré par Adolf Trendelenburg, réinventé par Emile Benveniste et élevé par Jacques Derrida au rang d’impératif méthodologique. Le geste inaugural d’une archéologie de la notion de « catégorie » consiste donc à se prémunir contre le risque d’évacuer le problème historique des catégories à la faveur d’une catégorialité anachronique ou passe-partout : ce qui n’est possible qu’à condition de replacer les « catégories » dans les différents contextes aristotéliciens où elles sont utilisées et d’interroger les contraintes disciplinaires qui ont structuré le débat autour de leur nature chez les commentateurs de l’Antiquité tardive. (shrink)

The separation of Avicenna between Essence and Existence influenced logic and Arab and Muslim logicians in the Middle Ages among them Ibn al-Nafīs (1208-1288). Under this influence he contributed to the development of logic and especially the theory of the universal term. By means of the consequences of this analysis:-It has become possible to make a distinction between abstract concepts and formal concepts independent of any sensible reality, and hence the questioning of Aristotelian categories, that is to say the ability (...) to conceive for Ibn al-Nafīs like Avicenna, subjects and predicates which are not necessarily words expressing or belonging to one of the Aristotelian categories.-The analysis of the universal proposition as a conditional proposition, which made easier the distinction between absolute proposition which has no existential implication, and the other which differ from the first by an affirmation of explicit existence. (shrink)

Many theories about the teaching of logic and critical thinking take for granted that theoretical learning, the learning of formal rules for example, and its practical application are sufficient to master the tools taught and to take the habit of using them. However, this way of teaching is not efficient, a conclusion supported by much work in cognitive science. Approaching cognition evolutionarily with dual-process theories allows for an explanation of these insufficiencies and offers clues on how we could teach critical (...) thinking and logic more efficiently. In this article, we want to present this approach and explore these leads in order to make some pedagogical recommendations and lay the foundations of a framework. We will put forward an example of the application of this research program with philosophy for children. (shrink)

In the theoretical framework developed by Y. Lenoir and his colleagues, Bourdieu’s concept of habitus is fundamental to explaining the tacit aspect of teaching practices. This article takes a critical look at the connection the framework makes between the concept of habitus and that of embedded skills, which is derived from French ergonomic psychology. Our primary objective is to examine the relevance and the limitations of this connection, with specific focus on its methodological implications. Our results indicate that a cognitive (...) interpretation of the concept of habitus may contribute significantly to understanding the implicit aspect of professional practices. Dans le cadre théorique élaboré par Y. Lenoir et ses collègues, le concept bourdieusien d’habitus joue un rôle central pour expliquer la dimension tacite des pratiques enseignantes. Cet article propose de porter un regard critique sur le rapprochement proposé dans ce cadre entre le concept d’habitus et celui de compétence incorporée issu de psychologie ergonomique francophone. Notre objectif principal est d’examiner la pertinence et les limites de ce rapprochement, en portant une attention particulière à ses implications méthodologiques. Nos résultats indiquent la pertinence d’une interprétation cognitive du concept d’habitus, contribuant de façon significative à la compréhension de la dimension implicite des pratiques professionnelles. (shrink)

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. (shrink)

Reposant la question de la structure logique de la modalite chez Kuki, cette etude vise a mettre en evidence les multiples dimensions du temps humain. Une telle meditation s’accompagne d’une reflexion sur le ≪ vecu ≫ de la vie concrete dont Kuki fournit une elucidation que l’on pourrait qualifier de metaphysique. Cette metaphysique de la vie est a rapprocher de la pensee de l’Instant tel que Kierkegaard le pense, de la temporalisation heideggerienne et de la duree chez Bergson. Mais (...) le philosophe le plus important convoque par Kuki reste Nietzsche dont la pensee fulgurante de l’eternel retour du meme nourrit la categorie de la contingence de l’existence. Sauf que precisement, la contingence ne peut pas etre une categorie. La philosophie nietzscheenne traverse et nourrit l’oeuvre de Kuki. La presente etude a pour ambition de laisser se confronter la pensee du retour et le temps de la duree. C’est dire qu’il est question ici de reflexion metaphysique sur cette dimension fondamentale de la conscience qu’est la forme du sens interne. Utiliser cette notion c’est eo ipso faire reference a Kant. Quels sont les rapports de ces multiples temporalites avec le temps eternel des dieux et du destin, telle est la question que souleve l’opus magnum de Kuki. Nous montrons les articulations d’abord logico-metaphysiques, ensuite existentiales de la structure de l’existant. C’est le raffinement esthetique de l’aristocrate qu’etait Kuki qui a nourri notre essai de penser et de comprendre la structure de l’Iki. (shrink)

One of the most mature achievements of the Cartesian philosophy is the aim to diffuse Descartes’ thought among a wider audience by presenting his philosophy in an encyclopedic way. A relevant contribution in this field is Pierre Sylvain Régis’s Système. Régis’s contribution consists both in reconciling the new scientific discoveries with les principes de Monsieur Descartes by combining them into a scholarly manual whose aim is to stimulate the ars inveniendi and in recognizing the relevance of Arnauld’s and Nicole’s L’art (...) de penser as manual of Cartesian logic. In an article published on the «Annali della Scuola Normale Superiore di Pisa», pp. 517-55: L’«Art de penser» nella logica del «Système» di Régis) I analysed Régis’s logic in order to point out that, even if L’art de penser represents its only source, La logique of the Système has not to be considered as a mere compendium of the Port-Royal Logique, but as a revision of the latter according to a specific philosophical system, characterized by the empirical interpretation of Descartes’s philosophy. In this paper I provide a synopsis of the comparison between the logic of the Système and the Logique of Port-Royal, in order to resume in a schematic way the results of my research. (shrink)

L’objet de cet article est de dégager, sur l’exemple de la prédication, ce qu’est le propre d’une logique phénoménologique. On montre qu’elle se caractérise par plusieurs démarches essentielles : régression du domaine de la signification idéale vers les modes de visée, de comportement et d’évidence subjectifs propres à l’étant qui, par son discours, vise les formes syntaxiques, donc depuis les articulations syntaxiques de la signification vers celles de la pensée ; et surtout, un déplacement de l’orientation thématique depuis le (...) domaine de la signification idéale vers un champ infralinguistique et pré-idéal où ce dernier a sa source, afin de rechercher l’origine ultime du logos dans des structures prélogiques (formes noétiques de l’expérience perceptive, structures ontologiques de l’étant percu, modalités de la compréhension ontologique. Ne se limitant pas à la pensée logique au sens strict, on opère un élargissement considérable de la notion de logique, pour restituer les échafaudages qui mènent à l’élaboration de la syntaxe et replacer la pensée logifiante dans le mode d’être, de comprendre et de faire-expérience du sujet ou du Dasein. (shrink)

Chapitre méthodologique d'un livre co-écrit par Éliane Pons et J.-J. Pinto. Ce dernier, pour raisons professionnelles, n'avait indiqué son nom que dans cette partie intitulée "Esquisse d'une psychanalyse scientifique" (allusion respectueuse au titre de Freud "Esquisse d'une psychologie scientifique"), où se trouve expliquée en détail la méthode originale d'analyse de discours inventée et enseignée par lui : l'Analyse des Logiques Subjectives© (A.L.S.©).

(English, then french abstract) : -/- Fantasy, Discourse, Ideology – Transmission Beyond Propaganda. -/- Propaganda is everywhere, not only in commercials or politics. It is aimed at faraway strangers as well as nearby friends and relations. Propaganda in fact relies on a certain type of psychic structure, one that is tuned to receive it and disseminate it. This structure is a result of an unconscious subjective identification which is therefore not open to change through either cognition, argumentation or reasoning. Propaganda’s (...) form and content are best explained by an unconscious subjectivity rather than by Pavlov’s theory. The social dimension of this subjectivity may be defined by what we refer to as our ‘Analysis of Subjective Logics’ (a legacy of Lacan’s theory of the Four Discourses, which is deficient in some respects). We will first explore the various facets of the ‘Fantasy to Propagate’ by means of a word by word analysis, and will then go on to describe the connexions between Fantasy, Discourse and Ideology. We will show how a clever manipulator triggers an echo in the psyche of his victims, knitting together different and sometimes even contradictory fantasies in an unsteady synthesis he manages to maintain through patient repetition. As for psychoanalysis, it is not only possible but also highly desirable to practise it in the absence of all propaganda : among analysts, on condition that the precept of authority be outwitted, and within each analysis, by undoing the analysand’s sensitivity to suggestion. Psychoanalysis indeed does not only address the individual’s symptoms and their unravelling, but also, more ambitiously, aims to heal civilization of its discontents. This would entitle us to speak in terms of a genuine form of ‘propaganda prevention.’ -/- ---------------------- -/- Fantasme, Discours, Idéologie - D’une transmission qui ne serait pas propagande -/- La propagande se rencontre partout, pas seulement en publicité ou en politique. Avant d’être verticale et adressée aux lointains inconnus, elle est horizontale et s’adresse aux connaissances proches. C’est qu’elle repose en fait sur une structure psychique apte à la recevoir et à la répercuter, structure qui résulte de l’identification subjective, inconsciente donc non modifiable par la cognition, l’argumentation, la raison. Plutôt que par Pavlov, la forme et le contenu de la propagande s’expliquent par la subjectivité inconsciente. Celle-ci se laisse décrire dans le champ social par notre « Analyse des Logiques Subjectives » (héritière critique de la théorie des Quatre Discours de Lacan, insuffisante à maints égards). Nous passerons de l’analyse des facettes du « fantasme de propager » (par le détail des expressions qui en constituent les réalisations) à la description des rapports entre Fantasme, Discours et Idéologie : comment les habiles suscitent un écho dans le psychisme de leurs victimes en fédérant des fantasmes divers –voire opposés– dans une synthèse instable, mais que sa patiente répétition a pour effet de maintenir. En psychanalyse, transmettre sans propagande est non seulement possible mais souhaitable : horizontalement chez les analystes, à condition d’y déjouer l’argument d’autorité, et verticalement dans chaque analyse, en défaisant chez l’analysant les réseaux de suggestibilité. Car la psychanalyse, loin de se borner à la simple disparition des symptômes individuels, a pour vocation plus ambitieuse de contribuer à déconstruire le « malaise dans la civilisation ». On serait alors en droit de parler d’un authentique « prévention de la propagande ». (shrink)

Nous envisagerons dans cet article la possibilité d'un abord pratique de la relation entre linguistique et psychanalyse : la modélisation linguistique des données mises au jour par la psychanalyse à partir de corpus tirés du discours courant. La validation de tels modèles d'après les critères requis par l'« approche logiciste » de J.-C. Gardin et J. Molino sera examinée sur un exemple précis que nous exposerons en détail : l'Analyse des Logiques Subjectives, modèle développé, publié et enseigné par nous depuis (...) près de vingt ans. (shrink)

Logique et existenceDeleuze à propos des « conditions du réel »Pour Deleuze, l’un des problèmes fondamentaux d’une théorie de la pensée est de savoir comment la pensée peut quitter la sphère du possible pour penser le réel, c’est-àdire pour penser l’existence elle-même. La position du réel semble être hors du concept. Des pré-kantiens comme Leibniz approchaient ce problème par le biais de la distinction entre vérités d’essence et vérités d’existence, alors que des post-kantiens comme Maimon l’approchaient par la distinction (...) entre les conditions de l’expérience possible et celles de l’expérience réelle. La logique classique définit la sphère du possible par trois principes logiques – l’identité, la non-contradiction et le tiers-exclu – et la présente étude examine les trois grandes trajectoires qui, dans cette histoire de la philosophie, ont tenté d’utiliser l’un de ces trois principes classiques pour pénétrer l’existence ellemême : 1) Leibniz (et les pré-kantiens) cherchait à étendre le principe de d’identité àl’existence entière ; 2) Hegel (et les post-kantiens) cherchait à étendre le principe de non-contradiction à la totalité de l’expérience ; et 3) le groupe des penseurs appelés de manière assez large « existentialistes » cherchait à étendre le principe du tiers-exclu à la totalité de l’existence. La conclusion examine les raisons pour lesquelles Deleuze a été fasciné par chacune de ces tentatives philosophiques pour « penser l’existence », tout en pensant néanmoins qu’elles ont toutes échoué ; et pourquoi aussi il a fini par développer sa propre réponse au problème en faisant appel à un principe de différence.Logica e EsistenzaLe ‘Condizioni del reale’ in DeleuzePer Deleuze, uno dei problemi fondamentali per una teoria del pensiero è: come può il pensiero abbandonare la sfera del possibile per pensare il reale, ossia, pensare l’esistenza stessa? La posizione del reale sembra essere fuori dal concetto. Prekantiani come Leibniz affrontano questo problema in termini di distinzione fra verità dell’essenza e verità dell’esistenza, mentre post-kantiani come Maimon affrontano il problema in termini di distinzione fra condizioni dell’esperienza possibile e condizioni dell’esperienza reale. La logica classica ha definito la sfera del possibile secondo tre principi logici – identità, non-contraddizione, terzo escluso – e questo saggio analizza tre grandi ‘parabole’ della storia della filosofia che hanno tentato di usare uno di questi tre principi della logica per penetrare l’esistenza stessa: (1) Leibniz (e i pre-kantiani) hanno tentato di estendere il principio di identità a tutta l’esistenza; (2) Hegel (ei post-kantiani) hanno tentato di estendere il principio di non-contraddizione a tutta l’esistenza; (3) il gruppo di pensatori (solo approssimativamente legati fra loro) chiamati “esistenzialisti” ha tentato di estendere il principio del terzo escluso all’esistenza. La conclusione analizza sia le ragioni per le quali Deleuze era affascinato da ciascuno di questi tentativi filosofici di “pensare l’esistenza” nonostante fosse convinto che essi avessero fallito, sia i motivi per cui egli in conclusione traccia la propria risposta al problema facendo appello al principio della differenza. (shrink)

In Logique du Fantasme, Lacan argues that the compulsion to repeat does not obey the same discharge logic as homeostatic processes. Repetition installs a realm that is categorically different from the one related to homeostatic pleasure seeking, a properly subjective one, one in which the mark “stands for,” “takes the place of,” what we have ventured to call “an event,” and what only in the movement of return, in what Lacan calls a “thinking of repetition,” confirms and ever reconfirms (...) this point of no return, which is also a qualitative cut and a structural loss. The kind of “standing for” Lacan intends here with the concept of repetition is certainly not something like an image or a faithful description. No, what Lacan wishes to stress is that this mark is situated at another level, at another place, it is “entstellt,” and as such, it is punctually impinging upon the bodily dynamics without rendering the event, without having an external meta-point of view, but cutting across registers according to a logics that is not the homeostatic memory logics. This paper elaborates on this distinction on the basis of a confrontation with what Freud says about the pleasure principle and its beyond in Beyond the Pleasure Principle, and also takes inspiration from Freud’s Project for a Scientific Psychology. We argue that Lacan’s theory of enjoyment takes up and generalizes what Freud was after in Beyond the Pleasure Principle with the Wiederholungszwang, and pushes Freud’s thoughts to a more articulated point: to the point where a subject is considered to speak only when it has allowed the other, through discourse, to have impacted and cut into his bodily pleasure dynamics. (shrink)

Nous proposons une logique épistémique quadrivalente AR4.

La question des rapports du spinozisme à l’axiologie a fait l’objet de nombreux débats. Certains commentateurs considèrent Spinoza comme étant profondément immoraliste, alors que pour d’autres, il maintient l'ensemble des valeurs humaines. Spinoza a cherché à dépasser l’utilitarisme propre au conatus de chacun, afin de fonder un altruisme rationnel. Il souligne que le bien auquel l’homme aspire lorsqu’il suit la vertu, il le désirera aussi pour tous les autres hommes. Cependant, les moyens mis en œuvre pour démontrer cette thèse semblent (...) problématiques. Cet article analyse la logique de la coopération interhumaine élaborée par Spinoza, ainsi que son idéal de l’homme libre, montrant, qu'en fait, il n'a pas réussi à surmonter la nature profondément égoïste du conatus. -/- The question of the relationship between Spinozism and axiology has been the subject of much debate. Some commentators consider Spinoza to be profoundly immoralist, while for others he upholds the set of human values. Spinoza sought to go beyond the utilitarianism proper to the conatus of each person, in order to establish a rational altruism. He emphasizes that the good to which man aspires when he follows virtue, he will also desire for all other men. However, the means used to demonstrate this thesis seem problematic. This article analyzes Spinoza's logic of interhuman cooperation, as well as his ideal of the free man, showing that, in fact, he failed to overcome the profoundly egoistic nature of conatus. -/- . (shrink)

La philosophie morale est traditionnellement divisée en trois sous-disciplines : l’éthique appliquée, qui, comme son nom l’indique, s’intéresse aux positions à adopter sur des sujets pratiques ; l’éthique normative, où s’opposent un ensemble de théories sur ce qui devrait être, sur ce qui est bon/mauvais, etc. ; et la méta-éthique, qui étudie des questions non morales, mais relatives à la morale 1 . Cette dernière définition peut paraître floue, mais c’est un flou que rend nécessaire l’hétérogénéité propre à la discipline. (...) En effet, celle-ci est elle-même divisée en plusieurs domaines : l’épistémologie morale, l’ontologie morale, la psychologie morale, la phénoménologie morale et la logique morale (l’analyse des concepts moraux). Il n’est pas impossible de croiser les domaines, à l’instar de David McNaughton qui oppose une théorie ontologique – le réalisme – à une théorie épistémologique – le non-cognitivisme. Le réalisme moral affirme l’existence de propriétés morales non réductibles à des propriétés non morales : un acte est condamnable si et seulement s’il possède, à côté de ses propriétés non morales (il s’agit d’un acte délibéré, prémédité, etc.), la propriété d’être condamnable. Et, quant à lui, le cognitivisme soutient qu’une opinion morale n’est rien de plus qu’un état cognitif, qu’une croyance. Ce que nie le non-cognitivisme. Ainsi, selon McNaughton, le principal argument contre le réalisme moral est non cognitiviste. (shrink)

L’idée d’une gouvernance collaborative gagne en popularité. Cependant, comment être véritablement collaboratif ? Les systèmes de prises de décision diversifiés en intervenants doivent composer avec des parties prenantes aux positions, aux rôles, aux intérêts, aux missions, aux observations et aux valeurs différents. Par sa formule facile d’utilisation pour les éthicien·ne·s professionnel·le·s, l’outil de bioéthique co P·R·I·M·O·V (Position, Rôle, Intérêt, Mission, Observation, Valeurs) vise à améliorer la pratique des initiatives technosociales pour un développement durable, collaboratif et démocratique. L’outil reprend la (...) class='Hi'>logique d’analyse des conflits d’intérêts (CI) issue des cadres en éthique organisationnelle. Les CI, comme unité analytique en éthique, permettent d’anticiper et de gérer les problèmes pouvant compromettre à court et à long termes les activités d’un programme et sa gouvernance. L’outil a été construit à la suite d’une étude de cas sur la mise en œuvre d’un monitorage de l’utilisation des antibiotiques en santé animale au Québec, Canada. L’usage de cet outil de bioéthique est stratégique et aide à la négociation des positions, puis à la coconstruction d’un référentiel commun entre les parties prenantes en vue de préparer le terrain à une gouvernance collaborative favorisant la coopération. (shrink)

Cette thèse porte sur la question du fini et de l’infini dans la philosophie de Hegel. L’objectif est double. En premier lieu, elle vise à retracer l’influence exercée par la philosophie antique (principalement Platon et Aristote) et par la philosophie moderne (pour l’essentiel Kant et certains postkantiens) sur l’élaboration hégélienne des catégories de la finité et de l’infinité. En second lieu, elle étudie le développement systématique de la logique de l’infinité hégélienne à la lumière de cette influence. Il s’agit (...) d’étudier, à travers une approche historique et critique, comment Hegel résout l’opposition traditionnelle du fini et de l’infini par sa théorie des deux infinis. A l’aune des conceptions de l’infinité-finie (la mauvaise infinité) et de l’infinité véritablement infinie (la véritable infinité), Hegel montre que le processus de la détermination du fini est un processus d’idéalisation qui supprime la contradiction du fini et de l’infini. Ainsi, l’enquête sur des concepts de finité et d’infinité permet de découvrir que l’idéalité spéculative est pour Hegel une réponse non seulement au problème traditionnel de leur articulation, mais aussi, plus généralement, aux problèmes soulevés par la caractérisation des idéalismes antiques et modernes. (shrink)

Philosophe japonais polyglotte au savoir encyclopédique, Yamauchi Tokuryū est à n’en point douter l’un des auteurs les moins étudiés de l’école de Kyōto. La présente étude vient corriger ce qui ne constitue rien d’autre qu’un accident de l’histoire, tant l’ampleur du projet philosophique de Yamauchi est à même de susciter l’intérêt du philosophe, du savant et de l’amateur cultivé. La démarche de ce penseur japonais, disciple de Nishida Kitarō, est remarquable en ce qu’il chercha à proposer un dépassement englobant de (...) ce qu’il nomme, d’une part, la « logique du logos » – qui figurait déjà chez Aristote et se structure autour des principes d’identité, de contradiction et du tiers exclu – et, d’autre part, la « logique du lemme » – méthode d’appréhension intuitive des étants qui, née en Inde, serait d’inspiration essentiellement bouddhique. Cette étude, dans laquelle les conceptions bouddhiques qui traversent le propos de Yamauchi sont explicitées, est essentiellement consacrée à l’analyse de ses deux essais les plus importants Logos et lemme (1974) et Philosophie de la latence (1993). Le lecteur y rencontrera une discussion tant de la logique aristotélicienne que d’un régime de logicité tel que le tétralemme, tant du coeur des philosophies européennes que de celui des pensées bouddhiques. Il y rencontrera en outre une discussion de l’idée de néant, de la causalité et de la question du fondement de l’être, nourrie de conceptions bouddhiques telles que la « coproduction conditionnée » (pratītya-samutpāda) et la « latence » (anuśaya). (shrink)

Following the publication of his magnum opus L’être et l’événement (Being and Event) in 1988, Alain Badiou has been acclaimed as one of France’s greatest living philosophers. Since then, he has released a dozen books, including Manifesto for Philosophy, Conditions, Metapolitics and Logiques des mondes (Logics of Worlds), many of which are now available in English translation. Badiou writes on an extraordinary array of topics, and his work has already had an impact upon studies in the history of philosophy, the (...) history and philosophy of science, political philosophy, aesthetics, psychoanalysis, and ontology. This volume takes up the challenge of explicating, extending and, in many places, criticising Badiou’s stunningly original theses. Above all, the essays collected here put Badiou’s concepts to the test in a confrontation with the four great headings that he himself has identified as essential to our humanity: science, love, art and politics. Many of the contributors have already been recognised as outstanding translators of and commentators on Badiou’s work; they appear here with fresh voices also destined to make a mark. (shrink)

L’espace-vide est définit par Einstein comme substantiel et de densité d’énergie non nulle. Dans les premiers instants de l’univers, c’est cette substance espace-vide qui est apparue conjointement avec la grandeur temps, qui de ce fait doit présenter un lien de nature avec elle. Quel qu’est pu être le processus ayant conduit à la matérialisation des particules élémentaires, celles-ci ont été extraites de cette substance vide et procèdent donc d’une même nature. Ainsi la structure interne d’une particule composée de matière et (...) d’une charge électrique doit présenter une organisation prenant en compte cette origine unique. Il apparait ainsi logique de penser, en s’appuyant sur les travaux de Kaluza, que les charges électriques et la matière sont une seule et unique grandeur mais animée de dynamiques différentes dans des espaces différents à trois ou quatre dimensions spatiales. (shrink)

Une preuve est pure si, en gros, elle ne réfère dans son développement qu’à ce qui est « proche » de, ou « intrinsèque » à l’énoncé à prouver. L’infinité des nombres premiers, un théorème classique de l’arithmétique, est un cas d’étude particulièrement riche pour les recherches philosophiques sur la pureté. Deux preuves différentes de ce résultat sont ici considérées, à savoir la preuve euclidienne classique et une preuve « topologique » plus récente proposée par Furstenberg. D’un point de vue (...) naïf, il semblerait que la première soit pure et la seconde impure. Des objections à cette vue naïve sont ici considérées et réfutées. Concernant la preuve euclidienne, la question relève de la logique, notamment de la définissabilité arithmétique de l’addition en termes de successeur et de divisibilité telle que démontrée par Julia Robinson, tandis qu’en ce qui concerne la preuve topologique, la question relève de la sémantique, notamment pour tout ce qui touche au problème de savoir ce qui est « inclus » dans le contenu d’énoncés particuliers.A proof is pure, roughly, if it draws only on what is « close » or « intrinsic » to the statement being proved. The infinitude of prime numbers, a classical theorem of arithmetic, is a rich case study for philosophical investigation of purity. Two different proofs of this result are considered, namely the classical Euclidean proof and a more recent « topological » proof by Furstenberg. Naively the former would seem to be pure and the latter to be impure. Objections to these naive views are considered and met. In the case of the former the issue rests on logical matters, specifically the arithmetic definability of addition in terms of successor and divisibility shown by Julia Robinson, while in the case of the latter the issue rests on semantic matters, specifically with respect to what is « contained » in the content of particular statements. (shrink)

Dans un monde dominé par les conflits, il arrive qu’il faille se défendre. L’invention des armes a évolué en parallèle avec le savoir technique, puis scientifique, et il est même arrivé que la recherche d’applications militaires ait joué un rôle moteur dans la découverte scientifique. Lorsque les armes ne servent pas à attaquer d’autres nations, leur fabrication et leur commerce se justifient morale- ment. Il faut cependant qu’elles ne puissent échapper à ceux qui les construisent et doivent en contrôler la (...) diffusion. Facilement mise en œuvre, la guerre utilisant des organismes vivants ou ce qu’ils pro- duisent comme armes est très ancienne. Or l’originalité des êtres vivants est qu’ils se multiplient, qu’un seul individu suffit à recouvrir la Terre de ses descendants. La biologie ne se prête jamais à un usage militaire moralement défendable parce que le confinement au champ de bataille est impossible. De ce fait, les applications de la biologie ont été vite écartées du domaine de la Défense permise par les traités internationaux. La Convention de 1972 sur l’Interdiction des Armes Biologiques et à Toxines (CIABT), entrée en vigueur en 1975, est aujourd’hui signée par 183 pays (ratifiée par 175) sur un total de 193, sans compter Taïwan qui l’a ratifiée mais n’est pas reconnu par l’ONU. Elle interdit la mise au point, la fabrication, l’acquisition, le transfert, la conservation, le stockage et l’utilisation des armes bio- logiques et à toxines. Elle constitue un élément essentiel de la lutte contre la prolifération des armes de destruction massive. (shrink)

[EXTRAIT DU TROISIÈME NUMÉRO DE MℇTASCIENCE. TOUS LES NUMÉROS SONT DISPONIBLES AUX ÉDITIONS MATÉRIOLOGIQUES]. Ce troisième numéro de la revue Mεtascience poursuit la caractérisation de cette nouvelle branche du savoir qu’est la métascience. Si elle est nouvelle ce n’est pas en un sens radical puisque Mario Bunge l’a pratiquée de façon exemplaire, puisque les positivistes logiques furent accusés de ne pratiquer qu’une simple métascience, puisque les scientifiques l’ont toujours pratiquée implicitement, et puisque certains philosophes ne pratiquent plus la philosophie mais (...) plutôt la métascience, mais sans la caractériser ou sans la théoriser, c’est-à-dire sans prendre conscience qu’ils ont abandonné un discours général pour un autre. La nouveauté réside donc dans cette prise de conscience qu’un discours général sans la philosophie est possible : un discours général scientifique ou une science de la science. Les dix contributions réunies dans ce volume illustrent l’approche métascientifique à la connaissance de la connaissance du monde, la science. Et comme le projet de Bunge, elles ne s’inscrivent ni dans la mouvance analytique ni dans la mouvance continentale de la philosophie. On lira ici des études sur le système bungéen, des applications de la pensée bungéenne, des contributions métascientifiques, et des réflexions autour de la métascience. Parmi les disciplines métascientifiques, l’épistémologie occupe une place de choix dans ce numéro de Mεtascience. La métascience se distingue de la philosophie par son rejet de la distinction philosophique fondamentale entre apparence et réalité pour adopter la distinction métascientifique entre réalité et représentation de cette réalité. L›élaboration de cette représentation nécessite de faire appel à des opérations épistémiques qui sont alors autant d›objets d›étude de l’épistémologie métascientifique. Mais l’épistémologie métascientifique, pas plus que l’épistémologie philosophique, n’est une science factuelle. La première, parce qu’elle étudie des construits scientifiques et non des objets concrets, la seconde, parce qu’elle s’intéresse à des objets transcendants ou métaphysiques. (shrink)

Chapin reviewed this 1972 ZEITSCHRIFT paper that proves the completeness theorem for the logic of variable-binding-term operators created by Corcoran and his student John Herring in the 1971 LOGIQUE ET ANALYSE paper in which the theorem was conjectured. This leveraging proof extends completeness of ordinary first-order logic to the extension with vbtos. Newton da Costa independently proved the same theorem about the same time using a Henkin-type proof. This 1972 paper builds on the 1971 “Notes on a Semantic Analysis (...) of Variable Binding Term Operators” (Co-author John Herring), Logique et Analyse 55, 646–57. MR0307874 (46 #6989). A variable binding term operator (vbto) is a non-logical constant, say v, which combines with a variable y and a formula F containing y free to form a term (vy:F) whose free variables are exact ly those of F, excluding y. Kalish-Montague 1964 proposed using vbtos to formalize definite descriptions “the x: x+x=2”, set abstracts {x: F}, minimization in recursive function theory “the least x: x+x>2”, etc. However, they gave no semantics for vbtos. Hatcher 1968 gave a semantics but one that has flaws described in the 1971 paper and admitted by Hatcher. In 1971 we give a correct semantic analysis of vbtos. We also give axioms for using them in deductions. And we conjecture strong completeness for the deductions with respect to the semantics. The conjecture, proved in this paper with Hatcher’s help, was proved independently about the same time by Newton da Costa. (shrink)