In this book Alan Haworth tends to sneer at libertarians. However, there are, I believe, a few sound criticisms. I have always held similar opinions of Murray Rothbard‟s and Friedrich Hayek‟s definitions of liberty and coercion, Robert Nozick‟s account of natural rights, and Hayek‟s spontaneous-order arguments. I urge believers of these positions to read Haworth. But I don‟t personally know many libertarians who believe them (or who regard Hayek as a libertarian).

If the world itself is metaphysically indeterminate in a specified respect, what follows? In this paper, we develop a theory of metaphysical indeterminacy answering this question.

Suppose that you're certain that a certain sentence, e.g. "Frida is tall", lacks a determinate truth value. What cognitive attitude should you take towards it—reject it, suspend judgment, or what else? We show that, by adopting a seemingly plausible principle connecting credence in A and Determinately A, we can prove a very implausible answer to this question: i.e., all indeterminate claims should be assigned credence zero. The result is striking similar to so-called triviality results in the literature on modals and (...) conditionals. (shrink)

Might it be that world itself, independently of what we know about it or how we represent it, is metaphysically indeterminate? This article tackles in turn a series of questions: In what sorts of cases might we posit metaphysical indeterminacy? What is it for a given case of indefiniteness to be 'metaphysical'? How does the phenomenon relate to 'ontic vagueness', the existence of 'vague objects', 'de re indeterminacy' and the like? How might the logic work? Are there reasons for postulating (...) this distinctive sort of indefiniteness? Conversely, are there reasons for denying that there is indefiniteness of this sort? (shrink)

Inscrutability arguments threaten to reduce interpretationist metasemantic theories to absurdity. Can we find some way to block the arguments? A highly influential proposal in this regard is David Lewis’ ‘ eligibility ’ response: some theories are better than others, not because they fit the data better, but because they are framed in terms of more natural properties. The purposes of this paper are to outline the nature of the eligibility proposal, making the case that it is not ad hoc, but (...) instead flows naturally from three independently motivated elements; and to show that severe limitations afflict the proposal. In conclusion, I pick out the element of the eligibility response that is responsible for the limitations: future work in this area should therefore concentrate on amending this aspect of the overall theory. (shrink)

Standard Type Theory, STT, tells us that b^n(a^m) is well-formed iff n=m+1. However, Linnebo and Rayo have advocated the use of Cumulative Type Theory, CTT, has more relaxed type-restrictions: according to CTT, b^β(a^α) is well-formed iff β > α. In this paper, we set ourselves against CTT. We begin our case by arguing against Linnebo and Rayo’s claim that CTT sheds new philosophical light on set theory. We then argue that, while CTT ’s type-restrictions are unjustifiable, the type-restrictions imposed by (...) STT are justified by a Fregean semantics. What is more, this Fregean semantics provides us with a principled way to resist Linnebo and Rayo’s Semantic Argument for CTT. We end by examining an alternative approach to cumulative types due to Florio and Jones; we argue that their theory is best seen as a misleadingly formulated version of STT. (shrink)

Lewis (1973) gave a short argument against conditional excluded middle, based on his treatment of ‘might’ counterfactuals. Bennett (2003), with much of the recent literature, gives an alternative take on ‘might’ counterfactuals. But Bennett claims the might-argument against CEM still goes through. This turns on a specific claim I call Bennett’s Hypothesis. I argue that independently of issues to do with the proper analysis of might-counterfactuals, Bennett’s Hypothesis is inconsistent with CEM. But Bennett’s Hypothesis is independently objectionable, so we should (...) resolve this tension by dropping the Hypothesis, not by dropping CEM. (shrink)

Worlds where things divide forever ("gunk" worlds) are apparently conceivable. The conceivability of such scenarios has been used as an argument against "nihilist" or "near-nihilist" answers to the special composition question. I argue that the mereological nihilist has the resources to explain away the illusion that gunk is possible.

Joyce (1998) gives an argument for probabilism: the doctrine that rational credences should conform to the axioms of probability. In doing so, he provides a distinctive take on how the normative force of probabilism relates to the injunction to believe what is true. But Joyce presupposes that the truth values of the propositions over which credences are defined are classical. I generalize the core of Joyce’s argument to remove this presupposition. On the same assumptions as Joyce uses, the credences of (...) a rational agent should always be weighted averages of truth value assignments. In the special case where the truth values are classical, the weighted averages of truth value assignments are exactly the probability functions. But in the more general case, probabilistic axioms formulated in terms of classical logic are violated—but we will show that generalized versions of the axioms formulated in terms of non-classical logics are satisfied. (shrink)

Jeff Paris proves a generalized Dutch Book theorem. If a belief state is not a generalized probability then one faces ‘sure loss’ books of bets. In Williams I showed that Joyce’s accuracy-domination theorem applies to the same set of generalized probabilities. What is the relationship between these two results? This note shows that both results are easy corollaries of the core result that Paris appeals to in proving his dutch book theorem. We see that every point of accuracy-domination defines a (...) dutch book, but we only have a partial converse. (shrink)

The view that it is better for life to be created free of disability is pervasive in both common sense and philosophy. We cast doubt on this view by focusing on an influential line of thinking that manifests it. That thinking begins with a widely-discussed principle, Procreative Beneficence, and draws conclusions about parental choice and disability. After reconstructing two versions of this argument, we critique the first by exploring the relationship between different understandings of well-being and disability, and the second (...) by more briefly focusing on the idea of a significant reason. By placing these results against the broader historical and ongoing contexts in which the lives of those with disabilities have been deemed of inferior quality, we conclude with a call for greater humility about disability and well-being in thought and practice. (shrink)

Knowledge implies the presence of a positive relation between a person and a fact. Factual ignorance, on the other hand, implies the absence of some positive relation between a person and a fact. The two most influential views of ignorance hold that what is lacking in cases of factual ignorance is knowledge or true belief, but these accounts fail to explain a number of basic facts about ignorance. In their place, we propose a novel and systematic defense of the view (...) that factual ignorance is the absence of awareness, an account that both comes apart from the dominant views and overcomes their deficiencies. Given the important role that ignorance plays in moral and legal theory and our understanding of various epistemic injustices, a precise and theoretically unproblematic account of the nature of ignorance is important not only for normative epistemology, but also for law, ethics, and applied epistemology. (shrink)

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

The question of the cognitive role of fictionality is this: what is the correct cognitive attitude to take to p, when it is fictional that p? We began by considering one answer to this question, implicit in the work of Kendall Walton, that the correct response to a fictional proposition is to imagine that proposition. However, this approach is silent in cases of fictional incompleteness, where neither p nor its negation are fictional. We argue that that Waltonians should embrace a (...) pluralistic account of the cognitive role of fictional incompleteness: in some cases of fictional incompleteness, we are permitted to resolve the incompleteness during our engagement with the target fiction, and in other cases, we are obliged not to resolve the incompleteness. But though pluralism is accommodated by Walton’s wider account of fictionality, it puts tension on his motivating idea that fictionality stands to the imagination as truth stands to belief. And so we develop a rival conception of the cognitive role of fictionality that is built around a different analogy: on this evidentialist approach, (known) fictionality stands to the imagination as evidence stands to credence. (shrink)

I outline and motivate a way of implementing a closest world theory of indicatives, appealing to Stalnaker's framework of open conversational possibilities. Stalnakerian conversational dynamics helps us resolve two outstanding puzzles for a such a theory of indicative conditionals. The first puzzle -- concerning so-called 'reverse Sobel sequences' -- can be resolved by conversation dynamics in a theoryneutral way: the explanation works as much for Lewisian counterfactuals as for the account of indicatives developed here. Resolving the second puzzle, by contrast, (...) relies on the interplay between the particular theory of indicative conditionals developed here and Stalnakerian dynamics. The upshot is an attractive resolution of the so-called "Gibbard phenomenon" for indicative conditionals. (shrink)

Universals are putative objects like wisdom, morality, redness, etc. Although we believe in properties (which, we argue, are not a kind of object), we do not believe in universals. However, a number of ordinary, natural language constructions seem to commit us to their existence. In this paper, we provide a fictionalist theory of universals, which allows us to speak as if universals existed, whilst denying that any really do.

Do factive mental states come in degrees? If so, what is their underlying structure, and what is their theoretical significance? Many have observed that ‘knows that’ is not a gradable verb and have taken this to be strong evidence that propositional knowledge does not come in degrees. This paper demonstrates that the adjective ‘aware that’ passes all the standard tests of gradability, and thus strongly motivates the idea that it refers to a factive mental state that comes in degrees. We (...) will explore a range of structural questions that have been overlooked in regard to our awareness of facts, showing that the degreed structure of awareness has significant implications for our understanding of knowledge. (shrink)

There are advantages to thrift over honest toil. If we can make do without numbers we avoid challenging questions over the metaphysics and epistemology of such entities; and we have a good idea, I think, of what a nominalistic metaphysics should look like. But minimizing ontology brings its own problems; for it seems to lead to error theory— saying that large swathes of common-sense and best science are false. Should recherche philosophical arguments really convince us to give all this up? (...) Such Moorean considerations are explicitly part of the motivation for the recent resurgence of structured metaphysics, which allow a minimal (perhaps nominalistic) fundamental ontology, while avoiding error-theory by adopting a permissive stance towards ontology that can be argued to be grounded in the fundamental. This paper evaluates the Moorean arguments, identifying key epistemological assumptions. On the assumption that Moorean arguments can be used to rule out error-theory, I examine deflationary ‘representationalist’ rivals to the structured metaphysics reaction. Quinean paraphrase, fictionalist claims about syntax and semantics are considered and criticized. In the final section, a ‘direct’ deflationary strategy is outlined and the theoretical obligations that it faces are articulated. The position advocated may have us talking a lot like a friend of structured metaphysics—but with a very different conception of what we’re up to. (shrink)

This chapter defends the account of metaphysical indeterminacy of Barnes and Williams against Eklund's objections.

Some argue that theories of universals should incorporate structural universals, in order to allow for the metaphysical possibility of worlds of 'infinite descending complexity' ('onion worlds'). I argue that the possibility of such worlds does not establish the need for structural universals. So long as we admit the metaphysical possibility of emergent universals, there is an attractive alternative description of such cases.

A far-reaching and influential view in evolutionary biology claims that species are cohesive units held together by gene flow. Biologists have recognized empirical problems facing this view; after sharpening the expression of the view, we present novel conceptual problems for it. At the heart of these problems is a distinction between two importantly different concepts of cohesion, what we call integrative and response cohesion. Acknowledging the distinction problematizes both the explanandum of species cohesion and the explanans of gene flow that (...) are central to the view we discuss. We conclude by tracing four broader implications for the study and conceptualization of species. (shrink)

The idea that qualities can be had partly or to an intermediate degree is controversial among contemporary metaphysicians, but also has a considerable pedigree among philosophers and scientists. In this paper, we first aim to show that metaphysical sense can be made of this idea by proposing a partial taxonomy of metaphysical accounts of graded qualities, focusing on three particular approaches: one which explicates having a quality to a degree in terms of having a property with an in-built degree, another (...) based on the idea that instantiation admits of degrees, and a third which derives the degree to which a quality is had from the aspects of multi-dimensional properties. Our second aim is to demonstrate that the choice between these accounts can make a substantial metaphysical difference. To make this point, we rely on two case studies (involving quantum observables and values) in which we apply the accounts in order to model apparent cases of metaphysical gradedness. (shrink)

The 1994 US spectrum auction is now a paradigmatic case of the successful use of microeconomic theory for policy-making. We use a detailed analysis of it to review standard accounts in philosophy of science of how idealized models are connected to messy reality. We show that in order to understand what made the design of the spectrum auction successful, a new such account is required, and we present it here. Of especial interest is the light this sheds on the issue (...) of progress in economics. In particular, it enables us to get clear on exactly what has been progressing, and on exactly what theory has – and has not – contributed to that. This in turn has important implications for just what it is about economic theory that we should value. (shrink)

A vexing problem in contemporary epistemology—one with origins in Plato’s Meno—concerns the value of knowledge, and in particular, whether and how the value of knowledge exceeds the value of mere true opinion. The recent literature is deeply divided on the matter of how best to address the problem. One point, however, remains unquestioned: that if a solution is to be found, it will be at the personal level, the level at which states of subjects or agents, as such, appear. We (...) take exception to this orthodoxy, or at least to its unquestioned status. We argue that subpersonal states play a significant—arguably, primary—role in much epistemically relevant cognition and thus constitute a domain in which we might reasonably expect to locate the “missing source” of epistemic value, beyond the value attached to mere true belief. (shrink)

For the greater part of the last 50 years, it has been common for philosophers of mind and cognitive scientists to invoke the notion of realization in discussing the relationship between the mind and the brain. In traditional philosophy of mind, mental states are said to be realized, instantiated, or implemented in brain states. Artificial intelligence is sometimes described as the attempt either to model or to actually construct systems that realize some of the same psychological abilities that we and (...) other living creatures possess. The claim that specific psychological. (shrink)

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

A common objection to Sosa’s epistemology is that it countenances, in an objectionable way, unsafe knowledge. This objection, under closer inspection, turns out to be in far worse shape than Sosa’s critics have realised. Sosa and his defenders have offered two central response types to the idea that allowing unsafe knowledge is problematic: one response type adverts to the animal/reflective knowledge distinction that is characteristic of bi-level virtue epistemology. The other less-discussed response type appeals to the threat of dream scepticism, (...) and in particular, to the idea that many of our everyday perceptual beliefs are unsafe through the nearness of the dream possibility. The latter dreaming response to the safety objection to Sosa’s virtue epistemology has largely flown under the radar in contemporary discussions of safety and knowledge. We think that, suitably articulated in view of research in the philosophy and science of dreaming, it has much more going for it than has been appreciated. This paper further develops, beyond what Sosa does himself, the dreaming argument in response to those who think safety (as traditionally understood) is a condition on knowledge and who object to Sosa’s account on the grounds that it fails this condition. The payoffs of further developing this argument will be not only a better understanding of the importance of insights about dreaming against safety as a condition on knowledge, but also some reason to think a weaker safety condition, one that is relativised to SSS (i.e., skill/shape/situation) conditions for competence exercise, gets better results all things considered as an anti-luck codicil on knowledge. (shrink)

Why should we be means-end rational? Why care whether someone’s mental states exhibit certain formal patterns, like the ones formalized in causal decision theory? This paper establishes a dominance argument for these constraints in a finite setting. If you violate the norms of causal decision theory, then your desires will be aptness dominated. That is, there will be some alternative set of desires that you could have had, which would be more apt (closer to the actual values fixed by your (...) sensibility/ what you intrinsically care about) no matter which world is actual. If we care about having apt desires, then, we should never let ourselves violate these norms of means-end rationality. This argument shares a form with now-standard accuracy arguments for probabilism, opening up a new terrain for that discussion. I show that the foundational assumptions about the shape of accuracy and of aptness required to run the arguments for means-end rationality and for probabilism run closely parallel. I show the argument is robust under different theories of subjective actual value, including nonclassical treatments of indeterminacy in actual value; I show the argument may (but need not!) be generalized to objective theories of value. The upshot is that aptness-domination arguments for decision theories should be added to the philosophical playbook. (shrink)

In the same spirit with the theme of last issue of this SGJ journal (“Ongoing creation”), this paper shortly reviews a plausible mechanism from Aether to become ordinary matter from the perspective of Neutrosophic Logic. We also discuss two other possible applications of Neutrosophic Logic, including a resolution of conflicting paradigms in medicine. We hope that some ideas as outlined herein will be proved useful in the near future.

In a recent paper, we describe how a model of quantum communication based on combining consciousness experiment and entanglement can serve as impetus to stop 5G-caused diseases. Therefore, in this paper we will discuss how entanglement can be explained in terms of quantum theory. This short review may be considered as an effort to bring QM into real problem solving, i.e. telecommunication.

Smarandache Hypothesis states that there is no speed limit of anything, including light and particles. While the idea is quite simple and based on known hypothesis of quantum mechanics, called Einstein-Podolski-Rosen paradox, in reality such a superluminal physics seems still hard to accept by majority of physicists. Here we review some experiments to support superluminal physics and also findings to explain Smarandache Quantum Paradoxes and Quantum Sorites Paradox. We also touch briefly on new experiment on magneton, supporting SubQuantum Kinetic Model (...) of Electron. (shrink)

We can use radically different reference‐schemes to generate the same truth‐conditions for the sentences of a language. In this paper, we do three things. (1) Distinguish two arguments that deploy this observation to derive different conclusions. The first argues that reference is radically indeterminate: there is no fact of the matter what ordinary terms refer to. This threat is taken seriously and most contemporary metasemantic theories come with resources intended to rebut it. The second argues for radical parochialism about reference: (...) it's a reflection of our parochial interests, rather than the nature of the subject matter, that our theorizing about language appeals to reference rather than another relation that generates the same truth‐conditions. Rebuttals of the first argument cut no ice against the second, because radical parochialism is compatible with reference being determinate. (2) Argue that radical parochialism, like radical indeterminacy, would be shocking if true. (3) Argue that the case for radical parochialism turns on the explanatory purposes of “reference”‐talk: on relatively “thin” conceptions, the argument goes through, and radical parochialism is (shockingly!) true; on richer conceptions, the argument can be blocked. We conclude that non‐revisionists must endorse, and justify, a relatively rich conception of the explanatory purposes of “reference”‐talk. (shrink)

People sometimes use speech to interfere with other people’s speech, as in the case of a heckler sabotaging a lecture with constant interjections. Some people claim that such interference infringes upon free speech. Against this view, we argue that where competing speakers in a public forum both have an interest in speaking, free speech principles should not automatically give priority to the ‘official’ speaker. Given the ideals underlying free speech, heckling speech sometimes deserves priority. But what can we say, then, (...) about situations in which heckling clearly seems to infringe upon people’s civil liberties, in a way that intuitively justifies intervention? In such cases, we argue, heckling infringes upon people’s associative freedom. We present and defend an ethical framework for the institutional management of ‘Speech Fights’, geared around this insight. (shrink)

How are permutation arguments for the inscrutability of reference to be formulated in the context of a Davidsonian truth-theoretic semantics? Davidson takes these arguments to establish that there are no grounds for favouring a reference scheme that assigns London to “Londres”, rather than one that assigns Sydney to that name. We shall see, however, that it is far from clear whether permutation arguments work when set out in the context of the kind of truth-theoretic semantics which Davidson favours. The principle (...) required to make the argument work allows us to resurrect Foster problems against the Davidsonian position. The Foster problems and the permutation inscrutability problems stand or fall together: they are one puzzle, not two. (shrink)

Claims about what justice “requires” and the “requirements” of justice are pervasive in political philosophy. However, there is a highly significant ambiguity in such claims that appears to have gone unnoticed. Such claims may pick out either one of two categorically distinct and noncoextensive kinds of requirement that we call 1) requirements-as-necessary-conditions for justice and 2) requirements-as-demands of justice. This is an especially compelling instance of an ambiguity that John Broome has famously observed in the context of claims about other (...) requirements (notably the requirements of rationality and morality). But it appears to have been overlooked by political philosophers in the case of claims about the requirements of justice. The ambiguity is highly significant inasmuch as failing to notice it is liable to distort our normative thinking about politics and make us vulnerable to certain kinds of normatively consequential errors: both mistakenly drawing inferences about what justice demands of us from claims that certain states or societies are not just; and mistakenly drawing inferences about what states or societies are or would be just from claims that justice does not demand of states or societies that they do certain things. Paying greater attention to the distinction between these two different kinds of requirements and the ways in which they come apart is helpful, not merely in avoiding these distortions and errors, but also in resolving, or at least clarifying, a number of other notoriously murky meta-normative debates, especially various important debates about realism and idealism in political philosophy. (shrink)

Ordinary language and scientific discourse are filled with linguistic expressions for dispositional properties such as “soluble,” “elastic,” “reliable,” and “humorous.” We characterize objects in all domains – physical objects as well as human persons – with the help of dispositional expressions. Hence, the concept of a disposition has historically and systematically played a central role in different areas of philosophy ranging from metaphysics to ethics. The contributions of this volume analyze the ancient foundations of the discussion about disposition, examine the (...) problem of disposition within the context of the foundation of modern science, and analyze this dispute up to the 20th century. Furthermore, articles explore the contemporary theories of dispositions. (shrink)

Inspired by the practice of dialogue in ancient philosophical schools, the Philosophy as a Way of Life (PWOL) Project at the University of Notre Dame has sought to put dialogue back at the center of philosophical pedagogy. Impromptu philosophical dialogue, however, can be challenging for students who are new to philosophy. Anticipating this challenge, the Project has created a series of manuals to help instructors conduct dialogue groups with novice philosophy students. Using these guidelines, we incorporated PWOL-style dialogue groups into (...) our Spring 2021 course “The Philosophy of Race, Class, and Gender” with the hope that, through having conversations about these challenging topics, our students would both be able to practice having philosophical dialogues as well as form their views on race and gender in light of contributions from their diverse peers. This article examines several strategies for how instructors can seek to incorporate similar dialogues into their own introductory classroom. (shrink)

This chapter examines two ways in which liberal thinkers have appealed to claims about disagreement in order to defend a principle of free speech. One argument, from Mill, says that free speech is a necessary condition for healthy disagreement, and that healthy disagreement is conducive to human flourishing. The other argument says that in a community of people who disagree about questions of value, free speech is a necessary condition of legitimate democratic government. We argue that both of these arguments, (...) in their standard guises, are premised upon contestable views about the realpolitik of disagreement in a liberal society. (shrink)

This paper investigates whether search engines and other new modes of online communication should be covered by free speech principles. It criticizes the analogical reason-ing that contemporary American courts and scholars have used to liken search engines to newspapers, and to extend free speech coverage to them based on that likeness. There are dissimilarities between search engines and newspapers that undermine the key analogy, and also rival analogies that can be drawn which don’t recommend free speech protection for search engines. (...) Partly on these bases, we argue that an analogical approach to questions of free speech coverage is of limited use in this context. Credible verdicts about how free speech principles should apply to new modes of online com-munication require us to re-excavate the normative foundations of free speech. This method for deciding free speech coverage suggests that only a subset of search engine outputs and similar online communication should receive special protection against government regulation. (shrink)

Does consciousness survive bodily death? This question remains a profound, perennial mystery. Although scientific studies have focused on out-of-body experiences (OBEs) and near-death experiences (NDEs), there is scant evidence to support the claim that consciousness survives death. Many speculative theories state that consciousness moves through various afterlife realities. Tantalizing clues are found in world religion, esoteric philosophy, extrasensory perception, hypnotic regression, and scientific experimentation. At the present time, there is an abundance of theoretical scholarly discourse on the topic of “survival.” (...) After 60 years of NDE research, common ground has been established from NDEers’ anecdotal evidence and perceptual experiences. (shrink)

Those who endorse the Psychological Continuity Approach (PCA) to analyzing personal identity need to impose a non-branching constraint to get the intuitively correct result that in the case of fission, one person becomes two. With the help of Brueckner's (2005) discussion, it is shown here that the sort of non-branching clause that allows proponents of PCA to provide sufficient conditions for being the same person actually runs contrary to the very spirit of their theory. The problem is first presented in (...) connection with perdurantist versions of PCA. The difficulty is then shown to apply to endurantist versions as well. (shrink)

Trivalence is quite natural for deontic action logic, where actions are treated as good, neutral or bad.We present the ideas of trivalent deontic logic after J. Kalinowski and its realisation in a 3-valued logic of M. Fisher and two systems designed by the authors of the paper: a 4-valued logic inspired by N. Belnap’s logic of truth and information and a 3-valued logic based on nondeterministic matrices. Moreover, we combine Kalinowski’s idea of trivalence with deontic action logic based on boolean (...) algebra. (shrink)

Depuis Kant, les philosophes ont appris à parler, avec prudence, du surnaturel et de sa relation avec la nature. En général le surnaturel n’est même pas reconnu comme faisant partie de la philosophie. La situation n’aurait pu être plus différente aux XVIIe-XVIIIe siècles, lorsque les philosophes comprenaient la relation entre Dieu et le monde comme l’un des problèmes les plus importants que la philosophie fût censé résoudre. Les solutions étaient bien sûr extrêmement diverses : Spinoza niera même que l’on puisse (...) faire la distinction entre principe créateur et création, tandis que d’autres, tel Robert Boyle, s’imagineront un maître horloger créant une machine absolument parfaite, qui depuis sa création ne requiert aucun acte supplémentaire de la part de son créateur. Jusque dans la pensée du jeune Kant, cette idée se rencontrera sous des formes diverses. Tous convenaient, tout de même, qu’il fallait rejeter l’ancien modèle aristotélicien d’une nature désirante, reconstruisant la nature comme un système reposant sur quelques lois fondamentales et repensant à nouveaux frais le rôle que Dieu peut, ou doit, jouer dans un tel système. Les contributions du présent volume traitent d’aspects historiques et systématiques des théories modernes de la nature et du surnaturel, tout en essayant de comprendre, dans ce contexte, l’importance des théories de la relation entre Dieu et le monde. (shrink)

We investigate a speci c model of knowledge and beliefs and their dynamics. The model is inspired by public announcement logic and the approach to puzzles concerning knowledge using that logic. In the model epistemic considerations are based on ontology. The main notion that constitutes a bridge between these two disciplines is the notion of epistemic capacities. Within the model we study scenarios in which agents can receive false announcements and can have incomplete or improper views about other agent's epistemic (...) capacities. Moreover, we try to express the description of problem speci cation using the tools from applied ontology { RDF format for information and the Protege editor. (shrink)

The goal of the article is to show that a complete answer to the title question can be given only in the context of the natural sciences. We believe that the group of cognitive sciences are the most reliable source of information about cognitive mental processes is. Making use of their achievements, we present a series of criteria for possessing a mind. We distinguish between many kinds of minds. We attempt to outline the conditions that must be fulfilled by an (...) adequate model of the mind. In our opinion, such a model must make use of all available empirical data and of scientific theories constructed on the basis of such data. From the point of view of philosophy, the requirements placed upon such theories by ontology are especially important. Their reconstruction can be a prolegomenon to a future integrated ontology of the mind. We emphasize that the mind is not an independent thing. In speaking about the mind we have in mind states, events, processes, functions, and dispositions that are derivative with respect to processes of a lower order. We assume that an adequate model of the mind is multi-dimensional, taking into account several mutually interacting levels of organization. We interpret the psychophysical problem as one of the relation between levels of organization, a relation that is constitutive for the actualization of mental states. Psychophysical relations turn out to be a particular case of the broader issue of relations between levels. In carrying out a preliminary conceptualization we make use of the notion of emergence; this is why our position, which is mainly in opposition to substantial dualism, may be termed emergent monism or naturalism. (shrink)

A large body of research has found that people judge bad foreseen side effects to be more intentional than good ones. While the standard interpretation of this Side-Effect Effect takes it to show that the ordinary concept of intentionality is influenced by normative considerations, a competing account holds that it is the result of pragmatic pressure to express moral censure and, thus, that the SEE is an experimental artifact. Attempts to confirm this account have previously been unsuccessful, but Lindauer and (...) Southwood :181–186, 2021) present a study that appears to provide support for it, by cancelling the SEE. We are not convinced. Here, we detail three studies testing their interpretation. The results indicate that it is the purported cancellation, rather than the SEE, that is an experimental artifact. (shrink)

Bryne & Hajek (1997) argue that Lewis’s (1988; 1996) objections to identifying desire with belief do not go through if our notion of desire is ‘causalized’ (characterized by causal, rather than evidential, decision theory). I argue that versions of the argument go through on certain assumptions about the formulation of decision theory. There is one version of causal decision theory where the original arguments cannot be formulated—the ‘imaging’ formulation that Joyce (1999) advocates. But I argue this formulation is independently objectionable. (...) If we want to maintain the desire as belief thesis, there’s no shortcut through causalization. (shrink)

*This is a project I hope to come back to one day. It stalled, a bit, on the absence of a positive theory of update I could be satisfied with* When should we believe a indicative conditional, and how much confidence in it should we have? Here’s one proposal: one supposes actual the antecedent; and sees under that supposition what credence attaches to the consequent. Thus we suppose that Oswald did not shot Kennedy; and note that under this assumption, Kennedy (...) was assassinated by someone other than Oswald. Thus we are highly confident in the indicative: if Oswald did not kill Kennedy, someone else did. (shrink)

Applied ontologies have been used more and more frequently to enhance systems engineering. In this paper, we argue that adopting principles of ontological realism can increase the benefits that ontologies have already been shown to provide to the systems engineering process. Moreover, adopting Basic Formal Ontology (BFO), an ISO standard for top-level ontologies from which more domain specific ontologies are constructed, can lead to benefits in four distinct areas of systems engineering: (1) interoperability, (2) standardization, (3) testing, and (4) data (...) exploitation. Reaping these benefits in a model-based systems engineering (MBSE) context requires utilizing an ontology’s vocabulary when modeling systems and entities within those systems. If the chosen ontology abides by the principles of ontological realism, a semantic standard capable of uniting distinct domains, using BFO as a hub, can be leveraged to promote greater interoperability among systems. As interoperability and standardization increase, so does the ability to collect data during the testing and implementation of systems. These data can then be reasoned over by computational reasoners using the logical axioms within the ontology. This, in turn, generates new data that would have been impossible or too inefficient to generate without the aid of computational reasoners. (shrink)

*These notes were folded into the published paper "Probability and nonclassical logic*. Revising semantics and logic has consequences for the theory of mind. Standard formal treatments of rational belief and desire make classical assumptions. If we are to challenge the presuppositions, we indicate what is kind of theory is going to take their place. Consider probability theory interpreted as an account of ideal partial belief. But if some propositions are neither true nor false, or are half true, or whatever—then it’s (...) far from clear that our degrees of belief in it and its negation should sum to 1, as classical probability theory requires (?, cf.). There are extant proposals in the literature for generalizing (categorical) probability theory to a non-classical setting, and we will use these below. But subjective probabilities themselves stand in functional relations to other mental states, and we need to trace the knock-on consequences of revisionism for this interrelationship (arguably, degrees of belief only count as kinds of belief in virtue of standing in these functional relationships). (shrink)