A general survey of Frege's views on truth, the paper explores the problems in response to which Frege's distinctive view that sentences refer to truth-values develops. It also discusses his view that truth-values are objects and the so-called regress argument for the indefinability of truth. Finally, we consider, very briefly, the question whether Frege was a deflationist.

Are counterfactuals with true antecedents and consequents automatically true? That is, is Conjunction Conditionalization: if (X & Y), then (X > Y) valid? Stalnaker and Lewis think so, but many others disagree. We note here that the extant arguments for Conjunction Conditionalization are unpersuasive, before presenting a family of more compelling arguments. These arguments rely on some standard theorems of the logic of counterfactuals as well as a plausible and popular semantic claim about certain semifactuals. Denying Conjunction Conditionalization, then, requires (...) rejecting other aspects of the standard logic of counterfactuals, or else our intuitive picture of semifactuals. (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)

It is widely thought that functionalism and the qualia theory are better positioned to accommodate the ‘affective’ aspect of pain phenomenology than representationalism. In this paper, we attempt to overturn this opinion by raising problems for both functionalism and the qualia theory on this score. With regard to functionalism, we argue that it gets the order of explanation wrong: pain experience gives rise to the effects it does because it hurts, and not the other way around. With regard to the (...) qualia theory, we argue that it fails to capture the sense in which pain 's affective phenomenology rationalises various bodily-directed beliefs, desires, and behaviours. Representationalism, in contrast, escapes both of these problems: it gets the order of explanation right and it explains how pain 's affective phenomenology can rationalise bodily-directed beliefs, desires, and behaviours. For this reason, we argue that representationalism has a significant advantage in the debates about pain 's affective phenomenology. We end the paper by examining objections, including the question of what representationalists should say about so-called ‘disassociation cases’, such as pain asymbolia. (shrink)

A popular “Reductionist” account of personal identity unifies person stages into persons in virtue of their psychological continuity with one another. One objection to psychological continuity accounts is that there is more to our personal identity than just mere psychological continuity: there is also an active process of self-interpretation and self-creation. This criticism can be used to motivate a rival account of personal identity that appeals to the notion of a narrative. To the extent that they comment upon the issue, (...) proponents of narrative accounts typically reject Reductionist metaphysics that (ontologically) reduce persons to aggregates of person stages. In contrast to this trend, we seek to develop a narrative account of personal identity from within Reductionist metaphysics: we think person stages are unified into persons in virtue of their narrative continuity with one another. We argue that this Reductionist version of the narrative account avoids some serious problems facing non-Reductionist versions of the narrative account. (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)

I defend the widely-held view that morally worthy action need not be motivated by a desire to promote rightness as such. Some have recently come to reject this view, arguing that desires for rightness as such are necessary for avoiding a certain kind of luck thought incompatible with morally worthy action. I show that those who defend desires for rightness as such on the basis of this argument misunderstand the relationship between moral worth and the kind of luck that their (...) argument employs. Consequently, the argument provides no reason to doubt the popular view that a desire for rightness as such is no part of virtue. I conclude by suggesting that a family of worries about merely accidentally right action presuppose one side of the recent debate about objectivism and perspectivism about moral rightness. (shrink)

In the literature of collective intentions, the ‘we-intentions’ that lie behind cooperative actions are analysed in terms of individual mental states. The core forms of these analyses imply that all Nash equilibrium behaviour is the result of collective intentions, even though not all Nash equilibria are cooperative actions. Unsatisfactorily, the latter cases have to be excluded either by stipulation or by the addition of further, problematic conditions. We contend that the cooperative aspect of collective intentions is not a property of (...) the intentions themselves, but of the mode of reasoning by which they are formed. We analyse collective intentions as the outcome of team reasoning, a mode of practical reasoning used by individuals as members of groups. We describe this mode of reasoning in terms of formal schemata, discuss a range of possible accounts of group agency, and show how existing theories of collective intentions fit into this framework. (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)

While it is tempting to suppose that an act has moral worth just when and because it is motivated by sufficient moral reasons, philosophers have, largely, come to doubt this analysis. Doubt is rooted in two claims. The first is that some facts can motivate a given act in multiple ways, not all of which are consistent with moral worth. The second is the orthodox view that normative reasons are facts. I defend the tempting analysis by proposing and defending a (...) heterodox account of both normative and motivating reasons that is inspired by Donald Davidson’s primary reasons. We should adopt the heterodox view, I argue, because it addresses an overlooked but fatal defect in the orthodox conception of reasons, of which challenges to the tempting analysis are a special case. (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)

The concept of moral wrongness, many think, has a distinctive kind of referential stability, brought out by moral twin earth cases. This article offers a new account of the source of this stability, deriving it from a metaphysics of content: “substantive” radical interpretation, and first-order normative assumptions. This story is distinguished from extant “reference magnetic” explanations of the phenomenon, and objections and replies are considered.

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)

An investigation of what Frege means by his doctrine that functions (and so concepts) are 'unsaturated'. We argue that this doctrine is far less peculiar than it is usually taken to be. What makes it hard to understand, oddly enough, is the fact that it is so deeply embedded in our contemporary understanding of logic and language. To see this, we look at how it emerges out of Frege's confrontation with the Booleans and how it expresses a fundamental difference between (...) Frege's approach to logic and theirs. (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)

In this Introduction we introduce the central themes of the Evaluative Perception volume. After identifying historical and recent contemporary work on this topic, we discuss some central questions under three headings: (1) Questions about the Existence and Nature of Evaluative Perception: Are there perceptual experiences of values? If so, what is their nature? Are experiences of values sui generis? Are values necessary for certain kinds of experience? (2) Questions about the Epistemology of Evaluative Perception: Can evaluative experiences ever justify evaluative (...) judgments? Are experiences of values necessary for certain kinds of justified evaluative judgments? (3) Questions about Value Theory and Evaluative Perception: Is the existence of evaluative experience supported or undermined by particular views in value theory? Are particular views in value theory supported or undermined by the existence of value experience? (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)

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.

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)

This essay takes a critical look at aesthetics as the basis for nature preservation, presenting three reasons why we should not rely on aesthetic foundations to justify the environmentalist program. First, a comparison to other kinds of aesthetic value shows that the aesthetic value of nature can provide weak reasons foraction atbest. Second, not everything environmentalists want to protect has positive aesthetic qualities. Attempts have been made to get around this problem by developing a reformist attitude towards natural aesthetics. I (...) argue that these approaches fail. Third, development can be as aesthetically positive as nature. If it is simply beauty we are looking for, why can't the beauty of a wellconstructed dam or a magnificent skyscraper suffice? (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)

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)

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)

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)

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)

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)

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)

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..

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)

The purpose of this article is to introduce, interpret, and develop two incompatible process -ontological theories of personal identity that have received little attention in analytic metaphysics. The first theory derives from the notion of personal identity proposed in Alfred North Whitehead’s philosophy, but I interpret this notion differently from previous commentators. The Whiteheadian theory may appeal to those who believe that personal identity involves an entity or entities that are essentially dynamic, but has nothing to do with diachronic objectual (...) identity : the binary equivalence relation that every entity bears to itself, and only to itself, even after undergoing intrinsic change. The Whiteheadian theory may also find favor with those who, like Whitehead, reject the possibility of pure processes and hold that in every becoming, something—which need not be an object, thing, or individual substance—becomes. The second theory derives from the notion of recurrent dynamics presented in Johanna Seibt’s General Process Theory. The Seibtian theory may appeal to those who believe that personal identity involves not only an entity or entities that are essentially dynamic, but also the relation of diachronic objectual identity. The Seibtian theory may also find favor with those who, like Broad and Sellars, find reason to postulate pure processes. (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)

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)

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)

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)

This article offers a comprehensive and critical analysis of Eric Heinze’s book Hate Speech and Democratic Citizenship (Oxford University Press, 2016). Heinze’s project is to formulate and defend a more theoretically complex version of the idea (also defended by people like Ronald Dworkin and James Weinstein) that general legal prohibitions on hate speech in public discourse compromises the state’s democratic legitimacy. We offer a detailed synopsis of Heinze’s view, highlighting some of its distinctive qualities and strengths. We then develop a (...) critical response to this view with three main focal points: (1) the characterisation of democratic legitimacy as something distinct from (and whose demands aren’t identical with those of) legitimacy per se; (2) the claim that the requirements of democracy are hypothetical, rather than categorical, imperatives; and relatedly (3) the question of how we should reconcile the requirements of democratic legitimacy with the costs that may follow from prioritising democratic legitimacy. We argue that there are significant difficulties for Heinze’s account on all three fronts. (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)

In Humanity’s End: Why We Should Reject Radical Enhancement, Nicholas Agar presents a novel argument against the prospect of radical life-extension. Agar’s argument hinges on the claim that extended lifespans will result in people’s lives being dominated by the fear of death. Here we examine this claim and the surrounding issues in Agar’s discussion. We argue, firstly, that Agar’s view rests on empirically dubious assumptions about human rationality and attitudes to risk, and secondly, that even if those assumptions are granted, (...) the fears that Agar adverts to are unlikely to dominate people’s lives if and when radical life-extension is made possible. Further, we claim that the structure of the decision-making process around life-extension is unlikely to be the way that it would have to be in order for Agar’s claims about fear of death to make sense. Finally, we argue that Agar is implicitly committed to a narrow conception of human value. In response, we suggest that the pursuit of life-extension can itself be seen as an expression of certain important aspects of our distinctively human nature. (shrink)

Some rules seem more important than others. The moral rule to keep promises seems more important than the aesthetic rule not to wear brown with black or the pool rule not to scratch on the eight ball. A worrying number of metaethicists are increasingly tempted to explain this difference by appealing to something they call “authoritative normativity” – it’s because moral rules are “authoritatively normatively” that they are especially important. The authors of this chapter argue for three claims concerning “authoritative (...) normativity”: (1) that motivation for it originates in a parochial conception of “normative flavours”; (2) that arguments against alternative ways of explaining e.g., morality’s importance are overblown; and (3) that there are strong reasons against theorizing in terms of “authoritative normativity”. The overarching aim is not to show that “authoritative normativity” is incoherent or entirely unmotivated. Rather, it is to discuss some of “authoritative normativity’s” deeper commitments to correct the impression that is it largely benign or that it is entailed by familiar and popular “metanormative” positions. Authoritative normativity, it seems to us, is a solution in search of a problem. (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)

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".

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)

Ontologies describe reality in specific domains in ways that can bridge various disciplines and languages. They allow easier access and integration of information that is collected by different groups. Ontologies are currently used in the biomedical sciences, geography, and law. A Biomedical Ethics Ontology would benefit members of ethics committees who deal with protocols and consent forms spanning numerous fields of inquiry. There already exists the Ontology for Biomedical Investigations (OBI); the proposed BMEO would interoperate with OBI, creating a powerful (...) information tool. We define a domain ontology and begin to construct a BMEO, focused on the process of evaluating human research protocols. Finally, we show how our BMEO can have practical applications for ethics committees. This paper describes ongoing research and a strategy for its broader continuation and cooperation. (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 article surveys different philosophical theories about the nature of truth. We give much importance to truth; some demand to know it, some fear it, and others would even die for it. But what exactly is truth? What is its nature? Does it even have a nature in the first place? When do we say that some truth-bearers are true? Philosophers offer varying answers to these questions. In this article, some of these answers are explored and some of the problems (...) raised against them are presented. (shrink)