Affordances are action-possibilities, ways of relating to and acting on our world. A theory of affordances helps us understand how we have bodily access to our world and what it means to enjoy such access. But what happens to bodies when this access is somehow ruptured or impeded? This question is relevant to psychopathology. People with psychiatric disorders often describe feeling as though they’ve lost access to affordances that others take for granted. Focusing on schizophrenia, depression, and autistic spectrum disorder, (...) I argue that thinking about the bodily consequences of losing access to everyday affordances can help us better understand these reports. An affordance-based approach to psychopathology can illuminate some of the causes, as well as the experiential character and content, of affective disorders in psychopathology. It can also draw our attention to some under-explored ethical and political dimensions of these issues needing further consideration. (shrink)

Duality in Logic and Language [draft--do not cite this article] Duality phenomena occur in nearly all mathematically formalized disciplines, such as algebra, geometry, logic and natural language semantics. However, many of these disciplines use the term ‘duality’ in vastly different senses, and while some of these senses are intimately connected to each other, others seem to be entirely … Continue reading Duality in Logic and Language →.

In this paper we adopt Sterelny's framework of the scaffolded mind, and his related dimensional approach, to highlight the many ways in which human affectivity is environmentally supported. After discussing the relationship between the scaffolded-mind view and related frameworks, such as the extended-mind view, we illustrate the many ways in which our affective states are environmentally supported by items of material culture, other people, and their interplay. To do so, we draw on empirical evidence from various disciplines, and develop phenomenological (...) considerations to distinguish different ways in which we experience the world affectively. (shrink)

As technology improves, artificial systems are increasingly able to behave in human-like ways: holding a conversation; providing information, advice, and support; or taking on the role of therapist, teacher, or counsellor. This enhanced behavioural complexity, we argue, encourages deeper forms of affective engagement on the part of the human user, with the artificial agent helping to stabilise, subdue, prolong, or intensify a person's emotional condition. Here, we defend a fictionalist account of human/AI interaction, according to which these encounters involve an (...) elaborate practise of imaginative pretence: a make-believe in which the artificial agent is attributed a life of its own. We attend, specifically, to the temporal characteristics of these fictions, and to what we imagine artificial agents are doing when we are not looking at them. (shrink)

Niche construction theory highlights the active role of organisms in modifying their environment. A subset of these modifications is the developmental niche, which concerns ecological, epistemic, social and symbolic legacies inherited by organisms as resources that scaffold their developmental processes. Since in this theory development is a situated process that takes place in a culturally structured environment, we may reasonably ask if implicit cultural biases may, in some cases, be responsible for maladaptive developmental niches. In this paper we wish to (...) argue for an affirmative answer. In order to do so, we first propose to conceptualize implicit bias as embodied perceptual habits, and then proceed to show that these habits are at least partially responsible for maladaptive developmental niches of children with Down syndrome and autism. With this framework we thus hope to bring together two fields of research that haven’t been explicitly connected: implicit bias and niche construction theory. Linking these two theories may bring benefits both to implicit bias researchers, who can extend this concept to characterize other sets of processes as biased, as well as to niche construction theorists, who will have a useful theoretical tool to diagnose maladaptive features of niches brought about by sociocultural biases. (shrink)

In recent years, a number of authors have started studying Aristotelian diagrams containing metalogical notions, such as tautology, contradiction, satisfiability, contingency, strong and weak interpretations of contrariety, etc. The present paper is a contribution to this line of research, and its main aims are both to extend and to deepen our understanding of metalogical diagrams. As for extensions, we not only study several metalogical decorations of larger and less widely known Aristotelian diagrams, but also consider metalogical decorations of another type (...) of logical diagrams, viz. duality diagrams. At a more fundamental level, we present a unifying perspective which sheds new light on the connections between new and existing metalogical diagrams, as well as between object- and metalogical diagrams. Overall, the paper studies two types of logical diagrams and four kinds of metalogical decorations. (shrink)

The aim of this paper is to initiate a systematic exploration of the model theory of epistemic plausibility models (EPMs). There are two subtly different definitions in the literature: one by van Benthem and one by Baltag and Smets. Because van Benthem's notion is the most general, most of the paper is dedicated to this notion. We focus on the notion of bisimulation, and show that the most natural generalization of bisimulation to van Benthem-type EPMs fails. We then introduce parametrized (...) bisimulations, and prove various bisimulationimplies- equivalence theorems, a Hennessy-Milner theorem, and several (un)definability results. We discuss the problems arising from the fact that these bisimulations are syntax-dependent (and thus not fully structural), and we present and compare two different ways of coping with this issue: adding a modality to the language, and putting extra constraints on the models. We argue that the most successful solution involves restricting to uniform and locally connected (van Benthem-type) EPMs: for this subclass the intuitively most natural notion of bisimulation and the technically sound notion coincide. Such EPMs turn out to correspond exactly with Baltag/Smets-type EPMs, which can be interpreted as constituting a methodological argument, favoring Baltag and Smets's definition of EPM over that of van Benthem. (shrink)

In this paper, we introduce the Japanese philosopher Tetsurō Watsuji’s phenomenology of aidagara (“betweenness”) and use his analysis in the contemporary context of online space. We argue that Watsuji develops a prescient analysis anticipating modern technologically-mediated forms of expression and engagement. More precisely, we show that instead of adopting a traditional phenomenological focus on face-to-face interaction, Watsuji argues that communication technologies — which now include Internet-enabled technologies and spaces — are expressive vehicles enabling new forms of emotional expression, shared experiences, (...) and modes of betweenness that would be otherwise inaccessible. Using Watsuji’s phenomenological analysis, we argue that the Internet is not simply a sophisticated form of communication technology that expresses our subjective spatiality (although it is), but that it actually gives rise to new forms of subjective spatiality itself. We conclude with an exploration of how certain aspects of our online interconnections are hidden from lay users in ways that have significant political and ethical implications. (shrink)

Anorexia Nervosa (AN) is an eating disorder characterised by self-starvation. Accounts of AN typically frame the disorder in individualistic terms: e.g., genetic predisposition, perceptual disturbances of body size and shape, experiential bodily disturbances. Without disputing the role these factors may play in developing AN, we instead draw attention to the way disordered eating practices in AN are actively supported by others. Specifically, we consider how Pro-Anorexia (ProAna) websites—which provide support and solidarity, tips, motivational content, a sense of community, and understanding (...) to individuals with AN—help drive and maintain AN practices. We use C. Thi Nguyen’s work on epistemic “echo chambers”, along with Maria Lugones’ work on “worlds” and “ease”, to explore the dynamics of these processes. Adopting this broader temporal and intersubjective perspective, we argue, not only helps to further illuminate the experiential character of AN but also has important clinical and therapeutic significance. (shrink)

Philosophical work exploring the relation between cognition and the Internet is now an active area of research. Some adopt an externalist framework, arguing that the Internet should be seen as environmental scaffolding that drives and shapes cognition. However, despite growing interest in this topic, little attention has been paid to how the Internet influences our affective life — our moods, emotions, and our ability to regulate these and other feeling states. We argue that the Internet scaffolds not only cognition but (...) also affect. Using various case studies, we consider some ways that we are increasingly dependent on our Internet-enabled “techno-social niches” to regulate the contours of our own affective life and participate in the affective lives of others. We argue further that, unlike many of the other environmental resources we use to regulate affect, the Internet has distinct properties that introduce new dimensions of complexity to these regulative processes. First, it is radically social in a way many of these other resources are not. Second, it is a radically distributed and decentralized resource; no one individual or agent is responsible for the Internet’s content or its affective impact on users. Accordingly, while the Internet can profoundly augment and enrich our affective life and deepen our connection with others, there is also a distinctive kind of affective precarity built into our online endeavors as well. (shrink)

This paper studies the Lockean thesis from the perspective of contemporary epistemic logic. The Lockean thesis states that belief can be defined as ‘sufficiently high degree of belief’. Its main problem is that it gives rise to a notion of belief which is not closed under conjunction. This problem is typical for classical epistemic logic: it is single-agent and static. I argue that from the perspective of contemporary epistemic logic, the Lockean thesis fares much better. I briefly mention that it (...) can successfully be extended from single-agent to multi-agent settings. More importantly, I show that accepting the Lockean thesis (and a more sophisticated version for conditional beliefs) leads to a significant and unexpected unification in the dynamic behavior of (conditional) belief and high (conditional) probability with respect to public announcements. This constitutes a methodological argument in favor of the Lockean thesis. Furthermore, if one accepts Baltag’s Erlangen program for epistemology, this technical observation has even stronger philosophical implications: because belief and high probability display the same dynamic behavior, it is plausible that they are indeed one and the same epistemic notion. (shrink)

This paper studies John Buridan's octagons of opposition for the de re modal propositions and the propositions of unusual construction. Both Buridan himself and the secondary literature have emphasized the strong similarities between these two octagons (as well as a third one, for propositions with oblique terms). In this paper, I argue that the interconnection between both octagons is more subtle than has previously been thought: if we move beyond the Aristotelian relations, and also take Boolean considerations into account, then (...) the strong analogy between Buridan's octagons starts to break down. These differences in Boolean structure can already be discerned within the octagons themselves; on a more abstract level, they lead to these two octagons having different degrees of Boolean complexity (i.e. Boolean closures of different sizes). These results are obtained by means of bitstring analysis, which is one of the key tools from contemporary logical geometry. Finally, I argue that this historical investigation is directly relevant for the theoretical framework of logical geometry, and discuss how it helps us to address certain open questions in this framework. (shrink)

In the recent debate on future contingents and the nature of the future, authors such as G. A. Boyd, W. L. Craig, and E. Hess have made use of various logical notions, such as the Aristotelian relations of contradiction and contrariety, and the ‘open future square of opposition.’ My aim in this paper is not to enter into this philosophical debate itself, but rather to highlight, at a more abstract methodological level, the important role that Aristotelian diagrams can play in (...) organizing and clarifying the debate. After providing a brief survey of the specific ways in which Boyd and Hess make use of Aristotelian relations and diagrams in the debate on the nature of the future, I argue that the position of open theism is best represented by means of a hexagon of opposition. Next, I show that on the classical theist account, this hexagon of opposition ‘collapses’ into a single pair of contradictory statements. This collapse from a hexagon into a pair has several aspects, which can all be seen as different manifestations of a single underlying change. (shrink)

This paper studies Aumann’s agreeing to disagree theorem from the perspective of dynamic epistemic logic. This was first done by Dégremont and Roy (J Phil Log 41:735–764, 2012) in the qualitative framework of plausibility models. The current paper uses a probabilistic framework, and thus stays closer to Aumann’s original formulation. The paper first introduces enriched probabilistic Kripke frames and models, and various ways of updating them. This framework is then used to prove several agreement theorems, which are natural formalizations of (...) Aumann’s original result. Furthermore, a sound and complete axiomatization of a dynamic agreement logic is provided, in which one of these agreement theorems can be derived syntactically. These technical results are used to show the importance of explicitly representing the dynamics behind the agreement theorem, and lead to a clarification of some conceptual issues surrounding the agreement theorem, in particular concerning the role of common knowledge. The formalization of the agreement theorem thus constitutes a concrete example of the so-called dynamic turn in logic. (shrink)

Grief is, and has always been, technologically supported. From memorials and shrines to photos and saved voicemail messages, we engage with the dead through the technologies available to us. As our technologies evolve, so does how we grieve. In this paper, we consider the role chatbots might play in our grieving practices. Influenced by recent phenomenological work, we begin by thinking about the character of grief. Next, we consider work on developing “continuing bonds” with the dead. We argue that for (...) some, chatbots may play an important role in establishing these continuing bonds by helping us develop what we term “habits of intimacy”. We then turn to the “ick factor” some may feel about this prospect, focusing especially on ethical concerns raised by Patrick Stokes and Adam Buben about the risk of replacing our dead with chatbots. We argue that replacement worries are not as pressing as Stokes and Buben suggest. We resist these replacement worries by appealing to the “thin reciprocity”, as we refer to it, that such bots offer, as well as the fictionalist stance that we think users of the bots adopt when engaging with them. We conclude by briefly raising some additional concerns and highlighting future research questions. (shrink)

In this paper, we develop an analysis of the structure and content of loneliness. We argue that this is an emotion of absence-an affective state in which certain social goods are regarded as out of reach for the subject of experience. By surveying the range of social goods that appear to be missing from the lonely person's perspective, we see what it is that can make this emotional condition so subjectively awful for those who undergo it, including the profound sense (...) of being unable to realise oneself, in collaboration with others. (shrink)

Self-disorders in depression and schizophrenia have been the focus of much recent work in phenomenological psychopathology. But little has been said about the role the material environment plays in shaping the affective character of these disorders. In this paper, we argue that enjoying reliable (i.e., trustworthy) access to the things and spaces around us — the constituents of our material environment — is crucial for our ability to stabilize and regulate our affective life on a day-today basis. These things and (...) spaces often play an ineliminable role in shaping what we feel and how we feel it; when we interact with them, they contribute ongoing feedback that " scaffolds " the character and temporal development of our affective experiences. However, in some psychopathological conditions, the ability to access to these things and spaces becomes disturbed. Individuals not only lose certain forms of access to the practical significance of the built environment but also to its ​ regulative​ significance, too — and the stability and organization of their affective life is compromised. In developing this view, we discuss core concepts like " affordance spaces " , " scaffolding " , and " incorporation ". We apply these concepts to two case studies, severe depression and schizophrenia, and we show why these cases support our main claim. We conclude by briefly considering implications of this view for developing intervention and treatment strategies. (shrink)

This paper explores the interplay between logic-sensitivity and bitstring semantics in the square of opposition. Bitstring semantics is a combinatorial technique for representing the formulas that appear in a logical diagram, while logic-sensitivity entails that such a diagram may depend, not only on the formulas involved, but also on the logic with respect to which they are interpreted. These two topics have already been studied extensively in logical geometry, and are thus well-understood by themselves. However, the precise details of their (...) interplay turn out to be far more complicated. In particular, the paper describes an elegant and natural interaction between bitstrings and logic-sensitivity, which makes perfect sense when bitstrings are viewed as purely combinatorial entities. However, when we view bitstrings as semantically meaningful entities (which is actually the standard perspective, cf. the term ‘bitstring semantics’!), this interaction does not seem to have a full and equally natural counterpart. The paper describes some attempts to address this situation, but all of them are ultimately found wanting. For now, it thus remains an open problem to capture this interaction between bitstrings and logic-sensitivity from a semantic (rather than merely a combinatorial) perspective. (shrink)

In this paper, we draw on developmental findings to provide a nuanced understanding of background emotions, particularly those in depression. We demonstrate how they reflect our basic proximity (feeling of interpersonal connectedness) to others and defend both a phenomenological and a functional claim. First, we substantiate a conjecture by Fonagy & Target (International Journal of Psychoanalysis 88(4):917–937, 2007) that an important phenomenological aspect of depression is the experiential recreation of the infantile loss of proximity to significant others. Second, we argue (...) that proximity has a particular cognitive function that allows individuals to morph into a cohesive dyadic system able to carry out distributed emotion regulation. We show that elevated levels of psychological suffering connected to depressive background emotions may be explained not only in terms of a psychological loss, but also as the felt inability to enter into dyadic regulatory relations with others—an experiential constraint that decreases the individual’s ability to adapt to demanding situations. (shrink)

Until recently, philosophers and psychologists conceived of emotions as brain- and body-bound affairs. But researchers have started to challenge this internalist and individualist orthodoxy. A rapidly growing body of work suggests that some emotions incorporate external resources and thus extend beyond the neurophysiological confines of organisms; some even argue that emotions can be socially extended and shared by multiple agents. Call this the extended emotions thesis. In this article, we consider different ways of understanding ExE in philosophy, psychology, and the (...) cognitive sciences. First, we outline the background of the debate and discuss different argumentative strategies for ExE. In particular, we distinguish ExE from cognate but more moderate claims about the embodied and situated nature of cognition and emotion. We then dwell upon two dimensions of ExE: emotions extended by material culture and by the social factors. We conclude by defending ExE against some objections and point to desiderata for future research. (shrink)

The extended mind thesis (EM) asserts that some cognitive processes are (partially) composed of actions consisting of the manipulation and exploitation of environmental structures. Might some processes at the root of social cognition have a similarly extended structure? In this paper, I argue that social cognition is fundamentally an interactive form of space management—the negotiation and management of ‘‘we-space”—and that some of the expressive actions involved in the negotiation and management of we-space (gesture, touch, facial and whole-body expressions) drive basic (...) processes of interpersonal understanding and thus do genuine social-cognitive work. Social interaction is a kind of extended social cognition, driven and at least partially constituted by environmental (non-neural) scaffolding. Challenging the Theory of Mind paradigm, I draw upon research from gesture studies, developmental psychology, and work on Moebius Syndrome to support this thesis. (shrink)

This volume is the first to place these topics within the context of the Critical philosophy as a whole, encouraging not only a more metaphysical, but also a ...

This article describes a specific pedagogical context for an advanced logic course and presents a strategy that might facilitate students’ transition from the object-theoretical to the metatheoretical perspective on logic. The pedagogical context consists of philosophy students who in general have had little training in logic, except for a thorough introduction to syllogistics. The teaching strategy tries to exploit this knowledge of syllogistics, by emphasizing the analogies between ideas from metalogic and ideas from syllogistics, such as existential import, the distinction (...) between contradictories and contraries, and the square of opposition. This strategy helps to improve students’ understanding of metalogic, because it allows the students to integrate these new ideas with their previously acquired knowledge of syllogistics. (shrink)

Affordances are action-possibilities, ways of relating to and acting on things in our world. They help us understand how these things mean what they do and how we have bodily access to our world more generally. But what happens when this access is ruptured or impeded? I consider this question in the context of psychopathology and reports that describe this experience. I argue that thinking about the bodily consequences of losing access to everyday affordances can help us better understand these (...) reports. An affordance-based approach to psychopathology can illuminate some of the causes, as well as the experiential character and consequences, of affective disorders and diminished spatial agency in self-world disturbances. It also highlights some under-explored ethical and political dimensions of these issues that need further attention. (shrink)

The Sure-Thing Principle famously appears in Savage’s axiomatization of Subjective Expected Utility. Yet Savage introduces it only as an informal, overarching dominance condition motivating his separability postulate P2 and his state-independence postulate P3. Once these axioms are introduced, by and large, he does not discuss the principle any more. In this note, we pick up the analysis of the Sure-Thing Principle where Savage left it. In particular, we show that each of P2 and P3 is equivalent to a dominance condition; (...) that they strengthen in different directions a common, basic dominance axiom; and that they can be explicitly combined in a unified dominance condition that is a candidate formal statement for the Sure-Thing Principle. Based on elementary proofs, our results shed light on some of the most fundamental properties of rational choice under uncertainty. In particular they imply, as corollaries, potential simplifications for Savage’s and the Anscombe- Aumann axiomatizations of Subjective Expected Utility. Most surprisingly perhaps, they reveal that in Savage’s axiomatization, P3 can be weakened to a natural strengthening of so-called Obvious Dominance. (shrink)

In logic, Aristotelian diagrams are almost always assumed to be closed under negation, and are thus highly symmetric in nature. In linguistics, by contrast, these diagrams are used to study lexicalization, which is notoriously not closed under negation, thus yielding more asymmetric diagrams. This paper studies the interplay between logical symmetry and linguistic asymmetry in Aristotelian diagrams. I discuss two major symmetric Aristotelian diagrams, viz. the square and the hexagon of opposition, and show how linguistic considerations yield various asymmetric versions (...) of these diagrams. I then discuss a pentagon of opposition, which occupies an uneasy position between the square and the hexagon. Although this pentagon belongs neither to the symmetric realm of logic nor to the asymmetric realm of linguistics, it occurs several times in the literature. The oldest known occurrence can be found in the cosmological work of the 14th-century author Nicole Oresme. (shrink)

I defend a model of the musically extended mind. I consider how acts of “musicking” grant access to novel emotional experiences otherwise inaccessible. First, I discuss the idea of “musical affordances” and specify both what musical affordances are and how they invite different forms of entrainment. Next, I argue that musical affordances – via soliciting different forms of entrainment – enhance the functionality of various endogenous, emotiongranting regulative processes, drawing novel experiences out of us with an expanded complexity and phenomenal (...) character. I argue that music therefore ought to be thought of as part of the vehicle needed to realize these emotional experiences. I appeal to different sources of empirical work to develop this idea. (shrink)

This paper is an exploration of how we do things with music—that is, the way that we use music as an esthetic technology to enact micro-practices of emotion regulation, communicative expression, identity construction, and interpersonal coordination that drive core aspects of our emotional and social existence. The main thesis is: from birth, music is directly perceived as an affordance-laden structure. Music, I argue, affords a sonic world, an exploratory space or nested acoustic environment that further affords possibilities for, among other (...) things, (1) emotion regulation and (2) social coordination. When we do things with music, we are engaged in the work of creating and cultivating the self, as well as creating and cultivating a shared world that we inhabit with others. I develop this thesis by first introducing the notion of a musical affordance . Next, I look at how emotional affordances in music are exploited to construct and regulate emotions. I summon empirical research on neonate music therapy to argue that this is something we emerge from the womb knowing how to do. I then look at social affordances in music, arguing that joint attention to social affordances in music alters how music is both perceived and appropriated by joint attenders within social listening contexts. In support, I describe the experience of listening to and engaging with music in a live concert setting. Thinking of music as an affordance-laden structure thus reaffirms the crucial role that music plays in constructing and regulating emotional and social experiences in everyday life. (shrink)

Burgess-Jackson has recently suggested that the debate between theism and atheism can be represented by means of a classical square of opposition. However, in light of the important role that the position of agnosticism plays in Burgess-Jackson’s analysis, it is quite surprising that this position is not represented in the proposed square of opposition. I therefore argue that the square of opposition should be extended to a slightly larger, more complex Aristotelian diagram, viz., a hexagon of opposition. Since this hexagon (...) does represent the position of agnosticism, it arguably yields a more helpful representation of the theism/atheism debate. It would be naïve to presume that Aristotelian diagrams can, by themselves, lead to a comprehensive solution of debates as intricate as that between theism and atheism. Nevertheless, this paper aims to show that these diagrams — especially if they are chosen carefully — have an important methodological role to play, by systematically organizing and clarifying the debate. (shrink)

We prove that the Weak Reflection Principle does not imply that every stationary set reflects to an internally approachable set. We show that several variants of internal approachability, namely, internally unbounded, internally stationary, and internally club, are not provably equivalent.

In this paper, we consider certain cardinals in ZF (set theory without AC, the axiom of choice). In ZFC (set theory with AC), given any cardinals C and D, either C ≤ D or D ≤ C. However, in ZF this is no longer so. For a given infinite set A consider $\operatorname{seq}^{1 - 1}(A)$ , the set of all sequences of A without repetition. We compare $|\operatorname{seq}^{1 - 1}(A)|$ , the cardinality of this set, to |P(A)|, the cardinality of (...) the power set of A. What is provable about these two cardinals in ZF? The main result of this paper is that $ZF \vdash \forall A(|\operatorname{seq}^{1 - 1}(A)| \neq|\mathscr{P}(\mathscr{A})|)$ , and we show that this is the best possible result. Furthermore, it is provable in ZF that if B is an infinite set, then $|\operatorname{fin}(B)| <|\mathscr{P}(B)|$ even though the existence for some infinite set B* of a function f from $\operatorname{fin}(B^\ast)$ onto P(B*) is consistent with ZF. (shrink)

Several authors have recently studied Aristotelian diagrams for various metatheoretical notions from logic, such as tautology, satisfiability, and the Aristotelian relations themselves. However, all these metalogical Aristotelian diagrams focus on the semantic (model-theoretical) perspective on logical consequence, thus ignoring the complementary, and equally important, syntactic (proof-theoretical) perspective. In this paper, I propose an explanation for this discrepancy, by arguing that the metalogical square of opposition for semantic consequence exhibits a natural analogy to the well-known square of opposition for the categorical (...) statements from syllogistics, but that this analogy breaks down once we move from semantic to syntactic consequence. I then show that despite this difficulty, one can indeed construct metalogical Aristotelian diagrams from a syntactic perspective, which have their own, equally elegant characterization in terms of the categorical statements. Finally, I construct several metalogical Aristotelian diagrams that incorporate both semantic and syntactic consequence (and their interaction), and study how they are influenced by the underlying logical system’s soundness and/or completeness. All of this provides further support for the methodological/heuristic perspective on Aristotelian diagrams, which holds that the main use of these diagrams lies in facilitating analogies and comparisons between prima facie unrelated domains of investigation. (shrink)

For a set M, let \\) denote the set of all finite sequences which can be formed with elements of M, and let \ denote the set of all 2-element subsets of M. Furthermore, for a set A, let Open image in new window denote the cardinality of A. It will be shown that the following statement is consistent with Zermelo–Fraenkel Set Theory \: There exists a set M such that Open image in new window and no function Open image (...) in new window is finite-to-one. (shrink)

When two actors have the same mental state but one happens to harm another person (unlucky actor) and the other one does not (lucky actor), the latter elicits a milder moral judgement. To understand how this outcome effect would affect post-harm interactions between victims and perpetrators, we examined how the social role from which transgressions are perceived moderates the outcome effect, and how outcome effects on moral judgements transfer to agentic and communal interpersonal goals. Three vignette experiments (N = 950) (...) revealed similar outcome effects on moral judgement across social roles. In contrast, outcome effects on agentic and communal goals varied by social role: victims exhibited the strongest outcome effects and perpetrators the weakest, with bystanders falling in between. Moral judgement did not mediate the effects of outcome severity on interpersonal goals. We discuss the possibility that outcome severity raises normative expectations regarding post-harm interactions that are unrelated to moral considerations. (shrink)

In order to elucidate his logical analysis of modal quantified propositions (e.g. ‘all men are necessarily mortal’), the 14th century philosopher John Buridan constructed a modal octagon of oppositions. In the present paper we study this modal octagon from the perspective of contemporary logical geometry. We argue that the modal octagon contains precisely six squares of opposition as subdiagrams, and classify these squares based on their logical properties. On a more abstract level, we show that Buridan’s modal octagon precisely captures (...) the interaction between two classical squares of opposition, viz. one for the quantifiers and one for the modalities. Finally, we argue that several aspects of our contemporary formal analyses were already hinted at by Buridan himself. (shrink)

Externalist theories hold that a comprehensive understanding of mental disorder cannot be achieved unless we attend to factors that lie outside of the head: neural explanations alone will not fully capture the complex dependencies that exist between an individual’s psychiatric condition and her social, cultural, and material environment. Here, we firstly offer a taxonomy of ways in which the externalist viewpoint can be understood, and unpack its commitments concerning the nature and physical realization of mental disorder. Secondly, we apply a (...) strongly externalist approach to the case of Autistic Spectrum Disorder, and argue that this condition can be illuminated by appeal to the hypothesis of extended cognition. We conclude by briefly considering the significance this strongly externalist approach may have for psychiatric practice and pedagogy. (shrink)

If we assume the axiom of choice, then every two cardinal numbers are comparable, In the absence of the axiom of choice, this is no longer so. For a few cardinalities related to an arbitrary infinite set, we will give all the possible relationships between them, where possible means that the relationship is consistent with the axioms of set theory. Further we investigate the relationships between some other cardinal numbers in specific permutation models and give some results provable without using (...) the axiom of choice. (shrink)

For \(n\in \omega \), the weak choice principle \(\textrm{RC}_n\) is defined as follows: _For every infinite set_ _X_ _there is an infinite subset_ \(Y\subseteq X\) _with a choice function on_ \([Y]^n:=\{z\subseteq Y:|z|=n\}\). The choice principle \(\textrm{C}_n^-\) states the following: _For every infinite family of_ _n_-_element sets, there is an infinite subfamily_ \({\mathcal {G}}\subseteq {\mathcal {F}}\) _with a choice function._ The choice principles \(\textrm{LOC}_n^-\) and \(\textrm{WOC}_n^-\) are the same as \(\textrm{C}_n^-\), but we assume that the family \({\mathcal {F}}\) is linearly orderable (...) (for \(\textrm{LOC}_n^-\) ) or well-orderable (for \(\textrm{WOC}_n^-\) ). In the first part of this paper, for \(m,n\in \omega \) we will give a full characterization of when the implication \(\textrm{RC}_m\Rightarrow \textrm{WOC}_n^-\) holds in \({\textsf {ZF}}\). We will prove the independence results by using suitable Fraenkel-Mostowski permutation models. In the second part, we will show some generalizations. In particular, we will show that \(\textrm{RC}_5\Rightarrow \textrm{LOC}_5^-\) and that \(\textrm{RC}_6\Rightarrow \textrm{C}_3^-\), answering two open questions from Halbeisen and Tachtsis (Arch Math Logik 59(5):583–606, 2020). Furthermore, we will show that \(\textrm{RC}_6\Rightarrow \textrm{C}_9^-\) and that \(\textrm{RC}_7\Rightarrow \textrm{LOC}_7^-\). (shrink)

For an integer \, Ramsey Choice\ is the weak choice principle “every infinite setxhas an infinite subset y such that\ has a choice function”, and \ is the weak choice principle “every infinite family of n-element sets has an infinite subfamily with a choice function”. In 1995, Montenegro showed that for \, \. However, the question of whether or not \ for \ is still open. In general, for distinct \, not even the status of “\” or “\” is known. (...) In this paper, we provide partial answers to the above open problems and among other results, we establish the following:1.For every integer \, if \ is true for all integers i with \, then \ is true for all integers i with \.2.If \ are any integers such that for some prime p we have \ and \, then in \: \ and \.3.For \, \\\ implies \, and \ implies neither \ nor \ in \.4.For every integer \, \ implies “every infinite linearly orderable family of k-element sets has a partial Kinna–Wagner selection function” and the latter implication is not reversible in \ ). In particular, \ strictly implies “every infinite linearly orderable family of 3-element sets has a partial choice function”.5.The Chain-AntiChain Principle implies neither \ nor \ in \, for every integer \. (shrink)