Desires matter. How are we to understand the intentionality of desire? According to the two classical views, desire is either a positive evaluation or a disposition to act: to desire a state is to positively evaluate it or to be disposed to act to realize it. This Ph.D. Dissertation examines these conceptions of desire and proposes a deontic alternative inspired by Meinong. On this view, desiring is representing a state of affairs as what ought to be (...) or, if one prefers, as what should be. Desire involves a deontic manner of representing: a norm of the ought-to-be type features in desire’s intentional mode, as opposed to content. The dissertation is structured in three parts. In order to defend this conception, I formulate three main desiderata for a promising theory of the intentionality of desire in the introduction (§0). The first concerns desire’s direction of fit, i.e. the intuition that the world should conform to our desires. The second concerns the death of desire principle, i.e. the intuition that one cannot desire what one represents as actual. The last pertains to desire’s role in psychological explanations, i.e. the intuition that desires can explain some mental states and be explained by other mental states. The first part examines the main conceptions of desire in light of these desiderata. I argue that the classical pictures of desire do not adequately meet our desiderata. The first chapter is devoted to the evaluative conception (§1), while the second examines the motivational approach (§2). Following these criticisms, I then present the deontic view of desire (§3). In the second part, I defend this conception with the help of three arguments. The main idea is that appealing to norms of the ought-to-be type can satisfy our chief desiderata: the world should conform to norms (world-to-mind direction of fit, §4), norms are grounded on values and in turn ground obligations (explanation, §5), and norms are about non-actual states of affairs (death of desire principle, §6). In the last part, I develop the deontic view to draw a cartography of the various types of desire. Some desires are correct, while others are inappropriate. This distinction is explained by the deontic conception, as it matches that between states of affairs that ought to obtain and states that should not obtain (§7). Two study cases are examined: caprice and the impermissibility of desire aggregation. Intuitively, hopes, wishes, or urges are types of desire. The next chapter presents a typology inspired by the deontic view and the type of norms there are (§8). The last chapter discusses the main objections to the deontic approach (§9). In conclusion, I show the relevance of the deontic view for several debates in philosophy of mind and ethics. Desires are crucial because they are the ‘eye’ of what should be. (shrink)

The Ideal Worlds Account of Desire says that S wants p just in case all of S’s most highly preferred doxastic possibilities make p true. The account predicts that a desire report ⌜S wants p⌝ should be true so long as there is some doxastic p-possibility that is most preferred. But we present a novel argument showing that this prediction is incorrect. More positively, we take our examples to support alternative analyses of desire, and close by briefly (...) considering what our cases suggest about the logic of desire. (shrink)

My dissertation addresses the question "do desires provide reasons?" I present two independent lines of argument in support of the conclusion that they do not. The first line of argument emerges from the way I circumscribe the concept of a desire. Complications aside, I conceive of a desire as a member of a family of attitudes that have imperative content, understood as content that displays doability-conditions rather than truth-conditions. Moreover, I hold that an attitude may provide reasons only (...) if it has truth-evaluable content. Insofar as desires lack truth-evaluable content, I hold that the content of a desire has the wrong kind of logical structure to provide reasons. My second line of argument claims that even if a desire did have truth-evaluable content, it would not follow that desires provide reasons. This is because a desire has no more rational significance than a guess or coin-flip. My argument relies on what I call the non-substitutability principle, the thesis that (all things being equal) one cannot substitute something that lacks rational significance, relative to some attitude, A, for something that has rational significance, relative to A, and leave the rational standing of A unchanged. For example, one cannot substitute the guess that P (i.e., something that lacks rational significance relative to the belief that P) for the perception that P (i.e., something that is rationally significant relative to the belief that P) without altering the rational standing of the belief. I argue that when the non-substitutability principle is applied to a desire that gives rise to an intention, it turns out that one can always substitute a guess or coin-flip (i.e., something that lacks rational significance relative to the intention) for the desire, without altering the rational standing of the intention. I take this to show that desires are not rationally significant relative to the intentions to which they give. (shrink)

Drawing on the well-established understanding of the zombie as metaphor for the deadening effects of consumer capitalism, this chapter seeks to account for three distinct changes that contextualise 21st century zombie fiction. The first is situational: the global economic crisis has amplified the anxieties that inspired Romero's critique of consumer capitalism in Dawn of the Dead (1978). The second is intellectual: as Chapman and Anderson (2011) note, there has been an “explosion of research on all aspects of disgust” in recent (...) years. The third concerns the subgenre itself: zombies have become increasingly sexualised since the late 1990s. These issues intersect in a numerous recent zombie films - including Zombie Strippers! (2008), Zombies! Zombies! Zombies! (2008), Big Tits Zombie (2010), and Zombies Vs Strippers (2012) - that are centred around or within strip clubs. Stripping epitomises the logic of consumer capitalism, offering tantalising promises but little physical satisfaction. Stripping translates sexual desire into a voyeuristic transaction, evacuated of corporeal messiness. The zombie’s decomposing body epitomises disgust, and its presence in the strip-club disturbs the fantasy typically provided within that context. In the zombie infected strip-club, intimate contact is damaging rather than desirous. In these respects, zombies hypostatize numerous tensions that are usually masked by fantasy and financial exchange. In doing so, these zombies reify the horrors of late capitalism. Their disgusting bodies disrupt the foundational logic of consumerism qua desire. (shrink)

The so-called ‘central problem’ of internalism has been formulated like this: one cannot concurrently maintain the following three philosophical positions without inconsistency: internalism about practical reason, moral rationalism, and moral absolutism. Since internalism about practical reason is the most controversial of these, the suggestion is that it is the one that is best abandoned. In this paper, I point towards a response to this problem by sketching a deontic logic of internal reasons that deflates moral normativity to the normativity (...) of instrumental rationality, and provides support for the assertion that one can hold fast simultaneously to internalism and at least many of the intuitive commitments of liberal moral thinking. Crucial to the proposal is an account of the enkratic principle – I ought to attempt to realise what I ultimately desire – as the source of obligations we owe to ourselves. I attempt to show how from this, in conjunction with some plausible assumptions, obligations to others might be derived. (shrink)

ABSTRACT: This chapter offers a revenge-free solution to the liar paradox (at the centre of which is the notion of Gestalt shift) and presents a formal representation of truth in, or for, a natural language like English, which proposes to show both why -- and how -- truth is coherent and how it appears to be incoherent, while preserving classical logic and most principles that some philosophers have taken to be central to the concept of truth and our use (...) of that notion. The chapter argues that, by using a truth operator rather than truth predicate, it is possible to provide a coherent, model-theoretic representation of truth with various desirable features. After investigating what features of liar sentences are responsible for their paradoxicality, the chapter identifies the logic as the normal modal logic KT4M (= S4M). Drawing on the structure of KT4M (=S4M), the author proposes that, pace deflationism, truth has content, that the content of truth is bivalence, and that the notions of both truth and bivalence are semideterminable. (shrink)

Cognitive dissonance is a kind of ambivalence in which your apprehension of the fact that you performed or want to perform an action of which you disapprove gives rise to psychological distress. This, in turn, causes you to solicit unconscious processes that can help you reduce the distress. Here we look at the role that cognitive dissonance plays in explaining the inner workings of racism. We distinguish between three types of racist acts: inadvertent bigotry, habitual racism, and explicit racism. Unlike (...) inadvertent bigots, habitual and explicit racists are racially motivated and they therefore are responsible for their racial acts. But unlike the explicit racists, habitual racists aren’t immediately aware of their racial motives. As habitual racists hold overt egalitarian attitudes, the conflict between their over attitudes and their covert racial motives are a potential source of distress. To avoid having to face their racial motives, they tend to turn to confabulation. While explicit racists aren’t bothered by a similar form of cognitive dissonance, their explicit racial attitudes and desires to cause black people to suffer are at odds with majority public opinion, which can be a source of shame. To escape this kind of negative self-realization, explicit racists seek to justify their actions as honorable or as necessary for the good of society. We conclude by briefly pondering how cognitive dissonance can be used as a strategy for transforming habitual and explicit racists. (shrink)

In the fifth version of our response-paper [26] to Imamura’s criticism, we recall that NonStandard Neutrosophic Logic was never used by neutrosophic community in no application, that the quarter of century old neutrosophic operators (1995-1998) criticized by Imamura were never utilized since they were improved shortly after but he omits to tell their development, and that in real world applications we need to convert/approximate the NonStandard Analysis hyperreals, monads and binads to tiny intervals with the desired accuracy – otherwise (...) they would be inapplicable. We point out several errors and false statements by Imamura [21] with respect to the inf/sup of nonstandard subsets, also Imamura’s “rigorous definition of neutrosophic logic” is wrong and the same for his definition of nonstandard unit interval, and we prove that there is not a total order on the set of hyperreals (because of the newly introduced Neutrosophic Hyperreals that are indeterminate), whence the Transfer Principle from R to R* is questionable. After his criticism, several response publications on theoretical nonstandard neutrosophics followed in the period 2018-2022. As such, I extended the NonStandard Analysis by adding the left monad closed to the right, right monad closed to the left, pierced binad (we introduced in 1998), and unpierced binad - all these in order to close the newly extended nonstandard space (R*) under nonstandard addition, nonstandard subtraction, nonstandard multiplication, nonstandard division, and nonstandard power operations [23, 24]. Improved definitions of NonStandard Unit Interval and NonStandard Neutrosophic Logic, together with NonStandard Neutrosophic Operators are presented. (shrink)

Philosophy of biology is often said to have emerged in the last third of the twentieth century. Prior to this time, it has been alleged that the only authors who engaged philosophically with the life sciences were either logical empiricists who sought to impose the explanatory ideals of the physical sciences onto biology, or vitalists who invoked mystical agencies in an attempt to ward off the threat of physicochemical reduction. These schools paid little attention to actual biological science, and as (...) a result philosophy of biology languished in a state of futility for much of the twentieth century. The situation, we are told, only began to change in the late 1960s and early 1970s, when a new generation of researchers began to focus on problems internal to biology, leading to the consolidation of the discipline. In this paper we challenge this widely accepted narrative of the history of philosophy of biology. We do so by arguing that the most important tradition within early twentieth-century philosophy of biology was neither logical empiricism nor vitalism, but the organicist movement that flourished between the First and Second World Wars. We show that the organicist corpus is thematically and methodologically continuous with the contemporary literature in order to discredit the view that early work in the philosophy of biology was unproductive, and we emphasize the desirability of integrating the historical and contemporary conversations into a single, unified discourse. (shrink)

In this paper, we present two puzzles involving desire reports concerning series of events. What does a person want to happen in the first event – is it the event with the highest expected return, or the event that is the initial part of the best series? We show that existing approaches fail to resolve the puzzles around this question and develop a novel account of our own. Our semantics is built around three ideas. First, we propose that (...) class='Hi'>desire ascriptions are evaluated relative to a contextually supplied set of propositions, or alternatives. The semantic value of an ascription ‘S wants p’ is determined by S's preference ordering over these alternatives. Second, we propose that desire reports carry a requirement to the effect that the prejacent of the ascription must be suitably related to the background set of alternatives. Finally, we suggest that desire reports carry a dominance condition concerning the subject's ranking of the alternatives. Overall, we argue that our theory provides us with an elegant resolution of our puzzles, and yields a promising approach to desire. (shrink)

Dynamic Theodicy (DT) is a broad concept we bring up to designate some modern Philosophical Theology attempts to reconcile the necessary and perfect existence of God with the contingent characteristics of human life. In this paper we analyze such approaches and discuss how they have become incomprehensible because the metaphysical assumptions implicit in these explanations have lost their intrinsic relation to the natural human desire for salvation. In the first part we show Charles Hartshorne's DT-model, arising from the modal (...) logic of perfection, and the modern rational problems of this position in making infinite-necessary Being (God) and finite-contingent being (human) compatible. We note that at the heart of the contradictions in this DT account is a dialectical mode of thinking that makes it difficult to find a correct solution to this dichotomy, and to assume a human desire that could be considered related to lifelong goals. In the second part, supported by the proposal of Hans Urs von Balthasar's DT, we develop the concepts of bodily vulnerability, corporeal intentionality, and natural desire for salvation, which come from an Aristotelian-Thomistic thought. This theory is established in order to build an argument, following Alasdair MacIntyre’s ethical framework, on how to make possible the recovery of a metaphysical and anthropological desire that transcends natural aging and goes beyond death. We conclude that both human dependence and the virtues that arise naturally when human beings decide to seek the good of their transcendent condition, make it possible to recover the natural desire for salvation through divine and human love. (shrink)

Although logical consistency is desirable in scientific research, standard statistical hypothesis tests are typically logically inconsistent. To address this issue, previous work introduced agnostic hypothesis tests and proved that they can be logically consistent while retaining statistical optimality properties. This article characterizes the credal modalities in agnostic hypothesis tests and uses the hexagon of oppositions to explain the logical relations between these modalities. Geometric solids that are composed of hexagons of oppositions illustrate the conditions for these modalities to be logically (...) consistent. Prisms composed of hexagons of oppositions show how the credal modalities obtained from two agnostic tests vary according to their threshold values. Nested hexagons of oppositions summarize logical relations between the credal modalities in these tests and prove new relations. (shrink)

In this article I attempt to overcome extant obstacles in deriving fundamental, objective and logically deduced definitions of personhood and their rights, by introducing an a priori paradigm of beings and morality. I do so by drawing a distinction between entities that are sought as ends and entities that are sought as means to said ends. The former entities, I offer, are the essence of personhood and are considered precious by observers possessing a logical system of valuation. The latter entities (...) – those sought only as a means to an end – I term ‘materials.’ Materials are sought for their conditional value: Important for achieving sought ends, they are not considered precious in and of themselves. A normative system for how this dichotomy of entities should interact is consequently derived and introduced. This paradigm has applicability for modern humanism and beyond. Assuming societal technological progression whereby human bodies and their surrounding infrastructures continue to evolve and integrate, the distinction between beings and their supporting materials, and a moral code for their interactions, will become ever more relevant. (shrink)

In the fifth version of our reply article [26] to Imamura's critique, we recall that Neutrosophic Non-Standard Logic was never used by the neutrosophic community in any application, that the quarter-century old (1995-1998) neutrosophic operators criticized by Imamura were never used as they were improved soon after, but omits to talk about their development, and that in real-world applications we need to convert/approximate the hyperreals, monads and bi-nads of Non-Standard Analysis to tiny intervals with the desired precision; otherwise they (...) would be inapplicable. We pointed out several errors and false statements by Imamura [21] regarding the inf/sup of nonstandard subsets, also Imamura's "rigorous definition of neutrosophic logic" is incorrect, as is his definition of nonstandard unit interval, and we showed that there is no total order in Neutrosophic Computing and Machine Learning , Vol. 23, 2022 Florentin Smarandache, Definición mejorada de la lógica neutrosófica no estándar e introducción a los hiperreales neutrosóficos (Quinta versión) 2 the set of hyperreals (due to the recently introduced Neutrosophic Hyperreals which are indeterminate), so the Transfer Principle from R to R* is questionable. After his critique, several reply posts on non-standard theoretical neutrosophy followed in 2018-2022. As such, I extended the Nonstandard Analysis by adding the right-closed left monad, the left-closed right monad, the punctured binad (which we introduced in 1998), and the nonpunctured binad - all in order to close the newly extended nonstandard space (R*) under nonstandard addition, nonstandard subtraction, nonstandard multiplication, nonstandard division, and nonstandard power operations [23, 24]. Improved definitions of the Nonstandard Unitary Interval and Nonstandard Neutrosophic Logic are presented, along with Nonstandard Neutrosophic Operators. (shrink)

We propose a solution to the problem of logical omniscience in what we take to be its fundamental version: as concerning arbitrary agents and the knowledge attitude per se. Our logic of knowledge is a spin-off from a general theory of thick content, whereby the content of a sentence has two components: an intension, taking care of truth conditions; and a topic, taking care of subject matter. We present a list of plausible logical validities and invalidities for the (...) class='Hi'>logic of knowledge per se for arbitrary agents, and isolate three explanatory factors for them: the topic-sensitivity of content; the fragmentation of knowledge states; the defeasibility of knowledge acquisition. We then present a novel dynamic epistemic logic that yields precisely the desired validities and invalidities, for which we provide expressivity and completeness results. We contrast this with related systems and address possible objections. (shrink)

Can we design a perfect democratic decision procedure? Condorcet famously observed that majority rule, our paradigmatic democratic procedure, has some desirable properties, but sometimes produces inconsistent outcomes. Revisiting Condorcet’s insights in light of recent work on the aggregation of judgments, I show that there is a conflict between three initially plausible requirements of democracy: “robustness to pluralism”, “basic majoritarianism”, and “collective rationality”. For all but the simplest collective decision problems, no decision procedure meets these three requirements at once; at most (...) two can be met together. This “democratic trilemma” raises the question of which requirement to give up. Since different answers correspond to different views about what matters most in a democracy, the trilemma suggests a map of the “logical space” in which different conceptions of democracy are located. It also sharpens our thinking about other impossibility problems of social choice and how to avoid them, by capturing a core structure many of these problems have in common. More broadly, it raises the idea of “cartography of logical space” in relation to contested political concepts. (shrink)

Since the time of Aristotle's students, interpreters have considered Prior Analytics to be a treatise about deductive reasoning, more generally, about methods of determining the validity and invalidity of premise-conclusion arguments. People studied Prior Analytics in order to learn more about deductive reasoning and to improve their own reasoning skills. These interpreters understood Aristotle to be focusing on two epistemic processes: first, the process of establishing knowledge that a conclusion follows necessarily from a set of premises (that is, on the (...) epistemic process of extracting information implicit in explicitly given information) and, second, the process of establishing knowledge that a conclusion does not follow. Despite the overwhelming tendency to interpret the syllogistic as formal epistemology, it was not until the early 1970s that it occurred to anyone to think that Aristotle may have developed a theory of deductive reasoning with a well worked-out system of deductions comparable in rigor and precision with systems such as propositional logic or equational logic familiar from mathematical logic. When modern logicians in the 1920s and 1930s first turned their attention to the problem of understanding Aristotle's contribution to logic in modern terms, they were guided both by the Frege-Russell conception of logic as formal ontology and at the same time by a desire to protect Aristotle from possible charges of psychologism. They thought they saw Aristotle applying the informal axiomatic method to formal ontology, not as making the first steps into formal epistemology. They did not notice Aristotle's description of deductive reasoning. Ironically, the formal axiomatic method (in which one explicitly presents not merely the substantive axioms but also the deductive processes used to derive theorems from the axioms) is incipient in Aristotle's presentation. Partly in opposition to the axiomatic, ontically-oriented approach to Aristotle's logic and partly as a result of attempting to increase the degree of fit between interpretation and text, logicians in the 1970s working independently came to remarkably similar conclusions to the effect that Aristotle indeed had produced the first system of formal deductions. They concluded that Aristotle had analyzed the process of deduction and that his achievement included a semantically complete system of natural deductions including both direct and indirect deductions. Where the interpretations of the 1920s and 1930s attribute to Aristotle a system of propositions organized deductively, the interpretations of the 1970s attribute to Aristotle a system of deductions, or extended deductive discourses, organized epistemically. The logicians of the 1920s and 1930s take Aristotle to be deducing laws of logic from axiomatic origins; the logicians of the 1970s take Aristotle to be describing the process of deduction and in particular to be describing deductions themselves, both those deductions that are proofs based on axiomatic premises and those deductions that, though deductively cogent, do not establish the truth of the conclusion but only that the conclusion is implied by the premise-set. Thus, two very different and opposed interpretations had emerged, interestingly both products of modern logicians equipped with the theoretical apparatus of mathematical logic. The issue at stake between these two interpretations is the historical question of Aristotle's place in the history of logic and of his orientation in philosophy of logic. This paper affirms Aristotle's place as the founder of logic taken as formal epistemology, including the study of deductive reasoning. A by-product of this study of Aristotle's accomplishments in logic is a clarification of a distinction implicit in discourses among logicians--that between logic as formal ontology and logic as formal epistemology. (shrink)

The thesis defended, the “guise of the ought”, is that the formal objects of desires are norms (oughts to be or oughts to do) rather than values (as the “guise of the good” thesis has it). It is impossible, in virtue of the nature of desire, to desire something without it being presented as something that ought to be or that one ought to do. This view is defended by pointing to a key distinction between values and norms: (...) positive and negative norms (obligation and interdiction) are interdefinable through negation; positive and negative values aren’t. This contrast between the norms and values, it is argued, is mirrored, within the psychological realm, by the contrast between the desires and emotions. Positive and negative desires are interdefinable through negation, but positive and negative emotions aren’t. The overall, Meinongian picture suggested is that norms are to desires what values are to emotions. (shrink)

In recent years, the human ability to reasoning about mental states of others in order to explain and predict their behavior has come to be a highly active area of research. Researchers from a wide range of fields { from biology and psychology through linguistics to game theory and logic{ contribute new ideas and results. This interdisciplinary workshop, collocated with the Thirteenth International Conference on Theoretical Aspects of Rationality and Knowledge (TARK XIII), aims to shed light on models of (...) social reasoning that take into account realistic resource bounds. People reason about other people's mental states in order to understand and predict the others' behavior. This capability to reason about others' knowledge, beliefs and intentions is often referred to as theory of mind. Idealized rational agents are capable of recursion in their social reasoning, and can reason about phenomena like common knowledge. Such idealized social reasoning has been modeled by modal logics such as epistemic logic and BDI (belief, desire, intention) logics and by epistemic game theory. However, in real-world situations, many people seem to lose track of such recursive social reasoning after only a few levels. The workshop provides a forum for researchers that attempt to analyze, understand and model how resource-bounded agents reason about other minds. (shrink)

We are able to participate in countless different sorts of social practice. This indefinite set of capacities must be explainable in terms of a finite stock of capacities. This paper compares and contrasts two different explanations. A standard decomposition of the capacity to participate in social practices goes something like this: the interpreter arrives on the scene with a stock of generic practice-types. He looks at the current scene to fill-in the current tokens of these types. He looks at the (...) current state of these practice tokens to see what actions are available to him. He uses his current desires to choose between these various possible actions. I argue that this standard explanation is defective, drawing on arguments by Searle and Wittgenstein and Garfinkel. I propose an alternative explanation, in which the participants must continually show each other the state of the scene in order to maintain the scene’s intelligibility. I provide a simple formal language in which to describe this alternative approach, in which we can state quite precisely what someone is doing when they participate in a practice. This language is related to both deontic and epistemic logics, but it is much simpler – it does not include the classic propositional connectives, and it is driven by a very different set of assumptions. The inspirations for this formal language are Searle’s analysis of directions of fit, Wittgenstein’s remarks on rule-following and Garfinkel’s ethnomethodology. (shrink)

I present a paradoxical combination of desires. I show why it's paradoxical, and consider ways of responding. The paradox saddles us with an unappealing trilemma: either we reject the possibility of the case by placing surprising restrictions on what we can desire, or we deny plausibly constitutive principles linking desires to the conditions under which they are satisfied, or we revise some bit of classical logic. I argue that denying the possibility of the case is unmotivated on any (...) reasonable way of thinking about mental content, and rejecting those desire-satisfaction principles leads to revenge paradoxes. So the best response is a non-classical one, according to which certain desires are neither determinately satisfied nor determinately not satisfied. Thus, theorizing about paradoxical propositional attitudes helps constrain the space of possibilities for adequate solutions to semantic paradoxes more generally. (shrink)

This paper intends to explain key differences between Aristotle’s understanding of the relationships between nous, epistêmê, and the art of syllogistic reasoning(both analytic and dialectical) and the corresponding modern conceptions of intuition, knowledge, and reason. By uncovering paradoxa that Aristotle’s understanding of syllogistic reasoning presents in relation to modern philosophical conceptions of logic and science, I highlight problems of a shift in modern philosophy—a shift that occurs most dramatically in the seventeenth century—toward a project of construction, a pervasive (...) class='Hi'>desire for rational certainty, and a general insistence on the reducibility of the sciences. The major motivation of this analysis is my intention to show that modern attempts to reduce science/epistêmê to a single science/method of inquiry occlude dialectical and ethico-political dimensions of “reason” and, hence, also impoverish philosophy’s critical capacities. (shrink)

This paper responds to two arguments that have been offered against the positing of ‘i-desires’, imaginative counterparts of desire supposedly involved in fiction, pretence, and mindreading. The Introspection Argument asks why, if there are both i-desires and desires, the distinction is so unfamiliar and hard to draw, unlike the relatively clear distinctions between perception and mental imagery, or belief and belief-like imagining. The Accountability Argument asks how it can make sense to treat merely imaginative states as revealing of someone’s (...) psychology, the way we do with responses to fiction. I argue that carefully considering the relationship between other states and their imaginative counterparts sheds light on how we should expect i-desires to differ from desires, and suggests that we may often be in states that are _indeterminate_, in limbo between the two categories. This indeterminacy explains why the distinction is often hard to draw, and why these states can be revealing about us even without (determinately) being real desires. (shrink)

This paper examines Spinoza’s view on the consistency of mental representation. First, I argue that he departs from Scholastic tradition by arguing that all mental states—whether desires, intentions, beliefs, perceptions, entertainings, etc.—must be logically consistent. Second, I argue that his endorsement of this view is motivated by key Spinozistic doctrines, most importantly the doctrine that all acts of thought represent what could follow from God’s nature. Finally, I argue that Spinoza’s view that all mental representation is consistent pushes him to (...) a linguistic account of contradiction. (shrink)

The main target of this paper is to control the speed of DC motor by comparing the actual and the desired speed set point. The DC motor is designed using Fuzzy logic and MPC controllers. The comparison is made between the proposed controllers for the control target speed of the DC motor using square and white noise desired input signals with the help of Matlab/Simulink software. It has been realized that the design based on the fuzzy logic controller (...) track the set pointwith the best steady state and transient system behavior than the design with MPC controller. Finally, the comparative simulation result prove the effectiveness of the DC motor with fuzzy logic controller. (shrink)

Deflationists about truth generally regard the contribution that ‘true’ makes to utterances to be purely logical or expressive: it exists to facilitate communication, and remedy our expressive deficiencies that are due to ignorance or finitude. This paper presents a challenge to that view by considering alethic desires. Alethic desires are desires for one’s beliefs to be true. Such desires, I argue, do not admit of any deflationarily acceptable analysis, and so challenge the deflationist’s austere view about the semantic role of (...) ‘true’. I consider a number of deflationist proposals for analyzing alethic desires, and find them all problematic. (shrink)

This paper criticizes an influential argument from Thomas Nagel’s THE POSSIBILTIY OF ALTRUISM, an argument that plays a foundational role in the philosophies of (at least) Philippa Foot, John McDowell and Jonathan Dancy. Nagel purports to prove that a person can be can be motivated to perform X by the belief that X is likely to bring about Y, without a causally active or biffy desire for Y. If Cullity and Gaut are to be believed (ETHICS AND PRACTICAL REASONING) (...) this is widely regarded within the practical reasoning industry as an established fact. My thesis is a simple one. Nagel’s argument is an abject failure and the philosophies that are founded on it are built upon sand. There is a little bit of rather amateurish X-Phi at the end, but I don’t want readers to get too excited about this as it is essentially icing on the cake. This paper is not primarily an exercise in Experimental Philosophy but in Baby Logic, and it’s central thesis is a logical one, namely that Nagel (to put the point politely) fails to prove his thesis. (shrink)

An AC servomotor which is mostly a two-phase induction motor with two stator field coils placed 90 electrical degrees apart used for controlling position, speed and acceleration in manufacturing industries. In this paper, a two-phase induction motor has been designed with a fuzzy logic and observer based controllers to improve the performance of the system. Comparison of the AC servomotor with the proposed controllers for tracking a step and a square desired position signal input has been done using Matlab/Simulink (...) toolbox and a promising result obtained. (shrink)

We introduce a number of logics to reason about collective propositional attitudes that are defined by means of the majority rule. It is well known that majoritarian aggregation is subject to irrationality, as the results in social choice theory and judgment aggregation show. The proposed logics for modelling collective attitudes are based on a substructural propositional logic that allows for circumventing inconsistent outcomes. Individual and collective propositional attitudes, such as beliefs, desires, obligations, are then modelled by means of minimal (...) modalities to ensure a number of basic principles. In this way, a viable consistent modelling of collective attitudes is obtained. (shrink)

William James was one of the most controversial philosophers of the early part of the 20 century, and his apparent skepticism about logic and any robust conception of truth was often simply attributed to his endorsing mysticism and irrationality out of an overwhelming desire to make room for religion in his world-view. However, it will be argued here that James’s pessimism about logic and even truth (or at least ‘absolute’ truth), while most prominent in his later views, (...) stem from the naturalistic conception of concepts developed much earlier in The Principles of Psychology (1890), and it is his commitment to naturalism about our conceptual powers, rather than to any sort of mysticism or irrationalism, that motivates his skepticism about the scope and power of logic, and ultimately about the objectivity of truth itself. (shrink)

The analysis of desire ascriptions has been a central topic of research for philosophers of language and mind. This work has mostly focused on providing a theory of want reports, that is, sentences of the form ‘S wants p’. In this paper, we turn from want reports to a closely related but relatively understudied construction, namely hope reports, that is, sentences of the form ‘S hopes p’. We present two contrasts involving hope reports and show that existing approaches to (...) desire fail to explain these contrasts. We then develop a novel account that combines some of the central insights in the literature. We argue that our theory provides an elegant account of our contrasts and yields a promising analysis of hoping. (shrink)

I argue that Hegel’s Phenomenology is an attempt to prove that human experience displays a sui generis logical structure. This is because, as rational animals who instinctively create a universe of meaning to navigate our environment, the perceptual content of our conscious experience of objects, the desires that motivate our self-conscious experience of action, and the beliefs and values that make up our sociohistorical experience all testify to the presence of rationality as their condition of possibility. As such, Hegel’s Phenomenology (...) not only requires of us that we transform the mission of logic into a description of the immanent logic at the basis of human experience, thereby making the task of logic “anthropological.” It also presents us with a novel model of human experience—one that: demonstrates the rationality already instinctively at work in our bodily sensations, perceptions, and desires; gives an account of the origins of human society and history; and also makes human experience irreducible to cognitive processes in the brain, psychological mechanisms, and the biological imperatives of survival and reproduction. (shrink)

In this paper, I argue that Goff's view that universal consciousness grounds logical laws such as the law of non-contradiction cannot be true on the grounds that we cannot guarantee the classical logic loving nature of universal consciousness that Goff desires in order to ground logical laws. I will present three arguments to show this.

We show how to embed a framework for multilateral negotiation, in which a group of agents implement a sequence of deals concerning the exchange of a number of resources, into linear logic. In this model, multisets of goods, allocations of resources, preferences of agents, and deals are all modelled as formulas of linear logic. Whether or not a proposed deal is rational, given the preferences of the agents concerned, reduces to a question of provability, as does the question (...) of whether there exists a sequence of deals leading to an allocation with certain desirable properties, such as maximising social welfare. Thus, linear logic provides a formal basis for modelling convergence properties in distributed resource allocation. (shrink)

This inquiry is addressed to two questions: (1) what if any logical relations might exist between the concepts of desire and action (as they and the distinctions to which they commit us are ensconced in ordinary parlance), and (2) what if any causal or significant non-causal (i.e., material) relations might ever exist between instances of desire and action? -/- It is held that any credible move to deal with such questions must initially, and at some length, specify the (...) employment conditions for the terms 'want' and 'desire'. This is accomplished in the first two chapters wherein a set of premises is generated for the argument of the inquiry which is presented in full and concluded in the third and final chapter. Premises generated devolve from treatment of the following major topics: (a) the grammar of 'want' and 'desire', (b) the ontological status of wants, (c) first-person and third-person want ascriptions, (d) the sorts of things which may be desired (desiderabilia), (e) wants and lacks, (f) wants and wishes, (g) the 'conflicts' of desires and reason and desire, (h) four major candidates for logical relations between wants and acts, (i) the issue of causation, and (j) the placement of Desire in an adequate ontology of persons. -/- It is argued that every major candidate for a logical relation between wants and acts (or our warrant for believing that such a connection exists) breaks down upon analysis; that little warrant exists for construing wants as causes of acts; that wants and acts are related in significant non-logical and non-causal (i.e., material) respects; and that any fully adequate theory of human action must undertake ontology, placing the category of Desire squarely in the foreground. This project represents neither a general theory of desire nor a general theory of human action. It is rather conceived as a propaedeutic to any such inquiry. It is essentially revisionist in intent, setting out on the one hand to challenge existing claims about wants and acts and, on the other hand, proposing a more satisfactory approach to the issue. In no sense is it suggested that recent Anglo-American contributions are without merit. It is rather argued that they are often inadequate contributions vis-a-vis the larger requirements for an adequate theory of human action. (shrink)

This thesis introduces the "method of structural refinement", which serves as a means of transforming the relational semantics of a modal and/or constructive logic into an 'economical' proof system by connecting two proof-theoretic paradigms: labelled and nested sequent calculi. The formalism of labelled sequents has been successful in that cut-free calculi in possession of desirable proof-theoretic properties can be automatically generated for large classes of logics. Despite these qualities, labelled systems make use of a complicated syntax that explicitly incorporates (...) the semantics of the associated logic, and such systems typically violate the subformula property to a high degree. By contrast, nested sequent calculi employ a simpler syntax and adhere to a strict reading of the subformula property, making such systems useful in the design of automated reasoning algorithms. However, the downside of the nested sequent paradigm is that a general theory concerning the automated construction of such calculi (as in the labelled setting) is essentially absent, meaning that the construction of nested systems and the confirmation of their properties is usually done on a case-by-case basis. The refinement method connects both paradigms in a fruitful way, by transforming labelled systems into nested (or, refined labelled) systems with the properties of the former preserved throughout the transformation process. To demonstrate the method of refinement and some of its applications, we consider grammar logics, first-order intuitionistic logics, and deontic STIT logics. The introduced refined labelled calculi will be used to provide the first proof-search algorithms for deontic STIT logics. Furthermore, we employ our refined labelled calculi for grammar logics to show that every logic in the class possesses the effective Lyndon interpolation property. (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)

Firstly I characterize Simple Partial Logic (SPL) as the generalization and extension of a certain two-valued logic. Based on the characterization I present two definitions of validity in SPL. Finally I show that given my characterization these two definitions are more appropriate than other definitions that have been prevalent, since both have some desirable semantic properties that the others lack.

Girolamo Saccheri (1667--1733) was an Italian Jesuit priest, scholastic philosopher, and mathematician. He earned a permanent place in the history of mathematics by discovering and rigorously deducing an elaborate chain of consequences of an axiom-set for what is now known as hyperbolic (or Lobachevskian) plane geometry. Reviewer's remarks: (1) On two pages of this book Saccheri refers to his previous and equally original book Logica demonstrativa (Turin, 1697) to which 14 of the 16 pages of the editor's "Introduction" are devoted. (...) At the time of the first edition, 1920, the editor was apparently not acquainted with the secondary literature on Logica demonstrativa which continued to grow in the period preceding the second edition \ref[see D. J. Struik, in Dictionary of scientific biography, Vol. 12, 55--57, Scribner's, New York, 1975]. Of special interest in this connection is a series of three articles by A. F. Emch [Scripta Math. 3 (1935), 51--60; Zbl 10, 386; ibid. 3 (1935), 143--152; Zbl 11, 193; ibid. 3 (1935), 221--333; Zbl 12, 98]. (2) It seems curious that modern writers believe that demonstration of the "nondeducibility" of the parallel postulate vindicates Euclid whereas at first Saccheri seems to have thought that demonstration of its "deducibility" is what would vindicate Euclid. Saccheri is perfectly clear in his commitment to the ancient (and now discredited) view that it is wrong to take as an "axiom" a proposition which is not a "primal verity", which is not "known through itself". So it would seem that Saccheri should think that he was convicting Euclid of error by deducing the parallel postulate. The resolution of this confusion is that Saccheri thought that he had proved, not merely that the parallel postulate was true, but that it was a "primal verity" and, thus, that Euclid was correct in taking it as an "axiom". As implausible as this claim about Saccheri may seem, the passage on p. 237, lines 3--15, seems to admit of no other interpretation. Indeed, Emch takes it this way. (3) As has been noted by many others, Saccheri was fascinated, if not obsessed, by what may be called "reflexive indirect deductions", indirect deductions which show that a conclusion follows from given premises by a chain of reasoning beginning with the given premises augmented by the denial of the desired conclusion and ending with the conclusion itself. It is obvious, of course, that this is simply a species of ordinary indirect deduction; a conclusion follows from given premises if a contradiction is deducible from those given premises augmented by the denial of the conclusion---and it is immaterial whether the contradiction involves one of the premises, the denial of the conclusion, or even, as often happens, intermediate propositions distinct from the given premises and the denial of the conclusion. Saccheri seemed to think that a proposition proved in this way was deduced from its own denial and, thus, that its denial was self-contradictory (p. 207). Inference from this mistake to the idea that propositions proved in this way are "primal verities" would involve yet another confusion. The reviewer gratefully acknowledges extensive communication with his former doctoral students J. Gasser and M. Scanlan. ADDED 14 March 14, 2015: (1) Wikipedia reports that many of Saccheri's ideas have a precedent in the 11th Century Persian polymath Omar Khayyám's Discussion of Difficulties in Euclid, a fact ignored in most Western sources until recently. It is unclear whether Saccheri had access to this work in translation, or developed his ideas independently. (2) This book is another exemplification of the huge difference between indirect deduction and indirect reduction. Indirect deduction requires making an assumption that is inconsistent with the premises previously adopted. This means that the reasoner must perform a certain mental act of assuming a certain proposition. It case the premises are all known truths, indirect deduction—which would then be indirect proof—requires the reasoner to assume a falsehood. This fact has been noted by several prominent mathematicians including Hardy, Hilbert, and Tarski. Indirect reduction requires no new assumption. Indirect reduction is simply a transformation of an argument in one form into another argument in a different form. In an indirect reduction one proposition in the old premise set is replaced by the contradictory opposite of the old conclusion and the new conclusion becomes the contradictory opposite of the replaced premise. Roughly and schematically, P,Q/R becomes P,~R/~Q or ~R, Q/~P. Saccheri’s work involved indirect deduction not indirect reduction. (3) The distinction between indirect deduction and indirect reduction has largely slipped through the cracks, the cracks between medieval-oriented logic and modern-oriented logic. The medievalists have a heavy investment in reduction and, though they have heard of deduction, they think that deduction is a form of reduction, or vice versa, or in some cases they think that the word ‘deduction’ is the modern way of referring to reduction. The modernists have no interest in reduction, i.e. in the process of transforming one argument into another having exactly the same number of premises. Modern logicians, like Aristotle, are concerned with deducing a single proposition from a set of propositions. Some focus on deducing a single proposition from the null set—something difficult to relate to reduction. (shrink)

The aim of the paper is to point out the modelling choices that lead to different systems of deontic action logic. A kind of a roadmap is presented. On the one hand it can help the reader to find the deontic logic appropriate for an intended application relying on the information considering the way in which a deontic logic represents actions and how it characterises deontic properties in relation to (the representation of) actions. On the other hand (...) it is a guideline how to build a deontic action logic which satisfies the desired properties. (shrink)

Critique of Sarcastic Reason is a philosophical dissertation that combines several different fields in order to pave the way for those studying sarcasm at the neurobiological, communicative and socio-political levels of analysis where sarcasm appears, respectively, through associated brain activity, between two or more individuals with higher level metabeliefs, and as a method by which political, religious and other social ideologies are attacked (i.e., one form of "biting sarcasm"). The academic disciplines involved in Critique of Sarcastic Reason include social cognitive (...) and developmental psychology, neuroscience, critical theory, modern and contemporary philosophy of mind, evolutionary biology, logic, metaphysics and epistemology. Sarcasm is argued to only function at the highest levels of metacognition, and sarcasm occurs within social situations during which there are tendencies for two or more people to form desires and disgusts directly related to beliefs about beliefs. Sarcasm is compared to deception and is argued to be best analyzed as either spontaneous or rehearsed. (shrink)

This paper introduces and discusses three models of future: a determinist model, a stochastic model, and the model of True Prophetic Knowledge. All three models coexist in natural languages and are represented both in their grammatical systems and in the text-building discourse strategies speakers and authors apply to.

This paper presents rules of inference for a binary quantifier I for the formalisation of sentences containing definite descriptions within intuitionist positive free logic. I binds one variable and forms a formula from two formulas. Ix[F, G] means ‘The F is G’. The system is shown to have desirable proof-theoretic properties: it is proved that deductions in it can be brought into normal form. The discussion is rounded up by comparisons between the approach to the formalisation of definite descriptions (...) recommended here and the more usual approach that uses a term-forming operator ι, where ιxF means ‘the F’. (shrink)

Many philosophers have been attracted to the idea of using the logical form of a true sentence as a guide to the metaphysical grounds of the fact stated by that sentence. This paper looks at a particular instance of that idea: the widely accepted principle that disjunctions are grounded in their true disjuncts. I will argue that an unrestricted version of this principle has several problematic consequences and that it’s not obvious how the principle might be restricted in order to (...) avoid them. My suggestion is that, instead of trying to restrict the principle, we should distinguish between metaphysical and conceptual grounds and take the principle to apply exclusively to the latter. This suggestion, if correct, carries over to other prominent attempts at using logical form as a guide to ground. (shrink)

During the past decades, our image ofHomo neanderthalensishas changed dramatically. Initially, Neanderthals were seen as primitive brutes. Increasingly, however, Neanderthals are regarded as basically human. New discoveries and technologies have led to an avalanche of data, and as a result of that it becomes increasingly difficult to pinpoint what the difference between modern humans and Neanderthals really is. And yet, the persistent quest for a minimal difference which separates them from us is still noticeable in Neanderthal research. Neanderthal discourse is (...) a vantage point from which the logic of ‘us’ versus ‘other’ is critically reconsidered. Studying contemporary academic literature and science autobiographies from an oblique perspective, focusing not on Neanderthals as objects, but on the dynamics of interaction between Neanderthal researchers and their finds, basic convictions at work in this type of research are retrieved. What is at issue is not the actual distinction between modern humans and Neanderthals, but rather the dualistic construction of human and nonhuman. Neanderthal understanding is affected by the desire to safeguard human uniqueness. The overall trend is to identify the human mark or spark, which defines us as favoured ‘winners’. The paradoxes emerging in contemporary Neanderthal discourse are symptomatic of the fact that a dualistic style of thinking is no longer tenable. (shrink)

We propose a nonmonotonic Description Logic of typicality able to account for the phenomenon of combining prototypical concepts, an open problem in the fields of AI and cognitive modelling. Our logic extends the logic of typicality ALC + TR, based on the notion of rational closure, by inclusions p :: T(C) v D (“we have probability p that typical Cs are Ds”), coming from the distributed semantics of probabilistic Description Logics. Additionally, it embeds a set of cognitive (...) heuristics for concept combination. We show that the complexity of reasoning in our logic is EXPTIME-complete as in ALC. (shrink)

In this paper I present a formalization of the theory of ideal concepts applied to the concept of God. It is done within a version of the Simplest Quantified Modal Logic (SQML) and attempts to solve three meta-problems related to the concept of God: the unicity of extension problem, the homogeneity/heterogeneity problem and the problem of conceptual unity.

Affects are intentional structures of beliefs and desires. Many philosophers have plausibly argued that Spinoza’s theory of ideas is a kind of theory of belief. Yet this claim has rarely been taken into account when it comes to Spinoza’s theory of affects, which is actually a part of his theory of ideas. This paper shows that if this point is taken seriously when regarding Spinoza’s theory of affects we reach significant results about the fifth part of Ethics. To show this, (...) I shall strive to show that all affects depend on some sort of beliefs by analyzing Spinoza’s theory of affects in terms of his theory of ideas, and in particular an affirmation which an idea naturally involves. From this revelation, we will be able to see that Spinoza’s theory of affects presented in the third and fourth parts of Ethics is inconsistent with the fifth part of Ethics in so far as the three therapy methods he describes at the beginning of the fifth part of Ethics are considered. I will also show that arguments by which the soundness of these therapy methods is guaranteed seem actually logically invalid. Finally, I will try to revise Spinoza’s therapy methods by taking all errors and core ideas in Spinoza’s theory of affects into consideration. (shrink)

Vegans do not eat meat. This statement seems so obvious that one might be tempted to claim that it is analytically true. Yet several authors argue that the underlying logic of veganism warrants – perhaps even demands – eating meat. I begin by considering an important principle that has been important in motivating vegan meat-eating, related to an obligation to reduce or minimise harm. I offer an alternative, rights-based view, and suggest that while this might support an obligation to (...) eat meat in some cases, it fundamentally changes how we should view the arguments on offer. I consider such arguments with respect to three categories of animals: cows, crickets and clams. Rather than assigning importance to the particular choice of animal, readers should take each of these to stand for particular categorisations of non-human animals: animals who certainly have some capacities that we regard as morally relevant in humans, such as sentience, or the capacity for desires (‘cows’); animals who might have one or more of these capacities, but where current research is inconclusive (‘crickets’); and animals that are, according to our current knowledge, extremely unlikely to have any of these capacities (‘clams’). (shrink)