Online research in philosophy

If, as I have argued elsewhere, consequentialism is not fundamentally concerned with such staples of moral theory as rightness, duty, obligation, moral requirements, goodness (as applied to actions), and harm, what, if anything, does it have to say about such notions? While such notions have no part to play at the deepest level of the theory, they may nonetheless be of practical significance. By way of explanation I provide a linguistic contextualist account of these notions. A contextualist approach to all these notions makes room for them in ordinary moral discourse, but it also illustrates why there is no room for them at the level of fundamental moral theory. If the truth value of a judgment that an action is right or good varies according to the context in which it is made, then rightness or goodness can no more be properties of actions themselves than thisness or hereness can be properties of things or locations themselves.

Transition systems can be viewed either as process diagrams or as Kripke structures. The rst perspective is that of process theory, the second that of modal logic. This paper shows how various formalisms of modal logic can be brought to bear on processes. Notions of bisimulation can not only be motivated by operations on transition systems, but they can also be suggested by investigations of modal formalisms. To show that the equational view of processes from process algebra is closely related to modal logic, we consider various ways of looking at the relation between the calculus of basic process algebra and propositional dynamic logic. More concretely, the paper contains preservation results for various bisimulation notions, a result on the expressive power of propositional dynamic logic, and a de nition of bisimulation which is the proper notion of invariance for concurrent propositional dynamic logic.

'Ontological dependence' is a term of philosophical jargon which stands for a rich family of properties and relations, often taken to be among the most fundamental ontological properties and relations. Notions of ontological dependence are usually thought of as 'carving reality at its ontological joints', and as marking certain forms of ontological 'non-self-sufficiency'. The use of notions of dependence goes back as far as Aristotle's characterization of substances, and these notions are still widely used to characterize other concepts and to formulate metaphysical claims. This paper first gives an overview of the varieties of these notions, and then discusses some of their main applications.

Logic is not just about single-agent notions like reasoning, or zero-agent notions like truth, but also about communication between two or more people. What we tell and ask each other can be just as 'logical' as what we infer in Olympic solitude. We show how such interactive phenomena can be studied systematically by merging epistemic and dynamic logic.

Rational belief belongs to a cluster of normative concepts that also includes reasonable, justified, and warranted belief. Each of these notions is commonly used by epistemologists, and along with the notion of knowledge, they form a central part of the subject matter of epistemology. However, there is no generally agreed way of understanding these notions. Nor is there even agreement as to whether they are equivalent. Some epistemologists employ them interchangeably; other epistemologists choose to express their conclusions using only one of the above notions and avoid making use of the other notions; yet other epistemologists distinguish among two or more of the notions.

Comparing technical notions of communication and computation leads to a surprising result, these notions are often not conceptually distinguishable. This paper will show how the two notions may fail to be clearly distinguished from each other. The most famous models of computation and communication, Turing Machines and (Shannon-style) information sources, are considered. The most significant difference lies in the types of state-transitions allowed in each sort of model. This difference does not correspond to the difference that would be expected after considering the ordinary usage of these terms. However, the natural usage of these terms are surprisingly difficult to distinguish from each other. The two notions may be kept distinct if computation is limited to actions within a system and communications is an interaction between a system and its environment. Unfortunately, this decision requires giving up much of the nuance associated with natural language versions of these important terms.

To answer the question, we need first to consider the notion of necessity and the related notion of contingency. These are so-called "modal" notions. Other modal notions include those of possibility, impossibility, non-necessity, and noncontingency. All play a crucial role in philosophical thinking about matters to do with logic, metaphysics, morality, law, etc. This is because none of these modal notions is univocal in meaning. There are, so to speak, different "species" of the generic notions of necessity, contingency, possibility, and the rest.

Almost everybody believes, but nobody has conclusively shown, that common sense psychology is a descriptive body of knowledge about the mind, the way physics is about elementary particles or medicine about bodily conditions. Of course, common sense psychology helps itself to many notions about the mind. This does not show that common sense psychology is about the mind. Physics also helps itself to plenty of mathematical notions, without being about mathematical entities and relations. Employment of notions about the mind does not by itself establish the nature and business of common sense psychology. To find out what the latter's notions are about requires finding out what they are for. To find out what they are for, we should start by asking who employs them in what contexts and for what reasons. If we consider seriously these questions, we should not be too surprised to find out that: (1) A subject is an agent busily pursuing his worldly interests. In the process, he encodes, operates on, can be read for, and often deliberately conveys information about his current as well as past or future cognitive and behavioral states, and about the world around him, as it was, is, and could be. (2) A sense maker is also a busy agent. To pursue her worldly..

In this essay I distinguish three kinds of self-knowledge. I call these three kinds agent-relative knowledge, self-attached knowledge and knowledge of the person one happens to be. These aspects of self-knowledge differ in how the knower or agent is represented. Most of what I say will be applicable to beliefs as well as knowledge, and to other kinds of attitudes and thoughts, such as desire, as well.1 Agent-relative knowledge is knowledge from the perspective of a particular agent. To have this sort of knowledge, the agent need not have an idea of self, or a notion of himself or herself. This sort of knowledge can be expressed by a simple sentence containing a demonstrative for a place or object, and without any term referring to the speaker. For example, “There is an apple” or “that is a toaster”. (Ideas of specific objects I call notions. Ideas of properties and relations I just call ideas. A judgement involves an idea being associated with a notion. A..

”Self-beliefs” are beliefs of the sort one ordinarily has about oneself, and expresses with the first person. These contrast with the beliefs one has in ”Casta˜neda cases,” in which one has a belief about oneself without knowing it. This paper advances an account of the nature of self-belief. According to this account, self-belief is a special case of interacting with things via notions that serve as repositories for information about objects with certain important relations to the knower, and as motivators for actions the success of which is dependent on the object in that relation to the agent. Identity is such a relation, and ”self-notions” play this special role: they are the repositories for information gained in normally self-informative ways, and the motivators of types of action whose success normally depends on facts about the agent. Self-beliefs involve such self-notions, while the beliefs that one has about oneself in Casta˜neda cases do not.