Martin Fischer

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.

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.

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.

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

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.

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

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.

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.

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

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.

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.

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.

Social robots are increasingly used in different areas of society such as public health, elderly care, education, and commerce. They have also been successfully employed in autism spectrum disorders therapy with children. Humans strive to find in them not only assistants but also friends. Although forms and functionalities of such robots vary, there is a strong tendency to anthropomorphize artificial agents, making them look and behave as human as possible and imputing human attributes to them. The more human a robot looks, the more appealing it will be considered by humans. However, this linear link between likeness and liking only holds to the point where a feeling of strangeness and eeriness emerges. We discuss possible explanations of this so-called uncanny valley phenomenon that emerges in human–robot interaction. We also touch upon important ethical questions surrounding human–robot interaction in different social settings, such as elderly care or autism spectrum disorders therapy.

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.

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.

Iterated reflection principles have been employed extensively to unfold epistemic commitments that are incurred by accepting a mathematical theory. Recently this has been applied to theories of truth. The idea is to start with a collection of Tarski-biconditionals and arrive by iterated reflection at strong compositional truth theories. In the context of classical logic, it is incoherent to adopt an initial truth theory in which A and ‘A is truen’ are inter-derivable. In this article, we show how in the context of a weaker logic, which we call Basic De Morgan Logic, we can coherently start with such a fully disquotational truth theory and arrive at a strong compositional truth theory by applying a natural uniform reflection principle a finite number of times.

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.