Principia Logico-Metaphysica contains a foundational logical theory for metaphysics, mathematics, and the sciences. It includes a canonical development of Abstract Object Theory [AOT], a metaphysical theory that distinguishes between ordinary and abstract objects. This article reports on recent work in which AOT has been successfully represented and partly automated in the proof assistant system Isabelle/HOL. Initial experiments within this framework reveal a crucial but overlooked fact: a deeply-rooted and known paradox is reintroduced in AOT when the logic of complex terms (...) is simply adjoined to AOT’s specially formulated comprehension principle for relations. This result constitutes a new and important paradox, given how much expressive and analytic power is contributed by having the two kinds of complex terms in the system. Its discovery is the highlight of our joint project and provides strong evidence for a new kind of scientific practice in philosophy, namely, computational metaphysics. Our results were made technically possible by a suitable adaptation of Benzmüller’s metalogical approach to universal reasoning by semantically embedding theories in classical higher-order logic. This approach enables one to reuse state-of-the-art higher-order proof assistants, such as Isabelle/HOL, for mechanizing and experimentally exploring challenging logics and theories such as AOT. Our results also provide a fresh perspective on the question of whether relational type theory or functional type theory better serves as a foundation for logic and metaphysics. (shrink)

Principia Logico-Metaphysica contains a foundational logical theory for metaphysics, mathematics, and the sciences. It includes a canonical development of Abstract Object Theory [AOT], a metaphysical theory that distinguishes between ordinary and abstract objects.This article reports on recent work in which AOT has been successfully represented and partly automated in the proof assistant system Isabelle/HOL. Initial experiments within this framework reveal a crucial but overlooked fact: a deeply-rooted and known paradox is reintroduced in AOT when the logic of complex terms is (...) simply adjoined to AOT’s specially formulated comprehension principle for relations. This result constitutes a new and important paradox, given how much expressive and analytic power is contributed by having the two kinds of complex terms in the system. Its discovery is the highlight of our joint project and provides strong evidence for a new kind of scientific practice in philosophy, namely, computational metaphysics.Our results were made technically possible by a suitable adaptation of Benzmüller’s metalogical approach to universal reasoning by semantically embedding theories in classical higher-order logic. This approach enables one to reuse state-of-the-art higher-order proof assistants, such as Isabelle/HOL, for mechanizing and experimentally exploring challenging logics and theories such as AOT. Our results also provide a fresh perspective on the question of whether relational type theory or functional type theory better serves as a foundation for logic and metaphysics. (shrink)

The patristic tradition has long censured or denied debts to Epicurean thought. Thus it is surprising to find that Augustine requires and uses Epicurean arguments at three moments in the Confessions essential his theory of friendship: the pear tree incident, the death of his friend, and the decision not to form a philosophical community. I argue that the classical definition of friendship is inadequate to solve these problems. Furthermore, reworking Augustine’s theory of friendship with the use/enjoyment doctrine developed in The (...) Trinity fails to resolve them. Thus the problems raised in the Confessions cannot be exposed or solved through Augustine’s own theoretical framework. I argue that they are, however, central to the Epicurean theory of friendship, which addresses them specifically, and that the Epicurean insistence on the mortality of the soul produces the central problem for Augustine’s notion of friendship. (shrink)

Computational philosophy is the use of mechanized computational techniques to unearth philosophical insights that are either difficult or impossible to find using traditional philosophical methods. Computational metaphysics is computational philosophy with a focus on metaphysics. In this paper, we (a) develop results in modal metaphysics whose discovery was computer assisted, and (b) conclude that these results work not only to the obvious benefit of philosophy but also, less obviously, to the benefit of computer science, since the new computational techniques that (...) led to these results may be more broadly applicable within computer science. The paper includes a description of our background methodology and how it evolved, and a discussion of our new results. (shrink)

This book seeks to bring together the pragmatic theory of 'meaning as use' with the traditional semantic approach that considers meaning in terms of truth conditions. Daniel Gutzmann's new approach captures the entire meaning of complex expressions and overcomes the empirical gaps and conceptual problems associated with previous analyses.

Daniel Whiting’s excellent new book, The Range of Reasons (2022), makes a number of noteworthy contributions to the philosophical literature on reasons and normativity. A good deal has been written on normative reasons, and it is no easy thing to make novel and promising arguments. Yet, this is what Whiting manages to do. We are sympathetic to some of his ideas and critical of others. It makes sense for us to focus on the first half of his book, where (...) Whiting presents two accounts of normative reasons (the first superseded by, although possibly also compatible with, the second). We welcome this opportunity to clarify our own current views on the nature of normative reasons by contrasting them with Whiting’s views. (shrink)

In the wake of political evil on a large scale, what does justice consist of? Daniel Philpott takes up this question in Just and Unjust Peace.

Moral philosophy is often said to be about what we owe to each other. Do we owe anything to ourselves?

"This book is a very impressive achievement. Kennefick skillfully introduces readers to some of the most abstruse yet fascinating concepts in modern physics stemming from Einstein's gravitational theory.

In this study Daniel Conway shows how Nietzsche's political thinking bears a closer resemblance to the conservative republicanism of his predecessors than to the progressive liberalism of his contemporaries. The key contemporary figures such as Habermas, Foucault, McIntyre, Rorty and Rawls are also examined in the light of Nietzsche's political legacy. _Nietzsche and the Political___ also draws out important implications for contemporary liberalism and feminist thought, above all showing Nietzsche's continuing relevance to the shape of political thinking today.

El artículo se propone elucidar la lectura deconstructiva que Derrida lleva a cabo de la filosofía de Marx y, más ampliamente, de los presupuestos metafísicos de la filosofía marxista. Espectros de Marx (1993) funciona como el punto de partida de un análisis histórico y conceptual que rastrea algunas de las principales hipótesis de este libro en publicaciones, entrevistas, cursos y seminarios fechados entre 1964 y 2004. La pregunta que sirve como hilo conductor de este trabajo es cómo interpretar filosófica y (...) políticamente la deconstrucción de la ontología marxista. (shrink)

There is considerable interest in the use of neuroimaging techniques for forensic purposes. Memory detection techniques, including the well-publicized Brain Fingerprinting technique (Brain Fingerprinting Laboratories, Inc., Seattle WA), exploit the fact that the brain responds differently to sensory stimuli to which it has been exposed before. When a stimulus is specifically associated with a crime, the resulting brain activity should differentiate between someone who was present at the crime and someone who was not. This article reviews the scientific literature on (...) three such techniques: priming, old/new, and P300 effects. The forensic potential of these techniques is evaluated based on four criteria: specificity, automaticity, encoding flexibility, and longevity. This article concludes that none of the techniques are devoid of forensic potential, although much research is yet to be done. Ethical issues, including rights to privacy and against self-incrimination, are discussed. A discussion of legal issues concludes that current memory detection techniques do not yet meet United States standards of legal admissibility. (shrink)

Since Darwin, the idea of psychological continuity between humans and other animals has dominated theory and research in investigating the minds of other species. Indeed, the field of comparative psychology was founded on two assumptions. First, it was assumed that introspection could provide humans with reliable knowledge about the causal connection between specific mental states and specific behaviors. Second, it was assumed that in those cases in which other species exhibited behaviors similar to our own, similar psychological causes were at (...) work. In this paper, we show how this argument by analogy is flawed with respect to the case of second‐order mental states. As a test case, we focus on the question of how other species conceive of visual attention, and in particular whether chimpanzees interpret seeing as a mentalistic event involving internal states of perception, attention, and belief. We conclude that chimpanzees do not reason about seeing in this manner, and indeed, there is considerable reason to suppose that they do not harbor representations of mental states in general. We propose a reinterpretation model in which the majority of the rich social behaviors that humans and other primates share in common emerged long before the human lineage evolved the psychological means of interpreting those behaviors in mentalistic terms. Although humans, chimpanzees, and most other species may be said to possess mental states, humans alone may have evolved a cognitive specialization for reasoning about such states. (shrink)

Inductive reasoning is a fundamental and complex aspect of human intelligence. In particular, how do subjects, given a set of particular examples, generate general descriptions of the rules governing that set? We present a biologically plausible method for accomplishing this task and implement it in a spiking neuron model. We demonstrate the success of this model by applying it to the problem domain of Raven's Progressive Matrices, a widely used tool in the field of intelligence testing. The model is able (...) to generate the rules necessary to correctly solve Raven's items, as well as recreate many of the experimental effects observed in human subjects. (shrink)

I outline Rawls's theory of justification, highlighting its philosophical and pragmatic conditions. I argue that the theory has remained essentially unchanged since his earliest methodological writings, and that his recent writings have sought to show how "justice as fairness" can satisfy these conditions, given Rawls's new construal of the "fact of pluralism" which theories of justice designed for modern Western liberal democracies must address. I argue that neither Rawls's revised conception of reflective equilibrium, based on the "fixed points" of such (...) societies' political cultures rather than on individuals' "considered moral judgments" nor the newer notion of "overlapping consensus", succeed in justifying "justice as fairness" according to the terms of Rawls's theory of justification. (shrink)

Scientific psychology and neuroscience are taking increasingly precise and comprehensive pictures of the human mind, both in its physi- cal architecture and its functional processes. Meanwhile, each human mind has an abbreviated view of itself, a self-portrait that captures how it thinks it operates, and that therefore has been remarkably influential. The mind’s self-portrait has as a central feature the idea that thoughts cause actions, and that the self is thus an origin of the body’s actions. This self- portrait is (...) reached through a process of inference of apparent mental cau- sation, and it gives rise to the experience that we are consciously willing what we do. Evidence from several sources suggests that this self-portrait may often be a humble and misleading caricature of the mind’s opera- tion—but one that underlies the feeling of authorship and the acceptance of responsibility for action. (shrink)

Wants, preferences, and cares are physical things or events, not ideas or propositions, and therefore no chain of pure logic can conclude with a want, preference, or care. It follows that no pure-logic machine will ever want, prefer, or care. And its behavior will never be driven in the way that deliberate human behavior is driven, in other words, it will not be motivated or goal directed. Therefore, if we want to simulate human-style interactions with the world, we will need (...) to first understand the physical structure of goal-directed systems. I argue that all such systems share a common nested structure, consisting of a smaller entity that moves within and is driven by a larger field that contains it. In such systems, the smaller contained entity is directed by the field, but also moves to some degree independently of it, allowing the entity to deviate and return, to show the plasticity and persistence that is characteristic of goal direction. If all this is right, then human want-driven behavior probably involves a behavior-generating mechanism that is contained within a neural field of some kind. In principle, for goal directedness generally, the containment can be virtual, raising the possibility that want-driven behavior could be simulated in standard computational systems. But there are also reasons to believe that goal-direction works better when containment is also physical, suggesting that a new kind of hardware may be necessary. (shrink)

Utility patent protection has been granted broadly to living organisms in the United States only in the last quarter century, but in the late nineteenth century, for reasons related to the nationalization of agricultural markets, animal breeders and plant innovators began attempting to devise alternative arrangements to protect intellectual property in their living products. The arrangements had to take into account both the requirements of IP protection and the various ways the organisms could be reproduced. For animals, prior to patentability, (...) the arrangements involved mainly breed associations and registries. Plant innovators tried to achieve returns from their IP through pricing strategies and trademarks. Finding neither adequate, they began to agitate for legislation that would protect their type of IP, an effort that resulted in the passage of the Plant Patent Act of 1930, the first legislation anywhere to extend a type of patent protection to living products. (shrink)

In recent years, consumers in the United States have been confronted by no fewer than four competing fair-trade labels, each grounded in a separate certification system and widely differing standards. This fracturing is partly a response to the recent split by the U.S. certifier Fair Trade USA from the international fair trade system, but also illustrates longstanding divisions within the fair trade movement. This article explores the dynamics of competition among nonstate standards through content analyses of fair trade standards documents (...) from the four U.S. fair-trade certifications for agrifood products. It analyzes the differences among them, asking what kinds of social and labor relations are facilitated by each, and identifies how closely they correspond with key fair trade principles. We make two primary arguments. First, we contend that the case of fair trade challenges the dominant conceptual model used to analyze competition among multiple private standards in a single arena, in which newer challengers lower the rigor of standards. Second, we argue that the current fractured U.S. certification landscape illuminates divisions among different interest groups over which principles—and which labor and production forms—should be privileged under the banner of fair trade. (shrink)

John Dewey's classical pragmatism, Daniel M. Savage asserts, can be used to provide a self-development-based justification of liberal democracy that shows the current debate between liberal individualism and republican communitarianism to ...

According to Rorty, Davidson and Brandom, to have an experience is to be caused by our senses to hold a perceptual belief. This article argues that the phenomenon of seeing-as cannot be explained by such a conception of perceptual experience. First, the notion of experience defended by the aforementioned authors is reconstructed. Second, the main features of what Wittgenstein called “seeing aspects” are briefly presented. Finally, several arguments are developed in order to support the main thesis of the article: seeing-as (...) cannot be explained by the conception of experience defended by Rorty, Davidson and Brandom. (shrink)