This paper investigates (modal) extensions of Heyting-Brouwer logic, i.e., the logic which results when the dual of implication (alias coimplication) is added to the language of intuitionistic logic. We first develop matrix as well as Kripke style semantics for those logics. Then, by extending the Gö;del-embedding of intuitionistic logic into S4, it is shown that all (modal) extensions of Heyting-Brouwer logic can be embedded into tense logics (with additional modal operators). An extension of the Blok-Esakia-Theorem is proved for this embedding.

Tous les ans, les anciens bûcherons Balâmi vivant à la périphérie de la vallée de Katmandou (Népal) donnent des représentations théâtrales très ritualisées à l’intention des habitants des agglomérations voisines, dont la petite ville de Pharping. Ces performances mettent en scène de vieilles histoires royales dont l’intrigue varie légèrement d’années en années. Elles sont ponctuées d’épisodes comiques. Les émotions qu’expriment les acteurs constituent un ressort essentiel du drame, notamment les larmes des princesses qui voient périr leur mari. Le jeu reste (...) extrêmement codifié et entouré de croyances religieuses. Ces pièces se terminent par des sacrifices d’animaux offerts aux divinités patronnes de la troupe. Issues du théâtre néwar classique de l’époque Malla ( xvii e - xviii e siècle particulièrement), elles témoignent de puissantes interactions entre traditions populaires et littérature plus savante. (shrink)

... OU RÉALISME? L'aventure est trop courante dans la vie d'un érudit qu'il décide de lui-même ou à la demande d'autrui d'aborder un sujet qu'il croit ou ...

We solve a major open problem concerning algorithmic properties of products of ‘transitive’ modal logics by showing that products and commutators of such standard logics as K4, S4, S4.1, K4.3, GL, or Grz are undecidable and do not have the finite model property. More generally, we prove that no Kripke complete extension of the commutator [K4,K4] with product frames of arbitrary finite or infinite depth (with respect to both accessibility relations) can be decidable. In particular, if.

In this paper we investigate first order common knowledge logics; i.e., modal epistemic logics based on first order logic with common knowledge operators. It is shown that even rather weak fragments of first order common knowledge logics are not recursively axiomatizable. This applies, for example, to fragments which allow to reason about names only; that is to say, fragments the first order part of which is based on constant symbols and the equality symbol only. Then formal properties of "quantifying into" (...) epistemic contexts are investigated. The results are illustrated by means of epistemic representations of Nash Equilibria for finite games with mixed strategies. (shrink)

We propose and investigate a uniform modal logic framework for reasoning about topology and relative distance in metric and more general distance spaces, thus enabling the comparison and combination of logics from distinct research traditions such as Tarski’s for topological closure and interior, conditional logics, and logics of comparative similarity. This framework is obtained by decomposing the underlying modal-like operators into first-order quantifier patterns. We then show that quite a powerful and natural fragment of the resulting first-order logic can be (...) captured by one binary operator comparing distances between sets and one unary operator distinguishing between realised and limit distances . Due to its greater expressive power, this logic turns out to behave quite differently from both and conditional logics. We provide finite axiomatisations and ExpTime-completeness proofs for the logics of various classes of distance spaces, in particular metric spaces. But we also show that the logic of the real line is not recursively enumerable. This result is proved by an encoding of Diophantine equations. (shrink)

Cet article entend montrer comment, quand il expose la doctrine dite Assumptus homo, le philosophe et théologien latin Jean Duns Scot (1265 - 1308) prend appui sur le théologien grec Jean de Damas (c. 675 - c. 749), concernant trois points principaux: dans le Christ, la nature humaine est assumée par la personne du Verbe intégralement; elle est assumée dans un individu, non dans une personne; éternellement et temporellement. Le présent article complète l'étude des rapports entre les deux auteurs, après (...) l'article paru dans le numéro 3-4 la revue Chôra (2005-2006), sous le titre «Jean de Damas et Jean Duns Scot surl'infinité de l'essence divine». (shrink)

The core dimensions of cognitive fitness, such as attention and cognitive control, are emerging through a transdisciplinary expert consensus on what has been termed the Cognitive Fitness Framework. These dimensions represent key drivers of cognitive performance under pressure across many occupations, from first responders to sport, performing arts and the military. The constructs forming the building blocks of CF2 come from the RDoC framework, an initiative of the US National Institute of Mental Health aimed at identifying the cognitive processes underlying (...) normal and abnormal behavior. Similar to physical conditioning, cognitive fitness can be improved with deliberate practice. This paper reports the development of a prototype cognitive fitness training program for competitive athletes and the protocol for its evaluation. The program is focused on primary cognitive capacities and subtending skills for adjusting training rhythms and enhancing readiness for competition. The project is driven by the Australian Psychological Society’s College of Sport & Exercise Psychology and includes the development of a Cognitive Gym program for a smartphone app-enhanced implementation. Its key building blocks are training protocols connected by a periodized training plan. A website with background supporting resources has also been developed as part of the project. National-level training squads will participate in a three-week pilot evaluation protocol, assessing the program’s efficacy and usability through gamified cognitive assessment of participants’ training gains and coaching staff evaluations, respectively. Both near and far transfer of training effects will be examined. (shrink)

Purpose This study aims to explore how the public perceives the effectiveness of surveillance technology, and how people’s views on privacy and their views on effectiveness are related. Likewise, it looks at the relation between perceptions of effectiveness and opinions on the acceptable cost of surveillance technology. Design/methodology/approach For this study, surveys of Dutch students and their parents were conducted over three consecutive years. Findings A key finding of this paper is that the public does not engage in a trade-off (...) neither with regard to privacy-effectiveness nor with effectiveness-cost, but rather expects all three elements to be achieved simultaneously. This paper also found that the correlation between perceived effectiveness and perceived privacy was stronger for parents than for students. Research limitations/implications Participants for this study were exclusively in The Netherlands. Survey questions on the effectiveness of surveillance technology focused on one type of technology, and on private mobile device use in two scenarios. Social implications The public’s perceptions of the effectiveness of surveillance technology potentially influence its acceptance of the technology, which, in turn, can affect the legitimacy and use of the technology. Originality/value Within the much-discussed privacy-security debate lies a less-heard debate – that of the effectiveness of the surveillance technology in question. The public is one actor in this debate. This study examines the public’s perceptions of this less-heard debate. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:AN EXPLICATION OF THE DE HEBDOMADIBUS OF BOETHIUS IN THE LlGHT OF ST. THOMAS'S COMMENTARY HE WRITINGS o:f Ancius Manlius Severinus Boehius exercised a powerful influence on the nature and evelopment o:f mediaeval philosophy. The extent of his influence was such that I think it fair to say that anyone seeking more than a superficial grasp of mediaeval philosophy must acquire some first-hand knowledge of his work. The trouble (...) is, however, that while The Corwlsation of Philosophy is well-known and much commented upon, Boethius's other works are relatively neglected.1 Included in this latter group are the five theological tractates, one of which has this imposing title: Quomodo Substantiae In Eo Quad Sint Bonae Sint Cum Non Sint Substantialia Bona. This tractate also has the more managable title De Hebdomadibus and it is as such that I shall refer to it throughout this article.2 I have chosen to give an explication of the De Hebdomadibus for three reasons. First the problem with which it deals (the nature of the relation between goodness and substance) is intrinsically interesting and Boethius's solution to the problem is a model of philosophical analysis. Second, in addition to the fact that the philosophical status of the nine axioms listed in the tractate is a matter of some scholarly controversy, the answer to the obvious question of how these axioms function in the tractate as a whole is not at all clear. And third, this tractate is philosophically significant to those philosophers who take St. 1 I am obliged to Professor Ralph Mcinerny for awakening my interest in Boethius and for his suggestion that the De Hebdomadibus would repay careful study. 2 All references are to the H. F. Stewart and E. K. Rand edition of The Theological Traotates and The Consolation of Philosophy, in the Loeb Classical Library (Cambridge, Massachusetts: Harvard University Press, 1973). 419 420 GERARD CASEY Thomas as their inspiration since it appears that St. Thomas's existence/essence distinction is adumbrated here. I shall begin my explication by giving a brief overview of the main lines of the tractate. Then I shall lay out the arguments contained in the statement and resolution of the dilemma which Boethius constructs, indicating (by means of Roman numerals in parentheses ) where I think particular axioms are meant to apply. Finally, I shall display the axioms as perspicuously as possible and comment on them. Overview The groundplan of the De Hebdomadibus is as follows. It begins with a brief introduction which contains the nine axioms. Then the problem to be considered is outlined in the form of the following dilemma. Things which are are good. This is the basic assumption which will generate the dilemma. Things which are good are so either by virtue of their substance or by participation. If they are good by virtue of their substance then, since God is the only substantial good, we arrive at an impious conclusion: we identify creatures with their Creator. lf they are good by participation then we generate a contradiction : things do and do not tend toward the good. Therefore, the conclusion must be that things which are are not good, which manifestly contradicts the basic assumption. Boethius's solution to the dilemma makes use of a thought-experiment. Abstracting from the first good he distinguishes locutions such as ' to be ' from locutions such as ' to be good.' On the basis of this distinction he is led to conclude that goodness is either a property of things or a principle of things. Re-introducing the notion of the first good, he notes that it is good by virtue of its very being. Secondary goods are also good by virtue of their being but only because that being derives from the will of the first good. Boethius cautions us against likening the being of particular things to the being of the first good and concludes the tractate by considering and refuting two objections to his solution. THE DE HEBDOMADIBUS IN THE LIGHT OF ST. THOMAS 421 The theme of the tractate is the problem of how substances can be good in virtue of their being without, at the same time... (shrink)

Educating the Virtues David Carr Routledge, 1991. Pp. 304. ISBN 0?415?05746?9. £35. The Philosophical Theology of St Thomas Aquinas By Leo J. Elders E. J. Brill, 1990. Pp. 332. ISBN 0?04?09156?4. $74.36. The State and Justice: An Essay in Political Theory By Milton Fisk Cambridge University Press, 1990. Pp. x + 391. ISBN 0?521?38966?6. £10.95 pbk. Perspectives on Language and Thought: Interrelations in Development Edited by S. A. Gelman and J. P. Byrnes Cambridge University Press, 1992. Pp. xii + 524. (...) ISBN 0?521?37497?9. £50. Aristotle's First Principles By T. H. Irwin Oxford University Press, 1989. Pp. xviii + 702. ISBN 0?198?24717?6. £17.50 Pbk. Truth and Eros: Foucault, Lacan, and the Question of Ethics By John Rajchman Routledge, 1991. Pp. 155. ISBN 0?415?90380?7. £10.99. Logical Forms By Mark Sainsbury Blackwell, 1991. Pp. 408. ISBN 0?631?17777?9. £11.95. Form and Transformation. A Study in the Philosophy of Plotinus By Frederic M. Schroeder McGill?Queen's University Press, 1992. Pp. xiv + 136. ISBN 0?7735?1016?8. £34.95. Did The Greeks Believe Their Myths? An Essay on the Constitutive Imagination By Paul Veyne, translated by Paula Wissing The University of Chicago Press, 1988. Pp. 161. ISBN 0?226?85434?5. £8.75 Pbk. What is Philosophy? By Dietrich von Hildebrand Routledge, 1991. Pp. lvii + 242. ISBN 0?415?02584?2. £12.99. (shrink)

Le Moïse de Spinoza présente la particularité entre les convocations habituelles en philosophie politique, d’être à la fois prophète et législateur, vecteur d’un mode théologique de production des lois : il est le seul prophète à constituer un peuple, une république. Cela procède d’un premier pacte avec Dieu, au fondement d’une théocratie imaginaire, réellement une démocratie. Mais ils sont terrifiés (perterriti) en allant consulter Dieu. Comment comprendre l’usage de ce mot rare en latin? Il faut le replacer dans le réseau (...) sémantique de l’admiration, solidaire de l’imaginaire théologique qui cristallise leur expérience comme nation. Il nomme l’expérience du sacré et de l’augural et aboutit à un second pacte qui fonde la monarchie de Moïse. Nous examinerons les institutions qui font sa force en associant le peuple aux décisions du monarque et les causes internes de sa destruction. (shrink)

Not so long ago, if you wanted to start a barroom brawl at a philosophy conference all you had to do was to make the claim that a defensible ethical or political theory is necessarily constrained by some theory of human nature or other. Underlying the unease that some philosophers felt with any such claim was perhaps the belief that to allow such a claim would necessarily justify oppression or discrimination or deny human responsibility, meaning or purpose.1 Making such a (...) claim today about a connection between theories of human nature and ethics and politics might still start a fight but the claim-maker is likely to have more allies than would have been the case even, say, ten years ago.2.. (shrink)

The emergence of electronic computers in the last thirty years has given rise to many interesting questions. Many of these questions are technical, relating to a machine’s ability to perform complex operations in a variety of circumstances. While some of these questions are not without philosophical interest, the one question which above all others has stimulated philosophical interest is explicitly non-technical and it can be expressed crudely as follows: Can a machine be said to think and, if so, in what (...) sense? The issue has received much attention in the scholarly journals with articles and arguments appearing in great profusion, some resolutely answering this question in the affirmative, some, equally resolutely, answering this question in the negative, and others manifesting modified rapture. While the ramifications of the question are enormous I believe that the issue at the heart of the matter has gradually emerged from the forest of complications. (shrink)

Since the heyday of the Enlightenment, there have been concerted efforts in many parts of the West to get religion out of politics, presumably on the grounds that religion is bad for politics. Whatever the merits of these efforts, and to whatever extent they may be justifiable, what has not, perhaps, been so widely considered is whether or not it might also be a good idea to separate religion from politics because politics is bad for religion! I argue that politics, (...) understood as the institution and operation of the state, is a deeply flawed project and hence that religion’s association with it is necessarily damaging to religion. The time for divorce has finally arrived. (shrink)

Before I come to Professor Anderson’s objections to the argument in question, I should like to clarify just a few points. The argument that I presented is taken immediately from Mortimer Adler’s presentation of it, so let us call it ‘Adler’s Argument,’ though in fact its origins go all the way back to Aristotle. My reading of Adler’s presentation of the argument was that he gave it in two different forms, one categorical, the other hypothetical. Both forms of the argument, (...) of course, have effectively the same conclusion, which is, in the case of its categorical version, that “concepts are not physical beings” [proposition 3 for Professor Anderson] and, in the case of its hypothetical version, that “A concept is not an act of a bodily organ” [proposition 6 for Professor Anderson]. Now Adler concludes immediately from propositions 3/6 that “the power of conceptual thought is an immaterial power.” I argued in my original article that it was not obvious that this proposition was equivalent to propositions 3/6 and so I presented an additional argument to the bridge the gap [propositions a, b, c and d for Professor Anderson]. Let us call this ‘Casey’s Addendum.’. (shrink)