The problem of truth in fiction concerns how to tell whether a given proposition is true in a given fiction. Thus far, the nearly universal consensus has been that some propositions are ‘implicitly true’ in some fictions: such propositions are not expressed by any explicit statements in the relevant work, but are nevertheless held to be true in those works on the basis of some other set of criteria. I call this family of views ‘implicitism’. I argue that implicitism (...) faces serious problems, whereas the opposite view is much more plausible than has previously been thought. After mounting a limited defence of explicitism, I explore a difficult problem for the view and discuss some possible responses. (shrink)

We discuss several ontological properties of explicit mathematics and operational set theory: global choice, decidable classes, totality and extensionality of operations, function spaces, class and set formation via formulas that contain the definedness predicate and applications.

The following essay contains a more general philosophical reflection on the significance and some main elements of pre-modern Confucian learning. The topic is developed by presenting some essential elements in the whole range from explicit (linguistically expressible) knowledge to symbolic aspects as well as the (philosophical) problem of ineffable knowing. The essay starts with the general conception of man which underlies the mainstream of Confucian learning. On that basis, the more explicit contents and easily explicable subjects or branches (...) of classical Confucian learning are mapped out. This becomes the starting point to move on to reflect on a more symbolic layer of Confucian learning. Finally, the core level of Confucian learning is addressed. This presents us with the problem of ineffability. The reference points of the present essay are restricted to some important classical passages as well as the thought of Wang Yangming 王陽明 (1472–1529). (shrink)

In 1933 Godel introduced a calculus of provability (also known as modal logic S4) and left open the question of its exact intended semantics. In this paper we give a solution to this problem. We find the logic LP of propositions and proofs and show that Godel's provability calculus is nothing but the forgetful projection of LP. This also achieves Godel's objective of defining intuitionistic propositional logic Int via classical proofs and provides a Brouwer-Heyting-Kolmogorov style provability semantics for Int which (...) resisted formalization since the early 1930s. LP may be regarded as a unified underlying structure for intuitionistic, modal logics, typed combinatory logic and λ-calculus. (shrink)

What would something unlike us--a chimpanzee, say, or a computer--have to be able to do to qualify as a possible knower, like us? To answer this question at the very heart of our sense of ourselves, philosophers have long focused on intentionality and have looked to language as a key to this condition. Making It Explicit is an investigation into the nature of language--the social practices that distinguish us as rational, logical creatures--that revises the very terms of this inquiry. (...) Where accounts of the relation between language and mind have traditionally rested on the concept of representation, this book sets out an alternate approach based on inference, and on a conception of certain kinds of implicit assessment that become explicit in language. Making It Explicit is the first attempt to work out in detail a theory that renders linguistic meaning in terms of use--in short, to explain how semantic content can be conferred on expressions and attitudes that are suitably caught up in social practices. -/- At the center of this enterprise is a notion of discursive commitment. Being able to talk--and so in the fullest sense being able to think--is a matter of mastering the practices that govern such commitments, being able to keep track of one’s own commitments and those of others. Assessing the pragmatic significance of speech acts is a matter of explaining the explicit in terms of the implicit. As he traces the inferential structure of the social practices within which things can be made conceptually explicit, the author defines the distinctively expressive role of logical vocabulary. This expressive account of language, mind, and logic is, finally, an account of who we are. (shrink)

This paper contributes to the study of explicit performative utterances in the following ways. First, it presents arguments that support Austin’s view that these utterances are not assertions. In doing so, it offers an original explanation of why they cannot be true or false. Second, it puts forward a new analysis of explicit performatives as cases of showing performing, rather than of instances of asserting or declaring that one is performing a particular act. Finally, it develops a new (...) account of the role of the performative prefix in signalling performative intentions that shows how the prefix can play a special role in the interpretation of performatives utterances. (shrink)

The present paper examines the relationship between explicit and implicit memory and ultimate attainment in the native language. Two groups of native speakers of English with different levels of academic attainment (i.e., high vs. low) took part in three language tasks which assessed grammar, vocabulary and collocational knowledge, as well as phonological short-term memory (assessed using a forward digit-span task), explicit associative memory (assessed using a paired-associates task) and implicit memory (assessed using a deterministic serial reaction time task). (...) Results revealed strong relationships between phonological short-term memory and explicit associative memory on the one hand and the three language tasks on the other hand, and no relation between linguistic performance and implicit memory. Taken together, these results cast doubts on the common assumption that L1 grammar learning depends almost entirely on implicit memory and align with the claims of usage-based models of language acquisition that grammatical and lexical knowledge depend on the same cognitive mechanisms. (shrink)

It is well established that language production and comprehension are influenced by information status, for example, whether information is given, new, topical, or predictable, and many scholars suggest that an important component of information status is keeping track of what information is in common ground, and what is not. Information status affects both speakers' choices and how listeners interpret the speaker's meaning. Although there is a wealth of scholarly work on information status, there is no consensus on the mechanisms by (...) which it is used, and in fact relatively little discussion of the underlying representations and psycholinguistic mechanisms. Moreover, a major challenge to understanding information status is that its effects are notoriously variable. This study considers existing proposals about information status, focusing on two questions: how is it represented; and by what mechanisms is it used? I propose that it is important to consider whether representations and mechanisms can be classified as either explicit or emergent. Based on a review of existing evidence, I argue that information status representations are most likely emergent, but the mechanisms by which they are used are both explicit and emergent. This review provides one of the first considerations of information status processing across multiple domains. (shrink)

The goal of this paper is to explore forms of metacognition that have rarely been discussed in the extensive psychological and philosophical literatures on the topic. These would comprise explicit instances of meta-representation of some set of mental states or processes in oneself, but without those representations being embedded in anything remotely resembling a theory of mind, and independent of deployment of any sort of concept-like representation of the mental. Following a critique of some extant suggestions made by Nicholas (...) Shea, the paper argues that appraisals of the value of cognitive effort involve the most plausible instances of this kind of metacognition. (shrink)

The problem of Uniqueness and Explicit Definability of Fixed Points for Interpretability Logic is considered. It turns out that Uniqueness is an immediate corollary of a theorem of Smoryński.

The core of the problem discussed in this paper is the following: the Church-Turing Thesis states that Turing Machines formally explicate the intuitive concept of computability. The description of Turing Machines requires description of the notation used for the input and for the output. Providing a general definition of notations acceptable in the process of computations causes problems. This is because a notation, or an encoding suitable for a computation, has to be computable. Yet, using the concept of computation, in (...) a definition of a notation, which will be further used in a definition of the concept of computation yields an obvious vicious circle. The circularity of this definition causes trouble in distinguishing on the theoretical level, what is an acceptable notation from what is not an acceptable notation, or as it is usually referred to in the literature, “deviant encodings”. Deviant encodings appear explicitly in discussions about what is an adequate or correct conceptual analysis of the concept of computation. In this paper, I focus on philosophical examples where the phenomenon appears implicitly, in a “disguised” version. In particular, I present its use in the analysis of the concept of natural number. I also point at additional phenomena related to deviant encodings: conceptual fixed points and apparent “computability” of uncomputable functions. In parallel, I develop the idea that Carnapian explications provide a much more adequate framework for understanding the concept of computation, than the classical philosophical analysis. (shrink)

Research in psychology clearly shows that implicit biases contribute significantly to our behaviour. What is less clear, however, is whether we are responsible for our implicit biases in the same way that we are responsible for our explicit beliefs. Neil Levy has argued recently that explicit beliefs are special with regard to the responsibility we have for them, because they unify the agent. In this paper we point out multiple ways in which implicit biases also unify the agent. (...) We then examine Levy’s claim that the assertibility of explicit beliefs means that they have a unique way of unifying the agent by being available for syntactical operations. We accept that syntactical operations are important, but worry that they are less straightforwardly connected to the unification of agents than Levy claims. (shrink)

This paper continues investigations of the monotone fixed point principle in the context of Feferman's explicit mathematics begun in [14]. Explicit mathematics is a versatile formal framework for representing Bishop-style constructive mathematics and generalized recursion theory. The object of investigation here is the theory of explicit mathematics augmented by the monotone fixed point principle, which asserts that any monotone operation on classifications (Feferman's notion of set) possesses a least fixed point. To be more precise, the new axiom (...) not merely postulates the existence of a least solution, but, by adjoining a new constant to the language, it is ensured that a fixed point is uniformly presentable as a function of the monotone operation. Let T 0 + UMID denote this extension of explicit mathematics. [14] gave lower bounds for the strength of two subtheories of T 0 + UMID in relating them to fragments of second order arithmetic based on Π 1 2 comprehension. [14] showed that T $_0 \upharpoonright$ + UMID and T $_0 \upharpoonright$ + IND N + UMID have at least the strength of (Π 1 2 - CA) $\upharpoonright$ and (Π 1 2 - CA), respectively. Here we are concerned with the exact reversals. Let UMID N be the monotone fixed-point principle for subclassifications of the natural numbers. Among other results, it is shown that T $_0 \upharpoonright$ + UMID N and T $_0 \upharpoonright$ + IND N + UMID N have the same strength as (Π 1 2 - CA) $\upharpoonright$ and (Π 1 2 - CA), respectively. The results are achieved by constructing set-theoretic models for the aforementioned systems of explicit mathematics in certain extensions of Kripke-Platek set theory and subsequently relating these set theories to subsystems of second arithmetic. (shrink)

This paper studies systems of explicit mathematics as introduced by Feferman [9, 11]. In particular, we propose weak explicit type systems with a restricted form of elementary comprehension whose provably terminating operations coincide with the functions on binary words that are computable in polynomial time. The systems considered are natural extensions of the first-order applicative theories introduced in Strahm [19, 20].

In the scientific study of mind a distinction is drawn between explicit knowledge— knowledge that can be elicited from a subject by suitable inquiry or prompting, can be brought to consciousness, and externally expressed in words—and implicit knowledge—knowledge that cannot be elicited, cannot be made directly conscious, and can- not be articulated. Michael Polanyi (1967) argued that we usually ‘know more than we can say’. The part we can articulate is explicitly known; the part we cannot is implicit.

Explicitness has usually been approached from two points of view, labelled by Kirsh the structural and the process view, that hold opposite assumptions to determine when information is explicit. In this paper, we offer an intermediate view that retains intuitions from both of them. We establish three conditions for explicit information that preserve a structural requirement, and a notion of explicitness as a continuous dimension. A problem with the former accounts was their disconnection with psychological work on the (...) issue. We review studies by Karmiloff-Smith, and Shanks and St. John to show that the proposed conditions have psychological grounds. Finally, we examine the problem of explicit rules in connectionist systems in the light of our framework. (shrink)

Much of traditional AI exemplifies the explicit representation paradigm, and during the late 1980''s a heated debate arose between the classical and connectionist camps as to whether beliefs and rules receive an explicit or implicit representation in human cognition. In a recent paper, Kirsh (1990) questions the coherence of the fundamental distinction underlying this debate. He argues that our basic intuitions concerning explicit and implicit representations are not only confused but inconsistent. Ultimately, Kirsh proposes a new formulation (...) of the distinction, based upon the criterion ofconstant time processing.The present paper examines Kirsh''s claims. It is argued that Kirsh fails to demonstrate that our usage of explicit and implicit is seriously confused or inconsistent. Furthermore, it is argued that Kirsh''s new formulation of the explicit-implicit distinction is excessively stringent, in that it banishes virtually all sentences of natural language from the realm of explicit representation. By contrast, the present paper proposes definitions for explicit and implicit which preserve most of our strong intuitions concerning straightforward uses of these terms. It is also argued that the distinction delineated here sustains the meaningfulness of the abovementioned debate between classicists and connectionists. (shrink)

A current issue in psycholinguistic research is whether the language difficulties exhibited by children with developmental language disorder [DLD, previously labeled specific language impairment ] are due to deficits in their abilities to pick up patterns in the sensory environment, an ability known as statistical learning, and the extent to which explicit learning mechanisms can be used to compensate for those deficits. Studies designed to test the compensatory role of explicit learning mechanisms in children with DLD are, however, (...) scarce, and the few conducted so far have led to inconsistent results. This work aimed to provide new insights into the role that explicit learning mechanisms might play on implicit learning deficits in children with DLD by resorting to a new approach. This approach involved not only the collection of event-related potentials, while preschool children with DLD [relative to typical language developmental controls] were exposed to a continuous auditory stream made of the repetition of three-syllable nonsense words but, importantly, the collection of ERPs when the same children performed analogous versions of the same auditory SL task first under incidental and afterward under intentional conditions. In each of these tasks, the level of predictability of the three-syllable nonsense words embedded in the speech streams was also manipulated to mimic natural languages closely. At the end of both tasks’ exposure phase, children performed a two-alternative forced-choice task from which behavioral evidence of SL was obtained. Results from the 2-AFC tasks failed to show reliable signs of SL in both groups of children. The ERPs data showed, however, significant modulations in the N100 and N400 components, taken as neural signatures of word segmentation in the brain, even though a detailed analysis of the neural responses revealed that only children from the TLD group seem to have taken advantage of the previous knowledge to enhance SL functioning. These results suggest that children with DLD showed deficits both in implicit and explicit learning mechanisms, casting doubts on the efficiency of the interventions relying on explicit instructions to help children with DLD to overcome their language difficulties. (shrink)

The author identifies selected implicit or not fully explicit assumptions made by Noam Chomsky in his theory of language. Through a careful examination of Chomsky's work, she aims to present the solutions this linguist proposes with respect to two fundamental questions: the question of methodology and the question of the ontological status of language. After reviewing the central theses of Chomsky's theory in the first part of the paper, she turns to the question that is mentioned in the title (...) of this paper, that is, the reservations regarding the assumptions underlying Chomsky's work. (shrink)

Period-tracking software applications or ‘menstruapps’ have witnessed a surge in popularity in recent years. At the same time, many of them are a part of the adtech industry, using business models that create revenue by selling users’ personal and intimate data. This exploratory article brings menstruapps into a feminist legal debate. It investigates the supranational European legal standards on intimate and sensitive data processing, particularly the General Data Protection Regulation. Scrutinising explicit consent according to GDPR Article 9, this paper, (...) through empirical examples, claims that current legal standards are not enforced. The standards are, furthermore, theoretically insufficient to fully safeguard data subjects’ integrity and autonomy. Instead of abandoning the concept, the article reimagines consent, using a contextual and communicative model where power relations are taken into consideration, building on the feminist concept of freedom to negotiate. (shrink)

The notion of an explicit representation plays a crucial role in O'Brien & Opie's arguments. Clarifying what explicit representation involves proves difficult, however, as various explications of this key notion fail to make sense of the overall argument. In particular, neither the notion of encoding in discrete objects nor the notion of active versus potentially active representation seems to help in specifying what is distinctive of conscious representation.

The aim of this article is to explain the transition from implicit CSR to explicit CSR that has taken place in Scandinavia over the last two decades. Matten and Moon’s distinction between implicit and explicit CSR is the point of departure for the analysis, which is based on case studies of two Norwegian companies: HÅG and Hydro. On the basis of these case studies, we identify two forces that are pushing the transition from implicit to explicit CSR (...) in Scandinavia: Organizational expressiveness and Re-legitimizing. Both of these measures are adjustments to the globalization of the economy, altering the competitive situation even in highly institutionalized, Scandinavian economies. HÅG, a midsized Norwegian manufacturer of office chairs, made CSR and environmental values an integral part of their expressive strategy in the early 1990s. Hydro, a big Norwegian aluminium producer, made CSR an explicit issue around the turn of the millennium, in an attempt to re-legitimize their business operations in a new market situation where plants in local communities in Norway were shut down and relocated to less regulated regimes in low-cost regions abroad. (shrink)

The λσ-calculus adds explicit substitutions to the λ-calculus so as to provide a theoretical framework within which the implementation of functional programming languages can be studied. This paper generalises the λσ-calculus to provide a linear calculus of explicit substitutions, called xDILL, which analogously describes the implementation of linear functional programming languages.Our main observation is that there are non-trivial interactions between linearity and explicit substitutions and that xDILL is therefore best understood as a synthesis of its underlying logical (...) structure and the technology of explicit substitutions. This is in contrast to the λσ-calculus where the explicit substitutions are independent of the underlying logical structure. (shrink)

The paper discusses the conceptual and methodological challenges of developing measures of stereotypes and prejudice for use in Slovakia. Developing these measures was the first step in a research project aimed at testing the effectiveness of direct and indirect contact interventions to reduce prejudice against stigmatized minorities, particularly the Roma. The first major problem in this kind of research relates to measuring the impact of interventions, as standardized instruments for measuring prejudice have yet to be developed in Slovak. The second (...) problem concerns the risk that the interventions will fail to reduce anti-Roma prejudice, because of the strong stigmatization of the Roma minority in Slovakia. The paper also reviews existing measures of stereotypes and prejudice in social psychology and discusses their applicability for measuring anti-Roma prejudice in Slovakia. It is argued that measures of stereotypes and prejudice should be designed and used in a sensitive manner and that in the process of measuring various forms of social bias we should avoid reproducing its cognitive, emotional and behavioural manifestations. (shrink)

The purpose of this article is to provide a non‐contradictory interpretation of sentences such as “Smith's murderer might not have murdered Smith”. An anti‐actualist, two‐dimensional framework including partial functions provides the basis for my solution. I argue for two claims. The modal profile of the proposition expressed by “The F might not have been an F” is complex: at any world where there is a unique F the proposition is true; at any world without a unique F the proposition has (...) no truth‐value; hence, at no world is it false. It remains an open semantic and epistemological question which of the first two kinds of world the actual world is. The semantic method should be based on explicit intensionalization in lieu of actualism. Actualism accords a privileged role to the actual world. Explicit intensionalization places all possible worlds, including the actual one, on an equal footing. Syntactically, a lambda‐bound world variable replaces the actual‐world constant or operator, while the other world variable is existentially bound. (shrink)

The problem of Uniqueness and Explicit Definability of Fixed Points for Interpretability Logic is considered. It turns out that Uniqueness is an immediate corollary of a theorem of Smoryski.

Computation is a process of making explicit, information that was implicit. In computing 5 as the solution to ∛125, for example, we move from a description that is not explicitly about 5 to one that is. We are drawing out numerical consequences to the description ∛125. We are extracting information implicit in the problem statement. Can we precisely state the difference between information thati s implicit in a state, structure or process and information that is explicit?

The context for this paper is Feferman's theory of explicit mathematics, a formal framework serving many purposes. It is suitable for representing Bishop-style constructive mathematics as well as generalized recursion, including direct expression of structural concepts which admit self-application. The object of investigation here is the theory of explicit mathematics augmented by the monotone fixed point principle, which asserts that any monotone operation on classifications possesses a least fixed point. To be more precise, the new axiom not merely (...) postulates the existence of a least solution, but, by adjoining a new functional constant to the language, it is ensured that a fixed point is uniformly presentable as a function of the monotone operation. The upshot of the paper is that the latter extension of explicit mathematics embodies considerable proof-theoretic strength. It is shown that it has at least the strength of the subsystem of second order arithmetic based on $\Pi^1_2$ comprehension. (shrink)

This article summarily presents the explicitation interview with some examples of interviews. In the first part, referring to three excerpts from protocols, we consider some of the techniques used to guide a subject into an introspective posture. We show how these techniques create conditions conducive to access to pre-reflective knowledge, knowledge stemming from a moment of action experienced by the subject, of which the subject has no knowledge in the mode of reflective consciousness. Some of this knowledge is in fact (...) surprising both for the interviewer and for the interviewee. The experience or the expertise of the subject interviewed is invariably increased as a result. In the second part, we provide a brief insight into the fields of application of the explicitation interview, with reference to three case studies, which are presented in a vivid and detailed way . We conclude with a very brief panorama of the various known fields of application of the explicitation interview. (shrink)

The context for this paper is Feferman's theory of explicit mathematics, a formal framework serving many purposes. It is suitable for representing Bishop-style constructive mathematics as well as generalized recursion, including direct expression of structural concepts which admit self-application. The object of investigation here is the theory of explicit mathematics augmented by the monotone fixed point principle, which asserts that any monotone operation on classifications (Feferman's notion of set) possesses a least fixed point. To be more precise, the (...) new axiom not merely postulates the existence of a least solution, but, by adjoining a new functional constant to the language, it is ensured that a fixed point is uniformly presentable as a function of the monotone operation. The upshot of the paper is that the latter extension of explicit mathematics (when based on classical logic) embodies considerable proof-theoretic strength. It is shown that it has at least the strength of the subsystem of second order arithmetic based on Π 1 2 comprehension. (shrink)

At present, the prevailing Connectionist methodology forrepresenting rules is toimplicitly embody rules in neurally-wired networks. That is, the methodology adopts the stance that rules must either be hard-wired or trained into neural structures, rather than represented via explicit symbolic structures. Even recent attempts to implementproduction systems within connectionist networks have assumed that condition-action rules (or rule schema) are to be embodied in thestructure of individual networks. Such networks must be grown or trained over a significant span of time. However, (...) arguments are presented herein that humanssometimes follow rules which arevery rapidly assignedexplicit internal representations, and that humans possessgeneral mechanisms capable of interpreting and following such rules. In particular, arguments are presented that thespeed with which humans are able to follow rules ofnovel structure demonstrates the existence of general-purpose rule following mechanisms. It is further argued that the existence of general-purpose rule following mechanisms strongly indicates that explicit rule following is not anisolated phenomenon, but may well be a common and important aspect of cognition. The relationship of the foregoing conclusions to Smolensky''s view of explicit rule following is also explored. The arguments presented here are pragmatic in nature, and are contrasted with thekind of arguments developed by Fodor and Pylyshyn in their recent, influential paper. (shrink)

Dienes' & Perner's proposals are discussed in relation to the distinction between explicit and implicit systems of thinking. Evans and Over (1996) propose that explicit processing resources are required for hypothetical thinking, in which mental models of possible world states are constructed. Such thinking requires representations in which the individuals' propositional attitudes including relevant beliefs and goals are made fully explicit.

This paper continues investigations of the monotone fixed point principle in the context of Feferman's explicit mathematics begun in [14]. Explicit mathematics is a versatile formal framework for representing Bishop-style constructive mathematics and generalized recursion theory. The object of investigation here is the theory of explicit mathematics augmented by the monotone fixed point principle, which asserts that any monotone operation on classifications possesses a least fixed point. To be more precise, the new axiom not merely postulates the (...) existence of a least solution, but, by adjoining a new constant to the language, it is ensured that a fixed point is uniformly presentable as a function of the monotone operation. Let T$_0$ + UMID denote this extension of explicit mathematics. [14] gave lower bounds for the strength of two subtheories of T$_0$ + UMID in relating them to fragments of second order arithmetic based on $\Pi^1_2$ comprehension. [14] showed that T$_0 \upharpoonright$ + UMID and T$_0 \upharpoonright$ + IND$_\mathbb{N}$ + UMID have at least the strength of $\upharpoonright$ and, respectively. Here we are concerned with the exact reversals. Let UMID$_\mathbb{N}$ be the monotone fixed-point principle for subclassifications of the natural numbers. Among other results, it is shown that T$_0 \upharpoonright$ + UMID$_\mathbb{N}$ and T$_0 \upharpoonright$ + $IND_\mathbb{N}$ + UMID$_\mathbb{N}$ have the same strength as $ $\upharpoonright$ and, respectively. The results are achieved by constructing set-theoretic models for the aforementioned systems of explicit mathematics in certain extensions of Kripke-Platek set theory and subsequently relating these set theories to subsystems of second arithmetic. (shrink)

from the fact that the subject reacts faster to those words than to words that were not on the list. The subject.

In Spain before the 1990s there was no clear and explicit comprehensive training for future engineers with regard to social responsibility and social commitment. Following the Spanish university curricular reform, which began in the early 1990s, a number of optional subjects became available to students, concerning science, technology and society (STS), international cooperation, the environment and sustainability. The latest redefinition of the Spanish curriculum in line with the Bologna agreements has reduced the number of non-obligatory subjects, but could lead (...) to improving preparation for social responsibility due to the requirement that the design of curricula and the assessment of students should be based on competencies, some of which include human values and attitudes. (shrink)

Bien, Victor At the 2013 Council of Australian Humanist Societies AGM, held in Sydney on 4 May, it was resolved to adopt 'the defence and promotion of the values of the Enlightenment as an ongoing process for organising our aim, objects and programs.'.

Explicitness has usually been approached from two points of view, labelled by Kirsh the structural and the process view, that hold opposite assumptions to determine when information is explicit. In this paper, we offer an intermediate view that retains intuitions from both of them. We establish three conditions for explicit information that preserve a structural requirement, and a notion of explicitness as a continuous dimension. A problem with the former accounts was their disconnection with psychological work on the (...) issue. We review studies by Karmiloff-Smith, and Shanks and St. John to show that the proposed conditions have psychological grounds. Finally, we examine the problem of explicit rules in connectionist systems in the light of our framework. (shrink)

Distinguishing explicit from implicit knowledge on the basis of the active representation of certain propositional attitudes fails to provide an explanation for dissociations in learning performance under implicit and explicit conditions. This suggests an account of implicit and explicit knowledge grounded in the presence of multiple learning mechanisms, and multiple brain systems more generally. A rough outline of a connectionist account of this kind is provided.

We describe an explicit construction of algebraic models for theories with non-standard elements either with classical or constructive logic. The corresponding truthvalue algebra in our construction is a complete algebra of subsets of some concrete decidable set. This way we get a quite finitistic notion of true which reflects a notion of the deducibility of a given theory. It enables us to useconstructive, proof-theoretical methods for theories with non-standard elements. It is especially useful in the case of theories with (...) constructive logic where algorithmic properties are essential. (shrink)

There has been an extraordinary resurgence of interest in the enigma of human consciousness among neuroscientists, psychologists, and professional philosophers. Much work is aimed at accommodating consciousness within the currently dominant physicalist world picture. This book is a comprehensive and sometimes impassioned attack to "biologize" consciousness by explaining its origin in evolutionary terms and identifying mental phenomena with brain processes; to "computerize" it by identifying mind with the supposed computational activity of the brain; and to empty or eliminate it by (...) denying the reality of qualia. Raymond Tallis's critique concludes with a long look at man--"the explicit animal"--that makes the irreducible mystery of human consciousness impossible to overlook or deny. (shrink)

Background:: Over the past few years, research ethics committees have increasingly demanded explicit consent before archival tissue samples can be used in research projects. Current UK guidance in this area requires an assessment of whether it is “practical” to obtain explicit consent. Ethics committees have little experience or evidence to help them to judge what is “practical” in this context.Methods:: We attempted to obtain general consent for research use of surplus tissue from renal transplant biopsies from the entire (...) patient population of the renal transplant unit in Leicester. The nature of this patient population would be expected to facilitate this task.Results:: A total of 495 letters were sent. Attempts were made to contact non-responders when they attended the outpatient clinic. One year after the initiation of the project, the opinions of 26% of the patients had still not been ascertained.Conclusions:: The results confirm that the vast majority of patients are happy for “surplus” biopsy material to be used for research; the situation does not parallel the use of autopsy tissue. A requirement to obtain explicit consent for the study of archival tissue is likely, however, to block or at least seriously delay research, which is contrary to the public interest and specifically may harm the interests of the patients concerned. In the UK, the problem of tissue being used against the wishes of the donor has now been largely replaced by the problem of prohibition of tissue use against the wishes of the donor. (shrink)