Simulation models of the Reiterated Prisoner's Dilemma (in the following: RPD-models) are since 30 years considered as one of the standard tools to study the evolution of cooperation (Rangoni 2013; Hoffmann 2000). A considerable number of such simulation models has been produced by scientists. Unfortunately, though, none of these models has empirically been verified and there exists no example of empirical research where any of the RPD-models has successfully been employed to a particular instance of cooperation. Surprisingly, this has (...) not kept scientists from continuing to produce simulation models in the same tradition and from writing their own history as a history of success. In a recent simulation study -- which does not make use of the RPD but otherwise follows the same pattern of research -- Robert Axelrod's (1984) original role model for this kind of simulation studies is praised as ``an extremely effective means for investigating the evolution of cooperation'' and considered as ``widely credited with invigorating that field'' (Rendell et al. 2010). (shrink)

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)

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)

Decisions are made under uncertainty when there are distinct outcomes of a given action, and one is uncertain to which the act will lead. Decisions are made under indeterminacy when there are distinct outcomes of a given action, and it is indeterminate to which the act will lead. This paper develops a theory of (synchronic and diachronic) decision-making under indeterminacy that portrays the rational response to such situations as inconstant. Rational agents have to capriciously and randomly choose how to resolve (...) the indeterminacy relevant to a given choice-situation, but such capricious choices once made constrain how they will choose in the future. The account is illustrated by the case of self-interested action in situations where it is indeterminate whether you yourself will survive to benefit or suffer the consequences. The conclusion emphasizes some distinctive anti-hedging predictions of the account. (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.

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.

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.

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)

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)

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)

Inscrutability arguments threaten to reduce interpretationist metasemantic theories to absurdity. Can we find some way to block the arguments? A highly influential proposal in this regard is David Lewis’ ‘ eligibility ’ response: some theories are better than others, not because they fit the data better, but because they are framed in terms of more natural properties. The purposes of this paper are to outline the nature of the eligibility proposal, making the case that it is not ad hoc, but (...) instead flows naturally from three independently motivated elements; and to show that severe limitations afflict the proposal. In conclusion, I pick out the element of the eligibility response that is responsible for the limitations: future work in this area should therefore concentrate on amending this aspect of the overall theory. (shrink)

This paper generalises the classical Condorcet jury theorem from majority voting over two options to plurality voting over multiple options. The paper further discusses the debate between epistemic and procedural democracy and situates its formal results in that debate. The paper finally compares a number of different social choice procedures for many-option choices in terms of their epistemic merits. An appendix explores the implications of some of the present mathematical results for the question of how probable majority cycles (as in (...) Condorcet's paradox) are in large electorates. (shrink)

Worlds where things divide forever ("gunk" worlds) are apparently conceivable. The conceivability of such scenarios has been used as an argument against "nihilist" or "near-nihilist" answers to the special composition question. I argue that the mereological nihilist has the resources to explain away the illusion that gunk is possible.

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)

In this paper, we consider recent attempts to metaphysically explain agentive modality in terms of conditionals. We suggest that the best recent accounts face counterexamples, and more worryingly, they take some agentive modality for granted. In particular, the ability to perform basic actions features as a primitive in these theories. While it is perfectly acceptable for a semantics of agentive modal claims to take some modality for granted in getting the extension of action claims correct, a metaphysical explanation of agentive (...) modality cannot, at least not in the way that conditional approaches to agentive modality do. We argue that this problem was present even in the classical conditional analysis. By a pessimistic induction, we suggest that, probably, no conditional approach to agentive modality will succeed. (shrink)

I outline and motivate a way of implementing a closest world theory of indicatives, appealing to Stalnaker's framework of open conversational possibilities. Stalnakerian conversational dynamics helps us resolve two outstanding puzzles for a such a theory of indicative conditionals. The first puzzle -- concerning so-called 'reverse Sobel sequences' -- can be resolved by conversation dynamics in a theoryneutral way: the explanation works as much for Lewisian counterfactuals as for the account of indicatives developed here. Resolving the second puzzle, by contrast, (...) relies on the interplay between the particular theory of indicative conditionals developed here and Stalnakerian dynamics. The upshot is an attractive resolution of the so-called "Gibbard phenomenon" for indicative conditionals. (shrink)

Some moral theorists argue that being an innocent beneficiary of significant harms inflicted by others may be sufficient to ground special duties to address the hardships suffered by the victims, at least when it is impossible to extract compensation from those who perpetrated the harm. This idea has been applied to climate change in the form of the beneficiary-pays principle. Other philosophers, however, are quite sceptical about beneficiary pays. Our aim in this article is to examine their critiques. We conclude (...) that, while they have made important points, the principle remains worthy of further development and exploration. Our purpose in engaging with these critiques is constructive — we aim to formulate beneficiary pays in ways that would give it a plausible role in allocating the cost of addressing human-induced climate change, while acknowledging that some understandings of the principle would make it unsuitable for this purpose. (shrink)

Some argue that theories of universals should incorporate structural universals, in order to allow for the metaphysical possibility of worlds of 'infinite descending complexity' ('onion worlds'). I argue that the possibility of such worlds does not establish the need for structural universals. So long as we admit the metaphysical possibility of emergent universals, there is an attractive alternative description of such cases.

Majority cycling and related social choice paradoxes are often thought to threaten the meaningfulness of democracy. But deliberation can prevent majority cycles – not by inducing unanimity, which is unrealistic, but by bringing preferences closer to single-peakedness. We present the first empirical test of this hypothesis, using data from Deliberative Polls. Comparing preferences before and after deliberation, we find increases in proximity to single-peakedness. The increases are greater for lower versus higher salience issues and for individuals who seem to have (...) deliberated more versus less effectively. They are not merely a byproduct of increased substantive agreement. Our results both refine and support the idea that deliberation, by increasing proximity to single-peakedness, provides an escape from the problem of majority cycling. (shrink)

This chapter defends the account of metaphysical indeterminacy of Barnes and Williams against Eklund's objections.

Louis Pojman and Robert Westmoreland have compiled the best material on the subject of equality, ranging from classical works by Aristotle, Hobbes and Rousseau to contemporary works by John Rawls, Thomas Nagel, Michael Walzer, Harry Frankfurt, Bernard Williams and Robert Nozick; and including such topics as: the concept of equality; equal opportunity; Welfare egalitarianism; resources; equal human rights and complex equality.

Philosophical exploration of individualism and externalism in the cognitive sciences most recently has been focused on general evaluations of these two views (Adams & Aizawa 2008, Rupert 2008, Wilson 2004, Clark 2008). Here we return to broaden an earlier phase of the debate between individualists and externalists about cognition, one that considered in detail particular theories, such as those in developmental psychology (Patterson 1991) and the computational theory of vision (Burge 1986, Segal 1989). Music cognition is an area in the (...) cognitive sciences that has received little attention from philosophers, though it has relatively recently been thrown into the externalist spotlight (Cochrane 2008, Kruger 2014, Kersten forthcoming). Given that individualism can be thought of as a kind of paradigm for research on cognition, we provide a brief overview of the field of music cognition and individualistic tendencies within the field (sections 2 and 3) before turning to consider externalist alternatives to individualistic paradigms (section 4-5) and then arguing for a qualified form of externalism about music cognition (section 6). (shrink)

Competitive negotiators frequently use tactics which others view as "unethical", in that these tactics either violate standards of truth telling or violate the perceived rules of negotiation. This paper sought to determine how business students viewed a number of marginally ethical negotiating tactics, and to determine the underlying factor structure of these tactics. The factor analysis of these tactics revealed five clear factors which were highly similar across the two samples, and which parallel (to a moderate degree) categories of tactics (...) proposed by earlier theory. Data from one sample also permitted comparisons of the appropriateness of certain tactics across gender, nationality, ethnic origin and perception of one's negotiating style. (shrink)

This article examines the domestic use of drones by law enforcement to gather information. Although the use of drones for surveillance will undoubtedly provide law enforcement agencies with new means of gathering intelligence, these unmanned aircrafts bring with them a host of legal and epistemic complications. Part I considers the Fourth Amendment and the different legal standards of proof that might apply to law enforcement drone use. Part II explores philosopher Wittgenstein’s notion of actional certainty as a means to interpret (...) citizens' expectations of privacy with regard to their patterns of movement over time. Part III discusses how the theory of actional certainty can apply to the epistemic challenge of determining what is a “reasonable” expectation of privacy under the law. This Part also investigates the Mosaic Theory as a possible reading of the Fourth Amendment. (shrink)

For the greater part of the last 50 years, it has been common for philosophers of mind and cognitive scientists to invoke the notion of realization in discussing the relationship between the mind and the brain. In traditional philosophy of mind, mental states are said to be realized, instantiated, or implemented in brain states. Artificial intelligence is sometimes described as the attempt either to model or to actually construct systems that realize some of the same psychological abilities that we and (...) other living creatures possess. The claim that specific psychological. (shrink)

In the same spirit with the theme of last issue of this SGJ journal (“Ongoing creation”), this paper shortly reviews a plausible mechanism from Aether to become ordinary matter from the perspective of Neutrosophic Logic. We also discuss two other possible applications of Neutrosophic Logic, including a resolution of conflicting paradigms in medicine. We hope that some ideas as outlined herein will be proved useful in the near future.

In the De Anima, Aristotle claims that the five senses are infallible about their proper objects. I contend that this claim means that sight is infallible about its proper object in its most specific form, i. e. sight is infallible about red or green and not merely about color in general. This robust claim is justified by Aristotle’s teleological principle that nature does nothing in vain. Additionally, drawing on Aristotle’s comparison of perception and one’s understanding of the essences, I defend (...) a conception of the senses in which the structure of their contents is simple rather than predicative and show how this coheres better with the rest of my interpretation. (shrink)

How are permutation arguments for the inscrutability of reference to be formulated in the context of a Davidsonian truth-theoretic semantics? Davidson takes these arguments to establish that there are no grounds for favouring a reference scheme that assigns London to “Londres”, rather than one that assigns Sydney to that name. We shall see, however, that it is far from clear whether permutation arguments work when set out in the context of the kind of truth-theoretic semantics which Davidson favours. The principle (...) required to make the argument work allows us to resurrect Foster problems against the Davidsonian position. The Foster problems and the permutation inscrutability problems stand or fall together: they are one puzzle, not two. (shrink)

Smarandache Hypothesis states that there is no speed limit of anything, including light and particles. While the idea is quite simple and based on known hypothesis of quantum mechanics, called Einstein-Podolski-Rosen paradox, in reality such a superluminal physics seems still hard to accept by majority of physicists. Here we review some experiments to support superluminal physics and also findings to explain Smarandache Quantum Paradoxes and Quantum Sorites Paradox. We also touch briefly on new experiment on magneton, supporting SubQuantum Kinetic Model (...) of Electron. (shrink)

In a recent paper, we describe how a model of quantum communication based on combining consciousness experiment and entanglement can serve as impetus to stop 5G-caused diseases. Therefore, in this paper we will discuss how entanglement can be explained in terms of quantum theory. This short review may be considered as an effort to bring QM into real problem solving, i.e. telecommunication.

Over the last two decades, the capabilities approach has become an increasingly influential theory of development. It conceptualises human wellbeing in terms of an individual's ability to achieve functionings we have reason to value. In contrast, the African ethic of ubuntu views human flourishing as the propensity to pursue relations of fellowship with others, such that relationships have fundamental value. These two theoretical perspectives seem to be in tension with each other; while the capabilities approach focuses on individuals as the (...) locus of ethical value, an ubuntu ethic concentrates on the relations between individuals. In this article, we ask: to what extent is the capabilities approach compatible with this African ethical theory? We argue that, on reflection, relations play a much stronger role in the capabilities approach than often assumed. There is good reason to believe that relationality is part of the concept of a capability itself, where such relationality has intrinsic ethical value. This understanding of the ethical centrality of relations grounds new normative perspectives on the capabilities approach, and offers a more comprehensive grasp of the relevance of relationships to empirical enquiry. (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)

Existing metasemantic projects presuppose that word- (or sentence-) types are part of the non-semantic base. We propose a new strategy: an endogenous account of word types, that is, one where word types are fixed as part of the metasemantics. On this view, it is the conventions of truthfulness and trust that ground not only the meaning of the words (meaning by convention) but also what the word type is of each particular token utterance (words by convention). The same treatment extends (...) to identifying the populations through which the conventions prevail. We consider whether this proposal leads to new underdetermination challenges for metasemantics, and make a case that it does not. (shrink)

We show how faceted search using a combination of traditional classification systems and mixed-membership topic models can go beyond keyword search to inform resource discovery, hypothesis formulation, and argument extraction for interdisciplinary research. Our test domain is the history and philosophy of scientific work on animal mind and cognition. The methods can be generalized to other research areas and ultimately support a system for semi-automatic identification of argument structures. We provide a case study for the application of the methods to (...) the problem of identifying and extracting arguments about anthropomorphism during a critical period in the development of comparative psychology. We show how a combination of classification systems and mixed-membership models trained over large digital libraries can inform resource discovery in this domain. Through a novel approach of “drill-down” topic modeling—simultaneously reducing both the size of the corpus and the unit of analysis—we are able to reduce a large collection of fulltext volumes to a much smaller set of pages within six focal volumes containing arguments of interest to historians and philosophers of comparative psychology. The volumes identified in this way did not appear among the first ten results of the keyword search in the HathiTrust digital library and the pages bear the kind of “close reading” needed to generate original interpretations that is the heart of scholarly work in the humanities. Zooming back out, we provide a way to place the books onto a map of science originally constructed from very different data and for different purposes. The multilevel approach advances understanding of the intellectual and societal contexts in which writings are interpreted. (shrink)

The aim of the paper is to point out the modelling choices that lead to different systems of deontic action logic. A kind of a roadmap is presented. On the one hand it can help the reader to find the deontic logic appropriate for an intended application relying on the information considering the way in which a deontic logic represents actions and how it characterises deontic properties in relation to (the representation of) actions. On the other hand it is a (...) guideline how to build a deontic action logic which satisfies the desired properties. (shrink)

Theories of graded causation attract growing attention in the philosophical debate on causation. An important field of application is the controversial relationship between causation and moral responsibility. However, it is still unclear how exactly the notion of graded causation should be understood in the context of moral responsibility. One question is whether we should endorse a proportionality principle, according to which the degree of an agent’s moral responsibility is proportionate to their degree of causal contribution. A second question is whether (...) a theory of graded causation should measure closeness to necessity or closeness to sufficiency. In this paper, we argue that we should indeed endorse a proportionality principle and that this principle supports a notion of graded causation relying on closeness to sufficiency rather than closeness to necessity. Furthermore, we argue that this insight helps to provide a plausible analysis of the so-called ‘Moral Difference Puzzle’ recently described by Bernstein. (shrink)

Ordinary language and scientific discourse are filled with linguistic expressions for dispositional properties such as “soluble,” “elastic,” “reliable,” and “humorous.” We characterize objects in all domains – physical objects as well as human persons – with the help of dispositional expressions. Hence, the concept of a disposition has historically and systematically played a central role in different areas of philosophy ranging from metaphysics to ethics. The contributions of this volume analyze the ancient foundations of the discussion about disposition, examine the (...) problem of disposition within the context of the foundation of modern science, and analyze this dispute up to the 20th century. Furthermore, articles explore the contemporary theories of dispositions. (shrink)

In her latest book, The End of Progress, Amy Allen embarks on an ambitious and much-needed project: to decolonize contemporary Frankfurt School Critical Theory. As with all of her books, this is an exceptionally well-written and well-argued book. Allen strives to avoid making assertions without backing them up via close and careful textual reading of the thinkers she engages in her book. In this article, I will state why this book makes a central contribution to contemporary critical theory (in the (...) broader sense), after which I pose a few questions. These questions are not meant to prove that there are any serious problems with her argumentation. Instead, they are meant in the spirit of dialogue and allow her to elaborate her work for her audience. (shrink)

In her latest book, The End of Progress, Amy Allen embarks on an ambitious and much-needed project: to decolonize contemporary Frankfurt School Critical Theory. As with all of her books, this is an exceptionally well-written and well-argued book. Allen strives to avoid making assertions without backing them up via close and careful textual reading of the thinkers she engages in her book. In this article, I will state why this book makes a central contribution to contemporary critical theory (in the (...) broader sense), after which I pose a few questions. These questions are not meant to prove that there are any serious problems with her argumentation. Instead, they are meant in the spirit of dialogue and allow her to elaborate her work for her audience. (shrink)

In his absorbing book Art as Performance, David Davies argues that artworks should be identified, not with artistic products such as paintings or novels, but instead with the artistic actions or processes that produced such items. Such a view had an earlier incarnation in Currie’s widely criticized “action type hypothesis”, but Davies argues that it is instead action tokens rather than types with which artworks should be identified. This rich and complex work repays the closest study in spite of some (...) basic objections to be raised concerning Davies’s central concept of an action token. (shrink)

Many theories about the teaching of logic and critical thinking take for granted that theoretical learning, the learning of formal rules for example, and its practical application are sufficient to master the tools taught and to take the habit of using them. However, this way of teaching is not efficient, a conclusion supported by much work in cognitive science. Approaching cognition evolutionarily with dual-process theories allows for an explanation of these insufficiencies and offers clues on how we could teach critical (...) thinking and logic more efficiently. In this article, we want to present this approach and explore these leads in order to make some pedagogical recommendations and lay the foundations of a framework. We will put forward an example of the application of this research program with philosophy for children. (shrink)

If people have stringent moral rights, then the doctrine of double effect is false or unimportant, at least when it comes to making acts permissible or wrong. There are strong and weak versions of the doctrine of double effect. The strong version asserts that an act is morally right if and only if the agent does not intentionally infringe a moral norm and the act brings about a desirable result (perhaps the best state of affairs available to the agent or (...) a promotion of the common good). The weak version asserts that, other things being equal, it is deontically worse to intentionally infringe a norm than to foreseeably do so. A person’s intention or mere foresight might still be relevant to his or her blameworthiness or virtue, but this is a separate issue. (shrink)

Saigle, Dubljevic, and Racine (2018) claim that Libet-style experiments are insufficient to challenge that agents have free will. They support this with evidence from experimen- tal psychology that the folk concept of freedom is consis- tent with monism, that our minds are identical to our brains. However, recent literature suggests that evidence from experimental psychology is less than determinate in this regard, and that folk intuitions are too unrefined as to provide guidance on metaphysical issues like monism. In light of (...) this, it is worthwhile to examine the authors’ insuf- ficiency claim under the assumption that monism is false and dualism true (our minds are not identical to our brains). We conclude that, were dualism true, then Libet- style experiments would tell us no more about freedom and moral responsibility than what the authors initially claimed, thus further bolstering their point that Libet-style experiments are ill-suited to speak to the free will of agents. In what follows we first discuss some of the reasons to be skeptical of using folk intuitions to make claims about the nature of freedom and moral responsibility. We then draw from the work of E. J. Lowe to demonstrate that Libet-style experiments would likely give the same results regardless of the truth of monism or dualism. (shrink)

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)