In this paper, I present what I call the symmetry conception of God within 1st order, extensional, non-well-founded set theory. The symmetry conception comes in two versions. According to the first, God is that unique being that is universally symmetrical with respect to set membership. According to the second, God is the universally symmetrical set of all sets that are universally symmetrical with respect to set membership. I present a number of theorems, most importantly that any universally symmetrical set is (...) identical to its essence, that show that the two symmetry conceptions intersect with some dominant theological conceptions of God. The theorems also show that both of the symmetry conceptions of God entail that God has a fractal like structure. (shrink)

Aristotle's categorial scheme had an unparalleled effect not only on his own philosophical system, but also on the systems of many of the greatest philosophers in the Western tradition. The set of doctrines in the Categories, known as categorialism, play, for instance, a central role in Aristotle's discussion of change in the Physics, in the science of being qua being in the Metaphysics, and in the rejection of Platonic ethics in the Nicomachean Ethics. Plainly, the enterprise of categorialism inaugurated by (...) Aristotle runs deep in the philosophical psyche. Even so, despite its wide-reaching influence—and, indeed owing to that influence—any attempt to describe categorialism faces a significant difficulty: experts disagree on many of its most important and fundamental aspects. This article argues that Aristotle's categorial scheme, as is the case with many works in the history of philosophy, is best illuminated by opposing beams of interpretive light. It examines how Aristotle arrived at his list of categories and considers the connection between Aristotle's categories and his hylomorphism. (shrink)

According to Augustine, abstract objects are ideas in the mind of God. Because numbers are a type of abstract object, it would follow that numbers are ideas in the mind of God. Call such a view the “Augustinian View of Numbers” (AVN). In this paper, I present a formal theory for AVN. The theory stems from the symmetry conception of God as it appears in Studtmann (2021). I show that the theory in Studtmann’s paper can interpret the axioms (...) of Peano Arithmetic minus the induction schema. This fact allows for the development of arithmetic in a natural way. The development eventuates in a theory that can interpret second-order arithmetic. The conception of God that emerges by the end of the discussion is a conception of an infinite, ineffable, self-cause that contains objects that not only serve as numbers but also encode information about each other. (shrink)

The traditional problem of free will has reached an impasse; we are unlikely to see progress without rethinking the terms in which the problem had been cast. Our approach offers an alternative to the standard terms of the debate, by developing an authorially parameterized approach articulated within a two-dimensional semantics for temporal predicates.

Empiricism and the Problem of Metaphysics develops and defends an empiricist solution to the problem of metaphysics, then examines the implications of such a solution for skeptical arguments and the is-ought gap. At the heart of the solution is an empirically verifiable empiricist view of the a priori.

In this note, I discuss a very simple time-dependent formula and its relation to the cosmological constant. I first note that the the formula yields an exact match of the cosmological constant on the assumption that the age of the universe is 8.08×10^60 in Planck units. I then suggest a physical interpretation of the formula according to which the cosmological constant is the result of a magnetic field.

According to Augustine, abstract objects are ideas in the Mind of God. Because numbers are a type of abstract object, it would follow that numbers are ideas in the Mind of God. Let us call such a view the Augustinian View of Numbers (AVN). In this paper, I present a formal theory for AVN. The theory stems from the symmetry conception of God as it appears in Studtmann (2021). I show that Robinson’s Arithmetic is a conservative extension of the (...) axioms in Studtmann’s original paper. The extension is made possible by identifying the set of natural numbers with God, 0 with Being, and the successor function with the essence function. The resulting theory can then be augmented to include Peano Arithmetic by adding a set-theoretic version of induction and a comprehension schema restricted to arithmetically definable properties. In addition to these formal matters, the paper provides a characterization of the mind of God. According to the characterization, the Being essences that constitute God’s mind act as both numbers and representations – each (except for Being itself) has all the properties of some number and encodes all the properties of that number’s predecessor. The conception of God that emerges by the end of the discussion is a conception of an infinite, ineffable, axiologically and metaphysically ultimate entity that contains objects that not only serve as numbers but also encode information about each other. (shrink)

In The Divine Fractal, Studtmann (2021) introduced a novel conception of God, what he calls the symmetry conception, and showed that such a conception not only can be formalized within extensional non-well-founded set theory but also entails the Thomistic view that God is identical to her essence. In this paper, I show that Studtmann’s symmetry conception of God can be integrated into a recent approach to quantum gravity, namely causal set theory. The theory that results has two significant (...) consequences. First, God is the necessarily existing set of spacetime events. Second, the square root of the probability that a spacetime event randomly chosen from N spacetime events is uncaused is given by the following formula: ((Harmonic [N])/N)^(1/2). I conclude the paper by briefly discussing a connection between this formula and the cosmological constant. (shrink)

In this paper, we provide a game-theoretic examination of indirect utilitarianism by comparing the expected payoffs of attempts to apply a deontological principle and a utilitarian principle within the context of the Prisoner’s Dilemma (PD). Although many of the best-known utilitarians and consequentialists have accepted some indirect form of their respective views, the results in this paper suggest that they have been overly quick to dismiss altogether the benefits of directly enacting utilitarian principles. We show that for infallible moral agents, (...) what we call ‘non-autonomous agents’, direct utilitarianism dominates indirect utilitarianism via deontology in terms of achieving the maximized utilitarian outcome, but only in underlying games where the maximized utilitarian outcome involves unequal payoffs. In other situations, indirect utilitarianism implemented through Kantian deontology either ties or dominates direct utilitarianism in terms of achieving the maximized utilitarian outcome. We also examine the two different moralities on the assumption that fallibility, which is a form of autonomy, is an aspect of moral agency by introducing Endogenized Morality Models (EMM’s). We believe that just as indirect utilitarians worry about the cost of applying moral principles, so too they should worry about the fact that humans have both pro-social and materialistically selfish motivations and hence are fallible moral agents. We show that there are conditions under which fallible autonomous utilitarians achieve higher expected material and psychic payoffs than fallible autonomous deontologists and conditions under which they do not. (shrink)

The use of evolutionary game theory to explain the evolution of human norms and the behavior of humans who act according to those norms is widespread. Both the aims and motivation for its use are clearly articulated by Harms and Skyrms (2008) in the following passage: "A good theory of evolution of norms might start by explaining the evolution of altruism in Prisoner’s Dilemma, of Stag Hunting, and of the equal split in the symmetric bargaining game. These are not well-explained (...) by classical game theory based on rational choice. From a technical point of view, they present different theoretical challenges. In the bargaining game, there are an infinite number of equilibria with no principled (rational choice) way to select the cooperative one. In Stag Hunt there are only two, but the non-cooperative one is selected by risk-dominance. In Prisoner’s Dilemma the state of mutual cooperation is not a Nash equilibrium at all, and cooperation flies in the face of the rational-choice principle that one does not choose less rather than more. In contrast to rational choice theory, the most common tool of evolutionary game theory is the replicator dynamics, in which the propagation rate of each strategy is determined by its current payoffs. These dynamics have a rationale in both biological and cultural evolutionary modeling, and sometimes tell us things that rational choice theory does not." We agree with the first sentence in this quotation: a good theory about the behavior under norms ought to explain altruism in the Prisoner’s Dilemma (PD), playing Stag in Stag Hunt (SH), and offering equal splits in the symmetric Nash bargaining game (NB). We also agree with Harms and Skyrms about the difference in technical challenges each of these games poses. Finding a single mechanism, even one as broadly understood as evolution, that could solve these challenges en masse is no doubt a tall order. Nonetheless, in this paper, we present a single, simple, modification to SH, NB, and a general n-player PD that does just that: we introduce deontological autonomy into the models. (shrink)

The idea that a being can be identical to its own essence has a long and venerable history in theological speculation. As with many ideas in theology, however, such an idea has never been given an adequate mathematical formulation. The key to such a formulation, I argue, is introducing an essence axiom into non-well-founded set theory. According to such an axiom, for every set, x, there is a set that contains all and only those sets that contain x. With such (...) an axiom, it becomes possible to introduce an essence function that takes each set to its essence. An object that is identical to its essence, then, is simply a fixed point of the essence function. In this paper, I first discuss a theorem according to which any fixed point of the essence function is universally symmetrical with respect to the set membership relation. After proving the theorem, I discuss its theological implications. I go on to argue that the process of counting the members of a set that is identical to its essence is a Sisyphusian process. Such a fact I suggest shows that the absurdity of human existence is not alleviated by the existence of God but rather is entailed by it. (shrink)

The Nash counterfactual considers the question: what would happen were I to change my behaviour assuming no one else does. By contrast, the Kantian counterfactual considers the question: what would happen were everyone to deviate from some behaviour. We present a model that endogenizes the decision to engage in this type of Kantian reasoning. Autonomous agents using this moral framework receive psychic payoffs equivalent to the cooperate-cooperate payoff in Prisoner’s Dilemma regardless of the other player’s action. Moreover, if both interacting (...) agents play Prisoner’s Dilemma using this moral framework, their material outcomes are a Pareto improvement over the Nash equilibrium. (shrink)

There is a very deep tension that exists at the heart of Aristotle’s metaphysical system in virtue of the fact that his works seem to contain two distinct and not obviously commensurate ontologies: an early ontology that Aristotle outlines in the Categories and a later ontology that he develops in his physical–metaphysical treatises. In this paper I briefly describe the two ontologies, discuss the sources of conflict and outline different scholarly speculations about the relationship between the two.

In this paper, I address both the interpretive and philosophical issues concerning prime matter. My aim is to show that a philosophically interesting account of prime matter can be articulated that strongly coheres with, even if it is not necessitated by, Aristotle’s texts. In articulating the interpretation, I first examine a view defended by both Richard Sorabji and Robert Sokolowski according to which prime matter is extension. Such a view, I argue, is problematic for a number of reasons. Nonetheless, it (...) provides a convenient starting point for the view I defend according to which prime matter is intimately linked to, though not identical with, extension. (shrink)

In this paper, I address both the interpretive and philosophical issues concerning prime matter. My aim is to show that a philosophically interesting account of prime matter can be articulated that strongly coheres with, even if it is not necessitated by, Aristotle’s texts. In articulating the interpretation, I first examine a view defended by both Richard Sorabji and Robert Sokolowski according to which prime matter is extension. Such a view, I argue, is problematic for a number of reasons. Nonetheless, it (...) provides a convenient starting point for the view I defend according to which prime matter is intimately linked to, though not identical with, extension. (shrink)

Whence the categories? -- The body problem in Aristotle -- Form -- Prime matter -- Quality -- Quantity -- Substance.

Evidence on the coherence between emotion and facial expression in adults from laboratory experiments is reviewed. High coherence has been found in several studies between amusement and smiling; low to moderate coherence between other positive emotions and smiling. The available evidence for surprise and disgust suggests that these emotions are accompanied by their “traditional” facial expressions, and even components of these expressions, only in a minority of cases. Evidence concerning sadness, anger, and fear is very limited. For sadness, one study (...) suggests that high emotion–expression coherence may exist in specific situations, whereas for anger and fear, the evidence points to low coherence. Insufficient emotion intensity and inhibition of facial expressions seem unable to account for the observed dissociations between emotion and facial expression. (shrink)

Noam Chomsky and Frances Egan argue that David Marr’s computational theory of vision is not intentional, claiming that the formal scientific theory does not include description of visual content. They also argue that the theory is internalist in the sense of not describing things physically external to the perceiver. They argue that these claims hold for computational theories of vision in general. Beyond theories of vision, they argue that representational content does not figure as a topic within formal computational theories (...) in cognitive science. I demonstrate that Chomsky’s and Egan’s claims about Marr’s theory are false. Marr’s computational theory contains a mathematical theory of visual content, based on empirical psychophysical evidence. It also contains mathematical descriptions of distal physical surfaces and objects, and of their optic projection to the perceiver. Much computational research on vision contains these types of intentional and externalist components within the formal, mathematical, theories. Chomsky’s and Egan’s claims demonstrate inadequate study and understanding of Marr’s work and other research in this area. Computational theories of vision, by containing empirically based mathematical theories of visual content, to this extent present naturalizations of semantics. (shrink)

This edition includes a new introduction by Peter J. Gomes that reflects on the impact of this book in the years since it was written.

Paul Thom's book presents Kilwardby's science of logic as a body of demonstrative knowledge about inferences and their validity, about the semantics of non-modal and modal propositions, and about the logic of genus and species. This science is thoroughly intensional. It grounds the logic of inference on "that in virtue of which" the inference holds. It bases the truth conditions of propositions on relations between conceptual entities. It explains the logic of genus and species through the notion of essence. (...) Thom interprets this science as a formal logic of intensions with its own proof theory and semantics. This comprehensive reconstruction of Kilwardby's logic shows the medieval master to be one of the most interesting logicians of the thirteenth century. (shrink)

De milieuproblematiek staat pas sinds kort op de agenda als een fenomeen dat de mensheid bedreigt. Toch blijkt het negentiende-eeuwse gedachtegoed van Karl Marx verrassende inzichten te bieden om deze actuele problemen te duiden. Marx laat zien dat het menselijk ingrijpen in de natuur leidt tot zelfvervreemding: de mens ondermijnt zijn bestaan als een wezen dat zelf deel uitmaakt van de natuur. Deze zelfvervreemding cumuleert in de kapitalistische samenleving. Marx lezend zien we dat de milieuproblematiek geen historische vergissing is, maar (...) fundamenteel samenhangt met de mens als redelijk wezen. Onze beheersingsrede heeft geleid tot de vervreemding van de natuur. Toch geeft dezelfde rede die de mens de vrijheid biedt zich boven het ecologische evenwicht te verheffen, hem de mogelijkheid zich te verzoenen met de natuur. Marx verwijst naar dit dubbele gezicht van de rede als hij stelt dat het 'rijk van de vrijheid' in de schoot van het kapitalisme wordt geboren. In dit boek onderzoekt Paul Cobben welke aanzetten de huidige samenleving biedt om vorm te geven aan de verzoening met de natuur. Paul Cobben is emeritus hoogleraar geschiedenis van de moderne filosofie aan Tilburg University. Momenteel is hij gastonderzoeker aan de Vrije Universiteit Amsterdam en redacteur van de serie 'Critical Studies in German Idealism'. Van zijn hand verscheen o.a. 'Value in Capitalist Society. Rethinking Marx's Criticism of Capitalism' (2015)."-- Publisher information. (shrink)

In this chapter a new problem about rule-following is outlined, one that is distinct both from Kripke’s and Wright’s versions of the problem. This new problem cannot be correctly responsed to, as Kripke’s can, by invoking Wright’s Intentional Account of rule-following. The upshot might be called, following Kant, an antinomy of pure reason: we both must — and cannot — make sense of someone’s following a rule. The chapter explores various ways out of this antinomy without here endorsing any of (...) them. (shrink)

The Renaissance was a period of great intellectual change and innovation as philosophers rediscovered the philosophy of classical antiquity and passed it on to the modern age. Renaissance philosophy is distinct both from the medieval scholasticism, based on revelation and authority, and from philosophers of the seventeenth and eighteenth centuries who transformed it into new philosophical systems. Despite the importance of the Renaissance to the development of philosophy over time, it has remained largely understudied by historians of philosophy and professional (...) philosophers. This anthology aims to correct this by providing scholars and students of philosophy with representative translations of the most important philosophers of the Renaissance. Its purpose is to help readers appreciate philosophy in the Renaissance and its importance in the history of philosophy. The anthology includes translations from philosophers from the thirteenth to the seventeenth centuries, and it ranges from works on moral and political philosophy, to metaphysics, epistemology, and natural philosophy, thereby providing historians and students of philosophy with a sense for the nature, breadth, and complexity of philosophy in the Renaissance. Each translation is accompanied by an introduction by a historian of Renaissance philosophy, as well as select secondary sources, in order to encourage further study. (shrink)

Paul Helm investigates what religious faith is and what makes it reasonable.

Logic brings elementary logic out of the academic darkness into the light of day. Paul Tomassi makes logic fully accessible for anyone trying to come to grips with the complexities of this challenging subject. This book is written in a patient and user-friendly way which makes both the nature and value of formal logic crystal clear. This textbook proceeds from a frank, informal introduction to fundamental logical notions to a system of formal logic rooted in the best of our (...) natural deductive reasoning in daily life. The book includes plenty of exercise to put the students' reading to test, summay boxes of key points, a glossary and many illustrations. This book will be useful to any student who needs a patient and comprehensible introduction to what otherwise can be a daunting subject. (shrink)

We sometimes strive to achieve difficult goals when our evidence suggests that success is unlikely – not just because it will require strength of will, but because we are targets of prejudice and discrimination or because success will require unusual ability. Optimism about one’s prospects can be useful for persevering in these cases. That said, excessive optimism can be dangerous; when our evidence is unfavourable, we should be at most agnostic about whether we will succeed. This paper explores the nature (...) and rational significance of agnostic practical commitments. Most importantly, the rationality of striving against the odds can depend on investing in a plan for failure: a plan B. I aim to make headway on an account of what backup plans are, how they are related to primary plans, and whether the standard norms of plan rationality apply to our agnostic commitments. (shrink)

In 'Subjunctive Conditionals: Two Parameters vs. Three' Pavel Tichy articulates and defends a three-parameter account of counterfactuals. In the paper, he responds to a well known objection against the validity of various forms of inference, in particular strengthening of the antecedent, contraposition, and hypothetical syllogism. In this paper, I argue that his response to the objection is inadequate. I then propose an alternative form of the three-parameter account of counterfactuals that avoids the objection in question.

The relationship between abstract formal procedures and the activities of actual physical systems has proved to be surprisingly subtle and controversial, and there are a number of competing accounts of when a physical system can be properly said to implement a mathematical formalism and hence perform a computation. I defend an account wherein computational descriptions of physical systems are high-level normative interpretations motivated by our pragmatic concerns. Furthermore, the criteria of utility and success vary according to our diverse purposes and (...) pragmatic goals. Hence there is no independent or uniform fact to the matter, and I advance the ‘anti-realist’ conclusion that computational descriptions of physical systems are not founded upon deep ontological distinctions, but rather upon interest-relative human conventions. Hence physical computation is a ‘conventional’ rather than a ‘natural’ kind. (shrink)

The hatchet and the seed -- A tree with deep roots -- The critical tools -- A field crystallizes -- Destruction of nature -- Construction of nature -- Degradation and marginalization -- Conservation and control -- Environmental conflict -- Environmental identity and social movement -- Where to now?

The Oxford Handbook of Epistemology contains 19 previously unpublished chapters by today's leading figures in the field. These chapters function not only as a survey of key areas, but as original scholarship on a range of vital topics. Written accessibly for advanced undergraduates, graduate students, and professional philosophers, the Handbook explains the main ideas and problems of contemporary epistemology while avoiding overly technical detail.

Le philosophe, collègue et ami de Michel Foucault, fait le portrait de ce dernier et présente les grands thèmes de sa pensée philosophique et politique.

Vorrangig als der "strengste Methodenfanatiker und Logizist" der Marburger Schule des Neukantianismus bekannt, trat Natorp jedoch genau an diesem Punkt mit der selbständigen Form seines späten Philosophierens hervor: der Überschreitung der Methode in der Idee einer allgemeinen Logik. Unter allgemeiner Logik versteht er die streng einheitliche logische Grundlegung der Gegenstandssetzung, ja aller irgendwie logisch erfaßlichen Setzung. Damit war ein Zugang geschaffen zu der von Natorp angestrebten Erkenntnis des Geistigen in seiner Ureinheit, aus der erst die Besonderungen hervorgehen.

The first sustained phenomenological approach to modern art, taking a new approach and drawing upon an unsual selection of thinkers.