Les vues philosophiques de Vladimir Jovanović : p.165-167.

The anthology Unpacking Normativity, edited by Kenneth Einar Himma, Miodrag Jovanović, and Bojan Spaić, follows the international conference ‘Legal Normativity and Language’ which took place at the...

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)

We show that in a dilute gas the wave function’s spreading is limited by scattering off other particles. This shows that quantum mechanics can be consistent with the kinetic theory of gases.

Stephen Law’s evil-god challenge is the argument that since an evil god is just as likely as the God of theism, there is no reason to believe that theism is true over believing there is a god who is omnipotent, omniscient, and omnimalevolent. There have been several attempts to answer the challenge, but recently John Collins has defended the evil-god challenge and also extended the argument past Law’s original formulation. In this article, I defend the classical theism of Thomas Aquinas (...) against the evil-god challenge. In particular, I explain how Aquinas’s theodicy involving God’s goodness and Aquinas’s privation view of evil avoid the challenge. (shrink)

Searle has recently used two adaptations of his Chinese room argument in an attack on connectionism. I show that these new forms of the argument are fallacious. First I give an exposition of and rebuttal to the original Chinese room argument, and then a brief introduction to the essentials of connectionism.

Chaos theory is a rapidly growing field. As a technical term, chaos refers to deterministic but unpredictable processes being sensitively dependent upon initial conditions. Neurobiological models and experimental results are very complicated and some research groups have tried to pursue the neuronal chaos. Babloyantz's group has studied the fractal dimension (d) of electroencephalograms (EEG) in various physiological and pathological states. From deep sleep (d=4) to full awakening (d>8), a hierarchy of strange attractors paralles the hierarchy of states of consciousness. In (...) epilepsy (petit mal), despite the turbulent aspect of a seizure, the attractor dimension was near to 2. In Creutzfeld-Jacob disease, the regular EEG activity corresponded to an attractor dimension less than the one measured in deep sleep. Is it healthy to be chaotic? An active desynchronisation could be favourable to a physiological system. Rapp's group reported variations of fractal dimension according to particular tasks. During a mental arithmetic task, this dimension increased. In another task, a P300 fractal index decreased when a target was identified. It is clear that the EEG is not representing noise. Its underlying dynamics depends on only a few degrees of freedom despite yet it is difficult to compute accurately the relevant parameters.What is the cognitive role of such a chaotic dynamics? Freeman has studied the olfactory bulb in rabbits and rats for 15 years. Multi-electrode recordings of a few mm2 showed a chaotic hierarchy from deep anaesthesia to alert state. When an animal identified a previously learned odour, the fractal dimension of the dynamics dropped off (near limit cycles). The chaotic activity corresponding to an alert-and-waiting state seems to be a field of all possibilities and a focused activity corresponds to a reduction of the attractor in state space. For a couple of years, Freeman has developed a model of the olfactory bulb-cortex system. The behaviour of the simple model without learning was quite similar to the real behaviour and a model with learning is developed. (shrink)

Background In Canadian jurisdictions without specific legislation pertaining to research consent, the onus is placed on researchers to determine whether a child is capable of independently consenting to participate in a research study. Little, however, is known about how child health researchers are approaching consent and capacity assessment in practice. The aim of this study was to explore and describe researchers' current practices. Methods The study used a qualitative descriptive design consisting of 14 face-to-face interviews with child health researchers and (...) research assistants in Southern Ontario. Transcribed interviews were analysed for common themes. Results Procedures for assessing capacity varied considerably from the use of age cutoffs to in-depth engagement with each child. Three key issues emerged from the accounts: (1) requirements that consent be provided by a single person thwarted researchers' abilities to support family decision-making; (2) little practical distinction was made between assessing if a child was capable, versus determining if study information had been adequately explained by the researcher; and (3) participants' perceived that review boards' requirements may conflict with what they considered ethical consent practices. Conclusion The results suggest that researchers' consent and capacity knowledge and skills vary considerably. Perceived discrepancies between ethical practice and ethics boards' requirements suggest the need for dialogue, education and possibly ethics board reforms. Furthermore we propose, where appropriate, a ‘family decision-making’ model that allows parents and their children to consent together, thereby shifting the focus from separate assent and consent procedures to approaches that appropriately engage the child and family. (shrink)

Norman Daniels's new book, Just Health, brings together his decades of work on the problem of justice and health. It improves on earlier writings by discussing how we can meet health needs fairly when we cannot meet them all and by attending to the implications of the socioeconomic determinants of health. In this article I return to the core idea around which the entire theory is built: that the principle of equality of opportunity grounds a societal obligation to meet health (...) needs. I point, first, that nowhere does Daniels say just what version of that principle he accepts. I then proceed to construct a principle on his behalf, based on a faithful reading of Just Health. Once we actually nail down the principle, I argue, we will find that there are two problems: it is implausible in itself, and it fails to ground a societal obligation to meet health needs. (shrink)

The purpose of this article is to discuss at greater length two problems raised by Mr. D. J. Mosley towards the end of his discussion of the Athenian Embassy to Sparta in 371 published in Proceedings of the Cambridge Philological Society N.s. viii, 41 ff. The first of these problems concerns the policy pursued by Callistratus at this peace-conference, the second the effect on their audience of the divergent speeches of three of the Athenian ambassadors, Callias, Autocles, and Callistratus, which (...) Xenophon reports. (shrink)