Meeting humans is an everyday experience for most companion dogs, and their behavior in these situations and its genetic background is of major interest. Previous research in our laboratory reported that in German shepherd dogs the lack of G allele, and in Border collies the lack of A allele, of the oxytocin receptor gene (OXTR) 19208A/G single nucleotide polymorphism (SNP) was linked to increased friendliness, which suggests that although broad traits are affected by genetic variability, the specific links between alleles (...) and behavioural variables might be breed-specific. In the current study, we found that Siberian huskies with the A allele approached a friendly unfamiliar woman less frequently in a greeting test, which indicates that certain polymorphisms are related to human directed behaviour, but that the relationship patterns between polymorphisms and behavioural phenotypes differ between populations. This finding was further supported by our next investigation. According to primate studies, endogenous opioid peptide (e.g. endorphins) receptor genes have also been implicated in social relationships. Therefore, we examined the rs21912990 of the OPRM1 gene. Firstly, we found that the allele frequencies of Siberian huskies and gray wolves were similar, but differed from that of Border collies and German shepherd dogs, which might reflect their genetic relationship. Secondly, we detected significant associations between the OPRM1 SNP and greeting behaviour among German shepherd dogs and a trend in Border collies, but we could not detect an association in Siberian huskies. Although our results with OXTR and OPRM1 gene variants should be regarded as preliminary due to the relatively low sample size, they suggest that (1) OXTR and OPRM1 gene variants in dogs affect human-directed social behaviour and (2) their effects differ between breeds. (shrink)

Razón, poesía, historia.--La cuestión del estoicismo español.--El querer.

Dibujar el pensamiento de Seneca es dibujar su figura viva, trazar el esquema de su persona. Seneca es un mediador que para alzarse sobre nosotros necesita de nuestra necesidad, pues solo apoyado en nuestra indigencia tiene sentido. Maria Zambrano lleva a cabo un lucido estudio de la figura y significacion del pensador cordobes y presenta una seleccion de sus escritos.

The purpose of our study was to measure the relationship between performance on various attentional tasks and hypnotic susceptibility. Healthy volunteers participated in a study, where they had to perform several tasks measuring various attention components in a waking state: sustained attention, selective or focused attention, divided attention and executive attention in task switching. Hypnotic susceptibility was measured in a separate setting by the Waterloo-Stanford Groups Scale of Hypnotic Susceptibility, Form C .We found no significant correlation between any of the (...) attentional measures and hypnotic susceptibility. Highly hypnotizables did not prove to be superior to or worse than the other individuals in any of the tests.These results do not support the neuropsychophysiological model of hypnosis, as they show no consistent relationship between hypnotic susceptibility and waking attentional performance. (shrink)

The aim of this paper is to present a new logic-based understanding of the connection between classical kinematics and relativistic kinematics. We show that the axioms of special relativity can be interpreted in the language of classical kinematics. This means that there is a logical translation function from the language of special relativity to the language of classical kinematics which translates the axioms of special relativity into consequences of classical kinematics. We will also show that if we distinguish a class (...) of observers in special relativity and exclude the non-slower-than light observers from classical kinematics by an extra axiom, then the two theories become definitionally equivalent. Furthermore, we show that classical kinematics is definitionally equivalent to classical kinematics with only slower-than-light inertial observers, and hence by transitivity of definitional equivalence that special relativity theory extended with “Ether” is definitionally equivalent to classical kinematics. So within an axiomatic framework of mathematical logic, wee xplicitly show that the transition from classical kinematics to relativistic kinematics is the knowledge acquisition that there is no “Ether”, accompanied by a redefinition of the concepts of time and space. (shrink)

We show that the conceptual distance between any two theories of first-order logic is the same as the generator distance between their Lindenbaum–Tarski algebras of concepts. As a consequence of this, we show that, for any two arbitrary mathematical structures, the generator distance between their meaning algebras (also known as cylindric set algebras) is the same as the conceptual distance between their first-order logic theories. As applications, we give a complete description for the distances between meaning algebras corresponding to structures (...) having at most three elements and show that this small network represents all the possible conceptual distances between complete theories. As a corollary of this, we will see that there are only two non-trivial structures definable on three-element sets up to conceptual equivalence (i.e., up to elementary plus definitional equivalence). (shrink)

Thought experiments are widely used in the informal explanation of Relativity Theories; however, they are not present explicitly in formalized versions of Relativity Theory. In this paper, we present an axiom system of Special Relativity which is able to grasp thought experiments formally and explicitly. Moreover, using these thought experiments, we can provide an explicit definition of relativistic mass based only on kinematical concepts and we can geometrically prove the Mass Increase Formula in a natural way, without postulates of conservation (...) of mass and momentum. (shrink)

Hilary Putnam is one of the world’s leading philosophers. His highly original and often provocative ideas have set the agenda for a variety of debates in philosophy of science, philosophy of mind and philosophy of language. His now famous philosophical thought experiments, such as the ‘Twin earth’ and ‘the brains in the vat’ have become part of the established canon in philosophy and cognitive science. _Reading Putnam_ is an outstanding overview and assessment of Hilary Putnam’s work by a team of (...) international contributors, and includes replies by Putnam himself. Divided into clear sections, it contains chapters on key aspects of Putnam’s large body of writing, including: Scientific realism and the changes that Putnam’s thought has undergone on this topic analyticity and ontology, including the important interconnections between the views of Putnam and Quine Putnam’s arguments concerning externalist views of meaning and reference, questions of conceptual relativity, and his preoccupation with ethics through a denial of the fact–value dichotomy Putnam’s developing views on perception. Offering an excellent survey of Putnam’s work, _Reading Putnam_ is essential for those studying philosophy of mind, philosophy of language, and philosophy of science, as well as for anyone interested in contemporary philosophy. (shrink)

Recent theories have argued that emotions play a central role in moral decision-making and suggested that emotion regulation may be crucial in reducing emotion-linked biases. The present studies focused on the influence of emotional experience and individual differences in emotion regulation on moral choice in dilemmas that pit harming another person against social welfare. During these “harm to save” moral dilemmas, participants experienced mostly fear and sadness but also other emotions such as compassion, guilt, anger, disgust, regret and contempt (Study (...) 1). Fear and disgust were more frequently reported when participants made deontological choices, whereas regret was more frequently reported when participants made utilitarian choices. In addition, habitual reappraisal negatively predicted deontological choices, and this effect was significantly carried through emotional arousal (Study 2). Individual differences in the habitual use of other emotion regulation strategies (i.e., acceptance, rumination and catastrophising) did not influence moral choice. The results of the present studies indicate that negative emotions are commonly experienced during “harm to save” moral dilemmas, and they are associated with a deontological bias. By efficiently reducing emotional arousal, reappraisal can attenuate the emotion-linked deontological bias in moral choice. (shrink)

For simplicity, most of the literature introduces the concept of definitional equivalence only to languages with disjoint signatures. In a recent paper, Barrett and Halvorson introduce a straightforward generalization to languages with non-disjoint signatures and they show that their generalization is not equivalent to intertranslatability in general. In this paper,we show that their generalization is not transitive and hence it is not an equivalence relation. Then we introduce the Andréka and Németi generalization as one of the many equivalent formulations for (...) languages with disjoint signatures. We show that the Andréka-Németi generalization is the smallest equivalence relation containing the Barrett–Halvorson generalization and it is equivalent to intertranslatability even for languages with non-disjoint signatures. Finally,we investigate which definitions for definitional equivalences remain equivalent when we generalize them for theories with non-disjoint signatures. (shrink)

In recent years, developmental psychologists have increasingly been interested in various forms of prosocial behavior observed in infants and young children—in particular comforting, sharing, pointing to provide information, and spontaneous instrumental helping. We briefly review several models that have been proposed to explain the psychological mechanisms underpinning these behaviors. Focusing on spontaneous instrumental helping, we home in on models based upon what Paulus :77–81, 2014) has dubbed ‘goal-alignment’, i.e. the idea that the identification of an agent’s goal leads infants to (...) take up that goal as their own. We identify a problem with the most well-known model based upon this idea, namely the ‘goal contagion’ model. The problem arises from the way in which the model specifies the content of the goal which is identified and taken up. We then propose an alternative way of specifying the content of the goal, and use this as a starting point for articulating an alternative model based upon the idea of alignment, namely the ‘goal slippage’ model. By elucidating the difference between goal contagion and goal slippage, we contribute to the articulation of experimental criteria for assessing whether and when the mechanisms specified by these two models are at work. (shrink)

Can the perception that one’s partner is investing effort generate a sense of commitment to a joint action? To test this, we developed a 2-player version of the classic snake game which became increasingly boring over the course of each round. This enabled us to operationalize commitment in terms of how long participants persisted before pressing a ‘finish’ button to conclude each round. Our results from three experiments reveal that participants persisted longer when they perceived what they believed to be (...) cues of their partner’s effortful contribution. Crucially, this effect was not observed when they knew their partner to be an algorithm, nor when it was their own effort that had been invested. These results support the hypothesis that the perception of a partner’s effort elicits a sense of commitment, leading to increased persistence in the face of a temptation to disengage. (shrink)

Can the perception that one’s partner is investing effort generate a sense of commitment to a joint action? To test this, we developed a 2-player version of the classic snake game which became increasingly boring over the course of each round. This enabled us to operationalize commitment in terms of how long participants persisted before pressing a ‘finish’ button to conclude each round. Our results from three experiments reveal that participants persisted longer when they perceived what they believed to be (...) cues of their partner’s effortful contribution. Crucially, this effect was not observed when they knew their partner to be an algorithm, nor when it was their own effort that had been invested. These results support the hypothesis that the perception of a partner’s effort elicits a sense of commitment, leading to increased persistence in the face of a temptation to disengage. (shrink)

In the current paper, we articulate a theory to explain the phenomenology of mental effort. The theory provides a working definition of mental effort, explains in what sense mental effort is a limited resource, and specifies the factors that determine whether or not mental effort is experienced as aversive. The core of our theory is the conjecture that the sense of effort is the output of a cost-benefit analysis. This cost-benefit analysis employs heuristics to weigh the current and anticipated costs (...) of mental effort for a particular activity against the anticipated benefits. This provides a basis for spelling out testable predictions to structure future research on the phenomenology of mental effort. (shrink)

For simplicity, most of the literature introduces the concept of definitional equivalence only for disjoint languages. In a recent paper, Barrett and Halvorson introduce a straightforward generalization to non-disjoint languages and they show that their generalization is not equivalent to intertranslatability in general. In this paper, we show that their generalization is not transitive and hence it is not an equivalence relation. Then we introduce another formalization of definitional equivalence due to Andréka and Németi which is equivalent to the Barrett–Halvorson (...) generalization in the case of disjoint languages. We show that the Andréka–Németi generalization is the smallest equivalence relation containing the Barrett–Halvorson generalization and it is equivalent to intertranslatability, which is another definition for definitional equivalence, even for non-disjoint languages. Finally, we investigate which definitions for definitional equivalences remain equivalent when we generalize them for theories in non-disjoint languages. (shrink)

The aim of this paper is to provide a logic-based conceptual analysis of the twin paradox (TwP) theorem within a first-order logic framework. A geometrical characterization of TwP and its variants is given. It is shown that TwP is not logically equivalent to the assumption of the slowing down of moving clocks, and the lack of TwP is not logically equivalent to the Newtonian assumption of absolute time. The logical connection between TwP and a symmetry axiom of special relativity is (...) also studied. (shrink)

Joint actions often require agents to track others’ actions while planning and executing physically incongruent actions of their own. Previous research has indicated that this can lead to visuomotor interference effects when it occurs outside of joint action. How is this avoided or overcome in joint actions? We hypothesized that when joint action partners represent their actions as interrelated components of a plan to bring about a joint action goal, each partner’s movements need not be represented in relation to distinct, (...) incongruent proximal goals. Instead they can be represented in relation to a single proximal goal – especially if the movements are, or appear to be, mechanically linked to a more distal joint action goal. To test this, we implemented a paradigm in which participants produced finger movements that were either congruent or incongruent with those of a virtual partner, and either with or without a joint action goal (the joint flipping of a switch, which turned on two light bulbs). Our findings provide partial support for the hypothesis that visuomotor interference effects can be reduced when two physically incongruent actions are represented as mechanically interdependent contributions to a joint action goal. (shrink)

Drawing on recent findings, this study examines whether valence concordant electromyography (EMG) responses can be explained as an unconditional effect of mere stimulus processing or as somatosensory simulation driven by task-dependent processing strategies. While facial EMG over the Corrugator supercilii and the Zygomaticus major was measured, each participant performed two tasks with pictures of album covers. One task was an affective evaluation task and the other was to attribute the album covers to one of five decades. The Embodied Emotion Account (...) predicts that valence concordant EMG is more likely to occur if the task necessitates a somatosensory simulation of the evaluative meaning of stimuli. Results support this prediction with regard to Corrugator supercilii in that valence concordant EMG activity was only present in the affective evaluation task but not in the non-evaluative task. Results for the Zygomaticus major were ambiguous. Our findings are in line with the view that EMG activity is an embodied part of the evaluation process and not a mere physical outcome. (shrink)

Previous research has shown that the perception that one’s partner is investing effort in a joint action can generate a sense of commitment, leading participants to persist longer despite increasing boredom. The current research extends this finding to human-robot interaction. We implemented a 2-player version of the classic snake game which became increasingly boring over the course of each round, and operationalized commitment in terms of how long participants persisted before pressing a ‘finish’ button to conclude each round. Participants were (...) informed that they would be linked via internet with their partner, a humanoid robot. Our results reveal that participants persisted longer when they perceived what they believed to be cues of their robot partner’s effortful contribution to the joint action. This provides evidence that the perception of a robot partner’s effort can elicit a sense of commitment to human-robot interaction. (shrink)

We present three natural but distinct formalisations of Einstein’s special principle of relativity, and demonstrate the relationships between them. In particular, we prove that they are logically distinct, but that they can be made equivalent by introducing a small number of additional, intuitively acceptable axioms.

It is hypothesised that threatening stimuli are detected better due to their salience or physical properties. However, these stimuli are typically embedded in a rich context, motivating the question whether threat detection is facilitated via learning of contexts in which threat stimuli appear. To address this question, we presented threatening face targets in new or old spatial configurations consisting of schematic faces and found that detection of threatening targets was faster in old configurations. This indicates that individuals are able to (...) learn regularities within visual contexts and use this contextual information to guide detection of threatening targets. Next, we presented threatening and non-threatening face targets embedded in new or old spatial configurations. Detection of threatening targets was facilitated in old configurations, and this effect was reversed for non-threatening targets. Present findings show that detection of threatening targets is driven not only by stimulus properties as theorised traditionally but also by learning of contexts in which threatening stimuli appear. Further, results show that context learning for threatening targets obstructs context learning for non-threatening targets. Overall, in addition to typically emphasised bottom-up factors, our findings highlight the importance of top-down factors such as context and learning in detection of salient, threatening stimuli. (shrink)

In natural sciences, the most interesting and relevant questions are the so-called why-questions. There are several different approaches to why-questions and explanations in the literature, however, most of the literature deals with why-questions about particular events, such as ``Why did Adam eat the apple?''. Even the best known theory of explanation, Hempel's covering law model, is designed for explaining particular events. Here we only deal with purely theoretical why-questions about general phenomena of physics, for instance ``Why can no observer move (...) faster than light?'' or ``Why are Kepler's laws valid?''. Here we are not going to develop a whole new theory of why-questions in physics. We will just touch upon some ideas and examples relevant to our subject. (shrink)

_Jane and Louise Wilson_ With Essays by Jeremy Millar and Claire Doherty London: Ellipsis, 2000 ISBN 1-84166-027-2 84 pp., inc. 120 b/w photograph.

This book features more than 20 papers that celebrate the work of Hajnal Andréka and István Németi. It illustrates an interaction between developing and applying mathematical logic. The papers offer new results as well as surveys in areas influenced by these two outstanding researchers. They also provide details on the after-life of some of their initiatives. Computer science connects the papers in the first part of the book. The second part concentrates on algebraic logic. It features a range of papers (...) that hint at the intricate many-way connections between logic, algebra, and geometry. The third part explores novel applications of logic in relativity theory, philosophy of logic, philosophy of physics and spacetime, and methodology of science. They include such exciting subjects as time travelling in emergent spacetime. The short autobiographies of Hajnal Andréka and István Németi at the end of the book describe an adventurous journey from electric engineering and Maxwell’s equations to a complex system of computer programs for designing Hungary’s electric power system, to exploring and contributing deep results to Tarskian algebraic logic as the deepest core theory of such questions, then on to applications of the results in such exciting new areas as relativity theory in order to rejuvenate logic itself. (shrink)

ABSTRACTIn earlier work we showed that individuals learn the spatial regularities within contexts and use this knowledge to guide detection of threatening targets embedded in these contexts. While it is highly adaptive for humans to use contextual learning to detect threats, it is equally adaptive for individuals to flexibly readjust behaviour when contexts once associated with threatening stimuli begin to be associated with benign stimuli, and vice versa. Here, we presented face targets varying in salience in new or old spatial (...) configurations and changed the target salience halfway through the experiment to examine if contextual learning changes with the change in target salience. Detection of threatening targets was faster in old than new configurations and this learning persisted even after the target changed to non-threatening. However, the same pattern was not seen when the targets changed from non-threatening... (shrink)