This is a most welcome handbook arriving at a timely moment for those interested in feminism in relation to sex/gender, progressive politics and sustainability. Critical realism has been an invalua...

It has been hypothesized that illusory agency detection is at the basis of belief in supernatural agents and paranormal beliefs. In the present study a biological motion perception task was used to study illusory agency detection in a group of skeptics and a group of paranormal believers. Participants were required to detect the presence or absence of a human agent in a point-light display. It was found that paranormal believers had a lower perceptual sensitivity than skeptics, which was due to (...) a response bias to ‘yes’ for stimuli in which no agent was present. The relation between paranormal beliefs and illusory agency detection held only for stimuli with low to intermediate ambiguity, but for stimuli with a high number of visual distractors responses of believers and skeptics were at the same level. Furthermore, it was found that illusory agency detection was unrelated to traditional religious belief and belief in witchcraft, whereas paranormal beliefs were strongly related to illusory agency detection. These findings qualify the relation between illusory pattern perception and supernatural and paranormal beliefs and suggest that paranormal beliefs are strongly related to agency detection biases. (shrink)

In this editorial contribution, two issues relevant to the question, what should be at the top of the research agenda for ethics and technology, are identified and discussed. Firstly: can, and do, engineers make a difference to the degree to which technology leads to morally desirable outcomes? What role does professional autonomy play here, and what are its limits? And secondly, what should be the scope of engineers’ responsibility; that is to say, on which issues are they, as engineers, morally (...) obliged to reflect? The research agendas proposed by the authors contributing to this special section, implicitly, give different answers to these questions. We suggest that an explicit discussion of these issues would greatly help in constructing a common research agenda. (shrink)

In this paper we present a semantic analysis of the imperfective paradox based on the Event Calculus, a planning formalism characterizing a class of models which can be computed by connectionist networks. We report the results of a questionnaire that support the semantic theory and suggest that different aspectual classes of VPs in the progressive give rise to different entailment patterns. Further, a processing model is outlined, combining the semantic analysis with the psycholinguistic principle of immediacy in the framework of (...) recurrent networks. The model is used to derive predictions concerning the electrophysiological correlates of the computations described by the Event Calculus. (shrink)

Organizational purpose has flourished in the professional management literature, yet despite increased scholarly interest, academic knowledge and empirical research on the topic remain scarce. Moreover, studies that have been conducted contain important oversights including the lack of a clear conceptualization and misinterpretations that hinder the further development and understanding of organizational purpose. In view of these shortcomings, our interview study aimed to contribute to academic and societal conversations on the contemporary meaning and function of organizational purpose considering the voices and (...) perspectives of 44 global experts. Employing template analysis, we defined organizational purpose as “an organization’s reason for being characterized by significance, aspiration, direction, unification, and motivation.” Moreover, we proposed an explanatory conceptual model, including drivers and outcomes of purpose, important boundary conditions, and explanatory mechanisms. Drawing on self-determination theory, person–organization fit theory, job characteristics theory, and conservation of resources theory, we were able to explain how and under what conditions these concepts are related to organizational purpose. In doing so, our research contributes to advancing the knowledge and understanding of organizational purpose and its effects on human lives within and outside organizations. Our study thereby enhances the understanding of the role of organizations in society and helps in evaluating whether organizations take responsibility by living their purpose in the society they are part of. As such, our study provides important insights for theory development, scale development, and further empirical research on organizational purpose and its effects in different streams such as OB, HRM, marketing, leadership, and strategy. (shrink)

We show how sequent calculi for some generalized quantifiers can be obtained by generalizing the Herbrand approach to ordinary first order proof theory. Typical of the Herbrand approach, as compared to plain sequent calculus, is increased control over relations of dependence between variables. In the case of generalized quantifiers, explicit attention to relations of dependence becomes indispensible for setting up proof systems. It is shown that this can be done by turning variables into structured objects, governed by various types of (...) structural rules. These structured variables are interpreted semantically by means of a dependence relation. This relation is an analogue of the accessibility relation in modal logic. We then isolate a class of axioms for generalized quantifiers which correspond to first-order conditions on the dependence relation. (shrink)

Appearing in English for the first time, the book is a translation of related sets of lecture notes, collected by Spanish editor Paulino Garagorri, that Ortega had carefully prepared for himself prior to his teaching various university courses between 1928 and 1931. Translator and editor Jorge García-Gómez has added in an appendix the Ortega essay, “Ideas and Beliefs,” as well as a 40-page set of footnotes.

ADHD is a psychiatric disorder characterised by persistent and developmentally inappropriate levels of inattention, impulsivity and hyperactivity. It is known that children with ADHD tend to produce incoherent discourses, e.g. by narrating events out of sequence. Here the aetiology of ADHD becomes of interest. One prominent theory is that ADHD is an executive function disorder, showing deficiencies of planning. Given the close link between planning, verb tense and discourse coherence postulated in van Lambalgen and Hamm (The proper treatment of events, (...) 2004), we predicted specific deviations in the verb tenses produced by children with ADHD. Here we report on an experiment corroborating these predictions. (shrink)

This essay attempts to develop a psychologically informed semantics of perception reports, whose predictions match with the linguistic data. As suggested by the quotation from Miller and Johnson-Laird, we take a hallmark of perception to be its fallible nature; the resulting semantics thus necessarily differs from situation semantics. On the psychological side, our main inspiration is Marr's (1982) theory of vision, which can easily accomodate fallible perception. In Marr's theory, vision is a multi-layered process. The different layers have filters of (...) different gradation, which makes vision at each of them approximate. On the logical side, our task is therefore twofold • to formalise the layers and the ways in which they may refine each other, and • to develop logical means to let description vary with such degrees of refinement. The first task is formalised by means of an inverse systems of first order models, with reality appearing as its inverse limit. The second task is formalised by means of so-called conditional quantifiers, a new form of generalised quantification which can best be described as resource bounded quantification. We show that the logic provides for a semantics and pragmatics of direct perception reports. In particular, direct perception reports have a possibly nonveridical, approximative semantics, which becomes veridical only by virtue of our pragmatic expectation that what is perceived would continue to be the case, were we to perceive more accurately. It is a general feature of resource bounded logics that the underlying logics are weak, but that stronger principles can be obtained pragmatically, by strengthening the resource. For the logic of vision this feature is clarified by showing how changes in the resource capture different notions of partiality, and by studying how the perception verb interacts with connectives and quantifiers in different visual contexts. The inference Veridicality, which is now viewed rather as a nonmonotonic inference, is also studied in depth. We end with an attempt to buttress the proposed model by comparing it with suggestions put forward in Cognitive or Conceptual Semantics, in the literature on evidentials, and in Husserl's philosophy of perception. (shrink)

The history of twentieth-century American psychology is often depicted as a history of the rise and fall of behaviorism. Although historians disagree about the theoretical and social factors that have contributed to the development of experimental psychology, there is widespread consensus about the growing and declining influence of behaviorism between approximately 1920 and 1970. Since such wide-scope claims about the development of American psychology are typically based on small and unrepresentative samples of historical data, however, the question rises to what (...) extent the received view is justified. This paper aims to answer this question in two ways. First, we use advanced scientometric tools to quantitatively analyze the metadata of 119.278 papers published in American journals between 1920 and 1970. We reconstruct the development and structure of American psychology using co-citation and co-occurrence networks and argue that the standard story needs reappraising. Second, we argue that the question whether behaviorism was the ‘dominant’ school of American psychology is historically misleading to begin with. Using the results of our bibliometric analyses, we argue that questions about the development of American psychology deserve more fine-grained answers. (shrink)

In this paper we report on our experiences with using network analysis to discern and analyse ethical issues in research into, and the development of, a new wastewater treatment technology. Using network analysis, we preliminarily interpreted some of our observations in a Group Decision Room session where we invited important stakeholders to think about the risks of this new technology. We show how a network approach is useful for understanding the observations, and suggests some relevant ethical issues. We argue that (...) a network approach is also useful for ethical analysis of issues in other fields of research and development. The abandoning of the overarching rationality assumption, which is central to network approaches, does not have to lead to ethical relativism. (shrink)

BackgroundIn many countries health insurers, employers and especially governments are increasingly using pressure and coercion to enhance healthier lifestyles. For example by ever higher taxes on cigarettes and alcoholic beverages, and ever stricter smoke-free policies. Such interventions can enhance healthier behaviour, but when they become too intrusive, an unfree society can emerge. Which lifestyle interventions that use pressure or coercion are justifiable and which are not? We tried to develop an assessment model that can be used for answering this question, (...) on a generally acceptable way, for all sorts of lifestyle interventions.MethodsThe intended assessment model was developed in three phases. In the first phase the model was theoretically developed on the basis of literature study and reasoning. In the second phase the model was empirically tested by assessing two detailed cases from everyday practice using the model. The model was improved again and again. In the third phase the 10th version of the model was developed while writing this article.ResultsAn assessment model for the justification of intrusive lifestyle interventions. It comprises three components: 12 assessment criteria ; an assessment structure with three filters ; a way of assessing.ConclusionsWe have developed an assessment model for the justification of lifestyle interventions that use pressure or coercion to promote health. The correctness, completeness and practicality of the model are likely. Important principles for the justification are the logic and completeness of the underlying argumentation and the proper use of the available scientific information. Parties for and against a particular intervention could use the model to test and strengthen their argumentation and to improve the quality of the intervention. (shrink)

In many countries health insurers, employers and especially governments are increasingly using pressure and coercion to enhance healthier lifestyles. For example by ever higher taxes on cigarettes and alcoholi..

In the late summer of 1998, the authors, a cognitive scientist and a logician, started talking about the relevance of modern mathematical logic to the study of human reasoning, and we have been talking ever since. This book is an interim report of that conversation. It argues that results such as those on the Wason selection task, purportedly showing the irrelevance of formal logic to actual human reasoning, have been widely misinterpreted, mainly because the picture of logic current in psychology (...) and cognitive science is completely mistaken. We aim to give the reader a more accurate picture of mathematical logic and, in doing so, hope to show that logic, properly conceived, is still a very helpful tool in cognitive science. The main thrust of the book is therefore constructive. We give a number of examples in which logical theorizing helps in understanding and modeling observed behavior in reasoning tasks, deviations of that behavior in a psychiatric disorder (autism), and even the roots of that behavior in the evolution of the brain. (shrink)

The value of Plutarch’s perception of physical reality and his attitude towards the natural spectacle Plutarch was very interested in the natural world around him, not only in terms of its elementary composition and physical processes, but also with respect to its providential ordering and marvels. His writings teach us a lot about his perception of physical reality and about his attitude to the natural spectacle. He found his greatest inspiration in the ontological and epistemological framework of Plato’s Timaeus, but (...) a wide range of other authors were also of seminal interest to his project. Moreover, the highly literary value of Plutarch’s natural philosophical writings should not be underrated. It is therefore not surprising that recently scholars have started to reassess the ancient scientific value of Plutarch’s natural philosophical writings. Natural Spectaculars aims to give further impetus to this dynamic by treating several aspects of Plutarch’s natural philosophy which have remained unexplored up to now. (shrink)

[OPEN ACCESS TARGET ARTICLE WITH COMMENTARIES AND RESPONSE] We develop a new model of how human agency-detection capacities and other socio-cognitive biases are involved in forming religious beliefs. Crucially, we distinguish general religious beliefs (such as *God exists*) from personal religious beliefs that directly refer to the agent holding the belief or to her peripersonal time and space (such as *God appeared to _me_ last night*). On our model, people acquire general religious beliefs mostly from their surrounding culture; however, people (...) use agency-intuitions and other low-level experiences to form personal religious beliefs. We call our model the Interactive Religious Experience Model (IREM). IREM inverts received versions of Hyperactive Agency-Detection Device Theory (HADD Theory): instead of saying that agency-intuitions are major causes of religious belief in general, IREM says that general belief in supernatural agents causes people to seek situations that trigger agency-intuitions and other experiences, since these enable one to form personal beliefs about those agents. In addition to developing this model, we (1) present empirical and conceptual difficulties with received versions of HADD Theory, (2) explain how IREM incorporates philosophical work on indexical belief, (3) relate IREM to existing anthropological and psychological research, and (4) propose future empirical research programs based on IREM. (shrink)

We present a faithful axiomatization of von Mises' notion of a random sequence, using an abstract independence relation. A byproduct is a quantifier elimination theorem for Friedman's "almost all" quantifier in terms of this independence relation.

Although Kant (1998) envisaged a prominent role for logic in the argumentative structure of his Critique of Pure Reason, logicians and philosophers have generally judged Kantgeneralformaltranscendental logics is a logic in the strict formal sense, albeit with a semantics and a definition of validity that are vastly more complex than that of first-order logic. The main technical application of the formalism developed here is a formal proof that Kants logic is after all a distinguished subsystem of first-order logic, namely what (...) is known as geometric logic. (shrink)

This article draws attention to struggles inherent in discourse about the meaning of participation in a Flemish participatory technology assessment (pTA) on nanotechnologies. It explores how, at the project’s outset, key actors (e.g., nanotechnologists and pTA researchers) frame elements of the process like ‘the public’ and draw on interpretive repertoires to fit their perspective. The examples call into question normative commitments to cooperation, consensus building, and common action that conventionally guide pTA approaches. It is argued that pTA itself must reflect (...) an awareness of competing interests and perspectives inherent in the discourse associated with the meaning of ‘participation’ if it is to incite action beyond vested interests and ensure genuine mutual learning. (shrink)

Interpretation is the process whereby a hearer reasons to an interpretation of a speaker's discourse. The hearer normally adopts a credulous attitude to the discourse, at least for the purposes of interpreting it. That is to say the hearer tries to accommodate the truth of all the speaker's utterances in deriving an intended model. We present a nonmonotonic logical model of this process which defines unique minimal preferred models and efficiently simulates a kind of closed-world reasoning of particular interest for (...) human cognition. Byrne's “suppression” data (Byrne, 1989) are used to illustrate how variants on this logic can capture and motivate subtly different interpretative stances which different subjects adopt, thus indicating where more fine-grained empirical data are required to understand what subjects are doing in this task. We then show that this logical competence model can be implemented in spreading activation network models. A one pass process interprets the textual input by constructing a network which then computes minimal preferred models for (3-valued) valuations of the set of propositions of the text. The neural implementation distinguishes easy forward reasoning from more complex backward reasoning in a way that may be useful in explaining directionality in human reasoning. (shrink)

We investigate various ways of introducing axioms for randomness in set theory. The results show that these axioms, when added to ZF, imply the failure of AC. But the axiom of extensionality plays an essential role in the derivation, and a deeper analysis may ultimately show that randomness is incompatible with extensionality.

We present a critical discussion of the claim (most forcefully propounded by Chaitin) that algorithmic information theory sheds new light on Godel's first incompleteness theorem.

Compositionality remains effective as an explanation of cases in which processing complexity increases due to syntactic factors only. It falls short of accounting for situations in which complexity arises from interactions with the sentence or discourse context, perceptual cues, and stored knowledge. The idea of compositionality as a methodological principle is appealing, but imputing the complexity to one component of the grammar or another, instead of enriching the notion of composition, is not always an innocuous move, leading to fully equivalent (...) theories. Compositionality sets an upper bound on the degree of informational encapsulation that can be posited by modular or component-based theories of language: simple composition ties in with a strongly modular take on meaning assembly, which is seen as sealed off from information streams other than the lexicon and the syntax. (shrink)

We review briefly the attempts to define random sequences. These attempts suggest two theorems: one concerning the number of subsequence selection procedures that transform a random sequence into a random sequence; the other concerning the relationship between definitions of randomness based on subsequence selection and those based on statistical tests.

There is a noticeable gap between results of cognitive neuroscientific research into basic mathematical abilities and philosophical and empirical investigations of mathematics as a distinct intellectual activity. The paper explores the relevance of a Wittgensteinian framework for dealing with this discrepancy.

Action semantics enables us to plan actions with objects and to predict others' object-directed actions as well. Previous studies have suggested that action semantics are represented in a fronto-parietal action network that has also been implicated to play a role in action observation. In the present fMRI study it was investigated how activity within this network changes as a function of the predictability of an action involving multiple objects and requiring the use of action semantics. Participants performed an action prediction (...) task in which they were required to anticipate the use of a centrally presented object that could be moved to an associated target object (e.g., hammer—nail). The availability of actor information (i.e., presenting a hand grasping the central object) and the number of possible target objects (i.e., 0, 1, or 2 target objects) were independently manipulated, resulting in different levels of predictability. It was found that making an action prediction based on actor information resulted in an increased activation in the extrastriate body area (EBA) and the fronto-parietal action observation network (AON). Predicting actions involving a target object resulted in increased activation in the bilateral IPL and frontal motor areas. Within the AON, activity in the left inferior parietal lobe (IPL) and the left premotor cortex (PMC) increased as a function of the level of action predictability. Together these findings suggest that the left IPL represents stored hand-postures that can be used for planning object-directed actions and for predicting other's actions as well. (shrink)

In this review, we provide an overview of the dynamic changes within the microbiota and its metabolites that are implicated in establishing and maintaining gastrointestinal homeostasis during various stages of microbial colonization. The gradual conversion of the gut microbiota toward a mutualistic microbial community involves replacement of pioneer gut colonizers with bacterial taxa that are characteristic for the adult gut. An important microbial signature of homeostasis in the adult gut is the prevalence and activity of a diverse spectrum of bacterial (...) species that produce beneficial metabolites through metabolic interactions between microbial groups. Deciphering these microbial signatures and their metabolites that govern short and long‐term equilibrium, as well as imbalances in host‐microbial relationships, may provide novel diagnostic tools and/or therapeutic targets for specific disorders associated with intestinal dysbiosis and loss of homeostasis. (shrink)

We prove that a Spector‐like ultrapower extension ???? of a countable Solovay model ???? (where all sets of reals are Lebesgue measurable) is equal to the set of all sets constructible from reals in a generic extension ????[a], where a is a random real over ????. The proof involves the Solovay almost everywhere uniformization technique.

We sketch four applications of Marr's levels‐of‐analysis methodology to the relations between logic and experimental data in the cognitive neuroscience of language and reasoning. The first part of the paper illustrates the explanatory power of computational level theories based on logic. We show that a Bayesian treatment of the suppression task in reasoning with conditionals is ruled out by EEG data, supporting instead an analysis based on defeasible logic. Further, we describe how results from an EEG study on temporal prepositions (...) can be reanalyzed using formal semantics, addressing a potential confound. The second part of the article demonstrates the predictive power of logical theories drawing on EEG data on processing progressive constructions and on behavioral data on conditional reasoning in people with autism. Logical theories can constrain processing hypotheses all the way down to neurophysiology, and conversely neuroscience data can guide the selection of alternative computational level models of cognition. (shrink)

The present study investigated how multisensory integration in peripersonal space is modulated by limb posture and limb congruency . This was done separately for the upper limbs and the lower limbs . The crossmodal congruency task was used to measure peripersonal space integration for the hands and the feet. It was found that the peripersonal space representation for the hands but not for the feet is dynamically updated based on both limb posture and limb congruency. Together these findings show how (...) dynamic cues from vision, proprioception, and touch are integrated in peripersonal limb space and highlight fundamental differences in the way in which peripersonal space is represented for the upper and lower extremity. (shrink)

In this paper we provide a mathematical model of Kant’s temporal continuum that yields formal correlates for Kant’s informal treatment of this concept in theCritique of Pure Reasonand in other works of his critical period. We show that the formal model satisfies Kant’s synthetic a priori principles for time and that it even illuminates what “faculties and functions” must be in place, as “conditions for the possibility of experience”, for time to satisfy such principles. We then present a mathematically precise (...) account of Kant’s transcendental theory of time—the most precise account to date.Moreover, we show that the Kantian continuum which we obtain has some affinities with the Brouwerian continuum but that it also has “infinitesimal intervals” consisting of nilpotent infinitesimals; these allow us to capture Kant’s theory of rest and motion in theMetaphysical Foundations of Natural Science.While our focus is on Kant’s theory of time the material in this paper is more generally relevant for the problem of developing a rigorous theory of the phenomenological continuum, in the tradition of Whitehead, Russell, and Weyl among others. (shrink)