Ordinary dialogical logic offers processing memory as a history of dialogues. Find a reference in this history is an ambiguous process, which can transform in complex or impossible issues the questions that compose a dialogue. Thus, two researches of justifications overlap in a dual problem of justification. In addition, this consideration of the memory uses a lot of technical resources.We propose a dialogical formalism that solves these problems: double justification, composition, memory saving. To do this, we will develop "special" rules (...) that will reconfigure the formalism and consider the metaphysical and philosophical concepts in this logical system and its interpretations.This article is divided into three parts:A presentation of the dialogical framework oriented towards the presentation of the problem of double justification.A re-interpretation of this framework in terms of matrices: the logical formulas modeled on the linguistic and mathematical language reading are replaced by a concept borrowed from the game semantical approach.A brief summary of the new approaches presented by this method: reaffirmation of the clear separation between different levels of analysis and economy on the amount of memory required. (shrink)

PREFACEProf. Göran Sundholm of Leiden University inspired the group of Logic at Lille and Valparaíso to start a fundamental review of the dialogical conception of logic by linking it to constructive type logic. One of Sundholm's insights was that inference can be seen as involving an implicit interlocutor. This led to several investigations aimed at exploring the consequences of joining winning strategies to the proof-theoretical conception of meaning. The leading idea is, roughly, that while introduction rules lay down the conditions (...) under which a winning strategy for the Proponent may be built, the elimination rules lay down those elements of the Opponent's assertions that the Proponent has the right to use for building winning strategy. It is the pragmatic and ethical features of obligations and rights that naturally lead to the dialogical interpretation of natural deduction.During the Visiting Professorship of Prof. Sundholm at Lille in (2012) the group of Lille started delving into the ways of implementing Per Martin-Löf's Constructive Type Theory with the dialogical perspective. In particular, Aarne Ranta's (1988) paper, the first publication on the subject, was read and discussed during Sundholm’s seminar. The discussions strongly suggested that the game-theoretical conception of quantifiers as deploying interdependent moves provide a natural link between CTT and dialogical logic. This idea triggered several publications by the group of Lille in collaboration with Nicolas Clerbout and Juan Redmond at the University of Valparaíso, including the publication of the book (2015) by Clerbout / Rahman that provides a systematic development of this way of linking CTT and the dialogical conception of logic. However the Clerbout / Rahman book was written from the CTT perspective on dialogical logic, rather than the other way round. The present book should provide the perspective from the other side of the dialogue between the Dialogical Framework and Constructive Type Theory. The main idea of our present study is that Sundholm's (1997) notion of epistemic assumption is closely linked to the Copy-Cat Rule or Socratic Rule that distinguishes the dialogical framework from other game-theoretical approaches. One way to read the present book is as a further development of Sundholm’s extension of Austin's (1946, p. 171) remark on acts of assertion to inference. Indeed, Sundholm (2013, p. 17) gave the following forceful formulation: When I say therefore, I give others my authority for asserting the conclusion, given theirs for asserting the premisses.Per Martin-Löf, in recent lectures, have utilized the dialogical perspective on epistemic assumptions to get out of a certain circle that threatens the explanation of the notions of inference and demonstration. A demonstration may be explained as a chain of (immediate) inferences starting from no premisses. That an inference J1... Jn—————Jis valid means that the conclusion J can be made evident on the assumption that J1, …, Jn are known. The notion of epistemic assumption thus enters in the explanation of valid inference. We cannot, however, in this explanation understand 'known' in the sense of demonstrated, for then we are explaining the notion of inference in terms of demonstration, whereas demonstration has been explained in terms of inference. Martin-Löf suggests that we here understand 'known' in the sense of asserted, so that epistemic assumptions are judgements others have made, judgements for which others have taken the responsibility; that the inference is valid then means that, given that others have taken responsbility for the premisses, I can take responsibility for the conclusion:The circularity problem is this: if you define a demonstration to be a chain of immediate inferences, then you are defining demonstration in terms of inference. Now we are considering an immediate inference and we are trying to give a proper explanation of that; but, if that begins by saying: Assume that J1, …, Jn have been demonstrated – then you are clearly in trouble, because you are about to explain demonstration in terms of the notion of immediate inference, hence when you are giving an account of the notion of immediate inference, the notion of demonstration is not yet at your disposal. So, to say: Assume that J1, …, Jn have already been demonstrated, makes you accusable of trying to explain things in a circle. The solution to this circularity problem, it seems to me now, comes naturally out of this dialogical analysis. […]The solution is that the premisses here should not be assumed to be known in the qualified sense, that is, to be demonstrated, but we should simply assume that they have been asserted, which is to say that others have taken responsibility for them, and then the question for me is whether I can take responsibility for the conclusion. So, the assumption is merely that they have been asserted, not that they have been demonstrated. That seems to me to be the appropriate definition of epistemic assumption in Sundholm's sense. One of the main tenets of the present study is that the further move of relating the Socratic Rule rule with judgemental equality provides both a simpler and more direct way to implement the constructive type theoretical approach within the dialogical framework. Such a reconsideration of the Socratic Rule, roughly speaking, amounts to the following. 1.A move from P that brings-forward a play-object in order to defend an elementary proposition A can be challenged by O. 2.The answer to such a challenge, involves P bringing forward a definitional equality that expresses the fact that the play-object chosen by P copies the one O has chosen while positing A. For short, the equality expresses at the object-languaje level that the defence of P relies on the authority given to O to be able to produce the play-objects she brings forward. More generally, according to this view, a definitional equality established by P and brought forward while defending the proposition A, expresses the equality between a play-object (introduced by O) and the instruction for building a play-object deployed by O while affirming A. So it can be read as a computation rule that indicates how to compute O's instructions. Let us recall that from the strategic point of view, O's moves correspond to elimination rules of demonstrations. Thus, the dialogical rules that prescribe how to introduce a definitional equality – correspond – at the strategic level – to the definitional equality rules for CTT as applied to the selector-functions involved in the elimination rules. So, what we are doing here is extending the dialogical interpretation of Sundholm's epistemic assumption to the rules that set up the definitional equality of a type.The present work is structured in the following way:•In the Introduction we state the main tenets that guide our book•Chapter II contains a brief overview of Constructive Type Theory penned by Ansten Klev with exercises and their solutions. •Chapter III offers a novel presentation of the dialogical conception of logic. In fact, the first two sections of the chapter provide an overview of standard dialogical logic – including solved exercises, slightly adapted to the content of the present volume. The rest of the sections develop a new dialogical approach to Constructive Type Theory. •Chapters IV and V contain the main body of our study, namely the relation between the Socratic Rule, epistemic assumptions, and equality. The chapter provides the reader with thoroughly worked out examples with comments. •After the Final Remarks the book containsa.An appendix containing a an overview of all the rules for the new formulation of dialogical approach to constructive type theory developed in the book; b.a brief outline of Per Martin-Löf's informal presentation of the demonstration of the axiom of choice.c.two examples of a tree-shaped graph of an extensive strategy. Acknowledgments: Many thanks to Mark van Atten (Paris1), Giuliano Bacigalupo (Zürich), Charles Zacharie Bowao (Univ. Ma Ngouabi de Brazzaville, Congo), Christian Berner (Lille3), Michel Crubellier (Lille3), Pierre Cardascia (Lille3), Oumar Dia (Dakar), Marcel Nguimbi ((Univ. Marien Ngouabi de Brazzaville, Congo), Adjoua Bernadette Dango (Lille3 / Alassane Ouattara de Bouaké, Côte d'Ivoire), Steephen Rossy Eckoubili (Lille3), Johan Georg Granström (Zürich), Gerhard Heinzmann (Nancy2), Muhammad Iqbal (Lille3), Matthieu Fontaine (Lille3), Radmila Jovanovic (Belgrad), Hanna Karpenko (Lille3), Laurent Keiff (Lille3), Sébastien Magnier (Saint Dennis, Réunion), Clément Lion (Lille3), Gildas Nzokou (Libreville), Fachrur Rozie (Lille3), Helge Rückert (Mannheim), Mohammad Shafiei (Paris1), and Hassan Tahiri (Lisbon), for rich interchanges, suggestions on the main claims of the present study and proof-reading of specific sections of the text. Special thanks to Gildas Nzokou (Libreville), Steephen Rossy Eckoubili (Lille3) and Clément Lion (Lille3), with whom a Pre-Graduate Textbook in French on dialogical logic and CTT is in the process of being worked out – during the visiting-professorship in 2016 of the former. Eckoubili is the author of the sections on exercises for dialogical logic, Nzokou cared of those involving the development of CTT-demonstrations out of winning-strategies. Special thanks also to Ansten Klev (Prague) for helping with technical details and conceptual issues on CTT, particularly so as author of the chapter introducing CTT. (shrink)

La définition platonicienne du philosophe; la philosophie comme mode de vie; rupture et continuité, le Moyen Age et les temps modernes. [SDM].

This paper reviews Deleuze’s theory of language in Logic of Sense, and Deleuze and Guattari’s theory of language in A Thousand Plateaus. In the ontology informed by the Stoics described in those books, human being and language do not exist separately but in a mixture of words and things. The author argues that this flattened ontology of surfaces is incommensurable with the ontology of depth used in conventional humanist qualitative methodology and recommends beginning new empirical inquiry with a concept instead (...) of with method and methodology. (shrink)

Alva Noë’s version of the enactive conception in _Action in Perception_ is an important contribution to the study of visual perception. First, I argue, however, that it is unclear (at best) whether, as the enactivists claim, work on change blindness supports the denial of the existence of detailed visual representations. Second, I elaborate on what Noë calls the ‘puzzle of perceptual presence’. Thirdly, I question the enactivist account of perceptual constancy. Finally, I draw attention to the tensions between enactivism and (...) two trends in cognitive neuroscience: the two-visual systems model of human vision and the theory of internal forward models of action. (shrink)

La présente étude propose une interprétation de EN, V, 10, en défendant deux thèses: premièrement que la notion centrale de la variabilité du droit naturel signifie la diversité des interprétations que l'on peut donner d'un sentiment communément partagé du juste ou de l'injuste (cf. Rhét., I, 13); deuxièmement que, pour échapper au relativisme de type protagoréen, Aristote défend l'idée d'un régime parfait qui seul peut fournir la meilleure interprétation de ce sentiment.

Le mal est une notion qui s’étend au moins sur trois champs disciplinaires : la théologie, la philosophie et l’art. Il connaît un même traitement dans chacun de ces trois champs, motivé par des systèmes différents : le mal n’est jamais pris comme objet causa sui mais toujours considéré dans sa relativité à un objet premier dont il contribue à définir la limite. Nous proposons un rapide tour d’horizon de cette situation afin d’ouvrir les pistes de réflexion d’une intelligibilité du (...) comportement de cette notion dans l’histoire des idées. Nous suivons un ouvrage de Paul Ricœur et saisissons certains textes clefs de l’histoire de la pensée au travers de l’objet problématique qu’est le mal, évoquant notamment les travaux plus récits avec la méthode herméneutique proposée par Hans Blumenberg afin de percevoir la figure du diable comme l’objet pratique d’une telle observation dans le fil de l’histoire des idées. (shrink)

Musique et philosophie ne peuvent être séparées chez Nietzsche. C’est du moins l’hypothèse de cet article, qui vise à préciser les liens entre ces deux « actions » sur deux points précis : le rythme musical dans les premières recherches du jeune Nietzsche, et la question même de l’éternel retour. En effet, cette pensée centrale ne saurait être comprise, c’est-à-dire pleinement interprétée, sans lui conférer aussi un sens musical – et même, plus précisément, un sens rythmique. De nombreux textes tendent (...) ainsi à montrer que la philosophie stylistique de Nietzsche est manifestement indissociable de la sensibilité à la musique. (shrink)

Putnam’s argument aims to prove that future is as real as present. His argument is based on the equation present = real. Is real what exists now. Is real what is part of observer-independent reality. What exists now depends on an observer—it is not real. It is then shown that Special Relativity is not only a physical theory, it has also a philosophical dimension in that it questions our very understanding of reality and requires a clear distinction between reality and (...) its representation. (shrink)

Cet article fournit, dans sa première section, une analyse méthodologique de l’utilisation de corpora, au cours de laquelle je détaille, de manière argumentée ce qu’on peut en attendre et pour quels objectifs, précise ce qu’on ne peut pas en attendre et montre pourquoi. La première partie conclut sur l’inutilité des corpora d’occurrences en sémantique des langues, même s’ils sont indispensables dans d’autres disciplines (comme, par exemple, les études littéraires) ; j’insiste sur le caractère nuisible de leur utilisation en sémantique, sauf (...) dans un cas que je spécifie, utilisation qui réintroduit l’introspection sémantique en la maquillant derrière un appareil technique inspiré des statistiques. Dans la deuxième section, je montre qu’il existe un moyen de sortir du carcan pseudo-méthodologique que la mode présentant les corpora comme unique accès à l’observation empirique tente d’imposer ; ce moyen, qui part de l’idée d’enrichir les corpora par des indications sur l’interprétabilité des échantillons, comporte deux aspects principaux : (i) réhabiliter l’expérimentation empirique et (ii) rechercher des hypothèses théoriques permettant d’engendrer des hypothèses descriptives à tester au moyen des expériences empiriques. On y insiste sur le fait que, conformément à ce que requiert une démarche scientifique rigoureuse, les tests empiriques ne peuvent pas vérifier une hypothèse, mais seulement la réfuter : c’est l’échec de la réfutation qui constitue un indice de validité (provisoire) de l’hypothèse. La troisième section présente, en détail et avec des illustrations, deux tests empiriques permettant des expérimentations destinées à tester les descriptions sémantiques que l’on peut être amené à proposer. On y insiste sur le fait que les corpora nécessaires à ces expérimentations peuvent être petits, mais nécessitent une interaction minimale entre l’observateur et les destinataires des échantillons : ils sont enrichis par une indication non verbale, fournie par les destinataires des échantillons, à propos de l’éventuelle difficulté qu’ils ont eues à les interpréter. Les tests sémantiques utilisant des unités de langue déjà décrites, le chapitre conclut sur l’avantage d’une incrémentation de la descriptibilité des unités de langue s’appuyant sur la récursivité des moyens de tester les descriptions : toute description non réfutée par les tests existants permet de construire de nouveaux tests. (shrink)

Qu’est-ce que les auteures entendent en proposant de tester la validité d’une « histoire atlantique » de la profession d’infirmière en France? Elles veulent montrer que ce qui se passe en matière de nursing en Angleterre ou aux États-Unis a affecté la trajectoire historique des différentes protagonistes des soins infirmiers en France, que l’on considère ceux-ci comme une profession (organisation d’un groupe défini par son activité) ou comme une discipline (enseignée dans des institutions déd...

Marta Caravà synthétise de manière très juste et claire les ambitions de la lecture que je propose de Wittgenstein dans le troisième chapitre de l’ouvrage: il s’agit de penser d’une manière critique renouvelée le projet des sciences cognitives, en particulier dans leurs versions énactives ou énactivistes. Avant de répondre aux questions légitimes qu’elle m’adresse, je voudrais dissiper un malentendu concernant le statut de ce que j’appelle, à la suite de Wittgenstein, les “concepts psychologi...

This article deals with the difficulties of the yet intuitive causal interpretation of the mind–body connection emphasized by metaphysical, theoretical and experimental considerations. It shows that a decisive contribution to determining the nature of this connection can be provided experimentally. This experimental test is designed within the framework of a general systems theory capable of representing the concepts of complementarity and entanglement that are involved in the description of the mind–body connection.

(No abstract is available for this citation).

In this commentary, I ask three specific questions: (1) Why would a juvenile stage be maintained in humans? (2) What could be a satisfactory evolutionary scenario explaining the features of feminine speech? And (3), what could be the contribution of sexual selection in the elicitation of higher informational contents in communicative signals?

L’article examine les conditions dans lesquelles le néologisme « idéologie », entre 1796, date à laquelle il a été forgé par Destutt de Tracy, et 1845, date à laquelle il a été réutilisé par Marx, est passé d’une valeur positive (en tant que science générale des idées) à une valeur connotée négativement (en tant que système social de croyances décalé par rapport à la réalité qu’il évoque).

Este artigo tenta mostrar como o livro La patience du concept, de G. Lebrun, foge à regra da história francesa do hegelianismo, ao esvaziar o dilema do pró e contra que a envolve desde o início, apontando a necessidade de ler a obra de Hegel como “discurso filosófico” livre dos referenciais da metafísica que justamente quer denunciar.

Inscriptions from Amathous X. Greek and latin inscriptions from the agora of Amathous. The riches of this batch of inscriptions reflect the importance of its find spot. If of three building dedications there exists nothing but the most banal elements, that of a probable mausoleum dedicated to Germanicus reveals an unrecognized aspect of the cult of this prince. Statuary dedications uncover two new proconsuls and a new proquestor, as well as two hitherto unencountered documents from Cyprus : a bronze statue (...) of Gordian III, and that of a doukenarion, interim governor of the island. Together, with proof of the city’s status as metropolis, and a document unique in its type, the plan of a sacred asylum zone, the inscriptions shed new light on the economic and political panorama of Amathous in imperial times, which until recently appeared rather lustreless. (shrink)

La Polonaise Apolline Hélène Massalska (1763-1815) n’est pas une inconnue en France. Née en Lituanie, orpheline de père et de mère dès 1764, elle est conduite à Paris en 1771 par son oncle qui la place au couvent très huppé de l’Abbaye-aux-Bois, rue de Sèvres, jusqu’à son mariage en 1779. Elle épouse alors le prince Charles de Ligne puis, en 1794, le prince Vincent Potocki, moyennant quelques années de concubinage, pour elle, et de bigamie, pour lui. Elle connaitra une vie (...) mondaine en Belgiqu... (shrink)

L’intitulé de ce volume de mélanges en l’honneur de Jean Garapon ne laisse pas transparaître d’emblée l’intérêt qu’il peut présenter pour l’histoire des femmes. J. Garapon était et reste un spécialiste reconnu et actif d’un genre à la fois historique et littéraire : les mémoires écrits au xviie siècle et, par extension, de la Renaissance aux Lumières. Les frontières problématiques que possède ce genre avec l’histoire, le roman, le journal, le témoignage et l’autobiographie justifient l’accent...

In this article, I propose to question under what conditions an act of engagement can take place for causes that escape our immediate perception (in a phenomenological way), even though our hypermodern lifestyles are ambivalent: they allow us to open up to the world through information technology, but they also close us to our own subjective spheres. In the digital age, access to information is indeed becoming more and more personalized and dependent on algorithmic recommendation logics. The more we create (...) cognitive bubbles, the more we make it difficult to access a common world, as well as to get morally involved in distant causes. (shrink)

Uma estrutura formal das leis da física modema consiste em que elas são reversiveis em relação ao tempo. Isso cria problemas para a cosmologia relativista a partir do momento em que Gódel mostrou que a reversibilidade em relação ao tempo pode ser uma propriedade real do Universo. Mesmo que o mito platônico docosmo invertido no Político tenha tido uma origem essencialmente política, o argumento do tempo invertido no Universo continua relevante para a filosofia modema da ciência.

Contre la critique platonicienne, Aristote a confié au théâtre la charge d’une opération mimétique associant à la valeur épistémique de la fable la fonction politique d’une catharsis collective des passions, produite par la représentation théâtrale. Qu’en est-il de ces thèses aujourd’hui, où aller au théâtre n’est plus un rite politique? En quoi l’art du théâtre peut-il contribuer à l’expérience des spectateurs, comme connaissance du monde et comme formation subjective? En dépit des critiques de Deleuze et de Foucault, on réhabilitera la (...) notion de représentation dans son rapport à l’expérience. On soutiendra la valeur esthétique et politique de la narrativité théâtrale, non pour récuser les gestes de subversion du sens des années 70, mais pour en reprendre l’intention critique par d’autres voies. (shrink)

The participation of the Rassemblement Wallon in the Belgian government, from June 1974 to March 1977, pointed to great incoherence. Bebind the many incidents characterizing this experience, a ma;or change seems to have taken place within this party as well as in Belgian politics. Isolated in the government coalition, the RW was sub;ect to growing internal tensions, which resulted in the outline of contradictory strategies. The failure of its openings towards the right caused a rift in the party, thus necessitating (...) alternate alliances with «the left», through a rapprochement towards the PSB and the FDF.This evolution highly contributed to the signing of an agreement between the three regions and to the onset of Belgium towards federalism. (shrink)