The problem of amodal perception is the problem of how we represent features of perceived objects that are occluded or otherwise hidden from us. Bence Nanay (2010) has recently proposed that we amodally perceive an object's occluded features by imaginatively projecting them into the relevant regions of visual egocentric space. In this paper, I argue that amodal perception is not a single, unitary capacity. Drawing appropriate distinctions reveals amodal perception to be characterized not only by mental imagery, as Nanay suggests, (...) but also by genuinely visual representations as well as beliefs. I conclude with some brief remarks on the role of object-directed bodily action in conferring a sense of unseen presence on an object's occluded features. (shrink)

Donald Davidson has long maintained that in order to be credited with the concept of objectivity – and, so, with language and thought – it is necessary to communicate with at least one other speaker. I here examine Davidson's central argument for this thesis and argue that it is unsuccessful. Subsequently, I turn to Robert Brandom's defense of the thesis inMaking It Explicit.I argue that, contrary to Brandom, in order to possess the concept of objectivity it is not necessary (...) to engage in the practice of interpersonal reasoning because possession of the concept is independently integral to the practice of intrapersonal reasoning. (shrink)

In this paper, I critically assess the enactive account of visual perception recently defended by Alva Noë (2004). I argue inter alia that the enactive account falsely identifies an object’s apparent shape with its 2D perspectival shape; that it mistakenly assimilates visual shape perception and volumetric object recognition; and that it seriously misrepresents the constitutive role of bodily action in visual awareness. I argue further that noticing an object’s perspectival shape involves a hybrid experience combining both perceptual and imaginative elements—an (...) act of what I call ‘make‐perceive’. (shrink)

According to the decomposition thesis, perceptual experiences resolve without remainder into their different modality-specific components. Contrary to this view, I argue that certain cases of multisensory integration give rise to experiences representing features of a novel type. Through the coordinated use of bodily awareness—understood here as encompassing both proprioception and kinaesthesis—and the exteroceptive sensory modalities, one becomes perceptually responsive to spatial features whose instances couldn’t be represented by any of the contributing modalities functioning in isolation. I develop an argument for (...) this conclusion focusing on two cases: 3D shape perception in haptic touch and experiencing an object’s egocentric location in crossmodally accessible, environmental space. (shrink)

Multisensory processing encompasses all of the various ways in which the presence of information in one sensory modality can adaptively influence the processing of information in a different modality. In Part I of this survey article, I begin by presenting a cartography of some of the more extensively investigated forms of multisensory processing, with a special focus on two distinct types of multisensory integration. I briefly discuss the conditions under which these different forms of multisensory processing occur as well as (...) their important perceptual consequences and interrelations. In Part II, I then turn to examining of some of the different possible ways in which the structure of conscious perceptual experience might also be characterized as multisensory. In addition, I discuss the significance of research on multisensory processing and multisensory consciousness for philosophical attempts to individuate the senses. (shrink)

The first part of this survey article presented a cartography of some of the more extensively studied forms of multisensory processing. In this second part, I turn to examining some of the different possible ways in which the structure of conscious perceptual experience might also be characterized as multisensory. In addition, I discuss the significance of research on multisensory processing and multisensory consciousness for philosophical debates concerning the modularity of perception, cognitive penetration, and the individuation of the senses.

Semantic externalism in contemporary philosophy of language typically – and often tacitly – combines two supervenience claims about idiolectical meaning (i.e., meaning in the language system of an individual speaker). The first claim is that the meaning of a word in a speaker’s idiolect may vary without any variation in her intrinsic, physical properties. The second is that the meaning of a word in a speaker’s idiolect may vary without any variation in her understanding of its use. I here show (...) that a conception of idiolectical meaning is possible that accepts the “anti-internalism” of the first claim while rejecting (what I shall refer to as) the “anti-individualism” of the second. According to this conception, externally constituted idiolectical meaning supervenes on idiolectical understanding. (shrink)

Human beings have the ability to ‘augment’ reality by superimposing mental imagery on the visually perceived scene. For example, when deciding how to arrange furniture in a new home, one might project the image of an armchair into an empty corner or the image of a painting onto a wall. The experience of noticing a constellation in the sky at night is also perceptual-imaginative amalgam: it involves both seeing the stars in the constellation and imagining the lines that connect them (...) at the same time. I here refer to such hybrid experiences – involving both a bottom-up, externally generated component and a top-down, internally generated component – as make-perceive (Briscoe 2008, 2011). My discussion in this paper has two parts. In the first part, I show that make-perceive enables human beings to solve certain problems and pursue certain projects more effectively than bottom-up perceiving or top-down visualization alone. To this end, the skillful use of projected mental imagery is surveyed in a variety of contexts, including action planning, the interpretation of static mechanical diagrams, and non-instrumental navigation. In the second part, I address the question of whether make-perceive may help to account for the “phenomenal presence” of occluded or otherwise hidden features of perceived objects. I argue that phenomenal presence is not well explained by the hypothesis that hidden features are represented using projected mental images. In defending this position, I point to important phenomenological and functional differences between the way hidden object features are represented respectively in mental imagery and amodal completion. (shrink)

This chapter critically assesses recent arguments that acquiring the ability to categorize an object as belonging to a certain high-level kind can cause the relevant kind property to be represented in visual phenomenal content. The first two arguments, developed respectively by Susanna Siegel (2010) and Tim Bayne (2009), employ an essentially phenomenological methodology. The third argument, developed by William Fish (2013), by contrast, is supported by an array of psychophysical and neuroscientific findings. I argue that while none of these arguments (...) ultimately proves successful, there is a substantial body of empirical evidence that information originating outside the visual system can nonetheless modulate the way an object’s low-level attributes visually appear. Visual phenomenal content, I show, is not only significantly influenced by crossmodal interactions between vision and other exteroceptive senses such as touch and audition, but also by interactions between vision and non-perceptual systems involved in motor planning and construction of the proprioceptive body-image. (shrink)

Neuropsychological findings used to motivate the "two visual systems" hypothesis have been taken to endanger a pair of widely accepted claims about spatial representation in conscious visual experience. The first is the claim that visual experience represents 3-D space around the perceiver using an egocentric frame of reference. The second is the claim that there is a constitutive link between the spatial contents of visual experience and the perceiver's bodily actions. In this paper, I review and assess three main sources (...) of evidence for the two visual systems hypothesis. I argue that the best interpretation of the evidence is in fact consistent with both claims. I conclude with some brief remarks on the relation between visual consciousness and rational agency. (shrink)

It is natural to assume that the fine-grained and highly accurate spatial information present in visual experience is often used to guide our bodily actions. Yet this assumption has been challenged by proponents of the Two Visual Systems Hypothesis , according to which visuomotor programming is the responsibility of a “zombie” processing stream whose sources of bottom-up spatial information are entirely non-conscious . In many formulations of TVSH, the role of conscious vision in action is limited to “recognizing objects, selecting (...) targets for action, and determining what kinds of action, broadly speaking, to perform” . Our aim in this study is to show that the available evidence not only fails to support this dichotomous view but actually reveals a significant role for conscious vision in motor programming, especially for actions that require deliberate attention. (shrink)

Pictures are 2D surfaces designed to elicit 3D-scene-representing experiences from their viewers. In this essay, I argue that philosophers have tended to underestimate the relevance of research in vision science to understanding the nature of pictorial experience. Both the deeply entrenched methodology of virtual psychophysics as well as empirical studies of pictorial space perception provide compelling support for the view that pictorial experience and seeing face-to-face are experiences of the same psychological, explanatory kind. I also show that an empirically informed (...) account of pictorial experience provides resources to develop a novel, resemblance-based account of depiction. According to what I call the deep resemblance theory, pictures work by presenting virtual models of objects and scenes in phenomenally 3D, pictorial space. (shrink)

According to proponents of the sensorimotor contingency theory of perception (Hurley & Noë 2003, Noë 2004, O’Regan 2011), active control of camera movement is necessary for the emergence of distal attribution in tactile-visual sensory substitution (TVSS) because it enables the subject to acquire knowledge of the way stimulation in the substituting modality varies as a function of self-initiated, bodily action. This chapter, by contrast, approaches distal attribution as a solution to a causal inference problem faced by the subject’s perceptual systems. (...) Given all of the available endogenous and exogenous evidence available to those systems, what is the most probable source of stimulation in the substituting modality? From this perspective, active control over the camera’s movements matters for rather different reasons. Most importantly, it generates proprioceptive and efference-copy based information about the camera’s body-relative position necessary to make use of the spatial cues present in the stimulation that the subject receives for purposes of egocentric object localization. (shrink)

According to “actionism” (Noë 2010), perception constitutively depends on implicit knowledge of the way sensory stimulations vary as a consequence of the perceiver’s self-movement. My aim in this contribution is to develop an alternative conception of the role of action in perception present in the work of Gareth Evans using resources provided by Ruth Millikan’s biosemantic theory of mental representation.

The purpose of this paper is to defend what I call the action-oriented coding theory (ACT) of spatially contentful visual experience. Integral to ACT is the view that conscious visual experience and visually guided action make use of a common subject-relative or 'egocentric' frame of reference. Proponents of the influential two visual systems hypothesis (TVSH), however, have maintained on empirical grounds that this view is false (Milner & Goodale, 1995/2006; Clark, 1999; 2001; Campbell, 2002; Jacob & Jeannerod, 2003; Goodale & (...) Milner, 2004). One main source of evidence for TVSH comes from behavioral studies of the comparative effects of size-contrast illusions on visual awareness and visuo- motor action. This paper shows that not only is the evidence from illusion studies inconclusive, there is a better, ACT-friendly interpretation of the evidence that avoids serious theoretical difficulties faced by TVSH. (shrink)

I here present some doubts about whether Mandik’s (2010) proposed intermediacy and recurrence constraints are necessary and sufficient for agentive experience. I also argue that in order to vindicate the conclusion that agentive experience is an exclusively perceptual phenomenon (Prinz, 2007), it is not enough to show that the predictions produced by forward models of planned motor actions are conveyed by mock sensory signals. Rather, it must also be shown that the outputs of “comparator” mechanisms that compare these predictions against (...) actual sensory feedback are also coded in a perceptual representational format. (shrink)

Mark Changizi et al. (2008) claim that it is possible systematically to organize more than 50 kinds of illusions in a 7 × 4 matrix of 28 classes. This systematization, they further maintain, can be explained by the operation of a single visual processing latency correction mechanism that they call “perceiving the present” (PTP). This brief report raises some concerns about the way a number of illusions are classified by the proposed systematization. It also poses two general problems—one empirical and (...) one conceptual—for the PTP approach. (shrink)

In this chapter, I critically examine two of the main approaches to colour categorization in cognitive science: the perceptual salience theory and linguistic relativism. I then turn to reviewing several decades of psychological research on colour categorical perception (CP). A careful assessment of relevant findings suggests that most of the experimental effects that have been understood in terms of CP actually fall on the cognition side of the perception-cognition divide: they are effects of colour language, for example, on memory or (...) decision-making. (shrink)

In this paper, we argue that several recent ‘wide’ perspectives on cognition (embodied, embedded, extended, enactive, and distributed) are only partially relevant to the study of cognition. While these wide accounts override traditional methodological individualism, the study of cognition has already progressed beyond these proposed perspectives towards building integrated explanations of the mechanisms involved, including not only internal submechanisms but also interactions with others, groups, cognitive artifacts, and their environment. The claim is substantiated with reference to recent developments in the (...) study of “mindreading” and debates on emotions. We claim that the current practice in cognitive (neuro)science has undergone, in effect, a silent mechanistic revolution, and has turned from initial binary oppositions and abstract proposals towards the integration of wide perspectives with the rest of the cognitive (neuro)sciences. (shrink)

If the world itself is metaphysically indeterminate in a specified respect, what follows? In this paper, we develop a theory of metaphysical indeterminacy answering this question.

Might it be that world itself, independently of what we know about it or how we represent it, is metaphysically indeterminate? This article tackles in turn a series of questions: In what sorts of cases might we posit metaphysical indeterminacy? What is it for a given case of indefiniteness to be 'metaphysical'? How does the phenomenon relate to 'ontic vagueness', the existence of 'vague objects', 'de re indeterminacy' and the like? How might the logic work? Are there reasons for postulating (...) this distinctive sort of indefiniteness? Conversely, are there reasons for denying that there is indefiniteness of this sort? (shrink)

The view that it is better for life to be created free of disability is pervasive in both common sense and philosophy. We cast doubt on this view by focusing on an influential line of thinking that manifests it. That thinking begins with a widely-discussed principle, Procreative Beneficence, and draws conclusions about parental choice and disability. After reconstructing two versions of this argument, we critique the first by exploring the relationship between different understandings of well-being and disability, and the second (...) by more briefly focusing on the idea of a significant reason. By placing these results against the broader historical and ongoing contexts in which the lives of those with disabilities have been deemed of inferior quality, we conclude with a call for greater humility about disability and well-being in thought and practice. (shrink)

Revisionary theories of logic or truth require revisionary theories of mind. This essay outlines nonclassically based theories of rational belief, desire, and decision making, singling out the supervaluational family for special attention. To see these nonclassical theories of mind in action, this essay examines a debate between David Lewis and Derek Parfit over what matters in survival. Lewis argued that indeterminacy in personal identity allows caring about psychological connectedness and caring about personal identity to amount to the same thing. The (...) essay argues that Lewis's treatment of two of Parfit's puzzle cases—degreed survival and fission—presuppose different nonclassical treatments of belief and desire. (shrink)

Sometimes it is indeterminate what an agent morally ought do. This generates a Decision Ought Challenge—to give moral guidance to agents in such a scenario. This article is a field guide to the options for a theory of the decision ought for cases of indeterminacy. Three categories of view are evaluated, and the best representative for each is identified.

Alongside existing research into the social, political and economic impacts of the Web, there is a need to study the Web from a cognitive and epistemic perspective. This is particularly so as new and emerging technologies alter the nature of our interactive engagements with the Web, transforming the extent to which our thoughts and actions are shaped by the online environment. Situated and ecological approaches to cognition are relevant to understanding the cognitive significance of the Web because of the emphasis (...) they place on forces and factors that reside at the level of agent–world interactions. In particular, by adopting a situated or ecological approach to cognition, we are able to assess the significance of the Web from the perspective of research into embodied, extended, embedded, social and collective cognition. The results of this analysis help to reshape the interdisciplinary configuration of Web Science, expanding its theoretical and empirical remit to include the disciplines of both cognitive science and the philosophy of mind. (shrink)

We demonstrate how real progress can be made in the debate surrounding the enhanced indispensability argument. Drawing on a counterfactual theory of explanation, well-motivated independently of the debate, we provide a novel analysis of ‘explanatory generality’ and how mathematics is involved in its procurement. On our analysis, mathematics’ sole explanatory contribution to the procurement of explanatory generality is to make counterfactual information about physical dependencies easier to grasp and reason with for creatures like us. This gives precise content to key (...) intuitions traded in the debate, regarding mathematics’ procurement of explanatory generality, and adjudicates unambiguously in favour of the nominalist, at least as far as explanatory generality is concerned. (shrink)

Many accounts of structural rationality give a special role to logic. This paper reviews the problem case of clear-eyed logical uncertainty. An account of rational norms on belief that does not give a special role to logic is developed: doxastic probabilism.

Knowledge implies the presence of a positive relation between a person and a fact. Factual ignorance, on the other hand, implies the absence of some positive relation between a person and a fact. The two most influential views of ignorance hold that what is lacking in cases of factual ignorance is knowledge or true belief, but these accounts fail to explain a number of basic facts about ignorance. In their place, we propose a novel and systematic defense of the view (...) that factual ignorance is the absence of awareness, an account that both comes apart from the dominant views and overcomes their deficiencies. Given the important role that ignorance plays in moral and legal theory and our understanding of various epistemic injustices, a precise and theoretically unproblematic account of the nature of ignorance is important not only for normative epistemology, but also for law, ethics, and applied epistemology. (shrink)

The question of the cognitive role of fictionality is this: what is the correct cognitive attitude to take to p, when it is fictional that p? We began by considering one answer to this question, implicit in the work of Kendall Walton, that the correct response to a fictional proposition is to imagine that proposition. However, this approach is silent in cases of fictional incompleteness, where neither p nor its negation are fictional. We argue that that Waltonians should embrace a (...) pluralistic account of the cognitive role of fictional incompleteness: in some cases of fictional incompleteness, we are permitted to resolve the incompleteness during our engagement with the target fiction, and in other cases, we are obliged not to resolve the incompleteness. But though pluralism is accommodated by Walton’s wider account of fictionality, it puts tension on his motivating idea that fictionality stands to the imagination as truth stands to belief. And so we develop a rival conception of the cognitive role of fictionality that is built around a different analogy: on this evidentialist approach, (known) fictionality stands to the imagination as evidence stands to credence. (shrink)

Supervaluationism is often described as the most popular semantic treatment of indeterminacy. There’s little consensus, however, about how to fill out the bare-bones idea to include a characterization of logical consequence. The paper explores one methodology for choosing between the logics: pick a logic thatnorms beliefas classical consequence is standardly thought to do. The main focus of the paper considers a variant of standard supervaluational, on which we can characterizedegrees of determinacy. It applies the methodology above to focus ondegree logic. (...) This is developed first in a basic, single-premise case; and then extended to the multipremise case, and to allowdegreesof consequence. The metatheoretic properties of degree logic are set out. On the positive side, the logic is supraclassical—all classical valid sequents are degree logic valid. Strikingly, metarules such as cut and conjunction introduction fail. (shrink)

These essays draw on work in the history and philosophy of science, the philosophy of mind and language, the development of concepts in children, conceptual..

There is an intuitive difference in how we think about pluralism and attitudinal diversity in epistemological contexts versus political contexts. In an epistemological context, it seems problematically arbitrary to hold a particular belief on some issue, while also thinking it perfectly reasonable to hold a totally different belief on the same issue given the same evidence. By contrast, though, it doesn’t seem problematically arbitrary to have a particular set of political commitments, while at the same time thinking it perfectly reasonable (...) for someone in a similar position have a totally different set of political commitments. This chapter examines three explanatory theses that might be used to make sense of this difference: (1) that practical commitments are desire dependent in a way that beliefs are not; (2) that there are reasons to be resolute in practical commitments, but not in beliefs; and (3) that compromise in the face of practical political disagreement doesn’t mitigate controversy, whereas compromise in the face of disagreement about mere beliefs does mitigate controversy. (shrink)

People sometimes use speech to interfere with other people’s speech, as in the case of a heckler sabotaging a lecture with constant interjections. Some people claim that such interference infringes upon free speech. Against this view, we argue that where competing speakers in a public forum both have an interest in speaking, free speech principles should not automatically give priority to the ‘official’ speaker. Given the ideals underlying free speech, heckling speech sometimes deserves priority. But what can we say, then, (...) about situations in which heckling clearly seems to infringe upon people’s civil liberties, in a way that intuitively justifies intervention? In such cases, we argue, heckling infringes upon people’s associative freedom. We present and defend an ethical framework for the institutional management of ‘Speech Fights’, geared around this insight. (shrink)

This essay explores the thesis that for vague predicates, uncertainty over whether a borderline instance x of red/large/tall/good is to be understood as practical uncertainty over whether to treat x as red/large/tall/good. Expressivist and quasi-realist treatments of vague predicates due to John MacFarlane and Daniel Elstein provide the stalking-horse. It examines the notion of treating/counting a thing as F , and links a central question about our attitudes to vague predications to normative evaluation of plans to treat a thing as (...) F . The essay examines how the account applies to normatively defective or contested terms. The final section raises a puzzle about the mechanics of MacFarlane’s detailed implementation for the case of gradable adjectives. (shrink)

Claims about what justice “requires” and the “requirements” of justice are pervasive in political philosophy. However, there is a highly significant ambiguity in such claims that appears to have gone unnoticed. Such claims may pick out either one of two categorically distinct and noncoextensive kinds of requirement that we call 1) requirements-as-necessary-conditions for justice and 2) requirements-as-demands of justice. This is an especially compelling instance of an ambiguity that John Broome has famously observed in the context of claims about other (...) requirements (notably the requirements of rationality and morality). But it appears to have been overlooked by political philosophers in the case of claims about the requirements of justice. The ambiguity is highly significant inasmuch as failing to notice it is liable to distort our normative thinking about politics and make us vulnerable to certain kinds of normatively consequential errors: both mistakenly drawing inferences about what justice demands of us from claims that certain states or societies are not just; and mistakenly drawing inferences about what states or societies are or would be just from claims that justice does not demand of states or societies that they do certain things. Paying greater attention to the distinction between these two different kinds of requirements and the ways in which they come apart is helpful, not merely in avoiding these distortions and errors, but also in resolving, or at least clarifying, a number of other notoriously murky meta-normative debates, especially various important debates about realism and idealism in political philosophy. (shrink)

The fact that Gilbert Ryle and J.L. Austin seem to disagree about the ordinary use of words such as ‘voluntary’, ‘involuntary’, ‘voluntarily’, and ‘involuntarily’ has been taken to cast doubt on the methods of ordinary language philosophy. As Benson Mates puts the worry, ‘if agreement about usage cannot be reached within so restricted a sample as the class of Oxford Professors of Philosophy, what are the prospects when the sample is enlarged?’ (Mates, Inquiry 1:161–171, 1958, p. 165). In this chapter, (...) we evaluate Mates’s criticism alongside Ryle’s and Austin’s specific claims about the ordinary use of these words, assessing these claims against actual examples of ordinary use drawn from the British National Corpus (BNC). Our evaluation consists in applying a combination of methods: first aggregating judgments about a large set of samples drawn from the corpus, and then using a clustering algorithm to uncover connections between different types of use. In applying these methods, we show where and to what extent Ryle’s and Austin’s accounts of the use of the target terms are accurate as well as where they miss important aspects of ordinary use, and we demonstrate the usefulness of this new combination of methods. At the heart of our approach is a commitment to the idea that systematically looking at actual uses of expressions is an essential component of any approach to ordinary language philosophy. (shrink)

Why should we be means-end rational? Why care whether someone’s mental states exhibit certain formal patterns, like the ones formalized in causal decision theory? This paper establishes a dominance argument for these constraints in a finite setting. If you violate the norms of causal decision theory, then your desires will be aptness dominated. That is, there will be some alternative set of desires that you could have had, which would be more apt (closer to the actual values fixed by your (...) sensibility/ what you intrinsically care about) no matter which world is actual. If we care about having apt desires, then, we should never let ourselves violate these norms of means-end rationality. This argument shares a form with now-standard accuracy arguments for probabilism, opening up a new terrain for that discussion. I show that the foundational assumptions about the shape of accuracy and of aptness required to run the arguments for means-end rationality and for probabilism run closely parallel. I show the argument is robust under different theories of subjective actual value, including nonclassical treatments of indeterminacy in actual value; I show the argument may (but need not!) be generalized to objective theories of value. The upshot is that aptness-domination arguments for decision theories should be added to the philosophical playbook. (shrink)

Suppose that you're certain that a certain sentence, e.g. "Frida is tall", lacks a determinate truth value. What cognitive attitude should you take towards it—reject it, suspend judgment, or what else? We show that, by adopting a seemingly plausible principle connecting credence in A and Determinately A, we can prove a very implausible answer to this question: i.e., all indeterminate claims should be assigned credence zero. The result is striking similar to so-called triviality results in the literature on modals and (...) conditionals. (shrink)

: The current difference in attitude toward germ-line enhancement in humans and nonhumans is unjustified. Society should be more cautious in modifying the genes of nonhumans and more bold in thinking about modifying our own genome. I identify four classes of arguments pertaining to germ-line enhancement: safety arguments, justice arguments, trust arguments, and naturalness arguments. The first three types are compelling, but do not distinguish between human and nonhuman cases. The final class of argument would justify a distinction between human (...) and nonhuman germ-line enhancement; however, this type of argument fails and, therefore, the discrepancy in attitude toward human and nonhuman germ-line enhancement is unjustified. (shrink)

Inspired by the practice of dialogue in ancient philosophical schools, the Philosophy as a Way of Life (PWOL) Project at the University of Notre Dame has sought to put dialogue back at the center of philosophical pedagogy. Impromptu philosophical dialogue, however, can be challenging for students who are new to philosophy. Anticipating this challenge, the Project has created a series of manuals to help instructors conduct dialogue groups with novice philosophy students. Using these guidelines, we incorporated PWOL-style dialogue groups into (...) our Spring 2021 course “The Philosophy of Race, Class, and Gender” with the hope that, through having conversations about these challenging topics, our students would both be able to practice having philosophical dialogues as well as form their views on race and gender in light of contributions from their diverse peers. This article examines several strategies for how instructors can seek to incorporate similar dialogues into their own introductory classroom. (shrink)

This is a survey of theories of scientific method which opens the book "After Popper, Kuhn and Feyerabend: Recent Issues in Theories of Scientific Method".

Trivalence is quite natural for deontic action logic, where actions are treated as good, neutral or bad.We present the ideas of trivalent deontic logic after J. Kalinowski and its realisation in a 3-valued logic of M. Fisher and two systems designed by the authors of the paper: a 4-valued logic inspired by N. Belnap’s logic of truth and information and a 3-valued logic based on nondeterministic matrices. Moreover, we combine Kalinowski’s idea of trivalence with deontic action logic based on boolean (...) algebra. (shrink)

In the paper we provide an overview of issues related to the models used in the research on the logic of norms and actions. We present two models of the variability of the world: temporal (acyclic) and atemporal (cyclic). In the first one the past is always clearly defined, and the future is potentially “branched”. The second type of model allows for a return to the situation that took place. Next we describe different approaches towards agency modeling. We present the (...) most important paradigms, including the logic of actions, where actions are interpreted as transitions between the situations and STIT logic, which states only the responsibility of the agent for particular states of affairs. We discuss questions of determinism and indeterminism of actions, identification of basic actions and operations and the issue of identity. The final part of the paper is devoted to deontic categories. In particular, the applicability of the concepts of strong and weak permission and prohibition in different situational contexts, and their relationship to the two concepts of obligation: abstract and derived. (shrink)

We investigate a speci c model of knowledge and beliefs and their dynamics. The model is inspired by public announcement logic and the approach to puzzles concerning knowledge using that logic. In the model epistemic considerations are based on ontology. The main notion that constitutes a bridge between these two disciplines is the notion of epistemic capacities. Within the model we study scenarios in which agents can receive false announcements and can have incomplete or improper views about other agent's epistemic (...) capacities. Moreover, we try to express the description of problem speci cation using the tools from applied ontology { RDF format for information and the Protege editor. (shrink)