We discuss the interplay between the axiomatic and the semantic approach to truth. Often, semantic constructions have guided the development of axiomatic theories and certain axiomatic theories have been claimed to capture a semantic construction. We ask under which conditions an axiomatic theory captures a semantic construction. After discussing some potential criteria, we focus on the criterion of ℕ-categoricity and discuss its usefulness and limits.

Small numbers are spontaneously associated with left space and larger numbers with right space (the SNARC effect), for example when classifying numbers by parity. This effect is often attributed to reading habits but a causal link has so far never been documented. We report that bilingual Russian-Hebrew readers show a SNARC effect after reading Cyrillic script (from left-to-right) that is significantly reduced after reading Hebrew script (from right-to-left). In contrast, they have similar SNARC effects after listening to texts in either (...) language. These results support the view that spatially directional scanning habits contribute to the spatial association of numbers but also emphasize its flexibility. (shrink)

TEST is a novel taxonomy of knowledge representations based on three distinct hierarchically organized representational features: Tropism, Embodiment, and Situatedness. Tropic representational features reflect constraints of the physical world on the agent's ability to form, reactivate, and enrich embodied (i.e., resulting from the agent's bodily constraints) conceptual representations embedded in situated contexts. The proposed hierarchy entails that representations can, in principle, have tropic features without necessarily having situated and/or embodied features. On the other hand, representations that are situated and/or embodied (...) are likely to be simultaneously tropic. Hence, although we propose tropism as the most general term, the hierarchical relationship between embodiment and situatedness is more on a par, such that the dominance of one component over the other relies on the distinction between offline storage versus online generation as well as on representation-specific properties. (shrink)

Mental arithmetic is characterised by a tendency to overestimate addition and to underestimate subtraction results: the operational momentum effect. Here, motivated by contentious explanations of this effect, we developed and tested an arithmetic heuristics and biases model that predicts reverse OM due to cognitive anchoring effects. Participants produced bi-directional lines with lengths corresponding to the results of arithmetic problems. In two experiments, we found regular OM with zero problems but reverse OM with non-zero problems. In a third experiment, we tested (...) the prediction of our model. Our results suggest the presence of at least three competing biases in mental arithmetic: a more-or-less heuristic, a sign-space association and an anchoring bias. We conclude that mental arithmetic exhibits shortcuts for decision-making similar to traditional domains of reasoning and problem-solving. (shrink)

In this paper we will investigate different axiomatic theories of truth that are minimal in some sense. One criterion for minimality will be conservativity over Peano Arithmetic. We will then give a more fine-grained characterization by investigating some interpretability relations. We will show that disquotational theories of truth, as well as compositional theories of truth with restricted induction are relatively interpretable in Peano Arithmetic. Furthermore, we will give an example of a theory of truth that is a conservative extension of (...) Peano Arithmetic but not interpretable in it. We will then use stricter versions of interpretations to compare weak theories of truth to subsystems of second-order arithmetic. (shrink)

Hartry Field distinguished two concepts of type-free truth: scientific truth and disquotational truth. We argue that scientific type-free truth cannot do justificatory work in the foundations of mathematics. We also present an argument, based on Crispin Wright's theory of cognitive projects and entitlement, that disquotational truth can do justificatory work in the foundations of mathematics. The price to pay for this is that the concept of disquotational truth requires non-classical logical treatment.

The Fitch paradox poses a serious challenge for anti-realism. This paper investigates the option for an anti-realist to answer the challenge by restricting the knowability principle. Based on a critical discussion of Dummett's and Tennant's suggestions for a restriction desiderata for a principled solution are developed. In the second part of the paper a different restriction is proposed. The proposal uses the notion of uniform formulas and diagnoses the problem arising in the case of Moore sentences in the different status (...) propositional letters receive. The new proposal is able to avoid some of the criticism on its predecessors. (shrink)

In this paper, we investigate the phenomenon ofspeed-upin the context of theories of truth. We focus on axiomatic theories of truth extending Peano arithmetic. We are particularly interested on whether conservative extensions of PA have speed-up and on how this relates to a deflationist account. We show that disquotational theories have no significant speed-up, in contrast to some compositional theories, and we briefly assess the philosophical implications of these results.

We assessed the automaticity of spatial-numerical and spatial-musical associations by testing their intentionality and load sensitivity in a dual-task paradigm. In separate sessions, 16 healthy adults performed magnitude and pitch comparisons on sung numbers with variable pitch. Stimuli and response alternatives were identical, but the relevant stimulus attribute (pitch or number) differed between tasks. Concomitant tasks required retention of either color or location information. Results show that spatial associations of both magnitude and pitch are load sensitive and that the spatial (...) association for pitch is more powerful than that for magnitude. These findings argue against the automaticity of spatial mappings in either stimulus dimension. (shrink)

Recent findings suggest that medical students’ moral competence decreases throughout medical school. This pilot study gives preliminary insights into the effects of two educational interventions in ethics classes on moral competence among medical students in Munich, Germany. Between 2012 and 2013, medical students were tested using Lind’s Moral Competence Test prior to and after completing different ethics classes. The experimental group participated in principle-based structured case discussions and was compared with a control group with theory-based case discussions. The pre/post C-scores (...) were compared using a Wilcoxon Test, ANOVA and effect-size calculation. The C-score improved by around 3.2 C-points in the EG, and by 0.2 C-points in the CG. The mean C-score difference was not statistically significant for the EG or between the two groups. There was no statistical significance for the teachers’ influence on C-score. In both groups, students with below-average C-scores improved and students with above-average C-scores regressed. The increase of the C-Index was greater in the EG than in the CG. The absolute effect-size of the EG compared with the CG was 3.0 C-points, indicating a relevant effect. Teaching ethics with PBSCDs did not provide a statistically significant influence on students’ moral competence, compared with TBCDs. Yet, the effect size suggests that PBSCDs may improve moral competence among medical students more effectively. Further research with larger and completely randomized samples is needed to gain definite explanations for the results. (shrink)

Since Montague’s work it is well known that treating a single modality as a predicate may lead to paradox. In their paper “No Future”, Horsten and Leitgeb show that if the two temporal modalities are treated as predicates paradox might arise as well. In our paper we investigate whether paradoxes of multiple modalities, such as the No Future paradox, are genuinely new paradoxes or whether they “reduce” to the paradoxes of single modalities. In order to address this question we develop (...) a notion of reducibility based on a version of Smoryński Diagonalized Operator Logic. We show that there are reducible multimodal paradoxes as well as irreducible paradoxes of interaction. In particular, we show the No Future paradox to be an irreducible paradox according to our notion of reducibility. (shrink)

Service-Robotic—mainly defined as “non-industrial robotics”—is identified as the next economical success story to be expected after robots have been ubiquitously implemented into industrial production lines. Under the heading of service-robotic, we found a widespread area of applications reaching from robotics in agriculture and in the public transportation system to service robots applied in private homes. We propose for our interdisciplinary perspective of technology assessment to take the human user/worker as common focus. In some cases, the user/worker is the effective subject (...) acting by means of and in cooperation with a service robot; in other cases, the user/worker might become a pure object of the respective robotic system, for example, as a patient in a hospital. In this paper, we present a comprehensive interdisciplinary framework, which allows us to scrutinize some of the most relevant applications of service robotics; we propose to combine technical, economical, legal, philosophical/ethical, and psychological perspectives in order to design a thorough and comprehensive expert-based technology assessment. This allows us to understand the potentials as well as the limits and even the threats connected with the ongoing and the planned implementation of service robots into human lifeworld—particularly of those technical systems displaying increasing grades of autonomy. (shrink)

ion is instrumental for our understanding of how numbers are cognitively represented. We propose that the notion of abstraction becomes testable from within the framework of simulated cognition. We describe mental simulation as embodied, grounded, and situated cognition, and report evidence for number representation at each of these levels of abstraction.

Sex robots are humanoid robots with artificial intelligence, designed to interact sexually with humans. They have received much attention in recent discussions about technology, human relationships and the future of human sexuality. Based on available evidence so far, this outlook aims to give tentative answers to two fundamental questions surrounding the topic of human–robot intimate relationships. First, whether intelligent humanoid robots are technologically ready to be our intimate partners. Second, whether humans are ready to accept the idea of developing intimate (...) relationships with robots, and how far we have engaged and will engage in such activity. We highlight the importance of a scientific transdisciplinary approach to the study of human sexuality in the twenty-first century. (shrink)

Evolutionary change is opportunistic, but its course is strongly constrained in several fundamental ways. These constraints (historical/phylogenetic, functional/adaptive, constructional/morphogenetic) and their dynamic relationships are discussed here and shown to constitute the conceptual framework of Constructional Morphology. Notwithstanding recent published opinions which claim that the discovery of constraints renders Neodarwinian selection theory obsolete, we regard the insights of Constructional Morphology as being entirely consistent with this theory. As is shown here in the case of the Hyracoidea, formal analysis of the constraints (...) which have framed the evolution of various characters extends our understanding of the evolution of a taxon. (shrink)

In this paper we apply proof theoretic methods used for classical systems in order to obtain upper bounds for systems in partial logic. We focus on a truth predicate interpreted in a Kripke style way via strong Kleene; whereas the aim is to connect harmoniously the partial version of Kripke–Feferman with its intended semantics. The method we apply is based on infinitary proof systems containing an ω-rule.

Embodied cognition postulates a bi-directional link between the human body and its cognitive functions. Whether this holds for higher cognitive functions such as problem solving is unknown. We predicted that arm movement manipulations performed by the participants could affect the problem-solving solutions. We tested this prediction in quantitative reasoning tasks that allowed two solutions to each problem. In two studies with healthy adults, we found an effect of problem-congruent movements on problem solutions. Consistent with embodied cognition, sensorimotor information gained via (...) right or left arm movements affects the solution in different types of problem-solving tasks. (shrink)

The German discussion about experience-guided work has led to the question of how work experience can be regarded within the process of designing technical artifacts. This paper offers a solution for the area of skilled maintenance work. Some considerations about the nature of experience and about the problems skilled workers have in aquiring work competences within computer aided production environments are introduced in order to illustrate the design philosophy: A decision-support-system is described which stimulates workplace learning by enabling previous and (...) present users of the system, including maintenance staff and shop floor workers, to exchange and build on experience. (shrink)

In this paper we apply proof theoretic methods used for classical systems in order to obtain upper bounds for systems in partial logic. We focus on a truth predicate interpreted in a Kripke style way via strong Kleene; whereas the aim is to connect harmoniously the partial version of Kripke–Feferman with its intended semantics. The method we apply is based on infinitary proof systems containing an \-rule.

CASUS is an authoring system, which should enable physicians to produce problem-based computer learning programs with minimal technical effort and give them sound instructional support. The theoretical background of CASUS are constructivist approaches to learning and instruction, which deal mainly with the question, how to design problem-based learning environments. The paper presents the constructivist concept of CASUS and results of a forma-tive evaluation. Four authors were observed and interviewed while developing a learning case with CASUS. The evaluation pursued mainly the (...) question of which difficulties arise while producing a case with CASUS and which measures are necessary in order to improve the authoring system. Results show that with regard to technical aspects physicians can produce learning cases even without any special prior knowledge. There were far more problems with instructional aspects of the production of cases. Most of these difficulties were very specific to the content of the cases. Therefore, it seems that an appropriate way to design learning cases with high quality, is a cooperation between some authors with different expertise. (shrink)

The article sheds light on psychological and work science aspects of the design and utilization of service robots. An initial presentation of the characteristics of man–robot interaction is followed by a discussion of the principles of the division of functions between human beings and robots in service area work systems. The following aspects are to be considered: (1) the organisation of societal work (such as the different employment and professional profiles of service employees), (2) the work tasks to be performed (...) by humans and robots (such as handling, monitoring or decision-making tasks), (3) the possibilities and the limitations of realizing such tasks by means of information technology (depending, for example, on the motoric capabilities, perception and cognition of the robot). Consideration of these three design perspectives gives rise to criteria of usability. Current debate focuses on the (work science) principles of man–machine communication, though in future these should be supplemented with robot-specific criteria such as "motoric capabilities" or "relationship quality." The article concludes by advocating the convergence and combination of work science criteria with ideas drawn from participative design approaches in the development and utilization of service robots. (shrink)

What are the underlying processes that enable human beings to recognize a happy face? Clearly, featural and configural cues will help to identify the distinctive smile. In addition, the motivational state of the observer will influence the interpretation of emotional expressions. Therefore, a model accounting for emotion recognition is only complete if bottom-up and top-down aspects are integrated.

The reliable covariation between numerosity and spatial extent is considered as a strong constraint for inferring the successor principle in numerical cognition. We suggest that children can derive a general number concept from the (experientially) infinite succession of spatial positions during object manipulation.

Questions about the validity of eye fixations in the blocks task as a memory indicator are discussed. Examples from reading research illustrate the influence of extraneous factors.