Editors van Ditmarsch, Hendriks and Verbrugge of this special issue of topiCS on lying describe some recent trends in research on lying from a multidisciplinary perspective, including logic, philosophy, linguistics, psychology, cognitive science, behavioral economics, and artificial intelligence. Furthermore, they outline the seven contributions to this special issue.

Beschouwing over het wezen van macht, de basis en de legitimering ervan.

Many social situations require a mental model of the knowledge, beliefs, goals, and intentions of others: a Theory of Mind (ToM). If a person can reason about other people’s beliefs about his own beliefs or intentions, he is demonstrating second-order ToM reasoning. A standard task to test second-order ToM reasoning is the second-order false belief task. A different approach to investigating ToM reasoning is through its application in a strategic game. Another task that is believed to involve the application of (...) second-order ToM is the comprehension of sentences that the hearer can only understand by considering the speaker’s alternatives. In this study we tested 40 children between 8 and 10 years old and 27 adult controls on (adaptations of) the three tasks mentioned above: the false belief task, a strategic game, and a sentence comprehension task. The results show interesting differences between adults and children, between the three tasks, and between this study and previous research. (shrink)

Editors van Ditmarsch, Hendriks and Verbrugge of this special issue of topiCS on lying describe some recent trends in research on lying from a multidisciplinary perspective, including logic, philosophy, linguistics, psychology, cognitive science, behavioral economics, and artificial intelligence. Furthermore, they outline the seven contributions to this special issue.

An architect and architectural philosopher, Berlage created a series of buildings and a body of writings that probed the problems and possibilities of Modernism. His principal texts, given here in English for the first time, present a vital chapter in the history of European Modernism.

Hendrik Lorenz presents a comprehensive study of Plato's and Aristotle's conceptions of non-rational desire. They see this as something that humans share with animals, and which aims primarily at the pleasures of food, drink, and sex. Lorenz explores the cognitive resources that both philosophers make available for the explanation of such desires, and what they take rationality to add to the motivational structure of human beings. In doing so, he finds conceptions of the mind that are coherent and deeply (...) integrated with both philosophers' views about such topics as the relation between body and soul, or the nature of the virtues. (shrink)

In this paper, we first classify different types of second opinions and evaluate the ethical and epistemological implications of providing those in a clinical context. Second, we discuss the issue of how artificial intelligent could replace the human cognitive labour of providing such second opinion and find that several AI reach the levels of accuracy and efficiency needed to clarify their use an urgent ethical issue. Third, we outline the normative conditions of how AI may be used as second opinion (...) in clinical processes, weighing the benefits of its efficiency against concerns of responsibility attribution. Fourth, we provide a ‘rule of disagreement’ that fulfils these conditions while retaining some of the benefits of expanding the use of AI-based decision support systems in clinical contexts. This is because the rule of disagreement proposes to use AI as much as possible, but retain the ability to use human second opinions to resolve disagreements between AI and physician-in-charge. Fifth, we discuss some counterarguments. (shrink)

In everyday life it is often important to have a mental model of the knowledge, beliefs, desires, and intentions of other people. Sometimes it is even useful to to have a correct model of their model of our own mental states: a second-order Theory of Mind. In order to investigate to what extent adults use and acquire complex skills and strategies in the domains of Theory of Mind and the related skill of natural language use, we conducted an experiment. It (...) was based on a strategic game of imperfect information, in which it was beneficial for participants to have a good mental model of their opponent, and more specifically, to use second-order Theory of Mind. It was also beneficial for them to be aware of pragmatic inferences and of the possibility to choose between logical and pragmatic language use. We found that most participants did not seem to acquire these complex skills during the experiment when being exposed to the game for a number of different trials. Nevertheless, some participants did make use of advanced cognitive skills such as second-order Theory of Mind and appropriate choices between logical and pragmatic language use from the beginning. Thus, the results differ markedly from previous research. (shrink)

Let PLω be the provability logic of IΔ0 + ω1. We prove some containments of the form L ⊆ PLω < Th(C) where L is the provability logic of PA and Th(C) is a suitable class of Kripke frames.

Cet article, dans une perspective sémiopragmatique, interroge la disposition graphique des textes comme élément d'interface avec le lecteur. Il s'agit plus précisément d'examiner comment les signes organisateursde l'écrit - cadres, bords et marges- interviennent dans l'acte de lecture.What does the graphic organization of texts have to do with the mental construction of the reader ? How do indexical signs give him a direction ? Between semiotics and psychology, they remind us that the body and perception are important even through the (...) use of codified social models. (shrink)

We investigate the theory IΔ 0 + Ω 1 and strengthen [Bu86. Theorem 8.6] to the following: if NP ≠ co-NP. then Σ-completeness for witness comparison formulas is not provable in bounded arithmetic. i.e. $I\delta_0 + \Omega_1 + \nvdash \forall b \forall c (\exists a(\operatorname{Prf}(a.c) \wedge \forall = \leq a \neg \operatorname{Prf} (z.b))\\ \rightarrow \operatorname{Prov} (\ulcorner \exists a(\operatorname{Prf}(a. \bar{c}) \wedge \forall z \leq a \neg \operatorname{Prf}(z.\bar{b})) \urcorner)).$ Next we study a "small reflection principle" in bounded arithmetic. We prove that for (...) all sentences φ $I\Delta_0 + \Omega_1 \vdash \forall x \operatorname{Prov}(\ulcorner \forall y \leq \bar{x} (\operatorname{Prf} (y. \overline{\ulcorner \varphi \urcorner}) \rightarrow \varphi)\urcorner).$ The proof hinges on the use of definable cuts and partial satisfaction predicates akin to those introduced by Pudlak in [Pu86]. Finally, we give some applications of the small reflection principle, showing that the principle can sometimes be invoked in order to circumvent the use of provable Σ-completeness for witness comparison formulas. (shrink)

We overview logical and computational explanations of the notion of tractability as applied in cognitive science. We start by introducing the basics of mathematical theories of complexity: computability theory, computational complexity theory, and descriptive complexity theory. Computational philosophy of mind often identifies mental algorithms with computable functions. However, with the development of programming practice it has become apparent that for some computable problems finding effective algorithms is hardly possible. Some problems need too much computational resource, e.g., time or memory, to (...) be practically computable. Computational complexity theory is concerned with the amount of resources required for the execution of algorithms and, hence, the inherent difficulty of computational problems. An important goal of computational complexity theory is to categorize computational problems via complexity classes, and in particular, to identify efficiently solvable problems and draw a line between tractability and intractability. -/- We survey how complexity can be used to study computational plausibility of cognitive theories. We especially emphasize methodological and mathematical assumptions behind applying complexity theory in cognitive science. We pay special attention to the examples of applying logical and computational complexity toolbox in different domains of cognitive science. We focus mostly on theoretical and experimental research in psycholinguistics and social cognition. (shrink)

According to what is now commonly referred to as “the Equation” in the literature on indicative conditionals, the probability of any indicative conditional equals the probability of its consequent of the conditional given the antecedent of the conditional. Philosophers widely agree in their assessment that the triviality arguments of Lewis and others have conclusively shown the Equation to be tenable only at the expense of the view that indicative conditionals express propositions. This study challenges the correctness of that assessment by (...) presenting data that cast doubt on an assumption underlying all triviality arguments. (shrink)

-/- Provability logic is a modal logic that is used to investigate what arithmetical theories can express in a restricted language about their provability predicates. The logic has been inspired by developments in meta-mathematics such as Gödel’s incompleteness theorems of 1931 and Löb’s theorem of 1953. As a modal logic, provability logic has been studied since the early seventies, and has had important applications in the foundations of mathematics. -/- From a philosophical point of view, provability logic is interesting because (...) the concept of provability in a fixed theory of arithmetic has a unique and non-problematic meaning, other than concepts like necessity and knowledge studied in modal and epistemic logic. Furthermore, provability logic provides tools to study the notion of self-reference. (shrink)

An experimental study is reported which investigates the differences in interpretation between content conditionals (of various pragmatic types) and inferential conditionals. In a content conditional, the antecedent represents a requirement for the consequent to become true. In an inferential conditional, the antecedent functions as a premise and the consequent as the inferred conclusion from that premise. The linguistic difference between content and inferential conditionals is often neglected in reasoning experiments. This turns out to be unjustified, since we adduced evidence on (...) the basis of a quantitative and a qualitative analysis that this difference has a manifest psychological relevance. For the inferential conditionals, participants appear to retrieve the order of events of the original content conditional on which it was based, before they start reasoning with it. The implications of this finding for reasoning research and linguistics will be discussed. (shrink)

Inferential or epistemic conditional sentences represent a blueprint of someone’s reasoning process from premise to conclusion. Declerck and Reed (2001) make a distinction between a direct and an indirect type. In the latter type the direction of reasoning goes backwards, from the blatant falsehood of the consequent to the falsehood of the antecedent. We first present a modal reinterpretation in terms of Argumentation Schemes of indirect inferential conditionals (IIC’s) in Declerck and Reed (2001). We furthermore argue for a distinction between (...) epistemic-modal strong and deontic-modal weak IIC’s. In addition, we extend the category of the indirect inferential conditionals in order to include several other deontic-modal subtypes. On the basis of the undesirability of the consequent the hearer in these cases infers that the antecedent is also undesirable. In this way the rhetoric-argumentative strategy of Reductio ad Absurdum is extended from the realm of deductive reasoning to that of practical reasoning. (shrink)

Aristotle takes practical wisdom and arts or crafts to be forms of knowledge which, we argue, can usefully be thought of as ‘empiricist’. This empiricism has two key features: knowledge does not rest on grasping unobservable natures or essences; and knowledge does not rest on grasping logical relations that hold among propositions. Instead, knowledge rests on observation, memory, experience and everyday uses of reason. While Aristotle’s conception of theoretical knowledge does require grasping unobservable essences and logical relations that hold among (...) suitable propositions, his conception of practical and productive knowledge avoids such requirements and is consistent with empiricism. (shrink)

This paper explores the role and resolution of disagreements between physicians and their diagnostic AI-based decision support systems. With an ever-growing number of applications for these independently operating diagnostic tools, it becomes less and less clear what a physician ought to do in case their diagnosis is in faultless conflict with the results of the DSS. The consequences of such uncertainty can ultimately lead to effects detrimental to the intended purpose of such machines, e.g. by shifting the burden of proof (...) towards a physician. Thus, we require normative clarity for integrating these machines without affecting established, trusted, and relied upon workflows. In reconstructing different causes of conflicts between physicians and their AI-based tools—inspired by the approach of “meaningful human control” over autonomous systems and the challenges to resolve them—we will delineate normative conditions for “meaningful disagreements”. These incorporate the potential of DSS to take on more tasks and outline how the moral responsibility of a physician can be preserved in an increasingly automated clinical work environment. (shrink)

This article takes off from Johan van Benthem’s ruminations on the interface between logic and cognitive science in his position paper “Logic and reasoning: Do the facts matter?”. When trying to answer Van Benthem’s question whether logic can be fruitfully combined with psychological experiments, this article focuses on a specific domain of reasoning, namely higher-order social cognition, including attributions such as “Bob knows that Alice knows that he wrote a novel under pseudonym”. For intelligent interaction, it is important that the (...) participants recursively model the mental states of other agents. Otherwise, an international negotiation may fail, even when it has potential for a win-win solution, and in a time-critical rescue mission, a software agent may depend on a teammate’s action that never materializes. First a survey is presented of past and current research on higher-order social cognition, from the various viewpoints of logic, artificial intelligence, and psychology. Do people actually reason about each other’s knowledge in the way proscribed by epistemic logic? And if not, how can logic and cognitive science productively work together to construct more realistic models of human reasoning about other minds? The paper ends with a delineation of possible avenues for future research, aiming to provide a better understanding of higher-order social reasoning. The methodology is based on a combination of experimental research, logic, computational cognitive models, and agent-based evolutionary models. (shrink)

Clinician scientists have gained institutional support in the era of translational research, as the key solution to closing the ‘translational gap’ between biomedical research and medical practice. However, clinician scientists remain an ‘endangered species’ in search of a secure niche, while new grants and training programs attempt to counteract their measurable decline in numbers over the past decades. Our study asks how an occupational space for clinician scientists is currently situated between the politics of translation, professional dynamics, and the specialization (...) of academic disciplines. We interviewed clinician scientists, their adjacent professions—clinicians and biomedical researchers—, and contrast their views with expectations from the discourse on clinician scientists in the biomedical and policy literature. We identify professionalizable work and tasks that relate to, first, being able to speak the two languages of both clinic and research, second, translating patients’ needs and clinical experience for further research, and third, counteracting the trends towards specialization by providing an inclusive point of view. We find that clinician scientists are overburdened with fulfilling a hybrid role of simultaneously being clinicians and scientists. Based on these findings, we suggest a path for the future professional development of clinician scientists towards the role of a translator. (shrink)

When heterogeneous players make strategic investment decisions in multi-stage contests, they might conserve resources in a current contest to spend more in a subsequent contest, if the degree of heterogeneity in the current contest is sufficiently large. We confirm these predictions using data from German professional soccer, in which players are subject to a one-match ban if they accumulate five yellow cards. Players with four yellow cards facing the risk of being suspended for the next match are less likely to (...) be fielded when the heterogeneity in the current match increases and more likely to receive a fifth yellow card in the current match when heterogeneity in the next match increases or heterogeneity in the next match but one decreases. (shrink)

We analyze investors’ perception and long-term effects of board gender diversity on firms’ stock market performance in an international setting. Our results, controlling for the endogenous nature of board compositions, indicate that female board representation neither improves nor reduces firms’ long-term stock performance. Hence, we argue that it is imperative to go beyond the conventional thinking in terms of the business case for gender diversity and broaden the perspective also to incorporate societal and ethical aspects in the strive to board (...) gender equality. Even more so, as our results show that it does not entail reduced shareholder value, which the literature on mandatory gender quotas commonly seems to suggest. (shrink)

Conflicts in Interpretation applies novel methods of constraint interaction, derived from connectionist theories and implemented in linguistics within the framework of Optimality Theory, to core semantic and pragmatic issues such as polysemy, negation, (in) definiteness, focus, anaphora, and rhetorical structure. It explores the hypothesis that a natural language grammar is a set of potentially conflicting constraints on forms and meanings. Moreover, it hypothesizes that competent language users not only optimize from an input form to the optimal output meaning for this (...) form, or vice versa, but also consider the opposite direction of optimization, thus taking into account the speaker as a hearer and taking into account the hearer as a speaker. The book aims to show that such a bidirectional constraint-based grammar sheds new light on the relation between form and meaning, within a sentence as well as across sentence boundaries, within a single language as well as across languages, and within competent adult language users as well as during language development. An important dimension of the book is the structured investigation of issues at the interface of semantics with syntax and pragmatics, such as the effects of distinguishing between speaker's perspective and hearer's perspective in comprehension and production, stable and instable patterns of form and meaning across languages, and the development of a coherent pattern of form and meaning in children. Conflicts in Interpretation will be of interest to any researcher or advanced student in linguistics, cognitive science, language typology, or psycholinguistics who is interested in the capacity of our human mind to map meaning onto form, and form onto meaning. (shrink)

This article argues that autistic people occasionally experience greater comfort from imposed routines than from a yielding form of love and understanding, which I will call naive humanism. Collins's theory of action, with its attention toward the achievements residing in a reductionist approach, can help to point out the flaws of a naive humanistic stance. It would, however, be a mistake to stop at this point and remain satisfied with the problem-solving capacity of such a reductionist stance. In a ward (...) for autistic youths, the risk of cruelty resides in a purely mechanistic stance as much as in a naive humanistic approach. Thus, the social context of care of autistic people urges us to question the scope of a traditional scheme of thought, which cherishes a deep distinction between humans and machines. (shrink)

When Immanuel Bekker, the editor to whom Aristotle owes his page numbers, travelled to Paris in search of manuscripts between 1810 and 1812, Theognis had been a mainstay of classical scholarship for many hundreds of years. Even so, the small tenth-century parchment volume Bekker discovered there came as a surprise. Not only did it contain a text of theTheognideawhich was four hundred years older than the earliest codex known so far; it also added an entirely new section of 176 lines. (...) Presented by the scribe as ‘book 2’ of theElegiac Poemsby Theognis, they revolved around the theme of pederastic love – until then a topic not usually associated with the moralist from Megara. In spite of their similarities to what had now turned into ‘book 1’, they were dismissed as a late forgery almost instantly after Bekker's 1815 edition. Although that view came to be challenged later and can now be considered obsolete, even van Groningen's first comprehensive commentary to theTheognidea, published in 1966 and not superseded since, breaks off where the second book would have begun. Until today, research on this part of the Theognidean corpus has not grown much beyond a trickle flowing at some distance from the classical mainstream. (shrink)

This festschrift collects a number of insightful essays by a group of accomplished Christian scholars, all of who have either worked with or studied under Hendrik Hart during his 35-year tenure as Senior Member in Systematic Philosophy at the Institute for Christian Studies, Toronto, Canada.

Ancient philosophical theories of soul are in many respects sensitive to ways of speaking and thinking about the soul psuchê] that are not specifically philosophical or theoretical. We therefore begin with what the word ‘soul’ meant to speakers of Classical Greek, and what it would have been natural to think about and associate with the soul. We then turn to various Presocratic thinkers, and to the philosophical theories that are our primary concern, those of Plato (first in the Phaedo, then (...) in the Republic), Aristotle (in the De Anima or On the Soul ), Epicurus, and the Stoics. These are by far the most carefully worked out theories of soul in ancient philosophy. Later theoretical developments — for instance, in the writings of Plotinus and other Platonists, as well as the Church Fathers — are best studied against the background of the classical theories, from which, in large part, they derive. (shrink)

Translation:Hendrik Josephus POS, „Phénoménologie et linguistique.“ In: Keur uit de verspreide geschrift en van Dr. H. J. Pos. Vol. I. Assen: Van Loghum Slaterus 1957, p. 131–141.

The reliability of clinical practice guidelines has been disputed because guideline panel members are often burdened with financial conflicts of interest. Current recommendations for COI regulation advise not only detailed declaration but also active management of conflicts. To continuously assess COI declaration and management in German guidelines we established the public database LeitlinienWatch. We analyzed all German guidelines at the highest methodological level that included recommendations for pharmacological therapy according to five criteria: declaration and assessment of COI, composition of the (...) guideline development group, independence of the coordinators and lead authors, imposed abstentions because of COI and public external review. Each criterion was assessed using predefined outcome categories. Most guidelines contained a detailed declaration of COI. However, none of the guidelines provided full transparency of COI assessment results. The guideline group was composed of a majority of participants with COI in 55% of the guidelines, no guideline was free of participants with COI. Only 9% of guidelines had coordinators and lead authors without any financial COI. Most guidelines did not provide a rule for abstentions for participants with COI. In 21% of guidelines there was a rule, but abstentions were either not practiced or not documented, whereas in 7% partial abstentions and in 2% complete abstentions were documented. Two thirds of the guideline drafts were not externally reviewed via a public website. COI are usually documented in detail in German guidelines of the highest methodological level. However, considerable improvement is needed regarding active management of COI, including recruitment of independent experts for guideline projects, abstention from voting for participants with COI and external review of the guideline draft. We assume that the publicly available ratings on GuidelineWatch will improve the handling of conflicts of interest in guideline development. (shrink)

Pragma-dialectical approaches to legal argumentation seem to be rather different from traditional approaches appealing to standards of propositional logic. Pragma-dialectical analysis of arguments by analogy and e contrario seem to fall foul to the rigors of logical analysis, in which problems or even concepts of analogy and e contrario seem to disappear. The brunt of both types of special legal argumentation appears to be borne by often implicit general principles and an appeal to the system of the law as a (...) whole. Still, pragma-dialectics and logical analysis of legal argument are best seen as fruitfully supplementing each other in ongoing research of ever evolving legal argument. (shrink)

Plato's central contribution to psychology is his theory of the tripartite soul. This is at once a theory about the nature of the embodied human soul and a theory of human motivation. This article emphasizes on the importance and immortality of the soul. Plato does say that perceptible particulars derive their names from the forms they partake of their souls. One of his arguments against the harmonia theory of the soul, put forward by Simmias, relies on the occurrence of conflicts (...) between desires and also of conflicts between how one decides to act and how anger or fear incline one to act. Among other things, he points out that people who are thirsty may nonetheless be averse to drinking. (shrink)

To find more information about Rowman and Littlefield titles, please visit www.rowmanlittlefield.com.