Policy-makers must sometimes choose between an alternative which has somewhat lower expected value for each person, but which will substantially improve the outcomes of the worst off, or an alternative which has somewhat higher expected value for each person, but which will leave those who end up worst off substantially less well off. The popular ex ante Pareto principle requires the choice of the alternative with higher expected utility for each. We argue that ex ante Pareto ought to be rejected (...) because it conflicts with the requirement that, when possible, one ought to decide as one would with full information. We apply our argument in an analysis of US policy on screening for breast cancer. -/- . (shrink)

This paper develops a new form of metaethical expressivism according to which the normative judgment that X should Φ consists in a decision that X Φ. When the judgment is first-personal—e.g., my judgment that I should Φ—the view is similar to Gibbard’s plan expressivism, though the state I call “decision” differs somewhat from a Gibbard-style plan. The deep difference between the views shows in the account of third-personal judgments. Gibbard construes the judgment that Mary should Φ as a de se (...) plan on the thinker’s part to Φ if she turns out to be Mary (the Subtle View). I construe the judgment as a decision for Mary that Mary Φ (the Simple View). The main argument for Simple Plan Expressivism is that it solves problems for Gibbard’s approach, resonates with a new and interesting moral psychology, and better makes sense of certain independently plausible constraints on normative judgment. In the end I argue that this account of normative judgment has implications for first-order ethics, implying in particular that rational egoism as standardly formulated is incoherent. (shrink)

The ways in which we exercise intentional agency are varied. I take the domain of intentional agency to include all that we intentionally do versus what merely happens to us. So the scope of our intentional agency is not limited to intentional action. One can also exercise some intentional agency in omitting to act and, importantly, in producing the intentional outcome of an intentional action. So, for instance, when an agent is dieting, there is an exercise of agency both with (...) respect to the agent’s actions and omissions that constitute her dieting behavior and in achieving the intended outcome of losing weight. In our mental lives we exercise intentional agency both in performing mental actions and when we intentionally produce certain outcomes at which our mental actions are aimed. The nature and scope of our intentional agency in our mental lives with respect to controlling the acquisition of mental states such as belief, desire, and intention is a topic that is of interest in its own right. In this essay, I will focus solely on our control over coming to believe. Understanding what sort of control we have our beliefs has far-reaching implications. For instance, theorizing about self-deception and wishful thinking is aided by theorizing about what if any intentional agency we can exercise with respect to acquiring beliefs. Another often mentioned concern that motivates thinking about doxastic agency comes from religion (when conversion requires a change of belief). We also hold persons morally and epistemically responsible for beliefs they have or fail to have. Finally, some deontological theories of epistemic justification require that agents be able to exercise a robust form of doxastic control. Fruitful work on any of these problems requires that we have an account of our intentional agency in acquiring beliefs. There are at least three loci of doxastic control. The first is over acquiring beliefs. The second is over maintaining beliefs. The third is over how we use our beliefs. I am chiefly concerned with the first locus of doxastic control in this essay, but I will say something about the second locus along the way. Also, I will only consider one way we might exercise control over acquiring beliefs. Specifically, I will present an argument against direct doxastic voluntarism (DDV). By “DDV” I mean to refer to the thesis that it is conceptually possible for agents to consciously exercise the same sort of direct voluntary control over coming to acquire a doxastic attitude—such as belief, suspension of belief, and disbelief—that they exercise over uncontroversial basic actions. If DDV is correct, then coming to believe can be a basic action-type. DDV, or something very close to it, was Bernard Williams’ target in his 1973 paper, “Deciding to Believe.” Williams’s argument is widely regarded as having been a failure. But I think that Williams was on to something in his paper. Hence, in this paper, while I do not attempt to resurrect Williams’s argument, I develop and defend a revised argument for a thesis that is quite close to Williams’s. I will proceed as follows. First, I will discuss Bernard Williams’ (1973) failed attempt at showing that DDV is conceptually impossible. This will be followed by a discussion of some constraints on our belief-forming activities. I will then clarify my target a bit more than Williams does in his original paper. Finally, I will present my own argument against the conceptual possibility of DDV. (shrink)

We formally introduce a novel, yet ubiquitous, category of norms: norms of instrumentality. Norms of this category describe which actions are obligatory, or prohibited, as instruments for certain purposes. We propose the Logic of Agency and Norms (LAN) that enables reasoning about actions, instrumentality, and normative principles in a multi-agent setting. Leveraging LAN , we formalize norms of instrumentality and compare them to two prevalent norm categories: norms to be and norms to do. Last, we pose principles relating the three (...) categories and evaluate their validity vis-à-vis notions of deliberative acting. On a technical note, the logic will be shown decidable via the finite model property. (shrink)

Williams, Elster and Pears hold that an effort to induce in oneself a belief in the truth of some proposition that one believes to be false can succeed only if one manages, somewhere along the way, to forget that one is engaged in such an effort. Although this view has strong intuitive appeal, it is false, and in this paper it is shown to be false by example.

According to a consensus view in philosophy, “deciding” and “intending” are synonymous expressions. Researchers have recently challenged this view with the discovery of a counterexample in which ordinary speakers attribute deciding without intending. The aim of this paper is to investigate the strengths and limits of this discovery. The result of this investigation revealed that the evidence challenging the consensus view is strong. We replicate the initial finding against consensus and extend it by utilizing several new measures, materials, (...) and procedures. Together this evidence strongly suggests that “deciding” is not synonymous with “intending” in ordinary language and that the consensus view should be rejected. (shrink)

Stipulation gives us a degree of control over meaning. By stipulating how I will use a term I am able to determine the meaning it will receive on future occasions of use. My stipulation will affect the truth conditional content of my future utterances. But the mechanisms of stipulation are mysterious. As Cappelen (2018) argues, meaning is typically determined in an inscrutable way by a myriad of external factors beyond our control. How does stipulation override these factors? And the powers (...) of stipulation are limited. Firstly, the power of stipulation is typically short-lived. Sec-ondly, some stipulations simply don’t get off the ground. What explains the limits of stipulation? I consider two related approaches to stipulation and argue that they are unable to capture stipulation’s metasemantic effects. I then provide an explanation of the metasemantic effects of stipulation: Stipulation determines meaning by determining the word use it is fitting to hold the speaker to. This account is able to capture the mechanisms and limits of stipulation, whilst also explaining why we should care about stip-ulative success. I close by briefly drawing out some lessons for conceptual engineering. -/- . (shrink)

Through most of the twentieth century, life scientists grew increasingly sceptical of the biological significance of folk classifications of people by race. New work on the human genome has raised the possibility of a resurgence of scientific interest in human races. This paper aims to show that the racial sceptics are right, while also granting that biological information associated with racial categories may be useful.

Fitch's knowability paradox shows that for each unknown truth there is also an unknowable truth, a result which has been thought both odd in itself and at odds with views which impose epistemic constraints on truth and/or meaningfulness. Here a solution is considered which has received little attention in the debate but which carries prima facie plausibility. The decidability solution is to accept that Fitch sentences are unknowably true but deny the significance of this on the grounds that Fitch sentences (...) are nevertheless decidable. The decidability solution is particularly attractive for those whose primary concern is an epistemic constraint on meaningfulness (‘verificationists’). For those whose main concern is truth (‘anti-realists’), the situation is more complex: Melia takes the solution to exonerate anti-realism completely; Williamson sees it as completely irrelevant. The truth lies between these two extremes: there is one broad anti-realist commitment to which the solution does not apply, but there is also one, the “fundamental tenet” of anti-realism according to Dummett, to which it does. (shrink)

The addition of "actually" operators to modal languages allows us to capture important inferential behaviours which cannot be adequately captured in logics formulated in simpler languages. Previous work on modal logics containing "actually" operators has concentrated entirely upon extensions of KT5 and has employed a particular modeltheoretic treatment of them. This paper proves completeness and decidability results for a range of normal and nonnormal but quasi-normal propositional modal logics containing "actually" operators, the weakest of which are conservative extensions of K, (...) using a novel generalisation of the standard semantics. (shrink)

Certain apparently simple problems of coming to an agreement are surprisingly difficult to analyze in terms of individually rational behavior with a given set of preferences and beliefs. Though initially the solution appears obvious, the reasoning that would be needed to reach the solution on the part of a pair of rational individuals seems baroque and doubtful. This is used to suggest that a more fruitful tack is to analyze the situation in terms of a kind of joint or shared (...) intentionality. If that can be invoked, what appears simple in practice will turn out to be simple in theory as well. (shrink)

By formalizing some classical facts about provably total functions of intuitionistic primitive recursive arithmetic (iPRA), we prove that the set of decidable formulas of iPRA and of iΣ1+ (intuitionistic Σ1-induction in the language of PRA) coincides with the set of its provably ∆1-formulas and coincides with the set of its provably atomic formulas. By the same methods, we shall give another proof of a theorem of Marković and De Jongh: the decidable formulas of HA are its provably ∆1-formulas.

There is no uniquely standard concept of an effectively decidable set of real numbers or real n-tuples. Here we consider three notions: decidability up to measure zero [M.W. Parker, Undecidability in Rn: Riddled basins, the KAM tori, and the stability of the solar system, Phil. Sci. 70(2) (2003) 359–382], which we abbreviate d.m.z.; recursive approximability [or r.a.; K.-I. Ko, Complexity Theory of Real Functions, Birkhäuser, Boston, 1991]; and decidability ignoring boundaries [d.i.b.; W.C. Myrvold, The decision problem for entanglement, in: R.S. (...) Cohen et al. (Eds.), Potentiality, Entanglement, and Passion-at-a-Distance: Quantum Mechanical Studies fo Abner Shimony, Vol. 2, Kluwer Academic Publishers, Great Britain, 1997, pp. 177–190]. Unlike some others in the literature, these notions apply not only to certain nice sets, but to general sets in Rn and other appropriate spaces. We consider some motivations for these concepts and the logical relations between them. It has been argued that d.m.z. is especially appropriate for physical applications, and on Rn with the standard measure, it is strictly stronger than r.a. [M.W. Parker, Undecidability in Rn: Riddled basins, the KAM tori, and the stability of the solar system, Phil. Sci. 70(2) (2003) 359–382]. Here we show that this is the only implication that holds among our three decidabilities in that setting. Under arbitrary measures, even this implication fails. Yet for intervals of non-zero length, and more generally, convex sets of non-zero measure, the three concepts are equivalent. (shrink)

The claim that historians “write from a present-day perspective” does not entail that the past only matters when interpreted by categories of social justice. The past is a set of amorphous events and people, including their actions and motives. So, historians are free to explore various aspects of it to offer meaningful and compelling interpretations without necessarily privileging one category. The past is richer than we can humanely understand. Hence, it is important that new generations of scholars revise it from (...) different angles and without ideological restrictions. (shrink)

Recent work in cognitive science suggests that conscious thought plays a much less central role in the production of human behavior than most think. Partially on the basis of this work, Peter Carruthers has advanced the claim that humans never consciously decide to act. This claim is of independent interest for action theory, and its potential truth poses a problem for theories of free will and autonomy, which often take our capacity to consciously decide to be of central importance. In (...) this article, I examine the nature of conscious deciding and I argue that Carruthers fails to establish the claim that humans never consciously decide to act. (shrink)

A commentary is given on Trevena and Miller . The comparability of their experimental task and of the potential they recorded with those used and recorded by Libet, Gleason, Wright, and Pearl is questioned. An interpretation is given for the similarity of event-related potentials recorded when subjects decided to move and when they decided not to move.

A simulating halt decider correctly predicts whether or not its correctly simulated input can possibly reach its own final state and halt. It does this by correctly recognizing several non-halting behavior patterns in a finite number of steps of correct simulation. Inputs that do terminate are simply simulated until they complete.

Background: Current practice frequently fails to provide care consistent with the preferences of decisionally-incapacitated patients. It also imposes significant emotional burden on their surrogates. Algorithmic-based patient preference predictors (PPPs) have been proposed as a possible way to address these two concerns. While previous research found that patients strongly support the use of PPPs, the views of surrogates are unknown. The present study thus assessed the views of experienced surrogates regarding the possible use of PPPs as a means to help make (...) treatment decisions for decisionally-incapacitated patients. -/- Methods: This qualitative study used semi-structured interviews to determine the views of experienced surrogates [n=26] who were identified from two academic medical centers and two community hospitals. The primary outcomes were respondents’ overall level of support for the idea of using PPPs and the themes related to their views on how a PPP should be used, if at all, in practice. -/- Results: Overall, 21 participants supported the idea of using PPPs. The remaining five indicated that they would not use a PPP because they made decisions based on the patient’s best interests, not based on substituted judgment. Major themes which emerged were that surrogates, not the patient’s preferences, should determine how treatment decisions are made, and concern that PPPs might be used to deny expensive care or be biased against minority groups. -/- Conclusions: Surrogates, like patients, strongly support the idea of using PPPs to help make treatment decisions for decisionally-incapacitated patients. These findings provide support for developing a PPP and assessing it in practice. At the same time, patients and surrogates disagree over whose preferences should determine how treatment decisions are made, including whether to use a PPP. These findings reveal a fundamental disagreement regarding the guiding principles for surrogate decision-making. Future research is needed to assess this disagreement and consider ways to address it. (shrink)

Shadmehr and Ahmed’s book is a welcome extension of optimal foraging theory and neuroeconomics, achieved by integrating both with parameters relating to effort and rate of movement. Their most persuasive and prolific data comes from saccades, where times before and after decision are reasonably determinate. Skeletal movements are less likely to exhibit such tidy temporal organisation.

By extending the notion of a Well Formed Formula to include syntactically formalized rules for rejecting semantically incorrect expressions we recognize and reject expressions that have the semantic error of Pathological self-reference(Olcott 2004). The foundation of this system requires the notion of a BaseFact that anchors the semantic notions of True and False. When-so-ever a formal proof from BaseFacts of language L to a closed WFF X or ~X of language L does not exist X is decided to be semantically (...) incorrect. (shrink)

This work provides proof-search algorithms and automated counter-model extraction for a class of STIT logics. With this, we answer an open problem concerning syntactic decision procedures and cut-free calculi for STIT logics. A new class of cut-free complete labelled sequent calculi G3LdmL^m_n, for multi-agent STIT with at most n-many choices, is introduced. We refine the calculi G3LdmL^m_n through the use of propagation rules and demonstrate the admissibility of their structural rules, resulting in auxiliary calculi Ldm^m_nL. In the single-agent case, we (...) show that the refined calculi Ldm^m_nL derive theorems within a restricted class of (forestlike) sequents, allowing us to provide proof-search algorithms that decide single-agent STIT logics. We prove that the proof-search algorithms are correct and terminate. (shrink)

Everyday (mis)uses of deepfakes define prevailing conceptualizations of what they are and the moral stakes in their deployment. But one complication in understanding deepfakes is that they are not photographic yet nonetheless manipulate lens-based recordings with the intent of mimicking photographs. The harmfulness of deepfakes, moreover, significantly depends on their potential to be mistaken for photographs and on the belief that photographs capture actual events, a tenet known as the transparency thesis, which scholars have somewhat ironically attacked by citing digital (...) imaging techniques as counterexamples. Combining these positions, this paper sets out two core points: (1) that conceptions about the nature of photography introduce imperatives about its uses; and (2) that popular cultural understandings of photography imply normative ideas that infuse our encounters with deepfakes. Within this, I further raise the question of what moral ground deepfakes occupy that allows them to have such a potentially devastating effect. I show that answering this question involves reinstating the notion that photographs are popularly conceived of as transparent. The rejoinder to this argument, however, is that to take the sting out of deepfakes we must, once again, become skeptical of the veracity of all images, including photoreal ones. This kind of critical mindedness was warranted before the invention of photography for both pictorial imprints and written accounts from various media sources. Given this, along with the fact that photographic trickery is nothing new, deepfakes need not push us into a post-truth epistemic abyss, for they imply a decidedly old turn. (shrink)

The novel concept of a simulating halt decider enables halt decider H to to correctly determine the halt status of the conventional “impossible” input D that does the opposite of whatever H decides. This works equally well for Turing machines and “C” functions. The algorithm is demonstrated using “C” functions because all of the details can be shown at this high level of abstraction.

The novel concept of a simulating halt decider enables halt decider H to to correctly determine the halt status of the conventional “impossible” input D that does the opposite of whatever H decides. This works equally well for Turing machines and “C” functions. The algorithm is demonstrated using “C” functions because all of the details can be shown at this high level of abstraction. ---------------------------------------------------------------------------------------------------- ---- Simulating halt decider H correctly determines that D correctly simulated by H would remain stuck in (...) recursive simulation never reaching its own final state. D cannot do the opposite of the return value from H because this return value is unreachable by every correctly simulated D. This same result is shown to be derived in the Peter Linz Turing machine based proof. (shrink)

In this paper, we investigate the expressiveness of the variety of propositional interval neighborhood logics , we establish their decidability on linearly ordered domains and some important subclasses, and we prove the undecidability of a number of extensions of PNL with additional modalities over interval relations. All together, we show that PNL form a quite expressive and nearly maximal decidable fragment of Halpern–Shoham’s interval logic HS.

When we understand that every potential halt decider must derive a formal mathematical proof from its inputs to its final states previously undiscovered semantic details emerge. -/- When-so-ever the potential halt decider cannot derive a formal proof from its input strings to its final states of Halts or Loops, undecidability has been decided. -/- The formal proof involves tracing the sequence of state transitions of the input TMD as syntactic logical consequence inference steps in the formal language of Turing Machine (...) Descriptions. (shrink)

Expressiveness and decidability are two core aspects of programming languages that should be thoroughly known by those who use them; this includes knowledge of their metalanguages a.k.a. formal grammars. The van Wijngaarden grammars (WGs) are capable of generating all the languages in the Chomsky hierarchy and beyond; this makes them a relevant tool in the design of (more) expressive programming languages. But this expressiveness comes at a very high cost: The syntax of WGs is extremely complex and the decision problem (...) for the generated languages is generally unsolvable. With this in mind, I provide here a short primer of the syntax of WGs, which includes syntactic restrictions that guarantee decidability for the corresponding generated languages. (shrink)

In his early philosophy as well as in his middle period, Wittgenstein holds a purely syntactic view of logic and mathematics. However, his syntactic foundation of logic and mathematics is opposed to the axiomatic approach of modern mathematical logic. The object of Wittgenstein’s approach is not the representation of mathematical properties within a logical axiomatic system, but their representation by a symbolism that identifies the properties in question by its syntactic features. It rests on his distinction of descriptions and operations; (...) its aim is to reduce mathematics to operations. This paper illustrates Wittgenstein’s approach by examining his discussion of irrational numbers. (shrink)

Practical equilibrium, like reflective equilibrium, is a way of deciding what to think about morality. It shares with reflective equilibrium the general thesis that there is some way in which a moral theory must, in order to be acceptable, answer to one’s moral intuitions, but it differs from reflective equilibrium in its specification of exactly how a moral theory must answer to one’s intuitions. Whereas reflective equilibrium focuses on a theory’s consistency with those intuitions, practical equilibrium also gives weight (...) to a theory’s approval of one’s having those intuitions. (shrink)

While autonomous vehicles (AVs) are not designed to harm people, harming people is an inevitable by-product of their operation. How are AVs to deal ethically with situations where harming people is inevitable? Rather than focus on the much-discussed question of what choices AVs should make, we can also ask the much less discussed question of who gets to decide what AVs should do in such cases. Here there are two key options: AVs with a personal ethics setting (PES) or an (...) “ethical knob” that end users can control or AVs with a mandatory ethics setting (MES) that end users cannot control. Which option, a PES or an MES, is best and why? This chapter argues, by drawing on the choice architecture literature, in favor of a hybrid view that requires mandated default choice settings while allowing for limited end user control. (shrink)

Whilst India has been debating how to regulate 'surrogacy' the UK has undergone a major consultation on increasing the amount of 'expenses'paid to egg 'donors', while France has recently finished debating its entire package of bioethics regulation and the role of its Biomedicine Agency. Although it is often claimed that there is no alternative to the neo-liberal, market-based approach in regulating (or not) reproductive medicine--the ideology prevalent in both India and the UK--advocates of that position ignore the alternative model offered (...) by France's tighter regulation, as well as its overarching concern with protecting the vulnerable and ensuring social justice. Whilst the concepts underpinning the French model of regulation also have their provenance in Western political philosophy and not in the developed world, they embody a very different attitude and suggest that there is indeed an alternative to letting the market decide. However, even in France that alternative is highly contested. (shrink)

Let f(1)=2, f(2)=4, and let f(n+1)=f(n)! for every integer n≥2. Edmund Landau's conjecture states that the set P(n^2+1) of primes of the form n^2+1 is infinite. Landau's conjecture implies the following unproven statement Φ: card(P(n^2+1))<ω ⇒ P(n^2+1)⊆[2,f(7)]. Let B denote the system of equations: {x_j!=x_k: i,k∈{1,...,9}}∪{x_i⋅x_j=x_k: i,j,k∈{1,...,9}}. The system of equations {x_1!=x_1, x_1 \cdot x_1=x_2, x_2!=x_3, x_3!=x_4, x_4!=x_5, x_5!=x_6, x_6!=x_7, x_7!=x_8, x_8!=x_9} has exactly two solutions in positive integers x_1,...,x_9, namely (1,...,1) and (f(1),...,f(9)). No known system S⊆B with a finite (...) number of solutions in positive integers x_1,...,x_9 has a solution (x_1,...,x_9)∈(N\{0})^9 satisfying max(x_1,...,x_9)>f(9). For every known system S⊆B, if the finiteness/infiniteness of the set {(x_1,...,x_9)∈(N\{0})^9: (x_1,...,x_9) solves S} is unknown, then the statement ∃ x_1,...,x_9∈N\{0} ((x_1,...,x_9) solves S)∧(max(x_1,...,x_9)>f(9)) remains unproven. Let Λ denote the statement: if the system of equations {x_2!=x_3, x_3!=x_4, x_5!=x_6, x_8!=x_9, x_1 \cdot x_1=x_2, x_3 \cdot x_5=x_6, x_4 \cdot x_8=x_9, x_5 \cdot x_7=x_8} has at most finitely many solutions in positive integers x_1,...,x_9, then each such solution (x_1,...,x_9) satisfies x_1,...,x_9≤f(9). The statement Λ is equivalent to the statement Φ. It heuristically justifies the statement Φ . This justification does not yield the finiteness/infiniteness of P(n^2+1). We present a new heuristic argument for the infiniteness of P(n^2+1), which is not based on the statement Φ. Algorithms always terminate. We explain the distinction between existing algorithms (i.e. algorithms whose existence is provable in ZFC) and known algorithms (i.e. algorithms whose definition is constructive and currently known). Assuming that the infiniteness of a set X⊆N is false or unproven, we define which elements of X are classified as known. No known set X⊆N satisfies Conditions (1)-(4) and is widely known in number theory or naturally defined, where this term has only informal meaning. *** (1) A known algorithm with no input returns an integer n satisfying card(X)<ω ⇒ X⊆(-∞,n]. (2) A known algorithm for every k∈N decides whether or not k∈X. (3) No known algorithm with no input returns the logical value of the statement card(X)=ω. (4) There are many elements of X and it is conjectured, though so far unproven, that X is infinite. (5) X is naturally defined. The infiniteness of X is false or unproven. X has the simplest definition among known sets Y⊆N with the same set of known elements. *** Conditions (2)-(5) hold for X=P(n^2+1). The statement Φ implies Condition (1) for X=P(n^2+1). The set X={n∈N: the interval [-1,n] contains more than 29.5+\frac{11!}{3n+1}⋅sin(n) primes of the form k!+1} satisfies Conditions (1)-(5) except the requirement that X is naturally defined. 501893∈X. Condition (1) holds with n=501893. card(X∩[0,501893])=159827. X∩[501894,∞)= {n∈N: the interval [-1,n] contains at least 30 primes of the form k!+1}. We present a table that shows satisfiable conjunctions of the form #(Condition 1) ∧ (Condition 2) ∧ #(Condition 3) ∧ (Condition 4) ∧ #(Condition 5), where # denotes the negation ¬ or the absence of any symbol. No set X⊆N will satisfy Conditions (1)-(4) forever, if for every algorithm with no input, at some future day, a computer will be able to execute this algorithm in 1 second or less. The physical limits of computation disprove this assumption. (shrink)

I was invited to contribute this short piece to a book published in Russia, consisting of brief statements on the nature of morality written by approximately 90 scholars. Each essay is published in both English and Russian. My essay offers my considered answer to the question posed in the title, though in the end all contributions were published without titles.

Atwater v. Lago Vista is a stand-alone case in Fourth Amendment jurisprudence. Often basic Fourth Amendment jurisprudence builds off other case law. There is a clear buildup regarding the exclusionary rule from Weeks v. United States (1914) to Silverthorne Lumber Co. v. United States (1920) to the expansion of “the fruit of the poisonous tree” doctrine to Mapp v. Ohio (1961) incorporating U.S. Constitution the Fourth Amendment to the states. -/- Likewise, there are cases building up from the incorporation into (...) the states from United States v. Leon (1984) to Arizona v. Evans (1995), expanding Fourth Amendment case law and rights. The cavalcade of these cases somewhat plays a ballet of expanding and contracting the rights in certain circumstances. But the rights build off and limit each other in a cognizable method. -/- Atwater v. Lago Vista is not based on such a cavalcade of cases. It is a stand-alone case at best citing 1600s case law, norms, and rules from before the founding of the United States. Granted, the United States adopted much of the English jurisprudence in the founding of the United States. (shrink)

: I focus on Uriah Kriegel’s account of conative phenomenology. I agree with Kriegel’s argument that some conative phenomenology is primitive in that some conative phenomenal properties cannot be reduced to another kind of property. I disagree, however, with Kriegel’s specific characterization of the properties in question. Kriegel argues that the experience of deciding-and-then-trying is the core of conative phenomenology. I argue, however, that the experiences of trying and acting better occupy this place. Further, I suggest that the attitudinal (...) component of the experiences of trying and acting is not, as Kriegel suggests, best characterized in terms of commitment to the rightness or goodness of the objects of experience. Rather, I argue that the attitudinal component is best characterized in imperatival terms. Keywords : Agentive Phenomenology; Deciding; Trying; Imperatives Kriegel e la fenomenologia dell’azione Riassunto : In questo testo mi concentrerò sulla descrizione della fenomenologia conativa di Kriegel. Mentre condivido la tesi di Kriegel, secondo cui parte della fenomenologia conativa è primitiva, nel senso che parte delle proprietà fenomeniche conative non possono essere ridotte ad altri tipi di proprietà, debbo tuttavia dissentire riguardo la specifica caratterizzazione data da Kriegel delle proprietà in questione. Kriegel ritiene che l’esperienza del decidere-e-poi-sforzarsi sia il nucleo della fenomenologia conativa. Io direi tuttavia che le esperienze dello sforzo e dell’azione occupano meglio questa posizione. Inoltre, suggerirei che la componente relativa all’atteggiamento delle esperienze dello sforzo e dell’azione non sia descrivibile al meglio, come suggerisce Kriegel, in termini di impegno legato all’adeguatezza o all’integrità dell’oggetto d’esperienza. Direi piuttosto che la componente dell’atteggiamento sia meglio descrivibile in termini imperativi.. Parole chiave : Fenomenologia dell’agentività; Atto della decisione; Atto dello sforzo; Imperativi. (shrink)

Intuitions about intentional action have turned out to be sensitive to normative factors: most people say that an indifferent agent brings about an effect of her action intentionally when it is harmful, but unintentionally when it is beneficial. Joshua Knobe explains this asymmetry, which is known as ‘the Knobe effect’, in terms of the moral valence of the effect, arguing that this explanation generalizes to other asymmetries concerning notions as diverse as deciding and being free. I present an alternative (...) explanation of the Knobe effect in terms of normative reasons. This explanation generalizes to other folk psychological notions such as deciding, but not to such notions as being free. I go on to argue, against Knobe, that offering a unified explanation of all the asymmetries he discusses is in fact undesirable. (shrink)

This paper contends that Stoic logic (i.e. Stoic analysis) deserves more attention from contemporary logicians. It sets out how, compared with contemporary propositional calculi, Stoic analysis is closest to methods of backward proof search for Gentzen-inspired substructural sequent logics, as they have been developed in logic programming and structural proof theory, and produces its proof search calculus in tree form. It shows how multiple similarities to Gentzen sequent systems combine with intriguing dissimilarities that may enrich contemporary discussion. Much of Stoic (...) logic appears surprisingly modern: a recursively formulated syntax with some truth-functional propositional operators; analogues to cut rules, axiom schemata and Gentzen’s negation-introduction rules; an implicit variable-sharing principle and deliberate rejection of Thinning and avoidance of paradoxes of implication. These latter features mark the system out as a relevance logic, where the absence of duals for its left and right introduction rules puts it in the vicinity of McCall’s connexive logic. Methodologically, the choice of meticulously formulated meta-logical rules in lieu of axiom and inference schemata absorbs some structural rules and results in an economical, precise and elegant system that values decidability over completeness. (shrink)

We survey main developments, results, and open problems on interval temporal logics and duration calculi. We present various formal systems studied in the literature and discuss their distinctive features, emphasizing on expressiveness, axiomatic systems, and (un)decidability results.

We introduce and study a variety of modal logics of parallelism, orthogonality, and affine geometries, for which we establish several completeness, decidability and complexity results and state a number of related open, and apparently difficult problems. We also demonstrate that lack of the finite model property of modal logics for sufficiently rich affine or projective geometries (incl. the real affine and projective planes) is a rather common phenomenon.

This paper investigates and develops generalizations of two-dimensional modal logics to any finite dimension. These logics are natural extensions of multidimensional systems known from the literature on logics for a priori knowledge. We prove a completeness theorem for propositional n-dimensional modal logics and show them to be decidable by means of a systematic tableau construction.

The halting theorem counter-examples present infinitely nested simulation (non-halting) behavior to every simulating halt decider. The pathological self-reference of the conventional halting problem proof counter-examples is overcome. The halt status of these examples is correctly determined. A simulating halt decider remains in pure simulation mode until after it determines that its input will never reach its final state. This eliminates the conventional feedback loop where the behavior of the halt decider effects the behavior of its input.

Dans 'Godel’s Way', trois éminents scientifiques discutent de questions telles que l’indécidabilité, l’incomplétude, le hasard, la calculabilité et la paraconsistence. J’aborde ces questions du point de vue de Wittgensteinian selon lesquelles il y a deux questions fondamentales qui ont des solutions complètement différentes. Il y a les questions scientifiques ou empiriques, qui sont des faits sur le monde qui doivent être étudiés de manière observationnelle et philosophique quant à la façon dont le langage peut être utilisé intelligiblement (qui incluent certaines (...) questions en mathématiques et en logique), qui doivent être décidés en regardant un comment nous utilisons réellement des mots dans des contextes particuliers. Lorsque nous obtenons clair sur le jeu de langue que nous jouons, ces sujets sont considérés comme des questions scientifiques et mathématiques ordinaires comme les autres. Les idées de Wittgenstein ont rarement été égalées et jamais dépassées et sont aussi pertinentes aujourd’hui qu’elles l’étaient il y a 80 ans lorsqu’il a dicté les Livres Bleus et Brown. Malgré ses défauts, vraiment une série de notes plutôt qu’un livre fini, c’est une source unique du travail de ces trois savants célèbres qui travaillent aux confins de la physique, des mathématiques et de la philosophie depuis plus d’un demi-siècle. Da Costa et Doria sont cités par Wolpert (voir ci-dessous ou mes articles sur Wolpert et mon examen de Yanofsky 'The Outer Limits of Reason') depuis qu’ils ont écrit sur le calcul universel, et parmi ses nombreuses réalisations, Da Costa est un pionnier dans la paraconsistence. -/- Ceux qui souhaitent un cadre complet à jour pour le comportement humain de la vue moderne de deux système peuvent consulter mon livre 'The Logical Structure of Philosophy, Psychology, Mind and Language in Ludwig Wittgenstein and John Searle' 2nd ed (2019). Ceux qui s’intéressent à plus de mes écrits peuvent voir «Talking Monkeys --Philosophie, Psychologie, Science, Religion et Politique sur une planète condamnée --Articles et revues 2006-2019 » 3e ed (2019) et Suicidal Utopian Delusions in the 21st Century 4th ed (2019) et autres. (shrink)

In deciding whether to forgive, we often focus on the wrongdoer, looking for an apology or a change of ways. However, to fully consider whether to forgive, we need to expand our focus from the wrongdoer and their wrongdoing, and we need to consider who we are, what we care about, and what we want to care about. The difference between blame and forgiveness is, at bottom, a difference in priorities. When we blame, we prioritize the wrong, and when (...) we forgive, we shift our priorities away from the wrong. Recognizing this essential role for priorities in forgiveness allows us to address a thorny puzzle in thinking about forgiveness: how is it that forgiveness can be both principled and elective? If there is sufficient reason to forgive, as will sometimes be the case because forgiveness is principled, how can it be reasonable to withhold forgiveness? Recognizing that forgiveness is a shift in our priorities dissolves this apparent tension between forgiveness being principled and forgiveness being elective. (shrink)

Building on theoretical insights and rich experimental data of our preprints, we present here new theoretical and experimental results in three interrelated approaches to the Collatz problem and its generalizations: algorithmic decidability, random behavior, and Diophantine representation of related discrete dynamical systems, and their cyclic and divergent properties.

Healthcare professionals decide wisely about personalized medicine, treatment plans, and resource allocation by utilizing big data analytics and machine learning. To guarantee that algorithmic recommendations are impartial and fair, however, ethical issues relating to prejudice and data privacy must be taken into account. Big data analytics and machine learning have a great potential to disrupt healthcare, and as these technologies continue to evolve, new opportunities to reform healthcare and enhance patient outcomes may arise. In order to investigate the patient’s outcomes (...) with empirical evidence, this research was conducted using an online survey to incorporate healthcare professionals, patient’s reviews, and clinical staff. The data were analyzed using SmartPLS 4.0 to predict the structural model. The findings revealed a direct impact as positive influence of using machine learning on healthcare performance and patient outcomes through big data analytics. Moreover, it is evident that this can lead to personalized treatment plans, early interventions, and improved patient outcomes. Additionally, big data analytics can help healthcare providers optimize resource allocation, improve operational efficiency, and reduce costs. The impact of big data analytics on patient outcome and healthcare performance is expected to continue to grow, making it an important area for investment and research. (shrink)

We decided to use our editors’ introduction to briefly address a difficult, somewhat deeper, and in some ways more classical problem: that of what genuine open mindedness really is and how it can contribute to the Mind Sciences. The material in the collection speaks for itself. Here, and in contrast to the vast collection that is Open MIND, we want to be concise. We want to point to the broader context of a particular way of thinking about the mind. And (...) we want to propose an account of what open mindedness could mean in the context of the contemporary, interdisciplinary Mind Sciences. This variant of open mindedness is characterized by epistemic humility, intellectual honesty, and a new culture of charity. It also has a pragmatic dimension: open mindedness of this kind is research generating and fosters an environment of sincere and constructive interdisciplinary collaboration. And it is profoundly inspired by the classical ideals of philosophy as a pursuit of genuine insight and rational inquiry, the importance of a critical and in a certain sense non-judgmental attitude, and the deep relationship between wisdom and skepticism as an epistemic practice. Finally, and again very classically, open mindedness has an ethical dimension as well: it implies sensitivity to normative issues, including issues of an anthropological, sociocultural, and political kind. By bringing these different strands of ideas together and creating a bigger (and admittedly still sketchy) picture of what “open mindedness” might mean in the interdisciplinary Mind Sciences, we hope to start a conversation about how an open-minded attitude and a charitable culture of collaboration can be cultivated in the future. This is very much intended as an invitation to further think about and develop this topic. We hope our readers will join us in this endeavor. DOI: 10.15502/9783958571044 URL: http://dx.doi.org/10.15502/9783958571044 ISBN: 9783958571044. (shrink)

How do people decide which claims should be considered mere beliefs and which count as knowledge? Although little is known about how people attribute knowledge to others, philosophical debate about the nature of knowledge may provide a starting point. Traditionally, a belief that is both true and justified was thought to constitute knowledge. However, philosophers now agree that this account is inadequate, due largely to a class of counterexamples (termed ‘‘Gettier cases’’) in which a person’s justified belief is true, but (...) only due to luck. We report four experiments examining the effect of truth, justification, and ‘‘Gettiering’’ on people’s knowledge attributions. These experiments show that: (1) people attribute knowledge to others only when their beliefs are both true and justified; (2) in contrast to contemporary philosophers, people also attribute knowledge to others in Gettier situations; and (3) knowledge is not attributed in one class of Gettier cases, but only because the agent’s belief is based on ‘‘apparent’’ evidence. These findings suggest that the lay concept of knowledge is roughly consistent with the traditional account of knowledge as justified true belief, and also point to a major difference between the epistemic intuitions of laypeople and those of philosophers. (shrink)