Online research in philosophy

I argue that free will and determinism are compatible, even when we take free will to require the ability to do otherwise and even when we interpret that ability modally, as the possibility of doing otherwise, and not just conditionally or dispositionally. My argument draws on a distinction between physical and agential possibility. Although in a deterministic world only one future sequence of events is physically possible for each state of the world, the more coarsely defined state of an agent (...) and his or her environment can be consistent with more than one such sequence, and thus different actions can be “agentially possible”. The agential perspective is supported by our best theories of human behaviour, and so we should take it at face value when we refer to what an agent can and cannot do. On the picture I defend, free will is not a physical phenomenon, but a higher-level one on a par with other higher-level phenomena such as agency and intentionality. (shrink)

Michael Fara's ‘habitual analysis’ of disposition ascriptions is equivalent to a kind of ceteris paribus conditional analysis which has no evident advantage over Martin's well known and simpler analysis. I describe an unsatisfactory hypothetical response to Martin's challenge, which is lacking in just the same respect as the analysis considered by Martin; Fara's habitual analysis is equivalent to this hypothetical analysis. The feature of the habitual analysis that is responsible for this cannot be harmlessly excised, for the resulting analysis (...) would be subject to familiar counter-examples. (shrink)

Conditional analyses of ability have been nearly entirely abandoned by philosophers of action as woefully inadequate attempts of analyzing the concept of ability. Recently, however, Vihvelin (2004) and Fara (2008) have appealed to the similarity between dispositions and abilities, as well as recent advances in the metaphysics of dispositions, in order to construct putatively superior conditional analyses of ability. Vihvelin and Fara claim that their revised conditional analyses of ability enable them to show (...) that Frankfurt-style cases fail to sever the connection between freedom and responsibility, and that compatibilism about free will and determinism is true. I argue, however, that even granting the truth of their dispositional analyses, they cannot achieve these aims. Vihvelin and Fara’s fundamental error lies in their failing to appreciate the complex nature of free will and moral responsibility—specifically that agents’ freedom and responsibility depend not only on their abilities, but also their opportunities. (shrink)

Here I first raise an argument purporting to show that Lewis’ Modal Realism ends up being completely trivial. But although I reject this line, the argument reveals how difficult it is to interpret Lewis’ thesis that possibilia “exist.” Four natural interpretations are considered, yet upon reflection, none appear entirely adequate. In particular, under the three different “concretist” interpretations of ‘exist’, Modal Realism looks insufficient for genuine ontological commitment. Whereas under the “multiverse” interpretation, Modal Realism ends up being (...) a theory of physical possibility only. I close with a related, more general dilemma for Modal Realism: Are Lewisian possibilia in the proper domain of physics or not? Since our physics aims to explain everything that exists, it seems so. Yet then the restriction to physical possibilities seems inevitable. (shrink)

Future Logic is an original and wide-ranging treatise of formal logic. It deals with deduction and induction, of categorical and conditional propositions, involving the natural, temporal, extensional, and logical modalities. This is the first work ever to strictly formalize the inductive processes of generalization and particularization, through the novel methods of factorial analysis, factor selection and formula revision. This is the first work ever to develop a formal logic of the natural, temporal and extensional types of conditioning (as distinct (...) from logical conditioning), including their production from modal categorical premises. (shrink)

This paper explores citizens’ views about the welfare of farmed fish and the mental abilities of fish with a large survey data sample from Finland (n = 1,890). Although studies on attitudes towards animal welfare have been increasing, fish welfare has received only limited empirical attention, despite the rapid expansion of aquaculture sector. The results show that the welfare of farmed fish is not any great concern in the Finnish society. The analysis confirms the distinct character given to farmed (...) fish compared to traditional farmed animals. Salmon are rated low in their mental abilities, including the capacity to feel pain, which may weaken ethical concerns for fish welfare. When analyzing the social determinants surrounding the rating of the welfare of farmed fish, it was shown that fish welfare attitudes follow general animal welfare attitudes regarding age and place of residence as fish welfare tends to be rated more negatively among younger age groups and among urban residents. However, no clear connection could be identified between gender and the rating of fish welfare, which may suggest that the distinct cultural categorization of fish diminishes the typical gender difference identified in animal attitudes. It is concluded that in order to improve awareness about fish welfare, there is a need to increase dissemination of scientific knowledge about fish and their welfare. Moreover, further research should be directed toward studying the moral positioning of fish and the distinct moral categorization they receive. (shrink)

The idea that dispositions are an intrinsic matter has been popular among contemporary philosophers of dispositions. In this paper I will first state this idea as exactly as possible. I will then examine whether it poses any threat to the two current versions of the conditional analysis of dispositions, namely, the simple and reformed conditional analysis of dispositions. The upshot is that the intrinsic nature of dispositions, when properly understood, doesn't spell trouble for either of the two versions (...) of the conditional analysis of dispositions. Along the way, I will propose an extensionally correct and practically useful criterion for identifying nomically intrinsic dispositions and criticize one objection raised by Lewis against the simple conditional analysis of dispositions. (shrink)

We report two studies on the effect of implicitly versus explicitly conveying affirmation and denial problems about conditionals. Recently Evans and Handley (1999) and Schroyens et al. (1999b, 2000b) showed that implicit referencing elicits matching bias: Fewer determinate inferences are made, when the categorical premise (e.g., B) mismatches the conditional's referred clause (e.g., A). Also, the effect of implicit affirmation (B affirms not-A) is larger than the effect of implicit denial (B denies A). Schroyens et al. hypothesised that (...) this interaction is due to uncertainty in the case-wise affirmation of the contrast class of negated elements involved in implicit affirmations. In Experiment 1 we tested this hypothesis by manipulating the set size of the conditional clauses. The results confirm that binary sets, where the contrast class is a singleton, eliminate the differential effect of implicit affirmation and denial. With non-binary sets the interaction is not modulated by the scope of the contrast class (3, 5, 9 elements). Experiment 2 further investigated the role of contrast classes by using class inclusion to construct implicit affirmations (Mammal vs Mammal or Monkey) and implicit denial (No-Mammal vs Mammal or Monkey), in addition to the standard implicit problems mediated by contrast-class inclusion [(No-)Mammal/No-Mammal; Reptile; Snake). Findings indicate that class inclusion (Mammal/Monkey; Reptile/ Snake) only marginally affects performance, and is independent of the type of problem. This would suggest that the implicitness problem-type interaction is dependent on constructing contrast classes. However, the experiment failed to replicate the interaction, even on the subset of problems repeating the abstract letter/number format of Experiment 1. Moreover, with the natural binary set-sizes (vowels/consonants) the implicitness effect was eliminated entirely. (shrink)

The aim of this paper is to distinguish between, and examine, three issues surrounding Humphreys's paradox and interpretation of conditional propensities. The first issue involves the controversy over the interpretation of inverse conditional propensities — conditional propensities in which the conditioned event occurs before the conditioning event. The second issue is the consistency of the dispositional nature of the propensity interpretation and the inversion theorems of the probability calculus, where an inversion theorem is any theorem of (...) probability that makes explicit (or implicit) appeal to a conditional probability and its corresponding inverse conditional probability. The third issue concerns the relationship between the notion of stochastic independence which is supported by the propensity interpretation, and various notions of causal independence. In examining each of these issues, it is argued that the dispositional character of the propensity interpretation provides a consistent and useful interpretation of the probability calculus. (shrink)

This paper aims to make three contributions to decision theory. First there is the hope that it will help to re-establish the legitimacy of the problem, pace various recent analyses provided by Maitzen and Wilson, Slezak and Priest. Second, after pointing out that analyses of the problem have generally relied upon evidence that is conditional on the taking of one particular option, this paper argues that certain assumptions implicit in those analyses are subtly flawed. As a (...) third contribution, the piece aims to draw attention to an important similarity between Newcomb’s problem and the toxin puzzle. In short, both problems illustrate the fact that you can have a reason to intend to φ without having a reason to actually φ. (shrink)

The paper gives a physicist's view on the framework of branching space-time (Belnap, Synthese 92 (1992), 385--434). Branching models are constructed from physical state assignments. The models are then employed to give a formal semantics for the modal operators ``possibly'' and ``necessarily'' and for the counterfactual conditional. The resulting formal language can be used to analyze quantum correlation experiments. As an application sketch, Stapp's premises LOC1 and LOC2 from his purported proof of non-locality (Am. J. Phys. 65 (1997), (...) 300--304) are analyzed. (shrink)

The epistemology of modality is gradually coming to play a central role in general discussions about modality. This paper is a contribution in this direction, in particular I draw a comparison between Lewis’s Modal realism and Timothy Williamson’s recent account of modality in terms of counterfactual thinking. In order to have criteria of evaluation, I also formulate four requirements which are supposed to be met by any theory of modality to be epistemologically adequate.

The Concept of Mind is the best known and the most important work of Gilbert Ryle. Ryle is thought to have accomplished two major tasks. First, he was seen to have put the final nail in the coffin of Carteisan dualism. Ryle rejects Descartes’ dualistic theory of the relation between mind and body. This doctrine of separation between mind and body is referred by Ryle as “the dogma of the ghost in the machine.” Second, he himself anticipated and suggested dualism’s (...) replacement, the doctrine known as philosophical (sometimes analytical) behaviourism. This is an attempt of this paper is to draw outlines of his criticism of Dualism his dispositional theory of mind and how it is relevant in today’s philosophy of mind. (shrink)

This article investigates the prospect of giving de dicto- and de re-necessity a uniform treatment. The historical starting point is a puzzle raised by Aristotle's claim, advanced in one of the modal chapters of his Prior Analytics, that universally privative apodeictic premises simply convert. As regards the Prior and the Posterior Analytics, the data suggest a representation of propositions of the type in question by doubly modally qualified formulae of modal predicate logic that display a necessity operator in (...) two distinct positions. Can the N-operator occurring in these positions be given a unified semantical treatment (which would justify dispensing with a notational differentiation)? A positive answer, based on a suitably shaped truth condition for N-formulae, is given, and is supported in the final section with an alternative proof theoretically based conception of a property's essential belonging to an individual. (shrink)

The paper deals with the question of the structure of knowledge and the precise relationship between propositional "knowledge that" and dispositional "knowledge how." In the first part of my essay, I provide an analysis of the term 'knowing how' and argue that the usual alternatives in the recent epistemological debate – knowing how is either a form of propositional or dispositional knowledge – are misleading. In fact it depends on the semantic and pragmatic context of the usage of (...) this term whether 'knowing how' refers to a type of dispositional knowledge, to propositional knowledge, or to a hybrid form of both. Only in the first case, can one say that dispositional know how cannot be reduced to any form of propositional knowledge. Yet, this case is the most interesting one to consider in the investigation of the nature of knowledge, if one assumes that knowing that p presupposes "having found out that p." Having found something out, however, presupposes certain acts of epistemic inquiry and corresponding epistemic abilities. Examined more carefully, it is shown that the dispositional knowledge-how is a necessary condition for propositional knowledge-that, hence propositional knowledge-that is a species of the dispositional knowledge-how. Accordingly, dispositional knowledge has to be understood as being at the very core of our notion of knowledge, including propositional knowledge. (shrink)

A powerful challenge to some highly influential theories, this book offers a thorough critical exposition of modal realism, the philosophical doctrine that many possible worlds exist of which our own universe is just one. Chihara challenges this claim and offers a new argument for modality without worlds.

Aristotle founds his modal syllogistic, like his plain syllogistic, on a small set of ?perfect? or obviously valid sylligisms. The rest he reduces to those, usually by means of modal conversion principles. These principles are open to more than one reading, however, and they are in fact invalid on one traditional reading (de re), valid on the other (de dicto). It is argued here that this way of framing the contrast is not Aristotelian, and that an interpretation involving (...) modal copulae allows us to see how these principles, and the modal system as a whole, are to be understood in light of close and precise connections to Aristotle's essentialist metaphysics. (shrink)

It has recently been suggested that, for Leibniz, temporal facts globally supervene on causal facts, with the result that worlds differing with respect to their causal facts can be indiscernible with respect to their temporal facts. Such an interpretation is at variance with more traditional readings of Leibniz's causal theory of time, which hold that Leibniz reduces temporal facts to causal facts. In this article, I argue against the global supervenience construal of Leibniz's philosophy of time. On the view of (...) Leibniz defended here, he adopts a non-modal reduction of time to events, a form of reductionism that entails a strong covariation between a world's temporal facts and its causal facts. Consequently, worlds discernible with respect to their temporal facts must be discernible with respect to their causal facts, and worlds discernible with respect to their causal facts must be discernible with respect to their temporal facts. This position strongly favors the standard identificatory reduction of time to causation often imputed to Leibniz. (shrink)

The Simple Counterfactual Analysis (SCA) was once considered the most promising analysis of disposition ascriptions. According to SCA, disposition ascriptions are to be analyzed in terms of counterfactual conditionals. In the last few decades, however, SCA has become the target of a battery of counterexamples. In all counterexamples, something seems to be interfering with a certain object’s having or not having a certain disposition thus making the truth-values of the disposition ascription and of its associated counterfactual come apart. Intuitively, however, (...) it would seem that, if all interferences were absent, the disposition ascription and its associated conditional would have the same truth-value. Although this idea may seem obvious, it is far from obvious how to implement it. In fact, it is has become widely assumed that the content of qualifying ceteris paribus clauses (such as ‘if all interfer-ences were absent’) cannot be specified in a clear and non-circular manner. In this paper, I will argue that this assumption is wrong. I will develop an analysis of disposition ascriptions, the Interference-Free Counterfactual Analysis (IFCA), which relies on a clear and non-circular definition of the notion of interference and avoids the standard counterexamples to SCA while vindicating the intuition that disposition ascriptions and counterfactual conditionals are intimately related. (shrink)

We introduce and study hierarchies of extensions of the propositional modal and temporal languages with pairs of new syntactic devices: point of reference-reference pointer which enable semantic references to be made within a formula. We propose three different but equivalent semantics for the extended languages, discuss and compare their expressiveness. The languages with reference pointers are shown to have great expressive power (especially when their frugal syntax is taken into account), perspicuous semantics, and simple deductive systems. For instance, Kamp's (...) and Stavi's temporal operators, as well as nominals (names, clock variables), are definable in them. Universal validity in these languages is proved undecidable. The basic modal and temporal logics with reference pointers are uniformly axiomatized and a strong completeness theorem is proved for them and extended to some classes of their extensions. (shrink)

A number of single- and dual-process theories provide competing explanations as to how reasoners evaluate conditional arguments. Some of these theories are typically linked to different instructions?namely deductive and inductive instructions. To assess whether responses under both instructions can be explained by a single process, or if they reflect two modes of conditional reasoning, we re-analysed four experiments that used both deductive and inductive instructions for conditional inference tasks. Our re-analysis provided evidence consistent with a single process. (...) In two new experiments we established a double dissociation of deductive and inductive instructions when validity and plausibility of conditional problems were pitted against each other. This indicates that at least two processes contribute to conditional reasoning. We conclude that single-process theories of conditional reasoning cannot explain the observed results. Theories that postulate at least two processes are needed to account for our findings. (shrink)

The lesson is familiar. Kripke’s arguments in favor of a posteriori necessary truths annul the idea that conceivability is a guide to metaphysical possibility because determining that which is a priori is a separate issue from determining that which is necessary. Modal rationalists do not completely agree with this conclusion. Following recent work on two-dimensional semantics, David Chalmers suggests that two distinct semantic values can be assigned to a statement, depending on whether we consider possible worlds as counterfactual or (...) counteractual. The idea is that counterfactual possibilities yield familiar Kripkean intuitions, but that counteractuals fulfill the desired link between a priori conceivability and metaphysical possibility. In this paper, I discuss a problem for modalrationalism that arises through the use of material conditionals, or conditionals in the indicative mood. I then turn to Chalmers’ response, and suggest reasons why it is inadequate. I turn to another response from Chalmers, and suggest that, whilst it solves the fi rst issue, it is incapable of grounding modal rationalism. In conclusion I will suggest a way in which a tempered version of modal rationalism can be salvaged. (shrink)

In this three-part paper, my concern is to expound and defend a conception of science, close to Einstein's, which I call aim-oriented empiricism. I argue that aim-oriented empiricsim has the following virtues. (i) It solve the problem of induction; (ii) it provides decisive reasons for rejecting van Fraassen's brilliantly defended but intuitively implausible constructive empiricism; (iii) it solves the problem of verisimilitude, the problem of explicating what it can mean to speak of scientific progress given that science advances from one (...) false theory to another; (iv) it enables us to hold that appropriate scientific theories, even though false, can nevertheless legitimately be interpreted realistically, as providing us with genuine , even if only approximate, knowledge of unobservable physical entities; (v) it provies science with a rational, even though fallible and non-mechanical, method for the discovery of fundamental new theories in physics. In the third part of the paper I show that Einstein made essential use of aim-oriented empiricism in scientific practice in developing special and general relativity. I conclude by considering to what extent Einstein came explicitly to advocate aim-oriented empiricism in his later years. (shrink)

Modern logicians have sought to unlock the modal secrets of Aristotle's Syllogistic by assuming a version of essentialism and treating it as a primitive within the semantics. These attempts ultimately distort Aristotle's ontology. None of these approaches make full use of tests found throughout Aristotle's corpus and ancient Greek philosophy. I base a system on Aristotle's tests for things that can never combine (polarity) and things that can never separate (inseparability). The resulting system not only reproduces Aristotle's recorded results (...) for the apodictic syllogistic in the Prior Analytics but it also generates rather than assumes Aristotle's distinctions among 'necessary', 'essential' and 'accidental'. By developing a system around tests that are in Aristotle and basic to ancient Greek philosophy, the system is linked to a history of practices, providing a platform for future work on the origins of logic. (shrink)

Although it is frequently said that logic is a purely formal discipline lacking any content for special philosophical subdisciplines, I argue in this essay that the concepts of predication, and of the properties of objects presupposed by standard first-order logic are sufficient to address many of the traditional problems of ontology. The concept of an object's having a property is extended to provide an intensional definition of the existence of an object as the object's possessing a maximally consistent property combination, (...) consisting, for any property or its complement. Nonexistent objects by the proposed definition are those that either lack both some property and its complement, or have both a property and its complement included in its corresponding property combination. The definition in turn makes it possible to offer solutions based on purely logical concepts of such longstanding metaphysical problems as why there is something rather than nothing, and why there exists exactly one logically contingent actual world, itself a maximally consistent combination of true predication instances or facts. Additionally, the ontology upholds an argument in support of modal actualism and against modal realism, treating all logically possible worlds other than the actual world as predicationally incomplete nonexistent objects or semantic fictions. (shrink)

Philosophers and psychologists widely hold that artifact categories – just like biological categories – are individuated by their function. But recent empirical findings in psychology question this assumption. My proposal is to suggest a way of squaring these findings with the central role function should play in individuating artifact categories. But in order to do so, we need to give up on the standard account of artifact function, according to which function is fixed by design, and replace it with a (...) more context-sensitive account, according to which function attributions depend on the explanatory context and, as a result, categorization also depends on the explanatory context, just as the empirical findings from psychology suggest. I argue that the recent ‘modal theory of function’ originally proposed to explain biological function, is capable of providing such an account of artifact function. (shrink)

Starting from a recent paper by S. Kaufmann, we introduce a notion of conjunction of two conditional events and then we analyze it in the setting of coherence. We give a representation of the conjoined conditional and we show that this new object is a conditional random quantity, whose set of possible values normally contains the probabilities assessed for the two conditional events. We examine some cases of logical dependencies, where the conjunction is a conditional (...) event; moreover, we give the lower and upper bounds on the conjunction. We also examine an apparent paradox concerning stochastic independence which can actually be explained in terms of uncorrelation. We briefly introduce the notions of disjunction and iterated conditioning and we show that the usual probabilistic properties still hold. (shrink)

D. Lewis proposed the reformed conditional analysis of disposition to handle Martin's influential counterexamples to the simple counterfactual analysis. Some philosophers, however, argue that the mere fact that the reformed conditional analysis of disposition can handle Martin's counterexamples should not be regarded as a reason to prefer the reformed conditional analysis to the simple analysis. In this paper, I argue that the reformed version should be preferred not because it can handle Martin's counterexamples but because there are (...) other counterexamples to the simple conditional analysis. (shrink)

D. M. Armstrong has objected that the Dispositionalist theory of laws and properties is modally inverted, for it entails that properties are constituted by relations to non-actual possibilia. I contend that, if this objection succeeds against Dispositionalism, then Armstrong's nomic necessitation relation is also modally inverted. This shows that at least one of Armstrong's reasons for preferring a nomic necessitation theory is specious.

This paper discusses the interaction of aspect and modality, and focuses on the puzzling implicative effect that arises when perfective aspect appears on certain modals: perfective somehow seems to force the proposition expressed by the complement of the modal to hold in the actual world, and not merely in some possible world. I show that this puzzling behavior, originally discussed in Bhatt (1999, Covert modality in non-finite contexts) for the ability modal, extends to all modal auxiliaries with (...) a circumstantial modal base (i.e., root modals ), while epistemic interpretations of the same modals are immune to the effect. I propose that implicative readings are contingent on the relative position of the modal w.r.t. aspect: when aspect scopes over the modal (as I argue is the case for root modals), it forces an actual event, thereby yielding an implicative reading. When a modal element scopes over aspect, no actual event is forced. This happens (i) with epistemics, which structurally appear above tense and aspect; (ii) with imperfective on a root modal: imperfective brings in an additional layer of modality, itself responsible for removing the necessity for an actual event. This proposal enables us to solve the puzzle while maintaining a standardized semantics for aspects and modals. (shrink)

The distinction between abstract (rule-based) and contextual (intuitive) thinking is illustrated by studies of numeric versus linguistic expressions of probability. Verbal probabilities are believed to reflect intuitions that can be adaptive and occasionally normative (e.g., counteracting conjunction errors). Stanovich & West's interpretation of analytic thinking in terms of ability suggests a complementary ability perspective on intuitive thinking.

The English perfect involves two fundamental components of meaning: a truth-conditional one involving temporal notions and a current relevance presupposition best expressed in terms drawn from the analysis of modality. The proposal made here draws much for the Extended Now theory (McCoard 1978 and others), but improves on it by showing that many aspects of the perfect's meaning may be factored out into independent semantic or pragmatic principles.

Technical results about the time dependence of eigenvectors of reduced density operators are considered, and the relevance of these results is discussed for modal interpretations of quantum mechanics which take the corresponding eigenprojections to represent definite properties. Continuous eigenvectors can be found if degeneracies are avoided. We show that, in finite dimensions, the space of degenerate operators has co-dimension 3 in the space of all reduced operators, suggesting that continuous eigenvectors almost surely exist. In any dimension, even when degeneracies (...) are hit, we find conditions under which a theorem due to Rellich can provide continuous eigenvectors. We use this result to formulate an extended version of the modal interpretation. We also discuss eigenvector instability which we argue poses a serious problem for the modal interpretation, even in our extended version. Many examples are given to illustrate the mathematics. (shrink)

In philosophical logic necessity is usually conceived as a sentential operator rather than as a predicate. An intensional sentential operator does not allow one to express quantified statements such as 'There are necessary a posteriori propositions' or 'All laws of physics are necessary' in first-order logic in a straightforward way, while they are readily formalized if necessity is formalized by a predicate. Replacing the operator conception of necessity by the predicate conception, however, causes various problems and forces one to reject (...) many philosophical accounts involving necessity that are based on the use of operator modal logic. We argue that the expressive power of the predicate account can be restored if a truth predicate is added to the language of first-order modal logic, because the predicate 'is necessary' can then be replaced by 'is necessarily true'. We prove a result showing that this substitution is technically feasible. To this end we provide partial possible-worlds semantics for the language with a predicate of necessity and perform the reduction of necessities to necessary truths. The technique applies also to many other intensional notions that have been analysed by means of modal operators. (shrink)

In this paper, the meanings of sentences containing the word or and a modal verb are used to arrive at a novel account of the meaning of or coordinations. It is proposed that or coordinations denote sets whose members are the denotations of the disjuncts; and that the truth conditions of sentences containing or coordinations require the existence of some set made available by the semantic environment which can be ‘divided up’ in accordance with the disjuncts. The relevant notion (...) of ‘dividing things up’ is made explicit in the paper. Detailed attention is given to the question of how the proposed truth conditions are derived from the syntactic input. The account offered allows for the derivation of both the disjunctive and the nondisjunctive readings of modal/or sentences, including the much-discussed free choice readings of may/or sentences. (shrink)

The problems we deal with concern reasoning about incomplete knowledge. Knowledge is understood as ability of an ideal rational agent to make decisions about pieces of information. The formalisms we are particularly interested in are Moore's autoepistemic logic (AEL) and its variant, the logic of acceptance and rejection (AEL2). It is well-known that AEL may be seen as the nonmonotonic KD45 modal logic. The aim is to give an appropriate modal formalization for AEL2.

In this paper, I discuss conditionals as illocutionary speech acts whose interpretation depends upon the whole of the social context in which they are uttered and whose purpose is to affect the opinions and actions of others. I argue for a suppositional approach to conditional statements based in what philosophers call the Ramsey test and developing the psychological theory that conditionals elicit a process of hypothetical thinking in their listeners. By reference to the experimental psychological literature on conditionals, I (...) show that in general conditionals, even ones that are basic or abstract in nature, are not treated as truth-functional or material by ordinary people. Drawing upon the suppositional nature of conditionals and the influence of pragmatic implicature, I discuss uses of conditionals as advice, inducement, persuasions and dissuasion, arguing that speakers use conditionals to try to influence the beliefs and actions of their listeners by shaping their hypothetical thought about possibilities. (shrink)

We outline a neo-Meinongian framework labeled as Modal Meinongian Metaphysics (MMM) to account for the ontology and semantics of fictional discourse. Several competing accounts of fictional objects are originated by the fact that our talking of them mirrors incoherent intuitions: mainstream theories of fiction privilege some such intuitions, but are forced to account for others via complicated paraphrases of the relevant sentences. An ideal theory should resort to as few paraphrases as possible. In Sect. 1, we make this explicit (...) via two methodological principles, called the Minimal Revision and the Acceptability Constraint. In Sect. 2, we introduce the standard distinction between internal and external fictional discourse. In Sects. 3–5, we discuss the approaches of (traditional) Meinongianism, Fictionalism, and Realism—and their main troubles. In Sect. 6 we propose our MMM approach. This is based upon (1) a modal semantics including impossible worlds (Subsect. 6.1); (2) a qualified Comprehension Principle for objects (Subsect. 6.2); (3) a notion of existence-entailment for properties (Subsect. 6.3). In Sect. 7 we present a formal semantics for MMM based upon a representation operator. And in Sect. 8 we have a look at how MMM solves the problems of the three aforementioned theories. (shrink)

Jason Stanley has argued recently that Epistemic Contextualism (EC) and Subject-Sensitive Invariantism (SSI) are explanatorily on a par with regard to certain data arising from modal and temporal embeddings of ‘knowledge’-ascriptions. This paper argues against Stanley that EC has a clear advantage over SSI in the discussed field and introduces a new type of linguistic datum strongly suggesting the falsity of SSI.

This paper analyzes statistical decisions during the interim analyses of clinical trials. After some general remarks about the ethical and scientific demands of clinical trials, I introduce the notion of a hard-case clinical trial, explain the basic idea behind it, and provide a real example involving the interim analyses of zidovudine in asymptomatic HIV-infected patients. The example leads me to propose a decision analytic framework for handling ethical conflicts that might arise during the monitoring of hard-case clinical trials. (...) I use computer simulations to show how the framework can assist in reconciling certain ethical conflicts. The framework is partial, lacking the precision of a complete systematization of statistical monitoring procedures in practice. (shrink)

According to ‘Fitting Attitude’ (FA) analyses of value, for an object to be valuable is for that object to have properties—other than its being valuable—that make it a fitting object of certain responses. In short, if an object is positively valuable it is fitting to favour it; if an object is negatively valuable it is fitting to disfavour it. There are several variants of FA analyses. Some hold that for an object to be valuable is for it to (...) be such that it ought to be favoured; others hold that value is analyzable in terms of reasons or requirements to favour. All these variants of the FA analysis are subject to a partiality challenge : there are circumstances in which some agents have reasons to favour or disfavour some object—due to the personal relations in which they stand to the object—without this having any bearing on the value of the object. A. C. Ewing was one of the first philosophers to draw attention to the partiality challenge for FA analyses. In this paper I explain the challenge and consider Ewing's responses, one of which is preferable to the other, but none of which is entirely satisfactory. I go on to develop an alternative Brentano-inspired response that Ewing could have offered and that may well be preferable to the responses Ewing actually did offer. (shrink)

Most instantiations of the inference ‘y; so if x, y’ seem intuitively odd, a phenomenon known as one of the paradoxes of the material conditional. A common explanation of the oddity, endorsed by Mental Model theory, is based on the intuition that the conclusion of the inference throws away semantic information. We build on this explanation to identify two joint conditions under which the inference becomes acceptable: (a) the truth of x has bearings on the relevance of asserting y; (...) and (b) the speaker can reasonably be expected not to be in a position to assume that x is false. We show that this dual pragmatic criterion makes accurate predictions, and contrast it with the criterion defined by the mental model theory of conditionals, which we show to be inadequate. (shrink)

What does it mean to practice socially responsible science on controversial issues? In a fresh turn focussing on the neuroscientists’ responsibility in producing knowledge about politically charged subjects, Chalfin et al. (Am J Bioethics 8(1):1–2, 2008) caution neuroscientists to be careful about how they present their findings lest their results be used to support unfounded biases, social stereotypes and prejudices. Weisberg et al. (J Cogn Neurosci 20(3):470–477, 2008) discuss the allure of neuroscience explanations and demonstrate how laypersons easily accept dubious (...) claims as long as (even non-relevant) neuroscientific descriptions are provided. Fine (2010) exposes the use of scientific evidence in propagating outdated gender myths by popular writers and discusses the infiltration of these prejudices into popular belief, folk culture and lifestyle. This paper discusses ways in which the ‘neuroscience of gender difference’ itself inadvertently contributes to normalising socially constructed theories about sex difference in cognitive performance. This unpremeditated effect has evident implications on the structuring of society because gender relations cut across social, political and economic boundaries. We present a theoretical reflection of factors that could interact with the scientists’ attempted objective evaluation of the subject, the methods and some principle problems, and we engage a science studies approach as our methodological tool. Our object of critique is drawn from the research on spatial abilities that articulate the dissention pertaining to sex differences in intellectual capacity. (shrink)

This article begins by outlining some of the history—beginning with brief remarks of Quine's—of work on conditional assertions and conditional events. The upshot of the historical narrative is that diverse works from various starting points have circled around a nexus of ideas without convincingly tying them together. Section 3 shows how ideas contained in a neglected article of de Finetti's lead to a unified treatment of the topics based on the identification of conditional events as the objects (...) of conditional bets. The penultimate section explores some of the consequences of the resulting logic of conditional events while the last defends it. (shrink)

Intervals in boolean algebras enter into the study of conditional assertions (or events) in two ways: directly, either from intuitive arguments or from Goodman, Nguyen and Walker's representation theorem, as suitable mathematical entities to bear conditional probabilities, or indirectly, via a representation theorem for the family of algebras associated with de Finetti's three-valued logic of conditional assertions/events. Further representation theorems forge a connection with rough sets. The representation theorems and an equivalent of the boolean prime ideal theorem (...) yield an algebraic completeness theorem for the three-valued logic. This in turn leads to a Henkin-style completeness theorem. Adequacy with respect to a family of Kripke models for de Finetti's logic, ukasiewicz's three-valued logic and Priest's Logic of Paradox is demonstrated. The extension to first-order yields a short proof of adequacy for Körner's logic of inexact predicates. (shrink)

Analyses of between-sex differences have provided a powerful starting point for evolutionarily informed work on human sexuality. This early work set the stage for an evolutionary analysis of within-sex differences in human sexuality. A comprehensive theory of human sexual strategies must address both between-sex differences and within-sex differences in evolved psychology and manifest behavior.

The purpose of this paper is to advance research on CSR beyond the stalemate of economic versus ethical models by providing an alternative perspective integrating existing views and allowing for more shared dialog and research in the field. It is suggested that we move beyond making a normative case for ethical models and practices of CSR by moving beyond the question of how to manage organizational self-interest toward the question of how accurate current conceptions of the organizational self seem (...) to be. Specifically, it is proposed that CSR is not a question of how self-interested the corporation should be, but how this self is defined. Economic and ethical models of CSR are not models of opposition but exist on a continuum between egoic and post-egoic, illusory and authentic conceptions of the organizational self. This means that moving from one to the other is not a question of adopting different paradigms but rather of moving from illusion and dysfunction to authenticity and functionality, from pathology to health. (shrink)

Toleration and respect are types of relations between different agents. The standard analyses of toleration and respect are attitudinal; toleration and respect require subjects to have appropriate types of attitudes towards the objects of toleration or respect. The paper investigates whether states can sensibly be described as tolerant or respectful in ways theoretically relevantly similar to the standard analyses. This is a descriptive question about the applicability of concepts rather than a normative question about whether, when and why (...) states should be tolerant or respectful. The problem of institutional application is that institutions in general and the state in particular arguably cannot have attitudes of the required kind. This problem is distinct from, and broader than, well-known problems about whether political toleration is normatively legitimate. To make sense of political toleration or respect, the paper proposes that the analysis of institutional toleration and respect should not be solely agent-centred (as in attitudinal analyses) or patient-centred (as in explanations of the good of toleration or respect in terms of the effects of being tolerated or respected). The analysis should also include features about the relation itself. We can describe institutions as tolerant or respectful in a sense relevantly similar to the standard analyses if we focus on the public features of the relation between institutions and citizens or groups, without ascribing attitudes in the problematic sense. (shrink)

I resolve an argument over “flat” versus “dimensioned” theories of realization. The theories concern, in part, whether realized and realizing properties are instantiated by the same individual (the flat theory) or different individuals in a part-whole relationship (the dimensioned theory). Carl Gillett has argued that the two views conflict, and that flat theories should be rejected on grounds that they fail to capture scientific cases involving a dimensioned relation between individuals and their constituent parts. I argue on the contrary (...) that the two types of theory complement one another, even on the same range of scientific cases. I illustrate the point with two popular functionalist versions of flat and dimensioned positions – causal-role functionalism and a functional analysis by decomposition – that combine into a larger picture I call “comprehensive functional realization.” I also respond to some possible objections to this synthesis of functionalist views. (shrink)

Anti-materialist thought experiments as, e.g., zombie arguments, have posed some of the most vexing problems for materialist accounts of phenomenal consciousness. I doubt, however, that arguments of this kind can refute the core thesis of materialism. Although I do not question that there is something very special about an adequate explanation of phenomenal consciousness, and although I accept the epistemic irreducibility of phenomenal consciousness, I deny that modal arguments reach far enough to establish essentialism about consciousness. I will draw (...) upon a relativistic conception of modal space and suggest to strictly separate between varieties of metaphysical possibility - depending on which world is considered as actual, and depending on accessibility relations. It is shown that the modal argument cannot endanger the reductive explanation of the mind-brain relation if one distinguishes carefully between possibility according to primary intensions (epistemic possibility) and possibility according to secondary intensions (meta-physical possibility). Modal arguments are strong enough to make an epistemological point but not an ontological one. (shrink)

This is Part 1 of a paper on fibred semantics and combination of logics. It aims to present a methodology for combining arbitrary logical systems L i , i ∈ I, to form a new system L I . The methodology `fibres' the semantics K i of L i into a semantics for L I , and `weaves' the proof theory (axiomatics) of L i into a proof system of L I . There are various ways of doing this, we (...) distinguish by different names such as `fibring', `dovetailing' etc, yielding different systems, denoted by L F I , L D I etc. Once the logics are `weaved', further `interaction' axioms can be geometrically motivated and added, and then systematically studied. The methodology is general and is applied to modal and intuitionistic logics as well as to general algebraic logics. We obtain general results on bulk, in the sense that we develop standard combining techniques and refinements which can be applied to any family of initial logics to obtain further combined logics. The main results of this paper is a construction for combining arbitrary, (possibly not normal) modal or intermediate logics, each complete for a class of (not necessarily frame) Kripke models. We show transfer of recursive axiomatisability, decidability and finite model property. Some results on combining logics (normal modal extensions of K) have recently been introduced by Kracht and Wolter, Goranko and Passy and by Fine and Schurz as well as a multitude of special combined systems existing in the literature of the past 20-30 years. We hope our methodology will help organise the field systematically. (shrink)

Comparisons between modally and amodally completed regions show that perceptual filling-in is not merely the ignoring of absences. Illusory filled-in colour arises for modal completion, but not for amodal completion in comparable displays. We find that attention spreads automatically to modally but not amodally completed regions from their inducers, revealing a functional effect of filled-in colour.

We argue that the inference from dispositional essentialism about a property (in the broadest sense) to the metaphysical necessity of laws involving it is invalid. Let strict dispositional essentialism be any view according to which any given property’s dispositional character is precisely the same across all possible worlds. Clearly, any version of strict dispositional essentialism rules out worlds with different laws involving that property. Permissive dispositional essentialism is committed to a property’s identity being tied to (...) its dispositional profile or causal role, yet is compatible with moderate interworld variation in a property’s dispositional profile. We provide such a model of dispositional essentialism about a property and metaphysical contingency of the laws involving it. (shrink)

Lately I've been giving a great deal of thought to the nature of human (and other organic) abilities. In part, this is connected to my recent research into multiple personality and the need to explain, not only the partitioning of abilities and skills among alternate personalities, but also the enhanced levels of functioning that some of them exhibit (and for that matter, the exceptional performances of "nonmultiples" in hypnotic and other sorts of dissociative states). My interest in this (...) topic is also connected to my ongoing study of savants and prodigies, who apparently have much to teach us about the limits (and perhaps also the latency) of human abilities. At bottom, I suppose, it connects with my general and longstanding concern with problems of psychological explanation, particularly in light of the gross inadequacies of trendy computational theories of the mind. (shrink)

One view of the nature of properties has been crystallized in recent debate by an identity thesis proposed by Shoemaker. The general idea is that there is for behaviour. Well-known criticisms of this approach, however, remain unanswered, and the details of its connections to laws nothing more to being a particular causal property than conferring certain dispositions of nature and the precise ontology of causal properties stand in need of development. This paper examines and defends a dispositional essentialist account (...) of causal properties, combining a Shoemaker-type identity thesis with a Dretske, Tooley, and Armstrong-type view that laws are relations between properties, and a realism about dispositions. The property identity thesis is defended against standard epistemological and metaphysical objections. The metaphysics of causal properties is then clarified by a consideration of the laws relating them, vacuous laws, and ceteris paribus law statements. (shrink)

Dispositional compatibilists argue that a proper understanding of our abilities vindicates both compatibilism and the principle of Alternate Possibilities (the claim that the ability to do otherwise is required for freedom and moral responsibility). In this paper, I argue that this is mistaken. Both analyses of dispositions and abilities should distinguish between local and global dispositions or abilities. Once this distinction is in place, we see that neither thesis is established by an analysis of (...) class='Hi'>abilities. (shrink)

In a previous paper I described a range of nonmonotonic conditionals that behave like conditional probability functions at various levels of probabilistic support. These conditionals were defined as semantic relations on an object language for sentential logic. In this paper I extend the most prominent family of these conditionals to a language for predicate logic. My approach to quantifiers is closely related to Hartry Field''s probabilistic semantics. Along the way I will show how Field''s semantics differs from a substitutional (...) interpretation of quantifiers in crucial ways, and show that Field''s approach is closely related to the usual objectual semantics. One of Field''s quantifier rules, however, must be significantly modified to be adapted to nonmonotonic conditional semantics. And this modification suggests, in turn, an alternative quantifier rule for probabilistic semantics. (shrink)

I will describe the logics of a range of conditionals that behave like conditional probabilities at various levels of probabilistic support. Families of these conditionals will be characterized in terms of the rules that their members obey. I will show that for each conditional, , in a given family, there is a probabilistic support level r and a conditional probability function P such that, for all sentences C and B, C->B holds just in case P[B|C] is greater (...) than or equal to r. Thus, each conditional in a given family behaves like conditional probability above some specific support level. (shrink)

Two experiments were conducted to investigate the roles of covariation and of causality in people's readiness to believe a conditional. The experiments used a probabilistic truth-table task (Oberauer & Wilhelm, 2003) in which people estimated the probability of a conditional given information about the frequency distribution of truth-table cases. For one group of people, belief in the conditional was determined by the conditional probability of the consequent, given the antecedent, whereas for another group it depended on (...) the probability of the conjunction of antecedent and consequent. There was little evidence that covariation, expressed as the probabilistic contrast or as the pCI rule (White, 2003), influences belief in the conditional. The explicit presence of a causal link between antecedent and consequent in a context story had a weak positive effect on belief in a conditional when the frequency distribution of relevant cases was held constant. (shrink)

This article shows that although Fitch’s paradox has been extremely widely studied, up to now no correct formalization of the problem has been proposed. The purpose of this article is to present the paradox front the viewpoint of combining logics. It is argued that the correct minimal logic to state the paradox is composed by a fusion of modal frames, and a fusion of modal languages and logics.

This study investigated how decision-makers differ in processing their organizational environment (peers and organizational control systems), depending on the levels of their idealism and relativism. Focusing on socially responsible buying/sourcing issues, responses from buying/sourcing professionals from U.S. apparel and shoe companies were analyzed, using a series of regression analyses. The results generally supported the proposition that the degrees of idealism and relativism determine involvement levels that, in turn, result in varying levels of reactions to the organizational environment (...) and corresponding amounts of information processing. Highly idealistic (relativistic) individuals were influenced by only idealistic (relativistic) signals of organizational environment. Further analysis showed highly idealistic and relativistic individuals were more likely to evaluate the organizational environment in terms of its business merit. The results suggest that organizations need to carefully plan how to communicate underlying meanings of organizational initiatives with their employees, knowing that individuals who have strong ethical opinions will only react to what they believe and elaborate its value for business. Further theoretical and practical implications and suggestions are discussed. (shrink)

ABSTRACT: We critically examine Bermejo-Luque’s account of the logical dimension of argumentation and its logical or semantic evaluation. Our considerations concern her views on inference claims, validity, logical normativity, warrants, necessity, warrants and the justification of inferences, ontological versus epistemic modal qualifiers, ontological versus epistemic probability, and ontological versus conditional probability.RESUMEN: Examinamos críticamente el análisis que Bermejo-Luque propone de la dimensión lógica de la argumentación y de su evaluación lógica o semántica. Nuestras objeciones ser refieren (...) a sus tesis sobre las afirmaciones inferenciales, la validez, la normatividad lógica, los garantes, los garantes de necesidad y la justificación de las inferencias, los calificadores ontológicos frente a los epistémico-modales, la probabilidad epistémica frente a la ontológica y la probabilidad condicional frente a la ontológica. (shrink)

Some studies have reported that, under some circumstances, participants sometimes reject the truth of conditional premises and give incorrect uncertain conclusions to MP and MT, despite the standard instructions to assume the truth of the premises. Instructions that emphasise the logical nature of the task, on the other hand, increase the number of valid conclusions to these two inferences. In this paper, we examine two possible explanations for the influence of instructions on the production of valid conclusions: (1) instructions (...) trigger a logical mode of thinking that is appropriate for the task to be solved, and (2) instructions affect the way that retrieved information is used when constructing a mental representation of the premises. In order to compare these two hypothesis, we used conditional causal relations having either many or few disabling conditions (i.e. cases of P and not-Q) and presented them in four different instructional conditions. When presented with the standard instructions to suppose the premises to be true, MP and MT inferences show a relatively low percentage of valid conclusions. However, when the logical nature of the task and the necessity to assume the truth of the premises are emphasised, the number of valid conclusions greatly increases. Also, if disabling conditions are made explicit or generated before the presentation of these logical instructions, the performance on MP and MT is lower than when only the logical instructions are presented. Finally, the instructions had no effect on AC and DA. From these results, we concluded that the instructions had an effect on the use of retrieved information rather than on inducing different modes of thinking. (shrink)

Two experiments examined the contribution of working memory (WM) to the retrieval and inhibition of background knowledge about counterexamples (alternatives and disablers, Cummins, 1995) during conditional reasoning. Experiment 1 presented a conditional reasoning task with everyday, causal conditionals to a group of people with high and low WM spans. High spans rejected the logically invalid AC and DA inferences to a greater extent than low spans, whereas low spans accepted the logically valid MP and MT inferences less frequently (...) than high spans. In Experiment 2, an executive-attention-demanding secondary task was imposed during the reasoning task. Findings corroborate that WM resources are used for retrieval of stored counterexamples and that people with high WM spans will use WM resources to inhibit the counterexample activation when the type of counterexample conflicts with the logical validity of the reasoning problem. (shrink)

The basic principles of dispositional essentialism do not require that the fundamental spatiotemporal relations are dispositional in nature. Nevertheless, Bird (who defends dispositional monism) argues that they possess dispositional essences in virtue of the fact that the obtaining of these relations can be characterised by the satisfaction of a certain counterfactual. In this paper I argue that his suggestion fails, and so, despite his attempt, the case of the spatiotemporal relations remains the ‘big bad bug’ for (...) the thesis of dispositional monism. (shrink)

The need to maintain the public trust in the integrity of the accounting profession has led to increased interest in research that examines the moral reasoning abilities (MRA) of Certified Public Accountants (CPAs). This study examines the MRA of CPAs practicing in small firms or as sole practitioners and the factors that affect MRA throughout their working careers.The results indicate that small-firm accounting practitioners exhibit lower MRA than expected for professionals and that age, gender and socio-political beliefs affect the (...) moral reasoning abilities of small-firm practitioners. We also find that completion of an ethics course in college has a positive impact on MRA. Also, the survey respondents indicate overwhelming support for including ethics courses within the business curriculum. Finally, the fact that those accountants with the lowest MRA are the least supportive of ethical training may indicate the need for mandatory, rather than optional, training in ethics both in university and Continuing Professional Education courses. (shrink)

The Mathematics Education and Neurosciences project is an interdisciplinary research program that bridges mathematics education research with neuroscientific research. The bidirectional collaboration will provide greater insight into young children's (aged four to six years) mathematical abilities. Specifically, by combining qualitative ‘design research’ with quantitative ‘experimental research’, we aim to come to a more thorough understanding of prerequisites that are involved in the development of early spatial and number sense. The mathematics education researchers are concerned with kindergartner's spatial structuring ability, (...) while the neuroscientists are studying kindergartner's automatic quantity processing and its effect on mathematical development. The outcomes of these investigations should contribute to practical ways of fostering and supporting young children's mathematical thinking and learning. (shrink)

It has recently been reported that forward inferences from if p then q sentences (i.e., from antecedent to consequent) were faster than backward inferences from consequent to antecedent (Barrouillet, Grosset, & Lecas, 2000). The standard mental model theory assumes that this directionality effect is a figural effect due to the order the information enters working memory, whereas we claim that it results from the nature of the mental models that represent oriented relations from hypothetical values introduced by the word If (...) . We tested these hypotheses in an experiment in which adult participants evaluated conditional syllogisms from either if p then q , p only if q , or p if q statements. Contrary to the predictions resulting from the standard theory, the three forms of the conditional provoked a reversed directionality effect and denial inferences took longer to endorse than affirmative inferences for all the forms of conditionals. We argue from these results that mental models of the conditional represent oriented relations instead of mere co-occurrences between events. (shrink)

In this paper the arguments for optimal data selection and the contrast class account of negations in the selection task and the conditional inference task are summarised, and contrasted with the matching bias approach. It is argued that the probabilistic contrast class account provides a unified, rational explanation for effects across these tasks. Moreover, there are results that are only explained by the contrast class account that are also discussed. The only major anomaly is the explicit negations effect in (...) the selection task (Evans, Clibbens, & Rood, 1996), which it is argued may not be the result of normal interpretative processes. It is concluded that the effects of negation on human reasoning provide good evidence for the view that human reasoning processes may be rational according to a probabilistic standard. (shrink)

Judgements of the value or likelihood of a focal object or outcome have been shown to vary dramatically as a function of whether judgement is based on selective or comparative processing. This article explores the question of when selective versus comparative processing is likely, and demonstrates that as motivation and opportunity to process information carefully (operationalised as accountability and time pressure, respectively) decrease, the likelihood of selective processing increases. Moreover, we document how individuals manage to render judgements when in (...) selective processing mode by relying on categorical knowledge. (shrink)

It is well known that the modal logic S5 can be embedded in the classical predicate logic by interpreting the modal operator in terms of a quantifier. Wajsberg [10] proved this fact in a syntactic way. Mints [7] extended this result to the quantified version of S5; using a purely proof-theoretic method he showed that the quantified S5 corresponds to the classical predicate logic with one-sorted variable. In this paper we extend Mints' result to the basic modal (...) logic S4; we investigate the correspondence between the quantified versions of S4 (with and without the Barcan formula) and the classical predicate logic (with one-sorted variable). We present a purely proof-theoretic proof-transformation method, reducing an LK-proof of an interpreted formula to a modal proof. (shrink)

The conditional probability of h given e is commonly claimed to be equal to the probability that h would have if e were learned. Here I contend that this general claim about conditional probabilities is false. I present a counter-example that involves probabilities of probabilities, a second that involves probabilities of possible future actions, and a third that involves probabilities of indicative conditionals. In addition, I briefly defend these counter-examples against charges that the probabilities they involve are illegitimate.

We prove that the two-variable fragment of first-order intuitionistic logic is undecidable, even without constants and equality. We also show that the two-variable fragment of a quantified modal logic L with expanding first-order domains is undecidable whenever there is a Kripke frame for L with a point having infinitely many successors (such are, in particular, the first-order extensions of practically all standard modal logics like K, K4, GL, S4, S5, K4.1, S4.2, GL.3, etc.). For many quantified modal (...) logics, including those in the standard nomenclature above, even the monadic two-variable fragments turn out to be undecidable. (shrink)

We present a meta-analytic review on the processing of negations in conditional reasoning about affirmation problems (Modus Ponens: "MP", Affirmation of the Consequent "AC") and denial problems (Denial of the Antecedent "DA", and Modus Tollens "MT"). Findings correct previous generalisations about the phenomena. First, the effects of negation in the part of the conditional about which an inference is made, are not constrained to denial problems. These inferential-negation effects are also observed on AC. Second, there generally are reliable (...) effects of a negation in the clause referred to by the categorical premise, and these referred-negation effects are constrained to the logically fallacious AC and DA inferences. All findings are presented and discussed in relation to contemporary mental model (MM) and mental logic (ML) theories. It is argued that a double-negation elimination hypothesis provides a sufficient explanation of inferential-negation effects within both MM theory and ML theory, if the latter is extended by a validating search for counter examples. Both MM and ML theories adhere to a processing scheme that allows them to incorporate an account of referred-negation effects based on the thesis that counter-example frequency is modulated by the scope of a contrast class delineated by a false affirmative. We conclude that MM and ML theories provide adequate processing schemes to accommodate for the explanatory hypotheses, at least in principle. In practice, both approaches remain equivocal as regards the connectivity and interactivity with long-term memory knowledge invoked in generating, manipulating, and testing the mental representations of negative state of affairs. (shrink)

Da Costa's C systems are surveyed and motivated, and significant failings of the systems are indicated. Variations are then made on these systems in an attempt to surmount their defects and limitations. The main system to emerge from this effort, system $CC_{\omega}$ , is investigated in some detail, and "dual-intuitionistic" semantical analyses are developed for it and surrounding systems. These semantics are then adapted for the original C systems, first in a rather unilluminating relational fashion, subsequently in a more (...) illuminating way through the introduction of impossible situations where and and or change roles. Finally other attempts to break out of impasses for the original and expanded C systems, by going inside them, are looked at, and further research directions suggested. (shrink)

(2012). Modal logics for reasoning about infinite unions and intersections of binary relations. Journal of Applied Non-Classical Logics: Vol. 22, No. 4, pp. 275-294. doi: 10.1080/11663081.2012.705960.

A recent article (Leeds and Healey 1996) argues that the modal interpretation (Copenhagen variant) of quantum mechanics does not do justice to immediately repeated non-disturbing measurements. This objection has been raised before, but the article presents it in a new, detailed, precise form. I show that the objection is mistaken.

Socio-economic decisions are commonly explained by rational cost versus benefit considerations, whereas person variables have not much been considered. The present study aimed at investigating the degree to which dispositional power motivation and affective states predict socio-economic decisions. The power motive was assessed both indirectly and directly using a TAT-like picture test and a power motive self-report, respectively. After 9 months, 62 students completed an affect rating and performed on a money allocation task (social values questionnaire). We hypothesized (...) and confirmed that dispositional power should be associated with a tendency to maximize one’s profit but to care less about another party’s profit. Additionally, positive affect showed effects in the same direction. The results are discussed with respect to a motivational approach explaining socio-economic behaviour. (shrink)

Da Costa's C systems are surveyed and motivated, and significant failings of the systems are indicated. Variations are then made on these systems in an attempt to surmount their defects and limitations. The main system to emerge from this effort, system CC , is investigated in some detail, and dual-intuitionistic semantical analyses are developed for it and surrounding systems. These semantics are then adapted for the original C systems, first in a rather unilluminating relational fashion, subsequently in a more (...) illuminating way through the introduction of impossible situations where and and or change roles. Finally other attempts to break out of impasses for the original and expanded C systems, by going inside them, are looked at, and further research directions suggested. (shrink)

The Ikhwan al-Safa (Brethren of Purity), the anonymous adepts of a tenth-century esoteric fraternity based in Basra and Baghdad, hold an eminent position in the history of science and philosophy in Islam due to the wide reception and assimilation of their monumental encyclopaedia, the Rasa'il Ikhwan al-Safa (Epistles of the Brethren of Purity). This compendium contains fifty-two epistles offering synoptic accounts of the classical sciences and philosophies of the age; divided into four classificatory parts, it treats themes in mathematics, logic, (...) natural philosophy, psychology, metaphysics, and theology, in addition to didactic fables. The Rasa'il constitutes a paradigmatic legacy in the canonization of philosophy and the sciences in mediaeval Islamic civilization, as well as having shown a permeating influence in Western culture. The present volume is the first of this definitive series consisting of the very first critical edition of the Rasa' il in its original Arabic, with a complete, fully annotated English translation. This epistle, The Case of the Animals versus Man Before the King of the Jinn (Epistle 22), prepared by Professors Lenn E. Goodman and Richard McGregor, is arguably the best known, on account of its prominent ecological fable which casts the exploited and oppressed animals pursuing a case against mankind. Perhaps yet more relevant in modern times, the Ikhwan demonstrate the arrogance of man's claim to superiority, in contrast to the animals' pious understanding of their respective roles within nature. The fable complements and expands upon the short exposition on zoology featured at the beginning of the epistle. (shrink)

We prove completeness and decidability results for a family of combinations of propositional dynamic logic and unimodal doxastic logics in which the modalities may interact. The kind of interactions we consider include three forms of commuting axioms, namely, axioms similar to the axiom of perfect recall and the axiom of no learning from temporal logic, and a Church–Rosser axiom. We investigate the influence of the substitution rule on the properties of these logics and propose a new semantics for the test (...) operator to avoid unwanted side effects caused by the interaction of the classic test operator with the extra interaction axioms. (shrink)

In this paper, I distinguish between two varieties of actualism—hardcore actualism and softcore actualism—and I critically discuss Ross Cameron’s recent arguments for preferring a softcore actualist account of the truthmakers for modal truths over hardcore actualist ones. In the process, I offer some arguments for preferring the hardcore actualist account of modal truthmakers over the softcore actualist one.

This paper (based on joint work with M.J.Schervish and J.B.Kadane) discusses some differences between the received theory of regular conditional distributions, which is the countably additive theory of conditional probability, and a rival theory of conditional probability using the theory of finitely additive probability. The focus of the paper is maximally "improper" conditional probability distributions, where the received theory requires, in effect, that P{a: P(a|a) = 0} = 1. This work builds upon the results of Blackwell (...) and Dubins (1975). (shrink)

This paper explores consequences of the claim that phenomenal experiences are physical events of great descriptive complexity. This claim is attractive both because it can explain our most perplexing intuitions about the quality of consciousness and also because it is suggestive of very productive research opportunities. I illustrate the former by showing that two of the most compelling anti-physicalist arguments about phenomenal experience – the modal argument of Kripke and the conceivability argument of Chalmers – are not sound if (...) this claim is true. I illustrate the latter by showing that significant empirical predictions are a consequence of this claim. (shrink)

We study the process of observation (measurement), within the framework of a `perspectival' (`relational', `relative state')version of the modal interpretation of quantum mechanics. We show that if we assume certain features of discreteness and determinism in the operation of the measuring device (which could be a part of the observer's nerve system), this gives rise to classical characteristics of the observed properties, in the first place to spatial localization. We investigate to what extent semi-classical behavior of the object system (...) itself (as opposed to the observational system) is needed for the emergence of classicality. Decoherence is an essential element in the mechanism of observation that we assume, but it turns out that in our approach no environment-induced decoherence on the level of the object system is required for the emergence of classical properties. (shrink)

In "Backward causation and the Stalnaker-Lewis approach to counterfactuals," Analysis 62 (2002): 191–97, Michael Tooley argues that if a certain kind of backward causation is possible, then a Stalnaker-Lewis style comparative world similarity account of the truth conditions of counterfactuals cannot be sound. Tooley’s target is one particular type of semantics, but, as I show, the significance of Tooley’s example goes well beyond its consequences for any one semantics for the conditional.

This paper concerns modal logics of provability — Gödel-Löb systemGL and Solovay logicS — the smallest and the greatest representation of arithmetical theories in propositional logic respectively. We prove that the decision problem for admissibility of rules (with or without parameters) inGL andS is decidable. Then we get a positive solution to Friedman''s problem forGL andS. We also show that A. V. Kuznetsov''s problem of the existence of finite basis for admissible rules forGL andS has a negative solution. Afterwards (...) we give an algorithm deciding the solvability of logical equations inGL andS and constructing some solutions. (shrink)

Aristotle connects modality and time in ways strange and perplexing to modern readers. In this book the author proposes a new solution to this exegetical problem. Although primarily expository, this work explores topics of central concern for current investigations into causality, time, and change.

State of nature or Eden? -- Hobbes' state of nature as an account of the fall? -- Hobbes' own belief or unbelief -- The contemporary reaction to Leviathan -- Hobbes and commentaries on Genesis -- A note on method and chapter order -- Good and evil -- Hobbes on good and evil -- The 'seditious doctrines' of the schoolmen -- The contemporary reaction -- The scriptural account -- The state of nature as an account of the fall? -- Equality and (...) unsociability -- Hobbes and natural equality -- The contemporary reaction -- The scriptural account -- Hobbes on natural unsociability -- The contemporary reaction -- The scriptural account -- State of nature as Eden? -- The war of all against all -- Hobbes' war of all against all -- The contemporary reaction -- The scriptural account -- State of nature as fallen condition? -- The right and law of nature -- Hobbes and natural right -- The contemporary reaction -- Hobbes and natural law -- The contemporary reaction -- The scriptural account -- Hobbes as reformed theologian? -- The creation of society -- Hobbes on the escape from the state of nature -- The contemporary reaction : Hobbes versus divine right -- The scriptural account of Cain building a city -- Hobbes on the creation of the commonwealth -- The contemporary reaction : Hobbes versus the patriarchalists -- The scriptural account of the relationship between Adam and Eve -- State of nature as Eden, the process of the fall, and the fallen condition? -- Reading Hobbes' state of nature -- Anti-aristotelianism -- Hobbes' Protestantism. (shrink)

Analyses of dispositional ascriptions in terms of conditional statements famously confront the problems of finks and masks. We argue that conditional analyses of dispositions, even those tailored to avoid.nks and masks, face five further problems. These are the problems of: (i) Achilles' heels, (ii) accidental closeness, (iii) comparatives, (iv) explaining context sensitivity, and (v) absent stimulus conditions. We conclude by offering a proposal that avoids all seven of these problems. CiteULike Connotea Del.icio.us What's this?

Manley and Wasserman (2008) have provided a convincing case against analyses of dispositions in terms of one conditional, and a very interesting positive proposal that links any disposition to a ‘suitable proportion’ of a particular set of precise conditionals. I focus on their positive proposal and ask just how precise those conditionals are to be. I argue that, contrary to what Manley and Wasserman imply in their paper, they must be maximally specific, describing in their antecedents complete centred (...) worlds. This suggests a natural semantics for dispositional expressions, which I briefly explore to argue that it lacks uniformity. I end by suggesting a variation on Manley and Wasserman's view which would preserve uniformity, though at the cost of some new puzzling questions. (shrink)

Two of the main interpretative problems in quantum mechanics are the so-called measurement problem and the question of the compatibility of quantum mechanics with relativity theory. Modal interpretations of quantum mechanics were designed to solve both of these problems. They are no-collapse (typically) indeterministic interpretations of quantum mechanics that supplement the orthodox state description of physical systems by a set of possessed properties that is supposed to be rich enough to account for the classical-like behavior of macroscopic systems, but (...) sufficiently restricted so as to avoid the no-hidden-variables theorems. But, as recent no-go theorems suggest, current modal interpretations are incompatible with relativity. In this paper, we suggest a strategy for circumventing these theorems. We then show how this strategy could naturally be integrated in a relational version of the modal interpretation, where quantum-mechanical states assign relational rather than intrinsic properties. (shrink)

Introduction : analytic versus continental : arguments on the methods and value of philosophy -- Frege and Husserl -- Russell versus Bergson -- Carnap versus Heidegger -- The Frankfurt School, the positivists and Popper -- Royaumont : Ryle and Hare versus French and German philosophy -- Derrida versus Searle and beyond -- Introduction to philosophical method -- Analytic philosophy and the intuition pump : the uses and abuses of thought experiments -- Reflective equilibrium : commone (...) sense or conservatism? -- The fate of transcendental reasoning -- Phenomenology : returning to the things themselves -- Genealogy, hermeneutics and deconstruction -- Style and clarity -- Philosophy, science and art -- Ontology and metaphysics -- Truth, objectivity and realism -- Time : a contretemps -- Mind, body and representationalism -- Ethics and politics : theoretical and anti-theoretical approaches -- Problem(s) of other minds : solutions and dissolutions in analytic and continental philosophy -- Conclusion. (shrink)

The main result of this paper is the following theorem: each modal logic extendingK4 having the branching property belowm and the effective m-drop point property is decidable with respect to admissibility. A similar result is obtained for intermediate intuitionistic logics with the branching property belowm and the strong effective m-drop point property. Thus, general algorithmic criteria which allow to recognize the admissibility of inference rules for modal and intermediate logics of the above kind are found. These criteria are (...) applicable to most modal logics for which decidability with respect to admissibility is known and to many others, for instance, to the modal logicsK4,K4.1,K4.2,K4.3,S4.1,S4.2,GL.2; to all smallest and greatest counterparts of intermediate Gabbay-De-Jong logicsD n; to all intermediate Gabbay-De-Jong logicsD n; to all finitely axiomatizable modal and intermediate logics of finite depth etc. Semantic criteria for recognizing admissibility for these logics are offered as well. (shrink)

This book offers a new approach to the analysis of the multiple meanings of English modals, conjunctions, conditionals, and perception verbs. Although such ambiguities cannot easily be accounted for by feature-analyses of word meaning, Eve Sweetser's argument shows that they can be analyzed both readily and systematically. Meaning relationships in general cannot be understood independently of human cognitive structure, including the metaphorical and cultural aspects of that structure. Sweetser shows that both lexical polysemy and pragmatic ambiguity are shaped by (...) our metaphorical folk understanding of epistemic processes and of speech interaction. Similar regularities can be shown to structure the contrast among root, epistemic and speech act uses of modal verbs, multiple uses of conjunctions and conditionals, and certain processes of historical change observed in Indo-European languages. Since polysemy is typically the intermediate step in semantic change, the same regularities observable in polysemy can be extended to an analysis of semantic change. (shrink)

I survey a number of views about how we can obtain knowledge of modal propositions, propositions about necessity and possibility. One major approach is that whether a proposition or state of affairs is conceivable tells us something about whether it is possible. I examine two quite different positions that fall under this rubric, those of Yablo and Chalmers. One problem for this approach is the existence of necessary a posteriori truths and I deal with some of the ways in (...) which these authors respond to the problem, including the use of two-dimensional modal semantics. Conventionalism about modality offers a complementary approach to modal epistemology, prompting us to identify our knowledge of modal truths with our mastery of linguistic or conceptual conventions. Finally, I discuss an approach to modal epistemology deriving from David Lewis's work that seeks to identify structural features of the modal space over which necessity and possibility are defined. (shrink)

Controversy has arisen of late over the claim that deflationism about truth requires that we explain meaning in terms of something other than truth-conditions. This controversy, it is argued, is due to unclarity as to whether the basic deflationary claim that a sentence and a sentence that attributes truth to it are equivalent in meaning is intended to involve the truth-predicate of the object language for which we develop an account of meaning, or is intended to involve the truth-predicate of (...) the metalanguage in which we develop an account of meaning. The former view is compatible with the truth-conditional theory of meaning for the object language, the latter is incompatible with it. However, the former view is also trivially true; hence we should endorse the claim that any form of deflationism worth being interested in is incompatible with understanding meaning truth-conditionally. (shrink)

As McKinsey and Tarksi showed, the Stone representation theorem for Boolean algebras extends to algebras with operators to give topological semantics for (classical) propositional modal logic, in which the "necessity" operation is modeled by taking the interior of an arbitrary subset of a topological space. in this paper the topological interpretation is extended in a natural way to arbitrary theories of full first-order logic. The resulting system of S4 first-order modal logic is complete with respect to such topological (...) semantics. (shrink)