This article aims to introduce a new solution to the Logical Problem of the Trinity. This solution is provided by utilising a number of theses within the field of contemporary metaphysics in order to establish a conceptual basis for a novel account and model of the doctrine of the Trinity termed Monarchical Aspectivalism, which will provide the means for proposing an alternative reading of the Athanasian Creed that is free from any consistency problems.

The doctrine of the Trinity is central to mainstream Christianity. But insofar as it posits “three persons” (Father, Son and Holy Spirit), who are “one God,” it appears as inconsistent as the claim that 1+1+1=1. -/- Much of the literature on “The Logical Problem of the Trinity,” as this has been called, attacks or defends Trinitarianism with little regard to the fourth century theological controversies and the late Hellenistic and early Medieval philosophical background in which it (...) took shape. I argue that this methodol- ogy, which I call “the Puzzle Approach,” produces obviously invalid arguments, and it is unclear how to repair it without collapsing into my preferred method- ology, “the Historical Approach,” which sees history as essential to the debate. I also discuss “mysterianism,” arguing that, successful or not, it has a different goal from the other approaches. I further argue that any solution from the His- torical Approach satisfies the concerns of the Puzzle Approach and mysterianism anyway. -/- I then examine the solution to the Logical Problem of the Trinity found in St. Gregory of Nyssa’s writings, both due to his place in the history of the doctrine, and his clarity in explicating what I call “the metaphysics of synergy.” I recast his solution in standard predicate logic and provide a formal proof of its consistency. I end by considering the possibilities for attacking the broader philosophical context of his defense and conclude that the prospects for doing so are dim. In any case, if there should turn out to be any problem with the doctrine of the Trinity at all, it will not be one of mere logical inconsistency in saying that “These Three are One.”. (shrink)

Analytic theologians have proposed numerous “solutions” to the Logical Problem of the Trinity (LPT), mostly versions of Social Trinitarianism (ST) and Relative Identity Trinitarianism (RI). Both types of solution are controversial, but many hold out hope that further “Trinitarian theorizing” may yield some as yet unimagined, and somehow importantly different, solution to the LPT. I first give a precise definition of the LPT and of what would count as a solution to it. I then show how, though (...) there are infinitely many possible solutions, all solutions can be grouped together into a finite, exhaustive taxonomy, based precisely on those features which make them either controversial, heretical, or inconsistent. The taxonomy reveals why ST and RI have been the major proposed solutions, and also proves that there can be no importantly different, new solutions to the LPT. (shrink)

In this article I develop a new problem for the doctrine of the Trinity that I call the Problem of Triunity. Rather than proceeding from the fact that God is one and the persons are many, as the traditional problem of the Trinity does, the problem of triunity proceeds from the fact that, in one sense or another, God is many, and yet each divine person on his own is just one.

We propose a solution to the problem of logical omniscience in what we take to be its fundamental version: as concerning arbitrary agents and the knowledge attitude per se. Our logic of knowledge is a spin-off from a general theory of thick content, whereby the content of a sentence has two components: an intension, taking care of truth conditions; and a topic, taking care of subject matter. We present a list of plausible logical validities and invalidities for (...) the logic of knowledge per se for arbitrary agents, and isolate three explanatory factors for them: the topic-sensitivity of content; the fragmentation of knowledge states; the defeasibility of knowledge acquisition. We then present a novel dynamic epistemic logic that yields precisely the desired validities and invalidities, for which we provide expressivity and completeness results. We contrast this with related systems and address possible objections. (shrink)

This article aims to provide a new solution to the Logical Problem of the Incarnation by proposing a novel metaphysical reconstrual of the method of reduplicative predication. This reconstrual will be grounded upon the metaphysical thesis of ‘Ontological Pluralism, proposed by Kris McDaniel and Jason Turner, and the notion of an ‘aspect’ proposed by Donald L. M. Baxter. Utilising this thesis and notion will enable the method of reduplicative predication to be further clarified, and the central objection that (...) is often raised against this approach can be successfully answered. (shrink)

The tripartite account of propositional, fallibilist knowledge that p as justified true belief can become adequate only if it can solve the Gettier Problem. However, the latter can be solved only if the problem of a successful coordination of the resources (at least truth and justification) necessary and sufficient to deliver propositional, fallibilist knowledge that p can be solved. In this paper, the coordination problem is proved to be insolvable by showing that it is equivalent to the (...) ''''coordinated attack'''' problem, which is demonstrably insolvable in epistemic logic. It follows that the tripartite account is not merely inadequate as it stands, as proved by Gettier-type counterexamples, but demonstrably irreparable in principle, so that efforts to improve it can never succeed. (shrink)

J.L. Mackie’s version of the logical problem of evil is a failure, as even he came to recognize. Contrary to current mythology, however, its failure was not established by Alvin Plantinga’s Free Will Defense. That’s because a defense is successful only if it is not reasonable to refrain from believing any of the claims that constitute it, but it is reasonable to refrain from believing the central claim of Plantinga’s Free Will Defense, namely the claim that, possibly, every (...) essence suffers from transworld depravity. (shrink)

I consider the fundamental philosophical problem for Christology: how can one and the same person, the Second Person of the Trinity, be both God and man. For being God implies having certain attributes, perhaps immutability, or impassibility, whereas being human implies having apparently inconsistent attributes. This problem is especially vexing for the proponent of Conciliar Christology – the Christology taught in the Ecumenical Councils – since those councils affirm that Christ is both mutable and immutable, both passible (...) and impassible, etc. Many extant solutions to this problem approach it by claiming that the predicates are incompatible when said of the same thing without qualification, but that once the appropriate qualification is added, compatibility is achieved. I provide a different approach. Here I argued that the predicates can be understood so that they are compatible. I then work out the logical relations between the predicates, so understood, showing that no contradiction follows from understanding them in the way I suggest. After that, I consider some of the motivations we have for believing the purportedly incompatible pairs to be, in fact, incompatible, and argue that, on the view offered here, we can salvage most of our intuitions that motivate taking the predicates as incompatible. Finally, I consider three objections. (shrink)

I EXPLORE ONE WAY IN WHICH THE THEORY OF RELATIVE IDENTITY (DEVELOPED ALONG LINES SUGGESTED BY GEACH’S WRITINGS) CAN BE USED TO UNDERSTAND THE WAY LANGUAGE FUNCTIONS IN TRINITARIAN DOCTRINE. THIS INCLUDES A DISCUSSION OF REDUPLICATIVE PROPOSITIONS.

In this paper, I offer a novel analysis of logical arguments from evil. I claim that logical arguments from evil have three parts: (1) characterisation (attribution of specified attributes to God); (2) datum (a claim about evil); and (3) link (connection between attributes and evil). I argue that, while familiar logical arguments from evil are known to be unsuccessful, it remains an open question whether there are successful logical arguments from evil.

The traditional possible-worlds model of belief describes agents as ‘logically omniscient’ in the sense that they believe all logical consequences of what they believe, including all logical truths. This is widely considered a problem if we want to reason about the epistemic lives of non-ideal agents who—much like ordinary human beings—are logically competent, but not logically omniscient. A popular strategy for avoiding logical omniscience centers around the use of impossible worlds: worlds that, in one way or (...) another, violate the laws of logic. In this paper, we argue that existing impossible-worlds models of belief fail to describe agents who are both logically non-omniscient and logically competent. To model such agents, we argue, we need to ‘dynamize’ the impossible-worlds framework in a way that allows us to capture not only what agents believe, but also what they are able to infer from what they believe. In light of this diagnosis, we go on to develop the formal details of a dynamic impossible-worlds framework, and show that it successfully models agents who are both logically non-omniscient and logically competent. (shrink)

Existentialist accounts maintain that visual phenomenal content takes the logical form of an existentially quantified sentence. These accounts do not make phenomenal content specific enough. Singularist accounts posit a singular content in which the seen object is a constituent. These accounts make phenomenal content too specific. My account gets the specificity of visual phenomenal content just right. My account begins with John Searle's suggestion that visual experience represents an object as seen, moves this relation outside the scope of the (...) existential quantifier and then replaces it with the relation of objects being ‘present as accessible’, as described by Alva Noë. (shrink)

Edward Nieznański developed two logical systems to deal with the problem of evil and to refute religious determinism. However, when formalized in first-order modal logic, two axioms of each system contradict one another, revealing that there is an underlying minimal set of axioms enough to settle the questions. In this article, we develop this minimal system, called N3, which is based on Nieznański’s contribution. The purpose of N3 is to solve the logical problem of evil through (...) the defeat of a version of religious determinism. On the one hand, these questions are also addressed by Nieznański’s systems, but, on the other hand, they are obtained in N3 with fewer assumptions. Our approach can be considered a case of logic of religion, that is, of logic applied to religious discourse, as proposed by Józef Maria Bocheński; in this particular case, it is a discourse in theodicy, which is situated in the context of the philosophy of religion. (shrink)

In the philosophy of artificial intelligence (AI) we are often warned of machines built with the best possible intentions, killing everyone on the planet and in some cases, everything in our light cone. At the same time, however, we are also told of the utopian worlds that could be created with just a single superintelligent mind. If we’re ever to live in that utopia (or just avoid dystopia) it’s necessary we solve the control problem. The control problem asks (...) how humans would be able to control an AI arbitrarily. Nick Bostrom and other AI researchers have proposed different theoretical solutions to the control problem. In this paper, I will not look at the empirical question of how to solve the control problem. Instead, I will ask if we can solve it at all, a critical assumption most AI researchers have made is that we can. I propose, in fact, that we have a priori grounds for believing it is logically impossible to solve the control problem, since all superintelligent minds are, by definition, uncontrollable. (shrink)

Abstract. Traditional epistemology of knowledge and belief can be succinctly characterized as JTB-epistemology, i.e., it is characterized by the thesis that knowledge is justified true belief. Since Gettier’s trail-blazing paper of 1963 this account has become under heavy attack. The aim of is paper is to study the Gettier problem and related issues in the framework of topological epistemic logic. It is shown that in the framework of topological epistemic logic Gettier situations necessarily occur for most topological models of (...) knowledge and belief. On the other hand, there exists a special class of topological models (based on so called nodec spaces) for which traditional JTB-epistemology is valid. Further, it is shown that for each topological model of Stalnaker’s combined logic KB of knowledge and belief a canonical JTB-model (its JTB-doppelganger) can be constructed that shares many structural properties with the original model but is free of Gettier situations. The topological model and its JTB-doppelganger both share the same justified belief operator and have very similar knowledge operators. Seen from a somewhat different perspective, the JTB-account of epistemology amounts to a simplification of a more general epistemological account of knowledge and belief that assumes that these two concepts may differ in some cases. The JTB-account of knowledge and belief assumes that the epistemic agent’s cognitive powers are rather large. Thereby in the JTB-epistemology Gettier cases do not occur. Eventually, it is shown that for all topological models of Stalnaker’s KB-logic Gettier situations are topologically characterized as nowhere dense situations. This entails that Gettier situations are epistemologically invisible in the sense that they can neither be known nor believed with justification with respect to the knowledge operator and the belief operator of the models involved. (shrink)

Recently, professors Christian List and Laura Valentini attempt to develop a new concept of freedom, criticizing the ones under the liberal and republican traditions. Their strategy is to find a concept of freedom satisfying the robust and nonmoralized conditions and to argue that the liberal and republican conceptions are not plausible. However, my view is that List and Valentini do not reasonably criticize the republican conception led by Philip Pettit. In other words, they do not see the real problem (...) of republican freedom so that the straw man fallacy would arise. The real issue for the republican freedom is the problem of political legitimacy, not the nonmoralized one. In this paper, I would like to examine the arguments from List and Valentini to explain why the real problem of republican freedom is the problem of political legitimacy. I would also explain that if we can take the issue seriously, then we know the relationship between the political freedom and the institution in a further step. (shrink)

The author contextualizes the Problem of Evil in Open Theism system, listing its main theses, primarily the logic-of- love-defense (and free-will-defense) connected to Trinitarian speculation. After evaluating the discussion in Analytic Philosophy of Religion, the focus is on the personal mystery of evil, claiming that, because of mystery and vagueness, the Problem of Evil is undecidable. Recalling other schools of thought (Pareyson: ontology of freedom; Moltmann: Dialectical theology; Kenotic theology; Original Sin hermeneutics), the author tries to grasp their (...) common insights. One of them is the evident explanatory failure of theodicies, expressed in the antinomian statements ‘God is not innocent’. The author follows these insights, developing the concept of Eternal Immolation (Bulgakov), arguing that, without a proper understanding of its mystery (what is, and what is not), theistic theodicy could remain compromised. ‘Eternal Immolation’ is considered consequent – or already present – in recent speculations, it stands or falls when we accept that these reveal some unresolved points in Christian doctrine. Hence, ‘Eternal Immolation’ becomes a coordinating-concept, able to bring together their assumptions: several kinds of kenosis, the ontology of freedom with a logic-of-love defense, strongly linked to a libertarian human freedom, and the acknowledgement of the unresolved mystery of evil. (shrink)

Traditional epistemology of knowledge and belief can be succinctly characterized as JTB-epistemology, i.e., it is characterized by the thesis that knowledge is justified true belief. Since Gettier’s trail-blazing paper of 1963 this account has become under heavy attack. The aim of is paper is to study the Gettier problem and related issues in the framework of topological epistemic logic. It is shown that in the framework of topological epistemic logic Gettier situations necessarily occur for most topological models of knowledge (...) and belief. On the other hand, there exists a special class of topological models (based on so called nodec spaces) for which traditional JTB-epistemology is valid. Further, it is shown that for each topological model of Stalnaker’s combined logic KB of knowledge and belief a canonical JTB-model (its JTB-doppelganger) can be constructed that shares many structural properties with the original model but is free of Gettier situations. The topological model and its JTB-doppelganger both share the same justified belief operator and have very similar knowledge operators. Seen from a somewhat different perspective, the JTB-account of epistemology amounts to a simplification of a more general epistemological account of knowledge and belief that assumes that these two concepts may differ in some cases. The JTB-account of knowledge and belief assumes that the epistemic agent’s cognitive powers are rather large. Thereby in the JTB-epistemology Gettier cases do not occur. Eventually, it is shown that for all topological models of Stalnaker’s KB- logic Gettier situations are topologically characterized as nowhere dense situations. This entails that Gettier situations are epistemologically invisible in the sense that they can neither be known nor believed with justification with respect to the knowledge operator and the belief operator of the models involved. Keywords. Stalnaker’s logic KB of knowledge and belief; Topological epistemology; Epistemic Invisibility; Doxastic invisibility; Gettier cases; . (shrink)

In this paper, I argue that even if the Hard Problem of Content, as identified by Hutto and Myin, is important, it was already solved in natu- ralized semantics, and satisfactory solutions to the problem do not rely merely on the notion of information as covariance. I point out that Hutto and Myin have double standards for linguistic and mental representation, which leads to a peculiar inconsistency. Were they to apply the same standards to basic and linguistic minds, (...) they would either have to embrace representationalism or turn to semantic nihilism, which is, as I argue, an unstable and unattractive position. Hence, I conclude, their book does not offer an alternative to representation- alism. At the same time, it reminds us that representational talk in cognitive science cannot be taken for granted and that information is different from men- tal representation. Although this claim is not new, Hutto and Myin defend it forcefully and elegantly. (shrink)

The main goal of this paper is to investigate what explanatory resources Robert Brandom’s distinction between acknowledged and consequential commitments affords in relation to the problem of logical omniscience. With this distinction the importance of the doxastic perspective under consideration for the relationship between logic and norms of reasoning is emphasized, and it becomes possible to handle a number of problematic cases discussed in the literature without thereby incurring a commitment to revisionism about logic. One such case in (...) particular is the preface paradox, which will receive an extensive treatment. As we shall see, the problem of logical omniscience not only arises within theories based on deductive logic; but also within the recent paradigm shift in psychology of reasoning. So dealing with this problem is important not only for philosophical purposes but also from a psychological perspective. (shrink)

Heinrich Behmann (1891-1970) obtained his Habilitation under David Hilbert in Göttingen in 1921 with a thesis on the decision problem. In his thesis, he solved - independently of Löwenheim and Skolem's earlier work - the decision problem for monadic second-order logic in a framework that combined elements of the algebra of logic and the newer axiomatic approach to logic then being developed in Göttingen. In a talk given in 1921, he outlined this solution, but also presented important programmatic (...) remarks on the significance of the decision problem and of decision procedures more generally. The text of this talk as well as a partial English translation are included. (shrink)

This paper introduces the special issue on the Concept of God of the Journal of Applied Logics (College Publications). The issue contains the following articles: Logic and the Concept of God, by Stanisław Krajewski and Ricardo Silvestre; Mathematical Models in Theology. A Buber-inspired Model of God and its Application to “Shema Israel”, by Stanisław Krajewski; Gödel’s God-like Essence, by Talia Leven; A Logical Solution to the Paradox of the Stone, by Héctor Hernández Ortiz and Victor Cantero; No New Solutions (...) to the Logical Problem of the Trinity, by Beau Branson; What Means ‘Tri-’ in ‘Trinity’ ? An Eastern Patristic Approach to the ‘Quasi-Ordinals’, by Basil Lourié; The Éminence Grise of Christology: Porphyry’s Logical Teaching as a Cornerstone of Argumentation in Christological Debates of the Fifth and Sixth Centruies, by Anna Zhyrkova; The Problem of Universals in Late Patristic Theology, by Dirk Krasmüller; Intuitionist Reasoning in the Tri-unitrian Theology of Nicolas of Cues, by Antonino Drago. (shrink)

Can we design a perfect democratic decision procedure? Condorcet famously observed that majority rule, our paradigmatic democratic procedure, has some desirable properties, but sometimes produces inconsistent outcomes. Revisiting Condorcet’s insights in light of recent work on the aggregation of judgments, I show that there is a conflict between three initially plausible requirements of democracy: “robustness to pluralism”, “basic majoritarianism”, and “collective rationality”. For all but the simplest collective decision problems, no decision procedure meets these three requirements at once; at most (...) two can be met together. This “democratic trilemma” raises the question of which requirement to give up. Since different answers correspond to different views about what matters most in a democracy, the trilemma suggests a map of the “logical space” in which different conceptions of democracy are located. It also sharpens our thinking about other impossibility problems of social choice and how to avoid them, by capturing a core structure many of these problems have in common. More broadly, it raises the idea of “cartography of logical space” in relation to contested political concepts. (shrink)

It has recently been argued that a person’s moral judgments (about both their own and others’ actions) are constrained by the nature and extent of their relevant ignorance and, thus, that such judgments are determined in the first instance by the person’s epistemic circumstances. It has been argued, in other words, that the epistemic is logically prior to other normative (e.g., ethical, prudential, pecuniary) considerations in human decision-making, that these other normative considerations figure in decision-making only after (logically and temporally) (...) relevant ignorance has constrained the decision-maker’s menu of options. If this is right, then a person’s moral judgments in some set of circumstances should vary with their knowledge and ignorance of these circumstances. In this study, we test the hypothesis of the logical priority of the epistemic. We describe two experiments in which subjects’ knowledge and ignorance of relevant consequences were manipulated. In the second experiment, we also compared the effect of ignorance on moral judgments with that of personal force, a factor previously shown to influence moral judgments. We found broad empirical support for the armchair arguments that epistemic considerations are logically prior to normative considerations. (shrink)

Analyzing causation in terms of Woodward's interventionist theory and describing the structure of the world in terms of causal powers are usually regarded as quite different projects in contemporary philosophy. Interventionists aim to give an account of how causal relations can be empirically discovered and described, without committing themselves to views about what causation really is. Causal powers theorists engage in precisely the latter project, aiming to describe the metaphysical structure of the world. In this paper, I argue that interventionism (...) can benefit from incorporating considerations about causal powers. I describe a previously undiscussed problem for Woodward's definition of an intervention variable that arises when interventionist causal models include disjunctive variables. This problem is solved not by excluding disjunctive (or logically compound) variables per se, but by excluding variables whose values represent disjunctions of too different causal powers. This suggests that interventionism and causal powers theories may be less distant from each other than is often assumed. (shrink)

The article analyses the meta- epistemological problem of the justification of a theory of knowledge. The first section is dedicated to the morphological reconstruction of the problem, the second presents a diagnosis of the problem in terms of a metatheoretical and logically non- contradictory "petitio principii" and the third delineates the limits within which strategies for the treatment of the problem could be elaborated.

This paper looks at three ways of addressing probabilism’s implausible requirement of logical omniscience. The first and most common strategy says it’s okay to require an ideally rational person to be logically omniscient. I argue that this view is indefensible on any interpretation of ‘ideally rational’. The second strategy says probabilism should be formulated not in terms of logically possible worlds but in terms of doxastically possible worlds, ways you think the world might be. I argue that, on the (...) interpretation of this approach that lifts the requirement of certainty in all logical truths, the view becomes vacuous, issuing no requirements on rational believers at all. Finally, I develop and endorse a new solution to the problem. This view proposes dynamic norms for reasoning with credences. The solution is based on an old proposal of Ian Hacking’s that says you’re required to be sensitive to logical facts only when you know they are logical facts. (shrink)

Charles Peirce famously divided all signs into icons, indices and symbols. The past few decades have seen mainstream analytic philosophy broaden its traditional focus on symbols to recognise the so-called essential indexical. Can the moral now be extended to icons? Is there an “essential icon”? And if so, what exactly would be essential about it? It is argued that there is and it consists in logical form. Danielle Macbeth’s radical new “expressivist” interpretation of Frege’s logic and Charles Peirce’s existential (...) graphs are mobilized in support of this claim. (shrink)

The investigation into logical form and structure of natural sciences and mathematics covers a significant part of contemporary philosophy. In contrast to this, the metatheory of normative theories is a slowly developing research area in spite of its great predecessors, such as Aristotle, who discovered the sui generis character of practical logic, or Hume, who posed the “is-ought” problem. The intrinsic reason for this situation lies in the complex nature of practical logic. The metatheory of normative educational philosophy (...) and theory inherits all the difficulties inherent in the general metatheory but has also significantly contributed to its advancement. In particular, the discussion on its mixed normative-descriptive character and complex composition has remained an important part of research in educational philosophy and theory. The two points seem to be indisputable. First, the content of educational philosophy and theory is a complex one, connecting different disciplines. Second, these disciplines are integrated within the logical form of practical inference or means-end reasoning. On the other hand, the character of consequence relation in this field, although generally recognized as specific, represents an unresolved prob- lem, a solution of which requires a sophisticated logical theory and promises to influence the self- understanding of educational philosophy and theory. (shrink)

In this paper, the ethical and spiritual aspects of the trolley problem are discussed in connection with the dropping of atomic bombs on Hiroshima and Nagasaki. First, I show that the dropping of atomic bombs was a typical example of the events that contained the logic of the trolley problems in their decision-making processes and justifications. Second, I discuss five aspects of “the problem of the trolley problem;” that is to say, “Rarity,” “Inevitability,” “Safety Zone,” “Possibility of (...) Becoming a Victim,” and “Lack of Perspective of the Dead Victims Who Were Deprived of Freedom of Choice,” in detail. Third, I argue that those who talk about the trolley problem are automatically placed in the sphere of the expectation of response on the spiritual level. I hope that my contribution will shed light on the trolley problem from a very different angle, which has not been made by our fellow philosophers. (shrink)

This paper briefly proposes a weak relative identity strategy for the doctrine of the Trinity called the general partnership model. This model develops a logically consistent metaphysical constitution for the orthodox Christian doctrines of one divine substance and three divine persons. Moreover, the model rejects the rigid use of absolute identity in Trinitarian doctrine while modeling relative identity with an analogy of general partnerships in the United States.

James Sterba uses the Pauline Principle to argue that the occurrence of significant, horrendous evils is logically incompatible with the existence of a good God. The Pauline Principle states that (as a rule) one must never do evil so that good may come from it, and according to Sterba, this principle implies that God may not permit significant evils even if that permission would be necessary to secure other, greater goods. By contrast, I argue that the occurrence of significant evils (...) is logically compatible with the existence of a good God because victims of significant evils may themselves reasonably consent to their suffering. In particular, I argue that they may be able to accept their suffering if it turns out that there was no way for God to secure relevant greater goods (or prevent other, greater evils) except by way of allowing their suffering, and God also provides them with other compensating, heavenly comforts. After using this consent-based argument to address Sterba’s logical problem from evil, I briefly consider how this argument may also help address a related evidential problem from evil, which suggests that while it is possible that victims of significant evils would consent to their suffering, it is unlikely that they would do so. While I do not provide a definitive solution to this evidential problem of evil, I highlight one important example of a trade-off that God may need to make that would—along with the provision of compensating, heavenly comforts—potentially persuade victims of significant evils to consent to their suffering. Specifically, I argue that there may be a necessary trade-off that God needs to make between permitting significant evils (on the one hand) and protecting a certain, morally significant form of free will (on the other hand). (shrink)

The theorizing about the doctrine of the Trinity by contemporary analytic philosophers of religion has recently been imbued with an air of enthusiastic excitement and self-confidence. My intuition is that there’s room for saying something more in support to the embarrassment and puzzlement traditionally related to the predication of God’s onefoldness and threefoldness. My purpose is to deliver a general argument for (weak) trinitarian skepticism. My view is that the argument provides substantive reasons in support to the common sense (...) intuition that either God’s onefoldness and threefoldness aren’t actually compatible or God’s onefoldness and threefoldness aren’t robustly construed. (shrink)

I try to lay bare some of the conceptual space in which one may be a Social Trinitarian. I organize the paper around answers to five questions. These are: (1) How do the three Persons of the Trinity relate to the Godhead? (2) How many divine beings or gods are there? (3) How many distinct centers of consciousness are there in the Godhead? (4) How many omnicompetent beings are there? (5) How are the Persons of the Trinity individuated? (...) I try to make clear costs and benefits of various answers to these questions. (shrink)

The key to the measurement problem is the entity at the heart of Everett's formulation, the state of the memory, defined as the record of observations. In humans, the integrated synthesis defines the perceptual reality, a projective, three-dimensional representation of the world. This 'world hologram' is the conscious point of view, the mind in Lockwood's interpretation, the 'phenomenal perspective'. As Everett demonstrates, the collapse dynamics operates only judged by the state of the memory; the physical observer remains in a (...) superposed state. An operational mind-body property dualism is defined. This field of information is multiply instantiated in the many worlds of the unitary wave function. As these are superposed and coincident, the net result is a single world hologram. The physical frame of reference on this view is the superposition of the class of instantiating worlds, a second-logical-type phenomenon. By definition determinate only where defined by observations, this is the physical ontology of Everett's relative state. Collapse on observation is inherent. The evidence is the retrodiction of the holographic universe. This is the cosmology of the relative state. As it is determinate solely where defined by the world hologram that delineates the outer boundary, entropy is defined solely by this surface. The quasi-classical world is the cosmology in the absolute state. The incompatible dynamics of quantum mechanics operate in these two different types of physical frames of reference. The linear dynamics is the time evolution of the quasi-classical worlds. On observation, judged by the state of the world hologram, the class of instantiating worlds is redefined, becoming the class of worlds in which the observed outcome occurred. Collapse effectively operates. The holographic universe of the mind updates. The dynamics operate at different levels of logical type. The measurement problem is a category error. (shrink)

An overview of the recent debate on the Trinity in the analytic philosophy of religion. I move from putting forward the Logical Problem of the Trinity (LPT) according to R.Cartwright and M.Rea. I then define two useful notions in order to evaluate the interpretive force of the mainstream approaches to answer LPT; i.e. , be X a concept, I define maximally robust reading of X and sufficiently robust reading of X. In the subsequent section, I offer (...) an expository analysis of Latin Trinitarianism, Social Trinitarianism and Material Constitution Trinitarianism in line with such concepts. I finally advance some reasons why neither of these properly work. My main argument is that every traditional phrasing of the doctrine of the Trinity asks Christians to hold maximally robust reading both of the onefoldness of God and the threefoldness of Divine Persons. Now, while Latin Trinitarianism, Social Trinitarianism and Material Constitution Trinitarianism provide maximally robust account of God's onefoldness, they can't give a maximally robust account for Persons' threefoldness. (shrink)

In this paper I present a formalization of the theory of ideal concepts applied to the concept of God. It is done within a version of the Simplest Quantified Modal Logic (SQML) and attempts to solve three meta-problems related to the concept of God: the unicity of extension problem, the homogeneity/heterogeneity problem and the problem of conceptual unity.

Without directly addressing the Demarcation Problem for logic—the problem of distinguishing logical vocabulary from others—we focus on distinctive aspects of logical vocabulary in pursuit of a second goal in the philosophy of logic, namely, proposing criteria for the justification of logical rules. Our preferred approach has three components. Two of these are effectively Belnap’s, but with a twist. We agree with Belnap’s response to Prior’s challenge to inferentialist characterisations of the meanings of logical constants. (...) Belnap argued that for a logical constant to exist, its rules must be conservative over a previously given consequence relation and guarantee the uniqueness of the constant. The twist is that we require logical vocabulary to be provably conservative, not over a previously given formal consequence relation, but over a previously given meaningful vocabulary of a language. Uniqueness is also a feature defined in terms of provability: if two syntactically distinguished expressions are governed by the same rules, then formulas with them as main operators are interderivable. Belnap’s criteria are not only those for the existence of a logical constant, but more: they are what distinguishes logical vocabulary from all other expressions. It is the defining mark of a logical constant that it is provably conservative over the fragment of the language which excludes it and that its rules guarantee its uniqueness. The third component is the topic neutrality of logic. The provable conservativeness of logic over a previously given vocabulary of a language is motivated, in part, by appeal to molecularism in the theory of meaning. Molecularity is a feature endorsed by the theory of meaning as a whole, so it does not distinguish logical constants from other expressions. The same is true for conservativeness. We argue that molecularity, and hence conservativeness, are implicit presuppositions of speakers’ use of language: the addition of new vocabulary to a language is presupposed to be conservative. But this presupposition is one that we should be able reflectively to endorse (such as when attempting a rational reconstruction of the use of the vocabulary). Thus, where conservativeness is found to fail, this defect should be remedied and the use of the vocabulary corrected (as in classical negation) or excised altogether (as in pejoratives). We go on to characterise a notion of topic neutrality, which we argue applies to logical vocabulary. We then note that reflective endorsement of the conservativeness of a topic neutral vocabulary requires a proof that the vocabulary is conservative relative to any base vocabulary. Thus we require that logical vocabulary be demonstrably conservative. Allying this requirement, distinctive of logic, to a general consideration about the commitments of assertion yields a mode of justification for logical constants akin to some conceptions of Harmony, i.e., to the idea that the consequences of assertion of a logical complex need to be warranted by the grounds and ought to be the strongest consequences warranted by the grounds. Intuitionistic logic acquires a somewhat familiar justification but emanating from a new motivation. (shrink)

This book was completed by the early 1960s and published in 1984 but it has not lost its topicality, for it contains an important re-assessment of the relations of two main streams of contemporary philosophy - the Analytical and the Dialectic. Adherents and critics of these traditions tend to assurnethat they are diametrically opposed, that their roots, concerns and approaches contradict each other, and that no reconciliation is possible. In contradistinction Russell derives both traditions from the common root of the (...) dissatisfaction with the arguments against speculative philosophy. These according to the author leave a lacuna - certain elementsof our Weltanschaaung have been removed, but they cannot be removed without replacement lest we have an incomplete world view, so incomplete in fact that it cannot be viable. According to Russell part of this vacuum is taken up by the analytical tradition but this tradition is not capable of taking up the remainder of it. That portion of the vacant space is however taken up by the dialectical tradi tion, which in turn cannot itself handle the whole of the problem. Thus the two reactions to the demise of speculative philosophy appear to be complementary in at least this sense. But the author goes further, for according to hirn the analytical arguments themselves clearly point to the emergence of dialectical problems, and the dialectical problems themselves need some such background to arise. (shrink)

What corresponds to the present-day ‘transcendental-pragmatic’ concept of ultimate grounding in Hegel is his claim to absoluteness of the logic. Hegel’s fundamental intuition is that of a ‘backward going grounding’ obtaining the initially unproved presuppositions, thereby ‘wrapping itself into a circle’ – the project of the self-grounding of logic, understood as the self-explication of logic by logical means. Yet this is not about one of the multiple ‘logics’ which as formal constructs cannot claim absoluteness. It is rather a fundamental (...) logic that only makes logical textures possible at all and so owns transcendental character. The non-contradiction-principle is an example for this. Es- sential is that it is ‘under-cover-effcient’ as soon as meaningful concepts are used. Self-explication of the fundamental logic then means explicating its implicit under-cover validity, in fact by means of the fundamental logic itself. As is shown this is the affair of dialectic which thereby is to be understood as ultimate grounding of the fundamental logic. This is analyzed in detail using the example of the being/non-being-dialectic. As is demonstrated each explication step generates a new implicit issue and therewith a new explication-discrepancy inducing an antinomical structure that anew forwards the explication procedure. So this is entirely determined by itself. Decisive for the ultimate grounding argumentation is that thereby an objectively verifyable procedure is found, which is apparently possible only in a Hegelian framework. In contrast the immediate evidence of a speech act claimed by the transcendental-pragmatic position has only private character, which is grounding-theoretically irrelevant. (shrink)

A system of logic usually comprises a language for which a model-theory and a proof-theory are defined. The model-theory defines the semantic notion of model-theoretic logical consequence (⊨), while the proof-theory defines the proof- theoretic notion of logical consequence (or logical derivability, ⊢). If the system in question is sound and complete, then the two notions of logical consequence are extensionally equivalent. The concept of full formalization is a more restrictive one and requires in addition the (...) preservation of the standard meanings of the logical terms in all the admissible interpretations of the logical calculus, as it is proof-theoretically defined. Although classical first-order logic is sound and complete, its standard formalizations fall short to be full formalizations since they allow non-intended interpretations. This fact poses a challenge for the logical inferentialism program, whose main tenet is that the meanings of the logical terms are uniquely determined by the formal axioms or rules of inference that govern their use in a logical calculus, i.e., logical inferentialism requires a categorical calculus. This paper is the first part of a more elaborated study which will analyze the categoricity problem from its beginning until the most recent approaches. I will first start by describing the problem of a full formalization in the general framework in which Carnap (1934/1937, 1943) formulated it for classical logic. Then, in sections IV and V, I shall discuss the way in which the mathematicians B.A. Bernstein (1932) and E.V. Huntington (1933) have previously formulated and analyzed it in algebraic terms for propositional logic and, finally, I shall discuss some critical reactions Nagel (1943), Hempel (1943), Fitch (1944), and Church (1944) formulated to these approaches. (shrink)

Wittgenstein’s atomist picture, as embodied in his Tractatus, is initially very appealing. However, it faces the famous colour-exclusion problem. In this paper, I shall explain when the atomist picture can be defended in the face of that problem; and, in the light of this, why the atomist picture should be rejected. I outline the atomist picture in Section 1. In Section 2, I present a very simple necessary and sufficient condition for the tenability of the atomist picture. The (...) condition is: logical space is a power of two. In Sections 3 and 4, I outline the colour-exclusion problem, and then show how the cardinality-condition supplies a response to exclusion problems. In Section 5, I explain how this amounts to a distillation of a proposal due to Moss, which goes back to Carruthers. And in Section 6, I show how all this vindicates Wittgenstein’s ultimate rejection of the atomist picture. The brief reason is that we have no guarantee that there are any solutions to a given exclusion problem but, if there are any, then there are far too many. (shrink)

My aim in this paper is to explore how we might understand the relation of Deleuze’s early works to ethics, and to develop the connections between this way of understanding Deleuze and the work of Søren Kierkegaard. I will claim that we can view both figures as arguing that the sense or meaning we take from the world, and the metaphysical structure we ascribe to it, is secondary to an ethical stance we take in the face of a world of (...) becoming. As such, the central preoccupation of both Kierkegaard and Deleuze is how we make sense of an existence which is necessarily temporal. As we shall see, recognizing the importance of temporality involves a move away from the traditional resolution of the problem of sense that operates by making temporality an accidental aspect of a world. In the first half of this paper, I want to explore this claim in relation to Deleuze’s reading of Plato, tying his claim that Plato is essentially developing an ethical rather than metaphysical doctrine with the claim that “the task of modern philosophy has been defined: to overturn [renversement] Platonism” (DR 59). My emphasis in this section is how Deleuze, rather than “overturning” Platonism by simply rejecting the priority it gives to Forms or essences over appearances, the renversement of Deleuze’s reading inverts the relation to show how the search for essence is in fact grounded in an ethical decision, or “selection,” in the world of appearances/simulacra itself. As such, both Plato and Deleuze can be seen as presenting different trajectories for making sense of a world of becoming, either by grounding it in a transcendent, atemporal realm, or by seeing it as an intensive field of processes. In the second half, I will argue that Kierkegaard’s philosophy rests on a claim, similar to the one we find in Deleuze’s work, that we need to develop a logic of sense in response to a world of becoming. I will conclude that Deleuze’s reading of Kierkegaard is limited by a focus on the theological aspects of his thought, and that Kierkegaard provides a sophisticated and complementary taxonomy of the ways in which we try to make sense of our existence in a world of becoming by developing diverse ethical postures. (shrink)

In this paper we provide a philosophical analysis of the Hard Problem of consciousness and the implications of conceivability scenarios for current neuroscientific research. In particular, we focus on one of the most prominent neuroscientific theories of consciousness, integrated information theory (IIT). After a brief introduction on IIT, we present Chalmers’ original formulation and propose our own layered view of the hard problem, showing how 2 separate issues can be distinguished. More specifically, we argue that it’s possible to (...) disentangle a core problem of consciousness from a layered hard problem, the latter being essentially connected to Chalmers’ conceivability argument. We then assess the relation between the Hard Problem and IIT, showing how the theory resists conceivability scenarios, and how it is equipped to face up to the hard problem in its broadest acceptation. (shrink)

It has recently been argued that a person’s moral judgments (about both their own and others’ actions) are constrained by the nature and extent of their relevant ignorance and, thus, that such judgments are determined in the first instance by the person’s epistemic circumstances. It has been argued, in other words, that the epistemic is logically prior to other normative (e.g., ethical, prudential, pecuniary) considerations in human decision-making, that these other normative considerations figure in decision-making only after (logically and temporally) (...) relevant ignorance has constrained the decision-maker’s menu of options. If this is right, then a person’s moral judgments in some set of circumstances should vary with their knowledge and ignorance of these circumstances. In this study, we test the hypothesis of the logical priority of the epistemic. We describe two experiments in which subjects’ knowledge and ignorance of relevant consequences were manipulated. In the second experiment, we also compared the effect of ignorance on moral judgments with that of personal force, a factor previously shown to influence moral judgments. We found broad empirical support for the armchair arguments that epistemic considerations are logically prior to normative considerations. (shrink)

I provide a critical survey of some of the major findings of Wittgenstein and Searle on the logical structure of intentionality (mind, language, behavior), taking as my starting point Wittgenstein’s fundamental discovery –that all truly ‘philosophical’ problems are the same—confusions about how to use language in a particular context, and so all solutions are the same—looking at how language can be used in the context at issue so that its truth conditions (Conditions of Satisfaction or COS) are clear. The (...) basic problem is that one can say anything but one cannot mean (state clear COS for) any arbitrary utterance and meaning is only possible in a very specific context. I begin with ‘On Certainty’ and continue the analysis of recent writings by and about them from the perspective of the two systems of thought, employing a new table of intentionality and dual systems nomenclature. (shrink)

Anti-exceptionalism about logic takes logic to be, as the name suggests, unexceptional. Rather, in naturalist fashion, the anti-exceptionalist takes logic to be continuous with science, and considers logical theories to be adoptable and revisable accordingly. On the other hand, the Adoption Problem aims to show that there is something special about logic that sets it apart from scientific theories, such that it cannot be adopted in the way the anti-exceptionalist proposes. In this paper I assess the damage the (...) Adoption Problem causes for anti-exceptionalism, and show that it is also problematic for exceptionalist positions too. My diagnosis of why the Adoption Problem affects both positions is that the self-governance of basic logical rules of inference prevents them from being adoptable, regardless of whether logic is exceptional or not. (shrink)

I provide a critical survey of some of the major findings of Wittgenstein and Searle on the logical structure of intentionality(mind, language, behavior), taking as my starting point Wittgenstein’s fundamental discovery –that all truly ‘philosophical’ problems are the same—confusions about how to use language in a particular context, and so all solutions are the same—looking at how language can be used in the context at issue so that its truth conditions (Conditions of Satisfaction or COS) are clear. The basic (...) problem is that one can say anything but one cannot mean (state clear COS for) any arbitrary utterance and meaning is only possible in a very specific context. I begin with ‘On Certainty’ and continue the analysis of recent writings by and about them from the perspective of the two systems of thought, employing a new table of intentionality and new dual systems nomenclature. -/- Those wishing a comprehensive up to date framework for human behavior from the modern two systems view may consult my book ‘The Logical Structure of Philosophy, Psychology, Mind and Language in Ludwig Wittgenstein and John Searle’ 2nd ed (2019). Those interested in more of my writings may see ‘Talking Monkeys--Philosophy, Psychology, Science, Religion and Politics on a Doomed Planet--Articles and Reviews 2006-2019 3rd ed (2019), The Logical Structure of Human Behavior (2019), and Suicidal Utopian Delusions in the 21st Century 4th ed (2019). (shrink)