pt. 1. Introduction and indices -- pt. 2. Catalogue.

A shared narrative in the literature on the evolution of cooperation maintains that social learning evolves early to allow for the transmission of cumulative culture. Social norms, whilst present at the outset, only rise to prominence later on, mainly to stabilise cooperation against the threat of defection. In contrast, I argue that once we consider insights from social epistemology, an expansion of this narrative presents itself: An interesting kind of social norm — an epistemic coordination norm — was operative in (...) early and important instances of specialised social learning. I show how there’s a need for such norms in two key social learning strategies and explain how this need is constituted. In assessor-teaching (e.g. Castro et al. 2019; 2021), epistemic coordination norms allow agents to coordinate around the content of social learning, i.e., what is to be known and how this is to be done. These norms also allow agents to coordinate around the form of cultural learning in what’s sometimes called strategic social learning (Laland 2004; Hoppitt and Laland 2013; Heyes 2018, chap. 5) and elsewhere. Broadly speaking, this concerns how cultural learning is organised within the social group. The upshot is that the evolution of social learning and social norms are intertwined in important and underappreciated ways from early on. The above matters as it informs our views about the evolution of social norms more generally. Truly social norms emerged to coordinate a plurality of complex behaviours and interactions, amongst them specialised social learning. I substantiate this view by contrasting it with Jonathan Birch’s views on the evolution of norms. What results is a general but cohesive narrative on the early evolution of social norms. (shrink)

When governments introduce controversial policies or face a risk of policy failure, officeholders try to avoid blame and justify their decisions by using various legitimation strategies. This paper focuses on the ways in which legitimations are expressed in government social media communication, using the Twitter posts of the British government’s Brexit department as an example. We show how governments may seek legitimacy by appealing to (1) the personal authority of individual policymakers, (2) the collective authority of (political) organisations, (3) the (...) impersonal authority of rules or documents, (4) the goals or effects of government policy, (5) ‘the will of the people’, and (6) time pressure. The results suggest that official legitimations in social media posts tend to rely more on references to authority and shared values rather than presentation of evidence and sound arguments. (shrink)

Artificiell intelligens (AI) är ett ungt forskningsområde där många av de grundläggande problemen förefaller att vara av filosofisk art.1 Ämnet har sina filosofiska rötter dels i traditionen från Leibniz, Frege, Russell och Hilbert, som strävar efter att formalisera principerna för exakt tänkande, dels i den klassiska mekanismen: idén att människan är en maskin och att det mänskliga tänkandet är en mekanisk process. Som en första approximation kan vi säga att AI är det vetenskapliga studiet av hur man konstruerar och bygger (...) maskiner (datorer) som är intelligenta (eller uppvisar intelligent beteende). Det är lätt att se att denna forskning aktualiserar frågor av filosofiskt slag. Hit hör problem som rör tänkandets natur samt förhållandet mellan medvetandet och kroppen. Inom AI ses ofta datorns arbetssätt som en modell för människans kognitiva processer och man föreställer sig kanske att hjärnan är ett slags dator. Eftersom hjärnan liknas vid en dator och en dator tänks arbeta rent mekaniskt i enlighet med ett givet program (en given algoritm), så föreställer man sig att samma sak bör gälla för hjärnan. Analogin hjärna-dator leder till föreställningen att tänkande inte är något annat än en dators mekaniska manipulerande av symboler i enlighet med givna formella regler. Denna uppfattning om tänkandets natur förefaller samtidigt problematisk: mekanisk manipulation av symboler förutsätter ingen förståelse av symbolernas innebörd; genuint tänkande, å andra sidan, tycks förutsätta sådan förståelse. Ibland verkar också analogin hjärna-dator i den motsatta riktningen. Eftersom hjärnan liknas vid en dator och hjärnan har en mental dimension, så föreställer man sig kanske att samma sak måste gälla för vissa datorer: synen på hjärnan som en dator leder till tanken att det borde vara möjligt att konstruera datorer som bokstavligen tänker, känner och förnimmer. Man föreställer sig kanske att man skall kunna konstruera ett artificiellt medvetande. Vi är alla förtrogna med datorer som (i en viss mening) kan lösa förelagda uppgifter på ett intelligent sätt, men följer det därav att dessa datorer kan tänka? Inte tänker väl en schackspelande dator på schack? Hur intelligent dagens datorer än beter sig, så verkar det ändå inte rimligt att säga att de har tankar, känslor eller upplevelser. Men kan man utesluta att vi någon gång i framtiden kommer att kunna konstruera datorer som verkligen förstår, är medvetna, och tänker? Dessa frågor rymmer många begreppsliga oklarheter. Vad är intelligens, tänkande, förståelse, medvetande? Hur förhåller sig intelligens och tänkande till medvetandets fenomenella sida: upplevelser och känslor? Om vad slags ting är det meningsfullt att säga att de har intelligens, medvetande, mentala tillstånd, etc.? Är det meningsfullt att säga detta om en hjärna, en maskin, en dator? Vad menas med en maskin (dator)? Hur kan vi veta (avgöra) om ett ting har intelligens, tankar, känslor eller upplevelser? I denna uppsats avser vi att närmare belysa sambandet mellan filosofi och AI samt kritiskt granska några av AI-forskningens förutsättningar inom filosofi och logik. (shrink)

Considered by many to be Abraham Robinson's magnum opus, this book offers an explanation of the development and applications of non-standard analysis by the mathematician who founded the subject. Non-standard analysis grew out of Robinson's attempt to resolve the contradictions posed by infinitesimals within calculus. He introduced this new subject in a seminar at Princeton in 1960, and it remains as controversial today as it was then. This paperback reprint of the 1974 revised edition is indispensable reading for anyone interested (...) in non-standard analysis. It treats in rich detail many areas of application, including topology, functions of a real variable, functions of a complex variable, and normed linear spaces, together with problems of boundary layer flow of viscous fluids and rederivations of Saint-Venant's hypothesis concerning the distribution of stresses in an elastic body. (shrink)

Is there any argument for scepticism? The epistemic problem of the possibility of error. Arguments for scepticism rest on the assumption that knowledge claims are fallible. For this reason the concept of knowledge appears to be questionable. Since it is necessary to distinguish doubts from possible doubts, the arguments for scepticism appear to be unconvincing. If we take it into account that we know something that is immune to doubt, we should draw the conclusion that, contrary to scepticism, knowledge claims (...) have to be compatible with being fallible. Thus any knowledge claim is capable of being doubted. (shrink)

In the late summer of 1998, the authors, a cognitive scientist and a logician, started talking about the relevance of modern mathematical logic to the study of human reasoning, and we have been talking ever since. This book is an interim report of that conversation. It argues that results such as those on the Wason selection task, purportedly showing the irrelevance of formal logic to actual human reasoning, have been widely misinterpreted, mainly because the picture of logic current in psychology (...) and cognitive science is completely mistaken. We aim to give the reader a more accurate picture of mathematical logic and, in doing so, hope to show that logic, properly conceived, is still a very helpful tool in cognitive science. The main thrust of the book is therefore constructive. We give a number of examples in which logical theorizing helps in understanding and modeling observed behavior in reasoning tasks, deviations of that behavior in a psychiatric disorder (autism), and even the roots of that behavior in the evolution of the brain. (shrink)

This paper wants to shed light on the way the philosophical school of Stoicsm in Greco-Roman antiquity has dealt with the relationship of men and nature by pointing out to some of the key texts in which these issues are mentioned. Although the modern concept of sustainability or environmental protection did not really exist in antiquity, the Stoa was convinced that individual decisions had a direct impact on this world. Following the concept of environmental humanities, the ancient texts and authors (...) are collected as historical ideas of the multifaceted interactions between nature and men that can be fruitfully mirrored with the arguments of the current Anthropocene discourse and its focus on (post)industrialism. By doing so we might come across helpful approaches deeply rooted in our cultural heritage that we could possibly adopt and find practical answers for our age in terms of individual behaviour as well as management decisions to face the ecological and social challenges ahead. (shrink)

The objective of our article is to show how “quality of evidence” and “imprecision,” as they are defined in Grading of Recommendations Assessment, Development, and Evaluation articles, may lead to confusion. We focus only on the context of systematic reviews.

In medical research, it is not unusual that risks are ruled out without any specification the exact risk that was ruled out. This makes it difficult to balance expected health benefits and risk of harm when choosing between alternative treatment options. International guidelines for reporting medical research results are sufficiently specific when it comes to establishing health benefits. However, there is a lack of standards for reporting on ruling out risks. We argue that transparency is needed, as in the case (...) of non-inferiority trials. The Consolidated Standards of Reporting Trials and the Preferred Reporting Items for Systematic Reviews and Meta-Analyses statements should be revised accordingly. (shrink)

The notorious ‘measurement problem’ has been roving around quantum mechanics for nearly a century since its inception, and has given rise to a variety of ‘interpretations’ of quantum mechanics, which are meant to evade it. We argue that no less than six problems need to be distinguished, and that several of them classify as different types of problems. One of them is what traditionally is called ‘the measurement problem’. Another of them has nothing to do with measurements but is a (...) profound metaphysical problem. We also analyse critically Maudlin’s (Topoi 14:7–15, 1995) well-known statement of ‘three measurements problems’, and the clash of the views of Brown (Found Phys 16:857–870, 1986) and Stein (Maximal of an impossibility theorem concerning quantum measurement. In: R. S. Cohen et al. (Eds.), Potentiality, entanglement and passion-at-a-distance, 1997) on one of the six measurement problems. Finally, we summarise a solution to one measurement problem which has been largely ignored but tacitly if not explicitly acknowledged. (shrink)

We discuss external and internal graphical and linguistic representational systems. We argue that a cognitive theory of peoples' reasoning performance must account for (a) the logical equivalence of inferences expressed in graphical and linguistic form, and (b) the implementational differences that affect facility of inference. Our theory proposes that graphical representation limit abstraction and thereby aid “processibility”. We discuss the ideas of specificity and abstraction, and their cognitive relevance. Empirical support both comes from tasks which involve the manipulation of external (...) graphics and tasks that do not. For the former, we take Euler's (1772) circles, provide a novel computational reconstruction, show how it captures abstractions, and contrast it with earlier construals and with Johnson‐Laird's (1983) mental models representations. We demonstrate equivalence of the graphical Euler system, and the nongraphical mental models system. For tasks not involving manipulation of external graphics, we discuss text comprehension, and the mental performance of syllogisms. By positing an internal system with the same specificity as Euler's circles, we cover the mental models data, and generate new empirical predictions. Finally, we consider how the architecture of working memory explains why such specific representations are relatively easy to store. (shrink)

Proceedings of the papers presented at the Symposium on "Revisiting Turing and his Test: Comprehensiveness, Qualia, and the Real World" at the 2012 AISB and IACAP Symposium that was held in the Turing year 2012, 2–6 July at the University of Birmingham, UK. Ten papers. - http://www.pt-ai.org/turing-test --- Daniel Devatman Hromada: From Taxonomy of Turing Test-Consistent Scenarios Towards Attribution of Legal Status to Meta-modular Artificial Autonomous Agents - Michael Zillich: My Robot is Smarter than Your Robot: On the Need for (...) a Total Turing Test for Robots - Adam Linson, Chris Dobbyn and Robin Laney: Interactive Intelligence: Behaviour-based AI, Musical HCI and the Turing Test - Javier Insa, Jose Hernandez-Orallo, Sergio España - David Dowe and M.Victoria Hernandez-Lloreda: The anYnt Project Intelligence Test (Demo) - Jose Hernandez-Orallo, Javier Insa, David Dowe and Bill Hibbard: Turing Machines and Recursive Turing Tests — Francesco Bianchini and Domenica Bruni: What Language for Turing Test in the Age of Qualia? - Paul Schweizer: Could there be a Turing Test for Qualia? - Antonio Chella and Riccardo Manzotti: Jazz and Machine Consciousness: Towards a New Turing Test - William York and Jerry Swan: Taking Turing Seriously (But Not Literally) - Hajo Greif: Laws of Form and the Force of Function: Variations on the Turing Test. (shrink)

Theoria, Volume 88, Issue 3, Page 494-528, June 2022.

In earlier papers (Lindström & Rabinowicz, 1989. 1990), we proposed a generalization of the AGM approach to belief revision. Our proposal was to view belief revision as a relation rather thanas a function on theories (or belief sets). The idea was to allow for there being several equally reasonable revisions of a theory with a given proposition. In the present paper, we show that the relational approach is the natural result of generalizing in a certain way an approach to belief (...) revision due to Adam Grove. In his (1988) paper, Grove presents two closely related modelings of functional belief revision, one in terms of a family of "spheres" around the agent's theory G and the other in terms of an epistemic entrenchment ordering of propositions. The "sphere"-terminology is natural when one looks upon theories and propositions as being represented by sets of possible worlds. Grove's spheres may be thought of as possible "fallback" theories relative to the agent's original theory: theories that he may reach by deleting propositions that are not "sufficiently" entrenched (according to standards of sufficient entrenchment of varying stringency). To put it differently, fallbacks are theories that are closed upwards under entrenchment The entrenchment ordering can be recovered from the family of fallbacks by the definition: A is at least as entrenched as B iff A belongs to every fallback to which B belongs. To revise a theory T with a proposition A, we go to the smallest sphere that contain A-worlds and intersect it with A. The relational notion of belief revision that we are interested in, results from weakening epistemic entrenchment by not assuming it to be connected. I.e., we want to allow that some propositions may be incomparable with respect to epistemic entrenchment. As a result, the family of fallbacks around a given theory will no longer have to be nested. This change opens up the possibility for several different ways of revising a theory with a given proposition. (shrink)

Mit rein rationalen Mitteln können wir keine Entscheidung über die transzendenten Sätze der Religion herbeiführen; ob es außerhalb unseres physischen Universums einen Gott gibt oder ob wir nach dem Tod erlöst werden, muss rein naturwissenschaftlich offenbleiben. Daher suche ich nach Zugkräften, die im Leben des religiös Unentschiedenen einen Umschwung bewirken könnten. Wer seine Überzeugungen und Gefühle in eine harmonische Balance bringen will, ist gut beraten, mit bestimmten Erlebnissen (die wir alle kennen) nicht allzu rabiat umzuspringen. Diese Erlebnisse scheinen auf Gott (...) zu verweisen; und statt sie fortzuwischen, könnten wir versuchen auszuprobieren, was mit uns geschieht, wenn wir sie zulassen. Was das heißen kann, springt besonders deutlich bei unserem Umgang mit großer religiöser Musik ins Ohr. Während dem hartgesottenen Atheisten der Zugang zu wichtigen Schichten dieser Musik (etwa der Matthäuspassion) versperrt bleibt, könnte darin für den religiös Unentschiedenen mehr stecken, als man gemeinhin denkt. (shrink)

This book addresses the question of how to properly handle Dōgen’s texts, a core issue that became critical during the Meiji period in which the philosophical appropriation of Dōgen became apparent inside and outside of the monastery. In present day Dōgen studies, most scholarship is informed by a number of factions representing Dōgen. The chapters herein address: the Zennist (j. zenjōka) emphasising practice, the Genzōnians (j. genzōka) shifting the attention to the close reading of Dōgen’s texts, the laity movement opening (...) up both the texts and the practice to people in modern society, and the Genzō researchers (j. genzō kenkyūka) searching for the authenticity and truth of Dōgen’s writings. The book aims to clarify the rightful place of Dōgen: in the monastery, in denominational studies, or in modern academic philosophy? It brings forth various viewpoints on Dōgen, and analyzes the relations of these viewpoints from the premodern to modern times. The collected volume appeals to students and researchers in the field while establishing hermeneutic standards of reading and proposing new, original, and critical interpretations of Dōgen’s texts. Chapter From Uji to Being-time (and Back): Translating Dōgen into Philosophy is available open access under a Creative Commons Attribution 4.0 International License via link.springer. com. (shrink)

The theories of belief change developed within the AGM-tradition are not logics in the proper sense, but rather informal axiomatic theories of belief change. Instead of characterizing the models of belief and belief change in a formalized object language, the AGM-approach uses a natural language — ordinary mathematical English — to characterize the mathematical structures that are under study. Recently, however, various authors such as Johan van Benthem and Maarten de Rijke have suggested representing doxastic change within a formal logical (...) language: a dynamic modal logic. Inspired by these suggestions Krister Segerberg has developed a very general logical framework for reasoning about doxastic change: dynamic doxastic logic (DDL). This framework may be seen as an extension of standard Hintikka-style doxastic logic with dynamic operators representing various kinds of transformations of the agent's doxastic state. Basic DDL describes an agent that has opinions about the external world and an ability to change these opinions in the light of new information. Such an agent is non-introspective in the sense that he lacks opinions about his own belief states. Here we are going to discuss various possibilities for developing a dynamic doxastic logic for introspective agents: full DDL or DDL unlimited. The project of constructing such a logic is faced with difficulties due to the fact that the agent’s own doxastic state now becomes a part of the reality that he is trying to explore: when an introspective agent learns more about the world, then the reality he holds beliefs about undergoes a change. But then his introspective (higher-order) beliefs have to be adjusted accordingly. In the paper we shall consider various ways of solving this problem. (shrink)

Modal logic is one of philosophy’s many children. As a mature adult it has moved out of the parental home and is nowadays straying far from its parent. But the ties are still there: philosophy is important to modal logic, modal logic is important for philosophy. Or, at least, this is a thesis we try to defend in this chapter. Limitations of space have ruled out any attempt at writing a survey of all the work going on in our field—a (...) book would be needed for that. Instead, we have tried to select material that is of interest in its own right or exemplifies noteworthy features in interesting ways. Here are some themes that have guided us throughout the writing: • The back-and-forth between philosophy and modal logic. There has been a good deal of give-and-take in the past. Carnap tried to use his modal logic to throw light on old philosophical questions, thereby inspiring others to continue his work and still others to criticise it. He certainly provoked Quine, who in his turn provided—and continues to provide—a healthy challenge to modal logicians. And Kripke’s and David Lewis’s philosophies are connected, in interesting ways, with their modal logic. Analytic philosophy would have been a lot different without modal logic! • The interpretation problem. The problem of providing a certain modal logic with an intuitive interpretation should not be conflated with the problem of providing a formal system with a model-theoretic semantics. An intuitively appealing model-theoretic semantics may be an important step towards solving the interpretation problem, but only a step. One may compare this situation with that in probability theory, where definitions of concepts like ‘outcome space’ and ‘random variable’ are orthogonal to questions about “interpretations” of the concept of probability. • The value of formalisation. Modal logic sets standards of precision, which are a challenge to—and sometimes a model for—philosophy. Classical philosophical questions can be sharpened and seen from a new perspective when formulated in a framework of modal logic. On the other hand, representing old questions in a formal garb has its dangers, such as simplification and distortion. • Why modal logic rather than classical (first or higher order) logic? The idioms of modal logic—today there are many!—seem better to correspond to human ways of thinking than ordinary extensional logic. (Cf. Chomsky’s conjecture that the NP + VP pattern is wired into the human brain.) In his An Essay in Modal Logic (1951) von Wright distinguished between four kinds of modalities: alethic (modes of truth: necessity, possibility and impossibility), epistemic (modes of being known: known to be true, known to be false, undecided), deontic (modes of obligation: obligatory, permitted, forbidden) and existential (modes of existence: universality, existence, emptiness). The existential modalities are not usually counted as modalities, but the other three categories are exemplified in three sections into which this chapter is divided. Section 1 is devoted to alethic modal logic and reviews some main themes at the heart of philosophical modal logic. Sections 2 and 3 deal with topics in epistemic logic and deontic logic, respectively, and are meant to illustrate two different uses that modal logic or indeed any logic can have: it may be applied to already existing (non-logical) theory, or it can be used to develop new theory. (shrink)

. In what follows, I review the modern theory of the origin of the universe as astronomers and physicists are coming to understand it during the last decades of the twentieth century. An unexpected discovery of this study is that the story of “cosmogenesis” cannot be completely told unless we understand the fundamental nature of matter, space, and time. In the context of modern cosmology space has become not only the bedrock of our physical existence, it may yield a fuller (...) understanding of the universe itself. (shrink)

Interpretation is the process whereby a hearer reasons to an interpretation of a speaker's discourse. The hearer normally adopts a credulous attitude to the discourse, at least for the purposes of interpreting it. That is to say the hearer tries to accommodate the truth of all the speaker's utterances in deriving an intended model. We present a nonmonotonic logical model of this process which defines unique minimal preferred models and efficiently simulates a kind of closed-world reasoning of particular interest for (...) human cognition. Byrne's “suppression” data (Byrne, 1989) are used to illustrate how variants on this logic can capture and motivate subtly different interpretative stances which different subjects adopt, thus indicating where more fine-grained empirical data are required to understand what subjects are doing in this task. We then show that this logical competence model can be implemented in spreading activation network models. A one pass process interprets the textual input by constructing a network which then computes minimal preferred models for (3-valued) valuations of the set of propositions of the text. The neural implementation distinguishes easy forward reasoning from more complex backward reasoning in a way that may be useful in explaining directionality in human reasoning. (shrink)

Interpretation is the process whereby a hearer reasons to an interpretation of a speaker's discourse. The hearer normally adopts a credulous attitude to the discourse, at least for the purposes of interpreting it. That is to say the hearer tries to accommodate the truth of all the speaker's utterances in deriving an intended model. We present a nonmonotonic logical model of this process which defines unique minimal preferred models and efficiently simulates a kind of closed-world reasoning of particular interest for (...) human cognition. Byrne's “suppression” data (Byrne, 1989) are used to illustrate how variants on this logic can capture and motivate subtly different interpretative stances which different subjects adopt, thus indicating where more fine-grained empirical data are required to understand what subjects are doing in this task. We then show that this logical competence model can be implemented in spreading activation network models. A one pass process interprets the textual input by constructing a network which then computes minimal preferred models for (3-valued) valuations of the set of propositions of the text. The neural implementation distinguishes easy forward reasoning from more complex backward reasoning in a way that may be useful in explaining directionality in human reasoning. (shrink)

Carl G. Hempel has expressed the view that explanation in history is of a kind with explanation in any other branch of empirical science. Historians, according to him, aim at showing that the events they describe are not matters of chance. In the author's opinion there is no necessary connection between these two statements. Historians often aim at showing that the events they describe are matters of chance. But this does not make explanation in history different from explanation in other (...) branches of empirical science. (shrink)