This article is part of a For-Discussion-Section of Methods of Information in Medicine about the paper "Biomedical Informatics: We Are What We Publish", written by Peter L. Elkin, Steven H. Brown, and Graham Wright. It is introduced by an editorial. This article contains the combined commentaries invited to independently comment on the Elkin et al. paper. In subsequent issues the discussion can continue through letters to the editor.

Many philosophers have appealed to the PSR in arguments for a being that exists a se, a being whose explanation is in itself. But what does it mean, exactly, for something to have its explanation ‘in itself’? Contemporary philosophers have said next to nothing about this, relying instead on phrases plucked from the accounts of various historical figures. In this article, I analyse five such accounts – those of Anselm, Aquinas, Descartes, Spinoza, and Leibniz – and argue that none are (...) satisfactory. Should we abandon or restrict the PSR, then? I think that would be hasty, for many reasons. I therefore consider the prospects of explaining everything, including God, given the constraints of certain features of good explanations, and conclude with several observations about future approaches. (shrink)

Would the existence of extraterrestrial intelligent life conflict in any way with Christian belief? We identify six areas of potential conflict. If there be no conflict in any of these areas—and we argue ultimately there is not—we are confident in declaring that there is no conflict, period. This conclusion underwrites the integrity of theological explorations into the existence of ETI, which has become a topic of increasing interest among theologians in recent years.

I explore the view that the imago Dei is essential to us as humans but accidental to us as persons. To image God is to resemble God, and resemblance comes in degrees. This has the straightforward—and perhaps disturbing—implication that we can be more or less human, and possibly cease to be human entirely. Hence, I call it the spectrum view. I argue that the spectrum view is complementary to the Biblical data, helps explain the empirical reality of horrendous evil, and (...) offers an elegant rapprochement between the traditional view of hell and its rivals. (shrink)

The question I wish to explore is this: Does idealism conflict with common sense? Unfortunately, the answer I give may seem like a rather banal one: It depends. What do we mean by ‘idealism’ and ‘common sense?’ I distinguish three main varieties of idealism: absolute idealism, Berkeleyan idealism, and dualistic idealism. After clarifying what is meant by common sense, I consider whether our three idealisms run afoul of it. The first does, but the latter two don’t. I conclude that while (...) Moore’s famous common sense critique is sound against external world skepticism, against Berkeleyan idealism and dualist idealism it is unavailing. (shrink)

I argue that Social Trinitarians can and should conceive of God as a group person. They can by drawing on recent theories of group agency realism that show how groups can be not just agents but persons distinct from their members – albeit, I argue, persons of a different kind. They should because the resultant novel view of the Trinity – that God is three ‘intrinsicist’ persons in one ‘functional’ person – is theologically sound, effectively counters the most trenchant criticisms (...) of Social Trinitarianism, and enjoys independent theological support from the biblical notion of ‘corporate personality’. (shrink)

Linda Zagzebski’s book on epistemic authority is an impressive and stimulating treatment of an important topic. 1 I admire the way she manages to combine imagination, originality and argumentative control. Her work has the further considerable merit of bringing analytic thinking and abstract theory to bear upon areas of concrete human concern, such as the attitudes one should have towards moral and religious authority. The book is stimulating in a way good philosophy should be -- provoking both disagreement and emulation. (...) I agree with much of what she says, and have been instructed by it, but it will be of more interest and relevance here if I concentrate upon areas of disagreement. Perhaps they are better seen as areas, at least some of them, where her emphases suggest a position that seems to me untenable, but that she may not really intend. In that event, I will be happy to have provoked a clarification or the dispelling of my misunderstanding. My focus will be upon problems in her account of communal authority and autonomy, especially with respect to religious and political authority. Here my worry is that she places too much trust in trust and not enough in what I call selective mistrust. (shrink)

What are we to make of the cultural nonconformity of hardcore/punks? Is there any ethical value in the pursuit of cultural nonconformity? Distinct moral justifications can be teased from the lyrics of the hardcore/punk bands that we have grown up with and still love. The best explanation of what makes cultural nonconformity morally valuable, we believe, comes from John Stuart Mill: that it opens up new cultural space to oneself and to others, permitting "new and original experiments of living.".

In 2020, an international team of intercultural philosophers and African linguists created a multilinguistic game named Adinkra. This name refers to a medieval rooted symbolic language in Ghana that is actively used by the Akan and especially the Asante among them to communicate indirectly. The Akan is both the meta-ethnic name of the largest Ghanaian cultural-linguistic group of which the Asante is an Akan cultural subgroup and of a Central Tano language of which Asante-Twi is a dialect. The Adinkra symbols, (...) which have permeated Akan life and the arts, can be found e.g. on Asante royal staffs and gold weights. They are also loosely connected to Akan proverbs. The game Adinkra aims to enhance its players’ intercultural communicative, and moral philosophical understanding by matching Adinkra symbols with Akan proverbs. It was created for educational and therapeutical purposes. This article focusses on the rules, the making of Adinkra, its aims and objectives. The objective of this article is twofold. First, it focusses on the game itself. It elaborates on what its rules are and the content of the game. It also focusses on how playing the multilinguistic game, Adinkra can enhance intercultural understanding and communication. It, furthermore, concentrates on the results of a pilot reception study of this game in the Netherlands among intercultural groups of players. This study has proven that the Adinkra game stimulates creative thinking, engagement in dialogue and reflective ethical thinking. For this reason, the authors believe that it has a lot to contribute to intercultural educational programs with a focus on intercultural communication, philosophy and arts in both Africa and the global North. Finally, a section is devoted to the question of how the Adinkra game was developed and methodologically grounded in Gadamer’s playful hermeneutics, and the theories of the Wheel of the Intercultural Art of living and (African) Indigenous Religions. Secondly, the article focusses on the game’s oral-literary storytelling context and Akan moral ideas. It then throws the searchlight on the creative, therapeutic value and its potential to serve as a ‘cultural detox’. The authors and game makers think that being introduced to an African communitarian ethos hidden in the Adinkra symbols and Akan proverbs can help its players to develop a critical eye for the highly individualistic ethos of Western culture that, among others, is promoted by neoliberal thinking and praxis. The word praxis is used by the authors in the meaning found in educational contexts. Adinkra’s players are stimulated to reflect upon a different moral idea, which can change their mindset and put them into action to contribute to social awareness and societal change. (shrink)

Recent research has relied on trolley-type sacrificial moral dilemmas to study utilitarian versus nonutili- tarian modes of moral decision-making. This research has generated important insights into people’s attitudes toward instrumental harm—that is, the sacrifice of an individual to save a greater number. But this approach also has serious limitations. Most notably, it ignores the positive, altruistic core of utilitarianism, which is characterized by impartial concern for the well-being of everyone, whether near or far. Here, we develop, refine, and validate a (...) new scale—the Oxford Utilitarianism Scale—to dissociate individual differences in the ‘negative’ (permissive attitude toward instrumental harm) and ‘positive’ (impartial concern for the greater good) dimensions of utilitarian thinking as manifested in the general population. We show that these are two independent dimensions of proto-utilitarian tendencies in the lay population, each exhibiting a distinct psychological profile. Empathic concern, identification with the whole of humanity, and concern for future generations were positively associated with impartial beneficence but negatively associated with instrumental harm; and although instrumental harm was associated with subclinical psychopathy, impartial beneficence was associated with higher religiosity. Importantly, although these two dimensions were independent in the lay population, they were closely associated in a sample of moral philosophers. Acknowledging this dissociation between the instrumental harm and impartial beneficence components of utilitarian thinking in ordinary people can clarify existing debates about the nature of moral psychology and its relation to moral philosophy as well as generate fruitful avenues for further research. (shrink)

Visual imagery is a form of sensory imagination, involving subjective experiences typically described as similar to perception, but which occur in the absence of corresponding external stimuli. We used the Activation Likelihood Estimation algorithm (ALE) to identify regions consistently activated by visual imagery across 40 neuroimaging studies, the first such meta-analysis. We also employed a recently developed multi-modal parcellation of the human brain to attribute stereotactic co-ordinates to one of 180 anatomical regions, the first time this approach has been combined (...) with the ALE algorithm. We identified a total 634 foci, based on measurements from 464 participants. Our overall comparison identified activation in the superior parietal lobule, particularly in the left hemisphere, consistent with the proposed ‘top-down’ role for this brain region in imagery. Inferior premotor areas and the inferior frontal sulcus were reliably activated, a finding consistent with the prominent semantic demands made by many visual imagery tasks. We observed bilateral activation in several areas associated with the integration of eye movements and visual information, including the supplementary and cingulate eye fields (SCEFs) and the frontal eye fields (FEFs), suggesting that enactive processes are important in visual imagery. V1 was typically activated during visual imagery, even when participants have their eyes closed, consistent with influential depictive theories of visual imagery. Temporal lobe activation was restricted to area PH and regions of the fusiform gyrus, adjacent to the fusiform face complex (FFC). These results provide a secure foundation for future work to characterise in greater detail the functional contributions of specific areas to visual imagery. (shrink)

A graph-theoretic account of logics is explored based on the general notion of m-graph (that is, a graph where each edge can have a finite sequence of nodes as source). Signatures, interpretation structures and deduction systems are seen as m-graphs. After defining a category freely generated by a m-graph, formulas and expressions in general can be seen as morphisms. Moreover, derivations involving rule instantiation are also morphisms. Soundness and completeness theorems are proved. As a consequence of the generality of the (...) approach our results apply to very different logics encompassing, among others, substructural logics as well as logics with nondeterministic semantics, and subsume all logics endowed with an algebraic semantics. (shrink)

In mathematics, the deductive method reigns. Without proof, a claim remains unsolved, a mere conjecture, not something that can be simply assumed; when a proof is found, the problem is solved, it turns into a “result,” something that can be relied on. So mathematicians think. But is there more to mathematical justification than proof? -/- The answer is an emphatic yes, as I explain in this article. I argue that non-deductive justification is in fact pervasive in mathematics, and that it (...) is in good epistemic standing. (shrink)

Background If trials of therapeutic interventions are to serve society's interests, they must be of high methodological quality and must satisfy moral commitments to human subjects. The authors set out to develop a clinical - trials compendium in which standards for the ethical treatment of human subjects are integrated with standards for research methods. Methods The authors rank-ordered the world's nations and chose the 31 with >700 active trials as of 24 July 2008. Governmental and other authoritative entities of the (...) 31 countries were searched, and 1004 English-language documents containing ethical and/or methodological standards for clinical trials were identified. The authors extracted standards from 144 of those: 50 designated as ‘core’, 39 addressing trials of invasive procedures and a 5% sample of the remainder. As the integrating framework for the standards we developed a coherent taxonomy encompassing all elements of a trial's stages. Findings Review of the 144 documents yielded nearly 15 000 discrete standards. After duplicates were removed, 5903 substantive standards remained, distributed in the taxonomy as follows: initiation, 1401 standards, 8 divisions; design, 1869 standards, 16 divisions; conduct, 1473 standards, 8 divisions; analysing and reporting results, 997 standards, four divisions; and post-trial standards, 168 standards, 5 divisions. Conclusions The overwhelming number of source documents and standards uncovered in this study was not anticipated beforehand and confirms the extraordinary complexity of the clinical trials enterprise. This taxonomy of multinational ethical and methodological standards may help trialists and overseers improve the quality of clinical trials, particularly given the globalisation of clinical research. (shrink)

O valor nutritivo do leite de ovelha é superior quando comparado aos leites caprino e bovino, apresentando maior teor proteico, lipídico, minerais e vitaminas. Os humanos evoluíram em estreito contato com a natureza, sendo o leite a primeira fonte de alimento desta espécie ao nascer. Durante milhares de anos, o leite rico em nutrientes, como fonte de alimento, era unicamente materno e só veio a ser consumido pelo homem após idade de amamentação com a domesticação dos animais, primeiramente às ovelhas (...) e as cabras há aproximadamente 13 mil anos, seguido da domesticação das vacas quatro mil anos depois. Desde então o leite tornou-se um alimento indispensável para o homem. O valor nutritivo do leite de ovelha é superior quando comparado aos leites caprino e bovino, apresentando maior teor proteico, lipídico, minerais e vitaminas essenciais para a saúde humana. Este leite apresenta três vezes mais proteínas em relação ao leite de cabra e de vaca, sendo aquelas consideradas proteínas de alto valor biológico contribuindo para uma melhor digestibilidade. Outra característica é a conformação estrutural e a quantidade de micelas de caseína e suas subunidades, que são assim como o leite caprino, menores que as do leite bovino, proporcionando menor sensibilização às pessoas alérgicas. Estudos sugerem que o leite de ovelha pode ser considerado o substituto ideal do leite bovino para pessoas alérgicas ao leite bovino devido ao elevado teor dos principais componentes do leite e minerais. Entretanto, foi verificado que anticorpos IgE de pessoas alérgicas reconhecem as αS1-caseína, αS2-caseína e β-caseína de leite ovino e caprino, mas caseínas do leite bovino são raramente ou não reconhecidas. Além disso, os polimorfismos genéticos das proteínas do leite estão associados com os parâmetros quantitativos e qualitativos e desempenham um papel importante na indução de diferentes graus de reação alérgica. A coloração do leite de ovelha é intensamente branca e homogênea, o que o difere do leite de vaca, pois essa característica está associada à ausência de β-caroteno pigmento precursor do retinol (vitamina A) impedindo que o leite tenha coloração amarelada como no caso do leite bovino. No leite ovino, o β-caroteno apresenta-se na forma convertida da vitamina A que não possui coloração amarelada e essa característica possibilita a produção de diferentes variedades de queijo. A caseína no leite de ovelha compõe 80% do total de proteínas do leite dos ruminantes, enquanto que está presente em 50% da composição proteica do leite equino e em menor porcentagem no leite humano. A caseína do leite de ruminantes difere com relação às características de tamanho, hidratação e mineralização. As micelas de caseína do leite de ovelha possuem maior mineralização e menor hidratação, sendo mais estáveis ao aquecimento quando comparadas à micela de caseína do leite de vaca. Outra importante característica refere-se à conformação molecular e sequencial de aminoácidos com impacto sobre sua digestibilidade, qualidade nutricional e termoestabilidade proteica. As proteínas do leite de ovelha consistem em elevada quantidade de caseínas (resistente ao calor) e proteínas do soro (sensível ao calor) responsáveis pela textura e viscosidade de iogurtes. Tecnologicamente, elas têm propriedades únicas que permitem a fácil conversão do leite em iogurte e queijos, não sendo necessária a adição de sólidos na produção do iogurte, como leite em pó, ou concentração dos sólidos do leite por tecnologia de membrana. Estudos com variantes da caseína do leite ovino representam uma abordagem eficaz para identificar a associação de características de importância econômica e melhorar raças para a produção de proteína do leite específica. As características da caseína no leite de ovelha são particularmente interessantes devido ao número elevado de polimorfismo, alterando a expressão de genes e influenciando o processamento de queijos. Em adição, enzimas presente no leite de ovelha possui atividade proteolítica e lipolítica (quebra de proteínas e lipídios). Elas auxiliam na maturação de queijos - resultando em compostos de aroma e sabor típicos, tornando-os únicos em suas características. O sabor e o aroma do leite de ovelha são suaves e adocicados além de possuir uma textura cremosa devido aos pequenos glóbulos de gordura que apresentam tamanhos menores que 3,5 µm. Esta peculiaridade no tamanho dos glóbulos gordurosos do leite ovino propicia que esse seja digerido mais facilmente. O leite ovino apresenta também altas concentrações de ácidos graxos poli-insaturados com benefícios à saúde como isômeros de ácido linoleico conjugado (CLA) presentes em maior concentração nesta matriz comparado ao leite bovino que são o cis-9 trans-11 e o trans-10 cis-12, responsáveis por ações anticarcinogênica, antiaterogênico e antiobesidade. Ainda com relação aos lipídios do leite de ovelha, as lipases têm um papel importante na produção de leite na glândula mamária. As lipases naturais do leite catalisam e hidrolisam os triglicerídeos, produzindo ácidos graxos livres (AGL). A atividade das lipases, em leite ovino, é cerca de um décimo das do leite bovino. Além disso, o padrão de hidrólise da gordura de leite por ovinos apresenta maior taxa em relação aos triglicerídeos - contendo ácidos graxos de cadeia média em relação aos ácidos graxos de cadeia longa. Os níveis de AGL em queijos de leite ovino são o resultado do processo lipolítico que ocorre durante o período de maturação. Alguns produtos lácteos derivados usando como matéria-prima o leite de ovelha - como iogurte grego e queijos - foram descritos como possuindo peptídeos inibidores da enzima conversora da angiotensina (ECA), sendo a maioria derivada da subunidade β-caseína. Também, alguns peptídeos derivados da κ-caseína, resultante da hidrólise de leite ovino pela pepsina, tripsina e quimotripsina, exercem atividade antioxidante. Em queijos tradicionais derivados de ovelha, como o Scamorza, foram verificados diversos peptídeos com ação inibidora da ECA e ação antibacteriana. Nesse contexto, o leite de ovelha é uma rica fonte de nutrientes e seu principal uso é na produção de queijos devido ao elevado conteúdo de extrato seco total, que contribui com alto rendimento da massa. Todavia, esta matéria-prima permanece inexplorada pela indústria de laticínios com uma visão de alimento funcional, visto que o leite e seus derivados são reconhecidamente ótimos carreadores de fibras prebióticas e bactérias probióticas - que trazem benefícios ao consumidor favorecendo saúde e bem-estar. Nesse contexto, o leite de ovelha apresenta-se como um alimento de grande potencial e uma valiosa alternativa para a indústria de laticínios - que pode aumentar a diversidade de produtos oferecidos ao consumidor. (shrink)

O artigo oferece uma breve exposição da biografia e do contexto histórico do filósofo neoplatônico Damáscio (c. 458 - c. 538) para, na sequência, apresentar a tradução de um dos seus poemas líricos do período final de sua vida. O procedimento adotado justifica-se pelo caráter lutuoso e decididamente pessoal dos versos, nos quais Damáscio lamenta consigo próprio as perdas sofridas no decorrer de sua longa e fascinante vida. Como veremos, tais perdas estão, em verdade, diretamente ligadas ao colapso do mundo (...) antigo e ao derradeiro golpe proferido por Justiniano contra a filosofia helênica pagã. (shrink)

A graph-theoretic account of fibring of logics is developed, capitalizing on the interleaving characteristics of fibring at the linguistic, semantic and proof levels. Fibring of two signatures is seen as a multi-graph (m-graph) where the nodes and the m-edges include the sorts and the constructors of the signatures at hand. Fibring of two models is a multi-graph (m-graph) where the nodes and the m-edges are the values and the operations in the models, respectively. Fibring of two deductive systems is an (...) m-graph whose nodes are language expressions and the m-edges represent the inference rules of the two original systems. The sobriety of the approach is confirmed by proving that all the fibring notions are universal constructions. This graph-theoretic view is general enough to accommodate very different fibrings of propositional based logics encompassing logics with non-deterministic semantics, logics with an algebraic semantics, logics with partial semantics and substructural logics, among others. Soundness and weak completeness are proved to be preserved under very general conditions. Strong completeness is also shown to be preserved under tighter conditions. In this setting, the collapsing problem appearing in several combinations of logic systems can be avoided. (shrink)

The concept of niche (setting, context, habitat, environment) has been little studied by ontologists, in spite of its wide application in a variety of disciplines from evolutionary biology to economics. What follows is a first formal theory of this concept, a theory of the relations between objects and their niches. The theory builds upon existing work on mereology, topology, and the theory of spatial location as tools of formal ontology. It will be illustrated above all by means of simple biological (...) examples, but the concept of niche should be understood as being, like concepts such as part, boundary, and location, a structural concept that is applicable in principle to a wide range of different domains. (shrink)

Whenever science returns a confident and univocal answer to a question, Trumping Naturalism enjoins us to accept it. The majority of contemporary philosophers are sympathetic to this sort of position. Indeed, several have endorsed it or something very close to it. Arguments for Trumping Naturalism, however, are scant, the principal one being the Track Record Argument. The argument is based on the fact that in cases of conflict, science has a better track record than non-scientific forms of inquiry such as (...) philosophy. My chapter investigates this argument. I enumerate and assess several objections to the argument, from footling objections to stronger ones. My conclusion is that the Track Record Argument is not as strong as imagined. (shrink)

Some have argued that the vagueness exhibited by geographic names and descriptions such as ‘Albuquerque’, ‘the Outback’, or ‘Mount Everest’ is ultimately ontological: these terms are vague because they refer to vague objects, objects with fuzzy boundaries. I take the opposite stand and hold the view that geographic vagueness is exclusively semantic, or conceptual at large. There is no such thing as a vague mountain. Rather, there are many things where we conceive a mountain to be, each with its precise (...) boundary, and when we say ‘Everest’ we are just being vague as to which thing we are referring to. This paper defends this view against some plausible objections. (shrink)

Are there any bona fide boundaries, i.e., boundaries that carve at the joints? Or is any boundary —hence any object—the result of a fiat articulation reflecting our cognitive biases and our so-cial practices and conventions? Does the choice between these two options amount to a choice between realism and wholesome relativism?

In previous work I have argued that talk about negative events should not be taken at face value: typically, what we are inclined to think of as a negative event (John’s failure to go jogging) is just an ordinary, positive event (his going to the movie instead); it is a positive event under a negative description. Here I consider more closely the difficulties that arise in those cases where no positive event seems available to do the job, as with putative (...) cases of causation by omission. In particular, I elaborate on Helen Beebee’s idea that not all causal explanations are reports of causation. When we mention John’s failure to turn off the gas as an explanans of why there was an explosion, we do not say what caused the explosion. We do not mention any of the relevant causes. We just remark that one sort of event that was supposed to occur, and whose occurrence would have prevented the explosion, did not in fact occur. (shrink)

Since its first appearance in 1966, the notion of a supervaluation has been regarded by many as a powerful tool for dealing with semantic gaps. Only recently, however, applications to semantic gluts have also been considered. In previous work I proposed a general framework exploiting the intrinsic gap/glut duality. Here I also examine an alternative account where gaps and gluts are treated on a par: although they reflect opposite situations, the semantic upshot is the same in both cases--the value of (...) some expressions is not uniquely defined. Other strategies for generalizing supervaluations are considered and some comparative facts are discussed. (shrink)

The argument is that (1) the spiritual crisis that Zhu Xi discussed with Zhang Shi 張栻 (1133–1180) and the other “gentlemen of Hunan” from about 1167 to 1169, which was resolved by an understanding of what we might call the interpenetration of the mind’s stillness and activity (dong-jing 動靜) or equilibrium and harmony (zhong-he 中和), (2) led directly to his realization that Zhou Dunyi’s thought provided a cosmological basis for that resolution, and (3) this in turn led Zhu Xi to (...) understand (or construct) the meaning of taiji in terms of the polarity of yin and yang; i.e. the Supreme Polarity as the most fundamental ordering principle (li 理). (shrink)

Euclid’s Elements inspired a number of foundationalist accounts of mathematics, which dominated the epistemology of the discipline for many centuries in the West. Yet surprisingly little has been written by recent philosophers about this conception of mathematical knowledge. The great exception is Imre Lakatos, whose characterisation of the Euclidean Programme in the philosophy of mathematics counts as one of his central contributions. In this essay, we examine Lakatos’s account of the Euclidean Programme with a critical eye, and suggest an alternative (...) picture which builds on his work, but differs in a number of important respects. (shrink)

A self-fulfilling prophecy in neuroprognostication occurs when a patient in coma is predicted to have a poor outcome, and life-sustaining treatment is withdrawn on the basis of that prediction, thus directly bringing about a poor outcome for that patient. In contrast to the predominant emphasis in the bioethics literature, we look beyond the moral issues raised by the possibility that an erroneous prediction might lead to the death of a patient who otherwise would have lived. Instead, we focus on the (...) problematic epistemic consequences of neuroprognostic SFPs in settings where research and practice intersect. When this sort of SFP occurs, the problem is that physicians and researchers are never in a position to notice whether their original prognosis was correct or incorrect, since the patient dies anyway. Thus, SFPs keep us from discerning false positives from true positives, inhibiting proper assessment of novel prognostic tests. This epistemic problem of SFPs thus impedes learning, but ethical obligations of patient care make it difficult to avoid SFPs. We then show how the impediment to catching false positive indicators of poor outcome distorts research on novel techniques for neuroprognostication, allowing biases to persist in prognostic tests. We finally highlight a particular risk that a precautionary bias towards early withdrawal of life-sustaining treatment may be amplified. We conclude with guidelines about how researchers can mitigate the epistemic problems of SFPs, to achieve more responsible innovation of neuroprognostication for patients in coma. (shrink)

Peter Simons has argued that the expression ‘the universe’ is not a genuine singular term: it can name neither a single, completely encompassing individual, nor a collection of individuals. (It is, rather, a semantically plural term standing equally for every existing object.) I offer reasons for resisting Simons’s arguments on both scores.

This short article discusses the fact that the word ‘ancestor’ features in certain arguments that a) are apparently logically valid, b) contain infinitely many premises, and c) are such that none of their finite sub-arguments are logically valid. The article's aim is to motivate, within its brief compass, the study of infinitary logics.

The history of evolution is a history of development from less to more complex organisms. This growth in complexity of organisms goes hand in hand with a concurrent growth in complexity of environments and of organism-environment relations. It is a concern with this latter aspect of evolutionary development that motivates the present paper. We begin by outlining a theory of organism-environment relations. We then show that the theory can be applied to a range of different sorts of cases, both biological (...) and non-biological, in which objects are lodged or housed within specific environments, or niches. Biological science is interested in types—for example in genotypes, phenotypes, and environment types—in regularities that can serve as the basis for the formulation of laws or general principles. Types, however, can exist only through their corresponding tokens. Our theory of token environments is meant to plug this gap and to provide a first step towards a general theory of causally relevant spatial volumes. (shrink)

A focussed issue of The Reasoner on the topic of 'Infinitary Reasoning'. Owen Griffiths and A.C. Paseau were the guest editors.

This paper focuses on invasive therapeutic procedures, defined as procedures requiring the introduction of hands, instruments, or devices into the body via incisions or punctures of the skin or mucous membranes performed with the intent of changing the natural history of a human disease or condition for the better. Ethical and methodological concerns have been expressed about studies designed to evaluate the effects of invasive therapeutic procedures. Can such studies meet the same standards demanded of those, for example, evaluating pharmaceutical (...) agents? This paper describes a research project aimed at examining the interplay and sometimes apparent conflict between ethical standards for human research and standards for methodological rigor in trials of invasive procedures. The paper discusses how the authors plan to develop a set of consensus standards that, if met, would result in substantial and much-needed improvements in the methodological and ethical quality of such trials. (shrink)

The revival of the philosophy of mathematics in the 60s following its post-1931 slump left us with two conflicting positions on arithmetic’s ontological relationship to set theory. W.V. Quine’s view, presented in 'Word and Object' (1960), was that numbers are sets. The opposing view was advanced in another milestone of twentieth-century philosophy of mathematics, Paul Benacerraf’s 'What Numbers Could Not Be' (1965): one of the things numbers could not be, it explained, was sets; the other thing numbers could not be, (...) even more dramatically, was objects. Curiously, although Benacerraf’s article appeared in the heyday of Quine’s influence, it declined to engage the Quinean position squarely, even seemed to think it was not its business to do so. Despite that, in my experience, most philosophers believe that Benacerraf’s article put paid to the reductionist view that numbers are sets (though perhaps not the view that numbers are objects). My chapter will attempt to overturn this orthodoxy. (shrink)

Results: We analyzed 1,402 surveys and 15 in-depth interviews. Many (32%) CL participants reported greater difficulty refilling medications and a minority (14%) reported greater difficulty accessing HIV care during the pandemic. Most (99%) Opt4Mamas participants reported no difficulty refilling medications or accessing HIV/pregnancy care. Among the CL participants, older women were less likely (aOR = 0.95, 95% CI: 0.92–0.98) and women with more children were more likely (aOR = 1.13, 95% CI: 1.00–1.28) to report difficulty refilling medications. Only 2% of (...) CL participants reported greater difficulty managing FP and most (95%) reported no change in likelihood of using FP or desire to get pregnant. Qualitative analysis revealed three major themes: (1) adverse organizational/economic implications of the pandemic, (2) increased importance of pregnancy prevention during the pandemic, and (3) fear of contracting COVID-19. (shrink)

In their correspondence in 1902 and 1903, after discussing the Russell paradox, Russell and Frege discussed the paradox of propositions considered informally in Appendix B of Russell’s Principles of Mathematics. It seems that the proposition, p, stating the logical product of the class w, namely, the class of all propositions stating the logical product of a class they are not in, is in w if and only if it is not. Frege believed that this paradox was avoided within his philosophy (...) due to his distinction between sense (Sinn) and reference (Bedeutung). However, I show that while the paradox as Russell formulates it is ill-formed with Frege’s extant logical system, if Frege’s system is expanded to contain the commitments of his philosophy of language, an analogue of this paradox is formulable. This and other concerns in Fregean intensional logic are discussed, and it is discovered that Frege’s logical system, even without its naive class theory embodied in its infamous Basic Law V, leads to inconsistencies when the theory of sense and reference is axiomatized therein. (shrink)

Ordinary reasoning about space—we argue—is first and foremost reasoning about things or events located in space. Accordingly, any theory concerned with the construction of a general model of our spatial competence must be grounded on a general account of the sort of entities that may enter into the scope of the theory. Moreover, on the methodological side the emphasis on spatial entities (as opposed to purely geometrical items such as points or regions) calls for a reexamination of the conceptual categories (...) required for this task. Building on material presented in an earlier paper, in this work we offer some examples of what this amounts to, of the difficulties involved, and of the main directions along which spatial theories should be developed so as to combine formal sophistication with some affinity with common sense. (shrink)

A brief article introducing *One True Logic*. The book argues that there is one correct foundational logic and that it is highly infinitary.

We propose the beginnings of a general theory of environments, of the parts or regions of space in which organisms live and move. We draw on two sources: on the one hand on recent work on the ontology of space; and on the other hand on work by ecological scientists on concepts such as territory, habitat, and niche. An environment is in first approximation a volume of space; it is a specific habitat, location, or site that is suitable or adequate (...) for given purposes (of foraging, resting, hunting, breeding, nesting, grooming) in the life of an organism or group of organisms. This spatial notion of environment can be drawn closer to biological and ecological science by taking account of the pertinent physical attributes realized within given spatial regions. (shrink)

It is well known that the circumflex notation used by Russell and Whitehead to form complex function names in Principia Mathematica played a role in inspiring Alonzo Church's “lambda calculus” for functional logic developed in the 1920s and 1930s. Interestingly, earlier unpublished manuscripts written by Russell between 1903–1905—surely unknown to Church—contain a more extensive anticipation of the essential details of the lambda calculus. Russell also anticipated Schönfinkel's combinatory logic approach of treating multiargument functions as functions having other functions as value. (...) Russell’s work in this regard seems to have been largely inspired by Frege’s theory of functions and “value-ranges”. This system was discarded by Russell due to his abandonment of propositional functions as genuine entities as part of a new tack for solving Russell’s paradox. In this article, I explore the genesis and demise of Russell’s early anticipation of the lambda calculus. (shrink)

Biological ontologies are used to organize, curate, and interpret the vast quantities of data arising from biological experiments. While this works well when using a single ontology, integrating multiple ontologies can be problematic, as they are developed independently, which can lead to incompatibilities. The Open Biological and Biomedical Ontologies Foundry was created to address this by facilitating the development, harmonization, application, and sharing of ontologies, guided by a set of overarching principles. One challenge in reaching these goals was that the (...) OBO principles were not originally encoded in a precise fashion, and interpretation was subjective. Here we show how we have addressed this by formally encoding the OBO principles as operational rules and implementing a suite of automated validation checks and a dashboard for objectively evaluating each ontology’s compliance with each principle. This entailed a substantial effort to curate metadata across all ontologies and to coordinate with individual stakeholders. We have applied these checks across the full OBO suite of ontologies, revealing areas where individual ontologies require changes to conform to our principles. Our work demonstrates how a sizable federated community can be organized and evaluated on objective criteria that help improve overall quality and interoperability, which is vital for the sustenance of the OBO project and towards the overall goals of making data FAIR. Competing Interest StatementThe authors have declared no competing interest. (shrink)

In these articles, I describe Cantor’s power-class theorem, as well as a number of logical and philosophical paradoxes that stem from it, many of which were discovered or considered (implicitly or explicitly) in Bertrand Russell’s work. These include Russell’s paradox of the class of all classes not members of themselves, as well as others involving properties, propositions, descriptive senses, class-intensions, and equivalence classes of coextensional properties. Part I focuses on Cantor’s theorem, its proof, how it can be used to manufacture (...) paradoxes, Frege’s diagnosis of the core difficulty, and several broad categories of strategies for offering solutions to these paradoxes. (shrink)

A key source of support for the view that challenging people’s beliefs about free will may undermine moral behavior is two classic studies by Vohs and Schooler (2008). These authors reported that exposure to certain prompts suggesting that free will is an illusion increased cheating behavior. In the present paper, we report several attempts to replicate this influential and widely cited work. Over a series of five studies (sample sizes of N = 162, N = 283, N = 268, N (...) = 804, N = 982) (four preregistered) we tested the relationship between (1) anti-free-will prompts and free will beliefs and (2) free will beliefs and immoral behavior. Our primary task was to closely replicate the findings from Vohs and Schooler (2008) using the same or highly similar manipulations and measurements as the ones used in their original studies. Our efforts were largely unsuccessful. We suggest that manipulating free will beliefs in a robust way is more difficult than has been implied by prior work, and that the proposed link with immoral behavior may not be as consistent as previous work suggests. (shrink)

Mereotopology is today regarded as a major tool for ontological analysis, and for many good reasons. There are, however, a number of open questions that call for an answer. Some are philosophical, others have direct applicative import, but all are crucial for a proper assessment of the strengths and limits of mereotopology. This paper is an attempt to put sum order in this area.

Recent research has begun treating the perennial philosophical question, “what makes a person the same over time?” as an empirical question. A long tradition in philosophy holds that psychological continuity and connectedness of memories are at the heart of personal identity. More recent experimental work, following Strohminger & Nichols (2014), has suggested that persistence of moral character, more than memories, is perceived as essential for personal identity. While there is a growing body of evidence supporting these findings, a critique by (...) Starmans & Bloom (2018) suggests that this research program conflates personal identity with mere similarity. To address this criticism, we explore how loss of someone’s morality or memories influence perceptions of identity change, and perceptions of moral duties towards the target of the change. We present participants with a classic ‘body switch’ thought experiment and after assessing perceptions of identity persistence, we present a moral dilemma, asking participants to imagine that one of the patients must die (Study 1) or be left alone in a care home for the rest of their life (Study 2). Our results highlight the importance of the continuity of moral character, suggesting lay intuitions are tracking (something like) personal identity, not just mere similarity. (shrink)

This paper investigates the view that digital hypercomputing is a good reason for rejection or re-interpretation of the Church-Turing thesis. After suggestion that such re-interpretation is historically problematic and often involves attack on a straw man (the ‘maximality thesis’), it discusses proposals for digital hypercomputing with Zeno-machines , i.e. computing machines that compute an infinite number of computing steps in finite time, thus performing supertasks. It argues that effective computing with Zeno-machines falls into a dilemma: either they are specified such (...) that they do not have output states, or they are specified such that they do have output states, but involve contradiction. Repairs though non-effective methods or special rules for semi-decidable problems are sought, but not found. The paper concludes that hypercomputing supertasks are impossible in the actual world and thus no reason for rejection of the Church-Turing thesis in its traditional interpretation. (shrink)