There are roughly two main understanding in philosophy of science: Epistemology of Science and Metaphysics of Science. It is examined that some concept such as Laws of Nature, Causation, Time and Space into the metaphysics of Science. In this paper, it has been studied laws of nature which is one the most important subjects in metaphysics of science. Let’s think outside the box, there are three significant views about laws of nature; Regularity Theory, Necessitation Theory and Dispositional Essential views. It (...) has been worked the views of David Lewis in regularity theory. In the section of nomic necessitation we have been scrutinised the arguments put forward by David Armstrong and finally the last section; it has been discussed Alexander Bird’s views of dispositional essentialism comparing with the other two aspects. (shrink)

When people want to identify the causes of an event, assign credit or blame, or learn from their mistakes, they often reflect on how things could have gone differently. In this kind of reasoning, one considers a counterfactual world in which some events are different from their real-world counterparts and considers what else would have changed. Researchers have recently proposed several probabilistic models that aim to capture how people do (or should) reason about counterfactuals. We present a new model and (...) show that it accounts better for human inferences than several alternative models. Our model builds on the work of Pearl (2000), and extends his approach in a way that accommodates backtracking inferences and that acknowledges the difference between counterfactual interventions and counterfactual observations. We present six new experiments and analyze data from four experiments carried out by Rips (2010), and the results suggest that the new model provides an accurate account of both mean human judgments and the judgments of individuals. (shrink)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable propositions, (...) and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter \textbf{2} argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal and hyperintensional cognitivism and modal and hyperintensional expressivism. I also develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. Chapter \textbf{3} provides an abstraction principle for epistemic (hyper-)intensions. Chapter \textbf{4} advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter \textbf{5} applies the fixed points of the modal $\mu$-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal $\mu$-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal $\mu$-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter \textbf{6} advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter \textbf{7} provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters \textbf{2} and \textbf{4} are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters \textbf{8-12} provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter \textbf{8} examines the interaction between my hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of $\Omega$-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter \textbf{9} examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest, too, that observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter \textbf{10} examines the philosophical significance of hyperintensional $\Omega$-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter \textbf{11} provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter \textbf{12} avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between interpretational and objective modalities and the truthmakers thereof. This yields the first hyperintensional category theory in the literature. I invent a new mathematical trick in which first-order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals in the category of Set in category theory. Chapter \textbf{13} examines modal responses to the alethic paradoxes. I provide a counter-example to epistemic closure for reductio proofs. Chapter \textbf{14} examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable propositions, (...) and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter \textbf{2} argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal and hyperintensional cognitivism and modal and hyperintensional expressivism. I also develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. Chapter \textbf{3} provides an abstraction principle for epistemic (hyper-)intensions. Chapter \textbf{4} advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter \textbf{5} applies the fixed points of the modal $\mu$-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal $\mu$-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal $\mu$-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter \textbf{6} advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter \textbf{7} provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters \textbf{2} and \textbf{4} are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters \textbf{8-12} provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter \textbf{8} examines the interaction between my hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of $\Omega$-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter \textbf{9} examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest, too, that observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter \textbf{10} examines the philosophical significance of hyperintensional $\Omega$-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter \textbf{11} provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter \textbf{12} avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between interpretational and objective modalities and the truthmakers thereof. This yields the first hyperintensional category theory in the literature. I invent a new mathematical trick in which first-order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals in the category of Set in category theory. Chapter \textbf{13} examines modal responses to the alethic paradoxes. I provide a counter-example to epistemic closure for reductio proofs. Chapter \textbf{14} examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

Let us call a statement of the form ‘If A was, is, or will be the case, then C was, is, or will be the case’ an indicative conditional. And let us call a statement of the form ‘If A had been, were, or were to be the case, then C would have been, would be, or would come to be the case’ a subjunctive, or counterfactual, conditional.

The platonism/nominalism debate in the philosophy of mathematics concerns the question whether numbers and other mathematical objects exist. Platonists believe the answer to be in the positive, nominalists in the negative. According to non-factualists, the question is ‘moot’, in the sense that it lacks a correct answer. Elaborating on ideas from Stephen Yablo, this article articulates a non-factualist position in the philosophy of mathematics and shows how the case for non-factualism entails that standard arguments for rival positions fail. In particular, (...) showing how and why non-factualists reject nominalism illuminates the originality and interest of their position. (shrink)

What is the proper way to draw the semantics-pragmatics distinction, and is what is said by a speaker ever enriched by pragmatics? An influential but controversial answer to the latter question is that the inputs to semantic interpretation contains representations of every contribution from context that is relevant to determining what is said, and that pragmatics never enriches the output of semantic interpretation. The proposal is bolstered by a controversial argument from syntactic binding designed to detect hidden syntactic structure. The (...) following contains an exposition and consideration of the argument. (shrink)

In the tradition of quantified modal logic, it was assumed that significantly different linguistic systems underlie reference to individuals, to times and to 'possible worlds'. Various results from recent research in formal semantics suggest that this is not so, and that there is in fact a pervasive symmetry between the linguistic means with which we refer to these three domains. Reference to individuals, times and worlds is uniformly effected through generalized quantifiers, definite descriptions, and pronouns, and in each domain grammatical (...) features situate the reference of terms as near, far or 'further' from the actual or from a reported speech act. We outline various directions in which a program of ontological symmetry could be developed, and we offer in the Appendix a symmetric fragment developed in a logic that can be seen as a compromise between an extensional and an intensional system. (shrink)

In the tradition of quantified modal logic, it was assumed that significantly different linguistic systems underlie reference to individuals, to times and to ‘possible worlds’. Various results from recent research in formal semantics suggest that this is not so, and that there is in fact apervasive symmetrybetween the linguistic means with which we refer to these three domains. Reference to individuals, times and worlds is uniformly effected through generalized quantifiers, definite descriptions, and pronouns, and in each domain grammatical features situate (...) the reference of terms as near, far or ‘further’ from the actual or from a reported speech act. We outline various directions in which a program ofontological symmetrycould be developed, and we offer in theAppendixa symmetric fragment developed in a logic that can be seen as a compromise between an extensional and an intensional system. (shrink)

We construct a Hilbert style system RPL for the notion of plausibility measure introduced by Halpern J, and we prove the soundness and completeness with respect to a neighborhood style semantics. Using the language of RPL, we demonstrate that it can define well-studied notions of necessity, conditionals and propositional identity.

John Hawthorne in a recent paper takes issue with Lewisian accounts of counterfactuals, when relevant laws of nature are chancy. I respond to his arguments on behalf of the Lewisian, and conclude that while some can be rebutted, the case against the original Lewisian account is strong. I develop a neo-Lewisian account of what makes for closeness of worlds. I argue that my revised version avoids Hawthorne's challenges. I argue that this is closer to the spirit of Lewis's first (non-chancy) (...) proposal than is Lewis's own suggested modification. (shrink)

John Hawthorne in a recent paper takes issue with Lewisian accounts of counterfactuals, when relevant laws of nature are chancy. I respond to his arguments on behalf of the Lewisian, and conclude that while some can be rebutted, the case against the original Lewisian account is strong.I develop a neo-Lewisian account of what makes for closeness of worlds. I argue that my revised version avoids Hawthorne’s challenges. I argue that this is closer to the spirit of Lewis’s first (non-chancy) proposal (...) than is Lewis’s own suggested modification. (shrink)

The most controversial condition that the AGM theory of rational belief change places on belief contraction is the recovery condition. The condition is controversial because of a series of putative counterexamples due (separately) to I. Levi and S. O. Hansson. In this paper we show that the conflicts that Levi and Hansson arrange between AGM contraction and our intuitions about how to give up beliefs are merely apparent. We argue that these conflicts disappear once we attend more closely to the (...) identification of the beliefs contracted away in each counterexample case. Since, on our view, speakers" belief contraction intentions are often more complicated than they may first appear, we are led to develop apparatus for thinking about the communication and identification of those intentions. Our argument refocuses attention on the difficult question of how to apply the AGM theory to particular cases. (shrink)

The most controversial condition that the AGM theory of rational belief change places on belief contraction is the recovery condition. The condition is controversial because of a series of putative counterexamples due (separately) to I. Levi and S. O. Hansson. In this paper we show that the conflicts that Levi and Hansson arrange between AGM contraction and our intuitions about how to give up beliefs are merely apparent. We argue that these conflicts disappear once we attend more closely to the (...) identification of the beliefs contracted away in each counterexample case. Since, on our view, speakers' belief contraction intentions are often more complicated than they may first appear, we are led to develop apparatus for thinking about the communication and identification of those intentions. Our argument refocuses attention on the difficult question of how to apply the AGM theory to particular cases. (shrink)

Using the mathematical frameworks of economic preference ranking, subjective probability, and rational learning through empirical evidence, the epistemological implications of teleological ethical intuitionism are pointed out to the extent to which the latter is based on cognitivist and objectivist concepts of value. The notions of objective value and objective norm are critically analysed with reference to epistemological criteria of intersubjectively shared valuative experience. It is concluded that one cannot meaningfully postulate general material theories of morality that could be tested, confirmed (...) or refuted by intersubjective empirical evidence of preferences and values, however loosely the empirical evidence of values may be interpreted. This situation is explained with reference to the ways in which preceived values become systematically influenced by the concomitants of individual valuative experience, but which have nothing to do with contingent subjective interests. (shrink)

– The paper defends a naturalistic version of modal actualism according to which what is metaphysically possible is determined by dispositions found in the actual world. We argue that there is just one world—this one—and that all genuine possibilities are anchored by the dispositions exemplified in this world. This is the case regardless of whether or not those dispositions are manifested. As long as the possibility is one that would obtain were the relevant disposition manifested, it is a genuine possibility. (...) Furthermore, by starting from actual dispositional properties and branching out, we are able to include possibilities that are quite far removed from any state of affairs that happens to obtain, while still providing a natural and actual grounding of possibility. Stressing the importance of ontological considerations in any theory of possibility, it is argued that the account of possibility in terms of dispositional properties provides a more palatable ontology than those of its competitors. Coming at it from the other direction, the dispositional account of possibility also provides motivation for taking an ontology of dispositions more seriously. As well as the relevant dispositional notions required to lay out the view, the paper discusses the dispositional realism needed as the basis for the account of possibility. (shrink)

I show that Armstrong’s view of laws as second-order contingent relations of ‘necessitation’ among categorical properties faces a dilemma. The necessitation relation confers a relation of extensional inclusion (‘constant conjunction’) on its relata. It does so either necessarily or contingently. If necessarily, it is not a categorical relation (in the relevant sense). If contingently, then an explanation is required of how it confers extensional inclusion. That explanation will need to appeal to a third-order relation between necessitation and extensional inclusion. The (...) same dilemma reappears at this level. Either Armstrong must concede that some properties are not categorical but have essential powers – or he is faced with a regress. (shrink)

: Among the current philosophical accounts of causation two are the most prominent. The first is James Woodward's interventionist counterfactual approach; the second is the mechanistic approach advocated by Peter Machamer, Lindley Darden, Carl Craver, Jim Bogen and Stuart Glennan. Thecounterfactual approach takes it that causes make a difference to their effects, where this difference-making is cashed out in terms of actual and counterfactual interventions. The mechanistic approach takes it that two events are causally related if and only if there (...) is a mechanism that connects them. In this paper I examine them both in some detail. After pointing out some important problems that both approaches face, I argue that there is a sense in which the counterfactual approach is more basic than the mechanistic one in that a proper account of mechanisms depends on counterfactuals while counterfactuals need not be supported (or depend on) mechanisms. Nonetheless, I also argue that if both approaches work in tandem in practice, they can offer us a better understanding of aspects of Hume's secret connexion and hence a glimpse of it. (shrink)

There is a strong pull to the idea that there is some metaphysically interesting distinction between the fully real, objective, observer-independent qualities of things as they are in themselves, and the less-than-fully-real, subjective, observer-dependent qualities of things as they are for us. Call this (putative) distinction the primary/secondary quality distinction. The distinction between primary and secondary qualities is philosophically interesting because it is (a) often quite attractive to draw such a distinction, and (b) incredibly hard to spell it out in (...) any kind of satisfying and sensible way. I attempt such a spelling-out after first trying to pin down in more detail what we want from the primary/secondary quality distinction, and saying a bit about why that is such a hard thingto get. (shrink)

It is argued thatde dicto andde re beliefs are attitudes towards syntactically structured entities (sentences) in the head. In order to identify the content of ade dicto orde re belief, we must be able to match causal relations of belief states to natural language inferences. Such match-ups provide sufficient empirical justification for regarding those causal relations as syntactic transformations, that is, inferences. But only syntactically structured entities are capable of enjoying such inferential relations. Hence,de dicto andde re beliefs must be (...) syntactically structured. Given that beliefs are also brain states, it follows that they are sentences in the brain. The argument presented here is shown to be an improvement over similar arguments advanced by Harman and Fodor. (shrink)

This article presents a trope bundle theory of simple substances, the Strong Nuclear Theory[SNT] building on the schematic basis offered by Simons's (1994) Nuclear Theory[NT]. The SNT adopts Ellis's (2001) dispositional essentialist conception of simple substances as powerful particulars: all of their monadic properties are dispositional. Moreover, simple substances necessarily belong to some natural kind with a real essence formed by monadic properties. The SNT develops further the construction of substances the NT proposes to obtain an adequate trope bundle theory (...) of powerful particulars. The SNT allows for co-located powerful particulars. However, every powerful particular is necessarily co-located with its constituent tropes, which determine its causal powers. Every constituent trope of substance i is part of a trope aggregate (the n-bundle or c-bundle) that forms an individual figuring in the basic spatio-temporal relations. The location of these individuals determines the location of individual tropes. Since they are necessarily co-located with substance i when they exist, every trope t of i is necessarily co-located with i when it exits. Every simple substance has nuclear tropes necessary to it. It belongs to certain primary natural kind K because its nuclear tropes belong to certain distinct determinate kinds. (shrink)

What are ceteris paribus laws? Which disciplines appeal to cp laws and which semantics, metaphysical underpinning, and epistemological dimensions do cp law statements have? Firstly, we give a short overview of the recent discussion on cp laws, which addresses these questions. Secondly, we suggest that given the rich and diverse literature on cp laws a broad conception of cp laws should be endorsed which takes into account the different ways in which laws can be non-universal . Finally, we provide an (...) overview of the special issue on that basis and describe the individual contributions to the special issue according to the issues they address: the range of applications of cp laws as well as the semantics, metaphysics, and epistemology pertaining to cp law statements. (shrink)

1 Logic in philosophy The century that was Logic has played an important role in modern philosophy, especially, in alliances with philosophical schools such as the Vienna Circle, neopositivism, or formal language variants of analytical philosophy. The original impact was via the work of Frege, Russell, and other pioneers, backed up by the prestige of research into the foundations of mathematics, which was fast bringing to light those amazing insights that still impress us to-day. The Golden Age of the 1930s (...) deeply affected philosophy, and heartened the minority of philosophers with a formalanalytical bent. As Brand Blanshard writes in Reason and Analysis (1964) – I quote from memory here, to avoid the usual disappointment when re-reading an original text. (shrink)

It is argued that one can learn from minimal economic models. Minimal models are models that are not similar to the real world, do not resemble some of its features, and do not adhere to accepted regularities. One learns from a model if constructing and analysing the model affects one’s confidence in hypotheses about the world. Economic models, I argue, are often assessed for their credibility. If a model is judged credible, it is considered to be a relevant possibility. Considering (...) such relevant possibilities may affect one’s confidence in necessity or impossibility hypotheses. Thus, one can learn from minimal economic models. (shrink)

In this essay I renew the case for Conditional Excluded Middle in light of recent developments in the semantics of the subjunctive conditional. I argue that Michael Tooley's recent backward causation counterexample to the Stalnaker-Lewis comparative world similarity semantics undermines the strongest argument against CXM, and I offer a new, principled argument for the validity of CXM that is in no way undermined by Tooley's counterexample. Finally, I formulate a simple semantics for the subjunctive conditional that is consistent with both (...) CXM and Tooley's counterexample. (shrink)

The distinction between rules and similarity is central to our understanding of much of cognitive psychology. Two aspects of existing research have motivated the present work. First, in different cognitive psychology areas we typically see different conceptions of rules and similarity; for example, rules in language appear to be of a different kind compared to rules in categorization. Second, rules processes are typically modeled as separate from similarity ones; for example, in a learning experiment, rules and similarity influences would be (...) described on the basis of separate models. In the present article, I assume that the rules versus similarity distinction can be understood in the same way in learning, reasoning, categorization, and language, and that a unified model for rules and similarity is appropriate. A rules process is considered to be a similarity one where only a single or a small subset of an object's properties are involved. Hence, rules and overall similarity operations are extremes in a single continuum of similarity operations. It is argued that this viewpoint allows adequate coverage of theory and empirical findings in learning, reasoning, categorization, and language, and also a reassessment of the objectives in research on rules versus similarity. Key Words: categorization; cognitive explanation; language; learning; reasoning; rules; similarity. (shrink)

I argue that the suppositional view of conditionals, which is quite popular for indicative conditionals, extends also to subjunctive or counterfactual conditionals. According to this view, conditional judgements should not be construed as factual, categorical judgements, but as judgements about the consequent under the supposition of the antecedent. The strongest evidence for the view comes from focusing on the fact that conditional judgements are often uncertain; and conditional uncertainty, which is a well-understood notion, does not function like uncertainty about matters (...) of fact. I argue that the evidence for this view is as strong for subjunctives as it is for indicatives. (shrink)

As cause we often specify an event the occurrence of which first guaranteed that of the effect. This notion is explicated in a framework of branching worlds in Sections I to V. VI and VII point out its close relations to the concept of an agent's bringing about an event. The topic of the last two sections is the distinction between causes and necessary circumstances. For this purpose conditionals are used, interpreted with respect to branching worlds without a similarity relation (...) between them. (shrink)

We model three examples of beliefs that agents may have about other agents' beliefs, and provide motivation for this conceptualization from the theory of mind literature. We assume a modal logical framework for modelling degrees of belief by partially ordered preference relations. In this setting, we describe that agents believe that other agents do not distinguish among their beliefs ('no preferences'), that agents believe that the beliefs of other agents are in part as their own ('my preferences'), and the special (...) case that agents believe that the beliefs of other agents are exactly as their own ('preference refinement'). This multi-agent belief interaction is frame characterizable. We provide examples for introspective agents. We investigate which of these forms of belief interaction are preserved under three common forms of belief revision. (shrink)

Essay review of John Carroll's book, _Laws of Nature_.

By analyzing the meaning of time I argue, without endorsing operationalism, that time is necessarily related to physical systems which can serve as clocks. This leads to a version of relationism about time which entails that there is no time 'before' the universe. Three notions of metaphysical 'time' (associated, respectively, with time as a mathematical concept, substantivalism, and modal relationism) which might support the idea of time 'before' the universe are discussed. I argue that there are no good reasons to (...) believe that metaphysical 'time' can be identified with what we ordinarily call time. I also briefly review and criticize the idea of time 'before' the big bang, associated with some recent speculative models in modern cosmology, and I argue that if the big bang model is a (roughly) correct description of our universe, then the best current answer to the question in the title is that time did have a beginning. (shrink)

There has been considerable debate regarding the relative merits of two theses about moral obligation known as actualism and possibilism. Both theses seek to give expression to the general idea that one ought to do the best one can. According to actualism, one’s obligations turn on what would happen if one chose some course of action, whereas, according to possibilism, they turn on what could happen if one chose some course of action. There are two strands to the debate: the (...) substantive verdicts that the two theses render in particular cases, and the accounts that they yield of the conceptual structure of moral obligation. Possibilism is conceptually appealing, whereas actualism is not, but the latter may seem to render superior substantive verdicts. In this paper, it is argued that, by turning from the objectivist’s emphasis on what is actually best to the prospectivist’s emphasis on what one’s evidence indicates is best, possibilists can provide an account of moral obligation that is both conceptually and substantively attractive. (shrink)

The paper is about the interpretation of opaque verbs like “seek”, “owe”, and “resemble” which allow for unspecific readings of their (indefinite) objects. It is shown that the following two observations create a problem for semantic analysis: (a) The opaque position is upward monotone: “John seeks a unicorn” implies “John seeks an animal”, given that “unicorn” is more specific than “animal”. (b) Indefinite objects of opaque verbs allow for higher-order, or “underspecific”, readings: “Jones is looking for something Smith is looking (...) for” can express that there is something unspecific that both Jones and Smith are looking for. Given (a) and (b), it would seem that the following inference is hard to escape, if the premisses are construed unspecifically and the conclusion is taken on its under- specific reading: Jones is looking for a sweater. Smith is looking for a pen. Smith is looking for something Jones is looking for. (shrink)

Meinertsen has recently put forward three arguments against disjunctive properties: the arguments from truthmaking, commonality, and causation. In this paper, I argue that all three arguments fail. The argument from truthmaking rests on the problematic notion of different types of truthmakers and is therefore itself problematic. The argument from commonality may hold but only at the cost of losing much of the philosophical significance of its conclusion. The argument from causation essentially collapses into the argument from truthmaking and is therefore (...) problematic for the same reason as the latter is. I conclude that Meinertsen has not made a case against disjunctive properties. (shrink)

The safety principle is the view that, roughly, if one knows that p, p could not easily have been false. It is common for safety theorists to relativize safety to belief-formation methods. In this paper, I argue that there is no fixed principle of method-individuation that can stand up to scrutiny. I examine various ways to individuate methods and argue that all of them are subject to serious counterexamples. In the end, I conclude by considering some alternative ways to preserve (...) the insight behind safety without invoking a fixed principle of method-individuation. (shrink)

We examine a formal semantics for counterfactual conditionals due to Judea Pearl, which formalizes the interventionist interpretation of counterfactuals central to the interventionist accounts of causation and explanation. We show that a characteristic principle validated by Pearl’s semantics, known as the principle of reversibility, states a kind of irreversibility: counterfactual dependence (in David Lewis’s sense) between two distinct events is irreversible. Moreover, we show that Pearl’s semantics rules out only mutual counterfactual dependence, not cyclic dependence in general. This, we argue, (...) suggests that Pearl’s logic is either too weak or too strong. (shrink)

In the artificial intelligence literature a promising approach to counterfactual reasoning is to interpret counterfactual conditionals based on causal models. Different logics of such causal counterfactuals have been developed with respect to different classes of causal models. In this paper I characterize the class of causal models that are Lewisian in the sense that they validate the principles in Lewis’s well-known logic of counterfactuals. I then develop a system sound and complete with respect to this class. The resulting logic is (...) the weakest logic of causal counterfactuals that respects Lewis’s principles, sits in between the logic developed by Galles and Pearl and the logic developed by Halpern, and stands to Galles and Pearl’s logic in the same fashion as Lewis’s stands to Stalnaker’s. (shrink)

The idea of fragmentalism has been proposed by Kit Fine as a non-standard view of tense realism. This paper examines a modal version of the view, called modal fragmentalism, which combines genuine realism and realism of modality. Modal fragmentalism has been recently discussed by Iaquinto. But unlike Iaquinto, who primarily focused on possibilities de re, in this paper, we focus on expressions of possibilities de dicto. We argue that the chief idea of modal realism should be that different worlds are (...) distinguished not just in terms of how things are differently with respect to each world, but also in terms of how things could have been differently with respect to each world. This demands a realism-oriented semantics for suppositional contents, and more specifically, for conditionals. By deploying a multidimensional semantics for conditionals, we show that there are good reasons to consider modal fragmentalism as a serious approach in metaphysics, which shares many similarities with the fragmentalism of tense. (shrink)

The paper argues against Sosa’s claim that sensitivity cannot be differentially supported over safety as the right requirement for knowledge. Its main contention is that, although all sensitive beliefs that should be counted as knowledge are also safe, some insensitive true beliefs that shouldn’t be counted as knowledge are nevertheless safe.

The foregoing set of theorems forms an effective foundation for the theory of situations and worlds. All twenty-five theorems seem to be basic, reasonable principles that structure the domains of properties, relations, states of affairs, situations, and worlds in true and philosophically interesting ways. They resolve 15 of the 19 choice points defined in Barwise (1989) (see Notes 22, 27, 31, 32, 35, 36, 39, 43, and 45). Moreover, important axioms and principles stipulated by situation theorists are derived (see Notes (...) 33, 37, and 38). This is convincing evidence that the foregoing constitutes a theory of situations. Note that worlds are just a special kind of situation, and that the basic theorems of world theory, which were derived in previous work, can still be derived in this situation-theoretic setting. So there seems to be no fundamental incompatibility between situations and worlds — they may peacably coexist in the foundations of metaphysics. The theory may therefore reconcile two research programs that appeared to be heading off in different directions. And we must remind the reader that the general metaphysical principles underlying our theory were not designed with the application to situation theory in mind. This suggests that the general theory and the underlying distinction have explanatory power, for they seem to relate and systematize apparently unrelated phenomena. (shrink)

In the debate about the nature and identity of possible worlds, philosophers have neglected the parallel questions about the nature and identity of moments of time. These are not questions about the structure of time in general, but rather about the internal structure of each individual time. Times and worlds share the following structural similarities: both are maximal with respect to propositions (at every world and time, either p or p is true, for every p); both are consistent; both are (...) closed (every modal consequence of a proposition true at a world is also true at that world, and every tense-theoretic consequence of a proposition true at a time is also true at that time); just as there is a unique actual world, there is a unique present moment; and just as a proposition is necessarily true iff true at all worlds, a proposition is eternally true iff true at all times. In this paper, I show that a simple extension of my theory of worlds yields a theory of times in which the above structural similarities between the two are consequences. (shrink)

Lange issues a novel challenge to philosophical accounts of laws of nature. He notes that the laws of nature seem to be themselves governed by laws analogous to the way that the laws govern particular facts. These higher order laws are the meta-laws of nature. He claims that if a philosophical account of laws aims to accurately characterize the laws, it should be able to account for these meta-laws. To generalize this challenge, I introduce the notion of roles played by (...) laws of nature according to a philosophical account, and identify a number of salient roles. I then apply Lange’s challenge to two views: the regularity view and the universals view. I argue that the regularity view may be able to meet the generalized version of Lange’s challenge, and that the universals view is able to meet the challenge. 1 Meta-laws2 Lange’s Challenge3 The Roles Played by Laws and Meta-laws4 Meta-laws and the Regularity View5 Meta-laws and the Universals View6 Summary and Conclusion. (shrink)

Newman’s objection is sometimes taken to be a fatal objection to structural realism (SR). However, ambiguity in the definition of “structure” allows for versions that do not succumb to Newman’s objection. In this paper, I consider some versions of SR that maintain an abstract notion of structure yet avoid Newman’s objection. In particular, I consider versions suggested by Melia and Saatsi. They reject a solution that restricts the domain of the second-order quantifiers, and argue in favor of buttressing the language (...) with intensional operators such as “it is physically necessary that...”. I argue that their favored solution effectively requires the former suggestion that they reject. This argument suggests that a notion of natural properties may be indispensable to SR. (shrink)