The purpose of this paper is to develop a class of semantic tableau systems for some counterfactual logics. All in all I will discuss 1024 systems. Possible world semantics is used to interpret our formal languages. Soundness results are obtained for every tableau system and completeness results for a large subclass of these.

A moral dilemma is a situation in which an agent ought to do each of two actions, Both of which he cannot do. If there are genuine moral dilemmas, The ethical theorist is presented with a problem: he must reject several very plausible principles of standard deontic logic. The main reasons usually given to show that there are moral dilemmas are examined, And it is argued that they are not sufficient. Several positive arguments are then presented, Arguments which try to (...) show that an adequate moral theory must rule out the possibility of genuine dilemmas. (shrink)

I offer you some theories of intellectual obligations and rights (virtue Ethics): initially, RBT (a Right to Believe Truth, if something is true it follows one has a right to believe it), and, NDSM (one has no right to believe a contradiction, i.e., No right to commit Doxastic Self-Mutilation). Evidence for both below. Anthropology, Psychology, computer software, Sociology, and the neurosciences prove things about human beliefs, and History, Economics, and comparative law can provide evidence of value about theories of rights. (...) However, insofar as we have methods within Philosophy to help us formulate precise concepts of 'belief' and 'rights', methods that also help us to prove links (or absence thereof) amongst families of concepts of rights and belief, our discipline is in and of itself capable of sound reasoning about issues as puzzling as the following. Suppose a Jane who does not believe in God yet who believes she ought to so believe: Jane is undergoing doxastic moral regret (moral regret for lack of faith). We have all known such Janes and perhaps at one time or another even been one. Paradox: given RBT and NDSM, Jane as described not only does not exist, Jane cannot exist. Thus, to enrich the ways in which Philosophy need not get all its evidence from other academic disciplines, I present a brief introduction to what I call Neutral Universal Frames (NUFs). NUFs solve hard puzzles about interactions among modal concepts of belief and rights, concepts that occur in RBT, NDSM and the description of our Janes. NUFs for theories precisely articulated via any two or more modal concepts are a powerful and immensely general set of tools enabling us to define rich theories of truth ("models on frames") to test philosophical theories for internal consistency and to prove the existence of connections (or absence thereof) amongst alternative articulations of philosophical theories. NUFs thereby add to the constructive knowledge producing way Logics intersect with Philosophy of Religion. And we will soon see why Jane, be she named 'Jane' or known simply as you: cannot exist. Read on at your own risk. (shrink)