This paper discusses recent work on higher-order ontological arguments, including work on arguments due to Gödel, Maydole and Pruss. After setting out a range of these arguments, the paper seeks to highlight the principal difficulties that these kinds of arguments confront. One important aim of the paper is to cast light on Gödel's ontological argument by way of an examination of a range of related higher-order arguments.

Recent work in the ontology of music suggests that we will avoid confusion if we distinguish between two kinds of question that are typically posed in music ontology. Thus, a distinction has been made between fundamental ontology and higher-order ontology. The former addresses questions about the basic metaphysical options from which ontologists choose. For instance, are musical works types, indicated types, classes of particulars, or some other kind of entity? Higher-order ontology addresses the question of what (...) lies ‘at the centre’ of a specific form of music, such as rock or jazz—or perhaps classical music. The argument of this essay is, first, that a close examination of the best efforts in two of these territories shows that they have the effect of pressing the music in each sphere into implausible Procrustean beds. Second, it is argued that the general question that higher-order ontologies pose, that is, ‘What work-kind is it that lies at the centre of a given kind of music, F?’ is a question based on a mistaken but seductive assumption, namely that the concept of the work of F has actual application. In fact, these concepts—upon which higher-order ontology depends—are mere artefacts of philosophy. The question is also addressed why the assumption is so seductive. Finally, the question finally is posed about what, if anything, is implied from the foregoing about the traditional ontology of classical music. (shrink)

This paper aims to show that Godel's ontological argument can be parodied in much the same kind of way in which Gaunilo parodied Anselm's Proslogion argument. The parody in this paper fails; there is a patch provided in "Reply to Gettings" (Analysis 60, 4, 2000, 363-7).

In this paper, I contend that the core intuition that resides at the basis of Scheler’s metaethics is expressed through the formal axiological distinction between things, goods, and values. I pursue a twofold aim: 1) to show that Scheler implicitly operates within Husserl’s concept of ‘unitary foundation’ when describing how values inhere within goods; 2) to compare Scheler’s metaethical argument concerning the independence of a world of goods with Hare’s ‘indiscernibility argument’. Scheler’s reversal of Hare’s argument confronts (...) us with the formal-ontological difference between the analytic account of supervenience and the phenomenological account of unitary foundation. My argument is based on the formalization of the second type of unitary foundation that Husserl outlines in his Third Logical Investigation. The second type of unitary foundation is usually conflated with the first type of unitary foundation, as a result of the gross mistakes found in Findlay’s English. (shrink)

This paper is an assessment of Robert Maydole's work on ontological arguments. (Bibliographical details are provided in the text.) I argue that Maydole's ontological arguments are unsuccessful.

In the paper I analyse Anselm’s ontological arguments in favour of God’s existence. The analysis is an explication and formalization of Pavel Tichý’s study‘Existence and God’, Journal of Philosophy, 1979. It is based on Transparent Intensional Logic with its bi-dimensional ontology of entities organized in the ramified hierarchy of types. The analysis goes as follows. First, necessary notions and principles are introduced. They are: (a) existence is not a (non-trivial) property of individuals, but of individual offices to be occupied (...) by an individual; (b) the notion of requisite is defined, which is a necessary relation between an office O and a property R: necessarily, if a happens to occupy O then a has the property R. (c) I demonstrate that an argument of the form “R is a requisite of O, hence the holder of O has the property R” is invalid. In order to be valid, it must be of the form “R is a requisite of O, the office O is occupied, hence the holder of O has the property R.” Finally, (d) higher-order offices that can be occupied by individual offices are defined. Their requisites are properties of individual offices. Then the analysis of Anselm’s arguments is presented. The expression ‘God’ denotes an individual office, a ‘thing to be’, rather than a particular individual. Thus the question whether God exists is a legitimate one. I analyze the expression ‘that, than which nothing greater can be conceived’. Since ‘greater than’ is a relation-in-intension between individual offices here, the expression denotes a second-order office, and its requisites are properties of first-order offices suchas necessary existence. The second of Anselm’s assumptions is that individual office that has the property of necessary existence is greater than any other office lacking this property. From these it follows that the first-order holder of the office denoted by ‘that, than which nothing greater can be conceived’ (that is God) enjoys the property of necessary existence. Thus God exists necessarily, hence also actually. Anselm’s argument is logically valid. If it were also sound, then an atheist would differ from a believer only by the former not believing whereas the latter believing in a tautology, which is absurd. Yet we may doubt the validity of Anselm’s assumption that a necessary existence makes an office greater than any other office lacking this property. (shrink)

A metaphysical system engendered by a third order quantified modal logic S5 plus impredicative comprehension principles is used to isolate a third order predicate D, and by being able to impredicatively take a second order predicate G to hold of an individual just if the individual necessarily has all second order properties which are D we in Section 2 derive the thesis (40) that all properties are D or some individual is G. In Section 3 theorems (...) 1 to 3 suggest a sufficient kinship to Gödelian ontological arguments so as to think of thesis (40) in terms of divine property and Godly being; divine replaces positive with Gödel and others. Thesis (40), the sacred thesis, supports the ontological argument that God exists because some property is not divine. In Section 4 a fixed point analysis is used as diagnosis so that atheists may settle for the minimal fixed point. Theorem 3 shows it consistent to postulate theistic fixed points, and a monotheistic result follows if one assumes theism and that it is divine to be identical with a deity. Theorem 4 (the Monotheorem) states that if Gg and it is divine to be identical with g, then necessarily all objects which are G are identical with g. The impredicative origin of D suggests weakened Gaunilo-like objections that offer related theses for other second order properties and their associated diverse presumptive individual bearers. Nevertheless, in the last section we finesse these Gaunilo-like objections by adopting what we call an apathiatheistic opinion which suggest that the best concepts `God’ allow thorough indifference as to whether God exists or not. (shrink)

W. V. Quine famously defended two theses that have fallen rather dramatically out of fashion. The first is that intensions are “creatures of darkness” that ultimately have no place in respectable philosophical circles, owing primarily to their lack of rigorous identity conditions. However, although he was thoroughly familiar with Carnap’s foundational studies in what would become known as possible world semantics, it likely wouldn’t yet have been apparent to Quine that he was fighting a losing battle against intensions, due in (...) large measure to developments stemming from Carnap’s studies and culminating in the work of Kripke, Hintikka, and Bayart. These developments undermined Quine’s crusade against intensions on two fronts. First, in the context of possible world semantics, intensions could after all be given rigorous identity conditions by defining them (in the simplest case) as functions from worlds to appropriate extensions, a fact exploited to powerful and influential effect in logic and linguistics by the likes of Kaplan, Montague, Lewis, and Cresswell. Second, the rise of possible world semantics fueled a strong resurgence of metaphysics in contemporary analytic philosophy that saw properties and propositions widely, fruitfully, and unabashedly adopted as ontological primitives in their own right. This resurgence — happily, in my view — continues into the present day. -/- For a time, at any rate, Quine experienced somewhat better success with his second thesis: that higher-order logic is, at worst, confused and, at best, a quirky notational alternative to standard first-order logic. However, Quine notwithstanding, a great deal of recent work in formal metaphysics transpires in a higher-order logical framework in which properties and propositions fall into an infinite hierarchy of types of (at least) every finite order. Initially, the most philosophically compelling reason for embracing such a framework since Russell first proposed his simple theory of types was simply that it provides a relatively natural explanation of the paradoxes. However, since the seminal work of Prior there has been a growing trend to consider higher-order logic to be the most philosophically natural framework for metaphysical inquiry, many of the contributors to this volume being among the most important and influential advocates of this view. Indeed, this is now quite arguably the dominant view among formal metaphysicians. -/- In this paper, and against the current tide, I will argue in §1 that there are still good reasons to think that Quine’s second battle is not yet lost and that the correct framework for logic is first-order and type-free — properties and propositions, logically speaking, are just individuals among others in a single domain of quantification — and that it arises naturally out of our most basic logical and semantical intuitions. The data I will draw upon are not new and are well-known to contemporary higher-order metaphysicians. However, I will try to defend my thesis in what I believe is a novel way by suggesting that these basic intuitions ground a reasonable distinction between “pure” logic and non-logical theory, and that Russell-style semantic paradoxes of truth and exemplification arise only when we move beyond the purely logical and, hence, do not of themselves provide any strong objection to a type-free conception of properties and propositions. -/- Most of my arguments in §1 are largely independent of any specific account of the nature of properties and propositions beyond their type-freedom. However, I will in addition argue that there are good reasons to take propositions, at least, to be very fine-grained. My arguments are thus bolstered significantly if it can be shown that there are in fact well-defined examples of logics that are not only type-free but which comport with such a conception of propositions. It is the purpose of §2 to lay out a logic of this sort in some detail, drawing especially upon work by George Bealer and related work of my own. With the logic in place, it will be possible to generalize the line of argument noted above regarding Russell-style paradoxes and, in §3, apply it to two propositional paradoxes — the Prior-Kaplan paradox and the Russell-Myhill paradox — that are often taken to threaten the sort of account developed here. (shrink)

On an optimistic version of realist moral epistemology, a significant range of ordinary moral beliefs, construed in realist terms, constitute knowledge—or at least some weaker positive epistemic status, such as epistemic justification. The “debunking challenge” to this view grants prima facie justification but claims that it is “debunked” (i.e., defeated), yielding the final verdict that moral beliefs are ultima facie unjustified. Notable candidate “debunkers” (i.e., defeaters) include the so-called “evolutionary debunking arguments,” the “Benacerraf-Field Challenge,” and persistent moral disagreement among epistemic (...) peers. Such defeaters are best treated as higher-order evidence—viz., evidence contesting the merits of the first-order evidence on which moral beliefs are based. This chapter first develops a theory of higher-order defeat in general, which it then applies to debunking in particular. The result: the challenge fails entirely on epistemic grounds—regardless of whether or not its empirical and metaphysical presuppositions are correct. An advantage of this purely epistemic defense over alternative strategies is that the former extends even to laypersons who themselves lack the expertise necessary to formulate an adequate response. However, this leaves open the prospects for non-epistemological interpretations of debunking (e.g., moral or ontological). The chapter therefore concludes with brief suggestions in that direction. (shrink)

In this paper I take second order-quantification to be a sui generis form of quantification, irreducible to first-order quantification, and I examine the implications of doing so for the debate over the existence of properties. Nicholas K. Jones has argued that adding sui generis second-order quantification to our ideology is enough to establish that properties exist. I argue that Jones does not settle the question of whether there are properties because—like other ontological questions—it is first-order. (...) Then I examine three of the main arguments for the existence of properties. I conclude that sui generis second-order quantification defeats the “one over many” argument and that, coupled with second-order predication, it also defeats the reference and quantification arguments. (shrink)

First-order modal logic, in the usual formulations, is not suf- ficiently expressive, and as a consequence problems like Frege’s morning star/evening star puzzle arise. The introduction of predicate abstraction machinery provides a natural extension in which such difficulties can be addressed. But this machinery can also be thought of as part of a move to a full higher-order modal logic. In this paper we present a sketch of just such a higher-order modal logic: its formal (...) semantics, and a proof procedure using tableaus. Naturally the tableau rules are not complete, but they are with respect to a Henkinization of the “true” semantics. We demonstrate the use of the tableau rules by proving one of the theorems involved in G¨ odel’s ontological argument, one of the rare instances in the literature where higher-order modal constructs have appeared. A fuller treatment of the material presented here is in preparation. (shrink)

Serious actualism is the prima facie plausible thesis that things couldn’t have been related while being nothing. The thesis plays an important role in a number of arguments in metaphysics, e.g., in Plantinga’s argument for the claim that propositions do not ontologically depend on the things that they are about and in Williamson’s argument for the claim that he, Williamson, is necessarily something. Salmon has put forward that which is, arguably, the most pressing challenge to serious actualists. Salmon’s (...) objection is based on a scenario intended to elicit the judgment that merely possible entities may nonetheless be actually referred to, and so may actually have properties. It is shown that predicativism, the thesis that names are true of their bearers, provides the resources for replying to Salmon’s objection. In addition, an argument for serious actualism based on Stephanou, 219–250 2007) is offered. Finally, it is shown that once serious actualism is conjoined with some minimal assumptions, it implies property necessitism, the thesis that necessarily all properties are necessarily something, as well as a strong comprehension principle for higher-order modal logic according to which for every condition there necessarily is the property of being a thing satisfying that condition. (shrink)

The paper argues that Jackson's knowledge argument fails to undermine physicalist ontology. First, it is argued that, as this argument stands, it begs the question. Second, it is suggested that by supplementing the argument , this flaw can be remedied insofar as the argument is taken to be an argument against type-physicalism; however, this flaw cannot be remedied insofar as the argument is taken to be an argument against token-physicalism. The argument cannot (...) be supplemented so as to show that experiences have properties which are illegitimate from a physicalist perspective. (shrink)

Aaron Ridley posed the question of whether results in the ontology of musical works would have implications for judgements about the interpretation, meaning or aesthetic value of musical works and performances. His arguments for the conclusion that the ontology of musical works have no aesthetic consequences are unsuccessful, but he is right in thinking (in opposition to Andrew Kania and others) that ontological judgements have no aesthetic consequences. The key to demonstrating this conclusion is the recognition that ontological (...) judgments are a priori and aesthetic judgments are empirical. A priori judgements have no empirical consequences. Neither fundamental ontology of music nor higher- order ontological reflections have any aesthetic consequences. (shrink)

William Lycan has articulated “a simple argument” for higher-order representation (HOR) theories of a variety of consciousness sometimes labeled ‘awareness consciousness’ (Lycan, Analysis 61.1, January 3–4, 2001). The purpose of this article is to critically assess the influential argument-strategy of the simple argument. I argue that, as stated, the simple argument fails since it is invalid. Moreover, I argue that an obvious “quick fix” would beg the question against competing same-order representation (SOR) theories (...) of awareness consciousness. I then provide a reconstruction of the argument and argue that although the reconstructed argument deserves consideration, it is also too simple as stated. In particular, it raises several controversial questions about the nature of mental representation. These questions must be addressed before a verdict as to the cogency of the HOR argument-strategy can be reached. But since the questions are controversial, a cogent argument for HOR theories of awareness consciousness is unlikely to be simple. (shrink)

Monism is the claim that only one object exists. While few contemporary philosophers endorse monism, it has an illustrious history – stretching back to Bradley, Spinoza and Parmenides. In this paper, I show that plausible assumptions about the higher-order logic of property identity entail that monism is true. Given the higher-order framework I operate in, this argument generalizes: it is also possible to establish that there is a single property, proposition, relation, etc. I then show (...) why this form of monism is inconsistent; because all propositions are identical, p is identical to ~p – and so they have the same truth-value. At least one of the assumptions that generate higher-order monism must be rejected. (shrink)

Gödel’s ontological proof is by now well known based on the 1970 version, written in Gödel’s own hand, and Scott’s version of the proof. In this article new manuscript sources found in Gödel’s Nachlass are presented. Three versions of Gödel’s ontological proof have been transcribed, and completed from context as true to Gödel’s notes as possible. The discussion in this article is based on these new sources and reveals Gödel’s early intentions of a liberal comprehension principle for the (...) higher order modal logic, an explicit use of second-order Barcan schemas, as well as seemingly defining a rigidity condition for the system. None of these aspects occurs explicitly in the later 1970 version, and therefore they have long been in focus of the debate on Gödel’s ontological proof. (shrink)

Higher-order thought (HOT) theory says that a mental state is conscious when and only when represented by a conceptual, belief-like mental state. Plausibly, HOT theory predicts the impairment of HOT-producing brain areas to cause significant deficits in consciousness. This means that HOT theory can be refuted by identifying those brain areas that are candidates for producing HOTs, then showing that damage to these areas never produces the expected deficits of consciousness. Building this refutation is a work-in-progress, with several (...) key components of it already existing in the literature (e.g., Boly et al. in J Neurosci 37(40):9603–9613, 2017; Kozuch in Mind Lang, 37(5):790–813, 2022). This article pulls together and supplements these earlier components so as to provide a comprehensive lesion-based argument against HOT theory, one which offers extra data and arguments in support of it, and which also addresses common objections. (shrink)

In this paper I sketch some arguments that underlie Hegel's chapter on judgment, and I attempt to place them within a broad tradition in the history of logic. Focusing on his analysis of simple predicative assertions or ‘positive judgments’, I first argue that Hegel supplies an instructive alternative to the classical technique of existential quantification. The main advantage of his theory lies in his treatment of the ontological implications of judgments, implications that are inadequately captured by quantification. The second (...) concern of this paper is the manner in which Hegel makes logic not only dependent on ontology generally, but also variant in regard to domains of objects. In other words, he offers a domain-specific logical theory, according to which the form of judgment or inference is specific to the subject of judgment. My third concern lies with the metaphilosophical consequences of this theory, and this includes some more familiar Hegelian themes. It is well known that Hegel frequently questioned the adequacy of the sentential form for expressing higher order truths. My reading of his theory of predication explains and contextualizes this tendency by demystifying notions like the so-called speculative proposition. (shrink)

Kim’s Ontological Physicalism (OP) presents itself as a naturalistic and monistic metaphysical framework, aligned with the causal closure of the universe and rejecting causally efficacious “exotic” properties. The foundational ontology is, in turn, monistic and materialistic, positing that the universe is composed solely of material particulars: bits of matter. In this work, we identify a notable tension between OP’s intended model and the one OP specifies. Initially, we show how the theory inevitably becomes entangled with higher-order entities, (...) not just particulars. Kim introduces the Supervenience Argument (SA) to counteract the possibility of higher-order entities being causally efficacious. While SA proves to be a plausible strategy, it is ultimately inadequate: not only SA is a petitio principii against emergence, but it is also unsound and invalid. Therefore, we propose a formal strategy to restore its ontological effectiveness. Unfortunately, at a closer look, even this strategy falls short as it unwarrantedly assumes the logicality and invariance of those equivalence relations (such as identity, similarity, and congruence) which are crucial for specifying the theory’s model as composed of particulars. (shrink)

A universal reasoning approach based on shallow semantical embeddings of higher-order modal logics into classical higher-order logic is exemplarily employed to analyze several modern variants of the ontological argument on the computer. Several novel findings are reported which contribute to the clarification of a long-standing dispute between Anderson and Hájek. The technology employed in this work, which to some degree realizes Leibniz’s dream of a characteristica universalis and a calculus ratiocinator for solving philosophical controversies, (...) is ready to be fruitfully adopted in larger scale by philosophers. (shrink)

This article is a reply to Michael Gettings' criticisms of a previous paper of mine on Godel's ontological argument. (All relevant bibliographical details may be found in the article.) I provide a patch to my previous -- faulty -- attempt to provide a parody of Godel's ontological argument on the model of Gaunilo's parody of Anselm's Proslogion 2 argument.

George Boolos's employment of plurals to give an ontologically innocent interpretation of monadic higher‐order quantification continues and extends a minority tradition in thinking about quantification and ontological commitment. An especially prominent member of that tradition is Stanislaw Leśniewski, and shall first draw attention to this work and its relation to that of Boolos. Secondly I shall stand up briefly for plurals as logically respectable expressions, while noting their limitations in offering ontologically deflationary accounts of higher‐order (...) quantification. Thirdly I shall focus on the key idea of ontological commitment and investigate its connection with the idea of truth‐making. Fourthly I shall consider how different interpretations of quantification may sideline Boolos's work, but finally I shall largely support his analysis of quantification involving nominal expressions, while arguing, in the spirit of Arthur Prior, that non‐nominal quantification is non‐committing. (shrink)

This paper is my second contribution to the Szatkowski volume. In the first paper, I provide a critical discussion of Bob Maydole's ontological arguments. In this second paper, I respond to Maydole's critical response to my first paper. My overall verdict is that Maydole does not successfully defend his arguments against my critical attack.

This paper argues against the apparently benign concept of ‘academic citizenship,’ drawing on resources and conceptual precedents from within higher education generally and philosophy specifically. It does so not only in order to offer a critique, however. By considering the directions from which criticism can be levelled at the notion of ‘citizenship’, and the State-centric conceptualisation of the university underlying it, an argument for an alternative conceptualisation of academic being is offered. Ontology is suggested as a suitable (...) route to dealing with the urgency of the questions confronting those inhabiting contemporary higher education. Drawing on the work of Gilles Deleuze and Félix Guattari, along with Isabelle Stengers, it proposes a ‘nomad ontology’ as both a form of analysis and possible mode of being for academics. (shrink)

This paper is a reply to Robert Maydole’s “The Modal Perfection Argument for the Existence of a Supreme Being,” published in Philo 6, 2, 2003. I argue that Maydole’s Modal Perfection Argument fails, and that there is no evident way in which it can be repaired.

In “On Oppy’s Objections to the Modal Perfection Argument,” Philo 8, 2, 2005, 123–30, Robert Maydole argues that his modal perfection argument—set out in his “The Modal Perfection Argument for a Supreme Being,” Philo 6, 2, 2003, 299–313—“remains arguably sound” in the face of the criticisms that I made of this argument in my “Maydole’s 2QS5 Argument,” Philo 7, 2, 2004, 203–11. I reply that Maydole is wrong: his argument is fatally flawed, and his (...) attempts to avoid the criticisms that I have made of his argument are to no avail. (shrink)

In a recent article in this journal, Lee B. Brown criticizes one central kind of project in higher-order musical ontology—the project of offering an ontological theory of a particular musical tradition. I defend this kind of project by replying to Brown’s critique, arguing that musical practices are not untheorizably messy, and that a suitably subtle descriptivist ontology of a given practice can be valuable both theoretically and practically.

Response to Maydole's criticism of my initial contribution to this volume.

Plural Logic is an extension of First-Order Logic which has, as well as singular terms and quantifiers, their plural counterparts. Analogously, Higher-Level Plural Logic is an extension of Plural Logic which has, as well as plural terms and quantifiers, higher-level plural ones. Roughly speaking, higher-level plurals stand to plurals like plurals stand to singulars; they are pluralised plurals. Allegedly, Higher-Level Plural Logic enjoys the expressive power of a simple type theory while committing us to nothing (...) more than the austere ontology of First-Order Logic. Were this true, Higher-Level Plural Logic would be a useful tool, with various applications in philosophy and linguistics. However, while the notions of plural reference and quantification enjoy widespread acceptance today, their higher-level counterparts have been received with a lot of scepticism. In this paper, I argue for the legitimacy of Higher-Level Plural Logic by providing evidence to the effect that natural languages contain higher-level plural expressions and showing that it is likely that they do so in an indispensable manner. Since the arguments I put forward are of the same sort advocates of Plural Logic have employed to defend their position, I conclude that the commonly held view that Plural Logic is legitimate, but not so its higher-level plural extensions is untenable. (shrink)

According to relationism, for Alice to believe that some rabbits can speak is for Alice to stand in a relation to a further entity, some rabbits can speak. But what could this further entity possibly be? Higher-order metaphysics seems to offer a simple, natural answer. On this view (roughly put), expressions in different syntactic categories (for instance: names, predicates, sentences) in general denote entities in correspondingly different ontological categories. Alice's belief can thus be understood to relate her (...) to a sui generis entity denoted by "some rabbits can speak", belonging to a different ontological category than Alice herself. This straightforward account of the attitudes has historically been deemed so attractive that it was seen as providing an important motivation for higher-order metaphysics itself (Prior [1971]). But I argue that it is not as straightforward as it might seem, and in fact that propositional attitudes present a foundational challenge for higher-order metaphysics. (shrink)

The thesis that agents should calibrate their beliefs in the face of higher-order evidence—i.e., should adjust their first-order beliefs in response to evidence suggesting that the reasoning underlying those beliefs is faulty—is sometimes thought to be in tension with Bayesian approaches to belief update: in order to obey Bayesian norms, it’s claimed, agents must remain steadfast in the face of higher-order evidence. But I argue that this claim is incorrect. In particular, I motivate a (...) minimal constraint on a reasonable treatment of the evolution of self-locating beliefs over time and show that calibrationism is compatible with any generalized Bayesian approach that respects this constraint. I then use this result to argue that remaining steadfast isn’t the response to higher-order evidence that maximizes expected accuracy. (shrink)

According to traditional universalism, properties are instantiated by objects, where instantiation is a ‘tie’ that binds objects and properties into facts. I offer two arguments against this view. I then develop an alternative higher-order account which holds that properties are primitively predicated of objects yet, unlike traditional nominalism, are nevertheless genuinely real. When it’s a fact that Fo, it’s not because object o instantiates F-ness, but just that Fo – where F still exists. Against orthodox higher-order (...) approaches, however, my arguments against instantiation also serve to support a sparse conception of properties. In developing the view, I introduce an extension of ontological and ideological commitment in the form of syntactic commitment. (shrink)

In his ontological argument Gödel says nothing about its underlying logic. The argument is modal and at least of second-order and since S5 axiom is used so it is widely accepted that the logic of the argument is the S5 second-order modal logic. However, there is a step in the proof in which Gödel applies the necessitation rule on the assumptions of the argument (see [3]). This is repeated by all of his followers (...) (see [1] and [5]). This application of the necessitation rule can seriously harm the consequence relation of the logic of the ontological argument. It seems that the only way to preserve the modal logic S5 for the ontological argument is to assume some of its axioms in the necessitated form. (shrink)

Does artificial intelligence (AI) exhibit consciousness or self? While this question is hotly debated, here we take a slightly different stance by focusing on those features that make possible both, namely a basic or fundamental subjectivity. Learning from humans and their brain, we first ask what we mean by subjectivity. Subjectivity is manifest in the perspectiveness and mineness of our experience which, ontologically, can be traced to a point of view. Adopting a non-reductive neurophilosophical strategy, we assume that the point (...) of view exhibits two layers, a most basic neuroecological and higher order mental layer. The neuroecological layer of the point of view is mediated by the timescales of world and brain, as further evidenced by empirical data on our sense of self. Are there corresponding timescales shared with the world in AI and is there a point of view with perspectiveness and mineness? Discussing current neuroscientific evidence, we deny that current AI exhibits a point of view, let alone perspectiveness and mineness. We therefore conclude that, as per current state, AI does not exhibit a basic or fundamental subjectivity and henceforth no consciousness or self is possible in models such as ChatGPT and similar technologies. (shrink)

This chapter provides an introduction to higher-order metaphysics as well as to the contributions to this volume. We discuss five topics, corresponding to the five parts of this volume, and summarize the contributions to each part. First, we motivate the usefulness of higher-order quantification in metaphysics using a number of examples, and discuss the question of how such quantifiers should be interpreted. We provide a brief introduction to the most common forms of higher-order logics (...) used in metaphysics, and indicate a number of questions which can be raised in such systems using logical vocabulary alone. Using a further example, we return to applications of higher-order logics in metaphysics. We also mention key developments in the history of higher-order logic as it pertains to metaphysics. Finally, we mention certain arguments which have been raised against the use of higher-order logic, and some ways of responding to them. (shrink)

The ontological argument fails because of an operator order switch between (1) “necessarily there is an perfect being” and (2) “there is a being which necessarily is perfect”. Here (1) is trivially true logically but (2) problematic. Since Kant's criticisms were directed at the notion of existence, not at the step from (1) to (2), they are misplaced. They are also wrong, because existence can be a predicate. Moreover, Kant did not anticipate Frege's claim that “is” is (...) ambiguous between existence, predication, identity, and class‐inclusion. To restore the ontological argument, an extra premise is needed to the effect that it is known who the existentially perfect being is. The question is raised whether Kant could have meant the failure of this extra premise by his thesis that existence is not a real predicate. (shrink)

Let all finite sequences of letters of the English alphabet be ordered serially so that shorter sequences precede longer ones, and sequences of the same length are ordered alphabetically. Thus, an ordinal number is assigned to every possible English sentence of finite length. Among these numbers, some--call them S-numbers --will be the numbers of sentences which are instructions for writing down an infinite sequence of numbers. Now, it is impossible to state, in an English sentence of finite length, a generally (...) applicable procedure for determining whether an arbitrarily given number is an S-number. (shrink)

Recent authors have drawn attention to a new kind of defeating evidence commonly referred to as higher-order evidence. Such evidence works by inducing doubts that one’s doxastic state is the result of a flawed process – for instance, a process brought about by a reason-distorting drug. I argue that accommodating defeat by higher-order evidence requires a two-tiered theory of justification, and that the phenomenon gives rise to a puzzle. The puzzle is that at least in some (...) situations involving higher-order defeaters the correct epistemic rules issue conflicting recommendations. For instance, a subject ought to believe p, but she ought also to suspend judgment in p. I discuss three responses. The first resists the puzzle by arguing that there is only one correct epistemic rule, an Über-rule. The second accepts that there are genuine epistemic dilemmas. The third appeals to a hierarchy or ordering of correct epistemic rules. I spell out problems for all of these responses. I conclude that the right lesson to draw from the puzzle is that a state can be epistemically rational or justified even if one has what looks to be strong evidence to think that it is not. As such, the considerations put forth constitute a non question-begging argument for a kind of externalism. (shrink)

It may seem strange to connect the ontological argument for God‟s existence with René Girard‟s thought. My first aim is to clarify this connection.In order to do so, we must first suggest three distinct hermeneutical approaches to Girard. Ifwe take an internal, literal approach, we find that Girard writes nothing about theontological proof. Nevertheless, he does cite Anselm. If we take an internal, nonliteral approach to Girard, we can try to deduce what he might have thought about (...) the ontological proof on the basis of his mimetic theory, thereby extending his thought while remaining within his theory. If we take a critical approach, we can interpret Girard from an external perspective and critically analyze analogies between the ontological proof and his mimetic theory on the assumption that there is no a priori reason why there cannot be a relationship between an argument and a thinker, even without that thinker‟s awareness and in spite of his intentions. (shrink)

Ambitious higher-order theories of consciousness aim to account for conscious states when these are understood in terms of what-it-is-like-ness. This paper considers two arguments concerning this aim, and concludes that ambitious theories fail. The misrepresentation argument against HO theories aims to show that the possibility of radical misrepresentation—there being a HO state about a state the subject is not in—leads to a contradiction. In contrast, the awareness argument aims to bolster HO theories by showing that subjects (...) are aware of all their conscious states. Both arguments hinge on how we understand two related notions which are ubiquitous in discussions of consciousness: those of what-it-is-like-ness and there being something it is like for a subject to be in a mental state. This paper examines how HO theorists must understand the two crucial notions if they are to reject the misrepresentation argument but assert the awareness argument. It shows that HO theorists can and do adopt an understanding—the HO reading—which seems to give them what they want. But adopting the HO reading changes the two arguments. On this reading, the awareness argument tells us nothing about those states there is something it is like to be in, and so offers no support to ambitious HO theories. And to respond to the misrepresentation understood according to the HO reading is to simply ignore the argument presented, and so to give no response at all. As things stand, we should deny that HO theories can account for what-it-is-like-ness. (shrink)

In this paper, we give a new argument for the existence of moral luck. The argument is based on a manipulation case in which two agents both lack second-order control over their actions, but one of them has first-order control. Our argument is, we argue, in several respects stronger than standard arguments for moral luck. Five possible objections to the argument are considered, and its general significance for the debate on moral luck is briefly (...) discussed. (shrink)

I present an empirically based argument for the plausibility of misrepresentation as posited by some higher-order theories of consciousness. The argument relies on the assumption that conscious states are generated by processes in the brain. The underlying idea is that if the brain generates conscious states then misrepresentation may occur. The reason for this is that brain states can be corrupted and, accordingly, a conscious state that is at least partly caused by a corrupted brain state (...) may be a misrepresentation. Our body of knowledge from cognitive and behavioral neuroscience lends support to the idea that corruption of neural states is both possible and relatively frequent. If this is the case, I argue, it is plausible that occasionally such corruption may result in misrepresentation. I support this claim by arguing that the most prevalent theoretical alternative to the occurrence of misrepresentation—the so-called no-consciousness reply—seems less supported by our current knowledge in the domain of consciousness and cognition. This way of arguing for misrepresentation is different from other empirically based arguments in the debate because it is a meta-level argument resting on a general premise that most participants in the debate can accept. (shrink)

Higher-order evidence, such as that arising from peer disagreement, is typically bracketed in scholarly argumentation. For instance, we do not challenge a philosophical position by noting that it is subject to peer disagreement. Two questions related to this phenomenon remain unresolved: 1) Why is scholarly argumentation governed by a norm against the use of higher-order evidence? 2) Which higher-order evidence is affected by this norm? This article argues, first, that the reason higher-order (...) evidence is bracketed is not related to the sincerity with which we may hold our views, or to the promotion of cognitive diversity. Rather, it is due to the inconclusive nature of arguments based on higher-order evidence. Second, it argues that the ban on higher-order evidence extends to all types of higher-order evidence, not just a subset. The rationale behind banning higher-order evidence suggests that philosophical inquiry aims at solving philosophical questions with a high degree of conclusiveness, even if this aim might only be achieved in the far future. (shrink)

In a critical discussion, interlocutors can strategically maneuver by shading their expressed degree of standpoint commitment for rhetorical effect. When is such strategic shading reasonable, and when does it cross the line and risk fallacious derailment of the discussion? Analysis of President George W. Bush’s 2002–2003 prewar commentary on Iraq provides an occasion to explore this question and revisit Douglas Ehninger’s distinction between argumentation as coercive correction and argumentation as a person-risking enterprise. Points of overlap between Ehninger’s account and pragma-dialectical (...) argumentation theory suggest avenues for harmonization of rhetorical and dialectical perspectives on argumentation. Out of this conceptual convergence comes theoretical resources for understanding strategic maneuvering, by accounting for ways that discussants exploit gaps between their externalized and actual discussion attitude. As such higher-order strategic maneuvering played a major role in the 2003 Iraq prewar discourse failure, perspicacious understanding of this particular argumentative maneuver carries practical, as well as theoretical import. (shrink)

In this paper, the authors show that there is a reading of St. Anselm's ontological argument in Proslogium II that is logically valid (the premises entail the conclusion). This reading takes Anselm's use of the definite description "that than which nothing greater can be conceived" seriously. Consider a first-order language and logic in which definite descriptions are genuine terms, and in which the quantified sentence "there is an x such that..." does not imply "x exists". Then, using (...) an ordinary logic of descriptions and a connected greater-than relation, God's existence logically follows from the claims: (a) there is a conceivable thing than which nothing greater is conceivable, and (b) if <em>x</em> doesn't exist, something greater than x can be conceived. To deny the conclusion, one must deny one of the premises. However, the argument involves no modal inferences and, interestingly, Descartes' ontological argument can be derived from it. (shrink)

The methodological nonreductionism of contemporary biology opens an interesting discussion on the level of ontology and the philosophy of nature. The theory of emergence (EM), and downward causation (DC) in particular, bring a new set of arguments challenging not only methodological, but also ontological and causal reductionism. This argumentation provides a crucial philosophical foundation for the science/theology dialogue. However, a closer examination shows that proponents of EM do not present a unified and consistent definition of DC. Moreover, they find (...) it difficult to prove that higher-order properties can be causally significant without violating the causal laws that operate at lower physical levels. They also face the problem of circularity and incoherence in their explanation. In our article we show that these problems can be overcome only if DC is understood in terms of formal rather than physical (efficient) causality. This breakdown of causal monism in science opens a way to the retrieval of the fourfold Aristotelian notion of causality. (shrink)