I consider the first-order modal logic which counts as valid those sentences which are true on every interpretation of the non-logical constants. Based on the assumptions that it is necessary what individuals there are and that it is necessary which propositions are necessary, Timothy Williamson has tentatively suggested an argument for the claim that this logic is determined by a possible world structure consisting of an infinite set of individuals and an infinite set of worlds. He notes that (...) only the cardinalities of these sets matters, and that not all pairs of infinite sets determine the same logic. I use so-called two-cardinal theorems from model theory to investigate the space of logics and consequence relations determined by pairs of infinite sets, and show how to eliminate the assumption that worlds are individuals from Williamson’s argument. (shrink)

The logics of formal inconsistency (LFIs, for short) are paraconsistent logics (that is, logics containing contradictory but non-trivial theories) having a consistency connective which allows to recover the ex falso quodlibet principle in a controlled way. The aim of this paper is considering a novel semantical approach to first-order LFIs based on Tarskian structures defined over swap structures, a special class of multialgebras. The proposed semantical framework generalizes previous aproaches to quantified LFIs presented in the literature. The case (...) of QmbC, the simpler quantified LFI expanding classical logic, will be analyzed in detail. An axiomatic extension of QmbC called QLFI1o is also studied, which is equivalent to the quantified version of da Costa and D'Ottaviano 3-valued logic J3. The semantical structures for this logic turn out to be Tarkian structures based on twist structures. The expansion of QmbC and QLFI1o with a standard equality predicate is also considered. (shrink)

This paper introduces two languages and associated logics designed to afford perspicuous representations of a range of natural language arguments involving adverbs and the like: first-order logic with basic adverbs (FOL-BA) and first-order logic with scoped adverbs (FOL-SA). The guiding logical idea is that an adverb can come between a term and the rest of the statement it is a part of, resulting in a logically stronger statement. I explain various interesting challenges that arise in the (...) attempt to implement the guiding idea, and provide solutions for some but not all of them. I conclude by outlining some directions for further research. (shrink)

Edward Nieznanski developed in 2007 and 2008 two different systems in formal logic which deal with the problem of evil. Particularly, his aim is to refute a version of the logical problem of evil associated with a form of religious determinism. In this paper, we revisit his first system to give a more suitable form to it, reformulating it in first-order modal logic. The new resulting system, called N1, has much of the original basic structure, and many (...) axioms, definitions, and theorems still remain; however, some new results are obtained. If the conclusions attained are correct and true, then N1 solves the problem of evil through the refutation of a version of religious determinism, showing that the attributes of God in Classical Theism, namely, those of omniscience, omnipotence, infallibility, and omnibenevolence, when adequately formalized, are consistent with the existence of evil in the world. We consider that N1 is a good example of how formal systems can be applied in solving interesting philosophical issues, particularly in Philosophy of Religion and Analytic Theology, establishing bridges between such disciplines. (shrink)

‘Quantified pure existentials’ are sentences (e.g., ‘Some things do not exist’) which meet these conditions: (i) the verb EXIST is contained in, and is, apart from quantificational BE, the only full (as against auxiliary) verb in the sentence; (ii) no (other) logical predicate features in the sentence; (iii) no name or other sub-sentential referring expression features in the sentence; (iv) the sentence contains a quantifier that is not an occurrence of EXIST. Colin McGinn and Rod Girle have alleged that standard (...) first-order logic cannot adequately deal with some such existentials. The article defends the view that it can. (shrink)

Panqualityism, recently defended by Sam Coleman, is a variety of Russellian monism on which the categorical properties of fundamental physical entities are qualities, or, in Coleman’s exposition, unconscious qualia. Coleman defends a quotationalist, higher-order thought version of panqualityism. The aim of this paper is, first, to demonstrate that a first-order representationalist panqualityism is also available, and to argue positively in its favor. For it shall become apparent that quotationalist and first-order representationalist panqualityism are, in (...) spite of their close similarities, radically different theories: quotationalist panqualityism locates qualities in the subject of an experience, while first-order panqualityism locates qualities in the world. I argue that this makes quotationalist panqualityism implausible and first-order, representationalist panqualityism a highly natural, elegant, and intuitive theory. (shrink)

In this paper paraconsistent first-order logic LP^{#} with infinite hierarchy levels of contradiction is proposed. Corresponding paraconsistent set theory KSth^{#} is discussed.Axiomatical system HST^{#}as paraconsistent generalization of Hrbacek set theory HST is considered.

A first-order logic of belief with identity is proposed, primarily to give an account of possible de re contradictory beliefs, which sometimes occur as consequences of de dicto non-contradictory beliefs. A model has two separate, though interconnected domains: the domain of objects and the domain of appearances. The satisfaction of atomic formulas is defined by a particular S-accessibility relation between worlds. Identity is non-classical, and is conceived as an equivalence relation having the classical identity relation as a subset. (...) A tableau system with labels, signs, and suffixes is defined, extending the basic language $\mathscr{L}_{\mathbf{QB}}$ by quasiformulas (to express the denotations of predicates). The proposed logical system is paraconsistent since $\phi \wedge \neg\phi$ does not ``explode'' with arbitrary syntactic consequences. (shrink)

Basic Formal Ontology (BFO) is a top-level ontology used in hundreds of active projects in scientific and other domains. BFO has been selected to serve as top-level ontology in the Industrial Ontologies Foundry (IOF), an initiative to create a suite of ontologies to support digital manufacturing on the part of representatives from a number of branches of the advanced manufacturing industries. We here present a first draft set of axioms and definitions of an IOF upper ontology descending from BFO. (...) The axiomatization is designed to capture the meanings of terms commonly used in manufacturing and is designed to serve as starting point for the construction of the IOF ontology suite. (shrink)

Starting from certain metalogical results, I argue that first-order logical truths of classical logic are a priori and necessary. Afterwards, I formulate two arguments for the idea that first-order logical truths are also analytic, namely, I first argue that there is a conceptual connection between aprioricity, necessity, and analyticity, such that aprioricity together with necessity entails analyticity; then, I argue that the structure of natural deduction systems for FOL displays the analyticity of its truths. Consequently, (...) each philosophical approach to these truths should account for this evidence, i.e., that first-order logical truths are a priori, necessary, and analytic, and it is my contention that the semantic account is a better candidate. (shrink)

In his book Modal Logic as Metaphysics, Timothy Williamson defends first-order necessitism using simplicity as a powerful argument. However, simplicity is decomposed into two different, even antagonistic, sides: elegance and parsimony. On the one hand, elegance is the property of theories possessing few and simple principles that allow them to deploy all their theoretical power; on the other hand, parsimony is the property of theories having the fair and necessary number of ontological entities that allow such theories give (...) an account of themselves. Since necessitism endorses Barcan Formulae for the sake of elegance, it is committed to a vast number of contingently non-concrete objects, so one may think that it is not qualitatively parsimonious. I argue that necessitism could be viewed as an additive case in the sense that Alan Baker characterizes the adjective so quantitative parsimony should be considered when it comes to necessitism instead of qualitative parsimony. (shrink)

In §21 of Grundgesetze der Arithmetik asks us to consider the forms: a a2 = 4 and a a > 0 and notices that they can be obtained from a φ(a) by replacing the function-name placeholder φ(ξ) by names for the functions ξ2 = 4 and ξ > 0 (and the placeholder cannot be replaced by names of objects or of functions of 2 arguments).

One well known problem regarding quantifiers, in particular the 1storder quantifiers, is connected with their syntactic categories and denotations. The unsatisfactory efforts to establish the syntactic and ontological categories of quantifiers in formalized first-order languages can be solved by means of the so called principle of categorial compatibility formulated by Roman Suszko, referring to some innovative ideas of Gottlob Frege and visible in syntactic and semantic compatibility of language expressions. In the paper the principle is introduced for categorial (...) languages generated by the Ajdukiewicz’s classical categorial grammar. The 1st-order quantifiers are typically ambiguous. Every 1st-order quantifier of the type k > 0 is treated as a two-argument functorfunction defined on the variable standing at this quantifier and its scope (the sentential function with exactly k free variables, including the variable bound by this quantifier); a binary function defined on denotations of its two arguments is its denotation. Denotations of sentential functions, and hence also quantifiers, are defined separately in Fregean and in situational semantics. They belong to the ontological categories that correspond to the syntactic categories of these sentential functions and the considered quantifiers. The main result of the paper is a solution of the problem of categories of the 1st-order quantifiers based on the principle of categorial compatibility. (shrink)

A uniform construction for sequent calculi for finite-valued first-order logics with distribution quantifiers is exhibited. Completeness, cut-elimination and midsequent theorems are established. As an application, an analog of Herbrand’s theorem for the four-valued knowledge-representation logic of Belnap and Ginsberg is presented. It is indicated how this theorem can be used for reasoning about knowledge bases with incomplete and inconsistent information.

One well known problem regarding quantifiers, in particular the 1st order quantifiers, is connected with their syntactic categories and denotations.The unsatisfactory efforts to establish the syntactic and ontological categories of quantifiers in formalized first-order languages can be solved by means of the so called principle of categorial compatibility formulated by Roman Suszko, referring to some innovative ideas of Gottlob Frege and visible in syntactic and semantic compatibility of language expressions. In the paper the principle is introduced for (...) categorial languages generated by the Ajdukiewicz’s classical categorial grammar. The 1st-order quantifiers are typically ambiguous. Every 1st-order quantifier of the type k > 0 is treated as a two-argument functor-function defined on the variable standing at this quantifier and its scope (the sentential function with exactly k free variables, including the variable bound by this quantifier); a binary function defined on denotations of its two arguments is its denotation. Denotations of sentential functions, and hence also quantifiers, are defined separately in Fregean and in situational semantics. They belong to the ontological categories that correspond to the syntactic categories of these sentential functions and the considered quantifiers. The main result of the paper is a solution of the problem of categories of the 1st-order quantifiers based on the principle of categorial compatibility. (shrink)

In this article, logical concepts are defined using the internal syntactic and semantic structure of language. For a first-order language, it has been shown that its logical constants are connectives and a certain type of quantifiers for which the universal and existential quantifiers form a functionally complete set of quantifiers. Neither equality nor cardinal quantifiers belong to the logical constants of a first-order language.

The first-order temporal logics with □ and ○ of time structures isomorphic to ω (discrete linear time) and trees of ω-segments (linear time with branching gaps) and some of its fragments are compared: the first is not recursively axiomatizable. For the second, a cut-free complete sequent calculus is given, and from this, a resolution system is derived by the method of Maslov.

In 1942 Haskell B. Curry presented what is now called Curry's paradox which can be found in a logic independently of its stand on negation. In recent years there has been a revitalised interest in non-classical solutions to the semantic paradoxes. In this article the non-classical resolution of Curry’s Paradox and Shaw-Kwei' sparadox without rejection any contraction postulate is proposed. In additional relevant paraconsistent logic C ̌_n^#,1≤n<ω, in fact,provide an effective way of circumventing triviality of da Costa’s paraconsistent Set Theories〖NF〗n^C.

It is shown that the infinite-valued first-order Gödel logic G° based on the set of truth values {1/k: k ε w {0}} U {0} is not r.e. The logic G° is the same as that obtained from the Kripke semantics for first-order intuitionistic logic with constant domains and where the order structure of the model is linear. From this, the unaxiomatizability of Kröger's temporal logic of programs (even of the fragment without the nexttime operator O) (...) and of the authors' temporal logic of linear discrete time with gaps follows. (shrink)

Many authors have noted that there are types of English modal sentences cannot be formalized in the language of basic first-order modal logic. Some widely discussed examples include “There could have been things other than there actually are” and “Everyone who is actually rich could have been poor.” In response to this lack of expressive power, many authors have discussed extensions of first-order modal logic with two-dimensional operators. But claims about the relative expressive power of these (...) extensions are often justified only by example rather than by rigorous proof. In this paper, we provide proofs of many of these claims and present a more complete picture of the expressive landscape for such languages. (shrink)

We discuss cases where subjects seem to enjoy conscious experience when the relevant first-order perceptual representations are either missing or too weak to account for the experience. Though these cases are originally considered to be theoretical possibilities that may be problematical for the higher-order view of consciousness, careful considerations of actual empirical examples suggest that this strategy may backfire; these cases may cause more trouble for first-order theories instead. Specifically, these cases suggest that (I) recurrent (...) feedback loops to V1 are most likely not the neural correlate of first-order representations for conscious experience, (II) first-order views seem to have a problem accounting for the phenomenology in these cases, and either (III) a version of the ambitious higher-order approach is superior in that it is the simplest theory that can account for all results at face value, or (IV) a view where phenomenology is jointly determined by both first-order and higher-order states. In our view (III) and (IV) are both live options and the decision between them may ultimately be an empirical question that cannot yet be decided. (shrink)

We show how removing faith-based beliefs in current philosophies of classical and constructive mathematics admits formal, evidence-based, definitions of constructive mathematics; of a constructively well-defined logic of a formal mathematical language; and of a constructively well-defined model of such a language. -/- We argue that, from an evidence-based perspective, classical approaches which follow Hilbert's formal definitions of quantification can be labelled `theistic'; whilst constructive approaches based on Brouwer's philosophy of Intuitionism can be labelled `atheistic'. -/- We then adopt what may (...) be labelled a finitary, evidence-based, `agnostic' perspective and argue that Brouwerian atheism is merely a restricted perspective within the finitary agnostic perspective, whilst Hilbertian theism contradicts the finitary agnostic perspective. -/- We then consider the argument that Tarski's classic definitions permit an intelligence---whether human or mechanistic---to admit finitary, evidence-based, definitions of the satisfaction and truth of the atomic formulas of the first-order Peano Arithmetic PA over the domain N of the natural numbers in two, hitherto unsuspected and essentially different, ways. -/- We show that the two definitions correspond to two distinctly different---not necessarily evidence-based but complementary---assignments of satisfaction and truth to the compound formulas of PA over N. -/- We further show that the PA axioms are true over N, and that the PA rules of inference preserve truth over N, under both the complementary interpretations; and conclude some unsuspected constructive consequences of such complementarity for the foundations of mathematics, logic, philosophy, and the physical sciences. -/- . (shrink)

To explore the extent of embeddability of Leibnizian infinitesimal calculus in first-order logic (FOL) and modern frameworks, we propose to set aside ontological issues and focus on pro- cedural questions. This would enable an account of Leibnizian procedures in a framework limited to FOL with a small number of additional ingredients such as the relation of infinite proximity. If, as we argue here, first order logic is indeed suitable for developing modern proxies for the inferential moves (...) found in Leibnizian infinitesimal calculus, then modern infinitesimal frameworks are more appropriate to interpreting Leibnizian infinitesimal calculus than modern Weierstrassian ones. (shrink)

It is widely taken that the first-order part of Frege's Begriffsschrift is complete. However, there does not seem to have been a formal verification of this received claim. The general concern is that Frege's system is one axiom short in the first-order predicate calculus comparing to, by now, the standard first-order theory. Yet Frege has one extra inference rule in his system. Then the question is whether Frege's first-order calculus is still deductively (...) sufficient as far as the first-order completeness is concerned. In this short note we confirm that the missing axiom is derivable from his stated axioms and inference rules, and hence the logic system in the Begriffsschrift is indeed first-order complete. (shrink)

All first-order Gödel logics G_V with globalization operator based on truth value sets V C [0,1] where 0 and 1 lie in the perfect kernel of V are axiomatized by Ciabattoni’s hypersequent calculus HGIF.

In the present paper, we prove the normalization theorem and the consistency of the first-order classical logic with disjunctive syllogism. First, we propose the natural deduction system SCD for classical propositional logic having rules for conjunction, implication, negation, and disjunction. The rules for disjunctive syllogism are regarded as the rules for disjunction. After we prove the normalization theorem and the consistency of SCD, we extend SCD to the system SPCD for the first-order classical logic with (...) disjunctive syllogism. It can be shown that SPCD is conservative extension to SCD. Then, the normalization theorem and the consistency of SPCD are given. (shrink)

Interesting as they are by themselves in philosophy and mathematics, paradoxes can be made even more fascinating when turned into proofs and theorems. For example, Russell’s paradox, which overthrew Frege’s logical edifice, is now a classical theorem in set theory, to the effect that no set contains all sets. Paradoxes can be used in proofs of some other theorems—thus Liar’s paradox has been used in the classical proof of Tarski’s theorem on the undefinability of truth in sufficiently rich languages. This (...) paradox (as well as Richard’s paradox) appears implicitly in Gödel’s proof of his celebrated first incompleteness theorem. In this paper, we study Yablo’s paradox from the viewpoint of first- and second-order logics. We prove that a formalization of Yablo’s paradox (which is second order in nature) is non-first-orderizable in the sense of George Boolos (1984). (shrink)

This document presents a Gentzen-style deductive calculus and proves that it is complete with respect to a 3-valued semantics for a language with quantifiers. The semantics resembles the strong Kleene semantics with respect to conjunction, disjunction and negation. The completeness proof for the sentential fragment fills in the details of a proof sketched in Arnon Avron (2003). The extension to quantifiers is original but uses standard techniques.

This note clarifies an error in the proof of the main theorem of “The Ricean Objection: An Analogue of Rice’s Theorem for First-Order Theories”, Logic Journal of the IGPL, 16(6): 585–590(2008).

Provided here is an account, both syntactic and semantic, of first-order and monadic second-order quantification theory for domains that may be non-atomic. Although the rules of inference largely parallel those of classical logic, there are important differences in connection with the identification of argument places and the significance of the identity relation.

This paper argues that, given the representational theory of mind, one cannot know a priori that one knows that p as opposed to being incapable of having any knowledge states; but one can know a priori that one knows that p as opposed to some other proposition q.

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)

Several of Thomas Aquinas's proofs for the existence of God rely on the claim that causal series cannot proceed in infinitum. I argue that Aquinas has good reason to hold this claim given his conception of causation. Because he holds that effects are ontologically dependent on their causes, he holds that the relevant causal series are wholly derivative: the later members of such series serve as causes only insofar as they have been caused by and are effects of the earlier (...) members. Because the intermediate causes in such series possess causal powers only by deriving them from all the preceding causes, they need a first and non-derivative cause to serve as the source of their causal powers. (shrink)

This chapter explores the metaphysical views about higher-order logic held by two individuals responsible for introducing it to philosophy: Gottlob Frege (1848–1925) and Bertrand Russell (1872–1970). Frege understood a function at first as the remainder of the content of a proposition when one component was taken out or seen as replaceable by others, and later as a mapping between objects. His logic employed second-order quantifiers ranging over such functions, and he saw a deep division in nature between (...) objects and functions. Russell understood propositional functions as what is obtained when constituents of propositions are replaced by variables, but eventually denied that they were entities in their own right. Both encountered contradictions when supposing there to exist as many objects as functions, and both adopted views about the meaningfulness of higher-order discourse that were difficult to state from within their own strictures. (shrink)

In the contemporary epistemological literature, peer disagreement is often taken to be an instance of a more general phenomenon of “higher-order evidence.” Correspondingly, its epistemic significance is often thought to turn on the epistemic significance of higher-order evidence in general. This chapter attempts to evaluate this claim, and in doing so to clarify some points of unclarity in the current literature – both about what it is for evidence to be “higher-order,” and about the relationship between disagreement (...) and higher-order evidence. We will begin by considering some candidate definitions of “higher-order evidence,” and offering our own definition that attempts to capture the phenomenon of interest. We will then consider, in light of this definition, whether disagreement and its epistemic significance are best-understood as a kind of higher-order evidence. We’ll argue that although peer disagreement can be epistemically significant qua higher-order evidence, this role doesn’t exhaust its significance, and that it can also serve as straightforward first-order evidence. Finally, we’ll suggest that inattention to this latter point has made broadly conciliatory views about peer disagreement seem somewhat easier to resist than they in fact are. (shrink)

Subverting a once widely held Quinean paradigm, there is a growing consensus among philosophers of logic that higher-order quantifiers (which bind variables in the syntactic position of predicates and sentences) are a perfectly legitimate and useful instrument in the logico-philosophical toolbox, while neither being reducible to nor fully explicable in terms of first-order quantifiers (which bind variables in singular term position). This article discusses the impact of this quantificational paradigm shift on metaphysics, focussing on theories of properties, (...) propositions, and identity, as well as on the metaphysics of modality. (shrink)

You have higher-order uncertainty iff you are uncertain of what opinions you should have. I defend three claims about it. First, the higher-order evidence debate can be helpfully reframed in terms of higher-order uncertainty. The central question becomes how your first- and higher-order opinions should relate—a precise question that can be embedded within a general, tractable framework. Second, this question is nontrivial. Rational higher-order uncertainty is pervasive, and lies at the foundations of the (...) epistemology of disagreement. Third, the answer is not obvious. The Enkratic Intuition---that your first-order opinions must “line up” with your higher-order opinions---is incorrect; epistemic akrasia can be rational. If all this is right, then it leaves us without answers---but with a clear picture of the question, and a fruitful strategy for pursuing it. (shrink)

“Second-order Logic” in Anderson, C.A. and Zeleny, M., Eds. Logic, Meaning, and Computation: Essays in Memory of Alonzo Church. Dordrecht: Kluwer, 2001. Pp. 61–76. -/- Abstract. This expository article focuses on the fundamental differences between second- order logic and first-order logic. It is written entirely in ordinary English without logical symbols. It employs second-order propositions and second-order reasoning in a natural way to illustrate the fact that second-order logic is actually a familiar part (...) of our traditional intuitive logical framework and that it is not an artificial formalism created by specialists for technical purposes. To illustrate some of the main relationships between second-order logic and first-order logic, this paper introduces basic logic, a kind of zero-order logic, which is more rudimentary than first-order and which is transcended by first-order in the same way that first-order is transcended by second-order. The heuristic effectiveness and the historical importance of second-order logic are reviewed in the context of the contemporary debate over the legitimacy of second-order logic. Rejection of second-order logic is viewed as radical: an incipient paradigm shift involving radical repudiation of a part of our scientific tradition, a tradition that is defended by classical logicians. But it is also viewed as reactionary: as being analogous to the reactionary repudiation of symbolic logic by supporters of “Aristotelian” traditional logic. But even if “genuine” logic comes to be regarded as excluding second-order reasoning, which seems less likely today than fifty years ago, its effectiveness as a heuristic instrument will remain and its importance for understanding the history of logic and mathematics will not be diminished. Second-order logic may someday be gone, but it will never be forgotten. Technical formalisms have been avoided entirely in an effort to reach a wide audience, but every effort has been made to limit the inevitable sacrifice of rigor. People who do not know second-order logic cannot understand the modern debate over its legitimacy and they are cut-off from the heuristic advantages of second-order logic. And, what may be worse, they are cut-off from an understanding of the history of logic and thus are constrained to have distorted views of the nature of the subject. As Aristotle first said, we do not understand a discipline until we have seen its development. It is a truism that a person's conceptions of what a discipline is and of what it can become are predicated on their conception of what it has been. (shrink)

Higher-order realists about properties express their view that there are properties with the help of higher-order rather than first-order quantifiers. They claim two types of advantages for this way of formulating property realism. First, certain gridlocked debates about the nature of properties, such as the immanentism versus transcendentalism dispute, are taken to be dissolved. Second, a further such debate, the tropes versus universals dispute, is taken to be resolved. In this paper I first argue (...) that higher-order realism does not in fact resolve the tropes versus universals dispute. In a constructive spirit, I then develop higher-order realism in a way that leads to a dissolution, rather than a resolution, of this dispute too. (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)

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)

Conscious mental states are states we are in some way aware of. I compare higher-order theories of consciousness, which explain consciousness by appeal to such higher-order awareness (HOA), and first-order theories, which do not, and I argue that higher-order theories have substantial explanatory advantages. The higher-order nature of our awareness of our conscious states suggests an analogy with the metacognition that figures in the regulation of psychological processes and behaviour. I argue that, although both (...) consciousness and metacognition involve higher-order psychological states, they have little more in common. One thing they do share is the possibility of misrepresentation; just as metacognitive processing can misrepresent one’s cognitive states and abilities, so the HOA in virtue of which one’s mental states are conscious can, and sometimes does, misdescribe those states. A striking difference between the two, however, has to do with utility for psychological processing. Metacognition has considerable benefit for psychological processing; in contrast, it is unlikely that there is much, if any, utility to mental states’ being conscious over and above the utility those states have when they are not conscious. (shrink)

According to the seventh-century C.E. philosopher Kumārila Bhat.t.a, epistemic agents are warranted in taking their world-presenting experiences as veridical, if they lack defeaters. For him, these experiences are defeasibly sources of knowledge without the agent reflecting on their content or investigating their causal origins. This position is known as svatah prāmāṇya in Sanskrit (henceforth the SP principle). -/- As explicated by the eleventh-century commentator, Pārthasārathi Misŕa, this position entails that epistemic agents know things without simultaneously knowing that they know them, (...) or being in a position to know that they know. In contrast, some contemporary Anglo-analytic philosophers argue for the “knows-knows principle” (KK principle), in which if someone knows that p, then that person also knows that they know that p, or that person is in a position to know that they know p. Despite some apparent similarities, the SP principle is not a version of the KK principle, nor would Pārthasārathi’s Kumārila have held the KK principle. -/- Recently, Daniel Immerman (2018) has argued that the SP principle is a position-to-know version of the “knows-knows principle” (KK-pos principle). By examining Kumārila’s response to his Buddhist opponent, who challenges the veracity of Vedic testimony, we will see that Kumārila understands higher-order knowing as involving an independent check on one’s epistemic processes, through an epistemic instrument known as postulation (arthāpatti). This precludes him from holding the KK-pos principle. (shrink)

This chapter offers an opinionated introduction to higher-order formal languages with an eye towards their applications in metaphysics. A simply relationally typed higher-order language is introduced in four stages: starting with first-order logic, adding first-order predicate abstraction, generalizing to higher-order predicate abstraction, and finally adding higher-order quantification. It is argued that both β-conversion and Universal Instantiation are valid on the intended interpretation of this language. Given these two principles, it is then shown (...) how we can use pure higher-order logic to ask, and begin to answer, metaphysical questions with non-trivial implications. In particular, while we must reject the popular idea that structural differences between sentences correspond to parallel distinctions in the logical structure of extra-linguistic reality, it may still be possible to give a purely logical characterization of objectual aboutness and related notions. (shrink)

According to what Birch (2022) calls the theory-heavy approach to investigating nonhuman-animal consciousness, we select one of the well-developed theories of consciousness currently debated within contemporary cognitive science and investigate whether animals exhibit the neural structures or cognitive abilities posited by that theory as sufficient for consciousness. Birch argues, however, that this approach is in general problematic because it faces what he dubs the dilemma of demandingness—roughly, that we cannot use theories that are based on the human case to assess (...) consciousness in nonhuman animals and vice versa. We argue here that, though this dilemma may problematize the application of many current accounts of consciousness to nonhuman animals, it does not challenge the use of standard versions of the higher-order thought theory (“HOTT”) of consciousness, according to which a creature is in a conscious mental state just in case it is aware of being in that state via a suitable higher-order thought (“HOT”). We show this in two ways. First, we argue that, unlike many extant theories of consciousness, HOTT is typically motivated by a commonsense, and more importantly, neutral condition on consciousness that applies to humans and animals alike. Second, we offer new empirical and theoretical reasons to think that many nonhuman animals possess the relevant HOTs necessary for consciousness. Considering these issues not only reveals the explanatory power of HOTT and some of its advantages over rival accounts, but also enables us to further extend and clarify the theory. (shrink)

First-order evidence is evidence which bears on whether a proposition is true. Higher-order evidence is evidence which bears on whether a person is able to assess her evidence for or against a proposition. A widespread view is that higher-order evidence makes a difference to whether it is rational for a person to believe a proposition. In this paper, I consider in what way higher-order evidence might do this. More specifically, I consider whether and how higher- (...) class='Hi'>order evidence plays a role in determining what it is rational to believe distinct from that which first-order evidence plays. To do this, I turn to the theory of reasons, and try to situate higher-order evidence within it. The only place I find for it there, distinct from that which first-order evidence already occupies, is as a practical reason, that is, as a reason for desire or action. One might take this to show either that the theory of reasons is inadequate as it stands or that higher-order evidence makes no distinctive difference to what it is rational to believe. I tentatively endorse the second option. (shrink)

This paper concerns would-be necessary connections between doxastic attitudes about the epistemic statuses of your doxastic attitudes, or ‘higher-order epistemic attitudes’, and the epistemic statuses of those doxastic attitudes. I will argue that, in some situations, it can be reasonable for a person to believe p and to suspend judgment about whether believing p is reasonable for her. This will set the stage for an account of the virtue of intellectual humility, on which humility is a matter of your (...) higher-order epistemic attitudes. Recent discussions in the epistemology of disagreement have assumed that the question of the proper response to disagreement about p concerns whether you ought to change your doxastic attitude towards p. My conclusion here suggests an alternative approach, on which the question of the proper response to disagreement about p concerns the proper doxastic attitude to adopt concerning the epistemic status of your doxastic attitude towards p.Send article to KindleTo send this article to your Kindle, first ensure [email protected] is added to your Approved Personal Document E-mail List under your Personal Document Settings on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part of your Kindle email address below. Find out more about sending to your Kindle. Find out more about sending to your Kindle. Note you can select to send to either the @free.kindle.com or @kindle.com variations. ‘@free.kindle.com’ emails are free but can only be sent to your device when it is connected to wi-fi. ‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply. Find out more about the Kindle Personal Document Service.HIGHER-ORDER EPISTEMIC ATTITUDES AND INTELLECTUAL HUMILITYVolume 9, Issue 3Allan HazlettDOI: https://doi.org/10.1017/epi.2012.11Your Kindle email address Please provide your Kindle [email protected]@kindle.com Available formats PDF Please select a format to send. By using this service, you agree that you will only keep articles for personal use, and will not openly distribute them via Dropbox, Google Drive or other file sharing services. Please confirm that you accept the terms of use. Cancel Send ×Send article to Dropbox To send this article to your Dropbox account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about sending content to Dropbox. HIGHER-ORDER EPISTEMIC ATTITUDES AND INTELLECTUAL HUMILITYVolume 9, Issue 3Allan HazlettDOI: https://doi.org/10.1017/epi.2012.11Available formats PDF Please select a format to send. By using this service, you agree that you will only keep articles for personal use, and will not openly distribute them via Dropbox, Google Drive or other file sharing services. Please confirm that you accept the terms of use. Cancel Send ×Send article to Google Drive To send this article to your Google Drive account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about sending content to Google Drive. HIGHER-ORDER EPISTEMIC ATTITUDES AND INTELLECTUAL HUMILITYVolume 9, Issue 3Allan HazlettDOI: https://doi.org/10.1017/epi.2012.11Available formats PDF Please select a format to send. By using this service, you agree that you will only keep articles for personal use, and will not openly distribute them via Dropbox, Google Drive or other file sharing services. Please confirm that you accept the terms of use. Cancel Send ×Export citation Request permission. (shrink)

Higher-order logic augments first-order logic with devices that let us generalize into grammatical positions other than that of a singular term. Some recent metaphysicians have advocated for using these devices to raise and answer questions that bear on many traditional issues in philosophy. In contrast to these 'higher-order metaphysicians', traditional metaphysics has often focused on parallel, but importantly different, questions concerning special sorts of abstract objects: propositions, properties and relations. The answers to the higher-order and (...) the property-theoretic questions may coincide sometimes but will often come apart. I argue that when they do, the higher-order questions are closer to the metaphysical action and so it would be better for these debates to proceed in higher-order terms. (shrink)