Categorical proof theory is an approach to understanding the structure of proofs. We illustrate the idea first by analyzing G0̈del's Dialectica interpretation and the Diller-Nahm variant in categorical terms. Then we consider the problematic question of the structure of classical proofs. We show how double negation translations apply in the case of the Dialectica interpretations. Finally we formulate a proposal as to how to give a more faithful analysis of proofs in the sequent calculus.

Cramer et al. contrast two possible explanations for psychological symptoms: latent variables (i.e., specific cause) versus a network of causality between symptoms. There is a third explanation: The reason for comorbidity and the reported network structure of psychological symptoms is that the underlying biological cause is a psychoneuroimmunoendocrine information network which, when dysregulated, leads to several maladaptive psychological and somatic symptoms.

We examined the hypothesis that a tendency to experience the world in terms of a sense of ‘special’ connection is responsible for the self-transcendent value dimension identified by multi-dimensional scaling and constitutes a common factor for different religious and non-religious interpretations of spirituality. Eight different groups were studied including: six different types of faith leaders in India and the UK, people who self-rated as spiritual but not religious, and those self-rating as neither spiritual nor religious. They completed a questionnaire that (...) assessed the strength of their spirituality irrespective of type and the experience of special connection to the following categories: people, nature, places and the universe, with and without using the term spiritual. For all eight samples the different types of connection were highly inter-correlated, and self-perceived spirituality correlated with the sum of connection items irrespective of whether items included the term spiritual or not. Variation between groups in the size of the latter correlation was consistent with different interpretations of spirituality in those groups. Although the meaning of spirituality is socially constructed, variability within faith leader groups suggests that its interpretation is also affected by personality. (shrink)

Subjects and Simulations presents essays focused on suffering and sublimity, representation and subjectivity, and the relation of truth and appearance through engagement with the legacies of Jean Baudrillard and Philippe Lacoue-Labarthe.

We examined the hypothesis that a tendency to experience the world in terms of a sense of ‘special’ connection is responsible for the self-transcendent value dimension identified by multi-dimensional scaling and constitutes a common factor for different religious and non-religious interpretations of spirituality. Eight different groups were studied including: six different types of faith leaders in India and the UK, people who self-rated as spiritual but not religious, and those self-rating as neither spiritual nor religious. They completed a questionnaire that (...) assessed the strength of their spirituality irrespective of type and the experience of special connection to the following categories: people, nature, places and the universe, with and without using the term spiritual. For all eight samples the different types of connection were highly inter-correlated, and self-perceived spirituality correlated with the sum of connection items irrespective of whether items included the term spiritual or not. Variation between groups in the size of the latter correlation was consistent with different interpretations of spirituality in those groups. Although the meaning of spirituality is socially constructed, variability within faith leader groups suggests that its interpretation is also affected by personality. (shrink)

When Gödel developed his functional interpretation, also known as the Dialectica interpretation, his aim was to prove consistency of first order arithmetic by reducing it to a quantifier-free theory with finite types. Like other functional interpretations Gödel’s Dialectica interpretation gives rise to category theoretic constructions that serve both as new models for logic and semantics and as tools for analysing and understanding various aspects of the Dialectica interpretation itself. Gödel’s Dialectica interpretation gives rise to the Dialectica categories , in: Contemp. (...) Math., vol. 92, Amer. Math. Soc., Providence, RI, 1989, pp. 47–62] and J.M.E. Hyland in [J.M.E. Hyland, Proof theory in the abstract, Ann. Pure Appl. Logic 114 43–78, Commemorative Symposium Dedicated to Anne S. Troelstra ]). These categories are symmetric monoidal closed and have finite products and weak coproducts, but they are not Cartesian closed in general. We give an analysis of how to obtain weakly Cartesian closed and Cartesian closed Dialectica categories, and we also reflect on what the analysis might tell us about the Dialectica interpretation. (shrink)

Kleene's realizability interpretation for first-order arithmetic was shown by Hyland to fit into the internal logic of an elementary topos, the “Effective topos” . In this paper it is shown, that there is an internal realizability definition in , i.e. a syntactical translation of the internal language of into itself of form “n realizes ” , which extends Kleene's definition, and such that for sentences , the equivalence [harr]n is true in . The internal realizability definition depends on finding (...) separated covers for non-separated objects of . However, for the objects arising in higher-order arithmetic, canonical covers are available, which are definable in higher-order arithmetic. These canonical covers yield “covering axioms”. It is shown that these covering axioms, together with uniformity principles and Extended Church's Thesis, axiomatize a formalized extension of Kleene realizability to a constructive system of higher-order arithmetic. The details are worked out for second and third-order arithmetic, but the method can be extended to any order. As an application, it is shown in the final section that a certain completeness property of the category of “modest sets” can be derived in third-order arithmetic from the realizability axioms. (shrink)

Peter Eli Gordon - Heidegger and the Greeks: Interpretive Essays - Journal of the History of Philosophy 46:1 Journal of the History of Philosophy 46.1 178-179 Muse Search Journals This Journal Contents Reviewed by Peter E. Gordon Harvard University Drew A. Hyland and John Panteleimon Manoussakis, editors. Heidegger and the Greeks: Interpretive Essays. Bloomington-Indianapolis: University of Indiana Press, 2006. Pp. xiii + 194. Paper, $24.95. Heidegger's troubled and over-determined interest in Greek philosophy is well known. In the 1933 rectoral (...) address, he declared that genuine science would become possible only "if we again place ourselves under the power of the beginning of our spiritual-historical existence. This beginning is the departure, the setting out, of Greek philosophy." All of Western science, Heidegger concluded, "remains bound to that beginning of philosophy. From it science draws the strength of its essence, assuming that it still remains at all equal to this beginning." Such claims bear witness to his life-long interpretive confrontation with the dawning figures of Western philosophy: Aristotle, Plato, and the pre-Socratics. Heidegger's.. (shrink)

The archive produces a linear time that reaches towards ‘what could be’ by asserting ‘what has been’, providing us reassurance of our existence through the assertion of a reliably past past. But the Anthropocene is an era of uncontained material ramifications, where the past juts into the future and temporality warps as change accelerates unexpectedly. As an ecological and geologic epoch, documentation of the Anthropocene inherently has a relationship to natural history museums and archives. These institutions, however, troublingly rest on (...) what Elaine Graham calls ‘ontological hygiene’ – the separateness of the human subject from ‘nature’. The Anthropocene however, challenges the western post-Enlightenment binary of man vs. nature, as it (supposedly) naturalizes humans into an earth systems force. As such, documentation of this epoch might resist ontological sanitation. This article outlines an artistic research practice to create artefacts of the Anthropocene – one that invites material idiosyncrasies, objects-in-becoming, ephemerality, and decay. I suggest that artistic ‘anarchices’ prioritize process over objects, and resist linear and static representation in lieu of material, embodied and sensory artefacts. These include relational encounters with waste materials, reworked forms of ‘geology’, edible artefacts and multimedia works at landfills and feral sites. The anarchives are interpolated by a rejection of hegemonic logic, positivism and ‘objective’ truths about environmental phenomena; Situated, ambiguous and material knowledges are inwrought into the so-called Anthropocene (and any alternatives to this term). By focusing on waste as an analytical category, I explore some of the ontological breakdowns present in the Anthropocene and question how to unorder systems and disturb materiality. (shrink)

Presentación del Dossier 'Perspectivas aristotélicas contemporáneas'.

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:WisCon 46Laurie Fuller, Jenna N. Hanchey, and E. OrnelasExistence as Resistance, WisCon 46, May 26–29, 2023, Madison, Wisconsin, United StatesIn a world that seems structured to kill most of its occupants, there is a utopian impulse in the act of existence itself. WisCon 46 represented a prefigurative utopian impulse through centering continued marginalized existence as resistance.1 Leah Lakshmi Piepzna-Samarasinha calls “prefigurative politics” the “fancy term for the idea (...) of imagining and building the world we want to see now,” particularly in terms of access needs.2 The structure as well as the content of the convention itself created a space in which to set the groundwork for utopia: the ways that we live and act to resist structures of oppression in order to prefigure a better world.Since WisCon’s founding in 1977, its intended audience has been fans, authors, and academics interested in the intersection between feminism and “science fiction, fantasy, and speculative literature of all sorts.”3 While neither feminism nor speculative fiction could be solely defined as utopian, both do explore utopian impulses that inspire change for the better. Therein lies the hope of Alessa Johns’s proposal that “the utopian imagination has been crucial for feminists.”4 Lisa Yaszek agrees: “for nearly 200 years writers have used speculative fiction consciously and collectively to dramatize the political issues most central to women living in a technocultural world and to create a sense of wonder about the interrelated possibilities of social and scientific change.”5 Envisioning a liberatory world is a feminist imperative, and speculative fiction offers a unique venue to do so. This imperative informed WisCon this year, as participants collectively worked to imagine and enact a better future for marginalized folks, in and beyond the space of the conference. [End Page 618]Enabling Existence through Con StructuresWisCon is unique in attuning its organizational structure to the creation of liberatory futures in the here and now. WisCon is strongly attentive to disability access of all kinds, COVID safety, antiracist/anti-oppression principles, and safety and anti-abuse support for all these areas. In the contemporary US context—where COVID-19 remains a major barrier to disabled people wishing to participate in conventions, where racist violence continues to threaten BIPOC (Black, Indigenous, and People of Color) life, where queer and trans folks are under exacerbated legal attacks—creating a convention space that protects and enables marginalized participation becomes a means of prefiguring utopian potential through embodied praxis. As mask, capacity, and vaccination mandates disappear (despite these ongoing pandemic times), and as bigotry of all forms continues relatively unabated, WisCon 46 remains steadfast in its commitment to safety. In short, the conference itself aims to become a utopian space.WisCon organizers are also keenly aware of the challenges that many different bodyminds might encounter in large group settings.6 Trained monitors oversee in-person and online programming in an effort to discourage harmful words and actions as well as ensure the fullest participation for those most impacted. Hence, disability justice lies at the center of the Con’s policies and practices. The event is made as accessible as possible through careful attention to venue selection, including the availability of gender-neutral bathrooms, scent-free spaces, and quiet rooms, as well as the use of color communication badges.This year’s event followed strict masking and testing protocols: individually packaged rapid COVID-19 tests were available without cost at registration, as were KN95 masks. The Con kept an anonymized record of self-reported positive COVID-19 tests, in case of possible exposure. This mutual responsibility reflects the kind of utopianism inherent to disability politics; that is, disability “allows for reformulation of in/dependence and community,” a way of rethinking how we share space and produce knowledge together.7The conference’s decidedly feminist approach “to creating a space for feminism and its consideration within the science fiction community” is applied at every level. The Con’s general organization and procedures are structured as nonhierarchically as possible. There is a board of directors as well as co-chairs, but these are rotating positions. This “commitment to feminism” is [End Page 619] reflected... (shrink)

In Markets with Limits: How Commodification of Academia Derails Debate, James Stacey Taylor presents a well-written book that is, in great part, a response to Peter Jaworski and Jason Brennan’s work Markets Without Limits: Moral Virtues and Commercial Interests. In the first part of Taylor’s book, he effectively illustrates the misguided nature of many of Jaworski and Brennan’s arguments. Taylor maintains that Brennan and Jaworski misinterpret the work of their “anti-commodification” opponents. After this critique, the book takes a dramatic turn (...) as Taylor critiques the market incentives involved in academia and attempts to explain the structures that allow for inferior work, like that of Brennan and Jaworski, to be incentivized. By directly linking the two parts of the work and holding up Markets Without Limits: Moral Virtues and Commercial Interests as an example of inferior academic work, there is sometimes an undercurrent of an academic spat at play. Also, given the shift in the book and scope of both projects undertaken by Taylor, I believe this work could have been developed into several manuscripts, or a series of articles. In its current form, chapters 8–10 seem more rushed than the rest of the work and could have benefitted from additional space to be flushed out in the detail they deserve. It is this later section that I believe could benefit the most from revision and expansion. (shrink)

This commentary argues against the indictment of current experimental practices such as piecemeal testing, and the proposed integrated experiment design (IED) approach, which we see as yet another attempt at automating scientific thinking. We identify a number of undesirable features of IED that lead us to believe that its broad application will hinder scientific progress.

Between 1873 and 1876, Felix Klein published a series of papers that he later placed under the rubric anschauliche Geometrie in the second volume of his collected works (1922). The present study attempts not only to follow the course of this work, but also to place it in a larger historical context. Methodologically, Klein’s approach had roots in Poncelet’s principle of continuity, though the more immediate influences on him came from his teachers, Plücker and Clebsch. In the 1860s, Clebsch reworked (...) some of the central ideas in Riemann’s theory of Abelian functions to obtain complicated results for systems of algebraic curves, most published earlier by Hesse and Steiner. These findings played a major role in enumerative geometry, whereas Plücker’s work had a strongly qualitative character that imbued Klein’s early studies. A leitmotif in these works can be seen in the interplay between real curves and surfaces as reflected by their transformational properties. During the early 1870s, Klein and Zeuthen began to explore the possibility of deriving all possible forms for real cubic surfaces as well as quartic curves. They did so using continuity methods reminiscent of Poncelet’s earlier approach. Both authors also relied on visual arguments, which Klein would later advance under the banner of intuitive geometry (anschauliche Geometrie). (shrink)

Background Integrating artificial intelligence (AI) into healthcare has raised significant ethical concerns. In pharmacy practice, AI offers promising advances but also poses ethical challenges. Methods A cross-sectional study was conducted in countries from the Middle East and North Africa (MENA) region on 501 pharmacy professionals. A 12-item online questionnaire assessed ethical concerns related to the adoption of AI in pharmacy practice. Demographic factors associated with ethical concerns were analyzed via SPSS v.27 software using appropriate statistical tests. Results Participants expressed concerns (...) about patient data privacy (58.9%), cybersecurity threats (58.9%), potential job displacement (62.9%), and lack of legal regulation (67.0%). Tech-savviness and basic AI understanding were correlated with higher concern scores (p < 0.001). Ethical implications include the need for informed consent, beneficence, justice, and transparency in the use of AI. Conclusion The findings emphasize the importance of ethical guidelines, education, and patient autonomy in adopting AI. Collaboration, data privacy, and equitable access are crucial to the responsible use of AI in pharmacy practice. (shrink)

Hume’s Dialogues Concerning Natural Religion, Dialogues 1–11 discuss religion’s foundation in human reason. Dialogue 12, in which Philo. the relentless opponent of pro-theistic arguments, makes his “confession” that he embraces natural religion; namely, the view that the cause or causes of order in nature bear some remote analogy to human intelligence. Hume’s Natural History of Religion, although published earlier than the posthumous Dialogues, is, in effect, a second volume to them. It presents a complex naturalistic explanation of religion’s origin in (...) human nature, providing a sophisticated account of religion’s origin that is also a critique of religious belief. The core of this critique is an argument that theistic belief cannot be rendered so as to significantly differ from an atheism that grants that natural order has some cause or other. (shrink)

In this commentary, we set out the specifics of how Glowacki's game theoretical framework for the evolution of peace could be incorporated within broader cultural evolutionary approaches. We outline a formal proposal for prisoner's dilemma games investigating raid-based conflict. We also centre an ethnographic lens to understand the norms surrounding war and peace in intergroup interactions in small-scale communities.

It is only fair to hold someone accountable for outcomes over which they have sufficient control. The evidence-based approach to education (“evidence-based education,” or EBE) promises to give educators sufficient control over their students’ outcomes by providing access to interventions that are effective according to scientific research. I argue that EBE fails to secure sufficient control because the research on which it relies doesn't establish that interventions are generally effective. If they are to be fair, accountability practices must reflect the (...) limited control educators have, even when using evidence-based interventions that have improved outcomes in other settings. I glean relevant insights by considering accountability for medical practitioners within the context of evidence-based medicine (EBM). (shrink)

In this paper, we derive necessary and sufficient conditions on team based tasks in order for a selection criterion applied to individuals to produce optimal teams. We assume only that individuals have types and that a team’s performance depends on its size and the type composition of its members. We first derive the selection principle which states that if a selection criterion exists, it must rank types by homogeneous team performance, the performance of a team consisting only of that type. (...) We then prove that a selection criterion exists if and only if replacing the team’s lowest ranked type, as measured by homogeneous team performance, with a higher ranked type increases team performance. Finally, we show that the replace the lowest ranked property rules out most common types of team complementarities, including benefits to diverse types and types that fill structural holes. (shrink)

In one of his last texts, Foucault defined his philosophical enterprise as an?analysis of the conditions in which certain relations between subject and object are formed or modified, insofar as they are constitutive of a possible knowledge,? or again as?the manner in which the emergence of games of truth constituted, for a particular time and place and certain individuals, the historical a priori of a possible experience.? Despite its eclipse during the genealogical period, the notion of the historical a priori (...) is thus reaffirmed as central by later Foucault. There is, however, an essential modification with respect to its archaeological problematisation: In The Order of Things, the various historical a priori were characterized by specific relations between being and language, relations in which the subject of knowledge did not always or necessarily have a place. The Renaissance episteme was defined by the homogeneity of words and things, and its Classical counterpart by the transparent distance between being and representation, which excluded any positioning for the subject (the missing?place of the king?). Within the archaeological configuration, only the contemporary historical a priori was characterized by the invention of a new position for the subject of knowledge, that of Man, which according to Foucault generated the Analytic of Finitude and ultimately resulted in the?anthropological sleep? criticised at the end of The Order of Things. So although later Foucault refocuses his work around the notion of the historical a priori, he gives the notion a considerable twist whereby the conditions of truth saying are no longer referred back to an implicit connection between being and language, but to the various relations historically established between?modes of subjectivation? and?modes of objectification.? (shrink)