Cet ouvrage est une introduction argumentée à l'interprétation et à la représentation de la signification, dans une optique d'automatisation de la compréhension du langage.

La logique du langage naturel (technologies de pointe, 39)

La logique du langage naturel

On considère généralement que les années trente, notamment avec les théorèmes négatifs de Gödel, marquent le début de la crise des formalismes. Un examen plus attentif de cette décennie révèle la diversité et la richesse des interrogations sur le rôle du formalisme tant dans les sciences logico-mathématiques (fin du logicisme, efflorescence de logiques non classiques, définition formelle de la vérité, mécanisation des calculs), que dans les sciences de la nature (interprétations logiques de la théorie quantique, formalisation de l'induction, tentatives de "reconstruction" du monde, réflexions épistémologiques sur la physique). Reprenant sous ses multiples aspects la question controversée du formalisme, cet ouvrage collectif éclaire une période charnière de l'histoire intellectuelle du XXe siècle.

Le formalisme en question - Le tournant des années trente

Le langage: Une approche philosophique (Philosophie presente)

Ontologie : est-ce une injure proférée par le capitaine Haddock ? Non, c'est, en philosophie, la science de ce qui est, l'analyse du monde qui est le nôtre dans ses composants essentiels.
De fait, de l'ontologie, toutes les sciences - fondamentales, sociales et humaines -, tel monsieur Jourdain, en font sans le savoir : l'historien qui explique la cause d'un événement, le chimiste qui décrit l'enchaînement d'une réaction, l'astrophysicien qui reconstitue à la seconde près la grande explosion originaire, ou bien encore le sociologue féru de la construction sociale de ses objets ou l'économiste soucieux de la dissymétrie des informations chez les acteurs du marché.
Dans ce petit traité explicatif, Frédéric Nef expose au lecteur, néophyte ou pas, ce qui se joue dans des affirmations, apparemment triviales, telles que " César a défait Vercingétorix " ou " l'individu est mû par le calcul des efforts et des récompenses ". Il ouvre la syntaxe élémentaire aux profondeurs du raisonnement philosophique, à des questions qui ne donnent le vertige qu'à ceux qui se refusent à penser ce qu'ils disent.

Traité d'ontologie pour les non philosophes (et les philosophes)

Il a été longtemps difficile d'évaluer l'originalité et la nouveauté des inventions et découvertes leibniziennes touchant aux langages naturels et formels, car l'ampleur des enquêtes empiriques, la sophistication des analyses logiques sont un défi à l'historien et au philosophe. Une rencontre internationale soutenue par l'European Science Foundation, à l'Université de Rennes 1 en mars 2002, a fait systématiquement le point sur ce secteur négligé des études leibniziennes, en portant attention aussi bien à l'analyse logique du langage naturel (réduplication, propriétés individuelles) qu'à l'étude de son expressivité (métaphore, langage mystique), avec l'objectif de fournir au lecteur un outil fiable. Le langage n'est pas un domaine subalterne d'application des thèses majeures du système, mais un de ses foyers, où s'inventent les concepts les plus puissants, à l'épreuve de la contingence historique et naturelle. La modernité de Leibniz est d'avoir mis à l'épreuve la connexion intime de la logique et de la métaphysique au cœur de ce que l'humaine nature a de plus précieux et de plus fragile : l'expression des idées et des affects grâce à des traces plus ou moins évanescentes, toujours transitoires et donc frappées d'opacité. Le projet de la langue universelle a peut-être été un échec, mais de cet échec sont nées la grammaire comparée, la sémantique des langues naturelles, la logique modale, l'étude de la fonction symbolique, bref des pans entiers de la modernité langagière et linguistique.

Leibniz et les puissances du langage

ÿþEn physique (ensemble vide, vide quantique, etc), en philosophie mais aussi en mystique et même dans la vie courante, le terme de vide occupe une place centrale. Le terme lui-même, dans la langue française, reste très équivoque, alors qu'il existe, en anglais, au moins trois mots pour le désigner : emptiness, void, vacuum. Cet ouvrage commencera donc par dégager les différents sens du vide et analyser le concept de manière rigoureuse dans les domaines où il est employé et à la lumière de sa longue histoire. La thèse qui accompagne cette analyse est qu'il existe un lien entre les changements dans le domaine de la physique et les mutations de la réflexion politique. On peut voir ce lien à l'Suvre dans l'atomisme antique, la naissance de la physique moderne au XIVe siècle et chez Pascal où la ruine du cosmos va de pair avec l'émergence d'un machiavélisme chrétien renouvelant les thèmes de l'augustinisme politique. Mais ce qui est visible dans le passé l'est moins dans le présent. Cet ouvrage s'efforcera de montrer que,dans la théorie politique contemporaine, le totalitarisme, qui est une manifestation du nihilisme, est en fait à la fois une affirmation du vide et un refus du vide, ce qui conduit à réfléchir sur le sens du " rien " ou du " néant " à l'Suvre ici. Toutes les figures du totalitarisme nihiliste sont des figures du plein : sujet plein, apologie des frontières, refus de la surface, fusion des relations sociales dans la plénitude de la masse etc. Il ne s'agit pas d'opposer mécaniquement à cette plénitude du néant un vide fondé sur le dynamisme et la liberté du rien, mais de discerner l'importance du concept de vide. Il ne s'agit pas de faire du vide un opérateur critique dans la théorie politique, mais de montrer que l'ontologie de la physique contemporaine est un abandon du plein sous toutes ses formes, et que cela confère peut-être les moyens de construire une métaphysique critique, radicalement critique.

La force du vide ; essai de métaphysique

L'objet en général, le x kantien, le quelque chose en général, l'objet comme tel apparaissent comme des concepts ultimes de l'ontologie. Cette dernière peut-elle être identifiée à une théorie de l'objet ? Qu'en est-il des relations conceptuelles et historiques entre théorie de l'objet et ontologie formelle ? La réponse à ces questions passe par une série de recherches : une réévaluation du projet bolzanien et husserlien d'ontologie formelle, une discussion des problèmes épineux posés par la théorie meinongienne de l'objet, problèmes qui l'ont exposé aux critiques de Brentano, Husserl et Russell, et enfin une enquête sur les apophatismes sémantiques (Wittgenstein), les réductions physicalistes (Quine). Si l'objet a pu être dit un mythe, la destruction de ce mythe, laisse intacte la question de l'objet quelconque. Toute réflexion sur la variable, les objets mathématiques, les individus possibles ou futurs rend urgente sa discussion. C'est ce qui est débattu ici, en distinguant soigneusement les types ontologiques d'objets, comme les objets incomplets, arbitraires et quelconques. Le présent ouvrage qui examine de manière détaillée la problématique de l'objet quelconque, propose un état des lieux de l'ontologie formelle en tant que projet intellectuel complémentaire des sciences cognitives et une histoire métaphysique de l'objet ; il contient en outre, avec une explication de l'ontologie de la variable envisagée dans le cadre des nouvelles ontologies formelles, une introduction à la métaphysique du réalisme modal.

La logique du langage naturel (technologies de pointe, 39)

Résumé

Plus de livres de Frederic Nef

Critiques

Ce livre n'a pas encore de critiques