Parmi les thèmes qui font l’objet des recherches des Archives Poincaré, la logique polonaise occupe une place importante justifiée à la fois par la valeur et la place de cette logique novatrice dans l’histoire de la logique moderne et par le rôle indispensable qu’elle a joué dans le développement d’une science de la logique accompagnant les progrès de la science et pouvant lui fournir ainsi un instrument adapté de raisonnement. La valeur des travaux de cette (...) école, dite de Lwow-Warszawa, se m... (shrink)

La logique de Leibniz: d'apres des documents inedits / par Louis Couturat,...Date de l'edition originale: 1901Sujet de l'ouvrage: Leibniz, Gottfried Wilhelm (1646-1716)Logique moderneCollection: Collection historique des grands philosophesCe livre est la reproduction fidele d'une oeuvre publiee avant 1920 et fait partie d'une collection de livres reimprimes a la demande editee par Hachette Livre, dans le cadre d'un partenariat avec la Bibliotheque nationale de France, offrant l'opportunite d'acceder a des ouvrages anciens et souvent rares issus des fonds patrimoniaux de (...) la BnF.Les oeuvres faisant partie de cette collection ont ete numerisees par la BnF et sont presentes sur Gallica, sa bibliotheque numerique.En entreprenant de redonner vie a ces ouvrages au travers d'une collection de livres reimprimes a la demande, nous leur donnons la possibilite de rencontrer un public elargi et participons a la transmission de connaissances et de savoirs parfois difficilement accessibles.Nous avons cherche a concilier la reproduction fidele d'un livre ancien a partir de sa version numerisee avec le souci d'un confort de lecture optimal. Nous esperons que les ouvrages de cette nouvelle collection vous apporteront entiere satisfaction.Pour plus d'informations, rendez-vous sur www.hachettebnf.frhttp: //gallica.bnf.fr/ark: /12148/bpt6k110843d. (shrink)

Une première période où les influences mêlées d’Alessandro Padoa et de Bertrand Russell s’exercent en France culmine avec les essais philosophiques de Jean Nicod. Une seconde période voit fleurir les travaux du mathématicien Jacques Herbrand ; avant de périr, il laisse son nom à un théorème fondamental. Suit une période de débats entre philosophes, mathématiciens et physiciens, stimulés en 1935 et 1937 par la tenue à Paris de deux congrès consacrés, totalement ou en partie, à la philosophie des sciences. Paulette (...) Février y esquisse une logique non classique où l’on postule l’existence de couples de propositions non composables pour ériger en principes les relations de Werner Heisenberg. Jean-Louis Destouches développe cette conception jusqu’à décrire comment édifier une théorie unifiante. La structuration des êtres mathématiques est l’objet d’études philosophiques d’Albert Lautman. Le rôle putatif de la notion de groupe en logique est interrogé. La notion de structure mathématique est l’objet de deux contributions : Marc Krasner généralise les conceptions d’Évariste Galois, attribuées à la logique et étendues à des langages infinitaires ; Nicolas Bourbaki, compte tenu de l’évolution des mathématiques, qualifie de structure ce que nous appelons aujourd’hui un modèle. (shrink)

Résumé Dans quelle mesure la Logique de Port-Royal peut-elle être considérée comme une logique cartésienne? Et dans quelle mesure l’ Art de penser diffère-t-il des logiques antérieures? Telles sont les deux questions, étroitement liées l’une à l’autre, auxquelles je souhaite répondre dans cette étude en procédant à une série de comparaisons, d’une part avec ce que Descartes appelait sa logique, d’autre part avec ce que les cartésiens de la première génération entendaient par logique cartésienne, et pour (...) finir avec l'évolution de la logique scolastique au cours du XVII e siècle. Je conclus que la logique élaborée par les cartésiens est simplement venue confirmer certains des développements de la logique scolastique au XVII e siècle. La Logique de Port-Royal qui, pour les cartésiens de la fin du XVII e siècle, représente par excellence la logique cartésienne, a également bien des traits en commun avec une logique néo-scolastique. (shrink)

RésuméLa définition de la condition suspensive, telle qu’elle nous est donnée dans l’article 1181 du Code civil français, est aujourd’hui au centre de différents projets de réforme. Si aucun projet de réforme n’a réussi à emporter l’assentiment de tous les juristes, nombre d’entre eux semblent s’accorder sur la nécessité de réformer ce texte—inchangé depuis 1804. Pourquoi un tel consensus sur ce besoin de réécriture de la définition de la condition suspensive mène à une discussion doctrinale où deux positions principales s’opposent? (...) C’est à cette question que nous tâchons de répondre en traquant l’origine de cette scission dans la lettre même du texte dont nous analysons à la fois la structure logique et la signification des termes employés pour sa rédaction. Cette analyse nous permet de mettre en évidence la sémantique ambiguë du terme “incertain”, terme pour lequel nous proposons une analyse logique de sa signification que nous comparons ensuite à celle du terme “inconnu”. (shrink)

Dans cet essai, nous voudrions contribuer à offrir une compréhension adéquate de l’usage par Quine du prédicat de vérité dans la formulation des lois logiques. L’enjeu est central : puisque la « logique poursuit la vérité dans l’arbre de la grammaire » en généralisant sur des phrases exemplifiant la même structure logique au moyen du prédicat de vérité, commettre un contresens sur ce point, c’est se rendre incapable de comprendre adéquatement la relation interne entre logique et vérité. (...) La méthode adoptée consiste à corriger certaines confusions répandues au sujet de la relation entre logique, vérité et montée sémantique. (shrink)

Ces études issues d'un colloque organisé en décembre 2009 analysent l'histoire des différentes conceptions de la logique et de la dialectique ainsi que leurs relations, depuis Socrate et Platon jusqu'au néoplatonisme, en passant par Aristote, les stoïciens et les cyniques. ©Electre 2017.

Résumé L’article propose une étude de la conception hégélienne du fondement ( Grund ) telle que la présentent les textes de Hegel sur la logique. Son objectif est double : il s’agit de proposer une caractérisation du concept hégélien de fondement, et d’étudier, sur un cas précis, la manière dont la logique hégélienne produit une critique en acte de la métaphysique et de sa critique kantienne. Pour ce faire, l’analyse s’appuie non seulement sur les textes publiés par Hegel (...) ( Science de la logique et Encyclopédie ), mais aussi sur des cahiers d’auditeurs des Leçons sur la logique, récemment publiés et encore peu exploités. (shrink)

Cet article s’efforce de distinguer les enjeux ontologiques et logiques de la théorie hégélienne de l’effectivité. Dans un premier temps, il précise en quoi la Science de la logique « coïncide » avec l’ontologie ou la « remplace ». Dans un deuxième temps, il analyse la manière dont Hegel présente la Science de la logique dans son ensemble comme une théorie logique. Il est alors possible, dans un troisième temps, de mieux comprendre la contribution de la section (...) « Effectivité » à la théorie de la vérité de la pensée. (shrink)

Sommaire :- L'épistémologie et ses variétés - Logique - Épistémologie des mathématiques - Épistémologie de la physique - Épistémologie de la biologie - Épistémologie des sciences humaines - Classification des sciences et principaux courants épistémologiques contemporains. Ouvrage collectif complété d'un index et d'une table analytique.

La Logique et la Métaphysique de Iéna se présentent comme un "fragment", c'est-à-dire non seulement comme un texte relativement lacunaire, mais surtout comme un élément du Système, dans lequel pourtant le Système se trouve présenté tout entier. Cette œuvre, écrite durant les dernières années du séjour à Iéna, au moment où s'élaborait le projet de la Phénoménologie de l'Esprit, répond au dessein spéculatif formulé par Hegel dès la période de Francfort.

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)

La Logique de Hegel, science de la pensee pure, veut porter a son accomplissement le projet traditionnel de la metaphysique ou philosophie speculative. De la metaphysique, Aristote avait en partie determine le concept d'une maniere qui devait etre decisive, notamment en degageant l'idee de ce qu'on a pu nommer plus tard ontologie. La logique de Hegel, developpement integral de ce que donne a penser le mot etre, est bien a sa maniere une ontologie, mais une ontologie profondement renovee, (...) avec notamment ceci de paradoxal qu'elle abaisse l'etre au sens strict, l'opposant a la vitalite de l'esprit; la Logique conduit ainsi de l'etre a la verite de l'etre, qui consiste ultimement en la subjectivite de l'absolu se concevant soi-meme, que Hegel nomme aussi idee. Dans ce parcours, la Logique retrouve les concepts qu'avait elabores la tradition philosophique des Presocratiques a Kant; elle resout a sa maniere les problemes, explicites ou implicites, dont ces concepts etaient charges. Au-dela de la fausse alternative de la permanence et de la rupture, l'attention portee au rapport de Hegel a la tradition anime ici une explication de l'ensemble de la Logique. Explication qui, en suivant de pres le mouvement du texte, se garde de meconnaitre que le principe de la Logique est, lui-aussi, problematique: n'est-il pas lui-meme issu de cette tradition qu'il donne la force de repenser? (shrink)

La liberté d'expression: règle immuable de l'Université, par C. Terrier.--Message de bienvenue aux nouveaux étudiants, par S. Gallay.--Logique et connaissance, apr J.-B. Grize.

En plus de caractériser le sujet de la science logique en termes d’intention seconde, d’argument et de syllogisme, Albert le Grand s’exprime souvent comme si la discipline portait en fait sur le langage verbal et l’appelle même une science du langage (scientia sermocinalis). Une rapide analyse des trois sens principaux que l’expression « sujet de la science » peut prendre pour Albert suggère que les autres caractérisations du sujet de la logique sont plus strictes et essentielles, et que (...) la logique n’étudie le langage que dans la mesure où il imite les choses conçues qu’il signifie, et qu’on peut lui attribuer, comme à un signe, leurs propriétés logiques. La considération logique du langage demeure toutefois absolument nécessaire, car le langage, selon Albert, non seulement rend possible l’étude des intentions secondes en les manifestant au sens, mais est aussi une condition de l’existence ou, à tout le moins, du développement du discours de la raison lui-même. C’est pour de telles raisons qu’Albert, même comme disciple d’Avicenne, semble tout à fait à l’aise pour suivre l’usage plus traditionnel en Occident de compter la logique parmi les scientiae sermocinales, lesquelles sont ici comparées et distinguées, avec une insistance plus particulière sur la relation entre la logique et la grammaire. (shrink)

Karl Popper et David Miller ont soutenu l'idée selon laquelle le soutien probabiliste positif = p − p > 0) que e apporte á h, lorsque de h on déduit e, ne justifie en rien l'espoir de pouvoir construire une logique inductive fondée sur le calcul des probabilityés.

Vers la fin du XIVe siècle se fait jour une théorie du signe et de la signification qui, par une réélaboration des principaux concepts sémantiques, renouvelle toute l’analyse logique du langage.Partant de Guillaume d’Ockham, dont l’œuvre est ici décisive, cet ouvrage suit le développement d’une logique fondée sur des éléments de sémiologie, à travers différents auteurs du XIVe siècle tels que Gauthier Burley, Jean Buridan, Albert de Saxe, Marsile d’Inghen, Pierre d’Ailly...Une telle « logique du signe » (...) prend place dans toute une mutation du savoir, en ce siècle où la crise profonde du monde médiéval appelle une autre conception des rapports entre l’homme, les choses extérieures et le langage. (shrink)

" Nous avons tenté dans cet ouvrage de tracer le chemin qui va de la logique traditionnelle à la logique transcendantale [...] à la logique transcendantale qui n'est pas une seconde logique mais qui est seulement la logique elle-même, radicale et concrète, qui doit son développement à la méthode phénoménologique. En vérité, pour s'exprimer plus précisément, nous n'avons justement eu en vue, comme logique transcendantale, que la logique telle qu'elle est délimitée traditionnellement, la (...) logique analytique qui sans contredit grâce à sa généralité vide et formelle embrasse toutes les sphères d'êtres et d'objets, corrélativement toutes les sphères de connaissances. Toutefois, étant astreints à reconsidérer la caractérisation du sens et de l'ampleur de la recherche transcendantale, nous avons par avance acquis aussi du même coup le moyen de comprendre les " logiques " (qu'il reste à fonder) ayant un autre sens, conçues comme doctrines de la science, mais comme doctrines matérielles ; doctrines de la science parmi lesquelles la plus élevée et la plus étendue serait la logique de la science absolue, la logique de la philosophie phénoménologico-transcendantale elle-même ". E. Husserl. (shrink)

Une théorie de la science qui permette une « étude systématique des formes » est l’ἐπιστήμη ζητοῦμένη de Cavaillès : ce dernier ne la trouve ni dans l’analytique kantienne, ni dans la théorie de la science de Bolzano ; pas plus que chez Frege, Carnap ou Tarski ; et ni dans la théorie de la démonstration, ni dans la mathesis husserlienne. Cet article défend l’idée qu’il aurait pu la trouver, ou du moins s’en approcher, s’il avait accordé davantage d’attention à (...) une figure de la logique qu’il a délaissée : celle qu’incarnent Russell et son héritier Wittgenstein. L’analyse de la notion même de forme, que celle-ci désigne un complexe symbolique, une structure mathématique ou un schéma démonstratif, y aurait également gagné. (shrink)

La logique classique, qui repose sur trois principes fondamentaux (d'identité, de non-contradiction et de tiers-exclu), a pu séduire par son efficacité orientée vers l'être, elle permet d'appréhender la cohérence du réel, donc de développer les savoirs. Pour autant, sa puissance s'avère limitée dans certaines situations des limitations internes des formalismes à l'apparition de nouveaux objets paradoxaux, la science du XXe siècle a été confrontée à une crise de ses fondements dont elle n'est pas encore sortie. Or, s'affranchir de ce (...) qui vient en nous entraver la pensée a été un enjeu pour des courants soucieux de fonder leur rigueur démonstrative sur un au-delà de l'être. Dans la lignée de l'hénologie néoplatonicienne, ces modes d'explication ont néanmoins souvent été jugés irrationnels, mystiques ou simplement absurdes. À l'aide des logiques non standards contemporaines, c'est une étude systémique de ces positions qui est ici envisagée à travers la critique de l'hégémonie des trois grands principes logiques grâce à la logique intuitionniste, il devient possible de construire rigoureusement la notion de néant suressentiel; grâce aux logiques paraconsistantes, les contradictions et les paradoxes qu'une telle dialectique engendre perdent leur caractère irrationnel; enfin, grâce aux traditions logiques indiennes et japonaises, le principe d'identité peut lui-même être questionné. Cette remise en cause radicale de nos certitudes les mieux ancrées permet ultimement de dégager de nouvelles perspectives à la pensée logique."--Page 4 of cover. (shrink)

Résumé Quels sont les traits originaux de la logique chez Hegel et comment entendre l’insistance du philosophe sur son caractère « vivant »? L’hypothèse est ici que la logique ne doit être comprise ni comme une philosophie première ni comme un organon, mais comme le développement strictement autonome d’une pensée qui n’est référée à rien d’autre qu’à elle-même. Plus précisément, la logique peut être dite vivante en ce qu’elle est en devenir, se développe sur le mode de (...) la négation et en vient à rendre compte d’elle-même par elle-même. (shrink)

Deleuze a contribué à mieux nous faire entendre la puissance affirmative du désir et la portée métaphysique des hallucinations et délires. Une logique de la folie qui excède la question du langage et des choses... Cet essai prolonge une intuition restée en friche : la prise au sérieux de la dimension " théologique " des délires dont la catégorie psychiatrique obsolète des " délires mystiques " est une occultation au lieu d'être l'explication, le dépliement qu'elle aurait pu suggérer.

Réflexions critiques sur la lecture frégéenne de la phénoménologie.

Linguistique et philosophie logique du langage: deux traditions de pensee que bien des choses opposent. La premiere est plutot mentaliste, et orientee vers l'etude de la syntaxe; la seconde, plus preoccupee de semantique, cherche volontiers le sens dans les conditions de verite des phrases. Ce portrait n'est pas faux, mais il est incomplet: entre logique et linguistique, les relations n'ont pas ete, ne sont pas que d'opposition. Dans cet ouvrage, les auteurs proposent une sorte d'histoire conceptuelle des interactions (...) fecondes entre les deux disciplines au cours du XXe siecle. La premiere partie, consacree a la notion de categorie semantique et/ou syntaxique, raconte comment les theories a priori de la signification (Husserl, Frege, Russell) ont progressivement donne lieu au programme des grammaires categorielles, d'inspiration plus descriptive et empirique. La deuxieme partie traite d'un autre episode, datant des annees cinquante a soixante-dix, et lie a la naissance des grammaires generatives: celui au cours duquel l'opposition entre la these avancee par Chomsky de l'autonomie de la syntaxe, et l'idee de la priorite conceptuelle de la semantique, soutenue par des logiciens comme Montague, vient au premier plan. Enfin la troisieme partie traite des recherches tout a fait contemporaines concernant l'etude des expressions indefinies et des relations anaphoriques qu'elles soutiennent, theme ou se dessinent des convergences nouvelles entre l'analyse logique et l'analyse linguistique: la comprehension des rapports entre generalite et reference dans les langages naturels y gagnera certainement en finesse et en adequation empirique. (shrink)

On s'occupe de la logique quantique depuis 1935 et pendant cette période beaucoup de résultats ont été obtenus, encore me suis-je abstenu de mentionner les résultats obtenus ces dernières années par les logiciens dans ce domaine. Certains de ces résultats ont un intérêt direct pour les théories physiques. En particulier on voit de quelles conditions impératives on doit tenir compte quand on effectue un changement de théorie pour passer à une théorie meilleure. L'exemple de la théorie fonctionnelle des corpuscules (...) est significatif. (shrink)

Ce texte porte sur l’analyse sémantique de la logique déontique. Nous analyserons de façon critique un texte de Schotch portant sur une interprétation de la logique déontique dans le cadre d’une sémantique non-kripkéenne. Nous laisserons de côté les choix relatifs à la syntaxe de son système afin de se concentrer sur l’analyse sémantique qu’il expose contre la logique déontique et sur celle qu’il propose en retour. Avant de voir le détail de son raisonnement, nous présenterons brièvement quelques (...) notions de logique modale afin de faciliter la compréhension de l’argument de Schotch. Nous présenterons ensuite l’argument de l’auteur contre la logique déontique afin de pouvoir exposer sa solution, ce qui ouvrira la porte à une lecture critique de son analyse. (shrink)

Résumé La question de savoir ce qu’il en est après deux cents ans de la logique spéculative est abordée dans cet article à travers la façon dont Michael Quante se rapporte aujourd’hui à la philosophie de Hegel. La logique est interrogée à partir de la problématique de la philosophie analytique et dans le domaine spécifique de la théorie de l’action. Cette approche apparemment extérieure s’avère en réalité une façon d’actualiser les présupposés de la dialectique dans leur signification la (...) plus spéculative. On met en évidence en effet la structure commune de la science de la logique et de la philosophie de l’action qui tient dans le concept de la subjectivité, soit dans le concept de concept au sens hégélien, lequel détermine la description des actions conceptuelles en général et rend compte aussi bien de la démarche d’autonomie exégétique employée. (shrink)

Dans cet article, j'analyse le problème des significations des constantes logiques. Ces significations sont-elles fixées conventionnellement comme le suggèrent Carnap et Wittgenstein, ou bien doivent-elles s'imposer à tous et ne pas dépendre de décisions préalables? Après avoir examiné le conventionnalisme de Wittgenstein et Carnap et l'anti-conventionnalisme de Peacocke selon lequel les sens des constantes logiques reposent sur des conceptions implicites, je montre que les deux thèses sont également critiquables. La première ne résiste pas à l'incohérence du connecteur « tonk », (...) inventé par Prior, dont les règles montrent que la convention ne peut pas déterminer à elle seule les significations des constantes logiques, la deuxième ne tient pas assez compte des divergences importantes entre les logiques. En me basant sur différents systèmes logiques, je présente de nouveaux arguments pour défendre une position intermédiaire selon laquelle chaque constante logique se déploie en diverses variantes qui forment un spectre allant de la version la plus forte à la version la plus faible. Dans ce cadre, le concept de décision joue un rôle en logique, mais les décisions sont prises en amont, en fonction de certaines conceptions touchant la vérité, la déduction et les critères de logicité adoptés par les logiciens, et tiennent compte des intuitions fondamentales liéesà chaque constante. (shrink)

En associant philosophie et logique, cet ouvrage apporte un éclairage sur l'évolution de la logique de l'époque d'Aristote à nos jours. Il présente les différents formalismes des logiques non-standard en expliquant tout d'abord les besoins de ces logiques puis leurs descriptions syntaxiques et sémantiques. A l'aide d'exercices, il offre un panorama de ces logiques qui sont complexes à " utiliser " pour modéliser des connaissances permettant ainsi aux lecteurs d'appréhender ce domaine.

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)

Philosophe français spécialiste de logique, Edmond Goblot (1858-1935) est avant tout connu pour un essai de sociologie décapant, La Barrière et le Niveau (1925), qui pose pour la première fois les fondements d'une théorie de la distinction sociale. Délaissant l'analyse matérialiste des classes au profit d'une perspective culturelle originale, Goblot décrypte sans complaisance les moeurs de la bourgeoisie française, monde qu'il connaît d'autant mieux qu'il en est lui-même issu. Condisciple d'Henri Bergson et d'Emile Durkheim à l'Ecole normale supérieure, Goblot (...) ne bénéficiera pas de la même aura que ses deux anciens camarades. L'histoire de leurs relations, et plus généralement de Goblot avec ses collègues philosophes de la IIIe République, n'en constitue pas moins un prisme original pour comprendre les transformations d'une activité, la philosophie, alors en pleine mutation. Portrait sociologique d'un professeur ordinaire, cet ouvrage opte pour un double parti pris. Il met d'abord en évidence les entrelacs entre trajectoire sociale et choix intellectuels, y compris dans un domaine aussi aride que la logique. Il montre ensuite que La Barrière et le Niveau n'est pas un accident de parcours intellectuel mais l'application au monde social des thèses originales défendues en logique par Goblot. L'ouvrage propose en ce sens une nouvelle interprétation de ce grand classique des sciences sociales qu'est devenu La Barrière et le Niveau. (shrink)