This article advertises a new account of computational implementation. According to the resemblance account, implementation is a matter of resembling a computational architecture. The resemblance account departs from previous theories by denying that computational architectures are exhausted by their formal, mathematical features. Instead, they are taken to be permeated with causality, spatiotemporality, and other nonmathematical features. I argue that this approach comports well with computer scientific practice and offers a novel response to so-called triviality arguments.

The received view of computation is methodologically bifurcated: it offers different accounts of computation in the mathematical and physical cases. But little in the way of argument has been given for this approach. This article rectifies the situation by arguing that the alternative, a unified account, is untenable. Furthermore, once these issues are brought into sharper relief we can see that work remains to be done to illuminate the relationship between physical and mathematical computation.

A skeptical worry known as ‘the indeterminacy of computation’ animates much recent philosophical reflection on the computational identity of physical systems. On the one hand, computational explanation seems to require that physical computing systems fall under a single, unique computational description at a time. On the other, if a physical system falls under any computational description, it seems to fall under many simultaneously. Absent some principled reason to take just one of these descriptions in particular as relevant for computational explanation, (...) widespread failure of computational explanation would appear to follow. This paper advances a new solution to the indeterminacy of computation. Very roughly, I argue that the computational identity of a physical system is determinate relative to a contextually specified way of regarding that system computationally—known as a labelling scheme. When a system simultaneously implements multiple computations, it does so relative to different labelling schemes. But relative to a fixed labelling scheme, a physical system has a unique computational identity. I argue that this relativistic conception of computational identity vindicates computational explanation in the face of simultaneous implementation. (shrink)

What is computational explanation? Many accounts treat it as a kind of causal explanation. I argue against two more specific versions of this view, corresponding to two popular treatments of causal explanation. The first holds that computational explanation is mechanistic, while the second holds that it is interventionist. However, both overlook an important class of computational explanations, which I call limitative explanations. Limitative explanations explain why certain problems cannot be solved computationally, either in principle or in practice. I argue that (...) limitative explanations are not plausibly understood in either mechanistic or interventionist terms. One upshot of this argument is that there are causal and non-causal kinds of computational explanation. I close the paper by suggesting that both are grounded in the notion of computational implementation. (shrink)

Can scientific evidence outstretch what scientists have mentally entertained, or could ever entertain? This article focuses on the plausibility and consequences of an affirmative answer in a special case. Specifically, it discusses how we may treat automated scientific data-gathering systems—especially AI systems used to make predictions or to generate novel theories—from the point of view of confirmation theory. It uses AlphaFold2 as a case study.

This note discusses the account of physical computation offered in Part II of Primiero’s On the Foundations of Computing. Although there is much to find attractive about the account, I argue that the account is obscure at certain crucial junctures and that it does not supply a wholly satisfactory account of miscomputation. I close by considering whether the engineering foundation of computing requires a theory of physical computation in the first place, suggesting tentatively that it does not.

According to the standard no miracles argument, science’s predictive success is best explained by the approximate truth of its theories. In contemporary science, however, machine learning systems, such as AlphaFold2, are also remarkably predictively successful. Thus, we might ask what best explains such successes. Might these AIs accurately represent critical aspects of their targets in the world? And if so, does a variant of the no miracles argument apply to these AIs? We argue for an affirmative answer to these questions. (...) We conclude that if the standard no miracles argument is sound, an AI-specific no miracles argument is also sound. (shrink)

Current work in language models (LMs) helps us speed up or even skip thinking by accelerating and automating cognitive work. But can LMs help us with critical thinking -- thinking in deeper, more reflective ways which challenge assumptions, clarify ideas, and engineer new concepts? We treat philosophy as a case study in critical thinking, and interview 21 professional philosophers about how they engage in critical thinking and on their experiences with LMs. We find that philosophers do not find LMs to (...) be useful because they lack a sense of selfhood (memory, beliefs, consistency) and initiative (curiosity, proactivity). We propose the selfhood-initiative model for critical thinking tools to characterize this gap. Using the model, we formulate three roles LMs could play as critical thinking tools: the Interlocutor, the Monitor, and the Respondent. We hope that our work inspires LM researchers to further develop LMs as critical thinking tools and philosophers and other 'critical thinkers' to imagine intellectually substantive uses of LMs. (shrink)

This reconsideration of Hume’s classic essay “Of Miracles” via the lens of American pragmatist ways of thinking about history and power shifts our attention from Hume’s epistemic concerns about the legitimacy of witnesses and testimony to his distaste for sacred history, his critical stance regarding the social force of revelation, and his disdain for religious authority. To view Hume’s essay both as an articulation of a critical philosophy of history and as an exercise in moral dynamism (social power or, authority, (...) is a result of epistemic transactions), is to intervene in both Hume studies and Contemporary Pragmatism. (shrink)

Under the lig ht of Being and Nothingness’s the o re t ical body – Sartre’s master piece –, it is intended to discuss the essential source of human reality as “n i h i l a t i o n” and ontological lack, as well as manifestations and cons e q u e nces from this primordial human passion to be transformed to coagulated transcendence, to be transformed in Being In-itself-For-itself: to be consciousness and, at the same t i (...) me, to be a complete and finished Being, with infinite de nsity and witho u t fissures. (shrink)

A number of studies have tested the relationship between a corporation's social and ethical performance and its financial performance. In contrast, this is the first study to demonstrate a link between overall financial performance and an emphasis on ethics as an aspect of corporate governance. It identifies the 26.8 percent of the 500 largest U.S. public corporations that, in their annual report to shareholders, commit to ethical behavior toward their stakeholders or emphasize compliance with their code of conduct. The financial (...) performance of these corporations ranks higher than that of those who do not at a significance level of p = < 0.005, using the 1997 Business Week ranking which averages eight publicly-reported measures of historical financial performance. These findings should motivate more corporations to utilize the principles of Social and Ethical Accounting, Auditing and Reporting (SEAAR). (shrink)

Most scholars think of David Hilbert's program as the most demanding and ideologically motivated attempt to provide a foundation for mathematics, and because they see technical obstacles in the way of realizing the program's goals, they regard it as a failure. Against this view, Curtis Franks argues that Hilbert's deepest and most central insight was that mathematical techniques and practices do not need grounding in any philosophical principles. He weaves together an original historical account, philosophical analysis, and his own (...) development of the meta-mathematics of weak systems of arithmetic to show that the true philosophical significance of Hilbert's program is that it makes the autonomy of mathematics evident. The result is a vision of the early history of modern logic that highlights the rich interaction between its conceptual problems and technical development. (shrink)

In this paper, I shed light on Kant’s notion of Erkenntnis or cognition by focusing on texts pertaining to Kant’s thoughts on logic. Although a passage from Kant’s Logik is widely referred to for understanding Kant’s conception of Erkenntnis, this work was not penned by Kant himself but rather compiled by Benjamin Jäsche. So, it is imperative to determine its fidelity to Kant’s thought. I compare the passage with other sources, including Reflexionen and students’ lecture notes. I argue that several (...) of the text’s peculiarities stem from Jäsche rather than Kant, but that nevertheless Jäsche largely got Kant's view right, with two major exceptions. First, Jäsche’s text fails to reproduce Kant’s key thesis that kennen and verstehen are jointly sufficient for Erkenntnis. Second, Jäsche’s text gives the false impression that Kant holds that animals have consciousness. (shrink)

This paper examines the question of why consumers engage in ethical consumption. The authors draw on self-affirmation theory to propose that the choice of an ethical product serves a self-restorative function. Four experiments provide support for this assertion: a self-threat increases consumers’ choice of an ethical option, even when the alternative choice is objectively superior in quantity (Study 1) and product quality (Study 2). Further, restoring self-esteem through positive feedback eliminates this increase in ethical choice (Studies 2 and 3). As (...) an additional test of the robustness of our results, a final study examined the effect of self-threat on choice in a field setting (Study 4). The findings indicate that ethical purchases are not just altruistic. They hold purposeful individual value and can help in the self-restorative process. Implications for managers making decisions regarding investment in ethical product features are discussed. (shrink)

The confounding effects of heterogeneity in biological psychiatry and psychiatric genetics have been widely discussed in the literature. We suggest an approach in which heterogeneity may be put to use in hypothesis testing, and may find application in evaluation of the Crespi & Badcock (C&B) imprinting hypothesis. Here we consider three potential sources of etiologic subtypes for analysis.

The target article by Charney on behavior genetics/genomics discusses how numerous molecular factors can inform heritability estimations and genetic association studies. These factors find application in the search for genes for behavioral phenotypes, including neuropsychiatric disorders. We elaborate upon how single causal factors can generate multiple phenotypes, and discuss how multiple causal factors may converge on common neurodevelopmental mechanisms.

An examination of David Hume's philosophy of religion that situates his conception "true religion" within the context of his overall science of human nature, his rejection of popular religion, and his Ciceronian influence"--Provided by publisher.

Drawing on recent findings, this study examines whether valence concordant electromyography (EMG) responses can be explained as an unconditional effect of mere stimulus processing or as somatosensory simulation driven by task-dependent processing strategies. While facial EMG over the Corrugator supercilii and the Zygomaticus major was measured, each participant performed two tasks with pictures of album covers. One task was an affective evaluation task and the other was to attribute the album covers to one of five decades. The Embodied Emotion Account (...) predicts that valence concordant EMG is more likely to occur if the task necessitates a somatosensory simulation of the evaluative meaning of stimuli. Results support this prediction with regard to Corrugator supercilii in that valence concordant EMG activity was only present in the affective evaluation task but not in the non-evaluative task. Results for the Zygomaticus major were ambiguous. Our findings are in line with the view that EMG activity is an embodied part of the evaluation process and not a mere physical outcome. (shrink)

Much of the debate about identity in recent decades has been about personal identity, and specifically about personal identity over time, but identity generally, and the identity of things of other kinds, have also attracted attention. Various interrelated problems have been at the centre of discussion, but it is fair to say that recent work has focussed particularly on the following areas: the notion of a criterion of identity; the correct analysis of identity over time, and, in particular, the disagreement (...) between advocates of perdurance and advocates of endurance as analyses of identity over time; the notion of identity across possible worlds and the question of its relevance to the correct analysis of de re modal discourse; the notion of contingent identity; the question of whether the identity relation is, or is similar to, the composition relation; and the notion of vague identity. A radical position, advocated by Peter Geach, is that these debates, as usually conducted, are void for lack of a subject matter: the notion of absolute identity they presuppose has no application; there is only relative identity. Another increasingly popular view is the one advocated by Lewis: although the debates make sense they cannot genuinely be debates about identity, since there are no philosophical problems about identity. Identity is an utterly unproblematic notion. What there are, are genuine problems which can be stated using the language of identity. But since these can be restated without the language of identity they are not problems about identity. (For example, it is a puzzle, an aspect of the so-called “problem of personal identity”, whether the same person can have different bodies at different times. But this is just the puzzle whether a person can have different bodies at different times. So since it can be stated without the language of personal “identity”, it is not a problem about identity, but about personhood.) This article provides an overview of the topics indicated above, some assessment of the debates and suggestions for further reading. (shrink)

Human interaction and communication involve space in multiple ways. This paper examines the spatial and interactional order of a covertly video-taped police interrogation. When the participants enter the interrogation room and become engaged in the interrogation process, the room itself is a constraint and a resource for interaction. While interacting within a built environment, the participants appropriate their material surroundings in ways that constitute a spatial order and make possible certain arguments. This paper examines how the physical structure of the (...) interrogation room is differentially appropriated, used, and filled in by the participants''; territorial and postural manoeuvers over the course of their interaction; and how the spatial structures thus created by the bodily appropriation of the physical locale are subsequently formulated by talk and thereby used as a metaphorical resource to frame the participants'' situated experience. Through this embedded process, the interrogators move the suspect toward confession. (shrink)

Heidegger and East-Asian thought have traditionally been strongly correlated. However, although still largely unrecognized, significant differences between the political and metaphysical stance of Heidegger and his perceived counterparts in East-Asia most certainly exist. One of the most dramatic discontinuities between East-Asian thought and Heidegger is revealed through an investigation of Kitarō Nishida’s own vigorous criticism of Heidegger. Ironically, more than one study of Heidegger and East-Asian thought has submitted that Nishida is that representative of East-Asian thought whose philosophy most closely (...) resembles Heideggerian thought. In words that then and now resound discordantly within the enshrined, established view of Heidegger’s relationship to East-Asian thought, Nishida stated uninhibitedly his own view of Heidegger in the noteworthy statement: “Heidegger is not worth your time… He…does not recognize that which is indispensible and decisive, namely, God.” This present study lays out for the first time in English, the significant differences between the metaphysical and political stances of Nishida and Heidegger, Nishida’s own critique of Heidegger, and Heidegger’s own rather dismal assessment of non-Western philosophy, all of which demonstrate a remarkable, hitherto unrecognized discontinuity between Heidegger and East-Asian thought. (shrink)

Résumé Cet article se propose d’envisager le signe iconique à l’aune du modèle néosaussurien du signe et de la sémiosis qui se dégage des Écrits de linguistique générale. Après avoir exposé ce modèle à partir des propositions que François Rastier tire des textes autographes de Saussure, cette contribution transpose le cadre à la description du signe iconique, en réinterrogeant certains éléments de la conceptualisation que donne le Groupe µ de ce type d’énoncé visuel. Une brève analyse de la toile Le (...) retour à la nature de Magritte permet d’illustrer et de valider la transposition théorique du modèle néosaussurien du signe et de la sémiosis. Cette démarche ouvre la possibilité de procéder à l’interprétation des images selon la théorie morphosémiotique développée par la sémantique de Rastier. (shrink)

The author wonders how his investigation — based on a lack — could find a place in the changeful concept of literature. He has recourse to the notion of experience of nothingness whose import for Michaux he studies with the help of a few examples. One of these — Michaux writing on Rimbaud — leads him to observe that a poetics of motion sustains this experience in its quest for an elsewhere. The issues inherent in Michaux’s work are those of (...) a literature built on its own impossibility, called upon to articulate ineffable silence. Are such considerations and the proper theological stance compatible? (shrink)

Journal Name: Semiotica Issue: Ahead of print.

This article considers the war against terror in relation to classical tragedy. It uses Heidegger's analysis of Sophocles's play Antigone to argue that human beings are essentially `homeless' and yet our destiny lies in the continual attempt to overcome this homelessness by establishing foundational principles that might bring our journeying to an end. The tragedy of this situation is that the search for foundations and a search for a home invariably bring differing worlds in conflict with each other as their (...) paths to truth collide. Lucien Goldmann's analysis of the tragedy of refusal is also considered in relation to a non-foundational politics that may permit us not only to endure, but actually to affirm our homelessness as an attempt to resist the terror and anabolic militarism that marks the current age. (shrink)

This paper uses argumentation tools such as argument diagrams and argumentation schemes to analyze four examples of argument from analogy, and argues that to proceed from there to evaluating these arguments, features of the context of dialogue need to be taken into account. The evidence drawn from these examples is taken to support a pragmatic approach to studying argument from analogy, meaning that identifying the logical form of the argument by building an argument diagram of the premises and conclusion is (...) not by itself sufficient for argument evaluation. To get further, it is argued, the argument evaluator needs to take into account how this particular argument was used in context to support a conversational goal.Cet article utilise des outils d'argumentation tels que des diagrammes d'argument et des schèmes d'argumentation pour analyser trois exemples d'argument par analogie, et soutient que pour évaluer ces arguments de manière adéquate, il est nécessaire de tenir compte du contexte d'utilisation de l'argument. Ces exemples suggèrent que l’étude des arguments par analogie à partir de seulement l’identification de leur forme logique n'est pas adéquate. Pour aller plus loin, on avance que l'analyste d'argument doit prendre en compte comment un argument particulier a été utilisé dans un contexte pour soutenir un but conversationnel. (shrink)

This chapter describes the Danish church, with the focus centered primarily on its life during the years 1835 to 1855 when Søren Kierkegaard was productive. The beginnings of the church up to 1835 are briskly examined, and then contributions of Jacob Peter Mynster, Nicolai Frederik Severin Grundtvig, and Hans Lassen Martensen are delineated. These three figures have been chosen because of their importance both for the Danish church and for Kierkegaard. The chapter ends with a few comments on some creative (...) thinkers who find in Kierkegaard's critique a resource for critically reforming the church so that it might more appropriately serve its intended purpose. At points in the chapter, the analysis utilizes the Kierkegaardian categories of the objective and the subjective. (shrink)