This paper attempts to address the question what logical strength theories of truth have by considering such questions as: If you take a theory T and add a theory of truth to it, how strong is the resulting theory, as compared to T? Once the question has been properly formulated, the answer turns out to be about as elegant as one could want: Adding a theory of truth to a finitely axiomatized theory T is more or less equivalent to a (...) kind of abstract consistency statement. A large part of the interest of the paper lies in the way syntactic theories are 'disentangled' from object theories. (shrink)

A rational man’s beliefs are not logically consistent, and he does not believe all the logical consequences of his beliefs. This is because in any situational context, we only accept certain believed sentences. Within that context, we insist that sentences be logically consistent, and we accept the logical consequences of the other sentences we accept in that context. But such sentences do not have to be consistent with sentences we accept in other contexts, nor will we always accept in that (...) context the logical consequences of sentences that we accept in other contexts. We go through many different situational contexts in the course of a day. For example, in trying to start a car with a dead battery, explaining why the car won’t start may form one context, while explaining how to start it may form a different context; sentences we accept in the first context may be logically inconsistent with sentences we accept in the second. (shrink)

I argue that Graham Priest's story 'Sylvan's Box' has an attractive consistent reading. Priest's hope that this story can be used as an example of a non-trivial 'essentially inconsistent' story is thus threatened. I then make some observations about the role 'Sylvan's Box' might play in a theory of unreliable narrators.

ABSTRACT If acting morally can be viewed as acting consistently with a moral principle or rule, then being a person with moral integrity can be viewed as consistently applying moral principles or rules across different types of situations. We advance a view of moral integrity that incorporates three distinct, but interrelated, types of moral consistency: cognitive, emotional and motivational moral consistency. Our approach is based on Self-Determination Theory, a motivational theory that can explain when a moral rule becomes (...) the primary motive for behavior. We argue that moral integrity is achieved when a person acts on the basis of an internal moral system of principles, emotions and motives and provide an account of the way that it develops during a person’s interaction with the environment. (shrink)

People sometimes explain behavior by appealing to an essentialist concept of the self, often referred to as the true self. Existing studies suggest that people tend to believe that the true self is morally virtuous; that is deep inside, every person is motivated to behave in morally good ways. Is this belief particular to individuals with optimistic beliefs or people from Western cultures, or does it reflect a widely held cognitive bias in how people understand the self? To address this (...) question, we tested the good true self theory against two potential boundary conditions that are known to elicit different beliefs about the self as a whole. Study 1 tested whether individual differences in misanthropy—the tendency to view humans negatively—predict beliefs about the good true self in an American sample. The results indicate a consistent belief in a good true self, even among individuals who have an explicitly pessimistic view of others. Study 2 compared true self-attributions across cultural groups, by comparing samples from an independent country and a diverse set of interdependent countries. Results indicated that the direction and magnitude of the effect are comparable across all groups we tested. The belief in a good true self appears robust across groups varying in cultural orientation or misanthropy, suggesting a consistent psychological tendency to view the true self as morally good. (shrink)

This paper presents proof that Buss's S22 can prove the consistency of a fragment of Cook and Urquhart's PV from which induction has been removed but substitution has been retained. This result improves Beckmann's result, which proves the consistency of such a system without substitution in bounded arithmetic S12. Our proof relies on the notion of "computation" of the terms of PV. In our work, we first prove that, in the system under consideration, if an equation is proved (...) and either its left- or right-hand side is computed, then there is a corresponding computation for its right- or left-hand side, respectively. By carefully computing the bound of the size of the computation, the proof of this theorem inside a bounded arithmetic is obtained, from which the consistency of the system is readily proven. This result apparently implies the separation of bounded arithmetic because Buss and Ignjatović stated that it is not possible to prove the consistency of a fragment of PV without induction but with substitution in Buss's S12. However, their proof actually shows that it is not possible to prove the consistency of the system, which is obtained by the addition of propositional logic and other axioms to a system such as ours. On the other hand, the system that we have considered is strictly equational, which is a property on which our proof relies. (shrink)

NOTE TO THE READER - December, 2021 ●●●●● -/- After a long period of time devoted to research in other areas, the author returned to the subject of this paper in a book-length study, CRITIQUE OF IMPURE REASON: Horizons of Possibility and Meaning. In this book (Chapter 11, “The Metalogic of Meaning”), the position developed in the 1982 paper, "Referential Consistency as a Criterion of Meaning", has been substantively revised and several important corrections made. It is recommended that readers (...) read the revised and corrected version that appears in the book, CRITIQUE OF IMPURE REASON. ●●●●● -/- The book is available in a printed edition, ISBN 978-0-578-88646-6, from online booksellers such as Barnes & Noble, Amazon, and through independent bookstores. The book is also available as a freely downloadable _corrected second edition_ eBook, DOI: 10.5281/zenodo.5458352, through PhilSci, PhilPapers, HAL, and other online archives. ●●●●● -/- In addition to the above-mentioned book, readers may find "A Primer on Bartlett's CRITIQUE OF IMPURE REASON" to be useful as a guide to the nearly 900-page CRITIQUE. The primer is available as a free download through PhilPapers. ●●●●● -/- "Referential Consistency as a Criterion of Meaning" describes a logically compelling criterion of meaning — that is, a necessary condition of meaning, one which is non-arbitrary and compelling. One cannot _not_ accept the proposed criterion without self-referential inconsistency. This “metalogical” variety of self-referential inconsistency is new, opening a third category beyond semantical and pragmatical forms of self-referential inconsistency. ●●●●● -/- It is argued that such a criterion of meaning can serve as an instrument of internal criticism for any theoretical framework that permits reference to a class of objects. The paper combines the concern of the logical empiricists to formulate a rigorous meaning criterion, with the analytical interest in identifying and eliminating self-defeating statements through an analysis of the referential structure of theories. ●●●●● -/- The paper is followed by a list of other publications by the author that further develop and extend the ideas presented here. (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)

Over time, research programs focusing on the processes that underlie dissonance and regret diverged to the point that the present literature only occasionally draws explicit connections between regret and consistency seeking processes. One of our aims in this chapter is to reestablish the connection between regret and consistency within the context of a theory that examines two independent factors that critically interact to enhance or diminish regret. The first of these is opportunity, which includes both perceptions of past (...) opportunities to make alternative choices and future opportunities to take corrective actions, and the second is mitigation, which is the ability to justify one's actions or otherwise engage regulatory processes that allow for the diminishment of regret. We examine both opportunity and mitigation separately before describing how the two may interact to elicit differential experiences of regret. (shrink)

A fundamental question asked in modal logic is whether a given theory is consistent. But consistent with what? A typical way to address this question identifies a choice of background knowledge axioms (say, S4, D, etc.) and then shows the assumptions codified by the theory in question to be consistent with those background axioms. But determining the specific choice and division of background axioms is, at least sometimes, little more than tradition. This paper introduces generic theories for propositional modal logic (...) to address consistency results in a more robust way. As building blocks for background knowledge, generic theories provide a standard for categorical determinations of consistency. We argue that the results and methods of this paper help to elucidate problems in epistemology and enjoy sufficient scope and power to have purchase on problems bearing on modalities in judgement, inference, and decision making. (shrink)

Vindicating the claim that agents ought to be consistent has proved to be a difficult task. Recently, some have argued that we can use accuracy-dominance arguments to vindicate the normativity of such requirements. But what do these arguments prove, exactly? In this paper, I argue that we can make a distinction between two theses on the normativity of consistency: the view that one ought to be consistent and the view that one ought to avoid being inconsistent. I argue that (...) accuracy-dominance arguments for consistency support the latter view, but not necessarily the former. I also argue that the distinction between these two theses matters in the debate on the normativity of epistemic rationality. Specifically, the distinction suggests that there are interesting alternatives to vindicating the strong claim that one ought to be consistent. (shrink)

The paper provides an argument for the thesis that an agent’s degrees of disbelief should obey the ranking calculus. This Consistency Argument is based on the Consistency Theorem. The latter says that an agent’s belief set is and will always be consistent and deductively closed iff her degrees of entrenchment satisfy the ranking axioms and are updated according to the ranktheoretic update rules.

Kant is regarded as the spokesman of the contemporary declaration of human rights and the forerunner of global citizenship theory. However, this noble image has been questioned by critics for his comment of empirical racial hierarchy stated in the pre-critical period: Kant’s moral law applies only to the white race with the “full personality”. Around the question of whether Kant’s pure moral philosophy was impregnated by his racist view, the defenders of Kant either adopt the negative defense strategy of affirming (...) the transcendental moral philosophy and negating the racial thought, or try to justify the consistency of Kant’s theory from the perspective of his later philosophy of right. The deficiency of these two justifications is that they do not directly deal with the relationship between moral philosophy and race theory. When Kant developed a mature moral theory in the mid-1780s, he also constructed a systemically mature race theory under the guidance of teleology principles to defend the unity of mankind in a different world. This theory can be used as the explanatory basis to prove the universality of Kant’s moral philosophy, which reflects the deep correlation between moral philosophy and race theory. From this perspective, it can not only make up for the lack of defenders and respond to the critics’ doubts, but also portray a consistent egalitarian image of Kant. (shrink)

In this article, I examine two of the standard objections to forms of value hedonism. The first is the common claim, most famously made by Bradley and Moore, that Mill's qualitative hedonism is inconsistent. The second is the apparent problem for quantitative hedonism in dealing with malicious pleasures. I argue that qualitative hedonism is consistent, even if it is implausible on other grounds. I then go on to show how our intuitions about malicious pleasure might be misleading.

Is consistency the sort of thing that could provide a guide to mathematical ontology? If so, which notion of consistency suits this purpose? Mark Balaguer holds such a view in the context of platonism, the view that mathematical objects are non-causal, non-spatiotemporal, and non-mental. For the purposes of this paper, we will examine several notions of consistency with respect to how they can provide a platon-ist epistemology of mathematics. Only a Gödelian notion, we suggest, can provide a (...) satisfactory guide to a platonist ontology. Is consistency the sort of thing that could provide a guide to mathematical ontology? If so, which notion of consistency suits this purpose? Mark Bala-guer holds such a view in the context of platonism, the view that mathematical objects are non-causal, non-spatiotemporal, and non-mental. Balaguer's version of Platonism, Full-Blooded Platonism (FBP), is the view that "there are as many abstract mathematical objects as there could be-i.e., there actually exist abstract mathematical objects of all possible kinds" (Balaguer, 2017, p. 381). He continues: Since FBP says that there are abstract mathematical objects of all possible kinds, it follows that if FBP is true, then every purely mathematical theory that could be true-i.e., that is internally consistent-accurately describes some collection of actually existing abstract objects. Thus it follows from FBP that in order to acquire knowledge of abstract objects, all we have to do is come up with an internally consistent purely mathematical theory (and know that it is internally consistent). (Balaguer, 2017, p. 381) * To be published in 43rd International Wittgenstein Symposium proceedings. (shrink)

Is epistemic inconsistency a mere symptom of having violated other requirements of rationality—notably, reasons-responsiveness requirements? Or is inconsistency irrational on its own? This question has important implications for the debate on the normativity of epistemic rationality. In this paper, I defend a new account of the explanatory role of the requirement of epistemic consistency. Roughly, I will argue that, in cases where an epistemically rational agent is permitted to believe P and also permitted to disbelieve P, the consistency (...) requirement plays a distinct explanatory role. I will also argue that such a type of permissiveness is a live possibility when it comes to rational epistemic standards. (shrink)

What should individuals do when their firmly held moral beliefs are prima facie inconsistent with their religious beliefs? In this article weoutline several ways of posing such consistency challenges and offer a detailed taxonomy of the various responses available to someone facing a consistency challenge of this sort. Throughout the paper, our concerns are primarily pedagogical: how best to pose consistency challenges in the classroom, how to stimulate discussion of the various responses to them, and how to (...) relate such consistency challenges to larger issues, such as whether scripture is, in general, a reliable guide to truth. (shrink)

This article adopts a bottom-up approach to theory interpretation, following the slogan “meaning is use”, and applies it to quantum mechanics. I argue that it fits very well with the Consistent Histories formulation of quantum mechanics, interpreted in a particular way that is not the interpretation favoured by original proponents of the formulation. I examine the difficulties and advantages of this interpretation.

It is generally unquestioned that human subjects research review boards should assess the ethical acceptability of protocols. It says so right on the tin, after all: they are explicitly called research ethics committees in the UK. But it is precisely those sorts of unchallenged assumptions that should, from time to time, be assessed and critiqued, in case they are in fact unfounded. John Stuart Mill's objection to suppressers of dissent is instructive here: “If the opinion is right, they are deprived (...) of the opportunity of exchanging error for truth: if wrong, they lose, what is almost as great a benefit, the clearer perception and livelier impression of truth, produced by its collision with error”.1 Andrew Moore and Andrew Donnelly's compelling article, “The job of ‘ethics committees’”, is just this sort of challenge to conventional wisdom, a rejection of the notion that review boards should be considering ethical matters at all.2 If true, we should be substantially reforming our research ethics policies. And if false, rebuttals would help strengthen and ground the otherwise unquestioned assumption of the role of ethics committees. As it happens, I will argue that their critiques fall into the second category. While mistaken, they present a valuable opportunity to clarify the role of ethics committees and their relationship to relevant codes. In particular, I will defend a hybrid account where codes have strict primacy, but leave significant room for review boards …. (shrink)

Paul Horwich (1990) once suggested restricting the T-Schema to the maximally consistent set of its instances. But Vann McGee (1992) proved that there are multiple incompatible such sets, none of which, given minimal assumptions, is recursively axiomatizable. The analogous view for set theory---that Naïve Comprehension should be restricted according to consistency maxims---has recently been defended by Laurence Goldstein (2006; 2013). It can be traced back to W.V.O. Quine(1951), who held that Naïve Comprehension embodies the only really intuitive conception of (...) set and should be restricted as little as possible. The view might even have been held by Ernst Zermelo (1908), who,according to Penelope Maddy (1988), subscribed to a ‘one step back from disaster’ rule of thumb: if a natural principle leads to contra-diction, the principle should be weakened just enough to block the contradiction. We prove a generalization of McGee’s Theorem, anduse it to show that the situation for set theory is the same as that for truth: there are multiple incompatible sets of instances of Naïve Comprehension, none of which, given minimal assumptions, is recursively axiomatizable. This shows that the view adumbrated by Goldstein, Quine and perhaps Zermelo is untenable. (shrink)

The consistent histories reformulation of quantum mechanics was developed by Robert Griffiths, given a formal logical systematization by Roland Omn\`{e}s, and under the label `decoherent histories', was independently developed by Murray Gell-Mann and James Hartle and extended to quantum cosmology. Criticisms of CH involve issues of meaning, truth, objectivity, and coherence, a mixture of philosophy and physics. We will briefly consider the original formulation of CH and some basic objections. The reply to these objections, like the objections themselves, involves a (...) mixture of physics and philosophy. These replies support an evaluation of the CH formulation as a replacement for the measurement, or orthodox, interpretation. (shrink)

Why are natural theories pre-well-ordered by consistency strength? In previous work, an approach to this question was proposed. This approach was inspired by Martin's Conjecture, one of the most prominent conjectures in recursion theory. Fixing a reasonable subsystem $T$ of arithmetic, the goal was to classify the recursive functions that are monotone with respect to the Lindenbaum algebra of $T$. According to an optimistic conjecture, roughly, every such function must be equivalent to an iterate $\mathsf{Con}_T^\alpha$ of the consistency (...) operator ``in the limit'' within the ultrafilter of sentences that are true in the standard model. In previous work the author established the first case of this optimistic conjecture; roughly, every recursive monotone function is either as weak as the identity operator in the limit or as strong as $\mathsf{Con}_T$ in the limit. Yet in this note we prove that this optimistic conjecture fails already at the next step; there are recursive monotone functions that are neither as weak as $\mathsf{Con}_T$ in the limit nor as strong as $\mathsf{Con}_T^2$ in the limit. In fact, for every $\alpha$, we produce a function that is cofinally equivalent to $\mathsf{Con}^\alpha_T$ yet cofinally equivalent to $\mathsf{Con}_T$. (shrink)

Williamson (2000) appeals to considerations about when it is natural to say that a hypothesis is consistent with one’s evidence in order to motivate the claim that all and only knowledge is evidence. It is argued here that the relevant considerations do not support this claim, and in fact conflict with it.

It is argued that the goal of Hilbert's program was to prove the model-theoretical consistency of different axiom systems. This Hilbert proposed to do by proving the deductive consistency of the relevant systems. In the extended independence-friendly logic there is a complete proof method for the contradictory negations of independence-friendly sentences, so the existence of a single proposition that is not disprovable from arithmetic axioms can be shown formally in the extended independence-friendly logic. It can also be proved (...) by means of independence-friendly logic that proof-theoretical consistency of a sentence S implies the existence of a model in which S is not false. Hence the consistency of the axioms of arithmetic in the sense of being not-false in a model can be proved. (shrink)

The preface paradox does not show that it can be rational to have inconsistent beliefs, because preface writers do not have inconsistent beliefs. I argue, first, that a fully satisfactory solution to the preface paradox would have it that the preface writer's beliefs are consistent. The case here is on basic intuitive grounds, not the consequence of a theory of rationality or of belief. Second, I point out that there is an independently motivated theory of belief – sensitivism – which (...) allows such a solution. I sketch a sensitivist account of the preface writer's doxastic state. (shrink)

Several of Rousseau’s critics begin with the presupposition that his writings are inconsistent or incoherent and proceed to locate the “essence” of his philosophy in some of his writings while excluding others. Ernst Cassirer is among the few philosophers who have attempted to defend Rousseau’s claim to consistency. Despite its broad influence, Cassirer’s interpretation has remained largely unchallenged. The aim of this paper is twofold. Firstly, it aims to show that Cassirer’s interpretation undermines (a) the important role Rousseau assigns (...) to pity in both the state of nature and civil society and (b) the significant role the general will plays in his political theory. Secondly, it proposes an alternative interpretation that succeeds in uniting Rousseau’s opus. (shrink)

All existing impossibility theorems on judgment aggregation require individual and collective judgment sets to be consistent and complete, arguably a demanding rationality requirement. They do not carry over to aggregation functions mapping profiles of consistent individual judgment sets to consistent collective ones. We prove that, whenever the agenda of propositions under consideration exhibits mild interconnections, any such aggregation function that is "neutral" between the acceptance and rejection of each proposition is dictatorial. We relate this theorem to the literature.

Must rational thinkers have consistent sets of beliefs? I shall argue that it can be rational for a thinker to believe a set of propositions known to be inconsistent. If this is right, an important test for a theory of rational belief is that it allows for the right kinds of inconsistency. One problem we face in trying to resolve disagreements about putative rational requirements is that parties to the disagreement might be working with different conceptions of the relevant attitudes. (...) My aim is modest. I hope to show that there is at least one important notion of belief such that a thinker might rationally hold a collection of beliefs (so understood) even when the thinker knows their contents entail a contradiction. (shrink)

In real-time collaborative graphical editing systems, Object-based Group/Ungroup operations are frequently accessible and practically useful. However, the existing research on these operations of the graphical editing is rare and defective. In this paper, based on Multi-Version strategy and Address Space Transformation method, a new MVSDR algorithm, which is not only applied to simple operations (such as Create, Delete, ChangeATT, etc.), but also suitable for Group/Ungroup ones, is proposed to solve the consistency maintenance problem. The proposed algorithm abandons previous attempts (...) to divide conflict operations into Real-Conflict operations and Resolvable-Conflict ones and to deal with them separately, thus making the algorithm more simple and effective. In addition, an example analysis is also given in this paper to prove the algorithm’s correctness and effectiveness. (shrink)

As is well-known, the formal system in which Frege works in his Grundgesetze der Arithmetik is formally inconsistent, Russell’s Paradox being derivable in it.This system is, except for minor differ...

In recent discussions, it has been argued that a theory of animal rights is at odds with a liberal abortion policy. In response, Francione (1995) argues that the principles used in the animal rights discourse do not have implications for the abortion debate. I challenge Francione’s conclusion by illustrating that his own framework of animal rights, supplemented by a relational account of moral obligation, can address the moral issue of abortion. I first demonstrate that Francione’s animal rights position, which grounds (...) moral consideration in sentience, is committed to the claim that a sentient fetus has a right to life. I then illustrate that a fully developed account of animal rights that recognizes the special obligations humans have to assist animals when we cause them to be dependent and vulnerable through our voluntary actions or omissions is committed to the following: a woman also has a special obligation to assist a sentient fetus when she causes it to be dependent and vulnerable through her voluntary actions or omissions. From these considerations, it will become evident that a fully developed and consistent animal rights ethic does in fact have implications for the abortion discussion. (shrink)

Spinoza’s attitude toward nonhuman animals is uncharacteristically cruel. This essay elaborates upon this ostensible idiosyncrasy in reference to Hasana Sharp’s commendable desire to revitalize a basis for animal ethics from within the bounds of his system. Despite our favoring an ethics beginning from animal affect, this essay argues that an animal ethic adequate to the demands of our historical moment cannot be developed from within the confines of strict adherence to Spinoza’s system—and this is not yet to speak of a (...) more robust animal ethics which would advocate actual care and compassion for the animals themselves. We argue that on the assumption of Spinoza’s ontological biocentrism, in the presence of Spinozist determinism and the absence of an axiological biocentrism, an anthropocentric axiology necessarily follows. Any Spinozist animal ethic must fall back, therefore, upon appeals to the maximization of human pleasure and power; hence Spinoza’s ruthless injunction to “use (the animals) at our pleasure.” These are the very ontological and ethical assumptions which have incited human self-exaltation in the modern period, in pursuit of power and pleasure even despite the destructive long-term consequences for all the living. We suggest that an adequate animal ethic would require either an abandonment of Spinoza’s ontological biocentrism or the adoption of an axiological biocentrism. (shrink)

Bird argues that scientific progress consists in increasing knowledge. Dellsén objects that increasing knowledge is neither necessary nor sufficient for scientific progress, and argues that scientific progress rather consists in increasing understanding. Dellsén also contends that unlike Bird’s view, his view can account for the scientific practices of using idealizations and of choosing simple theories over complex ones. I argue that Dellsén’s criticisms against Bird’s view fail, and that increasing understanding cannot account for scientific progress, if acceptance, as opposed to (...) belief, is required for scientific understanding. (shrink)

Dynamic semantics violates numerous classical laws, including Non-Contradiction. Proponents of dynamic semantics have offered no explanation for this behavior, and some critics consider this result to be strong evidence against the tenability of the dynamic program. I defend and explain failures of Non-Contradiction by comparing dynamic semantics and classical, truth conditional semantics in terms of their idealizing assumptions. I demonstrate that dynamic semantics rejects context fixity, an idealizing assumption that truth-conditional semantics typically adopts. I then argue that any semantics which (...) rejects context fixity should, by the classical semanticist’s own lights, violate Non-Contradiction under certain circumstances. I then demonstrate that dynamic semantics violates Non-Contradiction in all and only those circumstances. I subsequently appeal to this insight to vindicate some of dynamic semantics’ more controversial predictions. I close by suggesting that discussion of idealizing assumptions, common in the sciences, is similarly crucial to fruitful discussion in natural language semantics. (shrink)

P. T. Geach has argued that it is impossible to demonstrate that the doctrine of the Trinity is consistent. I try to show why -- on a common understanding of the notion of consistency -- his reasoning is flawed and why, on Geach’s own principles, one should expect that if the doctrine of the Trinity is true then it will be possible to prove that the doctrine is consistent, and it will be possible to do this in a way (...) that makes no appeal to the truth of any religious doctrine. (shrink)

Suppose rationality requires you to A if you believe you ought to A. Suppose you believe that you ought to A. How can you satisfy this requirement? One way seems obvious. You can satisfy this requirement by A-ing. But can you also satisfy it by stopping to believe that you ought to A? Recently, it has been argued that this second option is not a genuine way of satisfying the above requirement. Conditional requirements of rationality do not have two ‘symmetric’, (...) but only one ‘asymmetric’ satisfaction condition. This paper explores the consequences of this argument for a theory of the requirements of rationality. I seek to show that thisview conflicts with another powerful intuition about the requirements of rationality, i.e. ‘rational consistency’: if rationality requires you to X, then it is not the case that rationality requires you to not-X. I shall conclude that ‘asymmetric’ satisfying is based on a misleading intuition, for which we should not sacrifice ‘rational consistency’. (shrink)

Traditionally, consistency is the only criterion for the quality of a theory in logic-based approaches to reasoning about actions. This work goes beyond that and contributes to the metatheory of actions by investigating what other properties a good domain description should have. We state some metatheoretical postulates concerning this sore spot. When all postulates are satisfied we call the action theory modular. Besides being easier to understand and more elaboration tolerant in McCarthy’s sense, modular theories have interesting properties. We (...) point out the problems that arise when the postulates about modularity are violated, and propose algorithmic checks that can help the designer of an action theory to overcome them. (shrink)

In this paper, we propose the introduction of a neutrosophic chi-square-test for consistency, incorporating neutrosophic statistics. Our aim is to modify the existing chi-square -test for consistency in order to analyze imprecise data. We present a novel test statistic for the neutrosophic chi-square -test for consistency, which accounts for the uncertainties inherent in the data. To evaluate the performance of the proposed test, we compare it with the traditional chi-square -test for consistency based on classical statistics. (...) By conducting a comparative analysis, we assess the efficiency and effectiveness of our proposed neutrosophic chi-square-test for consistency. Furthermore, we illustrate the application of the proposed test through a numerical example, demonstrating how it can be utilized in practical scenarios. Through this implementation, we aim to provide empirical evidence of the improved performance of our proposed test when compared to the traditional chi-square-test for consistency based on classical statistics. We anticipate that the proposed neutrosophic chi-square-test for consistency will outperform its classical counterpart, offering enhanced accuracy and reliability when dealing with imprecise data. This advancement has the potential to contribute significantly to the field of statistical analysis, particularly in situations where data uncertainty and imprecision are prevalent. (shrink)

According to philosophical “situationism”, psychological evidence shows that human action is typically best explained by the influence of situational factors and not by “global” and robust character traits of the agent. As a practical implication of their view, situationists recommend that efforts in moral education be shifted from character development to situation management. Much of the discussion has focused on whether global conceptions of virtue and character, and in particular Aristotelian virtue ethics, can be defended against the situationist challenge. After (...) several rounds of debate, both sides claim victory, and they seem to have reached a stalemate. In this paper, I refocus the debate on the arguments offered in support of situationism itself. I argue that two serious problems have so far gone unnoticed in the literature. First, the argument in support of situationism is unsound. It is based on evidence that agents’ morally relevant behavior reliably covaries with morally irrelevant situationa.. (shrink)

This paper defends the claim that mere temporal proximity always and without exception strengthens certain moral duties, including the duty to save – call this view Robust Temporalism. Although almost all other moral philosophers dismiss Robust Temporalism out of hand, I argue that it is prima facie intuitively plausible, and that it is analogous to a view about special obligations that many philosophers already accept. I also defend Robust Temporalism against several common objections, and I highlight its relevance to a (...) number of practical policy debates, including longtermism. My conclusion is that Robust Temporalism is a moral live option, that deserves to be taken much more seriously in the future. (shrink)

Abstract The Theory of Computation in its existed form is based on Church –Turing Thesis. Throughout this paper, we show that the Turing computation model of this theory leads us to a contradiction. In brief, by applying a well-known paradox (Unexpected hanging paradox) we show a contradiction in the Theory when we consider the Turing model as our Computation model.

Considerations of dynamic inconsistency have figured prominently in debates over the rationality of preferences that violate the separability conditions characteristic of expected utility theory. These debates have mostly focused on risk- and ambiguity averse preferences, but analogous considerations apply to preferences for fairness. We revisit these debates in the context of a specific hypothesis regarding the violations of separability by such preferences, namely that they are potentially both explained and rationalised by attitudes to the chances of goods that motivate a (...) preference for equality in the distribution of chances across people and possible events. Our main aim is to argue that, first, when these violations of static separability are motivated by such attitudes to chances, then they need not result in dynamically inconsistent behaviour. Second, and more generally, considerations of dynamic consistency do not, we argue, undermine the rationality of such attitudes towards the distribution of chances, despite the fact that such attitudes give rise to violations of the static separability assumptions of expected utility theory. (shrink)

In the present study, we tested whether civic identity consisting of moral and political identity via the bifactor model of civic identity with the Stanford Civic Purpose dataset. Previous research in youth development proposed that civic identity consists of two closely related identity constructs, i.e., moral and political identity. Given the bifactor model in factor analysis assumes the presence of both the general and specific factors, we hypothesized that the bifactor model would better fit the data than conventional alternative models. (...) Thus, we compared the candidate models, including the bifactor model, with confirmatory factor analysis. To address the concern about the potential overfitting of the bifactor model, we additionally conducted cross-validation and measurement invariance tests across different gender groups and time points. The analysis results supported our hypothesis that the bifactor model better fitted the data. Both the cross-validation and measurement invariance test results suggested that the overfitting issue was not a significant concern. In the present study, we empirically demonstrated that the bifactor model of civic identity consisting of moral and political identity, which was supposed to be more consistent with the theoretical and conceptual framework of civic identity, better fitted the data than conventional alternative models. (shrink)

[paragraph 3 of the article] The goal of this article is to flesh out that initial understanding of incarnational immutability. The method I employ to attain this goal is to consider cases of predications from the texts of conciliar Christology. I show potential ontological truth conditions for those predications being true that do not require the truth conditions I propose for immutability to be unsatisfied. Put otherwise, I show ontological truth conditions for predications that imply Christ’s mutability and Incarnation that (...) are also consistent with the truth of “Christ is immutable.” Since the truth conditions for the incarnational texts do not require the falsity of the claim that “Christ is immutable,” the incarnational claims do not require the rejection of immutability. In other words, the Incarnation is no reason to deny divine immutability, and vice versa. (shrink)

We use probability-matching variations on Ellsberg’s single-urn experiment to assess three questions: (1) How sensitive are ambiguity attitudes to changes from a gain to a loss frame? (2) How sensitive are ambiguity attitudes to making ambiguity easier to recognize? (3) What is the relation between subjects’ consistency of choice and the ambiguity attitudes their choices display? Contrary to most other studies, we find that a switch from a gain to a loss frame does not lead to a switch from (...) ambiguity aversion to ambiguity neutrality and/or ambiguity seeking. We also find that making ambiguity easier to recognize has little effect. Finally, we find that while ambiguity aversion does not depend on consistency, other attitudes do: consistent choosers are much more likely to be ambiguity neutral, while ambiguity seeking is much more frequent among highly inconsistent choosers. (shrink)

Joseph Raz claims that the fundamental principles of morality and politics are satiable: there is a point at which one has fulfilled them. I argue that Raz cannot consistently endorse this claim, given his approach to saving lives.

Simultaneous hypothesis tests can fail to provide results that meet logical requirements. For example, if A and B are two statements such that A implies B, there exist tests that, based on the same data, reject B but not A. Such outcomes are generally inconvenient to statisticians (who want to communicate the results to practitioners in a simple fashion) and non-statisticians (confused by conflicting pieces of information). Based on this inconvenience, one might want to use tests that satisfy logical requirements. (...) However, Izbicki and Esteves shows that the only tests that are in accordance with three logical requirements (monotonicity, invertibility and consonance) are trivial tests based on point estimation, which generally lack statistical optimality. As a possible solution to this dilemma, this paper adapts the above logical requirements to agnostic tests, in which one can accept, reject or remain agnostic with respect to a given hypothesis. Each of the logical requirements is characterized in terms of a Bayesian decision theoretic perspective. Contrary to the results obtained for regular hypothesis tests, there exist agnostic tests that satisfy all logical requirements and also perform well statistically. In particular, agnostic tests that fulfill all logical requirements are characterized as region estimator-based tests. Examples of such tests are provided. (shrink)

Ethical consequentialist vegetarians believe that farmed animals have lives that are worse than non-existence. In this paper, I sketch out an argument that wild animals have worse lives than farmed animals, and that consistent vegetarians should therefore reduce the number of wild animals as a top priority. I consider objections to the argument, and discuss which courses of action are open to those who accept the argument.