Why and under what conditions are individuals altruistic to family and friends in their social networks? Evolutionary psychology suggests that such behaviour is primarily the product of adaptations for kin- and reciprocal altruism, dependent on the degree of genetic relatedness and exchange of benefits, respectively. For this reason, individuals are expected to be more altruistic to family members than to friends: whereas family members can be the recipients of kin and reciprocal altruism, friends can be the recipients of reciprocal altruism (...) only. However, there is a question about how the effect of kinship is implemented at the proximate psychological level. One possibility is that kinship contributes to some general measure of relationship quality (such as ‘emotional closeness’), which in turn explains altruism. Another possibility is that the effect of kinship is independent of relationship quality. The present study tests between these two possibilities. Participants (N= 111) completed a self-report questionnaire about their willingness to be altruistic, and their emotional closeness, to 12 family members and friends at different positions in their extended social networks. As expected, altruism was greater for family than friends, and greater for more central layers of the network. Crucially, the results showed that kinship made a significant unique contribution to altruism, even when controlling for the effects of emotional closeness. Thus, participants were more altruistic towards kin than would be expected if altruism was dependent on emotional closeness alone – a phenomenon we label a ‘kinship premium’. These results have implications for the ongoing debate about the extent to which kin relations and friendships are distinct kinds of social relationships, and how to measure the ‘strength of ties’ in social networks. (shrink)

Reciprocal altruism involves foregoing an immediate benefit for the sake of a greater long-term reward. It follows that individuals who exhibit a stronger preference for future over immediate rewards should be more disposed to engage in reciprocal altruism – in other words, ‘patient’ people should be more cooperative. The present study tested this prediction by investigating whether participants’ contributions in a public-good game correlated with their ‘discount rate’. The hypothesis was supported: patient people are indeed more cooperative. The paper discusses (...) alternative interpretations of this result, and makes some suggestions for future research. (shrink)

Pictures are sometimes said to be ironic. In many cases this is an error—the error of confusing an ironic picture with a picture of an ironic situation. Nevertheless some pictures are ironic, and there are two interestingly different ways for that to be the case. A picture may be ironic in style, in which case its irony is independent of the context in which it is presented; or a picture may be ironic by virtue of its context of presentation. Having (...) sorted this out, we can solve two problems: why do we often make mistakes about the irony in pictures? The answer has something to do with the nature of pictures themselves. Is the irony which is sometimes represented in a picture ever the product of the picture itself? The answer, yes, shows that there is a closer connection than we might otherwise have thought between the irony of representations and the irony represented in representations. (shrink)

This article argues that in Pindar's epinicians first-person statements may occasionally be made in the persona of the chorus and the athletic victor. The speaking persona behind Pindar's first-person statements varies quite widely: from generic, rhetorical poses—a laudator, an aoidos in the rhapsodic tradition (the “bardic first person”), an Everyman (the “first person indefinite”)—to strongly individualized figures: the Theban poet Pindar, the chorus, the victor. The arguable changes in the speaker's persona are not explicitly signalled in the text. This can (...) lead to significant ambiguities concerning the identity of the speaker (“blurred quotation,” “indeterminate speech boundaries”). The lack of a concern always to distinguish clearly the primary from the secondary narrators relates to a desire to confuse diegetic and mimetic forms; the practice of the fifth-century choral lyric poets in this regard is compared to that of other ancient Greek writers. The main challenge is to indicate how it is possible, in theory and in practice, for the athletic victor to be identified as the speaker when this is not explicitly signalled in the text; and, if this is possible, to suggest how it is possible for an audience to recognize when the speaking persona subsequently reverts to laudator or poet. An attempt is made to consider whether any formal, structural, or thematic tendencies can be observed in those passages in choral lyric where the chorus or the victor are tacitly introduced as speaking personae: such effects, it is argued, occur especially when links of ritual or genealogy enable the ode to “zoom” from the mythical past to the present occasion of the performance. The main passages discussed in the article are Pind. P.8.56–60, P.9.89–92, N.7.85, Pae. 2.73–79, and Bacch. 3.84–85. But the phenomena discussed are related broadly to other phenomena in Greek literature, in Latin poetry, and, especially, in Cicero's forensic oratory. (shrink)

Psychometric g—a statistical factor capturing intercorrelations between scores on different IQ tests—is of theoretical interest despite being a low-fidelity model of both folk psychological intelligence and its cognitive/neural underpinnings. Psychometric g idealizes away from those aspects of cognitive/neural mechanisms that are not explanatory of the relevant variety of folk psychological intelligence, and it idealizes away from those varieties of folk psychological intelligence that are not generated by the relevant cognitive/neural substrate. In this manner, g constitutes a high-fidelity bridge model of (...) the relationship between its two targets and, thereby, helps demystify the relationship between folk and scientific psychology. (shrink)

In this article, I explore how researchers’ metaphysical commitments can be conducive—or unconducive—to progress in animal cognition research. The methodological dictum known as Morgan’s Canon exhorts comparative psychologists to countenance the least mentalistic fair interpretation of animal actions. This exhortation has frequently been misread as a blanket condemnation of mentalistic interpretations of animal behaviors that could be interpreted behavioristically. But Morgan meant to demand only that researchers refrain from accepting default interpretations of (apparent) actions until other fair interpretations have been (...) duly considered. The Canon backfired largely because of Morgan’s background metaphysical commitment to a univocal, hierarchical, and anthropocentric account of cognitive architecture. I make the case that, going forward, comparative psychologists would do well to pair judicious use of Morgan’s Canon with an openness to the existence of non-humanlike animal minds comprising phenomena belonging to distinct cognitive and folk psychological ontologies. And I argue that this case gives us pragmatic reason to reconcile deep—e.g., psychofunctionalist—and superficial—e.g., dispositionalist—approaches to the metaphysics of belief. (shrink)

George McGhee’s book “Convergent Evolution: limited forms most beautiful” provides an extensive survey of biological convergence. This paper has two main aims. First, it examines the theoretical claims McGhee makes about convergent evolution—specifically criticizing his use of a total morphospace to understand contingency and his assumption that functional constraints are non-contingent. Second, it sketches a group of important conceptual challenges facing researchers interested in convergence.

In lieu of an abstract, here is a brief excerpt of the content:WORKS OF FICTION AND ILLOCUTIONARY ACTS by Gregory Currie ii O peech act theory is remarkably unhelpful in explaining what ficOtion is." So says Kendall Walton.1 My purpose here is to showjust how wrong diis judgment is. Not that I want to endorse all die attempts there have been to connect fiction with the notion of a speech act. Elsewhere I have argued diat the most prominent attempt (...) at such a theory, the one due to John Searle, fails.2 But my complaint is not mat Searle employs the idea of a speech act; rather it is that he employs it in too half-hearted a fashion. The idea of Searle and odiers is diat to write fiction is not to perform a speech act, but rather to pretend to do so. I, on the odier hand, take the view that the writer of fiction engages in an act of speech diat is distinctively fictional, and distinctively different from speech acts such as asserting, requesting, questioning, and so forth. What follows is a much simplified account of this idea.3 Following die program of Strawson and Grice, I believe diat the different kinds of speech acts are to be individuated in terms of the utterer's intentions.4 The intention of the one who asserts is to get a certain kind of response; perhaps to get the audience to believe the proposition asserted.5 The one who commands wants the audience to obey, die requester wants the audience to answer, etc. And in all these cases the utterer intends to get the response partly as a result of the audience's recognition of diat very intention. (This is the familiar Gricean mechanism.) The utterer of fiction, on the odier hand, wants to get the audience to make-believe die proposition uttered.6 Thus we have an act structurally similar to 304 Gregory Currie305 paradigmatic speech acts like asserting, commanding, and requesting (die structural similarity being given by the use in all cases of the Gricean intention ), but differing from diese odiers with respect to die content of the utterer's intention. Let us call such an act a.fictive illocutionary act. Pursuing this line in more detail leads to an intuitively satisfactory taxonomy of speech acts which places the uttering (usually writing) of fiction fully widiin die purview of the theory, rather dian shutting it off to one side as a pseudo-performance, as widi Searle. Is such a theory susceptible to the objections diat Walton brings? Walton is quite right to say (and here I suppose he has Searle in mind) that fiction is not simply the absence ofillocutionary force: "it is something positive, something special" (p. 79). As already indicated, my theory gives a positive account of fiction as a special kind of speech act. But Walton presses the issue further by suggesting that the essence of fiction has nodiing to do with die absence of assertive force. It is possible, he says, "to make an assertion by writing fiction." His point is not merely that fictional stories are sometimes told in order to get across some serious but not explicit point — everyone can agree to that. It is rather diat fictional works contain explicit assertions — e.g., some of Tolstoy's sentences about Napoleon in War and Peace — and that a fiction might contain nothing but assertions. He imagines a genre of historical fiction in which "authors are allowed no liberties with the facts, and in which they are understood to be asserting as fact whatever they write" (p. 80). Let us grant that this is a possibility. What, dien, would distinguish a piece of fiction belonging to this genre from, say, a work of historical scholarship? The answer comes when we see that the same utterance can be used to perform more than one illocutionary act. Thus if I say to someone "I have no money" it may be that I want him both to believe that I have no money and to give me the goods on credit. And in both cases I intend to get die desired responses via his recognition of my intentions. The same utterance can count both as an assertion... (shrink)

The concept of mimesis has been central to philosophical aesthetics from Aristotle to Kendall Walton: in plain terms, it highlights the links between a fictional world or a representational practice on the one hand and the real world on the other. The present collection of essays includes discussions of its general viability and pertinence and of its historical origins, as well as detailed analyses of various relevant issues regarding literature, film, theatre, images and computer games. The individual papers offer new (...) arguments for the specialist, yet in their sum also provide a solid and helpful survey of the current state of the debate. Contributions by P. Alward, G. Currie, D. Davies, L. Dole el, J. Hamilton, T. Kobli ek, P. Kot'atko, A. Kuzmicova, J. Levinson, A. Meskin, A. Pettersson, M. Pokorny, J. Robson, G. Rossholm, R. M. Sainsbury, F. Stjernberg, E. Terrone, K. Thein, A. Voltolini. (shrink)

Large language models (LLMs) reflect societal norms and biases, especially about gender. While societal biases and stereotypes have been extensively researched in various NLP applications, there is a surprising gap for emotion analysis. However, emotion and gender are closely linked in societal discourse. E.g., women are often thought of as more empathetic, while men's anger is more socially accepted. To fill this gap, we present the first comprehensive study of gendered emotion attribution in five state-of-the-art LLMs (open- and closed-source). We (...) investigate whether emotions are gendered, and whether these variations are based on societal stereotypes. We prompt the models to adopt a gendered persona and attribute emotions to an event like 'When I had a serious argument with a dear person'. We then analyze the emotions generated by the models in relation to the gender-event pairs. We find that all models consistently exhibit gendered emotions, influenced by gender stereotypes. These findings are in line with established research in psychology and gender studies. Our study sheds light on the complex societal interplay between language, gender, and emotion. The reproduction of emotion stereotypes in LLMs allows us to use those models to study the topic in detail, but raises questions about the predictive use of those same LLMs for emotion applications. (shrink)

In a recent article G. H. Merrill has defended realism against an argument devised by Hilary Putnam. My first aim is to show that Merrill's defence is inadequate. I shall also argue that the proper conclusion of Putnam's argument is somewhat different from the conclusion Putnam himself offers.

Reminiscences of Peter, by P. Oppenheim.--Natural kinds, by W. V. Quine.--Inductive independence and the paradoxes of confirmation, by J. Hintikka.--Partial entailment as a basis for inductive logic, by W. C. Salmon.--Are there non-deductive logics?, by W. Sellars.--Statistical explanation vs. statistical inference, by R. C. Jeffre--Newcomb's problem and two principles of choice, by R. Nozick.--The meaning of time, by A. Grünbaum.--Lawfulness as mind-dependent, by N. Rescher.--Events and their descriptions: some considerations, by J. Kim.--The individuation of events, by D. Davidson.--On properties, by (...) H. Putnam.--A method for avoiding the Curry paradox, by F. B. Fitch.--Publications (1934-1969) by Carl G. Hempel (p. [266]-270). (shrink)

We present a proof system for a multimode and multimodal logic, which is based on our previous work on modal Martin-Löf type theory. The specification of modes, modalities, and implications between them is given as a mode theory, i.e., a small 2-category. The logic is extended to a lambda calculus, establishing a Curry–Howard correspondence.

The intention here is that of giving a formal underpinning to the idea of 'meaning-is-use' which, even if based on proofs, it is rather different from proof-theoretic semantics as in the Dummett-Prawitz tradition. Instead, it is based on the idea that the meaning of logical constants are given by the explanation of immediate consequences, which in formalistic terms means the effect of elimination rules on the result of introduction rules, i. e. the so-called reduction rules. For that we suggest an (...) extension to the Curry-Howard interpretation which draws on the idea of labelled deduction, and brings back Frege's device of variable-abstraction to operate on the labels (i. e., proof-terms) alongside formulas of predicate logic. (shrink)

Intuitionistic logic is presented here as part of familiar classical logic which allows mechanical extraction of programs from proofs. to make the material more accessible, basic techniques are presented first for propositional logic; Part II contains extensions to predicate logic. This material provides an introduction and a safe background for reading research literature in logic and computer science as well as advanced monographs. Readers are assumed to be familiar with basic notions of first order logic. One device for making this (...) book short was inventing new proofs of several theorems. The presentation is based on natural deduction. The topics include programming interpretation of intuitionistic logic by simply typed lambda-calculus (Curry-Howard isomorphism), negative translation of classical into intuitionistic logic, normalization of natural deductions, applications to category theory, Kripke models, algebraic and topological semantics, proof-search methods, interpolation theorem. The text developed from materal for several courses taught at Stanford University in 1992-1999. (shrink)

The intention here is that of giving a formal underpinning to the idea of ‘meaning-is-use’ which, even if based on proofs, it is rather different from proof-theoretic semantics as in the Dummett–Prawitz tradition. Instead, it is based on the idea that the meaning of logical constants are given by the explanation of immediate consequences, which in formalistic terms means the effect of elimination rules on the result of introduction rules, i.e. the so-called reduction rules. For that we suggest an extension (...) to the Curry– Howard interpretation which draws on the idea of labelled deduction, and brings back Frege’s device of variable-abstraction to operate on the labels (i.e., proof-terms) alongside formulas of predicate logic. (shrink)

This chapter provides a conceptual analysis of Tommy J. Curry’s anti-ethical stance. In what sense is anti-ethics opposed to, or against, ethics? I argue that, despite appearances, anti-ethics is a kind of ethical theory. Close analysis reveals that the term “ethics” in the term “anti-ethics” does not refer to ethics per se, but to an idealist approach to ethics that frames white people as virtuous. I argue that Leonard Harris’ insurrectionist ethics provides a naturalistically-informed deontological framework that is useful for (...) analyzing the normative dimensions of anti-ethics. In this way, insurrectionist ethics enables us to analyze the positive content of anti-ethics, an ethics founded on a form of ethical hope that abandons the premise of white virtue. (shrink)

BackgroundSarcomas are a diverse group of neoplasms that vary greatly in clinical presentation and responsiveness to treatment. Given the differences in the sites of involvement, rarity, and treatment modality, a multidisciplinary approach is required. Previous literature suggests patients with sarcoma suffer from poorer quality of life especially physical and functional wellbeing. Adolescent and young adult patients are an underrepresented population in cancer research and have differing factors influencing QoL.MethodsRetrospective analysis of Young Adult patients enrolled in the Sarcoma Tissue Repository at (...) University of Iowa. QoL was assessed using the self-report FACT-G questionnaire at enrollment and 12 months post-diagnosis; overall scores and the 4 wellbeing subscales were calculated. Linear mixed effects models were used to measure the association between the rate of change in FACT-G subscale scores and baseline clinical, comorbidity, and treatment characteristics.Results49 patients were identified. 57.1% of patients had a malignancy involving an extremity. Mean FACT-G scores of overall wellbeing improved from baseline to 12 months. Social and emotional wellbeing did not differ significantly between baseline and 12 months. Physical wellbeing and functional wellbeing scores improved from baseline to 12 months. No difference was seen for FACT-G overall scores for age, sex, laterality, marital status, performance status, having children, clinical stage, limb surgery, chemotherapy, or tumor size. A difference was demonstrated in physical wellbeing scores for patients with baseline limitation compared to those with no baseline limitation. A difference was demonstrated in social wellbeing based on anatomical site.ConclusionYoung adults with sarcoma treated at a tertiary center had improvements in overall reported QoL at 12 months from diagnosis. Overall baseline QoL scores on FACT-G were lower than the general adult population for YA patients with sarcoma but at 12 months became in line with general population norms. The improvements seen merit further investigation to evaluate how these change over the continuum of care. Quality of life changes may be useful outcomes of interest in sarcoma trials. (shrink)

The Curry-Howard isomorphism states an amazing correspondence between systems of formal logic as encountered in proof theory and computational calculi as found in type theory. For instance, minimal propositional logic corresponds to simply typed lambda-calculus, first-order logic corresponds to dependent types, second-order logic corresponds to polymorphic types, sequent calculus is related to explicit substitution, etc. The isomorphism has many aspects, even at the syntactic level: formulas correspond to types, proofs correspond to terms, provability corresponds to inhabitation, proof normalization corresponds to (...) term reduction, etc. But there is more to the isomorphism than this. For instance, it is an old idea---due to Brouwer, Kolmogorov, and Heyting---that a constructive proof of an implication is a procedure that transforms proofs of the antecedent into proofs of the succedent; the Curry-Howard isomorphism gives syntactic representations of such procedures. The Curry-Howard isomorphism also provides theoretical foundations for many modern proof-assistant systems (e.g. Coq). This book give an introduction to parts of proof theory and related aspects of type theory relevant for the Curry-Howard isomorphism. It can serve as an introduction to any or both of typed lambda-calculus and intuitionistic logic. Key features - The Curry-Howard Isomorphism treated as common theme - Reader-friendly introduction to two complementary subjects: Lambda-calculus and constructive logics - Thorough study of the connection between calculi and logics - Elaborate study of classical logics and control operators - Account of dialogue games for classical and intuitionistic logic - Theoretical foundations of computer-assisted reasoning · The Curry-Howard Isomorphism treated as the common theme. · Reader-friendly introduction to two complementary subjects: lambda-calculus and constructive logics · Thorough study of the connection between calculi and logics. · Elaborate study of classical logics and control operators. · Account of dialogue games for classical and intuitionistic logic. · Theoretical foundations of computer-assisted reasoning. (shrink)

Curry's paradox, so named for its discoverer, namely Haskell B. Curry, is a paradox within the family of so-called paradoxes of self-reference (or paradoxes of circularity). Like the liar paradox (e.g., ‘this sentence is false’) and Russell's paradox , Curry's paradox challenges familiar naive theories, including naive truth theory (unrestricted T-schema) and naive set theory (unrestricted axiom of abstraction), respectively. If one accepts naive truth theory (or naive set theory), then Curry's paradox becomes a direct challenge to one's theory of (...) logical implication or entailment. Unlike the liar and Russell paradoxes Curry's paradox is negation-free; it may be generated irrespective of one's theory of negation. An intuitive version of the paradox runs as follows. (shrink)

It has often been remarked that the metatheory of strong reduction $\succ$ , the combinatory analogue of βη-reduction ${\twoheadrightarrow_{\beta\eta}}$ in λ-calculus, is rather complicated. In particular, although the confluence of $\succ$ is an easy consequence of ${\twoheadrightarrow_{\beta\eta}}$ being confluent, no direct proof of this fact is known. Curry and Hindley’s problem, dating back to 1958, asks for a self-contained proof of the confluence of $\succ$ , one which makes no detour through λ-calculus. We answer positively to this question, by extending (...) and exploiting the technique of transitivity elimination for ‘analytic’ combinatory proof systems, which has been introduced in previous papers of ours. Indeed, a very short proof of the confluence of $\succ$ immediately follows from the main result of the present paper, namely that a certain analytic proof system G e [ $\mathbb {C}$ ] , which is equivalent to the standard proof system CL ext of Combinatory Logic with extensionality, admits effective transitivity elimination. In turn, the proof of transitivity elimination—which, by the way, we are able to provide not only for G e [ $\mathbb {C}$ ] but also, in full generality, for arbitrary analytic combinatory systems with extensionality—employs purely proof-theoretical techniques, and is entirely contained within the theory of combinators. (shrink)

The idea that fictions may educate us is an old one, as is the view that they distort the truth and mislead us. While there is a long tradition of passionate assertion in this debate, systematic arguments are a recent development, and the idea of empirically testing is particularly novel. Our aim in this chapter is to provide clarity about what is at stake in this debate, what the options are, and how empirical work does or might bear on its (...) resolution. We distinguish between merely influencing people’s opinions and providing genuine learning, where the latter requires that the source of the change in opinion should be reliable. Other important ideas here are the extent to which authors of fiction may be considered to provide testimony, or something like it, and the possibility of recognizing an unstated purpose in the project of the fictional work. We ask whether fictions can furnish us not merely with ideas but with reasons for believing them, perhaps by constituting thought experiments. We consider whether the focus should be on understanding rather than on knowledge, and whether fictions can inform us about the qualities of another’s experiences. We briefly describe some experimental work of recent decades and suggest that the evidence for learning from fiction is currently meagre. (shrink)