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.

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)

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.

Questions concerning the proof-theoretic strength of classical versus nonclassical theories of truth have received some attention recently. A particularly convenient case study concerns classical and nonclassical axiomatizations of fixed-point semantics. It is known that nonclassical axiomatizations in four- or three-valued logics are substantially weaker than their classical counterparts. In this paper we consider the addition of a suitable conditional to First-Degree Entailment—a logic recently studied by Hannes Leitgeb under the label HYPE. We show in particular that, by formulating the theory (...) PKF over HYPE, one obtains a theory that is sound with respect to fixed-point models, while being proof-theoretically on a par with its classical counterpart KF. Moreover, we establish that also its schematic extension—in the sense of Feferman—is as strong as the schematic extension of KF, thus matching the strength of predicative analysis. (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)

We have evolved to become who we are, at least in part, due to our general drive to create new things and ideas. When seeking to improve our creations, ideas, or situations, we systematically overlook opportunities to perform subtractive changes. For example, when tasked with giving feedback on an academic paper, reviewers will tend to suggest additional explanations and analyses rather than delete existing ones. Here, we show that this addition bias is systematically reflected in English language statistics along several (...) distinct dimensions. First, we show that words associated with an increase in quantity or number (e.g., add, addition, more, most) are more frequent than words associated with a decrease in quantity or number (e.g., subtract, subtraction, less, least). Second, we show that in binomial expressions, addition-related words are mentioned first, that is, add and subtract rather than subtract and add. Third, we show that the distributional semantics of verbs of change, such as to improve and to transform, overlap more with the distributional semantics of add/increase than subtract/decrease, which suggests that change verbs are implicitly biased toward addition. Fourth, addition-related words have more positive connotations than subtraction-related words. Fifth, we demonstrate that state-of-the-art large language models, such as the Generative Pre-trained Transformer (GPT-3), are also biased toward addition. We discuss the implications of our results for research on cognitive biases and decision-making. (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)

Reflection principles are of central interest in the development of axiomatic theories. Whereas they are independent statements they appear to have a specific epistemological status. Our trust in those principles is as warranted as our trust in the axioms of the system itself. This paper is an attempt in clarifying this special epistemic status. We provide a motivation for the adoption of uniform reflection principles by their analogy to a form of the constructive \(\omega \) -rule. Additionally, we analyse the (...) role of informal arithmetic and the conception of natural numbers as an inductive structure, also with regard to extra conceptual resources such as a primitive truth predicate. (shrink)

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 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)

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 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.

In this paper we discuss sequent calculi for the propositional fragment of the logic of HYPE. The logic of HYPE was recently suggested by Leitgeb as a logic for hyperintensional contexts. On the one hand we introduce a simple \-system employing rules of contraposition. On the other hand we present a \-system with an admissible rule of contraposition. Both systems are equivalent as well as sound and complete proof-system of HYPE. In order to provide a cut-elimination procedure, we expand the (...) calculus by connections as introduced in Kashima and Shimura. (shrink)

In this paper we discuss sequent calculi for the propositional fragment of the logic of HYPE. The logic of HYPE was recently suggested by Leitgeb as a logic for hyperintensional contexts. On the one hand we introduce a simple \-system employing rules of contraposition. On the other hand we present a \-system with an admissible rule of contraposition. Both systems are equivalent as well as sound and complete proof-system of HYPE. In order to provide a cut-elimination procedure, we expand the (...) calculus by connections as introduced in Kashima and Shimura. (shrink)

Using an interdisciplinary approach, this book explores the emerging topics and rapid technological developments of robotics and artificial intelligence through the lens of the evolving role of sex robots, and how they should best be designed to serve human needs. An international panel of authors provides the most up-to-date, evidence-based empirical research on the potential sexual applications of artificial intelligence. Early chapters discuss the objections to sexual activity with robots while also providing a counterargument to each objection. Subsequent chapters present (...) the implications of robot sex as well as the security and data privacy issues associated with sexual interactions with artificial intelligence. The book concludes with a chapter highlighting the importance of a scientific, multidisciplinary approach to the study of human - robot sexuality. Topics featured in this book include: The Sexual Interaction Illusion Model. The personal companion system, Harmony, designed by RealbotixTM. An exposition of the challenges of personal data control and protection when dealing with artificial intelligence. The current and future technological possibilities of projecting three-dimensional holograms. Expert discussion notes from an international workshop on the topic. AI Love You will be of interest to academic researchers in psychology, robotics, ethics, medical science, sociology, gender studies as well as clinicians, policy makers, and the business sector. (shrink)

There are two perspectives from which formal theories can be viewed. On the one hand, one can take a theory to be about some privileged models. On the other hand, one can take all models of a theory to be on a par. In contrast with what is usually done in philosophical debates, we adopt the latter viewpoint. Suppose that from this perspective we want to add an adequate truth predicate to a background theory. Then on the one hand the (...) truth theory ought to be semantically conservative over the background theory. At the same time, it is generally recognised that the central function of a truth predicate is an expressive one. A truth predicate ought to allow us to express propositions that we could not express before. In this article we argue that there are indeed natural truth theories which satisfy both the demand of semantical conservativeness and the demand of adequately extending the expressive power of our language. (shrink)

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)

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.

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)

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 ω\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\omega $$\end{document}-rule.

This paper focuses on the categoricity of arithmetic and determinacy of arithmetical truth. Several ‘internal’ categoricity results have been discussed in the recent literature. Against the background of the philosophical position called internalism, we propose and investigate truth-theoretic versions of internal categoricity based on a primitive truth predicate. We argue for the compatibility of a primitive truth predicate with internalism and provide a novel argument for (and proof of) a truth-theoretic version of internal categoricity and internal determinacy with some positive (...) properties. (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)

This article investigates the connection and dependence between the definiteness of the totalities involved in mathematical structures and the determinateness of statements about that structure. From a logical perspective, we investigate whether logical principles expressing the definiteness of totalities license the use of classical logic. From a philosophical perspective, this article provides a reconstruction of Solomon Feferman’s claim that the definiteness of the natural number conception implies the determinateness of arithmetical statements and therefore justifies the adoption of classical logic for (...) arithmetical theories. (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)

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)

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.

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)

In comparing classical and non-classical solutions to the semantic paradoxes arguments relying on strength have been influential. In this paper I argue that non-classical solutions should preserve the proof-theoretic strength of classical solutions. Leitgeb’s logic of HYPE is then presented as an interesting possibility to strengthen FDE with a suitable conditional. It is shown that HYPE allows for a non-classical Kripkean theory of truth, called KFL, that is strong enough for the relevant purposes and has additional attractive properties.

This two-volume set provides a comprehensive overview of the multidisciplinary field of Embodied Cognition. With contributions from internationally acknowledged researchers from a variety of fields, _Foundations of Embodied Cognition_ reveals how intelligent behaviour emerges from the interplay between brain, body and environment. Covering early research and emerging trends in embodied cognition, Volume 1 _Perceptual and Emotional Embodiment_ is divided into four distinct parts, bringing together a number of influential perspectives and new ideas. Part one opens the volume with an overview (...) of theoretical perspectives and the neural basis of embodiment, before part two considers body representation and its links with action. Part three examines how actions constrain perception of the environment, and part four explores how emotions can be shaped and structured by the body and its activity. Building on the idea that knowledge acquisition, retention and retrieval are intimately interconnected with sensory and motor processes, _Foundations of Embodied Cognition_ is a landmark publication in the field. It will be of great interest to researchers and advanced students from across the cognitive sciences, including those specialising in psychology, neuroscience, intelligent systems and robotics, philosophy, linguistics and anthropology. (shrink)

Lee and Schwarz suggest that separation is the grounded procedure underlying cleansing effects in different psychological domains. Here, we interpret L&S's account from a hierarchical view of cognition that considers the influence of physical properties and sensorimotor constraints on mental representations. This approach allows theoretical integration and generalization of L&S's account to the domain of formal quantitative reasoning.