Among the many possible approaches to dealing with logical omniscience, I consider here awareness and impossible worlds structures. The former approach, pioneered by Fagin and Halpern, distinguishes between implicit and explicit knowledge, and avoids logical omniscience with respect to explicit knowledge. The latter, developed by Rantala and by Hintikka, allows for the existence of logically impossible worlds to which the agents are taken to have access; since such worlds need not behave consistently, the agents’ knowledge is fallible relative to (...) logical omniscience. The two approaches are known to be equally expressive in propositional systems interpreted over Kripke semantics. In this paper I show that the two approaches are equally expressive in propositional systems interpreted over Montague-Scott (neighborhood) semantics. Furthermore, I provide predicate systems of both awareness and impossible worlds structures interpreted on neighborhood semantics and prove the two systems to be equally expressive. (shrink)

This essay describes a general approach to building perturbation-tolerant autonomous systems, based on the conviction that artificial agents should be able to notice when something is amiss, assess the anomaly, and guide a solution into place. This basic strategy of self-guided learning is termed the metacognitive loop; it involves the system monitoring, reasoning about, and, when necessary, altering its own decision-making components. This paper (a) argues that equipping agents with a metacognitive loop can help to overcome the brittleness problem, (b) (...) details the metacognitive loop and its relation to our ongoing work on time-sensitive commonsense reasoning, (c) describes specific, implemented systems whose perturbation tolerance was improved by adding a metacognitive loop, and (d) outlines both short-term and long-term research agendas. (shrink)

Classical epistemic logic describes implicit knowledge of agents about facts and knowledge of other agents based on semantic information. The latter is produced by acts of observation or communication that are described well by dynamic epistemic logics. What these logics do not describe, however, is how significant information is also produced by acts of inference— and key axioms of the system merely postulate "deductive closure". In this paper, we take the view that all information is produced by acts, (...) and hence we also need a dynamic logic of inference steps showing what effort on the part of the agent makes a conclusion explicit knowledge. Strong omniscience properties of agents should be seen not as static idealizations, but as the result of dynamic processes that agents engage in. This raises two questions: (a) how to define suitable information states of agents and matching notions of explicit knowledge, (b) how to define natural processes over these states that generate new explicit knowledge. To this end, we use a static base from the existing awareness literature, extending it into a dynamic system that includes traditional acts of observation, but also adding and dropping formulas from the current ' awareness' set. We give a completeness theorem, and we show how this dynamics updates explicit knowledge. Then we extend our approach to multi-agent scenarios where awareness changes may happen privately. Finally, we mention further directions and related approaches. Our contribution can be seen as a ' dynamification' of existing awareness logics. (shrink)

Classical epistemic logic describes implicit knowledge of agents about facts and knowledge of other agents based on semantic information. The latter is produced by acts of observation or communication that are described well by dynamic epistemic logics. What these logics do not describe, however, is how significant information is also produced by acts of inference—and key axioms of the system merely postulate “deductive closure”. In this paper, we take the view that all information is produced by acts, and (...) hence we also need a dynamic logic of inference steps showing what effort on the part of the agent makes a conclusion explicit knowledge. Strong omniscience properties of agents should be seen not as static idealizations, but as the result of dynamic processes that agents engage in. This raises two questions: (a) how to define suitable information states of agents and matching notions of explicit knowledge, (b) how to define natural processes over these states that generate new explicit knowledge. To this end, we use a static base from the existing awareness literature, extending it into a dynamic system that includes traditional acts of observation, but also adding and dropping formulas from the current ‘awareness’ set. We give a completeness theorem, and we show how this dynamics updates explicit knowledge. Then we extend our approach to multi-agent scenarios where awareness changes may happen privately. Finally, we mention further directions and related approaches. Our contribution can be seen as a ‘dynamification’ of existing awareness logics. (shrink)

There is no abstract for this chapter. The following is a summary. -/- We distinguish between, explicit, inadvertent, and habitual racist actions. We argue that while inadvertent bigots and habitual racists are inclined to (sincerely) deny that they committed a racially motivated action, they have different reasons for their denial. Inadvertent bigots are denying it because, however deeply they search, they are not going to find any such motive. Habitual racists, by contrast, may hold explicit egalitarian attitudes but they are (...) nonetheless implicitly racially motivated. There is thus an implicit stressful conflict between their covert racist intentions and their overt egalitarian attitudes. While they aren’t aware of the source of this distress, cognitive dissonance theory predicts that they nevertheless will engage in dissonance-reducing strategies. Specifically, we argue that habitual racists will be inclined to confabulate a description of the action in non-racial terms. (shrink)

We present a complete, decidable logic for reasoning about a notion of completely trustworthy evidence and its relations to justifiable belief and knowledge, as well as to their explicit justifications. This logic makes use of a number of evidence-related notions such as availability, admissibility, and “goodness” of a piece of evidence, and is based on an innovative modification of the Fitting semantics for Artemovʼs Justification Logic designed to preempt Gettier-type counterexamples. We combine this with ideas from belief revision and (...) class='Hi'>awareness logics to provide an account for explicitly justified knowledge based on conclusive evidence that addresses the problem of omniscience. (shrink)

Deontic Logic goes back to Ernst Mally’s 1926 work, Grundgesetze des Sollens: Elemente der Logik des Willens [Mally. E.: 1926, Grundgesetze des Sollens: Elemente der Logik des Willens, Leuschner & Lubensky, Graz], where he presented axioms for the notion ‘p ought to be the case’. Some difficulties were found in Mally’s axioms, and the field has much developed. Logic of Knowledge goes back to Hintikka’s work Knowledge and Belief [Hintikka, J.: 1962, Knowledge and Belief: An Introduction to the Logic of (...) the Two Notions, Cornell University Press] in which he proposed formal logics of knowledge and belief. This field has also developed quite a great deal and is now the subject of the TARK conferences. However, there has been relatively little work combining the two notions of knowledge (belief) with the notion of obligation. (See, however, [Lomuscio, A. and Sergot, M.: 2003, Studia Logica 75 63–92; Moore, R. C.: 1990, In J. F. Allen, J. Hendler and A. Tate (eds.), Readings in Planning, Morgan Kaufmann Publishers, San Mateo, CA]) In this paper we point out that an agent’s obligations are often dependent on what the agent knows, and indeed one cannot reasonably be expected to respond to a problem if one is not aware of its existence. For instance, a doctor cannot be expected to treat a patient unless she is aware of the fact that he is sick, and this creates a secondary obligation on the patient or someone else to inform the doctor of his situation. In other words, many obligations are situation dependent, and only apply in the presence of the relevant information. Thus a case for combining Deontic Logic with the Logic of Knowledge is clear. We introduce the notion of knowledge based obligation and offer an S5, history based Kripke semantics to express this notion, as this semantics enables us to represent how information is transmitted among agents and how knowledge changes over time as a result of communications. We consider both the case of an absolute obligation (although dependent on information) as well as the (defeasible) notion of an obligation which may be over-ridden by more relevant information. For instance a physician who is about to inject a patient with drug d may find out that the patient is allergic to d and that she should use d′ instead. Dealing with the second kind of case requires a resort to non-monotonic reasoning and the notion of justified belief which is stronger than plain belief, but weaker than absolute knowledge in that it can be over-ridden. This notion of justified belief also creates a derived notion of default obligation where an agent has, as far as the agent knows, an obligation to do some action a. A dramatic application of this notion is our analysis of the Kitty Genovese case where, in 1964, a young woman was stabbed to death while 38 neighbours watched from their windows but did nothing. The reason was not indifference, but none of the neighbours had even a default obligation to act, even though, as a group, they did have an obligation to take some action to protect Kitty. (shrink)

Modern social theory, by and large, has aimed at reducing the complexity of action situations to a set of manageable abstractions. But these abstractions, whether functionalist or linguistic, fail to grasp the indeterminacy of action situations.Action proceeds by discovery and combination. The logic of action is serendipitous and combinative. From these characteristics, a number of consequences flow: The whole field of our intentions is engaged in each action situation, and cannot really be understood apart from the situation itself. In action (...) situations we remain aware of the problems of categorization, including the dangers of infinite regress and the difficulties of specifying borders and ranges of categories. In action situations, attention is in permanent danger of being overwhelmed. We must deal with many features of action situations outside of attention; in doing so, we must entertain simultaneously numerous possibilities of action. Emotional expression is a way of talking about the kinds of possibilities we entertain. Expression and action have a rebound effect on attention. "Effort" is required to find appropriate expressions and actions, and rebound effects play a role in such effort, making it either easier or more difficult.Recent theoretical trends have failed to capture these irreducible characteristics of action situations, and have slipped into a number of errors. Language is not rich in meanings or multivocal, except as put to use in action situations. The role of "convention" in action situations is problematic, and therefore one ought not to talk of "culture." Contrary to the assertions of certain theorists, actors do not follow strategies, except when they decide to do so. Actors do not "communicate," in the sense of exchanging information, except in specially arranged situations. More frequently, they intervene in the effortful management of attention of their interlocutors. Dialogue, that is, very commonly becomes a form of cooperative emotional effort.From these considerations, it follows that the proper method for gaining social knowledge is to examine the history of action and of emotional effort, and to report findings in the form of narrative. (shrink)

A recurring issue in any formal model representing agents' (changing) informational attitudes is how to account for the fact that the agents are limited in their access to the available inference steps, possible observations and available messages. This may be because the agents are not logically omniscient and so do not have unlimited reasoning ability. But it can also be because the agents are following a predefined protocol that explicitly limits statements available for observation and/or communication. Within the broad literature (...) on epistemic logic, there are a variety of accounts that make precise a notion of an agent's "limited access" (for example, Awareness Logics, Justification Logics, and Inference Logics). This paper interprets the agents' access set of formulas as a constraint on the agents' information gathering process limiting which formulas can be observed. (shrink)

Is methodological theory a priori or a posteriori knowledge? It is perhaps a posteriori improvable, somehow. For example, Duhem discovered that since scientists disagree on methods, they do not always know what they are doing. How is methodological innovation possible? If it is inapplicable in retrospect, then it is not universal and so seems defective; if it is, then there is a miracle here. Even so, the new explicit awareness of rules previously implicitly known is in itself beneficial. And (...) so, improved methodology may make for improved methods. Hence, methodology is in part descriptive, in part prescriptive. Knowing this, a methodologist might improve his own studies. For example, Popper would then not hasten to conclude from the fact that past scientists depended on positive evidence that they had better do so in future as well; perhaps a lesser concern with confirmation may increase the productivity of scientific inquiry. (shrink)

Gyorgy Tamas works in the philosophy of logic, that difficult interdisciplin ary region wherein the notion of categories is both basic and subtle. To understand ways of thinking, to understand patterns of whatever is real, to recognize what is possible and to reject the nonsensical and the impossible is to comprehend the categories. This was a in thought and in fact, recurring motive of European thought from the earliest self-aware beginnings, and Tamas knows that history well, as his critical respect (...) demonstrates. Ancient, medieval, and modern thinkers appear in this book, set forth in their own words; and likewise we see that Tamas has built upon the historians and commentators, upon the pioneering historical investigation of the categories by Trendelenburg a century ago and by Bochenski in our days. Tamas has two principal goals here: to investigate the logic, which is to say the structure and the relations, of the philosophical categories; and to set forth the logic of thought which may then be based upon the critically established system of categories obtained by that investigation. Ancillary but of striking value is his style of historical relevance which enables the reader to engage in a discussion that is both analytically sharp and developmentally insightful. Furthermore, Tamas draws upon his contem porary colleagues with similar critical respect: Lukasiewicz, Quine, Patzig, Menne, Tavanets and others. (shrink)

The paper relates evidence and justification logics, both philosophically and technically. On the philosophical side, it is suggested that the difference between the approaches to evidence in the two families of logics can be explained as a result of their focusing on two different notions of support provided by evidence. On the technical side, a justification logic with operators pertaining to both kinds of support is shown to be sound and complete with respect to a special class of (...) awareness models. In addition, a realization theorem with respect to K is shown to hold for the logic. (shrink)

The aim of this paper, is to provide a logical framework for reasoning about actions, agency, and powers of agents and coalitions in game-like multi-agent systems. First we define our basic Dynamic Logic of Agency ( ). Differently from other logics of individual and coalitional capability such as Alternating-time Temporal Logic (ATL) and Coalition Logic, in cooperation modalities for expressing powers of agents and coalitions are not primitive, but are defined from more basic dynamic logic operators of action and (...) (historic) necessity. We show that STIT logic can be reconstructed in . We then extend with epistemic operators, which allows us to distinguish capability and power. We finally characterize the conditions under which agents are aware of their capabilities and powers. (shrink)

Imagine that you and a duplicate of yourself are lying unconscious, next to each other, about to undergo a complete step-by-step exchange of bits of your bodies. It certainly seems that at no stage in this exchange of bits will you have thereby switched places with your duplicate. Yet it also seems that the end-result, with all the bits exchanged, will be essentially that of the two of you having switched places. Where will you awaken? I claim that one and (...) the same person possesses both bodies, occupies both places and will experience both awakenings, just as a person whose brain has been bisected must at once experience both of the unconnected fields of awareness, even though each of these will falsely appear to him as the entirety of his experience. I also claim that the more usual apparent boundaries of persons are as illusory as those in brain bisection; personal identity remains unchanged through any variation or multiplication of body or mind. In all conscious life there is only one person - I - whose existence depends merely on the presence of a quality that is inherent in all experience - its quality of being mine, the simple immediacy of it for whatever is having experience. One powerful argument for this is statistical: on the ordinary view of personhood it is an incredible coincidence for you (though not for others) that out of 200,000,000 sperm cells the very one required on each occasion for your future existence was first to the egg in each of the begettings of yourself and all your ancestors. The only view that does not make your existence incredible, and that is not therefore (from your perspective) an incredible view, is that any conscious being would necessarily have been you anyway. It is a consequence that self-interest should extend to all conscious organisms. (shrink)

This special issue on Formal Models of Awareness contains five papers that concentrate on different approaches to the notion of awareness. They include syntactic and semantic approaches to modelling awareness and an alternative view from the multi-agent systems perspective where awareness is identified as the ability to perceive and understand actions of other agents.Velázquez-Quesada studies a logic of plausibility acknowledgement models used to interpret the notions of implicit and explicit beliefs. The models use the notion of (...) a formula being acknowledged as true that is similar to syntactic awareness in that the set of formulas acknowledged as true by an agent is not assumed to be closed under logical consequence. However it has a different meaning . A dynamic epistemic logic over such models is cons .. (shrink)

This book creates a conceptual schema that acts as a correlation between Epistemology and Epistemic Logic. It connects both fields and offers a proper theoretical foundation for the contemporary developments of Epistemic Logic regarding the dynamics of information. It builds a bridge between the view of Awareness Justification Internalism, and a dynamic approach to Awareness Logic. The book starts with an introduction to the main topics in Epistemic Logic and Epistemology and reviews the disconnection between the two fields. (...) It analyses three core notions representing the basic structure of the conceptual schema: “Epistemic Awareness”, “Knowledge” and “Justification”. Next, it presents the Explicit Aware Knowledge Schema, using a diagram of three ellipses to illustrate the schema, and a formal model based on a neighbourhood-model structure, that shows one concrete application of the EAK-Schema into a logical structure. The book ends by presenting conclusions and final remarks about the uses and applications of the EAK-Schema. It shows that the most important feature of the schema is that it serves both as a theoretical correlate to the dynamic extensions of Awareness Logic, providing it with a philosophical background, and as an abstract conceptual structure for a re-interpretation of Epistemology. (shrink)

I. RATNAKIRTI. HIS PHILOSOPHICAL CONGENERS AND ADVERSARIES Ratnakirti flourished early in the 11th century A.D. at the University of Vi kramasila, a member of the Yogacara-Vijnanavada school oflate Buddhist philosophy. Thakur characterizes Ratnakirti's writing as "more concise and logical though not so poetical" 1 as that of his guru, Jfianasrimitra, two of 2 whose dicta are focal points of the present work. From a translogical or absolute point of view, Ratnakirti endorses a form of 3 solipsistic idealism. The Sarhtdndntaradu$alJa, his (...) proof of solipsism written from the standpoint ofthe highest truth, concludes that an exter nal nonmental continuum is impossible. In ultimate reality the cognizing sub ject, its act of awareness, and the cognized object coalesce - all are fabrications superposed on what is really an indivisible evanescent now. 4 As Ratnakirti's predecessors have put it: There is neither an 'I' nor a 'he' nor a 'you' nor even an 'it'; neither the thing, nor the not-thing; neither a law nor a system; neither the terms nor the relations. But there are only the cognitive events of colourless sensations which have forms but no names. They are caught for a moment in a stream and then rush to naught. Even the stream is a fiction. That sensum of the moment, the purest particular, that advaya, the indivisible unit of cognition, that is the sole reality, the rest are all fictions, stirred up by time-honoured 5 convention of language which is itself a grand fiction. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:The Tragic Evolutionary Logic of The IliadBrian BoydThe Rape of Troy: Evolution, Violence, and the World of Homer, by Jonathan Gottschall; xii & 223 pp. Cambridge: Cambridge University Press, 2008, $32.00 paperback.Jonathan Gottschall has conquered the oldest and craggiest peak of Western literature, The Iliad, by a new face. He stakes out the Darwin route to Homer so directly and clearly that he makes the climb inviting and inspiring (...) even to curious newcomers without high-altitude evolutionary training. And the vista he opens up offers us a chance to look in multiple directions: at Homer, at literary evolutionism and its possibilities, and at Gottschall's role in exploring this new route to discovery.One previous monograph has investigated a single literary work from a Darwinian viewpoint: Brett Cooke's analysis of Evgeny Zamyatin's 1921 science-fiction classic, We.1 Cooke's Human Nature in Utopia, by showing how Zamyatin appeals to the evolved nature of readers, in the face of the denial of human nature in his imagined One State and in early Soviet Communism, deepens our natural response to a modern classic. But where Cooke merely succeeds, Gottschall triumphs. The Rape of Troy not only deepens our response to a classic discussed for almost three millennia but also explains the world of Homer in a way no one could have seen without the multi-million-year perspective evolution allows—and does so with conceptual clarity, tight argument, effortless imagery, and copious verbal energy. [End Page 234]Gottschall emphasizes that his "evolutionary anthropology of conflict in Homeric society" does not attempt a Homeric "theory of everything" (pp. 3, 9). There is much of interest in The Iliad he does not touch on, and much even in possible evolutionary approaches to Homer that he does not consider. He focuses intently on a single two-part question: Why is there so much violence in the Iliad, and what effect does it have on how those in Homeric society see their world?After a brilliant introductory overview, he shows in his first two chapters how over the last century Homerists have increasingly turned to comparative anthropology to augment the meagre direct data. They have clarified that the Iliad was long obscured by later Western assumptions about states and kings, and that the poem probably reflects something like Homer's own world, within (at about 800 BCE) the late Greek Dark Age, a pre-state society in many ways closer to Highland New Guinea than to the worlds of Caesar or Charlemagne.Everyone who knows about the Trojan War knows that the Greeks fight Troy because the Trojan prince Paris took Helen from her husband, the Greek lord Menelaus. But readers of the Iliad want to know why thousands of soldiers on both sides persisted through ten years of brutal battle. Surely war on this scale cannot have been over just a woman? Scholars have proposed many explanations of what was really at stake. Immortal honor for men all too aware, day after bloody day, of their own physical mortality? Power? Status? Material goods? Prestige goods? A chance to neutralize enemies?By drawing on evolutionary biology and anthropology, Gottschall can show that this war, like most human violence against other humans, and even like most intraspecies animal violence, stems ultimately from male competition over females. He introduces the powerful and far-reaching principle of differential parental investment developed by Robert Trivers.2 As Gottschall lucidly elaborates: "males will attempt to mate more promiscuously both because sex is cheaper for them, and because they have the potential to produce many offspring with multiple females. I emphasize the words 'attempt' and 'potential' because if every male adopts a relatively promiscuous strategy, and if some males succeed, then other males will not reproduce at all" (p. 44). The far more divergent rates of reproductive success among males than among females prove to be the key determinant. Gottschall sums up: "males typically face higher risks of total reproductive failure and higher hopes of extraordinary reproductive success. This creates strong incentives to compete for mates. Males who are better able to compete for access to [End Page 235] scarce female reproductive capacity, in whatever form... (shrink)

Although Gloria Anzaldúa's critical categories have steadily entered discussions in the field of philosophy, a lingering skepticism remains about her works’ ability to transcend the particularity of her lived experience. In an effort to respond to this attitude, I make Anzaldúa's corpus the center of philosophical analysis and posit that immanent to this work is a logic that lends it the unity of a critical philosophy that accounts for its concrete, multilayered character and shifting, creative force. I call this an (...) “affective logic of volverse una.” Starting with the understanding of a situated modality of all subjectivity, Anzaldúa's work exhibits a logic of three moments distinguished by states of awareness. Each state of awareness is characterized by the generative degree of the subject's responses to its conditions: critical, individuating, and expansive. Led by her late concepts of conocimiento and nepantlera, I return to her earlier works and trace Anzaldúa's innovative exploration of undoing the oppressive condition of marginal subjectivities from “La Prieta” through Borderlands/La Frontera to her final published essay “now let us shift.” I find a liberatory schema of volverse una/becoming whole that is grounded in an active receptivity of sensibility and facilitated by affective technologies for transformation. (shrink)

We examine various logics that combine knowledge, awareness, and change of awareness. An agent can become aware of propositional propositions but also of other agents or of herself. The dual operation to becoming aware, forgetting, can also be modelled. Our proposals are based on a novel notion of structural similarity that we call awareness bisimulation, the obvious notion of modal similarity for structures encoding knowledge and awareness.

This paper proposes a minimal logic of fine-grained information dynamics via belief bases. The framework is shown to be able to accommodate explicit belief, implicit belief, awareness of and awareness that, where awareness of agents is not treated as a tacit premise. A sound and complete axiomatization of static logic is established, upon which a series of dynamic operations are defined. It is argued that these dynamics adapt different scenarios. Our logic is minimal because to each agent (...) we only attach two databases, from which a variety of epistemic attitudes are generated. (shrink)

Classical epistemic logic describes implicit knowledge of agents about facts and knowledge of other agents, based on semantic information. The latter is produced by acts of observation or communication, that are described well by dynamic epistemic logics. What these logics do not describe, however, is how significant information is also produced by acts of inference – and key axioms of the system merely postulate “deductive closure”. In this paper, we take the view that all information is produced by (...) acts, and hence we also need a dynamic logic of inference steps showing what effort on the part of the agent makes a conclusion explicit knowledge. Strong omniscience properties of agents should be seen not as static idealizations, but as the result of dynamic processes that agents engage in. This raises two questions: (a) how to define suitable information states of agents and matching notions of explicit knowledge, (b) how to define natural processes over these states that generate new explicit knowledge. To this end, we extend earlier epistemic “awareness models” into a dynamic system that includes acts of public observation, but also adding and dropping formulas from the currently ‘entertained’ set, we give a completeness theorem, and we show how this dynamics updates explicit knowledge. Similar ideas have been proposed before, but they were restricted to update with factual propositions; our new dynamic system applies to arbitrary formulas. We also extend our approach to multi-agent scenarios where awareness changes may happen privately. Finally, we mention further directions and related approaches. (shrink)

The essay introduces a non-Diodorean, non-Kantian temporal modal semantics based on part-whole, rather than class, theory. Formalizing Edmund Husserl’s theory of inner time consciousness, §3 uses his protention and retention concepts to define a relation of self-awareness on intentional events. §4 introduces a syntax and two-valued semantics for modal first-order predicate object-languages, defines semantic assignments for variables and predicates, and truth for formulae in terms of the axiomatic version of Edmund Husserl’s dependence ontology (viz. the Calculus [CU] of Urelements) (...) introduced by The Ontology of Intentionality I & II. It then uses the §3 results to define the modalities of truth, and §5 extends the semantics to identity claims. §6 defines and contrasts synthetic a priori truths to analytic a priori truths, and §7 compares Brentano School noetic semantic and Leibnizian possible-world semantic perspectives on modality. The essay argues that the modal logics it defines semantically are two-valued, first-order versions of the type of language which Husserl viewed as the language of any ontology of experience (i.e. of any science), and conceived as the logic of intentionality. (shrink)

The central theme of this book is that the intentional aspects of mental processes are explicable, with mathematics, as due to the operation of purely material brain mechanisms. Nelson's version of mechanism holds that "a being has a mind if and only if its body or certain bodily parts are guided by formally distinct rules of a complexity to account for intentionality, and it is capable of conscious feeling". But he limits his inquiry to an investigation of the first of (...) these two conditions only: "So far as I can see, mechanism as such has nothing whatever to say about the relationship between physical states and states of awareness such as pains and ideas, although it does specifically address itself to the understanding of cognition, intelligence, and other such attributes of mind". (shrink)

Cognitive dissonance is a kind of ambivalence in which your apprehension of the fact that you performed or want to perform an action of which you disapprove gives rise to psychological distress. This, in turn, causes you to solicit unconscious processes that can help you reduce the distress. Here we look at the role that cognitive dissonance plays in explaining the inner workings of racism. We distinguish between three types of racist acts: inadvertent bigotry, habitual racism, and explicit racism. Unlike (...) inadvertent bigots, habitual and explicit racists are racially motivated and they therefore are responsible for their racial acts. But unlike the explicit racists, habitual racists aren’t immediately aware of their racial motives. As habitual racists hold overt egalitarian attitudes, the conflict between their over attitudes and their covert racial motives are a potential source of distress. To avoid having to face their racial motives, they tend to turn to confabulation. While explicit racists aren’t bothered by a similar form of cognitive dissonance, their explicit racial attitudes and desires to cause black people to suffer are at odds with majority public opinion, which can be a source of shame. To escape this kind of negative self-realization, explicit racists seek to justify their actions as honorable or as necessary for the good of society. We conclude by briefly pondering how cognitive dissonance can be used as a strategy for transforming habitual and explicit racists. (shrink)

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

The well-known symbol of the Tao is freshly interpreted in terms of dissipative quantum thermofield brain dynamics. The primary duality of the Tao is between two dynamical modes of operation. The secondary duality within each mode of the Tao symbolizes creation and annihilation operations. The relation between the dual modes is 'intrinsic' in that these modes do not exist independently of their relationship. What is ontologically primary is the dual modes belonging-together in the 'between-two'. Three sources of constraint on the (...) between-two are considered: sensory input, intention and 're-traces' of recognitions. 'Awareness', 'subjectivity', 'intentionality' and 'world' are located in the dissipative thermofield framework. On this interpretation the Tao symbol's composure is monadological. (shrink)

The aim of this paper is to establish the logically necessary preconditions for the existence of self-awareness in an artificial or a natural agent. We examine the terms, agent, situated, embodied, embedded, and representation, as employed ubiquitously in cognitive science, attempting to clarify their meaning and the limits of their use. We discuss the minimal conditions for an agent’s environment constituting a ‘world’ and reject most, though not all, types of virtual world. We argue that to qualify as genuinely (...) situated an agent should function in real time within the dynamic world we inhabit, or some close simulacrum of it. We show that embodied agents will possess or evolve local co-ordinate systems, or points of view, locating, identifying and interacting with objects relative to their current position in space-time, and we discuss various types of embodiment, arguing that most current situated and embodied systems are too limited to be candidates for even the most minimal claim to self-identity. We argue that a truly autonomous agent has to be active in its participation with the world, able to synthesise and order its internal representations from its own point of view, and to do this effectively the agent will have to be embedded. To this end we propose a six point definition of embeddedness. Ultimately we argue for a philosophical-cum-cognitive science model of the self that satisfies essential elements of both sets of definitions of the term. (shrink)

Falsification-aware (hyper)sequent calculi and Kripke semantics for normal modal logics including S4 and S5 are introduced and investigated in this study. These calculi and semantics are constructed based on the idea of a falsification-aware framework for Nelson’s constructive three-valued logic. The cut-elimination and completeness theorems for the proposed calculi and semantics are proved.

This study introduces refutation-aware Gentzen-style sequent calculi and Kripke-style semantics for propositional until-free linear-time temporal logic. The sequent calculi and semantics are constructed on the basis of the refutation-aware setting for Nelson’s paraconsistent logic. The cut-elimination and completeness theorems for the proposed sequent calculi and semantics are proven.

In this study, falsification-aware semantics and sequent calculi for first-order classical logic are introduced and investigated. These semantics and sequent calculi are constructed based on a falsification-aware setting for first-order Nelson constructive three-valued logic. In fact, these semantics and sequent calculi are regarded as those for a classical variant of N3. The completeness and cut-elimination theorems for the proposed semantics and sequent calculi are proved using Schütte’s method. Similar results for the propositional case are also obtained.

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:Philosophers of Nothingness: An Essay on the Kyoto School, and: A Buddhist-Christian Logic of the Heart: Nishida's Kyoto School and Lonergan's "Spiritual Genome" as World BridgeAmos YongPhilosophers of Nothingness: An Essay on the Kyoto School. By James W. Heisig. Honolulu: University of Hawai'i Press, 2001. xi + 380 pp.A Buddhist-Christian Logic of the Heart: Nishida's Kyoto School and Lonergan's "Spiritual Genome" as World Bridge. By John Raymaker. Lanham, (...) MD: University Press of America, 2002. x + 214 pp.These are two very different types of books. Heisig, research fellow (since 1978) and former director (1999-2001) of the Nanzan Institute for Religion and Culture and well known to readers of this journal as author, book editor, and translator extraordinaire, [End Page 271] has produced the definitive exposition of the Kyoto School in the English language with Philosophers of Nothingness. Raymaker, a longtime Roman Catholic missionary to Japan and student of Lonergan's work, attempts in A Buddhist-Christian Logic of the Heart to establish points of contact between Lonergan's transcendental method and Nishida's pure experience. Let me briefly summarize the two volumes before making some comparative observations.Philosophers of Nothingness is divided into five sections: an "Orientation" (introduction) and a "Prospectus" (transitional epilogue) flanking the three sections on Nishida, Tanabe, and Nishitani, each constituting approximately twenty short chapters. In each case, Heisig combines intellectual biography and history of ideas approaches, thus both setting forth the wider social, political, and intellectual contexts of the Kyoto School thinkers and elaborating on their distinctive ideas. Those interested in the latter will not be disappointed. Nishida's "pure experience," "active intuition," "absolutely contradictory self-identity," "logic of locus" (or basho, topos, place), and "historical world," among other themes, are all given special attention within the broader framework of his philosophical project. In the case of Tanabe, unique concepts such as "absolute mediation," "logic of species," and "metanoetic philosophy" (or philosophy of repentance) are illuminated. And, of course, the contributions of Nishitani are fully represented: "nihilism," "the standpoint of emptiness," and the sunyata of time and history.At the same time, those looking for background discussion will also find Heisig's exposition helpful, and that along (at least) the following three lines. First, an attempt is made to take seriously the self-understanding of Kyoto School thinkers of doing philosophy in the world context. This is, of course, a bold undertaking which some in our time might summarily dismiss either as hubris or as ignorance. Yet beginning with Nishida and continuing through Tanabe, Nishitani and others (such as Tanabe's student, Abe Masao), the task was to engage as Japanese philosophers with Western thinkers and ideas. Here, of course, the tension between particularity and universality is most intense, and the Kyoto philosophers proceeded with full awareness of the issues at stake. Now while their endeavors can be criticized from either direction, what cannot be criticized without self-refutation is their motivating belief that they could understand the West and vice versa.Second, and connected with the first, is the social and political twentieth-century context of Japan and its relationship with modernity and with the Western world. Here, Heisig brilliantly negotiates between laying out the facts and locating the passions and failures of the Kyoto philosophers. This requires that he correctly identify their contributions as Japanese thinkers engaging modernity without ignoring their blind spots. As such, longstanding questions concerning Kyoto School philosophy as an ideology for Japanese nationalism are confronted head-on. Heisig shows how political naīvete resulted in political entanglements. At the same time, his discussion illuminates the sociopolitical backdrop that informs and shapes all philosophizing. The result is a balanced presentation that is neither apologetic on the one side nor condemnatory on the other.Finally, the question of religion and its relationship to Kyoto School philosophy [End Page 272] is also taken up. Nishida's practice of zazen is thus shown to inform his philosophizing, if only implicitly (on Nishida's own account), even while Tanabe's experience of metanoia (conversion) as mediated through the "Other-power" matrix of Shinran's religious thought is shown to impact his philosophy explicitly... (shrink)

The paper develops an interface between syntax-based logical models of awareness and dynamic epistemic logic. The framework is shown to be able to accommodate a variety of notions of awareness and knowledge, as well as their dynamics. This, it is argued, offers a natural formal environment for the analysis of epistemic phenomena typical of multi-agent information exchange, such as how agents become aware of relevant details, how they perform inferences and how they share their information within a group. (...) Technically, the logics presented are all simple refinements of the logic of public announcements. (shrink)

with this paper, we intend to clarify some of the central notions that are commonly used in contemporary developments of Epistemic Logic, which lack a proper theoretical foundation. We want to follow the steps of some prominent epistemologists and epistemic logicians, who advocate for a correlation between their respective fields of study. We will proceed with a first small step that will consist in adapting one contemporary version of Epistemic Internalism to the framework of Awareness Logic, such that the (...) key concepts in this logic can be sustained by an epistemological view, which, in turn, can work as a theoretical foundation for Awareness Logic. (shrink)

In recent years, much work has been dedicated by logicians, computer scientists and economists to understanding awareness, as its importance for human behaviour becomes evident. Although several logics of awareness have been proposed, little attention has been explicitly dedicated to change in awareness. However, one of the most crucial aspects of awareness is the changes it undergoes, which have countless important consequences for knowledge and action. The aim of this paper is to propose a formal (...) model of awareness change, and to derive from it logics of awareness change. In the first part of the paper, the model of epistemic states of bounded agents proposed in Hill (Stud Log 89(1):81–109, 2008a ) is extended with operations modelling awareness change. In the second part of the paper, it is shown how this model naturally extends the “standard” logic of awareness to yield a logic of awareness change. (shrink)

Ramon Llull was acutely aware of Islamic and Jewish divergences from Christian belief. He undertook a quest for "necessary reasons" to show that, where these belief systems diverged, Christian belief is true. Though largely self-taught, Llull managed three stays at the University of Paris. Encounters between the incandescent Mallorcan and academic orthodoxy contributed hugely to Llull's changing conception of necessary reasons. These changes are abundantly documented in Anthony Bonner's The Art and Logic of Ramon Llull.Llull's understanding of necessary reasons is (...) different in the Ars magna's quaternary phase, its ternary phase, and a post-Art logical phase. In the quaternary phase, necessary reasons are often presented as demonstrative; fully ten works use the term in their title. Although Llull meant 'demonstration' in a sense broader than Aristotle's, Parisian academics objected, mistakenly thinking he was trying to prove dogmas like the Trinity and Incarnation through Aristotelian demonstrations propter quid and quia. As Bonner conjectures, this may be why no work from the ternary phase mentions. (shrink)

The paper outlines a generalisation of the awareness-based epistemic semantics by Fagin and Halpern. Awareness is construed as a relation between agents and pieces of information instead of formulas. The main motive for introducing the generalisation is that it shows substructural logics to be a natural component of information-based epistemic logic: substructural logics can be seen as describing the logical behaviour of pieces of information. Substructural epistemic logics are introduced and some of their properties are (...) discussed. In addition, extensions of substructural epistemic logics invoking group-epistemic and dynamic modalities are sketched. (shrink)

Knowing the level of quality from which the context is no longer valuable in a Context-Aware Data Mining (CADM) system is an important information. The main goal of this research is to study the variations of the predictions in case of different levels of noise and missing context data in practical scenarios for predicting soil moisture. The research has been performed on two locations from the Transylvanian Plain, Romania and two locations from Canada. The values predicted for the soil moisture (...) were compared in mixed scenarios that vary the quantity of noise and missing context data. The studied behavior was performed using Deep Learning, Decision Tree and Gradient Boosted Tree machine learning algorithms. It has been shown that when using the air temperature as context for predicting soil moisture, variations of noise and missing data do not influence the results proportionally with the levels of noise and missing data applied. Also, Gradient Boosted Tree algorithm proves to be the best algorithm from the ones studied, to be considered when predicting soil moisture with the CADM approach. (shrink)