Metaphor influences the construction of biological models and theories and the analysis of its use can reveal important tools of thought. Some aspects of biological organisation are investigated through the analysis of metaphors associated with treating biosystems as a kind of text. In particular, the use of glue and verbs is considered. Some of the reasons why glue is important in the construction of hierarchies are pursued in the light of specific examples, and some of the conceptual links between glue (...) in biology and other domains is discussed. Verbs are shown to be important in the construction of networks. Some of the relations between glue, verb and text are considered and the text metaphor is placed within a much broader context of ideas associated with form, relation and system. The paper concludes with comments on the nature of biological information and the need for extending or better understanding the verbal vocabulary. (shrink)
Enzymes are remarkable molecules which make metabolism possible. Their processing powers are considerable for not only are they catalysts they also contribute to information processing, integration, coherence and memory in the cell. This complex of attributes suggests that a complementary perspective to enzyme nature and activity is needed related to what enzymes and verbs have in common. The value of this kind of thinking is that it shifts the focus from objects and mechanisms to processes and information. In order to (...) support this idea a number of features which enzymes and verbs share are discussed including, context-dependence, occurrence, cases, voice, mood and glue/integrative capacities. The paper concludes with some reflections on the utility of a view of enzymes as verbs. (shrink)
In his classic 1936 essay On the Concept of Logical Consequence, Alfred Tarski used the notion of satisfaction to give a semantic characterization of the logical properties. Tarski is generally credited with introducing the model-theoretic characterization of the logical properties familiar to us today. However, in his book, The Concept of Logical Consequence, Etchemendy argues that Tarski's account is inadequate for quite a number of reasons, and is actually incompatible with the standard model-theoretic account. Many of his criticisms are meant (...) to apply to the model-theoretic account as well.In this paper, I discuss the following four critical charges that Etchemendy makes against Tarski and his account of the logical properties:(1)(a) Tarski's account of logical consequence diverges from the standard model-theoretic account at points where the latter account gets it right. (b) Tarski's account cannot be brought into line with the model-theoretic account, because the two are fundamentally incompatible. (2) There are simple counterexamples (enumerated by Etchemendy) which show that Tarski's account is wrong. (3) Tarski committed a modal fallacy when arguing that his account captures our pre-theoretical concept of logical consequence, and so obscured an essential weakness of the account. (4) Tarski's account depends on there being a distinction between the logical terms and the non-logical terms of a language, but (according to Etchemendy) there are very simple (even first-order) languages for which no such distinction can be made. Etchemendy's critique raises historical and philosophical questions about important foundational work. However, Etchemendy is mistaken about each of these central criticisms. In the course of justifying that claim, I give a sustained explication and defense of Tarski's account. Moreover, since I will argue that Tarski's account and the model-theoretic account really do come to the same thing, my subsequent defense of Tarski's account against Etchemendy's other attacks doubles as a defense against criticisms that would apply equally to the familiar model-theoretic account of the logical properties. (shrink)
Autism spectrum disorder (ASD) is characterised by differences in unimodal and multimodal sensory and proprioceptive processing, with complex biases towards local over global processing. Many of these elements are implicated in versions of the rubber hand illusion (RHI), which were therefore studied in high-functioning individuals with ASD and a typically developing control group. Both groups experienced the illusion. A number of differences were found, related to proprioception and sensorimotor processes. The ASD group showed reduced sensitivity to visuotactile-proprioceptive discrepancy but more (...) accurate proprioception. This group also differed on acceleration in subsequent reach trials. Results are discussed in terms of weak top-down integration and precision-accuracy trade-offs. The RHI appears to be a useful tool for investigating multisensory processing in ASD. (shrink)
In rubber hand illusions and full body illusions, touch sensations are projected to non-body objects such as rubber hands, dolls or virtual bodies. The robustness, limits and further perceptual consequences of such illusions are not yet fully explored or understood. A number of experiments are reported that test the limits of a variant of the rubber hand illusion. Methodology/Principal Findings -/- A variant of the rubber hand illusion is explored, in which the real and foreign hands are aligned in personal (...) space. The presence of the illusion is ascertained with participants' scores and temperature changes of the real arm. This generates a basic illusion of touch projected to a foreign arm. Participants are presented with further, unusual visuotactile stimuli subsequent to onset of the basic illusion. Such further visuotactile stimulation is found to generate very unusual experiences of supernatural touch and touch on a non-hand object. The finding of touch on a non-hand object conflicts with prior findings, and to resolve this conflict a further hypothesis is successfully tested: that without prior onset of the basic illusion this unusual experience does not occur. Conclusions/Significance -/- A rubber hand illusion is found that can arise when the real and the foreign arm are aligned in personal space. This illusion persists through periods of no tactile stimulation and is strong enough to allow very unusual experiences of touch felt on a cardboard box and experiences of touch produced at a distance, as if by supernatural causation. These findings suggest that one's visual body image is explained away during experience of the illusion and they may be of further importance to understanding the role of experience in delusion formation. The findings of touch on non-hand objects may help reconcile conflicting results in this area of research. In addition, new evidence is provided that relates to the recently discovered psychologically induced temperature changes that occur during the illusion. (shrink)
Alfred Tarski (1944) wrote that “the condition of the ‘essential richness’ of the metalanguage proves to be, not only necessary, but also sufficient for the construction of a satisfactory definition of truth.” But it has remained unclear what Tarski meant by an ‘essentially richer’ metalanguage. Moreover, DeVidi and Solomon (1999) have argued in this Journal that there is nothing that Tarski could have meant by that phrase which would make his pronouncement true. We develop an answer to the historical question (...) of what Tarski meant by ‘essentially richer’ and pinpoint the general result that stands behind his essential richness claim. In defense of Tarski, we then show that each of the several arguments of DeVidi and Solomon are either moot or mistaken. (shrink)
The problem with model-theoretic modal semantics is that it provides only the formal beginnings of an account of the semantics of modal languages. In the case of non-modal language, we bridge the gap between semantics and mere model theory, by claiming that a sentence is true just in case it is true in an intended model. Truth in a model is given by the model theory, and an intended model is a model which has as domain the actual objects of (...) discourse, and which relates these objects in an appropriate manner. However, the same strategy applied to the modal case seems to require an intended modal model whose domain includes mere possibilia.Building on recent work by Christopher Menzel (Nous 1990), I give an account of model-theoretic semantics for modal languages which does not require mere possibilia or intensional entities of any kind. Menzel has offered a representational account of model-theoretic modal semantics that accords with actualist scruples, since it does not require possibilia. However, Menzel's view is in the company of other actualists who seek to eliminate possible worlds, but whose accounts tolerate other sorts of abstract, intensional entities, such as possible states of affairs. Menzel's account crucially depends on the existence of properties and relations in intension. (shrink)
I offer an interpretation of a familiar, but poorly understood portion of Tarskis work on truth – bringing to light a number of unnoticed aspects of Tarskis work. A serious misreading of this part of Tarski to be found in Scott Soames Understanding Truth is treated in detail. Soamesreading vies with the textual evidence, and would make Tarskis position inconsistent in an unsubtle way. I show that Soames does not finally have a coherent interpretation of Tarski. This is unfortunate, since (...) Soames ultimately arrogates to himself a key position that he has denied to Tarski and which is rightfully Tarskis own. (shrink)
Clark acknowledges but resists the indirect mind-world relation inherent in prediction error minimization (PEM). But directness should also be resisted. This creates a puzzle, which calls for reconceptualization of the relation. We suggest that a causal conception captures both aspects. With this conception, aspects of situated cognition, social interaction and culture can be understood as emerging through precision optimization.
What's new about globalization? -- Globalization and the social -- Beyond the nation-state? -- Virtual sociality -- Global inequalities and everyday life -- Global terrors.
Investigation of neural and cognitive processes underlying individual variation in moral preferences is underway, with notable similarities emerging between moral- and risk-based decision-making. Here we specifically assessed moral distributive justice preferences and non-moral financial gambling preferences in the same individuals, and report an association between these seemingly disparate forms of decision-making. Moreover, we find this association between distributive justice and risky decision-making exists primarily when the latter is assessed with the Iowa Gambling Task. These findings are consistent with neuroimaging studies (...) of brain function during moral and risky decision-making. This research also constitutes the first replication of a novel experimental measure of distributive justice decision-making, for which individual variation in performance was found. Further examination of decision-making processes across different contexts may lead to an improved understanding of the factors affecting moral behaviour. (shrink)
The metaphorical nature of biological language is examined and the use of metaphors for providing the linguistic context in which similarities and differences are made is described. Certain pervasive metaphors which are characterised by systemic properties are noted, and in order to provide some focus to the study, systemic metaphors associated with machine, text and organism are discussed. Other systemic metaphors such as society and circuit are also reported. Some details concerning interrelations between automaton and organism are presented in the (...) light of the previous discussion.An approach towards the analysis of biosystem metaphors is outlined which relates part-whole, organisational level and systemic metaphors in a single model. Examples are provided throughout the discussion and mainly come from computing. The potential for metaphorical transfers between these domains is considered. (shrink)
Alfred Tarski (1944) wrote that "the condition of the 'essential richness' of the metalanguage proves to be, not only necessary, but also sufficient for the construction of a satisfactory definition of truth." But it has remained unclear what Tarski meant by an 'essentially richer' metalanguage. Moreover, DeVidi & Solomon (1999) have argued that there is nothing that Tarski could have meant by that phrase which would make his pronouncement true.
Half a century after Michael Polanyi conceptualised ‘the tacit component’ in personal knowing, management studies has reinvented ‘tacit knowledge’—albeit in ways that squander the advantages of Polanyi’s insights and ignore his faith in ‘spiritual reality’. While tacit knowing challenged the absurdities of sheer objectivity, expressed in a ‘perfect language’, it fused rational knowing, based on personal experience, with mystical speculation about an un-experienced ‘external reality’. Faith alone saved Polanyi’s model from solipsism. But Ernst von Glasersfeld’s radical constructivism provides scope to (...) rethink personal tacit knowing with regard to ‘other people’ and the intersubjectively viable construction of ‘experiential reality’. By separating tacit knowing from Polanyi’s metaphysical realism and drawing on Benedict Anderson’s concept of ‘imagined communities’, it is possible to conceptualise ‘imagined institutions’ as the tacit dimension of power that shapes human interaction. Whereas Douglass North claimed institutions could be reduced to rules, imagined institutions are known in ways we cannot tell. (shrink)
According to Timothy Williamson's epistemic view, vague predicates have precise extensions, we just don't know where their boundaries lie. It is a central challenge to his view to explain why we would be so ignorant, if precise borderlines were really there. He offers a novel argument to show that our insuperable ignorance ``is just what independently justified epistemic principles would lead one to expect''. This paper carefully formulates and critically examines Williamson's argument. It is shown that the argument (...) does not explain our ignorance, and is not really apt for doing so. Williamson's unjustified commitment to a controversial and crucial assumption is noted. It is also argued in three different ways that his argument is, in any case, self-defeating – the same principles that drive the argument can be applied to undermine one of its premises. Along the way, Williamson's unstated commitment to a number of other controversial doctrines comes to light. (shrink)
According to Nancy Cartwright, a causal law holds just when a certain probabilistic condition obtains in all test situations which in turn satisfy a set of background conditions. These background conditions are shown to be inconsistent and, on separate account, logically incoherent. I offer a corrective reformulation which also incorporates a strategy for problems like Hesslow's thrombosis case. I also show that Cartwright's recent argument for modifying the condition to appeal to singular causes fails.Proposed modifications of the theory's probabilistic condition (...) to handle effects with extreme probabilities (0 or 1) are found unsatisfactory. I propose a unified solution which also handles extreme causes. Undefined conditional probabilities give rise to three good, but non-equivalent, ways of formulating the theory. Various formulations appear in the literature. I give arguments to eliminate all but one candidate. Finally, I argue for a crucial new condition clause, and show how to extend the results beyond a simple probabilistic framework. (shrink)
Abduction is or subsumes a process of inference. It entertains possible hypotheses and it chooses hypotheses for further scrutiny. There is a large literature on various aspects of non-symbolic, subconscious abduction. There is also a very active research community working on the symbolic (logical) characterisation of abduction, which typically treats it as a form of hypothetico-deductive reasoning. In this paper we start to bridge the gap between the symbolic and sub-symbolic approaches to abduction. We are interested in benefiting from developments (...) made by each community. In particular, we are interested in the ability of non-symbolic systems (neural networks) to learn from experience using efficient algorithms and to perform massively parallel computations of alternative abductive explanations. At the same time, we would like to benefit from the rigour and semantic clarity of symbolic logic. We present two approaches to dealing with abduction in neural networks. One of them uses Connectionist Modal Logic and a translation of Horn clauses into modal clauses to come up with a neural network ensemble that computes abductive explanations in a top-down fashion. The other combines neural-symbolic systems and abductive logic programming and proposes a neural architecture which performs a more systematic, bottom-up computation of alternative abductive explanations. Both approaches employ standard neural network architectures which are already known to be highly effective in practical learning applications. Differently from previous work in the area, our aim is to promote the integration of reasoning and learning in a way that the neural network provides the machinery for cognitive computation, inductive learning and hypothetical reasoning, while logic provides the rigour and explanation capability to the systems, facilitating the interaction with the outside world. Although it is left as future work to determine whether the structure of one of the proposed approaches is more amenable to learning than the other, we hope to have contributed to the development of the area by approaching it from the perspective of symbolic and sub-symbolic integration. (shrink)
Biologically motivated computing seeks to transfer ideas from the biosciences to computer science. In seeking to make transfers it is helpful to be able to appreciate the metaphors which people use. This is because metaphors provide the context through which analogies and similes are made and by which many scientific models are constructed. As such, it is important for any rapidly evolving domain of knowledge to have developments accounted for in these terms. This paper seeks to provide one overview of (...) the process of modelling and shows how it can be used to account for a variety of biologically motivated computational models. Certain key ideas are identified in the subsequent analysis of biological sources, notably, systemic metaphors. Three important aspects of biological thinking are then considered in the light of computer science applications: biological organization, the cell, and models of evolution. The analysis throughout the paper is descriptive rather than formalized so that a large variety of potential applications may be considered. (shrink)
