With the approval and dissemination of CHED Memorandum Order Number 15, Series of 2019 in the Philippines, graduate students both in the Master of Science/Master of Arts Academic Track and Doctor of Philosophy Academic Track/Doctor of Philosophy by Research are now compelled to publish or, at least, show evidence of acceptance of research studies in refereed journals, or nationally or internationally indexed journals. Coriat (2019) claims that the value of research to society and its relationship to wealth and (...) competitiveness has long been established. But then, developing countries’ embrace, as in the case of the Philippines, of international publishing standards has received little attention (Vuong, 2019). As a result, publication pollution is growing by the day since developing-country writers including Filipino researchers lack expertise and mentoring (Jawaid, 2016). Thereupon, this policy review brings to the fore various deterrents in the fruition of students’ publications, pertinent questions than can stir waves of reflection among readers, professors, and administrators, to name a few, and mentorship as the saving grace for the emerging problems. Mentorship in this article means that the mentor and the mentee work hand in hand from research ideation to research presentation or publication. (shrink)

Friendship and romantic love are, by their very nature, exclusive relationships. This paper sug- gests that we can better understand the nature of the exclusivity in question by understanding what is wrong with the view of practical reasoning I call the Comprehensive Surveyor View. The CSV claims that practical reasoning, in order to be rational, must be a process of choosing the best available alternative from a perspective that is as detached and objective as possible. But this view, while (...) it means to be neutral between various value-bearers, in fact incorporates a bias against those value-bearers that can only be appreciated from a perspective that is not deta- ched—that can only be appreciated, for instance, by agents who bear long-term commitments to the values in question. In the realm of personal relationships, such commitments tend to give rise to the sort of exclusivity that characterizes friendship and romantic love; they prevent the agent from being impartial between her beloved’s needs, interests, etc., and those of other per- sons. In such contexts, I suggest, needs and claims of other persons may be silenced in much the way that, as John McDowell has suggested, the temptations of immorality are silenced for the virtuous agent. (shrink)

Disputes at the intersection of national security, surveillance, civil liberties, and transparency are nothing new, but they have become a particularly prominent part of public discourse in the years since the attacks on the World Trade Center in September 2001. This is in part due to the dramatic nature of those attacks, in part based on significant legal developments after the attacks (classifying persons as “enemy combatants” outside the scope of traditional Geneva protections, legal memos by White House counsel providing (...) rationale for torture, the USA Patriot Act), and in part because of the rapid development of communications and computing technologies that enable both greater connectivity among people and the greater ability to collect information about those connections. -/- One important way in which these questions intersect is in the controversy surrounding bulk collection of telephone metadata by the U.S. National Security Agency. The bulk metadata program (the “metadata program” or “program”) involved court orders under section 215 of the USA Patriot Act requiring telecommunications companies to provide records about all calls the companies handled and the creation of database that the NSA could search. The program was revealed to the general public in June 2013 as part of the large document leak by Edward Snowden, a former contractor for the NSA. -/- A fair amount has been written about section 215 and the bulk metadata program. Much of the commentary has focused on three discrete issues. First is whether the program is legal; that is, does the program comport with the language of the statute and is it consistent with Fourth Amendment protections against unreasonable searches and seizures? Second is whether the program infringes privacy rights; that is, does bulk metadata collection diminish individual privacy in a way that rises to the level that it infringes persons’ rights to privacy? Third is whether the secrecy of the program is inconsistent with democratic accountability. After all, people in the general public only became aware of the metadata program via the Snowden leaks; absent those leaks, there would have not likely been the sort of political backlash and investigation necessary to provide some kind of accountability. -/- In this chapter I argue that we need to look at these not as discrete questions, but as intersecting ones. The metadata program is not simply a legal problem (though it is one); it is not simply a privacy problem (though it is one); and it is not simply a secrecy problem (though it is one). Instead, the importance of the metadata program is the way in which these problems intersect and reinforce one another. Specifically, I will argue that the intersection of the questions undermines the value of rights, and that this is a deeper and more far-reaching moral problem than each of the component questions. (shrink)

Em A intuição do instante (1932) e A dialética da duração (1936), a problematização a respeito do tempo levantada por Bachelard, a partir das teses bergsonianas da duração, deixa de ser uma simples reinterpretação do conceito de tempo e passa a se encaminhar aos poucos para uma ruptura evidente com o bergsonismo. Neste artigo, trataremos dessa ruptura via a interpretação psicológica da duração feita por Bachelard, fato esse que automaticamente estabelece um contraponto com o psicologismo temporal bergsoniano, sobretudo em A (...) dialética da duração, onde ele irá forjar seu entendimento de consciência temporal e, por consequência, de memória. Ao estabelecer tal crítica Bachelard filia sua ideia de tempo psicológico às noções de ato de consciência e atenção que, por sua vez, estão circunscritas à razão que ordena os instantes descontínuos, sejam eles eficazes e ricos ou ineficazes e pobres. Mostraremos de que maneira isso ocorre e é desenvolvido em sua filosofia a partir de três passos decisivos: 1) uma interpretação de memória apoiada nas teses sobre a conduta do psicólogo Pierre Janet (contra a imediaticidade); 2) por meio de uma evidenciação do dinamismo e liberdade presentes na psyché e na própria memória a partir da valorização da ideia de intervalos imanentes às estruturas da consciência (descontinuidade); 3) uma interpretação de memória como espera (possibilidade). (shrink)

Higher‐order metaphysicians take facts to be higher‐order beings, i.e., entities in the range of irreducibly higher‐order quantifiers. In this paper, I investigate the impact of this conception of facts on the debate about the reality of tense. I identify two major repercussions. The first concerns the logical space of tense realism: on a higher‐order conception of facts, a prominent version of tense realism, dynamic absolutism, turns out to conflict with the laws of (higher‐order tense) logic. (...) The second concerns our understanding of the positions occupying this logical space: on a higher‐order conception of facts, an attractive interpretation of the central tense realist notion of ‘facts constituting reality’ becomes unavailable. I discuss these results in the context of the more general project of higher‐order metaphysics and the (meta)metaphysics of time, drawing out their implications for the nature of the disputes both between realists and anti‐realists about tense and between different tense realist factions. (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)

Sovereign Order of Royal El Roman Intro-angeles (polygyny) Family Sub-mission of the Jesus Christ' Holy See Teachings on His Kingdoms Mission, called the SOVEREIGN ORDER OF ROYAL EL-ROMANIA, The SO°RER†‡ Mission is a Bible scriptures studies, research, publications and teachings oriented sovereign polygyny family household basis mission order whereas Council of the Queens is the major organ and Queens are the principal research associates of the mission organization, Sovereign Order of Royal El-Romania, which aim to print (...) a book entitled "Christ Ministries Words: A Book of Bible Explanatory Testimonial of His Kingdom'', as Gen Hari Seldon's co-authors. Furthermore, the scope of the mission is to studies of the Holy Bible scriptures analysis to understand the doctrines of sacred theology of God's plan towards continuing development of humanity. (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)

Evidentialism is the thesis, roughly, that one’s beliefs should fit one’s evidence. The enkratic principle is the thesis, roughly, that one’s beliefs should "line up" with one’s beliefs about which beliefs one ought to have. While both theses have seemed attractive to many, they jointly entail the controversial thesis that self-misleading evidence is impossible. That is to say, if evidentialism and the enkratic principle are both true, one’s evidence cannot support certain false beliefs about which beliefs one’s evidence supports. Recently, (...) a number of epistemologists have challenged the thesis that self-misleading evidence is impossible on the grounds that misleading higher-order evidence does not have the kind of strong and systematic defeating force that would be needed to rule out the possibility of such self-misleading evidence. Here I respond to this challenge by proposing an account of higher-order defeat that does, indeed, render self-misleading evidence impossible. Central to the proposal is the idea that higher-order evidence acquires its normative force by influencing which conditional beliefs it is rational to have. What emerges, I argue, is an independently plausible view of higher-order evidence, which has the additional benefit of allowing us to reconcile evidentialism with the enkratic principle. (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)

Higher-order defeat occurs when one loses justification for one's beliefs as a result of receiving evidence that those beliefs resulted from a cognitive malfunction. Several philosophers have identified features of higher-order defeat that distinguish it from familiar types of defeat. If higher-order defeat has these features, they are data an account of rational belief must capture. In this article, I identify a new distinguishing feature of higher-order defeat, and I argue that on its own, and in (...) conjunction with the other distinguishing features, it favors an account of higher-order defeat grounded in non-evidential, ‘state-given reasons’ for belief. (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)

A. Poleev. Constitutional order in Russia. Enzymes, Revised print edition 2020.

This paper is a study of higher-order contingentism – the view, roughly, that it is contingent what properties and propositions there are. We explore the motivations for this view and various ways in which it might be developed, synthesizing and expanding on work by Kit Fine, Robert Stalnaker, and Timothy Williamson. Special attention is paid to the question of whether the view makes sense by its own lights, or whether articulating the view requires drawing distinctions among possibilities that, according (...) to the view itself, do not exist to be drawn. The paper begins with a non-technical exposition of the main ideas and technical results, which can be read on its own. This exposition is followed by a formal investigation of higher-order contingentism, in which the tools of variable-domain intensional model theory are used to articulate various versions of the view, understood as theories formulated in a higher-order modal language. Our overall assessment is mixed: higher-order contingentism can be fleshed out into an elegant systematic theory, but perhaps only at the cost of abandoning some of its original motivations. (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)

A number of recent studies have called into question the traditional interpretation of Leibniz as an idealist beginning, at the latest, with the composition of the Discourse on Metaphysics (1686). In particular, in a recent book Daniel Garber affirms that between the late 1670s and late 1690s Leibniz maintains a realist doctrine according to which the created world is populated with extended corporeal substances. In trying to prove his thesis, Garber appeals to a document written in 1690 where Leibniz, addressing (...) an objection by Michelangelo Fardella, denies that bodies are composed of souls, declares that souls are substantial forms, and affirms that bodies are composed instead of substances. According to Garber, this shows that Leibniz then believed that bodies were composed, not of simple substances, but of extended substances possessing souls. Here I try to show that, to the contrary, the mentioned document (along with two others closely associated with it) support the traditional interpretation of Leibniz as an idealist in 1690. (shrink)

Many theories of rational belief give a special place to logic. They say that an ideally rational agent would never be uncertain about logical facts. In short: they say that ideal rationality requires "logical omniscience." Here I argue against the view that ideal rationality requires logical omniscience on the grounds that the requirement of logical omniscience can come into conflict with the requirement to proportion one’s beliefs to the evidence. I proceed in two steps. First, I rehearse an influential line (...) of argument from the "higher-order evidence" debate, which purports to show that it would be dogmatic, even for a cognitively infallible agent, to refuse to revise her beliefs about logical matters in response to evidence indicating that those beliefs are irrational. Second, I defend this "anti-dogmatism" argument against two responses put forth by Declan Smithies and David Christensen. Against Smithies’ response, I argue that it leads to irrational self-ascriptions of epistemic luck, and that it obscures the distinction between propositional and doxastic justification. Against Christensen’s response, I argue that it clashes with one of two attractive deontic principles, and that it is extensionally inadequate. Taken together, these criticisms will suggest that the connection between logic and rationality cannot be what it is standardly taken to be—ideal rationality does not require logical omniscience. (shrink)

It’s widely accepted that higher-order defeaters, i.e., evidence that one’s belief is formed in an epistemically defective way, can defeat doxastic justification. However, it’s yet unclear how exactly such kind of defeat happens. Given that many theories of doxastic justification can be understood as fitting the schema of proper basing on propositional justifiers, we might attempt to explain the defeat either by arguing that a higher-order defeater defeats propositional justification or by arguing that it defeats proper basing. It (...) has been argued that the first attempt is unpromising because a variety of prominent theories of propositional justification don’t imply that we lose propositional justification when gaining higher-order defeaters. This leads some scholars to take the second attempt. In this paper, I criticize this second attempt, and I defend the first attempt by arguing that a theory of propositional justification that requires intellectual responsibility can nicely account for higher-order defeat. My proposal is that we lose doxastic justification when we gain higher-order defeaters because there is no intellectually responsible way for us to maintain our original beliefs due to the defeaters. (shrink)

Two expressive limitations of an infinitary higher-order modal language interpreted on models for higher-order contingentism – the thesis that it is contingent what propositions, properties and relations there are – are established: First, the inexpressibility of certain relations, which leads to the fact that certain model-theoretic existence conditions for relations cannot equivalently be reformulated in terms of being expressible in such a language. Second, the inexpressibility of certain modalized cardinality claims, which shows that in such a language, higher- (...) class='Hi'>order contingentists cannot express what is communicated using various instances of talk of ‘possible things’, such as ‘there are uncountably many possible stars’. (shrink)

Kitcher has proposed an ideal-theory account—well-ordered science (WOS)— of the collective good that science’s research agenda should promote. Against criticism regarding WOS’s action-guidance, Kitcher has advised critics not to confuse substantive ideals and the ways to arrive at them, and he has defended WOS as a necessary and useful ideal for science policy. I provide a distinction between two types of ideal-theories that helps clarifying WOS’s elusive nature. I use this distinction to argue that the action-guidance problem that WOS faces (...) remains even under the aims/means distinction, because the WOS’s failure is more basic than critics have suggested. (shrink)

The paper proposes an account of the rational response to higher‐order evidence whose key claim is that whenever we acquire such evidence we ought to engage in the inquiring activity of double‐checking. Combined with a principle that establishes a connection between rational inquiry and rational belief retention, the account offers a novel explanation of the alleged impermissibility of retaining one's belief in the face of higher‐order evidence. It is argued that this explanation is superior to the main competitor (...) view which appeals to the notion of defeat. (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)

It seems obvious that when higher-order evidence makes it rational for one to doubt that one’s own belief on some matter is rational, this can undermine the rationality of that belief. This is known as higher-order defeat. However, despite its intuitive plausibility, it has proved puzzling how higher-order defeat works, exactly. To highlight two prominent sources of puzzlement, higher-order defeat seems to defy being understood in terms of conditionalization; and higher-order defeat can sometimes place agents (...) in what seem like epistemic dilemmas. This chapter draws attention to an overlooked aspect of higher-order defeat, namely that it can undermine the resilience of one’s beliefs. The notion of resilience was originally devised to understand how one should reflect the ‘weight’ of one’s evidence. But it can also be applied to understand how one should reflect one’s higher-order evidence. The idea is particularly useful for understanding cases where one’s higher-order evidence indicates that one has failed in correctly assessing the evidence, without indicating whether one has over- or underestimated the degree of evidential support for a proposition. But it is exactly in such cases that the puzzles of higher-order defeat seem most compelling. (shrink)

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)

This is an open letter addressed to my fellow Pragmatists concerning the Problem of Induction. Others are of course also welcome to read it.

A critical survey of recent work in epistemology on higher-order evidence. It discusses the nature of higher-order evidence, some puzzles it raises, responses to those puzzles, and problems facing them. It concludes by indicating connections between debates concerning higher-order evidence in epistemology and parallel debates in ethics and aesthetics.

The principle of universal instantiation plays a pivotal role both in the derivation of intensional paradoxes such as Prior’s paradox and Kaplan’s paradox and the debate between necessitism and contingentism. We outline a distinctively free logical approach to the intensional paradoxes and note how the free logical outlook allows one to distinguish two different, though allied themes in higher-order necessitism. We examine the costs of this solution and compare it with the more familiar ramificationist approaches to higher-order logic. (...) Our assessment of both approaches is largely pessimistic, and we remain reluctantly inclined to take Prior’s and Kaplan’s derivations at face value. (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)

ABSTRACT: This paper argues that the so-called paradoxes of higher-order vagueness are the result of a confusion between higher-order vagueness and the distribution of the objects of a Sorites series into extensionally non-overlapping non-empty classes.

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)

A scientific theory is successful, according to Stanford (2000), because it is suficiently observationally similar to its corresponding true theory. The Ptolemaic theory, for example, is successful because it is sufficiently similar to the Copernican theory at the observational level. The suggestion meets the scientific realists' request to explain the success of science without committing to the (approximate) truth of successful scientific theories. I argue that Stanford's proposal has a conceptual flaw. A conceptually sound explanation, I claim, respects the ontological (...) order between properties. A dependent property is to be explained in terms of its underlying property, not the other way around. The applicability of this point goes well beyond the realm of the debate between scientific realists and antirealists. Any philosophers should keep the point in mind when they attempt to give an explanation of a property in their field whatever it may be. (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)

Higher-order evidence is, roughly, evidence of evidence. The idea is that evidence comes in levels. At the first, or lowest, evidential level is evidence of the familiar type—evidence concerning some proposition that is not itself about evidence. At a higher evidential level the evidence concerns some proposition about the evidence at a lower level. Only in relatively recent years has this less familiar type of evidence been explicitly identified as a subject of epistemological focus, and the work on it (...) remains relegated to a small circle of authors and a short stack of published articles—far disproportionate to the attention it deserves. It deserves to occupy center stage for several reasons. First, higher-order evidence frequently arises in a strikingly diverse range of epistemic contexts, including testimony, disagreement, empirical observation, introspection, and memory, among others. Second, in many of the contexts in which it arises, such evidence plays a crucial epistemic role. Third, the precise role it plays is complex, gives rise to a number of interesting epistemological puzzles, and for these reasons remains controversial and is not yet fully understood. As such, higher-order evidence merits systematic investigation. This thesis undertakes such an investigation. It aims to produce a thorough account of higher-order evidence—what it is, how it works, and its epistemic consequences. Chapter 1 serves as a general introduction to the topic and an overview of the existing literature, but primarily aims to further elucidate the concept of higher-order evidence and build a theoretical framework for later chapters. Chapter 2 develops an account of what I call “higher-order support”: the bearing higher-order evidence has, not on corresponding “lower-order evidence” (roughly, the evidence the higher-order evidence is about), but on corresponding “object-level propositions” (roughly, the propositions the higher-order evidence alleges the lower-order evidence to be about). Chapter 3 develops an account of “levels interaction”: the effect on overall support when the different evidential levels combine. Chapter 4 identifies important consequences of the theoretical results of the previous two chapters and applies the theory to four select cases of current epistemological controversy—testimony, memory, the closure of inquiry, and disagreement. (shrink)

On at least one of its uses, ‘higher-order evidence’ refers to evidence about what opinions are rationalized by your evidence. This chapter surveys the foundational epistemological questions raised by such evidence, the methods that have proven useful for answering them, and the potential consequences and applications of such answers.

Titelbaum Oxford studies in epistemology, 2015) has recently argued that the Enkratic Principle is incompatible with the view that rational belief is sensitive to higher-order defeat. That is to say, if it cannot be rational to have akratic beliefs of the form “p, but I shouldn’t believe that p,” then rational beliefs cannot be defeated by higher-order evidence, which indicates that they are irrational. In this paper, I distinguish two ways of understanding Titelbaum’s argument, and argue that neither (...) version is sound. The first version can be shown to rest on a subtle, but crucial, misconstrual of the Enkratic Principle. The second version can be resisted through careful consideration of cases of higher-order defeat. The upshot is that proponents of the Enkratic Principle are free to maintain that rational belief is sensitive to higher-order defeat. (shrink)

Epistocracy and populism are usually seen as opposites. The first finds error in democracy’s reliance on the sub-optimal decisions by the supposedly incompetent masses, and argues that political decisions should be tied to epistemic merit, not popularity. The populist critique of democracy, contrarily, finds that there is not enough political confrontation in standard representative democracies where the ‘real people’ are not properly embodied, and thus pits an imagined direct will of the unified and virtuous people against a self-serving establishment. This (...) article demonstrates that these ideologies have surprising underlying similarities concerning their categorization, political ontology, epistemology and a conception of political authority. Firstly, they both are second-order political ideologies that are not directly tied with substantive political content but rather with the interpretation of how to govern assuming disagreement concerning first-order political ideologies. Secondly, their political ontology divides citizens into two constitutively differing parts, one of which they (partly) exclude from political membership. Thirdly, their political epistemology assumes the existence of political truths which makes their conception of authority anti-proceduralist, either instrumentalist or moralist. Fourthly, they downplay the value of pluralism, deliberation and dissent. Uncovering these commonalities helps us detect and understand the dynamics of some anti-democratic tendencies better. (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)

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.

Whenever we communicate, we inevitably have to say one thing before another. This means introducing particularly subtle patterns of salience into our language. In this paper, I introduce ‘order-based salience patterns,’ referring to the ordering of syntactic contents where that ordering, pretheoretically, does not appear to be of consequence. For instance, if one is to describe a colourful scarf, it wouldn’t seem to matter if one were to say it is ‘orange and blue’ or ‘blue and orange.’ Despite their (...) apparent triviality, I argue that order-based salience patterns tend to make the content positioned first more salient – in the sense of attention-grabbing – in a way that can have surprising normative implications. Giving relative salience to gender differences over similarities, for instance, can result in the activation of cognitively accessible beliefs about gender differences. Where those beliefs are epistemically and/or ethically flawed, we can critique the salience pattern that led to them, providing an instrumental way of evaluating those patterns. I suggest that order-based salience patterns can also be evaluated on constitutive grounds; talking about gender differences before similarities might constitute a subtle form of bias. Finally, I reflect on how the apparent triviality of order-based salience patterns in language gives them an insidious strength. (shrink)

It has recently been argued that a sensitivity theory of knowledge cannot account for intuitively appealing instances of higher-order knowledge. In this paper, we argue that it can once careful attention is paid to the methods or processes by which we typically form higher-order beliefs. We base our argument on what we take to be a well-motivated and commonsensical view on how higher-order knowledge is typically acquired, and we show how higher-order knowledge is possible in a (...) sensitivity theory once this view is adopted. (shrink)

A logic is called higher order if it allows for quantification over higher order objects, such as functions of individuals, relations between individuals, functions of functions, relations between functions, etc. Higher order logic began with Frege, was formalized in Russell [46] and Whitehead and Russell [52] early in the previous century, and received its canonical formulation in Church [14].1 While classical type theory has since long been overshadowed by set theory as a foundation of mathematics, recent decades (...) have shown remarkable comebacks in the fields of mechanized reasoning (see, e.g., Benzm¨. (shrink)

A second-order conspiracy (SOC) is a conspiracy that aims to create (and typically also disseminate) a conspiracy theory. Second-order conspiracy theories (SOCT) are theories that explain the occurrence of a given conspiracy theory by appeal to a conspiracy. In this paper I argue that SOC and SOCT are useful and coherent concepts, while also having numerous philosophically interesting upshots (in terms of epistemology, explanation, and prediction). Secondly, I appeal to the nature of two specific kinds of second-order (...) conspiracies to make the case for what has been called ‘local generalism’ (Stamatiadis-Bréhier 2023a). Specifically, I focus on so-called ‘denial industries’ to argue that the structure of these second-order conspiracies allows us to infer non-accidental generalisations about the domain of conspiracy theories. Even though it is true that there is nothing epistemically problematic with the general class of conspiracy theories, there are specific subsets of conspiracy theories that warrant immediate strong suspicion (cf. Dentith 2022). By looking at the intricate mechanisms by which these denial industries operate, we can infer that the conspiracy theories that are produced by them are epistemically unwarranted. I conclude by making some exploratory remarks about what the metaphysics of second-order conspiracies would look like. (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)

How to account for the power that art holds over us? Why do artworks touch us deeply, consoling, transforming or invigorating us in the process? In this paper, we argue that an answer to this question might emerge from a fecund framework in cognitive science known as predictive processing (a.k.a. active inference). We unpack how this approach connects sense-making and aesthetic experiences through the idea of an ‘epistemic arc’, consisting of three parts (curiosity, epistemic action and aha experiences), which we (...) cast as aspects of active inference. We then show how epistemic arcs are built and sustained by artworks to provide us with those satisfying experiences that we tend to call ‘aesthetic’. Next, we defuse two key objections to this approach; namely, that it places undue emphasis on the cognitive component of our aesthetic encounters—at the expense of affective aspects—and on closure and uncertainty minimization (order)—at the expense of openness and lingering uncertainty (change). We show that the approach offers crucial resources to account for the open-ended, free and playful behaviour inherent in aesthetic experiences. The upshot is a promising but deflationary approach, both philosophically informed and psychologically sound, that opens new empirical avenues for understanding our aesthetic encounters. -/- This article is part of the theme issue ‘Art, aesthetics and predictive processing: theoretical and empirical perspectives’. (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)

We extend the framework of Inductive Logic to Second Order languages and introduce Wilmers' Principle, a rational principle for probability functions on Second Order languages. We derive a representation theorem for functions satisfying this principle and investigate its relationship to the first order principles of Regularity and Super Regularity.

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)

In recent years Jaegwon Kim has offered an argument – the ‘supervenience argument’ – to show that supervenient mental properties, construed as second- order properties distinct from their first-order realizers, do not have causal powers of their own. In response, several philosophers have argued that if Kim’s argument is sound, it generalizes in such a way as to condemn to causal impotency all properties above the level of basic physics. This paper discusses Kim’s supervenience argument in the context (...) of his reply to this so-called ‘generalization argument’. In particular, the paper focuses on the level/order distinction, to which Kim appeals in his reply to the generalization argument, and on the relation between this distinction and two varieties of functionalism, ‘realizer’ vs. ‘role’ functionalism. The author argues that a proper analysis of the notions of levels and orders undermines Kim’s response to the generalization argument, and suggests that Kim’s reductionist strategy for vindicating the causal powers of mental properties is better served if mental properties are construed as first-order properties, as realizer-functionalism recommends. (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)

Sometimes we get evidence of our own epistemic malfunction. This can come from finding out we’re fatigued, or have been drugged, or that other competent and well-informed thinkers disagree with our beliefs. This sort of evidence seems to seems to behave differently from ordinary evidence about the world. In particular, getting such evidence can put agents in a position where the most rational response involves violating some epistemic ideal.