Machine generated contents note: Notes on Contributors. -- Foreword (Michael A. Peters). -- Introduction: Alain Badiou: 'Becoming subject' to education (Kent den Heyer). -- 1. Badiou, Pedagogy and the Arts (Thomas E. Peterson). -- 2. Badiou's Challenge to Art and its Education: Or, 'art cannot be taught--it can however educate!' (Jan Jagodzinski). -- 3. Alain Badiou, Jacques Lacan and the Ethics of Teaching (Peter M. Taubman). -- 4. Reconceptualizing Professional Development for Curriculum Leadership: Inspired by John Dewey and informed by (...) Alain Badiou (Kathleen R. Kesson and James G. Henderson). -- 5. The Obliteration of Truth by Management: Badiou, St. Paul and the question of economic managerialism in education (Anna Strhan). -- 6. Militants of Truth, Communities of Equality: Badiou and the ignorant schoolmaster (Charles Andrew Barbour). -- Index. (shrink)
O texto apresentado a seguir é uma traduçáo da conferência intitulada “The Burden and Blessing of Mortality” ( The Hastings Center Report , 22, n. 1, jan-fev. 1992, p. 34-40), que foi apresentada à Fundaçáo do Palácio Real [The Royal Palace Foundation], em Amsterdam, no dia 19 de março de 1991. Esta conferência foi traduzida para o alemáo por Reinhard Löw e revisada pelo próprio Jonas, aparecendo com o título “Last und Segen der Sterblichkeit” em Scheidewege 21, 1991/92, p. 26-40, (...) e mais tarde em um livro do próprio Jonas: Philosophische Untersuchungen und metaphysische Vermutungen [Investigações Filosóficas e Suposições Metafísicas] . Frankfurt am Main: Insel Verlag, 1992, p. 81-100. Por sua vez, o texto original, em inglês, veio ainda a fazer parte de uma coletânea de ensaios de Jonas, editada por Lawrence Vogel ( Mortality and Morality : a search for good after Auschwits. Ed. Lawrence Vogel. Evanston, Illinois: Northwestern University Press, 1996, p. 87-97). (shrink)
Educating the gaze is easily understood as becoming conscious about what is 'really' happening in the world and becoming aware of the way our gaze is itself bound to a perspective and particular position. However, the paper explores a different idea. It understands educating the gaze not in the sense of 'educare' (teaching) but of 'e-ducere' as leading out, reaching out. E-ducating the gaze is not about getting at a liberated or critical view, but about liberating or displacing our view. (...) It is not about becoming conscious or aware , but about becoming attentive , about paying attention . E-ducating the gaze, then, is not depending on method, but relying on discipline; it does not require a rich methodology, but asks for a poor pedagogy, i.e. for practices which allow to expose ourselves. One example of such practice is that of walking. Consequently e-ducating the gaze could be about an invitation to go walking. This idea is explored b way of a comment on two quotations, one by Walter Benjamin and one by Michel Foucault. (shrink)
This paper is devoted to theoretical and methodical considerations on our study and understanding of macroscopic transitions in the world of Sanskrit intellectuals from the sixteenth to the eighteenth century (cf. Pollock, Indian Economic and Social History Review 38(1):3–31, 2001). It is argued that compared to his immediate predecessors Bhaṭṭoji Dīkṣita’s contribution to Prakriyā grammars was modest. It was to a large extent on account of changed circumstances—over the centuries mainly a slow but steady decline—in the position of Sanskrit and (...) the general public’s need for a simple definition of authoritatively correct Sanskrit that Bhaṭṭoji’s grammar met with success so quickly, so widely, and so solidly. I once knew a little boy in England who asked his father, “Do fathers always know more than sons?” and the father said “Yes.” The next question was, “Daddy, who invented the steam engine?” and the father said “James Watt.” And then the son came back with “But why didn’t James Watt’s father invent it?” Gregory Bateson (1972, p. 21). (shrink)
De mens is in de afgelopen drie eeuwen vaak vergeleken met allerlei soorten machines. In de achttiende eeuw was de klokmetafoor tamelijk populair; psychologische termen als ‘drijfveer’, ‘van slag raken’ en ‘opgewonden zijn’ herinneren hier nog aan [Vroon and Draaisma, 1985]. In de negentiende eeuw overheerste de stoommachine-metafoor. De psychologie van Freud wordt wel als een uitgewerkte versie van deze metafoor beschouwd [Russelmann, 1983]. Ook uitdrukkingen als ‘uitlaatkleppen’, ‘stoom afblazen’ en ‘iemand opstoken’ zijn eraan te danken. De stoommachine-metafoor wordt nog (...) steeds serieus genomen. Zo pleegt men de menselijke geest in de nieuwe ‘dynamische’ school in de cognitieve wetenschappen bij voorkeur te vergelijken met James Watts centrifugale regulateur (1788), het apparaat dat ervoor zorgt dat een stoommachine op een constant snelheid werkt [van Gelder, 1995, 1998]. De laatste vijftig jaar komt men de metafoor van de seri¨ele digitale computer vaak tegen. Een PC is een voorbeeld van zo’n computer. Hij is serieel omdat de centrale processor slechts ´e´en berekening tegelijk kan uitvoeren; hij is digitaal omdat hij alleen met gehele getallen kan omgaan. Het voorbeeld bij uitstek van een seri¨ele digitale computer is de Turing-machine, waarover aanstonds meer. De seri¨ele digitale computer metafoor is op verschillende manieren op mensen toegepast. Zo beschouwen sommigen de gehele mens als een computer van dit type, terwijl anderen menen dat de afzonderlijke zenuwcellen op deze manier beschreven kunnen worden. In het onderstaande zal ik de vraag bespreken in hoeverre men de mens, of onderdelen van de mens, inderdaad als seri¨ele digitale computer mag opvatten. Ik zal laten zien dat deze vergelijking maar een beperkte waarde heeft. Het valt niet uit te sluiten dat de mens in computationeel opzicht een veel sterker of zwakker soort machine is dan de Turing-machine. (shrink)
Karolinska Institutet, Stockholm, Sweden Mats G. Hansson Uppsala University, Sweden Jan Carlstedt-Duke Karolinska Institutet, Stockholm, Sweden Martin Ritzen Karolinska Institutet, Stockholm, Sweden Ingemar Persson Karolinska Institutet, Stockholm, Sweden Helle Kieler Karolinska Institutet, Stockholm, Sweden * Corresponding author: Christina M. Hultman, Department of Medical Epidemiology and Biostatistics, Box 281, SE-171 77 Stockholm, Sweden. Tel.: +46 8 52483893; +46 70 3621031; Fax: +46 8 314975; Email: Christina.Hultman{at}ki.se ' + u + '@' + d + ' '//--> Abstract Since the 1970s, estrogen have (...) sometimes been used in adolescent girls to reduce very tall adult expected height. Worries about long-term effects have led to a proposal to link treatment data with cancer registers. How should one deal with informed consent for such a study? We designed a qualitative study with semi-structured telephone interviews. From 1200 women who were to be followed-up in cancer registers, we randomly selected 22 women. Major themes were a wish to be involved and a positive attitude to the proposed register research. The women did not express worry after reading the study protocol, but did convey considerable frustration that this research had not been initiated earlier. Active consent was not seen as crucial. We found strong interest in a high participation rate and a concern over missing data. The selection of information and consent or the decision to go ahead without consent in register follow-up is a delicate balancing act. Study participants wish to be contacted, but acknowledge the primary goal of answering important questions. Our study provides support for safeguarding privacy in epidemiological linkage studies and in follow-up of medical treatment without losing the scientific value by requesting for informed consent. CiteULike Connotea Del.icio.us What's this? (shrink)
Terminal kidney patients are faced with lower quality of life, restricted diets and higher morbidity and mortality rates while waiting for deceased donor kidney transplantation. Fortunately, living kidney donation has proven to be a better treatment alternative (e.g. in terms of waiting time and graft survival rates). We observed an inequality in the number of living kidney transplantations performed between the non-European and the European patients in our center. Such inequality has been also observed elsewhere in this field and it (...) has been suggested that this inequality relates to, among other things, attitude differences towards donation based on religious beliefs. In this qualitative research we investigated whether religion might indeed (partly) be the explanation of the inequalities in living donor kidney transplants (LDKT) among non-European patients. Fifty patients participated in focus group discussions and in-depth interviews. The interviews were conducted following the focus group method and analyzed in line with Grounded Theory. The qualitative data analyses were performed in Atlas.ti. We found that religion is not perceived as an obstacle to living donation and that religion actually promotes helping and saving the life of a person. Issues such as integrity of the body were not seen as barriers to LDKT. We observed also that there are still uncertainties and a lack of awareness about the position of religion regarding living organ donation within communities, confusion due to varying interpretations of Holy Scriptures and misconceptions regarding the process of donation. Faith leaders play an important educational role and their opinion is influential. This study has identified modifiable factors which may contribute to the ethnic disparity in our living donation program. We argue that we need to strive for more clarity and awareness regarding the stance of religion on the issue of living donation in the local community. Faith leaders could be key figures in increasing awareness and alleviating uncertainty regarding living donation and transplantation. (shrink)
This article reviews the Dutch societal debate on euthanasia/assisted suicide in dementia cases, specifically Alzheimer's disease. It discusses the ethical and practical dilemmas created by euthanasia requests in advance directives and the related inconsistencies in the Dutch legal regulations regarding euthanasia/assisted suicide. After an initial focus on euthanasia in advanced dementia, the actual debate concentrates on making euthanasia/assisted suicide possible in the very early stages of dementia. A review of the few known cases of assisted suicide of people with so-called (...) early dementia raises the question why requests for euthanasia/assisted suicide from patients in the early stage of (late onset) Alzheimer's disease are virtually non-existent. In response to this question two explanations are offered. It is concluded that, in addition to a moral discussion on the limits of anticipatory choices, there is an urgent need to develop research into the patient's perspective with regard to medical treatment and care-giving in dementia, including end-of-life care. (shrink)
In Are Equal Liberty and Equality Compatible?, Jan Narveson and James Sterba insightfully debate whether a right to maximum equal negative liberty requires, or at least is compatible with, a right to welfare. Narveson argues that the two rights are incompatible, whereas Sterba argues that the rights are compatible and indeed that the right to maximum equal negative liberty requires a right to welfare. I argue that Sterba is correct that the two rights are conceptually compatible and that Narveson (...) is right that right to negative liberty does not conceptually require a right to welfare. (shrink)
Painting can only be thought in relation to the image. And yet, with (and within) painting what continues to endure is the image of painting. While this is staged explicitly in, for example, paintings of St. Luke by artists of the Northern Renaissance—e.g., Rogier van der Weyden, Jan Gossaert, and Simon Marmion—the same concerns are also at work within both the practices as well as the contemporaneous writings that define central aspects of the Italian Renaissance. The aim of this paper (...) is to begin an investigation into the process by which painting stages the activity of painting. This forms part of a project whose aim is an investigation of the way philosophy should respond to the essential historicity of art (where the latter is understood philosophically). (shrink)
Machine generated contents note: Acknowledgements and notes; Editors' introduction Rachel Barney, Tad Brennan and Charles Brittain; Part I. Transitions to Tripartition: 1. Enkrateia and the partition of the soul in the Gorgias Louis-Andre; Dorion; 2. From the Phaedo to the Republic: philosophers, non-philosophers, and the possibility of virtue Iakovos Vasiliou; 3. The soul as a one and a many: Republic 436a8-439d9 Eric Brown; Part II. Moral Psychology and the Parts of the Soul: 4. Erôs before and after tripartition Frisbee Sheffield; (...) 5. Speaking with the same voice as reason: personification in Plato's psychology Rachana Kamtekar; 6. Psychic contingency in the Republic Jennifer Whiting; 7. Curbing one's appetites in Plato's Republic James Wilberding; 8. The nature and object of the spirited part of the soul Tad Brennan; 9. How to see an unencrusted soul: Republic X 611b-612a Raphael Woolf; Part III. Developments in Late Plato: 10. Pictures and passions in the Philebus and Timaeus Jessica Moss; 11. The cognition of appetite in Plato's Timaeus Hendrik Lorenz; 12. Soul and state in Plato's laws Luc Brisson; Part IV. Parts of Soul in the Platonic Tradition: 13. Plutarch on the division of the soul Jan Opsomer; 14. Galen and the tripartite soul Mark Schiefsky; 15. Plotinus and Plato on soul and action Eyjólfur K. Emilsson. (shrink)
This article reviews Jan Narveson and James Sterba’s co-authored book Are Liberty and Equality Compatible?. Sterba argues that negative liberty requires that the poor have a right not to be interfered with in taking from the rich to fulfill their basic needs. Narveson argues that negative liberty means that people agree [...].
In an effort to explain pro-environmental behavior, environmental sociologists often study environmental attitudes. While much of this work is atheoretical, the focus on attitudes suggests that researchers are implicitly drawing upon attitude theory in psychology. The present research brings sociological theory to environmental sociology by drawing on identity theory to understand environmentally responsive behavior. We develop an environment identity model of environmental behavior that includes not only the meanings of the environment identity, but also the prominence and salience of the (...) environment identity and commitment to the environment identity. We examine the identity process as it relates to behavior, though not to the exclusion of examining the effects of environmental attitudes. The findings reveal that individual agency is important in influencing environmentally responsive behavior, but this agency is largely through identity processes, rather than attitude processes. This provides an important theoretical and empirical advance over earlier work in environmental sociology. (shrink)
: What is truly beautiful? For Søren Kierkegaard the beautiful is to be found in an integrated self, one that is freely chosen. This article explores Kierkegaard's "aesthetic" stage of existence through the character of Augusto Pérez, the protagonist of Miguel de Unamuno's novel, Niebla. After establishing a solid link between Unamuno and Kierkegaard, Kierkegaard's "ethical" stage is used to critique the "aesthetic" stage on aesthetic grounds, on the basis of the beauty found in life's work, a calling. The conclusion (...) is that the sphere of the "aesthetic" does not achieve Kierkegaard's "aesthetics" of an integrated, fully existing self. (shrink)
(Originally published in Vajra Bodhi Sea , Jan., Feb., Mar., 1985. Copyright by Vajra Bodhi Sea. Permission is granted for single copies made for personal use. Comments and corrections may be sent to the author's e-mail address: namofo@pacific.net.).
We present a canonical form for definable subsets of algebraically closed valued fields by means of decompositions into sets of a simple form, and do the same for definable subsets of real closed valued fields. Both cases involve discs, forming "Swiss cheeses" in the algebraically closed case, and cuts in the real closed case. As a step in the development, we give a proof for the fact that in "most" valued fields F, if f(x),g(x) ∈ F[ x] and v is (...) the valuation map, then the set {x : v(f(x)) ≤ v(g(x))} is a Boolean combination of discs; in fact, it is a finite union of Swiss cheeses. The development also depends on the introduction of "valued trees", which we define formally. (shrink)
Elimination of imaginaries for 1-variable definable equivalence relations is proved for a theory of algebraically closed valued fields with new sorts for the disc spaces. The proof is constructive, and is based upon a new framework for proving elimination of imaginaries, in terms of prototypes which form a canonical family of formulas for defining each set that is definable with parameters. The proof also depends upon the formal development of the tree-like structure of valued fields, in terms of valued trees, (...) and a decomposition of valued trees which is used in the coding of certain sets of discs. (shrink)
This is a contribution to construction of a research roadmap for future cognitive systems, including intelligent robots, in the context of the euCognition network, and UKCRC Grand Challenge 5: Architecture of Brain and Mind. -/- A meeting on the euCognition roadmap project was held at Munich Airport on 11th Jan 2007. This document was in part a response to discussions at that meeting. An explanation of why specifying requirements is a hard problem, and why it needs to be done, along (...) with some suggestions for making progress, can be found in this presentation: http://www.cs.bham.ac.uk/research/projects/cosy/papers/#pr0701 "What's a Research Roadmap For? Why do we need one? How can we produce one?" Working on that presentation made me realise that certain deceptively familiar words and phrases frequently used in this context (e.g. "robust". "flexible", "autonomous") appear not to need explanation because everyone understands them, whereas in fact they have obscure semantics that needs to be elucidated. Only then can we understand what the implications are for research targets. In particular, they need explanation and analysis if they are to be used to specify requirements and research goals, especially for publicly funded projects. -/- First draft analyses are presented here. In the long term I would like to expand and clarify those analyses, and to provide many different examples to illustrate the points made. This will probably have to be a collaborative research activity. (shrink)
In several recent experiments we have found that the eyes are often captured by the appearance of a sudden onset in a display, even though subjects intend to move their eyes elsewhere. Very brief fixations are made on the abrupt onset before the eyes complete their intended movement to the previously defined target. These results indicate concurrent programming of a voluntary saccade to the defined saccade target and an involuntary saccade to the sudden onset. This is inconsistent with the idea (...) that a single salience map determines the location of a saccade in a winner-take-all fashion. Other results indicate that subjects attend to more than one location in a display during saccade preparation, contrary to the claim that covert attentional scanning plays no role in saccade generation. (shrink)
The requirements of education at Lagos. 15 Apr. 1892.--Primary, elementary, secondary, and supplementary education. 22 Jan. 1902.--Christian marriage. 26 May 1909.--Religious instruction in church schools. 28 May 1909.--Education of women. 18 May 1911.--The Rt. Rev. Bishop James Johnson, M.A., D.D. 1918.--The problems of education in Southern Nigeria. 9 Nov. 1920.--Our religion and our social life. 2 Oct. 1923.--Moral character. 5 July 1924.--The truth about my background and my career. 1924.--Religion as the basis of education. 1934.--Overseas scholarships for deserving Nigerian (...) youths. 3 Dec. 1935. (shrink)
This collection of essays is dedicated to William Rowe, with great affection, respect, and admiration. The philosophy of religion, once considered a deviation from an otherwise analytically rigorous discipline, has flourished over the past two decades. This collection of new essays by twelve distinguished philosophers of religion explores three broad themes: religious attitudes of faith, belief, acceptance, and love; human and divine freedom; and the rationality of religious belief. Contributors include: William Alston, Robert Audi, Jan Cover, Martin Curd, Peter van (...) Inwagen, Norman Kretzmann, George Nakhnikian, John Hawthorne, Philip Quinn, James Ross, Eleonore Stump, and William Wainwright. (shrink)
Sometimes also called retro causation. A common feature of our world seems to be that in all cases of causation, the cause and the effect are placed in time so that the cause precedes its effect temporally. Our normal understanding of causation assumes this feature to such a degree that we intuitively have great difficulty imagining things differently. The notion of backward causation, however, stands for the idea that the temporal order of cause and effect is a mere contingent feature (...) and that there may be cases where the cause is causally prior to its effect but where the temporal order of the cause and effect is reversed with respect to normal causation, i.e. there may be cases where the effect temporally, but not causally, precedes its cause. (shrink)
This dissertation is on infinite regress arguments in philosophy. Its main goals are to explain what such arguments from many distinct philosophical debates have in common, and to provide guidelines for using and evaluating them. Two theories are reviewed: the Paradox Theory and the Failure Theory. According to the Paradox Theory, infinite regress arguments can be used to refute an existentially or universally quantified statement (e.g. to refute the statement that at least one discussion is settled, or the statement that (...) discussions are settled only if there is an agreed-upon criterion to settle them). According to the Failure Theory, infinite regress arguments can be used to demonstrate that a certain solution fails to solve an existentially or universally quantified problem (e.g. to demonstrate that a certain solution fails to settle all discussions, or that it fails to settle even one discussion). In the literature, the Paradox Theory is fairly well-developed, and this dissertation provides the Failure Theory with the same tools. (shrink)
Despite its prominent role in cognitive psychology, its relevance for the research of consciousness, and some helpful clarification (e.g., Revonsuo 1999), the binding problem is still surrounded by considerable confusion. In this paper, I first give an informal but systematic overview on the diversity of forms the binding problem can assume, and then attempt to extract, on the basis of "working definitions" of various much-discussed types of binding, a common denominator. I propose that at the heart of the binding problem (...) lies the notion of representing an entity as having a certain property, and discuss several objections that could be raised against the proposed analysis, as well its usefulness and implications. (shrink)
The application of probabilistic arguments to rational decisions in a single case is a contentious philosophical issue which arises in various contexts. Some authors (e.g. Horgan, Philos Pap 24:209–222, 1995; Levy, Synthese 158:139–151, 2007) affirm the normative force of probabilistic arguments in single cases while others (Baumann, Am Philos Q 42:71–79, 2005; Synthese 162:265–273, 2008) deny it. I demonstrate that both sides do not give convincing arguments for their case and propose a new account of the relationship between probabilistic reasoning (...) and rational decisions. In particular, I elaborate a flaw in Baumann’s reductio of rational single-case decisions in a modified Monty Hall Problem. (shrink)
Existing accounts of hypothetico-deductive confirmation are able to circumvent the classical objections (e.g. the tacking problems), but the confirmation of conjunctions of hypotheses brings them into trouble. Therefore this paper develops a new, falsificationist account of qualitative confirmation by means of Ken Gemes' theory of content parts. The new approach combines the hypothetico-deductive view with falsificationist and instance confirmation principles. It is considerably simpler than the previous suggestions and gives a better treatment of conjunctive hypotheses while solving the tacking (...) problems equally well. (shrink)
There have been attempts to get some logic out of belief dynamics, i.e. attempts to define the constants of propositional logic in terms of functions from sets of beliefs to sets of beliefs. It is interesting to see whether something similar can be done for ontological categories, i.e. ontological constants. The theory presented here will be a (modest) expansion of belief dynamics: it will not only incorporate beliefs, but also parts of beliefs, so called belief fragments. On the basis of (...) this we will give a belief-dynamical account of the ontological categories of states of affairs, individuals, properties of arbitrary adicities and properties of arbitrary orders. (shrink)
In order to refute the widely held belief that the game known as ‘Newcomb's paradox’ is physically nonsensical and impossible to imagine (e.g. because it involves backward causation), I tell a story in which the game is realized in a classical, deterministic universe in a physically plausible way. The predictor is a collection of beings which are by many orders of magnitude smaller than the player and which can, with their exquisite measurement techniques, observe the particles in the player's body (...) so accurately that they can predict his choice (in much the same way as we can predict the motion of celestial bodies). I argue that the player, by choosing whether to take only one box or both boxes, influences whether or not, in the past, the predictor put a million pounds into the second box. Yet, I establish that no causal paradox can arise in this set-up. (shrink)
It may seem strange to associate the name of Jan Patočka with artificial intelligence. Neither a mathematician nor a logician, the phenomenology he espoused, with its emphasis on lived experience, seems worlds apart from the formalism associated with the discipline. Yet, as I hope to show, the radicality and depth of Patočka’s thought is such that it casts a wide net. The reform of metaphysics that Patočka proposed in his asubjective phenomenology also affects artificial intelligence. It shows that what philosophers (...) take as its most difficult, yet primary problem may well be the result of a category mistake. (shrink)
In cognitive science, the dynamical systems theory (DST) has recently been advocated as an approach to cognitive modeling that is better suited to the dynamics of cognitive processes than the symbolic/computational approaches are. Often, the differences between DST and the symbolic/computational approach are emphasized. However, alternatively their commonalities can be analyzed and a unifying framework can be sought. In this paper, the possibility of such a unifying perspective on dynamics is analyzed. The analysis covers dynamics in cognitive disciplines, as well (...) as in physics, mathematics and computer science. The unifying perspective warrants the development of integrated approaches covering both DST aspects and symbolic/computational aspects. The concept of a state-determined system, which is based on the assumption that properties of a given state fully determine the properties of future states, lies at the heart of DST. Taking this assumption as a premise, the explanatory problem of dynamics is analyzed in more detail. The analysis of four cases within different disciplines (cognitive science, physics, mathematics, computer science) shows how in history this perspective led to numerous often used concepts within them. In cognitive science, the concepts desire and intention were introduced, and in classical mechanics the concepts momentum, energy and force. Similarly, in mathematics a number of concepts have been developed to formalize the state-determined system assumption [e.g. derivatives (of different orders) of a function, Taylor approximations]. Furthermore, transition systems - a currently popular format for specification of dynamical systems within computer science - can also be interpreted from this perspective. One of the main contributions of the paper is that the case studies provide a unified view on the explanation of dynamics across the chosen disciplines. All approaches to dynamics analyzed in this paper share the state-determined system assumption and the (explicit or implicit) use of anticipatory state properties. Within cognitive science, realism is one of the problems identified for the symbolic/computational approach - i.e. how do internal states described by symbols relate to the real world in a natural manner. As DST is proposed as an alternative to the symbolic/computational approach, a natural question is whether, for DST, realism of the states can be better guaranteed. As a second main contribution, the paper provides an evaluation of DST compared to the symbolic/computational approach, which shows that, in this respect (i.e. for the realism problem), DST does not provide a better solution than the other approaches. This shows that DST and the symbolic/computational approach not only have the state-determined system assumption and the use of anticipatory state properties in common, but also the realism problem. (shrink)
This paper introduces DEMO, a Dynamic Epistemic Modelling tool. DEMO allows modelling epistemic updates, graphical display of update results, graphical display of action models, formula evaluation in epistemic models, translation of dynamic epistemic formulas to PDL formulas, and so on. The paper implements the reduction of dynamic epistemic logic [16, 2, 3, 1] to PDL given in [12]. The reduction of dynamic epistemic logic to automata PDL from [24] is also discussed and implemented. Epistemic models are minimized under bisimulation, and (...) update action models are minimized under action emulation (the appropriate structural notion for having the same update effect, cf. [13]). The paper is an exemplar of tool building for epistemic update logic. It contains the full code of an implementation in Haskell [22], in ‘literate programming’ style [23], of DEMO. (shrink)
To what extent does the design of statistical experiments, in particular sequential trials, affect their interpretation? Should postexperimental decisions depend on the observed data alone, or should they account for the used stopping rule? Bayesians and frequentists are apparently deadlocked in their controversy over these questions. To resolve the deadlock, I suggest a three‐part strategy that combines conceptual, methodological, and decision‐theoretic arguments. This approach maintains the pre‐experimental relevance of experimental design (...) and stopping rules but vindicates their evidential, postexperimental irrelevance. †To contact the author, please write to: Tilburg Center for Logic and Philosophy of Science, Tilburg University, P.O. Box 90153, 5000 LE Tilburg, The Netherlands; e‐mail: j.sprenger@uvt.nl. (shrink)
Kitaro Nishida, a famous Japanese Philosopher and the founder of the Kyoto-School, for the first time in history transformed Zen-Buddhism, which here means especially a Japanese school of Buddhism and whose characteristics consists in its methodological meditation, into a philosophical theory of our existence. On the other hand he transformed western philosophy into a very original form of thought, which at the same time contains oriental elements. As Nishida did the bilateral transformation between western and eastern philosophies, he developed a (...) new perspective on the inquiry concerning the individuality of our personal existence and the relation between Self and the other. In his first Work, “An Inquiry into the good” Nishida examines the characteristics of pure experience, which is not understood from the outside, indirectly, and it is not a passive and static experience like for example in ordinary empiricism. It must be understood as active and creative experience which is experienced from within. In reading Thinkers as Ernst Mach and William James he came to realize that there must be a prereflective, pre-individual, unitary pure experience. This pure experience as ultimate reality on which the individual is based, is systematically self developing and Self-unfolding. In Nishidas understanding the pure experience is the common basis for, and is realized prior, to the distinction between subject and object, the Self and the Other, the Knower and the known. I try to explain how Nishidas approach overcomes this subjectivistic perspective and discuss in which way this standpoint offers a new understanding of the Self and the Other. Abe Masao, Ives Christopher: Translation of “An Inquiry into the Good”, Yale University Press, New Haven and London 1990. S. xviii. (shrink)
Jan Heylen and Leon Horsten object to my proposed analysis of ordinary-language conditionals by appealing to certain putative counter-examples. In this reply, I explain how, by ignoring my reading of the indicative/subjunctive distinction, their objection misses its target. I also criticize their underlying methodology.
We are concerned with formal models of reasoning under uncertainty. Many approaches to this problem are known in the literature e.g. Dempster-Shafer theory [29], [42], bayesian-based reasoning [21], [29], belief networks [29], many-valued logics and fuzzy logics [6], non-monotonic logics [29], neural network logics [14]. We propose rough mereology developed by the last two authors [22-25] as a foundation for approximate reasoning about complex objects. Our notion of a complex object includes, among others, proofs understood as schemes constructed in order (...) to support within our knowledge assertions/hypotheses about reality described by our knowledge incompletely. (shrink)
Current dynamic epistemic logics for analyzing effects of informational events often become cumbersome and opaque when common knowledge is added for groups of agents. Still, postconditions involving common knowledge are essential to successful multi-agent communication. We propose new systems that extend the epistemic base language with a new notion of ‘relativized common knowledge’, in such a way that the resulting full dynamic logic of information flow allows for a compositional analysis of all epistemic postconditions via perspicuous ‘reduction axioms’. We also (...) show how such systems can deal with factual alteration, rather than just information change, making them cover a much wider range of realistic events. After a warm-up stage of analyzing logics for public announcements, our main technical results are expressivity and completeness theorems for a much richer logic that we call LCC. This is a dynamic epistemic logic whose static base is propositional dynamic logic (PDL), interpreted epistemically. This system is capable of expressing all model-shifting operations with finite action models, while providing a compositional analysis for a wide range of informational events. This makes LCC a serious candidate for a standard in dynamic epistemic logic, as we illustrate by analyzing some complex communication scenarios, including sending successive emails with both ‘cc’ and ‘bcc’ lines, and other private announcements to subgroups. Our proofs involve standard modal techniques, combined with a new application of Kleene’s theorem on finite automata, as well as new Ehrenfeucht games of model comparison. (shrink)
The aim of the work is to provide a language to reason about Closed Interactions, i.e. all those situations in which the outcomes of an interaction can be determined by the agents themselves and in which the environment cannot interfere with they are able to determine. We will see that two different interpretations can be given of this restriction, both stemming from Pauly Representation Theorem. We will identify such restrictions and axiomatize their logic. We will apply the formal tools to (...) reason about games and their regulation. (shrink)
In this paper being a sequel to our [1] the logic with semi-negation is chosen as an example to elucidate some basic notions of the semantics for sentential calculi. E.g., there are shown some links between the Post number and the degree of complexity of a sentential logic, and it is proved that the degree of complexity of the sentential logic with semi-negation is 20. This is the first known example of a logic with such a degree of complexity. The (...) results of the final part of the paper cast a new light on the scope of the Kripke-style semantics in comparison to the matrix semantics. (shrink)
Jan Patočka appears as a paradoxical figure. A champion of human rights, he often presents his philosophy in quite traditional terms. He speaks of the “soul,” its “care,” and of “living in truth.” Yet, in his proposal for an “asubjective” phenomenology, he undermines the traditional notion of the self that has such rights. The question that thus confronts a reader of Patočka is how to reconcile the Patočka who was a spokesman of the Charter 77 movement with the proponent of (...) asubjective phenomenology. What, in fact, is the conception of selfhood that allows him both to affirm human rights and to deny what has been traditionally conceived as the subject of such rights? This conception, I argue, is that of the self as a specific “motion of existence.” By focusing on how, through motion, we actualize our humanity, he avoids both the naturalistic and the idealistic (subjective) conceptions of the self. (shrink)
Let R be a binary relation on some domain. Use R∗ for the reflexive transitive closure of R, i.e., the smallest binary relation S with R ⊆ S that is reflexive and transitive. Use R+ for the transitive closure of R, i.e., the smallest binary relation S with R ⊆ S that is transitive. Use I for the identity relation on the domain. Let n range over natural numbers. Define Rn as follows, by induction: R0 := I Rn+1 := R (...) ◦ R.. (shrink)
Dynamic epistemic logic is the logic of the effects of epistemic actions like making public announcements, passing private messages, revealing secrets, telling lies. This paper takes its starting point from the version of dynamic epistemic logic of [2], and demonstrates a tool that can be used for showing what goes on during a series of epistemic updates: the dynamic epistemic modelling tool DEMO [7, 9]. DEMO allows modelling epistemic updates, graphical display of update results, graphical display of action models, formula (...) evaluation in epistemic models, and translation of dynamic epistemic formulas to PDL [22] formulas. DEMO is written in Haskell. This paper intends to demonstrate its usefulness for visualizing the model transformations that take place during epistemic updating. (shrink)
Three key ways of updating one’s knowledge are (i) perception of states of affairs, e.g., seeing with one’s own eyes that something is the case, (ii) reception of messages, e.g., being told that something is the case, and (iii) drawing new conclusions from known facts. If one represents knowledge by means of Kripke models, the implicit assumption is that drawing conclusions is immediate. This assumption of logical omniscience is a useful abstraction. It leaves the distinction between (i) and (ii) to (...) be accounted for. In current versions of Update Logic (Dynamic Epistemic Logic, Logic of Communication and Change) perception and message reception are not distinguished. This paper proposes an extension of Update Logic that makes this distinction explicit. The logic deals with three kinds of updates: announcements, changes of the world, and observations about the world in the presence of witnesses. The resulting logic is shown to be complete by means of a reduction to epistemic propositional dynamic logic by a well known method. (shrink)
This is a case-study in knowledge representation and dynamic epistemic protocol verification. We analyze the ‘one hundred prisoners and a lightbulb’ puzzle. In this puzzle it is relevant what the agents (prisoners) know, how their knowledge changes due to observations, and how they affect the state of the world by changing facts, i.e., by their actions. These actions depend on the history of previous actions and observations. Part of its interest is that all actions are local, i.e. not publicly observable, (...) and part of the problem is therefore how to disseminate local results to other agents, and make them global. The various solutions to the puzzle are presented as protocols (iterated functions from agent’s local states, and histories of actions, to actions). The paper consists of three parts. First, we present different versions of the puzzle, and their solutions. This includes a probabilistic version, and a version assuming synchronicity (the interval between prisoners’ interrogations is known). The latter is very informative for the prisoners, and allows different protocols (with faster expected termination). Then, we model the puzzle in an epistemic logic incorporating dynamic operators for the effects of information changing events. Such events include both informative actions, where agents become more informed about the non-changing state of the world, and factual changes, wherein the world and the facts describing it change themselves as well. Finally, we verify the basic protocol to solve the problem. Novel contributions in this paper are: Firstly, Protocol 2 and Protocol 4. Secondly, the modelling in dynamic epistemic logic in its entirety — we do not know of a case study that combines factual and informational dynamics in a setting of non-public events, or of a similar proposal.. (shrink)
Does it make sense, and is it at all plausible, to view the moral obligation to keep particular promises and do what is called for by particular agreements such as contracts as being founded on a general "Social Contract" -- i.e., to give a contractarian account of promise-keeping? This paper argues that it does. Borrowing from Hume, David Lewis, Gilbert Harman, and David Gauthier, I provide a sketch of what the "social contract" is (not, e.g., either a real or a (...) hypothetical meeting of all with all) -- namely, a form of commitment, makable by any individual, but with commitment likewise to social reinforcement. Then it is argued that Searle's familiar thesis is in error in that it leaves out the latter factor as well as implicitly calling for a version of the former. Then it is argued that this general understanding of morality can reasonably issue in a specific rule about agreements that would be one among others in a contractarian moral platform. (shrink)
Independence of Conditionals (IC) has recently been proposed as a basic rule for causal structure learning. If a Bayesian network represents the causal structure, its Conditional Probability Distributions (CPDs) should be algorithmically independent. In this paper we compare IC with causal faithfulness (FF), stating that only those conditional independences that are implied by the causal Markov condition hold true. The latter is a basic postulate in common approaches to causal structure learning. The common spirit of FF and IC is to (...) reject causal graphs for which the joint distribution looks ‘non-generic’. The difference lies in the notion of genericity: FF sometimes rejects models just because one of the CPDs is simple, for instance if the CPD describes a deterministic relation. IC does not behave in this undesirable way. It only rejects a model when there is a non-generic relation between different CPDs although each CPD looks generic when considered separately. Moreover, it detects relations between CPDs that cannot be captured by conditional independences. IC therefore helps in distinguishing causal graphs that induce the same conditional independences (i.e., they belong to the same Markov equivalence class). The usual justification for FF implicitly assumes a prior that is a probability density on the parameter space. IC can be justified by Solomonoff’s universal prior, assigning non-zero probability to those points in parameter space that have a finite description. In this way, it favours simple CPDs, and therefore respects Occam’s razor. Since Kolmogorov complexity is uncomputable, IC is not directly applicable in practice. We argue that it is nevertheless helpful, since it has already served as inspiration and justification for novel causal inference algorithms. (shrink)
Many public information documents attempt to persuade the recipients that they should engage in or refrain from specific behaviour. This is based on the assumption that the recipient will decide about his or her behaviour on the basis of the information given and a rational evaluation of the pros and cons. An analysis of 20 public information brochures shows that the argumentation in persuasive brochures is often not marked as such. Argumentation is presented as factual information, and in many instances (...) the task of making argumentational links and drawing conclusions is left to the reader. However, since the information offered does follow familiar argumentational schemes, readers can, in principle, reconstruct the argument. All the brochures make use of pragmatic argumentation (argumentation from consequences),i. e.,they formulate at least certain benefits of the desirable behaviour or disadvantages of the undesirable behaviour. In addition, they make regular use of argumentation from cause to effect and argumentation from example. Argumentation from rules and argumentation from authority are less frequently used. This empirical analysis of the use of argumentation schemes is a solid base for interesting and rich hypotheses about the cognitive processing of persuasive brochures. Central processing requires the reader to be able to reconstruct argumentation from informational texts and to identify and evaluate various types of argumentation. (shrink)
A key notion of equivalence for modal and epistemic logic is bisimulation. However, to capture the update effects of action models in epistemic update logic, this notion turns out to be too strong. We propose necessary and sufficient conditions for having the same update effect, in the cases of action models with propositional preconditions and action models with modal precondions. Next, the notion of an action emulation is proposed as a notion of equivalence more appropriate for action models than bisimulation. (...) It is proved that every bisimulation is an action emulation, but not vice versa, and that in the context of action models with propositional or modal preconditions, action emulation provides a full characterisation of update effect. (shrink)
This is a paper about The Causal Self-Referential Theory of Perception. According to The Causal Self-Referential Theory as developed by above all John Searle and David Woodruff Smith, perceptual content is satisfied by an object only if the object in question has caused the perceptual experience. I argue initially that Searle's account cannot explain the distinction between hallucination and illusion since it requires that the state of affairs that is presented in the perceptual experience must exist in order for the (...) perception to be veridical. Smith's account is interestingly different in that the descriptive content, i.e. the content that presents the perceptual object as having certain properties, does not determine the object of the experience. His account consequently does not require that the state of affairs that is presented in perception exists in order for the perception to have an object. Smith argues instead that perceptual reference is determined by a specific kind of demonstrative content. In this paper it is argued that Smith's account of demonstrative content is too indeterminate and in certain circumstances prescribes the wrong object. It is subsequently argued that the theory of demonstrative content can be modified so as to avoid these consequences. This modification involves deriving the conditions of satisfaction of seeing an object from the conditions of satisfaction of seeing the shape of the object, where the shape of the object is conceived of as a particularized property, what is also called a ‘trope’. (shrink)
Most models of response time (RT) in elementary cognitive tasks implicitly assume that the speed-accuracy trade-off is continuous: When payoffs or instructions gradually increase the level of speed stress, people are assumed to gradually sacrifice response accuracy in exchange for gradual increases in response speed. This trade-off presumably operates over the entire range from accurate but slow responding to fast but chance-level responding (i.e., guessing). In this article, we challenge the assumption of continuity and propose a phase transition model for (...) RTs and accuracy. Analogous to the fast guess model (Ollman, 1966), our model postulates two modes of processing: a guess mode and a stimulus-controlled mode. From catastrophe theory, we derive two important predictions that allow us to test our model against the fast guess model and against the popular class of sequential sampling models. The first prediction—hysteresis in the transitions between guessing and stimulus-controlled behavior—was confirmed in an experiment that gradually changed the reward for speed versus accuracy. The second prediction—bimodal RT distributions—was confirmed in an experiment that required participants to respond in a way that is intermediate between guessing and accurate responding. (shrink)
Patočka’s text from 1946, right after World War II and before the Communist takeover of Czechoslovakia, analyzes the important historical events he was living through from a philosophical perspective. Patočka describes the crisis in Enlightenment-based social humanism, which even though having won the war, was left battered and distrusted for not preventing the disaster. With this branch of social humanism being discredited, people turned towards its Eastern manifestation, i.e., Socialism or Communism. Patočka distinguishes the various aspects of Socialism that exist (...) undifferentiated within the term: the concept of Man, ideology, and the Idea. The liberation of the Idea is twisted when combined with a material concept of Man as just one force among other forces, which the ideology then uses and abuses for an external aim. (shrink)
Health technology assessment (HTA) consists of thesystematic study of the consequences of theintroduction or continued use of the technology in aparticular context, with the explicit objective toarrive at a judgment of the value or merit of thetechnology. Ideally, it is aimed at assessing allaspects of a given technology or group oftechnologies, including non-technical, e.g.socio-ethical, aspects. However, methods for assessingsocio-ethical implications of health technology arerelatively undeveloped and few mechanisms exist totake action based on the results of such evaluations.Still, the examples (...) of cochlear inplants (CI) and other cases illustratethat HTA is not a matter of merely collecting thefacts about a technology. The facts must beplausible and relevant from a particular framework,which is not always shared by different groups. It ishere that socio-ethical aspects are encountered. Ifhealth technology assessment aims to enhance theaccountability of the decision making processregarding funding and use of health technology, it isa major challenge to assessors of health technologiesto deal adequately with existing value pluralism. Inthis respect interactive evaluation may have somethingto offer. (shrink)
Many arguments for flexible type assignment to syntactic categories have to do with the need to account for the various scopings resulting from the interaction of quantified DPs with other quantified DPs or with intensional or negated verb contexts. We will define a type for arbitrary arity relations in polymorphic type theory. In terms of this, we develop the Boolean algebra of relations as far as needed for natural language semantics. The type for relations is flexible: it can do duty (...) for the whole family of types t, e → t, e → e → t, and so on. If we use this flexible type for the interpretations of verbs, we can perform a ‘flexible lift’ on DP interpretations, so that DPs get interpreted as operations on verb meanings. This leads to an elegant implementation of Keenan’s proposal for polyadic quantification in natural language (‘Beyond the Frege Boundary’). It turns out that scope reorderings are particularly easy to implement in this framework. (shrink)
Professional autonomy is often described as a claim of professionalsthat has to serve primarily their own interests. However, it can also beseen as an element of a professional ideal that can function as astandard for professional, i.e. medical practice. This normativeunderstanding of the medical profession and professional autonomy facesthree threats today. 1) Internal erosion of professional autonomy due toa lack of internal quality control by the medical profession; 2)the increasing upward pressure on health care expenses that calls for ahealth care (...) policy that could imply limitations for the professionalautonomy of physicians; 3) a distorted understanding of theprofession as being based on a formal type of knowledge and relatedtechnology, in which other normative dimensions of medical practice areneglected and which frustrates meaningful communication betweenphysicians and patients. To answer these threats a normative structureanalysis of medical practice is presented, that indicates whichprinciples and norms are constitutive for medical practice. It isconcluded that professional autonomy, normatively understood, should bemaintained to avoid the lure of the technological imperative and toprotect patients against third parties' pressure to undertreatment.However, this professional autonomy can only be maintained if members ofthe profession subject their activities and decisions to a criticalevaluation by other members of the profession and by patients and ifthey continue to critically reflect on the values that regulate today'smedicine. (shrink)
Shaughan La Vine, Understanding the Infinite.Cambridge, Massachussets :Harvard University Press, 1994, ix + 372 pp.£31.95/$47.95 B.Russell, Foundations of logic 1903?05, The Collected Papers of Bertrand Russell, Volume 4, Edited by Urquhart, A.with the assistance of Lewis, A.C.London and New York:Routledge, 1994, Hi+ 743 pp.£100 Ray Monk and Anthony Palmer (eds.), Bertrand Russell and the Origins of Analytical Philosophy.Introduction by Ray Monk and Anthony Palmer.Bristol, U.K.:Thoemmes Press, 1996. xvi + 383 pp.£48.00/$78.00 (cloth); £16.95/$29.95 (paper) T.J.Holopainen, Dialectic & Theology in the Eleventh (...) Century.Leiden:E.J.Brill, 1996. vii+171pp.$78. (shrink)
Current dynamic epistemic logics for analyzing effects of informational events often become cumbersome and opaque when common knowledge is added for groups of agents. Still, postconditions involving common knowledge are essential to successful multi-agent communication. We propose new systems that extend the epistemic base language with a new notion of ‘relativized common knowledge’, in such a way that the resulting full dynamic logic of information flow allows for a compositional analysis of all epistemic postconditions via perspicuous ‘reduction axioms’. We also (...) show how such systems can deal with factual alteration, rather than just information change, making them cover a much wider range of realistic events. After a warm-up stage of analyzing logics for public announcements, our main technical results are expressivity and completeness theorems for a much richer logic that we call LCC. This is a dynamic epistemic logic whose static base is propositional dynamic logic (PDL), interpreted epistemically. This system is capable of expressing all model-shifting operations with finite action models, while providing a compositional analysis for a wide range of informational events. This makes LCC a serious candidate for a standard in dynamic epistemic logic, as we illustrate by analyzing some complex communication scenarios, including sending successive emails with both ‘cc’ and ‘bcc’ lines, and other private announcements to subgroups. Our proofs involve standard modal techniques, combined with a new application of Kleene’s theorem on finite automata, as well as new Ehrenfeucht games of model comparison. (shrink)
Jan Patočka and Maurice Merleau-Ponty attempted to get beyond Husserl by focusing on manifestation or visibility as such. Yet, the results these philosophers come to are very different — particularly with regard to the a priori of the visible. Are there, as Patočka believed, aspects of being that can be grasped in their entirety, the aspects, namely, that involve its “self-showing”? Or must we say, with Merleau-Ponty, that being can only show itself in finite perspectives that can never be summed (...) to a whole? At stake in their attempts to speak of appearing as appearing is, I propose to show, nothing less than the question of the finitude of being. (shrink)
This is a case-study in knowledge representation. We analyze the ‘one hundred prisoners and a lightbulb’ puzzle. In this puzzle it is relevant what the agents (prisoners) know, how their knowledge changes due to observations, and how they affect the state of the world by changing facts, i.e., by their actions. These actions depend on the history of previous actions and observations. Part of its interest is that all actions are local, i.e. not publicly observable, and part of the problem (...) is therefore how to disseminate local results to other agents, and make them global. The various solutions to the puzzle are presented as protocols (iterated functions from agent’s local states, and histories of actions, to actions). The computational aspect is about average runtime termination under conditions of random (‘fair’) scheduling. (shrink)
The communicative effect of a collective message from the Dutch former minister of finance Wouter Bos to inform all his contacts about his new email address is completely different from that of a set of individual messages to the same list. The talk will explain how differences of this kind can be modelled in epistemic logic (the logic of knowledge). A central notion here is common knowledge. We will explain the general framework for describing update effects of messages as mappings (...) on epistemic models (“knowledge models”), and we will give a sketch of some recent work in this area. (shrink)
Het communicatieve effect van een collectieve email van Wouter Bos aan al zijn contacten is totaal anders dan van hetzelfde bericht gestuurd aan iedere geadresseerde persoonlijk. In de lezing zal worden ingegaan op de vraag hoe je dit soort verschillen kunt modelleren in epistemische logica. Een centrale notie hierbij is ‘common knowledge’ of ‘collectief weten’. Dit begrip zal worden geillustreerd aan de hand van een aantal logische puzzles, en van protocollen uit het dagelijks leven die bedoeld zijn om collectief weten (...) tot stand te brengen. Er zal worden uitgelegd waarom het in gevallen waar een economische belang in het geding is niet rationeel is ‘to agree to disagree’ (van elkaar te weten dat we de waarde van een economisch goed verschillend beoordelen). Als er tijd is doen we ook een demonstratie epistemisch modelleren. (shrink)
Color experience is structured. Some ?unique? colors (red, green, yellow, and blue) appear as ?pure,? or containing no trace of any other color. Others can be considered as a mixture of these colors, or as ?binary colors.? According to a widespread assumption, this unique/binary structure of color experience is to be explained in terms of neurophysiological structuring (e.g., by opponent processes) and has no genuine explanatory basis in the physical stimulus. The argument from structure builds on these assumptions to argue (...) that colors are not properties of surfaces and that color experiences are neural processes without environmental counterparts. We reconsider the argument both in terms of its logic and in the light of recent models in vision science which point at environment-involving patterns that may be at the basis of the unique/binary structure of color experience. We conclude that, in the light of internal and external problems which arise for it, the argument from structure fails. (shrink)
I argue that one of the centralaspects characterizing the philosophicalhorizon at the threshhold of the twentieth andtwenty-first centuries is the erosion of thehumanist idea, i.e. `posthumanism''. Russianreligious philosophy is pervaded byconsiderations of humanism and posthumanism(antihumanism). The latter ascribes centralsignificance to the category of `Godmanhood''with which the leading Russian philosophersopposed the Nietzschean category of theOverman. But all of Germany philosophy can bereproached for having forsaken man. The`posthumanist'' narrative about man and God isan extreme, indeed pathological symptom ofphilosophy waiting for Embodiment.
Basisbegrippen. Een formeel model voor de ontwikkeling van de kunst is een structuur T, <, K, , d, p, q, s, B , waarbij T een verzameling van “tijdstippen” is, < (“is eerder dan”) een relatie op T is, K een verzameling van “mogelijke kunstwerken” is, (“levert commentaar op”) een relatie op K is, d, p, q en s functies van K naar de verzameling van alle deelverzamelingen van K zijn, en B een functie van T naar de verzameling van (...) alle deelverzamelingen van K is. d(x) is de discipline waartoe kunstwerk x behoort, p(x) is het proc´ed´e waarmee x vervaardigd is, q(x) is de kwaliteit van x, s(x) is de stijl van x, en B(t) is de verzameling kunstwerken die op tijdstip t bestaan. (shrink)
Randomized Controlled Trials (RCTs) are currently the gold standard within evidence-based medicine. Usually, they are conducted as sequential trials allowing for monitoring for early signs of effectiveness or harm. However, evidence from early stopped trials is often charged with being biased towards implausibly large effects (e.g., Bassler et al. 2010). To our mind, this skeptical attitude is unfounded and caused by the failure to perform appropriate conditioning in the statistical analysis of the evidence. We contend that a shift from unconditional (...) hypothesis tests in the style of Neyman and Pearson to conditional hypothesis tests (Berger, Brown and Wolpert 1994) gives a superior appreciation of the obtained evidence and significantly improves the practice of sequential medical trials, while staying firmly rooted in frequentist methodology. (shrink)
Dislocation phenomena in natural language can be, and often are, thought of as the effects of movement transformations. We propose to handle these phenomena in terms of parser combinators [3, 8] that transform recursive descent parsers for a ‘deep structure language’ into parsers for a ‘surface structure language’. This combinator approach to extraction keeps close to the ‘movement’ intuition and gives a computational account of the well known island constraints on extraction first proposed in [7].
The first part of the paper is a reminder of fundamental results connected with the adequacy problem for sentential logics with respect to matrix semantics. One of the main notions associated with the problem, namely that of the degree of complexity of a sentential logic, is elucidated by a couple of examples in the second part of the paper. E.g., it is shown that the minimal logic of Johansson and some of its extensions have degree of complexity 2. This is (...) the first example of an exact estimation of the degree of natural complex logics, i.e. logics whose deducibility relation cannot be represented by a single matrix. The remaining examples of complex logics are more artificial, having been constructed for the purpose of checking some theoretical possibilities. (shrink)
We implement the extension of the logical consequence relation to a partial order ≤ on arbitary types built from e (entities) and t (Booleans) that was given in [1], and the definition of monotonicity preserving and monotonicity reversing functions in terms of ≤. Next, we present a new algorithm for polarity marking, and implement this for a particular fragment of syntax. Finally, we list the reseach agenda that these definitions and this algorithm suggest. The implementations use Haskell [8], and are (...) given in ‘literate programming’ style [9]. (shrink)
