La textométrie propose une approche et des outils pour analyser les corpus numériques, que les chercheurs en sémantique interprétative mettent à profit depuis une quinzaine d’années. Pour éclairer ces réussites, on entreprend ici de repérer des adéquations essentielles entre la théorie linguistique de la sémantique interprétative, et les principes fondateurs de l’approche textométrique. Les connivences sont nombreuses : la place centrale des textes à toutes les étapes de l’analyse, le souci de rester au plus proche du texte et (...) d’éviter toute préconception réductrice, le rôle déterminant du contexte global construit par le corpus de référence, le fonctionnement différentiel des calculs contrastifs comme des tris… Dans le contexte de renouveau actuel des logiciels textométriques, la sémantique interprétative est appelée à nourrir la réflexion théorique sous-jacente. (shrink)

Cet article a pour objectif de soutenir que certains éléments de sens communiqués par un énoncé, qui sont le plus souvent vus dans la sémantique vériconditionnelle ordinaire comme implicites, sont susceptibles d’être réanalysés dans une sémantique argumentative, la Théorie des Blocs Sémantiques, comme faisant partie du contenu explicite de l’énoncé, dans la mesure où de tels éléments constituent des « enchaînements argumentatifs » sémantiquement indécomposables.

La textométrie propose une approche et des outils pour analyser les corpus numériques, que les chercheurs en sémantique interprétative mettent à profit depuis une quinzaine d’années. Pour éclairer ces réussites, on entreprend ici de repérer des adéquations essentielles entre la théorie linguistique de la sémantique interprétative, et les principes fondateurs de l’approche textométrique. Les connivences sont nombreuses : la place centrale des textes à toutes les étapes de l’analyse, le souci de rester au plus proche du texte et (...) d’éviter toute préconception réductrice, le rôle déterminant du contexte global construit par le corpus de référence, le fonctionnement différentiel des calculs contrastifs comme des tris… Dans le contexte de renouveau actuel des logiciels textométriques, la sémantique interprétative est appelée à nourrir la réflexion théorique sous-jacente. (shrink)

Nous proposons une logique épistémique quadrivalente AR4.

Chaque science fondée sur des idées générales doit être relative. Il y a pourtant une science exacte qui n’est pas relative. C’est la sémantique rationnelle. Cette science concerne les expressions qu’on peut construire à l’aide de deux signes donnés d’avance. Elle n’admet que la notion de substitution, une notion élémentaire du type d’expression et les notions du calcul logique élémentaire. Elle nous met en état de construire un système de métamathé- matique symbolique qui embrasse les mathématiques entières. Elle nous (...) fournit les moyens d’une critique objective des notions philosophiques. (shrink)

Name der Zeitschrift: Semiotica Jahrgang: 2017 Heft: 214 Seiten: 159-172.

Je montrerai en premier lieu comment et pourquoi la sémantique formelle peut être employée comme un outil pour déterminer l’engagement ontologique d’une théorie : je soutiendrai d’une part que la sémantique doit être prise au sérieux comme apte à décrire la vérifaction des formules du langage; d’autre part, que les engagements ontologiques d’une théorie sont déterminés par ses vérifacteurs. De là, j’exposerai une méthode générale permettant, étant donné un certain type d’ontologie, de construire une sémantique dont les (...) engagements ontologiques sont en accord avec celle-ci. Pour cela, je définirai la notion de cadre ontologique : il s’agit d’une structure telle que toute sémantique cons-truite à partir de cette structure aura un certain engagement ontologique déterminé à l’avance. J’exposerai quatre cadres représentant deux types de nominalisme et deux types de réalisme, et j’esquisserai à partir de ces cadres quatre sémantiques pour les langages du premier ordre. (shrink)

In this paper, I intend to reconstruct Ockham’s semantics of the categories in order to prove first that his semantics is consistent. Second, Ockham is not skeptical about the possibility to derive the categories from primitives. According to Ockham, one must accept two principles in order to derive the categories. The first is the principle of ‘in quid’ predication, according to which a name of category can be predicated ‘in quid’ of a determined class of terms. The second is the (...) principle of the transitivity of predication, according to which A is predicated of C if A is predicated of B and B is predicated of C. I will show that Ockham’s semantics of the categories makes two assumptions. According to the first assumption, there exist only two types of things, substances and qualities. According to the second, the categories are mutually exclusive. Ockham’s semantics of the categories implies that the categories are both ontological and conceptual and that it is not possible to prove that there is a determined number of categories. (shrink)

Ricoeur, dans "La métaphore vive", distingue trois entités linguistiques (le mot, la phrase et le discours) et quatre disciplines (rhétorique classique, sémiotique, sémantique, herméneutique), dont les deux premières se situent au même niveau, celui du mot. On retrace la genèse de cette division tripartite, puis on montre que la position subalterne qu'elles assigne à la sémiotique est injustifiée et que, pour respecter le "relatif pluralisme des formes et des niveaux de discours", il vaut mieux se situer dans la perspective (...) d'un cadre sémiologique global. (shrink)

Cette étude vise à reconstruire la fonction dramatique des interjections attestées dans la première partie des Euménides (ὠή, ἰοὺ ἰοὺ, πυπάξ, ὢ πόποι, ἰώ), afin de montrer les effets que peuvent produire dans le texte les emplois ou les contre-emplois d’une interjection donnée.

Cette étude vise à reconstruire la fonction dramatique des interjections attestées dans la première partie des Euménides (ὠή, ἰοὺ ἰοὺ, πυπάξ, ὢ πόποι, ἰώ), afin de montrer les effets que peuvent produire dans le texte les emplois ou les contre-emplois d’une interjection donnée.

Cette étude a pour objectif de démontrer que chez Alain de Lille, la problématique de l’affirmation et de la négation in divinis n’est pas celle de la montée vers Dieu par l’abandon de toute créature. Chez Alain de Lille, la négation constitue l’élément qui permet de penser, au niveau du langage, la différence ontologique qui existe entre Dieu et le monde. Cela n’a été possible que grâce à la convergence de deux traditions : celle de Jean Scot Érigène et celle (...) de Boèce. Parce qu’Alain de Lille approfondit la structure métaphorique du nom divin, il est alors à même de reposer d’une façon originale la problématique de la négation et de l’affirmation dans le discours théologique. Il n’est plus question chez lui de la possibilité ou non de discourir sur la divinité, il est davantage question de règles de sémantique, et donc d’herméneutique, convenant aux discours affirmatif et négatif sur la divinité. (shrink)

Parmi les travaux contemporains en sémantique du langage ordinaire, le "programme de Davidson " se distingue par sa portée philosophique : la théorie de la vérité que propose Davidson à titre de cadre sémantique s'épanouit en effet en une véritable philosophie du langage, connue sous le nom d'interprétation radicale. Cet ouvrage tente une évaluation critique du programme de Davidson, à partir d'une question à la fois historique et conceptuelle : quels ont les rapports entre le projet d'une théorie (...) de la vérité "à la Tarski ", et celui d'une sémantique formelle du langage ordinaire? (shrink)

Cette étude vise à comprendre les spécificités sémantiques des lexèmes manipuler et modifier afin d’éclairer l’usage qui en est fait en bioéthique lorsque les actions désignées ont comme objet l’embryon, le cerveau, l’ADN, l’Homme, le vivant ou la procréation. En s’appuyant sur les définitions des dictionnaires et sur les réponses à un questionnaire soumis aux locuteurs, et en se servant de concepts de la sémantique combinatoire, de la sémantique argumentative, de la sémantique des cadres et de l’aspect (...) sémantique, l’étude identifie les éléments de signification propres à chacun des deux lexèmes. Ces éléments sont étroitement liés au potentiel de signification des lexèmes et aux traits aspectuels des procès qu’ils désignent. À l’issue de cette étude, un ensemble de traits sémantiques caractéristiques de chaque lexème est proposé, dans une perspective contrastive. (shrink)

The article deals with the issue of public items (objects, processes, events) in the philosophy of Leibniz. Starting from the famous passage of the Monadology which illustrates his conception of the substance by the image of a city perceived from different perspectives, the author shows how Leibniz conceives the public character of certain items, i.e. the reality of the phenomena that express them, not only in disagreement with the causal model, according to which public items would be the causal source (...) of shared perceptions, but in disagreement even with the correspondence model, according to which shared perceptions would correspond to external objects. The key to understand the position of Leibniz is rather to look at his concept of the compossible, which makes it possible to explain the congruence between shared perceptions without having to resort to the concept of correspondence. (shrink)

Le terme de République est un mot dont l’évidence et la présence dans notre culture politique contemporaine n’ont d’égales que ses indéterminations de longue durée. La première de ces indéterminations tient d’ailleurs à l’origine de « république » dans le syntagme latin res publica avec le sens immédiatement complexe et polysémique d’une notion que l’on retrouve abondamment utilisée sous la République romaine proprement dite mais aussi sous l’Empire. Questionner la res publica, c’est donc évidemment questionner un pan crucial de l’histoire (...) politique romaine mais c’est aussi intervenir dans l’histoire politique tout court et dans la réflexion méthodologique sur la langue de cette politique. Pas de modélisation stabilisée donc et pas plus de recherche de « l’essence de la chose », pas non plus de prétention à une définition de l’objet d’étude puisqu’une suite d’effacements et de réapparitions des noyaux de sens est le propre de la res publica. L’enquête dynamique porte sur une question qui devient, selon un syntagme présent, de façon significative, dans la dernière page de l’ouvrage de Claudia Moatti, « référence mobilisatrice », politique donc. En effet, dans ce parcours, l’acceptation de l’incertitude et de l’indétermination devient en quelque sorte le prix à payer pour retrouver la vie des mots et leur charge historique, en tant qu’ils se lient à l’action des hommes, à leur engagement dans le monde, sans s’appuyer sur les certitudes sémantiques ni sur un programme à mettre en œuvre mais en partant de questions ouvertes justement parce qu’aucune des réponses proposées ne s’est avérée satisfaisante. La comparaison avec un autre moment de crise politique et sémantique, le moment machiavélien, permettra en conclusion d’illustrer la fécondité de la perspective adoptée. (shrink)

In order to modelize the reasoning of an intelligent agent represented by a poset T, H. Rasiowa introduced logic systems called “Approximation Logics”. In these systems a set of constants constitutes a fundamental tool. In this papers, we consider logic systems called L′T without this kind of constants but limited to the case where T is a finite poset. We prove a weak deduction theorem. We introduce also an algebraic semantics using Hey ting algebra with operators. To prove the completeness (...) theorem of the L′T system with respect to the algebraic semantics, we use the method of H. Rasiowa and R. Sikorski for first order logic. In the propositional case, a corollary allows us to assert that it is decidable to know “if a propositional formula is valid”. We study also certain relations between the L′T logic and the intuitionistic and classical logics. (shrink)

In order to modelize the reasoning of intelligent agents represented by a poset T, H. Rasiowa introduced logic systems called “Approximation Logics”. In these systems the use of a set of constants constitutes a fundamental tool. We have introduced in [8] a logic system called equation image without this kind of constants but limited to the case that T is a finite poset. We have proved a completeness result for this system w.r.t. an algebraic semantics. We introduce in this paper (...) a Kripke-style semantics for a subsystem equation image of equation image for which there existes a deduction theorem. The set of “possible worldsr is enriched by a family of functions indexed by the elements of T and satisfying some conditions. We prove a completeness result for system equation image with respect to this Kripke semantics and define a finite Kripke structure that characterizes the propositional fragment of logic equation image. We introduce a reational semantics which has the advantage to allow an interpretation of the propositionnal logic equation image using only binary relations. We treat also the computational complexity of the satisfiability problem of the propositional fragment of logic equation image. (shrink)

In order to modelize the reasoning of intelligent agents represented by a poset T, H. Rasiowa introduced logic systems called “Approximation Logics”. In these systems the use of a set of constants constitutes a fundamental tool. We have introduced in [8] a logic system called equation image without this kind of constants but limited to the case that T is a finite poset. We have proved a completeness result for this system w.r.t. an algebraic semantics. We introduce in this paper (...) a Kripke-style semantics for a subsystem equation image of equation image for which there existes a deduction theorem. The set of “possible worldsr is enriched by a family of functions indexed by the elements of T and satisfying some conditions. We prove a completeness result for system equation image with respect to this Kripke semantics and define a finite Kripke structure that characterizes the propositional fragment of logic equation image. We introduce a reational semantics which has the advantage to allow an interpretation of the propositionnal logic equation image using only binary relations. We treat also the computational complexity of the satisfiability problem of the propositional fragment of logic equation image. (shrink)

It is our intention in this article to reconsider a text written shortly before his death by the founder of our Society, Pierre Delattre. In it he apparently proposed that the biological meanings of the word function were derived from the mathematical use of the word, a particularization.We claim, on the contrary, that it is the mathematical use of function that comes from its sociological and biological meanings. For this we go back to the etymology of the word. Function comes (...) from the Latin verbfungi (in the first person,fungor). Fungor (a deponent verb form) already has a factitive meaning, I am made to do, and it applies to a functionary, a civil servant engaged in some specific social (or political, or military) task. Hence such a meaning presupposes the existence of a social structure able to compel individuals to undertake a specific task of common interest. The Latin verb can also be applied to a tool, made to function in the interest of man. Thus the meaning offungi requires a preexisting social or biological organization. The function aims to correct the dysfunctions of the global system, whether political or biological. (shrink)

L’article propose l’analyse de trois formes de manifestation de ce que nous avons appelé l’implicite argumentatif : à visée discursive, à visée sémantique et à visée lexicale. Dans la perspective théorique de la Sémantique des Possibles Argumentatifs, nous avons défini ce phénomène sémantico-discursif, comme la reconstruction, dans l’interprétation du sens d’un énoncé ou d’un ensemble d’énoncés, d’un élément signifiant ou d’une configuration d’éléments signifiants relevant de la nature argumentative de la signification d’un mot, présent ou absent de cet (...) énoncé ou de cet ensemble d’énoncés. L’article défend, illustre et argumente les fondements sémantiques de ces trois types d’implicite argumentatif, ancrés dans le potentiel discursif de la signification des mots et dans le potentiel du sens produit dans les instances de parole, de proposer des significations lexicales régénérées. (shrink)

The favourable reception of the analytic philosophy of language plays a central role in the composition of Ricœur’s literary hermeneutics. Following a brief description of the historical and methodological context of this reception, we show how Ricœur intends to link up phenomenology and analytic philosophy of language. Then we examine the role allocated to the analytic philosophy of language in establishing the idea of metaphor as a “more fundamental mode of reference” in The Rule of Metaphor . But once again (...) Ricœur situates this semantic interpretation of metaphor within the context of an ontology. The result is methodological difficulties that mark the limits of Ricœur’s reception of the analytic philosophy of language. Keywords: Semantics, Metaphor, Ontology, Structuralism, Poetics. Résumé La réception de la philosophie analytique du langage joue un rôle central dans la constitution de l’herméneutique littéraire de Ricœur. Après avoir tracé le cadre historique et systématique dans lequel s’inscrit cette réception, on montre comment Ricœur se propose d’articuler phénoménologie et philosophie analytique du langage. On étudie ensuite le rôle assigné à la philosophie analytique du langage pour la mise en place de la conception de la métaphore comme “mode plus fondamental de la référence” dans La métaphore vive . Mais Ricœur situe encore une fois cette interprétation sémantique de la métaphore dans un cadre ontologique. Il en résulte des difficultés systématiques qui marquent les limites de la réception de la philosophie analytique du langage par Ricœur. Mots-clés: Sémantique, Métaphore, Ontologie, Structuralisme, Poétique. (shrink)