The first to focus exclusively on implicit memory research, this book documents the proceedings of a meeting held in Perth, Australia where leading researchers ...

Uitgave ter gelegenheid van de vierhonderdste geboortedag van de Nederlandse jurist, diplomaat en schrijver Hugo de Groot (1583-1645).

Prominent philosophers have argued that contradictions contain either too much or too little information to be useful. We dispute this with what we call the “Paradox of the Two Firefighters.” Suppose you are awakened in your hotel room by a fire alarm. You open the door. You see three possible ways out: left, right, straight ahead. You see two firefighters. One says there is exactly one safe route and it is to your left. The other says there is exactly one (...) safe route and it is to your right. While the two firemen are giving you contradictory information, they are also both giving you the perhaps useful information that there is a safe way out and it is not straight ahead. We give two analyses. The first uses the “Opinion Tetrahedron,” introduced by Dunn as a generalization of Audun Jøsang’s “Opinion Triangle.” The Opinion Tetrahedron in effect embeds the values of the “Belnap-Dunn 4-valued Logic” into a context of subjective probability generalized to allow for degrees of belief, disbelief, and two kinds of uncertainty—that in which the reasoner has too little information and that in which the reasoner has too much information. Jøsang had only a single value for uncertainty. We also present an alternative solution, again based on subjective probability but of a more standard type. This solution builds upon “linear opinion pooling.” Kiefer had already developed apparatus for assessing risk using expert opinion, and this influences the second solution. Finally, we discuss how these solutions might apply to “Big Data” and the World Wide Web. (shrink)

“What is the structure of thought?” is as central a question as any in cognitive science. A classic answer to this question has appealed to a Language of Thought (LoT). We point to emerging research from disparate branches of the field that supports the LoT hypothesis, but also uncovers diversity in LoTs across cognitive systems, stages of development, and species. Our letter formulates open research questions for cognitive science concerning the varieties of rules and representations that underwrite various LoT-based systems (...) and how these variations can help researchers taxonomize cognitive systems. (shrink)

in Cambridge Handbook of Consciousness edited by Zelazo P., Moscovitch M. and Thompson E. (2007).

Recent EEG studies on the early postmortem interval that suggest the persistence of electrophysiological coherence and connectivity in the brain of animals and humans reinforce the need for further investigation of the relationship between the brain’s activity and the dying process. Neuroscience is now in a position to empirically evaluate the extended process of dying and, more specifically, to investigate the possibility of brain activity following the cessation of cardiac and respiratory function. Under the direction of the Center for Healthy (...) Minds at the University of Wisconsin-Madison, research was conducted in India on a postmortem meditative state cultivated by some Tibetan Buddhist practitioners in which decomposition is putatively delayed. For all healthy baseline and postmortem subjects presented here, we collected resting state electroencephalographic data, mismatch negativity, and auditory brainstem response. In this study, we present HB data to demonstrate the feasibility of a sparse electrode EEG configuration to capture well-defined ERP waveforms from living subjects under very challenging field conditions. While living subjects displayed well-defined MMN and ABR responses, no recognizable EEG waveforms were discernable in any of the tukdam cases. (shrink)

The advances in treatment of HIV and the introduction of polymerase chain reaction assay for the virus now make it acceptable for HIV discordant couples where the male partner is seropositive to attempt to conceive through artificial insemination by husband (AIH) or via in vitro fertilisation. With undetectable viral load and washed sperm, there is minimal risk of transmission of HIV to the female partner, children, other patients, or staff. We describe the development of a programme of AIH for HIV (...) discordant couples and the reasoning behind offering such a programme. (shrink)

J. Michael Dunn and Gary M. Hardegree, "Algebraic Methods in Philosophical Logic", Oxford Logic Guides, no. 41, Clarendon Press, Oxford University Press, Oxford, New York, etc., 2001, pp xv + 470.

J. David Velleman casts foreknowledge of one's own next move as psychologically active. As agents, we form prior intentions about what we will do next. Such prior intentions are licensed self-fulfilling beliefs or directive cognitions. These cognitions differ from ordinary predictions in their psychological relation to the evidence, in that they precede that crucial part of the evidence which consists in the fact that they have been formed. However, once formed, these cognitions are epistemologically unremarkable: they are directly justified by (...) evidence, which saliently includes the fact of their own existence. I argue that Velleman distorts both the epistemology and the etiology of self-knowing agency. Self-knowing agents typically know what they will do next non-evidentially, and yet their knowledge of their own next move is formed in response to their (perspective-relative) epistemic grounds. Velleman's account of self-knowing agency is doubly distortive because it ignores the role of the purely first-person point of view which typically characterizes such agency. In developing an alternative account of self-knowing agency, I argue that the kind of knowledge that we typically have of what we are about to do is like the kind of knowledge we have when we non-evidentially know what our own current, conscious propositional thoughts are. We can non-evidentially know what we think in virtue of having made up our minds what to think. Likewise, we can non-evidentially know what we are about to do in virtue of having settled on what to do next. (shrink)

This book is a specialized monograph on the development of the mathematical and computational metatheory of reductive logic and proof-search, areas of logic that are becoming important in computer science. A systematic foundational text on these emerging topics, it includes proof-theoretic, semantic/model-theoretic and algorithmic aspects. The scope ranges from the conceptual background to reductive logic, through its mathematical metatheory, to its modern applications in the computational sciences. Suitable for researchers and graduate students in mathematical, computational and philosophical logic, and in (...) theoretical computer science and artificial intelligence, this is the latest in the prestigous world-renowned Oxford Logic Guides, which contains Michael Dummet's Elements of intuitionism, Dov M. Gabbay, Mark A. Reynolds, and Marcelo Finger's Temporal Logic Mathematical Foundations and Computational Aspects, J. M. Dunn and G. Hardegree's Algebraic Methods in Philosophical Logic, H. Rott's Change, Choice and Inference: A Study of Belief Revision and Nonmonotonic Reasoning, and P. T. Johnstone's Sketches of an Elephant: A Topos Theory Compendium: Volumes 1 and 2. (shrink)

This book is a specialized monograph on interpolation and definability, a notion central in pure logic and with significant meaning and applicability in all areas where logic is applied, especially computer science, artificial intelligence, logic programming, philosophy of science and natural language. Suitable for researchers and graduate students in mathematics, computer science and philosophy, this is the latest in the prestigous world-renowned Oxford Logic Guides, which contains Michael Dummet's Elements of intuitionism, J. M. Dunn and G. Hardegree's Algebraic Methods (...) in Philosophical Logic, H. Rott's Change, Choice and Inference: A Study of Belief Revision and Nonmonotonic Reasoning, P. T. Johnstone's Sketches of an Elephant: A Topos Theory Compendium: Volumes 1 and 2, and David J. Pym and Eike Ritter's Reductive Logic and Proof Search: Proof theory, semantics and control. (shrink)

This book is a specialized monograph on the development of the mathematical and computational metatheory of reductive logic and proof-search, areas of logic that are becoming important in computer science. A systematic foundational text on these emerging topics, it includes proof-theoretic, semantic/model-theoretic and algorithmic aspects. The scope ranges from the conceptual background to reductive logic, through its mathematical metatheory, to its modern applications in the computational sciences. Suitable for researchers and graduate students in mathematical, computational and philosophical logic, and in (...) theoretical computer science and artificial intelligence, this is the latest in the prestigous world-renowned Oxford Logic Guides, which contains Michael Dummet's Elements of intuitionism (2nd Edition), Dov M. Gabbay, Mark A. Reynolds, and Marcelo Finger's Temporal Logic Mathematical Foundations and Computational Aspects, J. M. Dunn and G. Hardegree's Algebraic Methods in Philosophical Logic, H. Rott's Change, Choice and Inference: A Study of Belief Revision and Nonmonotonic Reasoning, and P. T. Johnstone's Sketches of an Elephant: A Topos Theory Compendium: Volumes 1 and 2. (shrink)

SummaryIt is shown that the concept of understanding cannot be reduced to a combination of knowing that, knowing how, and knowledge by acquaintence. First, it is shown that understanding and knowledge have different objects. Then “understanding what” is analyzed along Aristotelian lines. In the central part of the paper it is shown that understanding objects defined by constitutive rules involves a non‐propositional component. This notion of “understanding” is shown to cut across the humanist‐scientist dichotomy.

SummaryWe need to classify emotions as objectual and non‐objectual. Some of the objectual emotions are dependent on the characterizations of their objects. So in these cases reason guides the emotions. But there are also other cases in which the conceptual dependency goes the other way. in the case of aesthetic judgments and certain types of judgments involving purpose, or compassion, the ability to make these judgments is dependent on being in certain emotional states. Thus in some cases emotions aid and (...) supplement reason.RésuméNous devons classer les émotions comme objectuelles et non objectuelles. Quelques‐unes des émotions objectuelles sont dépendantes des caractéristiques de leurs objets. La raison guide alors les émotions. Mais il y a aussi des cas ou la dépendance conceptuelle suit ?on;autres voies. Dans le cas de jugements esthétiques et de jugements comportant des buts, ou de la compassion, la capacityé de porter ces jugements est dépendante de certains états émotionnels dans lesquels se trouve le sujet. Ainsi, dans certains cas, les émotions aident et completent la raison.ZusammenfassungWir müssen die Gefühle in objektuelle und nicht‐objektuelle einteilen. Einige der objektuellen Gefühle sind von der Charakterisierung ihrer Objekte abhängig. In diesen Fällen lenkt die Vernunft die Gefühle. Es gibt aber auch Fälle, in welchen die begriffliche Abhängigkeit umgekehrt verläuft. Im Falle von ästhetischen Urteilen und von gewissen Urteilen, die Zwecke oder Mitgefühle betreffen, hängt die Fähigkeit, solche Urteile zu fällen, davon ab, dass man sich in bestimmten Gemütszuständen befindet. So kommt es, dass in einigen Fällen Gefühle die Vernunft unterstützen und ergänzen. (shrink)