Sedlakova and Trachsel (2023) discuss the ethical concerns associated with employing what they term conversational artificial intelligence as therapist substitutes. Given their apprehensions, they...

Bioconvergence is a growing area within the evolving bioeconomy that seeks out synergistic opportunities at the intersection of engineering and the life sciences (Greenbaum 2023). One example is th...

We address the following questions in this paper: (1) Which set or number existence axioms are needed to prove the theorems of ‘ordinary’ mathematics? (2) How should Frege’s theory of numbers be adapted so that it works in a modal setting, so that the fact that equivalence classes of equinumerous properties vary from world to world won’t give rise to different numbers at different worlds? (3) Can one reconstruct Frege’s theory of numbers in a non-modal setting without mathematical primitives such (...) as “the number of Fs” ( $$\#F$$ ) or mathematical axioms such as Hume’s Principle? Our answer to question (1) is ‘None’. Our answer to question (2) begins by defining ‘x numbers G’ as: x encodes all and only the properties F such that being-actually-F is equinumerous to G with respect to discernible objects. We answer (3) by showing that the mere existence of discernible objects allows one to reconstruct Frege’s derivation of the Dedekind-Peano axioms in a non-modal setting. (shrink)

How far should our realism extend? For many years philosophers of mathematics and philosophers of ethics have worked independently to address the question of how best to understand the entities apparently referred to by mathematical and ethical talk. But the similarities between their endeavours are not often emphasised. This book provides that emphasis. In particular, it focuses on two types of argumentative strategies that have been deployed in both areas. The first—debunking arguments—aims to put pressure on realism by emphasising the (...) seeming redundancy of mathematical or moral entities when it comes to explaining our judgements. In the moral realm this challenge has been made by Gilbert Harman and Sharon Street; in the mathematical realm it is known as the 'Benacerraf-Field' problem. The second strategy—indispensability arguments—aims to provide support for realism by emphasising the seeming intellectual indispensability of mathematical or moral entities, for example when constructing good explanatory theories. This strategy is associated with Quine and Putnam in mathematics and with Nicholas Sturgeon and David Enoch in ethics. Explanation in Ethics and Mathematics addresses these issues through an explicitly comparative methodology which we call the 'companions in illumination' approach. By considering how argumentative strategies in the philosophy of mathematics might apply to the philosophy of ethics, and vice versa, the papers collected here break new ground in both areas. For good measure, two further companions for illumination are also broached: the philosophy of chance and the philosophy of religion. Collectively, these comparisons light up new questions, arguments, and problems of interest to scholars interested in realism in any area. (shrink)

Moral philosophers are, among other things, in the business of constructing moral theories. And moral theories are, among other things, supposed to explain moral phenomena. Consequently, one’s views about the nature of moral explanation will influence the kinds of moral theories one is willing to countenance. Many moral philosophers are (explicitly or implicitly) committed to a deductive model of explanation. As I see it, this commitment lies at the heart of the current debate between moral particularists and moral generalists. In (...) this paper I argue that we have good reasons to give up this commitment. In fact, I show that an examination of the literature on scientific explanation reveals that we are used to, and comfortable with, non-deductive explanations in almost all areas of inquiry. As a result, I argue that we have reason to believe that moral explanations need not be grounded in exceptionless moral principles. (shrink)

Biological phenomena can be investigated at multiple levels, from the molecular to the cellular to the organismic to the ecological. In typical biology instruction, these levels have been segregated. Yet, it is by examining the connections between such levels that many phenomena in biology, and complex systems in general, are best explained. We describe a computation-based approach that enables students to investigate the connections between different biological levels. Using agent-based, embodied modeling tools, students model the microrules underlying a biological phenomenon (...) and observe the resultant aggregate dynamics. We describe 2 cases in which this approach was used. In both cases, students framed hypotheses, constructed multiagent models that incorporate these hypotheses, and tested these by running their models and observing the outcomes. Contrasting these cases against traditionally used, classical equation-based approaches, we argue that the embodied modeling approach connects more directly to students’ experience, enables extended investigations as well as deeper understanding, and enables “advanced” topics to be productively introduced into the high school curriculum. (shrink)

Assuming the existence of a supercompact cardinal and a weakly compact cardinal above it, we provide a generic extension where there are no Aronszajn trees of height ω 2 or ω 3 . On the other hand we show that some large cardinal assumptions are necessary for such a consistency result.

We investigate the form of mathematical structuralism that acknowledges the existence of structures and their distinctive structural elements. This form of structuralism has been subject to criticisms recently, and our view is that the problems raised are resolved by proper, mathematics-free theoretical foundations. Starting with an axiomatic theory of abstract objects, we identify a mathematical structure as an abstract object encoding the truths of a mathematical theory. From such foundations, we derive consequences that address the main questions and issues that (...) have arisen. Namely, elements of different structures are different. A structure and its elements ontologically depend on each other. There are no haecceities and each element of a structure must be discernible within the theory. These consequences are not developed piecemeal but rather follow from our definitions of basic structuralist concepts. (shrink)

We discuss the problem of finding forcing posets which introduce closed unbounded subsets to a given stationary set.

The paper identifies a distinctive feature of friendship. Friendship, it is argued, is a relationship between two people in which each participant values the other and successfully communicates this fact to the other. This feature of friendship, it is claimed, explains why friendship plays a key role in human happiness, why it is praised by philosophers, poets, and novelists, and why we all seek friends. Although the characterization of friendship proposed here differs from other views in the literature, it is (...) shown that it accommodates key insights of other writers on the topic. Thus, in accordance with the Aristotelian strategy the paper employs, it is shown that the account on offer preserves the received opinions on friendship. (shrink)

Descartes claimed that the Cogito is ‘so firm and sure that all the most extravagant suppositions of the sceptics were incapable of shaking it’. This paper aims to demonstrate that this claim is false by presenting a sceptical scenario for the Cogito. It is argued that the story ‘The Circular Ruins’ by J. L. Borges illustrates that one can doubt one’s own existence and that pace Descartes (and many others) the claim ‘I am, I exist, is necessarily true whenever it (...) is put forward by me or conceived in my mind’ is false. (shrink)

The methodology of physics is discussed. The limitations of the empirical method are exposed, and it is argued that these limitations are related to our sensory input. The limitations of mathematics and of the representation of physical theories by mathematical models are also examined. An alternative methodology, the establishing of physical models on neuropsychology, is suggested and demonstrated. A cognitive psychological model of the genesis and the termination of time is explored.

This study analyzes the triple relation between cognitive biological psychology, philosophy and quantum mechanics. It discusses the findings of Treisman according to which there exists a pre-conscious cerebral mechanism that manipulates the sensory input and transfers it to our consciousness only after correcting it to suit our logic and expectations. This experimental finding was predicted two centuries ago by Kant. It is observed that during the primary pre-conscious level of perception the macroscopic physical world is not perceived as behaving according (...) to the laws of classical physics but rather according to the laws of quantum mechanics, like the microscopic world. (shrink)

What makes some acts morally right and others morally wrong? Traditionally, philosophers have thought that in order to answer this question we must find and formulate exceptionless moral principles—principles that capture all and only morally right actions. Utilitarianism and Kantianism are paradigmatic examples of such attempts. In recent years, however, there has been a growing interest in a novel approach—Particularism—although its precise content is still a matter of controversy. In this paper I develop and motivate a new formulation of particularism (...) as a research program and I show that my formulation is not vulnerable to the most common objections to particularism. Moreover, I argue that the particularist research program shows enough promise to warrant further exploration. (shrink)

According to Alix Cohen, Kant defines emotions as ‘feelings’. Although I find her account of Kantian feelings compelling, I provide three reasons to doubt that it is an account of emotions: (1) it is unclear why Cohen identifies emotions with Kantian feelings; (2) some Kantian feelings are not emotions; (3) some Kantian desires may be emotions. I propose, however, that with some qualifications Cohen’s account may be upheld, provided its extra-textual assumptions about emotions are explicated. Against her claim that Kantian (...) feelings have a derived intentionality, I argue that the text is compatible with their being intrinsically intentional. (shrink)

We say that a theory [Formula: see text] satisfies arithmetic-is-recursive if any [Formula: see text]-computable model of [Formula: see text] has an [Formula: see text]-computable copy; that is, the models of [Formula: see text] satisfy a sort of jump inversion. We give an example of a theory satisfying arithmetic-is-recursive non-trivially and prove that the theories satisfying arithmetic-is-recursive on a cone are exactly those theories with countably many [Formula: see text]-back-and-forth types.

In this essay I offer a new particularist reading of Aristotle’s Nicomachean Ethics. I argue that the interpretation I present not only helps us to resolve some puzzles about Aristotle’s goals and methods, but it also gives rise to a novel account of morality—an account that is both interesting and plausible in its own right. The goal of this paper is, in part, exegetical—that is, to figure out how to best understand the text of the Nicomachean Ethics. But this paper (...) also aims to contribute to the current exciting and controversial debate over particularism. By taking the first steps towards a comprehensive particularist reading of Aristotle’s Ethics I hope to demonstrate that some of the mistrust of particularism is misplaces and that what is, perhaps, the most influential moral theory in the history of philosophy is, arguably, a particularist moral theory. (shrink)

A forcing poset of size 221 which adds no new reals is described and shown to provide a Δ22 definable well-order of the reals . The encoding of this well-order is obtained by playing with products of Aronszajn trees: some products are special while other are Suslin trees. The paper also deals with the Magidor–Malitz logic: it is consistent that this logic is highly noncompact.

Commentators disagree about Kant’s view on the proper treatment of emotions. In contrast to a tendency in this literature to treat them uniformly, I argue that, according to Kant, feelings (but not affects) require cultivation, and inclinations – although they can and perhaps may be cultivated – generally require discipline. The appropriate treatment for emotions depends on their susceptibility to rational constraint and on the threat they pose to rational deliberation. Although I read Kant as recommending that we cultivate certain (...) emotions, I argue that my reading is not vulnerable to Thomason’s recent pertinent objections to such readings. (shrink)

What is free will? Can it exist in a determined universe? How can we determine who, if anyone, possesses it? Philosophers have been debating these questions for millennia. In recent decades neuroscientists have joined the fray with questions of their own. Which neural mechanisms could enable conscious control of action? What are intentional actions? Do contemporary developments in neuroscience rule out free will or, instead, illuminate how it works? Over the past few years, neuroscientists and philosophers have increasingly come to (...) understand that both fields can make substantive contributions to the free-will debate, so working together is the best path forward to understanding whether, when, and how our choices might be free. We therefore asked leading philosophers and neuroscientists which questions related to free will they would most like the other field to answer. Those experts then voted on the 15 most important questions for each field to answer. This book is a collection of the answers to those questions along with follow-up questions from world experts in the neuroscience and philosophy of free will. These varied perspectives will fascinate, illuminate, and stimulate students from both fields along with anyone who wants to be brought up to date on these profound issues. (shrink)

Descartes claimed that the Cogito is ‘so firm and sure that all the most extravagant suppositions of the sceptics were incapable of shaking it’. This paper aims to demonstrate that this claim is false by presenting a sceptical scenario for the Cogito. It is argued that the story ‘The Circular Ruins’ by J. L. Borges illustrates that one can doubt one’s own existence and that pace Descartes (and many others) the claim ‘I am, I exist, is necessarily true whenever it (...) is put forward by me or conceived in my mind’ is false. (shrink)

In this paper I assess the viability of a particularist explanation of moral knowledge. First, I consider two arguments by Sean McKeever and Michael Ridge that purport to show that a generalist, principle-based explanation of practical wisdom—understood as the ability to acquire moral knowledge in a wide range of situations—is superior to a particularist, non-principle-based account. I contend that both arguments are unsuccessful. Then, I propose a particularist-friendly explanation of knowledge of particular moral facts. I argue that when we are (...) careful to keep separate the various explanatory tasks at hand we can see that a particularist-friendly explanation of the fact that Jane knows that A is morally right might not be so difficult to come by. Moreover, I suggest that a particularist approach to explaining knowledge of particular moral facts may go some way towards discharging the challenge of moral scepticism. (shrink)

Monists, pluralists, and particularists disagree about the structure of the best explanation of the rightness (wrongness) of actions. In this paper I argue that the availability of good moral advice gives us reason to prefer particularist theories and pluralist theories to monist theories. First, I identify two distinct roles of moral theorizing—explaining the rightness (wrongness) of actions, and providing moral advice—and I explain how these two roles are related. Next, I explain what monists, pluralists, and particularists disagree about. Finally, I (...) argue that particularists and pluralists are better situated than monists to explain why it is a good idea to think before we act, and that this gives us reason to favor particularism and pluralism over monism. (shrink)

Many of us read Peter Singer ’ s work on our obligations to those in desperate need with our students. Famously, Singer argues that we have a moral obligation to give a significant portion of our assets to famine relief. If my own experience is not atypical, it is quite common for students, upon grasping the implications of Singer ’ s argument, to ask whether Singer gives to famine relief. In response it might be tempting to remind students of the (...) ad hominem fallacy of attacking the person advancing an argument rather than the argument itself. In this paper I argue that the “ ad hominem reply ” to students ’ request for information about Singer is misguided. First I show that biographical facts about the person advancing an argument can constitute indirect evidence for the soundness / unsoundness of the argument. Second, I argue that such facts are relevant because they may reveal that one can discard the argument without thereby incurring moral responsibility for failing to act on its conclusion even if the argument is sound. (shrink)

Commentators provide two different accounts of desires in Kant: “feeling-based” accounts stress their connection with feelings, while “action-based” accounts view them as causes of action. I argue that “feeling-based” accounts blur the feeling-desire distinction, while the “action-based” accounts conflict with Kantian desires that do not cause action. On my alternative, Kantian desires are dispositions to action normally directed at producing future objects, and so they differ from the feelings they are connected to, which refer to the way we are affected (...) by objects. This account preserves the feeling-desire distinction, is compatible with desires that do not cause action, and anticipates holistic theories of desire that combine dispositional, hedonic, and evaluative components. (shrink)

In the following pages we propose a theory on cognitive systems and the common strategies of perception, which are at the basis of their function. We demonstrate that these strategies are easily seen to be in place in known cognitive systems such as vision and language. Furthermore we show that taking these strategies into consideration implies a new outlook on immune function calling for a new appraisal of the immune system as a cognitive system.

We present two experiments that cast doubt on existing evidence suggesting that it is impossible to suspend belief in a comprehended proposition. In Experiment 1, we found that interrupting the encoding of a statement's veracity decreased memory for the statement's falsity when the false version of the statement was uninformative, but not when the false version was informative. This suggests that statements that are informative when false are not represented as if they were true. In Experiment 2, participants made faster (...) lexical decisions to words implied by preceding statements when they were told that the statements were true than when the veracity of the statements was unknown or when the statements were false. The findings suggest that comprehending a statement may not require believing it, and that it may be possible to suspend belief in comprehended propositions. (shrink)

What are the consequences, for human moral practice, of an evolutionary understanding of that practice? By ‘moral practice’ we mean the way in which human beings think, talk and debate in moral terms. We suggest that the proper upshot of such considerations is moderate support for anti-realism in ethics.

This article deals with different versions of a story in Tractate Eruvin of the Babylonian Talmud. This story has different versions in various sources, including in one page from the Genizah fragment Cambridge U-L T-S F2 23, numbered C98948 in the Friedberg Jewish Manuscript Society. Each version changes our understanding of the story’s content, and in this article we will display these variations and examine the feasibility that they reflect about the original version. The story ends with the phrase Lo (...) shamiʿa li, for which we shall offer a new alternative meaning.Contribution: The main contribution of this article is in revealing the importance of comparing the different versions to the same story which implies a change in the content of the story. This has future implications when considering a story that has different versions. In addition, exploring and examining a particular phrase can offer a different interpretation or meaning than it was commonly thought. These insights are based on story and phrase found in the theological text, so that the article fits to the focus and scope of this journal. (shrink)

This article describes the tripartite structure, a formative style used in the redaction of some sugyot in Tractate Eruvin. The attitude to the tripartite structure is portrayed here as reflected by commentators and researchers who mentioned this pattern, whether directly or indirectly. The purpose of the article is to present several select examples of the tripartite structure in some sugyot in Tractate Eruvin. This will have the significant effect of illuminating different literary forms worthy of exploration, such as the tripartite (...) structure here, as well as in other Talmudic sugyot whose focus is mainly halakhic. Sometimes the form utilized has a considerable effect on redaction of the contents, for example for understanding the sugya or solving various difficulties that it contains. These patterns are also evident in other additional sugyot and they constitute an important research foundation for examining their application in additional sugyot in the different tractates. (shrink)

Any model of ZFC + GCH has a generic extension (made with a poset of size ℵ 2 ) in which the following hold: MA + 2 ℵ 0 = ℵ 2 +there exists a Δ 2 1 -well ordering of the reals. The proof consists in iterating posets designed to change at will the guessing properties of ladder systems on ω 1 . Therefore, the study of such ladders is a main concern of this article.