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.

The paper presents a new theory of higher-order vagueness. This theory is an improvement on current theories of vagueness in that it (i) describes the kind of borderline cases relevant to the Sorites paradox, (ii) retains the ‘robustness’ of vague predicates, (iii) introduces a notion of higher-order vagueness that is compositional, but (iv) avoids the paradoxes of higher-order vagueness. The theory’s central building-blocks: Borderlinehood is defined as radical unclarity. Unclarity is defined by means of (...) competent, rational, informed speakers (‘CRISPs’) whose competence, etc., is indexed to the scope of the unclarity operator. The unclarity is radical since it eliminates clear cases of unclarity and, that is, clear borderline cases. This radical unclarity leads to a (bivalence-compatible, non-intuitionist) absolute agnosticism about the semantic status of all borderline cases. The corresponding modal system would be a non-normal variation on S4M. (shrink)

In deep disagreements local disagreements are intertwined with more general basic disagreements about the relevant evidence, standards of argument or proper methods of inquiry in that domain. The paper provides a more specific conception of deep disagreement along these lines and argues that while we should generally conciliate in cases of disagreement, this is not so in deep disagreements. The paper offers a general view of disagreement, holding roughly that one should moderate one’s credence towards uncertainty in so far as (...) disagreement with others provides undefeated higher order evidence that one might have made a mistake in one’s appreciation of the first order evidence. When applying this view to deep disagreement we get that in cases of deep disagreement higher order evidence from disagreement is rebutted or undercut by the nature of the disagreement. So, in cases of deep disagreement one should not moderate one’s credence. I finally argue that this gives a better general view of deep disagreement than views appealing to epistemic peers, personal information or independence. (shrink)

It is usually taken as given that consciousness involves superior or more elaborate forms of information processing. Contemporary models equate consciousness with global processing, system complexity, or depth or stability of computation. This is in stark contrast with the powerful philosophical intuition that being conscious is more than just having the ability to compute. I argue that it is also incompatible with current empirical findings. I present a model that is free from the strong assumption that consciousness predicts superior (...) performance. The model is based on Bayesian decision theory, of which signal detection theory is a special case. It reflects the fact that the capacity for perceptual decisions is fundamentally limited by the presence and amount of noise in the system. To optimize performance, one therefore needs to set decision criteria that are based on the behaviour, i.e. the probability distributions, of the internal signals. One important realization is that the knowledge of how our internal signals behave statistically has to be learned over time. Essentially, we are doing statistics on our own brain. This ‘higherorder’ learning, however, may err, and this impairs our ability to set and maintain optimal criteria for perceptual decisions, which I argue is central to perception consciousness. I outline three possibilities of how conscious perception might be affected by failures of ‘higher-order’ representation. These all imply that one can have a dissociation between consciousness and performance. This model readily explains blindsight and hallucinations in formal terms, and is beginning to receive direct empirical support. I end by discussing some philosophical implications of the model. (shrink)

Suppose we learn that we have a poor track record in forming beliefs rationally, or that a brilliant colleague thinks that we believe P irrationally. Does such input require us to revise those beliefs whose rationality is in question? When we gain information suggesting that our beliefs are irrational, we are in one of two general cases. In the first case we made no error, and our beliefs are rational. In that case the input to the contrary is misleading. (...) In the second case we indeed believe irrationally, and our original evidence already requires us to fix our mistake. In that case the input to that effect is normatively superfluous. Thus, we know that information suggesting that our beliefs are irrational is either misleading or superfluous. This, I submit, renders the input incapable of justifying belief revision, despite our not knowing which of the two kinds it is. (shrink)

Higher order unification is a way of combining information (or equivalently, solving equations) expressed as terms of a typed higher order logic. A suitably restricted form of the notion has been used as a simple and perspicuous basis for the resolution of the meaning of elliptical expressions and for the interpretation of some non-compositional types of comparative construction also involving ellipsis. This paper explores another area of application for this concept in the interpretation of sentences (...) containing intonationally marked focus, or various semantic constructs which are sensitive to focus.Similarities and differences between this approach, and theories using alternative semantics, structured meanings, or flexible categorial grammars, are described. The paper argues that the higher order unification approach offers descriptive advantages over these alternatives, as well as the practical advantage of being capable of fairly direct computational implementation. (shrink)

The major reason given in the philosophical literature for dissatisfaction with theories of vagueness based on fuzzy logic is that such theories give rise to a problem of higherorder vagueness or artificial precision. In this paper I first outline the problem and survey suggested solutions: fuzzy epistemicism; measuring truth on an ordinal scale; logic as modelling; fuzzy metalanguages; blurry sets; and fuzzy plurivaluationism. I then argue that in order to decide upon a solution, we need to understand the true (...) nature and source of the problem. Two possible sources are discussed: the problem stems from the very nature of vagueness—from the defining features of vague predicates; or the problem stems from the way in which the meanings of predicates are determined—by the usage of speakers together with facts about their environment and so on. I argue that the latter is the true source of the problem, and on this basis that fuzzy plurivaluationism is the correct solution. (shrink)

Higher-order representation (HOR) theories posit that the contents of lower-order brain states enter consciousness when tracked by a higher-order brain state. The nature of higher-order monitoring was examined in light of current scientific knowledge, primarily in experimental perceptual psychology. The most plausible candidate for higher-order state was found to be conceptual short-term memory (CSTM), a buffer memory intimately connected with a semantic engine operating in the medium of the language of thought (...) (LOT). This combination meets many of the requirements of HOR theories, although falling short in some significant respects, most notably the inability of higher- order states to represent more than a small fraction of the information contained in primary states, especially in vision. A possible way round this obstacle is suggested, involving the representation of visual detail by means of ensemble concepts. (shrink)

In this paper, we show that Higher{Order Coloured Uni cation { a form of uni cation developed for automated theorem proving { provides a general theory for modeling the interface between the interpretation process and other sources of linguistic, non semantic information. In particular, it provides the general theory for the Primary Occurrence Restriction which (Dalrymple et al., 1991)'s analysis called for.

Most epistemologists maintain that we are rationally required to believe what our evidence supports. Generally speaking, any factor that makes it more probable that a given state of affairs obtains (or does not obtain) is evidence (for that state of affairs). In line with this view, many metaethicists believe that we are rationally required to believe what’s morally right and wrong based on what our moral evidence (e.g. our moral intuitions, along with descriptive information about the world) supports. However, (...) sometimes we get information about our evidence, such as a theory that explains that all moral intuitions are ultimately caused by evolutionary forces. Such genealogical claims like this take form as a puzzle about how to rationally respond to higher-order evidence in moral epistemology. How should we change our moral views in response to genealogical claims about the evolutionary origin of our moral beliefs or about widespread moral disagreement? This introductory chapter first explains the issue about how to change our moral views based on an easily accessible example. Then it shows how recent debates about the puzzle of higher-order evidence bears on recent debates in moral epistemology, notably the debates about evolutionary debunking arguments in metaethics, the epistemic significance of moral peer disagreement, moral testimony, and collective moral knowledge before it introduces the chapters of this book. (shrink)

Suppose that Sherlock Holmes has just closed another case, and is convinced that Moriarty is the perpetrator. At that very moment, Inspector Lestrade arrives to inform Holmes that a Scotland Yard analysis of his past investigations shows that he only identifies the correct suspect in 50% of cases. How should Holmes respond to this new information? This is a question about higher-order evidence. Higher-order evidence can be understood as evidence about the rationality of your beliefs, (...) or about your reliability in judging matters in a certain domain. Some views on higher-order evidence, like calibrationism, say that Holmes should drastically reduce his confidence that Moriarty is the perpetrator, in light of what he learns about his track record. Other perspectives will recommend that Holmes stick to his guns instead. This dissertation explores the nature and epistemic significance of higher-order evidence, and considers whether higher-order evidence we acquire from empirical research into human evolution might serve to undermine the justification for our moral beliefs, as evolutionary debunking arguments, like those advanced by Sharon Street and Richard Joyce, have alleged. Ultimately, I argue that the calibrationist response to higher-order evidence is the right one, and that our emerging understanding of how morality evolved does indeed pose a serious challenge to the epistemic status of our moral beliefs. (shrink)

The Self-Intimation thesis has it that whatever justificatory status a proposition has, i.e., whether or not we are justified in believing it, we are justified in believing that it has that status. The Infallibility thesis has it that whatever justificatory status we are justified in believing that a proposition has, the proposition in fact has that status. Jointly, Self-Intimation and Infallibility imply that the justificatory status of a proposition closely aligns with the justification we have about that justificatory status. Self-Intimation (...) has two noteworthy implications. First, assuming that we never have sufficient justification for a proposition and for its negation, we can derive Infallibility from Self-Intimation. Interestingly, there seems to be no equivalently simple way to derive Self-Intimation from Infallibility. This asymmetry provides reason for thinking that bottom-level justification rather than top-level justification drives the explanation for why the levels of justification align. Second, Self-Intimation suggests a counterintuitive treatment of information concerning what justificatory status a proposition has. It follows from Self-Intimation that we always have justification for the truth about whether a proposition is justified for us, and therefore, that higher-order evidence could change what we should believe on this matter only by misleading us. This permits forming beliefs about whether a proposition is justified for us without regard to higher-order evidence, and thus reveals a reason for thinking that top-level justification is evidentially inert. (shrink)

Let us by ‘first-order beliefs’ mean beliefs about the world, such as the belief that it will rain tomorrow, and by ‘second-order beliefs’ let us mean beliefs about the reliability of first-order, belief-forming processes. In formal epistemology, coherence has been studied, with much ingenuity and precision, for sets of first-order beliefs. However, to the best of our knowledge, sets including second-order beliefs have not yet received serious attention in that literature. In informal epistemology, by contrast, (...) sets of the latter kind play an important role in some respectable coherence theories of knowledge and justification. In this paper, we extend the formal treatment of coherence to second-order beliefs. Our main conclusion is that while extending the framework to second-order beliefs sheds doubt on the generality of the notorious impossibility results for coherentism, another problem crops up that might be no less damaging to the coherentist project: facts of coherence turn out to be epistemically accessible only to agents who have a good deal of insight into matters external to their own belief states. (shrink)

In ‘Epistemic Modals’ (2007), Seth Yalcin proposes Stalnaker-style semantics for epistemic possibility. He is inspired by John MacFarlane’s ingenious defence of relativism, in which claims of epistemic possibility are made rigidly from the perspective of the assessor’s actual stock of information (rather than from the speaker’s knowledge base or that of his audience or community). The innovations of MacFarlane and Yalcin independently reinforce the modal collapse espoused by Jaakko Hintikka in his 1962 epistemic logic (which relied on the implausible (...) KK principle and heavy idealizations). I respond to this new challenge with fresh objections to the underlying S4 equivalence: p p . I also propose counter-analyses of the intriguing data which Yalcin cites in support of his new semantics. A key collateral motivation for this defence of irredundant iterations is to ward off a threat to higher order vagueness. (shrink)

In the current study we look at whether subjective and proprioceptive aspects of selfrepresentation are separable components subserved by distinct systems of multisensory integration. We used the rubber hand illusion to draw the location of the ‘self’ away from the body, towards extracorporeal space , thereby violating top-down information about the body location. This was compared with the traditional RHI which drew position of the ‘self’ towards the body . We were successfully able to draw proprioceptive position of the (...) limbs in and out from the body suggesting body perception is a purely bottom-up process, resistant to top-down effects. Conversely, we found subjective self-representation was altered by the violation of top-down body information – as the strong association of subjective and proprioceptive factors found in the In Condition became non-significant in the Out Condition. Interestingly, we also found evidence that subjective embodiment can modulate tactile perception. (shrink)

The usage of sorts in first-order automated deduction has brought greater conciseness of representation and a considerable gain in efficiency by reducing the search spaces involved. This suggests that sort information can be employed in higher-order theorem proving with similar results.

Spatiotemporal regulation of the biochemical information is often linked to supramolecular organizations proteins and nucleic acids, the driving forces of which have yet to be elucidated. Although the critical role of multivalency in phase transition has been recognized, the organization principles of higher-order structures need to be understood. Here, we present a fuzzy mathematical framework to handle the heterogeneity of interactions patterns and the resultant multiplicity of conformational states in protein assemblies. In this model, redundant binding motifs (...) can establish simultaneous and partial interactions with multiple targets. We demonstrate that these multivalent, weak contacts facilitate polymer formation, while recapitulating the observed valency-dependence. In addition, the impact of linker dynamics and motif binding affinity, as well as the interplay between the two effects was studied. Our results support that fuzziness is a critical factor in driving higher-order protein organizations, and this could be used as a general framework to simulate different kinds of supramolecular assemblies. (shrink)

This book provides an accessible and up-to-date discussion of contemporary theories of perceptual justification that each highlight different factors related to perception, i.e., conscious experience, higher-order beliefs, and reliable processes. The book’s discussion starts from the viewpoint that perception is not only one of our fundamental sources of knowledge and justification, but also plays this role for many less sophisticated animals. It proposes a scientifically informed reliabilist theory which can accommodate this fact without denying that some of our (...) epistemic abilities as human perceivers are special. This allows it to combine many of our intuitions about the importance of conscious experience and higher-order belief with the controversial thesis that perceptual justification is fundamentally non-evidential in character. (shrink)

An important objection to sententialist theories of attitude reports is that they cannot accommodate the principle that one cannot know that someone believes that p without knowing what it is that he believes. This paper argues that a parallel problem arises for propositionalist accounts that has gone largely unnoticed, and that, furthermore, the usual resources for the propositionalist do not afford an adequate solution. While non-standard solutions are available for the propositionalist, it turns out that there are parallel solutions that (...) are available for the sententialist. Since the difficulties raised seem to show that the mechanism by which sentential complements serve to inform us about attitudes and about sentence meaning does not depend on their referring to propositions, this casts doubt on whether talk of propositions should retain a significant theoretical role in the enterprise of understanding thought, language and communication. (shrink)

The HOU-based analysis of ellipsis was shown byDalrymple et al. (1991) and Shieber et al. (1996) to correctly capture thecomplex interaction of VP-ellipsis, scope and anaphora and claimed toextend to further related phenomena. When applied to deaccenting, theanalysis makes a strong prediction, namely that all anaphors occurringin the deaccented part of a deaccented utterance are parallelanaphors, i.e., anaphors that resolve to their parallel counterpart inthe source. I argue that this prediction is supported by the data andshow that it correctly captures (...) the interaction of deaccenting withanaphora, (in)definiteness and focus. (shrink)

Reasoning about what other people know is an important cognitive ability, known as epistemic reasoning, which has fascinated psychologists, economists, and logicians. In this paper, we propose a computational model of humans’ epistemic reasoning, including higher-order epistemic reasoning—reasoning about what one person knows about another person’s knowledge—that we test in an experiment using a deductive card game called “Aces and Eights”. Our starting point is the model of perfect higher-order epistemic reasoners given by the framework of (...) dynamic epistemic logic. We modify this idealized model with bounds on the level of feasible epistemic reasoning and stochastic update of a player’s space of possibilities in response to new information. These modifications are crucial for explaining the variation in human performance across different participants and different games in the experiment. Our results demonstrate how research on epistemic logic and cognitive models can inform each other. (shrink)

This thesis mounts an attack against accounts of perceptual justification that attempt to analyze it in terms of evidential justifiers, and has defended the view that perceptual justification should rather be analyzed in terms of non-evidential justification. What matters most to perceptual justification is not a specific sort of evidence, be it experiential evidence or factive evidence, what matters is that the perceptual process from sensory input to belief output is reliable. I argue for this conclusion in the following way. (...) Chapter 1: The Arguments from HallucinationChapter 1 presents a skeptical argument from hallucination that starts from a premise about the alleged introspective indistinguishability of perception and hallucination, and concludes that perceptual knowledge is impossible. Underlying this argument are certain assumptions about the nature of perceptual justification, and different responses to the argument portray different views of perceptual justification. Evidentialism and dogmatism both reject the premise that appearances do not provide evidence sufficient for perceptual knowledge, although they disagree about the precise nature of the appearances. Epistemological disjunctivism rejects the premise that introspectively indistinguishable experiences provide the same evidence, while upholding the idea that some sort of evidence, namely factive evidence, is necessary for perceptual justification and knowledge. Process reliabilism rejects the premise that evidence is necessary for perceptual knowledge on the grounds that even perceptual justification can be obtained without evidence, as long as the cognitive process producing the belief is reliable.Chapter 2: EvidentialismChapter 2 starts by introducing some motivations for experientialist views of perceptual justification, such as evidentialism and dogmatism, which hold that conscious experiences evidentially justify perceptual beliefs. These motivations have to do with their ability to accommodate the New Evil Demon Intuition that demon-deceived subjects have justified perceptual beliefs and the Blindsight Intuition that blindsighters do not have justified perceptual beliefs. However, experientialist views are also faced with a Sellarsian dilemma: either experience is construed as non-propositional, but then the proposed evidential relation is unclear, or experience is construed as propositional, but then it is ad hoc to hold that they can evidentially justify without being justified themselves.Chapter 2 continues with a discussion of evidentialism, which grasps the first horn of this dilemma. I argue that evidentialism cannot adequately explain why a non-propositional experience constitutes evidence for this rather than that belief, and also does not provide any account of how to determine which belief fits an evidence-set which partly consists out of non-propositional experiences. Although a reliabilist version of evidentialism can provide a better account of these matters, it suffers from counter-intuitive predictions about justification and a conception of evidence that is so liberal that it could even include blindsighters and clairvoyants as having such evidence.Chapter 3: DogmatismChapter 3 focuses on variants of dogmatism, a theory of perceptual justification that grasps the second horn of the Sellarsian dilemma by holding that a perceptual experience with the content that p is sufficient for immediate prima facie justification of the belief that p. I first argue that dogmatism should identify perceptual experiences with high-level conscious states to accommodate the problem of novice vs. expert identification and the problem of the speckled hen. I then argue that this version of dogmatism still fails to meet a certain explanatory challenge which I dub the `Distinctiveness Problem'. Dogmatism should explain what is so distinctive about perceptual experience that enables it, in contrast with desire and imagination, to evidentially justify the belief that p without, in contrast with belief, being justified itself.Phenomenalist answers to this problem fail because they either do not provide a distinctive property of perceptual experience, or else provide a property that is reducible to or possibly caused by beliefs. In both cases, dogmatism would have the result that intuitively unjustifying experiences, such as imaginations, nevertheless become capable of justifying beliefs. Moreover, phenomenalists still need some explanation of why phenomenology is epistemically relevant at all.A new variant of the problem of the speckled hen is an intuitive illustration of this point against dogmatists. If a perceptual experience that p is not reliably connected to the fact that p or the belief that p, then beliefs based on this experience simply will not be intuitively justified. One possible response to this problem incorporates reliability into the content of experience in the sense that an experience cannot have the content that p if it is not reliably connected to both the fact that p and the belief that p. However, this will lose the motivation from the New Evil Demon Scenario, and will make large concessions towards reliabilism.Chapter 4: Epistemological DisjunctivismGiven these problems for experientialist views of perceptual justification, chapter 4 focuses on a different evidential account of justification: epistemological disjunctivism. According to the Justified True Belief version of Epistemological Disjunctivism, the fact that I see that p is the factive and reflectively accessible evidence in virtue of which I know that p. I argue that JTBED faces formidable problems: first, it cannot adequately deal with the basis problem, second, it cannot accommodate the New Evil Demon Intuition, third,it faces the problem of hyper-intellectualization, and fourth, it has no good account of reflective access.Knowledge First Epistemological Disjunctivism, in contrast, holds that seeing that p just is a way of knowing that p. The fact that I see that p constitutes my justification for believing that p, even though it is not necessary for my knowledge that p. Although this view solves most of the above problems, I argue that KFED still faces a challenge of its own: its notion of justification is so strong that justification entails knowledge but is not itself entailed by it. This means that it too faces a hyper-intellectualization objection because it cannot accommodate animal justification, and that it too will struggle to accommodate the New Evil Demon Intuition.Nevertheless, there is something to the epistemological disjunctivist idea that higher-order capabilities are important to perceptual justification. Specifically, higher-order capabilities provide one with a way of accommodating the Blindsight Intuition without appealing to the notion of experiential evidence: blindsighters are epistemically worse off than normal human perceivers because they lack higher-order beliefs about how they are gaining their information. If one holds that these higher-order beliefs provide a special sort of justification for perceptual beliefs, then blindsighters lack this type of justification. Chapter 5: Process ReliabilismAfter displaying the problems of several evidential accounts of perceptual justification, chapter 5 introduces a non-evidential account: process reliabilism. The classic version of this view holds that the reliability of a belief-forming process is necessary and sufficient for the prima facie justification of a specific set of beliefs, namely, those that arise out of belief-independent processes. Two classic major problems for this view consist of counterexamples to both the necessity and sufficiency of reliability for justification. Although the Generality Problem raises some difficulties for reliabilism, they do not appear to be insurmountable.The second part of chapter 5 focuses on a variety of process reliabilism, inferentialist reliabilism, that is explicitly aimed at responding to clairvoyance cases. According to inferentialist reliabilism, one should distinguish between basic and non-basic beliefs, where basic beliefs are those that result out of the non-inferential operation of an inferentially opaque cognitive system that developed in a natural way. Reliability is only sufficient for the justification of basic beliefs, while non-basic beliefs also require conditional reliability and justification of the beliefs on which they are based.This distinction between basic and non-basic beliefs is meant to answer the challenge arising out of clairvoyance cases because these are all supposedly cases in which the resulting beliefs arenon-basic. However, I argue that the beliefs in these cases come out as non-basic primarily because of the etiological constraint on cognitive systems, a constraint that is unfortunately undermotivated. It seems that beliefs can be justified even if they are produced by a cognitive system that developed by accident, or by a system that was artificially designed to produce those beliefs. So even though the inferentialist reliabilist might have a point in distinguishing between basic and non-basic beliefs, it is still in need of a different response to clairvoyance cases. Chapter 6: Rejoinders for ReliabilismChapter 6 improves on the inferentialist reliabilist account of justification by presenting a different way of dealing with the clairvoyance cases and New Evil Demon Scenario. I start from the empirically plausible idea that we know that we are perceiving when we are perceiving, not because of the use of experiential evidence, but rather, because of an unconscious source-monitoring mechanism. I then argue that the existence of such a source-monitoring mechanism could be used to explain why clairvoyance cases actually have to do with defeat rather than absence of prima facie justification: beliefs that pop up in our head should be recognized as stemming from untrustworthy sources, and so we acquire defeating higher-order beliefs about the first-order beliefs. I also argue that this defeat should be able to occur even if the higher-order beliefs are themselves unjustified. This defeater-account of clairvoyance is preferable to several externalist alternatives. Making reliability relative to a specific world seems rather ad hoc, and further requirements on justification, such as evidence-based belief, cognitively integrated belief, or properly produced belief, all appear unnecessary and are susceptible to adapted versions of the clairvoyance case.I further argue for an alternative inferentialist reliablist response to the New Evil Demon Intuition which treats it as mistaken rather than correct. The New Evil Demon Intuition might arise because of a mistaken view of actual perceptual justification as having to do with experiential evidence. This mistaken view could be explained by the fact that experience is actually reliably connected to belief and is often cited in response to a knowledge-challenge. If this is a correct analysis of the New Evil Demon Intuition, then there is an element of question-begging involved when this scenario is still pressed against inferentialist reliabilists who do not adhere to the experientialist assumption it presupposes.With the inferentialist reliabilist account in hand,we are able to see that many of the premises of the epistemological argument from hallucination are problematic. Evidence does not appear to be required for perceptual knowledge, as perceptual justification does not even require such evidence. Moreover, if we accept a reliabilist model of introspection, then we are often able to know on the basis of introspection that we are perceiving rather than hallucinating. Once one gets clear about the alternatives, it becomes apparent that the argument thrives on internalist assumptions about justification and knowledge that one need not accept. (shrink)

We present a propositional and a first-order logic for reasoning about higher-order upper and lower probabilities. We provide sound and complete axiomatizations for the logics and we prove decidability in the propositional case. Furthermore, we show that the introduced logics generalize some existing probability logics.

We present a propositional and a first-order logic for reasoning about higher-order upper and lower probabilities. We provide sound and complete axiomatizations for the logics and we prove decidability in the propositional case. Furthermore, we show that the introduced logics generalize some existing probability logics.

The technique of minimizing information (infomin) has been commonly employed as a general method for both choosing and updating a subjective probability function. We argue that, in a wide class of cases, the use of infomin methods fails to cohere with our standard conception of rational degrees of belief. We introduce the notion of a deceptive updating method and argue that non-deceptiveness is a necessary condition for rational coherence. Infomin has been criticized on the grounds that there are no (...) higher order probabilities that ‘support’ it, but the appeal to higher order probabilities is a substantial assumption that some might reject. Our elementary arguments from deceptiveness do not rely on this assumption. While deceptiveness implies lack of higher order support, the converse does not, in general, hold, which indicates that deceptiveness is a more objectionable property. We offer a new proof of the claim that infomin updating of any strictly-positive prior with respect to conditional-probability constraints is deceptive. In the case of expected-value constraints, infomin updating of the uniform prior is deceptive for some random variables but not for others. We establish both a necessary condition and a sufficient condition (which extends the scope of the phenomenon beyond cases previously considered) for deceptiveness in this setting. Along the way, we clarify the relation which obtains between the strong notion of higher order support, in which the higher order probability is defined over the full space of first order probabilities, and the apparently weaker notion, in which it is defined over some smaller parameter space. We show that under certain natural assumptions, the two are equivalent. Finally, we offer an interpretation of Jaynes, according to which his own appeal to infomin methods avoids the incoherencies discussed in this paper. (shrink)

Academics using embodied approaches can be found across a wide variety of disciplines, fields and settings in the academy. Embodiment is however, a contested term and the literature is fragmented, particularly in the field of Higher Education. This has resulted in isolated silos of work that are not easily able to draw on previous or related knowledge in order to support and progress understanding. Embodiment in Higher Education brings a cohesive understanding to congruent approaches by drawing on (...) discussions between academic teachers, researchers and practitioners in order to explore how they have used embodiment in their work. Contributors to the volume hail from diverse subject areas, such as dance, drama, psychology, anthropology, physical education, philosophy and higher education research. Chapters question whether there is enough of a shared understanding of embodiment to inform Higher Education; whether an embodied approach can be accepted within the measured university; where difficulties and challenges lie in using embodied approaches for teaching, for research, in constructing an academic practice and identity; and how difficulties surrounding communication might be overcome. This book will appeal to academics, researchers and postgraduate students from a diverse range of disciplinary areas, as evidenced by the backgrounds of the contributors. It will be of particular interest to those in the fields of education, anthropology, dance and drama, well as other movement or body-orientated professionals who are interested in the ideas of embodiment. (shrink)

When seeking to coordinate in a game with imperfect information, it is often relevant for a player to know what other players know. Keeping track of the information acquired in a play of infinite duration may, however, lead to infinite hierarchies of higher-order knowledge. We present a construction that makes explicit which higher-order knowledge is relevant in a game and allows us to describe a class of games that admit coordinated winning strategies with finite (...) memory. (shrink)

Recently the terms “codes” and “information” as used in the context of molecular biology have been the subject of much discussion. Here I propose that a variety of structural realism can assist us in rethinking the concepts of DNA codes and information apart from semantic criteria. Using the genetic code as a theoretical backdrop, a necessary distinction is made between codes qua symbolic representations and information qua structure that accords with data. Structural attractors are also shown to (...) be entailed by the mapping relation that any DNA code is a part of (as the domain). In this framework, these attractors are higher-order informational structures that obviate any “DNA-centric” reductionism. In addition to the implications that are discussed, this approach validates the array of coding systems now recognized in molecular biology. (shrink)

In this paper, I discuss connections between self-directedness, integration and higher cognition. I present a model of self-directedness as a basis for approaching higher cognition from a situated cognition perspective. According to this model increases in sensorimotor complexity create pressure for integrative higher order control and learning processes for acquiring information about the context in which action occurs. This generates complex articulated abstractive information processing, which forms the major basis for higher cognition. I (...) present evidence that indicates that the same integrative characteristics found in lower cognitive process such as motor adaptation are present in a range of higher cognitive process, including conceptual learning. This account helps explain situated cognition phenomena in humans because the integrative processes by which the brain adapts to control interaction are relatively agnostic concerning the source of the structure participating in the process. Thus, from the perspective of the motor control system using a tool is not fundamentally different to simply controlling an arm. (shrink)

We shall introduce in this paper a language whose formulas will be interpreted by games of imperfect information. Such games will be defined in the same way as the games for first-order formulas except that the players do not have complete information of the earlier course of the game. Some simple logical properties of these games will be stated together with the relation of such games of imperfect information to higher-order logic. Finally, a set (...) of applications will be outlined. (shrink)

A theory of anaesthesia is presented. It consists of four hypotheses: (1) The occurrence of states of consciousness causally depends on the formation of transient higher-order, self-referential mental representations. The occurrence of such states is identical with the appearance of conscious phenomena. Loss of consciousness will occur, if and only if the brain's representational activity falls below a critical threshold. (2) Mental representations are instantiated by neural cell assemblies. (3) The formation of assemblies involves the activation of the (...) NMDA receptor channel complex. The activation state of this receptor determines the rate at which assemblies are generated. (4) General anaesthetics have a common operative mechanism: they directly or indirectly affect the function of the NMDA system. (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)

The study aims to review the literature that analyses the history andcurrent situation of Higher Education, henceforth known as HE, in Turkeyand to review HE agenda of the Government of Turkey in order to identify theextent to which it has responded to the sustainable development agenda. Thispaper recommends ways to improve and develop HE in Turkey so as to makeit a significant sector which prepares its stakeholders to achieve sustainabledevelopment goals. Multiple sources of information: documents onthe agenda (...) of Turkey with regard to the objectives of HE; the findings ofprevious studies undertaken on different aspects of Turkish HE system; anddocuments prepared by organizations such as YÖK, MEB and the World Bank.The analysis of relevant literature suggests that Turkey aims to upgrade theHE system in line with its goals of becoming a more powerful player in theworld. The initiatives to enhance enrolment of students at HE institutions;strengthen HE Education Curriculum, internationalise the Turkish HE arein line with the directions that support the attainment of SDGs. The findingsprovide an account of the HE system in Turkey, both strengths and weaknesses.It enhances understanding on the current situation of HE in Turkey vis a vis theSustainable Development Goals. The study does not only describe the TurkishHE system, but it provides a case which can be used by HE researchers to studyHE in different contexts. (shrink)

We present a natural standard translation of inquisitive modal logic $\mathrm{InqML}$ into first-order logic over the natural two-sorted relational representations of the intended models, which captures the built-in higher-order features of $\mathrm{InqML}$. This translation is based on a graded notion of flatness that ties the inherent second-order, team-semantic features of $\mathrm{InqML}$ over information states to subsets or tuples of bounded size. A natural notion of pseudo-models, which relaxes the non-elementary constraints on the intended models, gives (...) rise to an elementary, purely model-theoretic proof of the compactness property for $\mathrm{InqML}$. Moreover, we prove a Hennessy-Milner theorem for $\mathrm{InqML}$, which crucially uses $\omega $ -saturated pseudo-models and the new standard translation. As corollaries we also obtain van Benthem style characterisation theorems. (shrink)

In this paper, we investigate the social herding phenomenon known as informational cascades, in which sequential inter-agent communication might lead to epistemic failures at group level, despite availability of information that should be sufficient to track the truth. We model an example of a cascade, and check the correctness of the individual reasoning of each agent involved, using two alternative logical settings: an existing probabilistic dynamic epistemic logic, and our own novel logic for counting evidence. Based on this analysis, (...) we conclude that cascades are not only likely to occur but are sometimes unavoidable by "rational" means: in some situations, the group’s inability to track the truth is the direct consequence of each agent’s rational attempt at individual truth-tracking. Moreover, our analysis shows that this is even so when rationality includes unbounded higher-order reasoning powers, as well as when it includes simpler, non-Bayesian forms of heuristic reasoning. (shrink)

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

The 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)

The present paper proposes a theoretical model of institutional quality of a higher education institution (HEI) which, in addition to the internal dimensions of quality, incorporates also the external dimension, i.e. the outcomes dimension. This dimension has been neglected by the quality standards and models examined in our paper. Furthermore, the standards and models analyzed consider stakeholders as one of the quality factors of a HEI. The stakeholders’ perspective is seen as a lens through which stakeholders define, control and (...) assess the quality of a HEI. The proposed model therefore gives stakeholders greater significance compared to the dimensions of institutional quality of a HEI. The model has been validated from the employers’ perspective. On the basis of 339 completed questionnaires or a 39.74 % response rate we concluded that outcomes constitute the most important dimension of institutional quality of a HEI from the perspective of employers in Slovenia. The outcomes dimension is followed, in descending order, by the non-financial resources and inputs, sustainable development, value chain, and, finally, the financial resources and inputs dimensions. The results of the study have shown that of the 44 quality factors of a HEI the following data are of key importance to employers: information on the participation of students in practical training, achievements of graduates at the workplace, implementation of a HEI’s research achievements in practice, graduate employability, and a HEI’s responsiveness to the demands and changes in the environment. (shrink)

Cognition is context-sensitive, as the same sensory information is processed differently depending on its context (e.g., on its probabilistic association with goal-directed actions and their outcomes). Despite this, the concept of context in studies of higher-order cognitive processes, like cognitive control, is often simplified to nominal stimulus categories (like a target vs. distractor). Here we propose that quantifying contextual information to model cognitive demands is (1) fruitful as it can provide novel insight into the nature of (...) cognitive control, (2) accessible as simple probability models offer a tool for quantifying context and (3) analytically useful as a fine-grained quantification of context can be entered into more complex models as regressors that allow a direct way of appropriately exploring many of the defining tenants of cognitive control (e.g., rapidly changing trial-by-trial neural dynamics). Here, we briefly describe the logic of using context-sensitive measures of cognitive control and highlight recent studies from this approach using simple information theory metrics. (shrink)

Information processing theories of memory and skills can be reformulated in terms of how categories are physically and temporally related, a process called conceptual coordination. Dreaming can then be understood as a story-understanding process in which two mechanisms found in everyday comprehension are missing: conceiving sequences (chunking categories in time as a higher-order categorization) and coordinating across modalities (e.g., relating the sound of a word and the image of its meaning). On this basis, we can readily identify (...) isomorphisms between dream phenomenology and neurophysiology, and explain the function of dreaming as facilitating future coordination of sequential, cross-modal categorization (i.e., REM sleep lowers activation thresholds, “unlearning”). [Hobson et al.; Nielsen; Solms; Revonsuo; Vertes & Eastman]. (shrink)

The functional neural mechanisms underlying the cognitive benefits of aerobic exercise have been a subject of ongoing research in recent years. However, while most neuroimaging studies to date which examined functional neural correlates of aerobic exercise have used simple stimuli in highly controlled and artificial experimental conditions, our everyday life experiences require a much more complex and dynamic neurocognitive processing. Therefore, we have used a naturalistic complex information processing fMRI paradigm of story comprehension to investigate the role of an (...) aerobically active lifestyle in the processing of real-life cognitive-demanding situations. By employing the inter-subject correlation approach, we have identified differences in reliable stimulus-induced neural responses between groups of aerobically active and non-active cognitively intact older adults. Since cardiorespiratory fitness has previously been suggested to play a key role in the neuroprotective potential of aerobic exercise, we have investigated its dose-response relationship with regional inter-subject neural responses. We found that aerobically active lifestyle and cardiorespiratory fitness were associated with more synchronized inter-subject neural responses during story comprehension in higher order cognitive and linguistic brain regions in the prefrontal and temporo-parietal cortices. In addition, while higher regional inter-SC values were associated with higher performance on a post-listening memory task, this was not translated to a significant between-group difference in task performance. We, therefore, suggest that the modulatory potential of aerobic exercise and cardiorespiratory fitness on cognitive processing may extend beyond simple and highly controlled stimuli to situations in which the brain faces continuous real-life complex information. Additional studies incorporating other aspects of real-life situations such as naturalistic visual stimuli, everyday life decision making, and motor responses in these situations are desired to further validate the observed relationship between aerobic exercise, cardiorespiratory fitness, and complex naturalistic information processing. (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.

The Council for Education in World Citizenship has been working with Kingston University and the UK National Commission for UNESCO, taking advantage of global information technology developments in order to build new programmes for global citizenship education. The paper reports on practical experience, inviting new network partners. The IST-Africa 2007 conference provided an opportunity to build on these foundations, with initiatives in primary, secondary, further, adult and higher education, and continuing professional development for teachers.

PurposeHigher education in the past has been found to have a positive effect on the moral development of students from a variety of disciplines, decreasing conventional and increasing post‐conventional moral reasoning progressively at each level of study. This research aims to explore to what extent changes in moral judgement could be detected in students on computing degree courses, at three different stages of study, in order to establish if HE in the twenty‐first century has a similar effect and what (...) level of moral awareness computing graduates/practitioners exhibit.Design/methodology/approachThe research takes the form of an exploratory case study which aimed to investigate the current situation in one institution. The defining issues test questionnaire was used to gather data.FindingsResults showed little difference in the level of post‐conventional thinking between undergraduate students about to enter HE, final year undergraduates and students undertaking postgraduate studies.Research limitations/implicationsThis research questions if IT students moral judgement skills are at a level that enables them to be considered professionals.Practical implicationsRecommendations are made for different teaching approaches to be adopted which place greater emphasis on relating learning outcomes to professional codes of conduct, and for computing professional bodies to take a more active role in defining components of courses they accredit.Social implicationsGiven the ubiquitous nature of computers and society's high level of dependence on them it is argued that post‐conventional thinking skills are essential for people intending to work with computer technology.Originality/valueAlthough the DIT questionnaire is been used extensively, no other research has been found that has utilised it to analyse moral judgement levels of HE students within the same subject discipline, at different levels of study. (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)