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)

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)

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.

Throughout his career, Derek Parfit made the bold suggestion, at various times under the heading of the "Normativity Objection," that anyone in possession of normative concepts is in a position to know, on the basis of their competence with such concepts alone, that reductive realism in ethics is not even possible. Despite the prominent role that the Normativity Objection plays in Parfit's non-reductive account of the nature of normativity, when the objection hasn't been ignored, it's been criticized and even derided. (...) We argue that the exclusively negative attention that the objection has received has been a mistake. On our reading, Parfit's Normativity Objection poses a serious threat to reductivism, as it exposes the uneasy relationship between our a priori knowledge of a range of distinctly normative truths and the typical package of semantic commitments that reductivists have embraced since the Kripkean revolution. (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)

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)

In large, impersonal moral orders many of us wish to maintain good will toward our fellow citizens only if we are reasonably sure they will maintain good will toward us. The mutual maintaining of good will, then, requires that we somehow communicate our intentions to one another. But how do we actually do this? The current paper argues that when we engage in moral responsibility practices—that is, when we express our reactive attitudes by blaming, praising, and resenting—we communicate a desire (...) to maintain good will to those in the community we are imbedded in. Participating in such practices alone will not get the job done, though, for expressions of our reactive attitudes are often what economists call cheap talk. But when we praise and blame in cases of moral diversity, expressions of our reactive attitudes act as costly signals capable of solving our social dilemma. (shrink)

‘The problem with simulations is that they are doomed to succeed.’ So runs a common criticism of simulations—that they can be used to ‘prove’ anything and are thus of little or no scientific value. While this particular objection represents a minority view, especially among those who work with simulations in a scientific context, it raises a difficult question: what standards should we use to differentiate a simulation that fails from one that succeeds? In this paper we build on a structural (...) analysis of simulation developed in previous work to provide an evaluative account of the variety of ways in which simulations do fail. We expand the structural analysis in terms of the relationship between a simulation and its real-world target emphasizing the important role of aspects intended to correspond and also those specifically intended not to correspond to reality. The result is an outline both of the ways in which simulations can fail and the scientific importance of those various forms of failure. (shrink)

In this paper we provide a philosophical analysis of the Hard Problem of consciousness and the implications of conceivability scenarios for current neuroscientific research. In particular, we focus on one of the most prominent neuroscientific theories of consciousness, integrated information theory (IIT). After a brief introduction on IIT, we present Chalmers’ original formulation and propose our own layered view of the hard problem, showing how 2 separate issues can be distinguished. More specifically, we argue that it’s possible to disentangle a (...) core problem of consciousness from a layered hard problem, the latter being essentially connected to Chalmers’ conceivability argument. We then assess the relation between the Hard Problem and IIT, showing how the theory resists conceivability scenarios, and how it is equipped to face up to the hard problem in its broadest acceptation. (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)

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)

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)

D. M. Armstrong famously claims that deterministic laws of nature are contingent relations between universals and that his account can also be straightforwardly extended to irreducibly probabilistic laws of nature. For the most part, philosophers have neglected to scrutinize Armstrong’s account of probabilistic laws. This is surprising precisely because his own claims about probabilistic laws make it unclear just what he takes them to be. We offer three interpretations of what Armstrong-style probabilistic laws are, and argue that all three interpretations (...) are incompatible either with some feature of Armstrong’s broader metaphysics or with essential features of his account of laws (or both). (shrink)

The automation of online social life is an urgent issue for researchers and the public alike. However, one of the most significant uses of such technologies seems to have gone largely unnoticed by the research community: religion. Focusing on Islamic Prayer Apps, which automatically post prayers from its users’ accounts, we show that even one such service is already responsible for millions of tweets daily, constituting a significant portion of Arabic-language Twitter traffic. We argue that the fact that a phenomenon (...) of these proportions has gone unnoticed by researchers reveals an opportunity to broaden the scope of the current research agenda on online automation. (shrink)

Lewis (1973) gave a short argument against conditional excluded middle, based on his treatment of ‘might’ counterfactuals. Bennett (2003), with much of the recent literature, gives an alternative take on ‘might’ counterfactuals. But Bennett claims the might-argument against CEM still goes through. This turns on a specific claim I call Bennett’s Hypothesis. I argue that independently of issues to do with the proper analysis of might-counterfactuals, Bennett’s Hypothesis is inconsistent with CEM. But Bennett’s Hypothesis is independently objectionable, so we should (...) resolve this tension by dropping the Hypothesis, not by dropping CEM. (shrink)

Some types of solar radiation management (SRM) research are ethically problematic because they expose persons, animals, and ecosystems to significant risks. In our earlier work, we argued for ethical norms for SRM research based on norms for biomedical research. Biomedical researchers may not conduct research on persons without their consent, but universal consent is impractical for SRM research. We argue that instead of requiring universal consent, ethical norms for SRM research require only political legitimacy in decision-making about global SRM trials. (...) Using Allen Buchanan & Robert Keohane's model of global political legitimacy, we examine several existing global institutions as possible analogues for a politically legitimate SRM decision-making body. (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)

Joyce (1998) gives an argument for probabilism: the doctrine that rational credences should conform to the axioms of probability. In doing so, he provides a distinctive take on how the normative force of probabilism relates to the injunction to believe what is true. But Joyce presupposes that the truth values of the propositions over which credences are defined are classical. I generalize the core of Joyce’s argument to remove this presupposition. On the same assumptions as Joyce uses, the credences of (...) a rational agent should always be weighted averages of truth value assignments. In the special case where the truth values are classical, the weighted averages of truth value assignments are exactly the probability functions. But in the more general case, probabilistic axioms formulated in terms of classical logic are violated—but we will show that generalized versions of the axioms formulated in terms of non-classical logics are satisfied. (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)

Do factive mental states come in degrees? If so, what is their underlying structure, and what is their theoretical significance? Many have observed that ‘knows that’ is not a gradable verb and have taken this to be strong evidence that propositional knowledge does not come in degrees. This paper demonstrates that the adjective ‘aware that’ passes all the standard tests of gradability, and thus strongly motivates the idea that it refers to a factive mental state that comes in degrees. We (...) will explore a range of structural questions that have been overlooked in regard to our awareness of facts, showing that the degreed structure of awareness has significant implications for our understanding of knowledge. (shrink)

Communicative practices in online and social media sometimes seem to amplify political conflict, and result in significant harms to people who become the targets of collective outrage. Many complaints that have been made about political correctness in the past, we argue, amount to little more than a veiled expression of resentment over the increasing influence enjoyed by progressive activists. But some complaints about political correctness take on a different complexion, in light of the technologically-driven changes to our communicative practices and (...) political discourse. Given the ways in which they are entangled in these new forms of online communication, well-meaning attempts to police the norms of political correctness may end up contributing to individual wrongs, or to destructive social patterns. In this paper we examine these worries, situate them in a broader sociological context, and offer some tentative proposals about how they might be addressed. (shrink)

Are Fregean thoughts compositionally complex and composed of senses? We argue that, in Begriffsschrift, Frege took 'conceptual contents' to be unstructured, but that he quickly moved away from this position, holding just two years later that conceptual contents divide of themselves into 'function' and 'argument'. This second position is shown to be unstable, however, by Frege's famous substitution puzzle. For Frege, the crucial question the puzzle raises is why "The Morning Star is a planet" and "The Evening Star is a (...) planet" have different contents, but his second position predicts that they should have the same content. Frege's response to this antinomy is of course to distinguish sense from reference, but what has not previously been noticed is that this response also requires thoughts to be compositionally complex, composed of senses. That, however, raises the question just how thoughts are composed from senses. We reconstruct a Fregean answer, one that turns on an insistence that this question must be understood as semantic rather than metaphysical. It is not a question about the intrinsic nature of residents of the third realm but a question about how thoughts are expressed by sentences. (shrink)

A far-reaching and influential view in evolutionary biology claims that species are cohesive units held together by gene flow. Biologists have recognized empirical problems facing this view; after sharpening the expression of the view, we present novel conceptual problems for it. At the heart of these problems is a distinction between two importantly different concepts of cohesion, what we call integrative and response cohesion. Acknowledging the distinction problematizes both the explanandum of species cohesion and the explanans of gene flow that (...) are central to the view we discuss. We conclude by tracing four broader implications for the study and conceptualization of species. (shrink)

We attempt here to trace the evolution of Frege’s thought about truth. What most frames the way we approach the problem is a recognition that hardly any of Frege’s most familiar claims about truth appear in his earliest work. We argue that Frege’s mature views about truth emerge from a fundamental re-thinking of the nature of logic instigated, in large part, by a sustained engagement with the work of George Boole and his followers, after the publication of Begriffsschrift and the (...) appearance of critical reviews by members of the Boolean school. (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)

In some sense, survival seems to be an intrinsic matter. Whether or not you survive some event seems to depend on what goes on with you yourself —what happens in the environment shouldn’t make a difference. Likewise, being a person at a time seems intrinsic. The principle that survival seems intrinsic is one factor which makes personal fission puzzles so awkward. Fission scenarios present cases where if survival is an intrinsic matter, it appears that an individual could survive twice over. (...) But it’s well known that standard notions of “intrinsicality” won’t do to articulate the sense in which survival is intrinsic, since ‘personhood’ appears to be a maximal property. We formulate a sense in which survival and personhood (and perhaps other maximal properties) may be almost intrinsic—a sense that would suffice, for example, to ground fission arguments. It turns out that this notion of almost-intrinsicality allows us to formulate a new version of the problem of the many. (shrink)

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.

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)

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.

This paper investigates whether search engines and other new modes of online communication should be covered by free speech principles. It criticizes the analogical reason-ing that contemporary American courts and scholars have used to liken search engines to newspapers, and to extend free speech coverage to them based on that likeness. There are dissimilarities between search engines and newspapers that undermine the key analogy, and also rival analogies that can be drawn which don’t recommend free speech protection for search engines. (...) Partly on these bases, we argue that an analogical approach to questions of free speech coverage is of limited use in this context. Credible verdicts about how free speech principles should apply to new modes of online com-munication require us to re-excavate the normative foundations of free speech. This method for deciding free speech coverage suggests that only a subset of search engine outputs and similar online communication should receive special protection against government regulation. (shrink)

For academics and students, Education Management in Managerialist Times offers a critical guide to existing educational management texts and makes a strong case for redefining educational management along more socially and politically informed lines. The book also offers practitioners alternative management strategies intended to contest, rather than support, managerialism, while being realistic about the context within which those who lead and manage schools currently have to work.

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)

The ten original studies included in this Research Topic investigate selected assumptions and predictions of parochial altruism theory in detail. We, the editors, are convinced that their highly instructive findings will help researchers interested in parochial altruism, but also in intergroup psychology more generally, to gain a much more fine-grained understanding of the interplay of altruistic and spiteful motives in human decision making in the context of intergroup relations. The broad range of disciplines represented by the authors contributing to this (...) Research Topic and the variety of methods used in their studies are representative for the current interdisciplinary interest in parochial altruism. The most important insight that, in our view, can be derived from the works collected here is that human decision making in intergroup contexts is more complex than suggested by current theory. Thus, we hope that future theorizing on parochial altruism will be stimulated by the evidence gathered in this Research Topic. In this editorial, we briefly highlight central findings reported here, which, to us, appear most informative for prospective enhancements of parochial altruism theory. (shrink)

Multiple-choice questions have an undeserved reputation for only being able to test student recall of basic facts. In fact, well-crafted mechanically gradable questions can measure very sophisticated cognitive skills, including those engaged at the highest level of Benjamin Bloom’s taxonomy of outcomes. In this article, I argue that multiple-choice questions should be a part of the diversified assessment portfolio for most philosophy courses. I present three arguments broadly related to fairness. First, multiple-choice questions allow one to consolidate subjective decision making (...) in a way that makes it easier to manage. Second, multiple-choice questions contribute to the diversity of an evaluation portfolio by balancing out problems with writing-based assessments. Third, by increasing the diversity of evaluations, multiple-choice questions increase the inclusiveness of the course. In the course of this argument I provide examples of multiple-choice questions that measure sophisticated learning and advice for how to write good multiple-choice questions. (shrink)

The open borders view is frequently dismissed for making infeasible demands. This is a potent strategy. Unlike normative arguments regarding open borders, which tend to be relatively intractable, the charge of infeasibility is supposed to operate as what we call a "normative argument-stopper." Nonetheless, we argue that the strategy fails. Bringing about open borders is perfectly feasible on the most plausible account of feasibility. We consider and reject what we take to be the only three credible ways to save the (...) charge of infeasibility: by proposing an alternative account of feasibility; by proposing an alternative, more circumscribed interpretation of the subject-matter of feasibility claims; and by proposing a more expansive account of the addressees of the demand for open borders. The first fails to vindicate the claim that infeasibility is a normative argument-stopper. The second does not provide an argument against open borders at all. The third underestimates the power of at least some non-state actors. We conclude by drawing some lessons for the open borders view and the use of feasibility in politics more generally. (shrink)

Responsibility is impossible because there is no responsibility-maker and there needs to be one if people are morally responsible. The two most plausible candidates, psychology and decision, fail. A person is not responsible for an unchosen psychology or a psychology that was chosen when the person is not responsible for the choice. This can be seen in intuitions about instantly-created and manipulated people. This result is further supported by the notion that, in general, the right, the good, and virtue rest (...) on the exercise of a capacity rather than the capacity itself. It is also supported by the notion that negligence is not a responsibility-maker. ​ A person is not responsible for a choice that does not reflect his psychology or that does reflect it when he is not responsible for the psychology. This can be seen by considering intuitions regarding acts that are unconnected or arbitrarily connected to a person’s psychology. It can also be seen intuitions about acts that result from a manipulated psychology. The problem with choice as a foundation can be further seen in that an infinite or self-created person would not be responsible despite these superhuman choice-related features. (shrink)

*These notes were folded into the published paper "Probability and nonclassical logic*. Revising semantics and logic has consequences for the theory of mind. Standard formal treatments of rational belief and desire make classical assumptions. If we are to challenge the presuppositions, we indicate what is kind of theory is going to take their place. Consider probability theory interpreted as an account of ideal partial belief. But if some propositions are neither true nor false, or are half true, or whatever—then it’s (...) far from clear that our degrees of belief in it and its negation should sum to 1, as classical probability theory requires (?, cf.). There are extant proposals in the literature for generalizing (categorical) probability theory to a non-classical setting, and we will use these below. But subjective probabilities themselves stand in functional relations to other mental states, and we need to trace the knock-on consequences of revisionism for this interrelationship (arguably, degrees of belief only count as kinds of belief in virtue of standing in these functional relationships). (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)

WikiSilo is a tool for theorizing across interdisciplinary fields such as Cognitive Science, and provides a vocabulary for talking about the problems of doing so. It can be used to demonstrate that a particular cognitive theory is complete and coherent at multiple levels of discourse, and commensurable with and relevant to a wider domain of cognition. WikiSilo is also a minimalist theory and methodology for effectively doing science. WikiSilo is simultaneously similar to and distinct, as well as integrated and separated (...) from Wikipedia™. This paper will introduce the advantages of WikiSilo for use in the Cognitive Sciences. (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)

Those who endorse the Psychological Continuity Approach (PCA) to analyzing personal identity need to impose a non-branching constraint to get the intuitively correct result that in the case of fission, one person becomes two. With the help of Brueckner's (2005) discussion, it is shown here that the sort of non-branching clause that allows proponents of PCA to provide sufficient conditions for being the same person actually runs contrary to the very spirit of their theory. The problem is first presented in (...) connection with perdurantist versions of PCA. The difficulty is then shown to apply to endurantist versions as well. (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)

*This is a project I hope to come back to one day. It stalled, a bit, on the absence of a positive theory of update I could be satisfied with* When should we believe a indicative conditional, and how much confidence in it should we have? Here’s one proposal: one supposes actual the antecedent; and sees under that supposition what credence attaches to the consequent. Thus we suppose that Oswald did not shot Kennedy; and note that under this assumption, Kennedy (...) was assassinated by someone other than Oswald. Thus we are highly confident in the indicative: if Oswald did not kill Kennedy, someone else did. (shrink)