I argue that the Universal Law formulation of the Categorical Imperative is best interpreted as a test or decision procedure of moral rightness and not as a criterion intended to explain the deontic status of actions. Rather, the Humanity formulation is best interpreted as a moral criterion. I also argue that because the role of a moral criterion is to explain, and thus specify what makes an action right or wrong, Kant's Humanity formulation yields a theory of relevant (...) descriptions. (shrink)

I argue that partialist critics of deontological theories make a mistake similar to one made by critics of utilitarianism: they fail to distinguish between a theory’s decision procedure and its standard of rightness. That is, they take these deontological theories to be offering a method for moral deliberation when they are in fact offering justificatory arguments for moral principles. And while deontologists, like utilitarians do incorporate impartiality into their justifications for basic principles, many do not require that agents (...) utilize impartial methods of moral deliberation. It follows that insofar as partialists reject impartiality in deliberation, their criticisms may miss their mark. If however, partialists are opposed to justifications for basic principles that rely upon impartiality, they are committed, I argue, to drastic revisions in moral theory that have worrisome implications. (shrink)

This paper describes a decision procedure for disjunctions of conjunctions of anti-prenex normal forms of pure first-order logic (FOLDNFs) that do not contain V within the scope of quantifiers. The disjuncts of these FOLDNFs are equivalent to prenex normal forms whose quantifier-free parts are conjunctions of atomic and negated atomic formulae (= Herbrand formulae). In contrast to the usual algorithms for Herbrand formulae, neither skolemization nor unification algorithms with function symbols are applied. Instead, a procedure is described (...) that rests on nothing but equivalence transformations within pure first-order logic (FOL). This procedure involves the application of a calculus for negative normal forms (the NNF-calculus) with A -||- A & A (= &I) as the sole rule that increases the complexity of given FOLDNFs. The described algorithm illustrates how, in the case of Herbrand formulae, decision problems can be solved through a systematic search for proofs that reduce the number of applications of the rule &I to a minimum in the NNF-calculus. In the case of Herbrand formulae, it is even possible to entirely abstain from applying &I. Finally, it is shown how the described procedure can be used within an optimized general search for proofs of contradiction and what kind of questions arise for a &I-minimal proof strategy in the case of a general search for proofs of contradiction. (shrink)

We consider several natural fragments of the alternating-time temporal logics ATL* and ATL with restrictions on the nesting between temporal operators and strategic quantifiers. We develop optimal decision procedures for satisfiability in these fragments, showing that they have much lower complexities than the full languages. In particular, we prove that the satisfiability problem for state formulae in the full `strategically flat' fragment of ATL* is PSPACE-complete, whereas the satisfiability problems in the flat fragments of ATL and ATL$^{+}$ are $\Sigma^P_3$-complete. (...) We note that the nesting hierarchies for fragments of ATL* collapse in terms of expressiveness above nesting depth 1, hence our results cover all such fragments with lower complexities. (shrink)

We develop a conceptually clear, intuitive, and feasible decision procedure for testing satisfiability in the full multi\-agent epistemic logic \CMAELCD\ with operators for common and distributed knowledge for all coalitions of agents mentioned in the language. To that end, we introduce Hintikka structures for \CMAELCD\ and prove that satisfiability in such structures is equivalent to satisfiability in standard models. Using that result, we design an incremental tableau-building procedure that eventually constructs a satisfying Hintikka structure for every satisfiable (...) input set of formulae of \CMAELCD\ and closes for every unsatisfiable input set of formulae. (shrink)

One semantic and two syntactic decision procedures are given for determining the validity of Aristotelian assertoric and apodeictic syllogisms. Results are obtained by using the Aristotelian deductions that necessarily have an even number of premises.

The “somewhat vague, intuitive” notion from computability theory of an effective procedure (method) or algorithm can be fairly precisely defined even if it is not sufficiently formal and precise to belong to mathematics proper (in a narrow sense)—and even if (as many have asserted) for that reason the Church–Turing thesis is unprovable. It is proved logically that the class of effective procedures is not decidable, i.e., that there is no effective procedure for ascertaining whether a given procedure (...) is effective. This result is proved directly from the notion itself of an effective procedure, without reliance on any (partly) mathematical lemma, conjecture, or thesis invoking recursiveness or Turing-computability. In fact, there is no reliance on anything very mathematical. The proof does not even appeal to a precise definition of ‘effective procedure’. Instead, it relies solely and entirely on a basic grasp of the intuitive notion of an effective procedure. Though the result that effectiveness is undecidable is not surprising, it is also not without significance. It has the consequence, for example, that the solution to a decision problem, if it is to be complete, must be accompanied by a separate argument that the proposed ascertainment procedure invariably terminates with the correct verdict. (shrink)

Decision theory has had a long-standing history in the behavioural and social sciences as a tool for constructing good approximations of human behaviour. Yet as artificially intelligent systems (AIs) grow in intellectual capacity and eventually outpace humans, decision theory becomes evermore important as a model of AI behaviour. What sort of decision procedure might an AI employ? In this work, I propose that policy-based causal decision theory (PCDT), which places a primacy on the decision-relevance (...) of predictors and simulations of agent behaviour, may be such a procedure. I compare this account to the recently-developed functional decision theory (FDT), which is motivated by similar concerns. I also address potentially counterintuitive features of PCDT, such as its refusal to condition on observations made at certain times. (shrink)

Stephanie Collins’ Group Duties offers interesting new arguments and brings together numerous interconnected issues that have hitherto been treated separately. My critical commentary focuses on two particularly original and central claims of the book: (1) Only groups that are united under a group-level decision-making procedure can bear duties. (2) Attributions of duties to other groups should be understood as attributions of “coordination duties” to each member of the group, duties to take steps responsive to the others with a (...) view to the group’s φ-ing or express willingness to do so. In support of the first claim, Collins argues that only groups that can make decisions can bear duties, and that the ability to make decisions requires the relevant sort of decision-making procedure. I suggest that both parts of this argument remain in need of further support. I furthermore argue that Collins’ account of coordination duties gets certain kinds of cases wrong, and suggest that attributions of duties to groups without decision-making procedures are more plausibly understood as attributing shared duties. (shrink)

Imagine a group that faces a decision problem but does not agree on which decision procedure is appropriate. In that case, can a decision be reached that respects the procedural concerns of the group? There is a sense in which legitimate decisions are possible even if people disagree on which procedure to use. I propose to decide in favour of an option which maximizes the number of persons whose judged-right procedure happens to entail this (...) decision given the profile. This decision rule is based not only ona profile in the standard sense, but in addition on a profile of judged-right procedures. To justify this decision rule, I present a set of simple axioms leading to it as the only solution. (shrink)

This is a non-technical version of "The Decision Problem for Effective Procedures." The “somewhat vague, intuitive” notion from computability theory of an effective procedure (method) or algorithm can be fairly precisely defined, even if it does not have a purely mathematical definition—and even if (as many have asserted) for that reason, the Church–Turing thesis (that the effectively calculable functions on natural numbers are exactly the general recursive functions), cannot be proved. However, it is logically provable from the notion (...) of an effective procedure, without reliance on any (partially) mathematical thesis or conjecture concerning effective procedures, such as the Church–Turing thesis, that the class of effective procedures is undecidable, i.e., that there is no effective procedure for ascertaining whether a given procedure is effective. The proof does not even appeal to a precise definition of ‘effective procedure’. Instead, it relies solely and entirely on a basic grasp of the intuitive notion of such a procedure. Though the result itself is not surprising, it is also not without significance. It has the consequence, for example, that the solution to a decision problem, if it is to be complete, must be accompanied by a separate argument that the proposed ascertainment procedure is, in fact, a decision procedure, i.e., effective—for example, that it invariably terminates with the correct verdict. (shrink)

The study aimed to identify the role of administrative procedures and systems in enhancing the performance of the educational institutions in the Islamic University in Gaza. To achieve the research objectives, the researchers used the analytical descriptive approach to collect information. The researchers used the questionnaire distributed to three categories of employees at the Islamic University (senior management, faculty members, their assistants and members of the administrative board). A random sample of 314 employees was selected and 276 questionnaires were retrieved (...) with a recovery rate of 88.1%. The Statistical Analysis Program (SPSS) was used to enter process and analyze data. The results of the research showed a positive role for the administrative procedures and systems in enhancing the performance of the Islamic University from the point of view of the members (senior management, teaching staff and their assistants and the administrative body), where the relative weight of all the paragraphs (73.728%). The analysis of the results revealed that the administrative procedures at the Islamic University in Gaza are used to an acceptable degree. The relative weight of all the paragraphs is 70%. This indicates a relationship between administrative procedures and regulations and the performance of the Islamic University in the Gaza Strip. The study found that there was a good degree of approval from the sample regarding the administrative procedures and their relationship to the job performance. There exist a sufficient degree of powers to the deans and department managers to carry out their tasks, with the use of plans as control tools. And that there are rules and procedures provided for decision-making in the University Council. It also has full powers to manage the university to improve the teaching and learning environment. The researchers also recommended a number of recommendations, including the need to follow up on the procedures and systems of management and update them continuously in the light of changes that may occur and to ensure the existence of a strong system of electronic information systems within the university. There is a need to provide mechanisms for obtaining information about the surrounding external environment, and effective mechanisms to provide managers with the necessary information in a timely manner. The importance of providing channels of communication that enables staff to communicate information about any violations and breaches. The study also recommended the follow-up, review, procedures and administrative systems, and work to modify them in line with the mission of the university and the objectives that the university seeks to reach. (shrink)

While philosophers are often concerned with the conditions for moral knowledge or justification, in practice something arguably less demanding is just as, if not more, important – reliably making correct moral judgments. Judges and juries should hand down fair sentences, government officials should decide on just laws, members of ethics committees should make sound recommendations, and so on. We want such agents, more often than not and as often as possible, to make the right decisions. The purpose of this paper (...) is to propose a method of enhancing the moral reliability of such agents. In particular, we advocate for a procedural approach; certain internal processes generally contribute to people’s moral reliability. Building on the early work of Rawls, we identify several particular factors related to moral reasoning that are specific enough to be the target of practical intervention: logical competence, conceptual understanding, empirical competence, openness, empathy and bias. Improving on these processes can in turn make people more morally reliable in a variety of contexts and has implications for recent debates over moral enhancement. (shrink)

Temporal epistemic logics are known, from results of Halpern and Vardi, to have a wide range of complexities of the satisfiability problem: from PSPACE, through non-elementary, to highly undecidable. These complexities depend on the choice of some key parameters specifying, inter alia, possible interactions between time and knowledge, such as synchrony and agents' abilities for learning and recall. In this work we develop practically implementable tableau-based decision procedures for deciding satisfiability in single-agent synchronous temporal-epistemic logics with interactions between time (...) and knowledge. We discuss some complications that occur, even in the single-agent case, when interactions between time and knowledge are assumed and show how the method of incremental tableaux can be adapted to work in EXPSPACE, respectively 2EXPTIME, for these logics, thereby also matching the upper bounds obtained for them by Halpern and Vardi. (shrink)

Heinrich Behmann (1891-1970) obtained his Habilitation under David Hilbert in Göttingen in 1921 with a thesis on the decision problem. In his thesis, he solved - independently of Löwenheim and Skolem's earlier work - the decision problem for monadic second-order logic in a framework that combined elements of the algebra of logic and the newer axiomatic approach to logic then being developed in Göttingen. In a talk given in 1921, he outlined this solution, but also presented important programmatic (...) remarks on the significance of the decision problem and of decision procedures more generally. The text of this talk as well as a partial English translation are included. (shrink)

The use of AI algorithms in criminal trials has been the subject of very lively ethical and legal debates recently. While there are concerns over the lack of accuracy and the harmful biases that certain algorithms display, new algorithms seem more promising and might lead to more accurate legal decisions. Algorithms seem especially relevant for bail decisions, because such decisions involve statistical data to which human reasoners struggle to give adequate weight. While getting the right legal outcome is a strong (...) desideratum of criminal trials, advocates of the relational theory of procedural justice give us good reason to think that fairness and perceived fairness of legal procedures have a value that is independent from the outcome. According to this literature, one key aspect of fairness is trustworthiness. In this paper, I argue that using certain algorithms to assist bail decisions could increase three diferent aspects of judges’ trustworthiness: (1) actual trustworthiness, (2) rich trustworthiness, and (3) perceived trustworthiness. (shrink)

William Smith’s recent article criticises the so-called orthodox approaches to the normative analysis of healthcare resource allocation, associated to the requirement that decision-makers should abide by strictly procedural principles of legitimacy defining a deliberative democratic process. Much of the appeal of Smith’s argument goes down to his awareness of real-world processes and, in particular, to the large gap he identifies between well-led democratic deliberation and the messiness of the process through which the intuitively legitimate Affordable Care Act was created. (...) This reply aims to demonstrate that the ACA provides no counterexample to orthodox views, seizing this opportunity to explore the specific space that the procedural principles populating orthodox accounts are meant to regulate. Neither general questions of healthcare justice concerning, for example, universal access nor, relatedly, the activity of elected politicians falls within the natural scope of application of such principles, revealing a much more complex picture of the interactions between justice and legitimacy as well as substantive and procedural considerations than acknowledged by Smith. In the end, orthodox accounts of healthcare resource allocation turn out to provide a precious fund of theoretical resources for the normative study of administrators, which might be useful well beyond bioethics and health policy. (shrink)

This paper offers a new angle on the common idea that the process of science does not support epistemic diversity. Under minimal assumptions on the nature of journal editing, we prove that editorial procedures, even when impartial in themselves, disadvantage less prominent research programs. This purely statistical bias in article selection further skews existing differences in the success rate and hence attractiveness of research programs, and exacerbates the reputation difference between the programs. After a discussion of the modeling assumptions, the (...) paper ends with a number of recommendations that may help promote scientific diversity through editorial decision making. (shrink)

In order to strengthen RI in the private sector, it is imperative to understand how companies organise this process, where it takes place, and what considerations and motivations are central in the innovation process. In this chapter, the questions of whether and where normative considerations play a role in the innovation process, and whether dimensions of RI are present in the innovation process, are addressed. In order answer these research questions, a theoretical framework is developed based on Jones’s theory of (...) ethical decision making and Cooper’s stagegate model of innovation management. In order to answer the research questions, a specific case of innovations that contribute to public health is explored, namely, that of food companies that participate in a Front-of-Pack logo for healthier food. As the use of healthy food logos does not necessarily have a positive impact on sales and profits, it is expected that in the decision-making process, as part of their innovation process, companies make several trade-offs between economic, technical and moral factors. As the social-ethical values at stake in corporate innovation processes have remained to a large extent unexplored in research on innovation management, the aim of this chapter is to identify the motivations and barriers for companies embracing and continuing a FoP logo for healthier food, and to assess whether ethical considerations play a role in this innovation process. From the findings in this research, it will become clear that although the studied companies participated in a programme for healthy food and thus are responsive to the needs of society, and although the companies feel responsible for public health, ethical considerations do not play a central role in the operational innovation process. Instead, technical and economic considerations seem to prevail in the operational innovation process. Furthermore, none of the procedural dimensions of RI seems to be present at this level in the innovation trajectory. It is argued that this may be an indication that the ethical decision-making process for RI is not located at the level of the operational innovation process itself, but is something that might be located on a higher strategic level in the company. It is at this level that the moral decision is taken to adopt the FoP logo and to engage in the RI process. The findings cast a new light on the discourse on RI in general, and in the private sector in particular. (shrink)

Advanced AI systems are rapidly making their way into medical research and practice, and, arguably, it is only a matter of time before they will surpass human practitioners in terms of accuracy, reliability, and knowledge. If this is true, practitioners will have a prima facie epistemic and professional obligation to align their medical verdicts with those of advanced AI systems. However, in light of their complexity, these AI systems will often function as black boxes: the details of their contents, calculations, (...) and procedures cannot be meaningfully understood by human practitioners. When AI systems reach this level of complexity, we can also speak of black-box medicine. In this paper, we want to argue that black-box medicine conflicts with core ideals of patient-centered medicine. In particular, we claim, black-box medicine is not conducive for supporting informed decision-making based on shared information, shared deliberation, and shared mind between practitioner and patient. (shrink)

The dominant approach to the study of dynamic preference is to generate preference change by manipulating aspects of decision-problem presentation (problem description, task procedure, contextual options). The predisposing approach instead manipulates the decision maker’s mental state while holding problem presentation constant. Three illustrative studies are outlined here. The first modified preferences for ambitious consumption by manipulating subjects’ consumption energy. The second modified preferences for immediate consumption by manipulating subjects’ hedonic resources. The third modified preferences for consumption itself (...) by manipulating subjects’ desire proneness. Whereas framing is thought to affect perception, predisposing apparently can affect tastes and so involves a special kind of preference dynamism. (shrink)

Important decisions that impact humans lives, livelihoods, and the natural environment are increasingly being automated. Delegating tasks to so-called automated decision-making systems can improve efficiency and enable new solutions. However, these benefits are coupled with ethical challenges. For example, ADMS may produce discriminatory outcomes, violate individual privacy, and undermine human self-determination. New governance mechanisms are thus needed that help organisations design and deploy ADMS in ways that are ethical, while enabling society to reap the full economic and social benefits (...) of automation. In this article, we consider the feasibility and efficacy of ethics-based auditing as a governance mechanism that allows organisations to validate claims made about their ADMS. Building on previous work, we define EBA as a structured process whereby an entity’s present or past behaviour is assessed for consistency with relevant principles or norms. We then offer three contributions to the existing literature. First, we provide a theoretical explanation of how EBA can contribute to good governance by promoting procedural regularity and transparency. Second, we propose seven criteria for how to design and implement EBA procedures successfully. Third, we identify and discuss the conceptual, technical, social, economic, organisational, and institutional constraints associated with EBA. We conclude that EBA should be considered an integral component of multifaced approaches to managing the ethical risks posed by ADMS. (shrink)

Cass Sunstein and Richard Thaler's proposal that social and legal institutions should steer individuals toward some options and away from others-a stance they dub "libertarian paternalism"-has provoked much high-level discussion in both academic and policy settings. Sunstein and Thaler believe that steering, or "nudging," individuals is easier to justify than the bans or mandates that traditional paternalism involves. -/- This Article considers the connection between libertarian paternalism and the regulation of reproductive choice. I first discuss the use of nudges to (...) discourage women from exercising their right to choose an abortion, or from becoming or remaining pregnant. I then argue that reproductive choice cases illustrate the limitations of libertarian paternalism. Where choices are politicized or intimate, as reproductive choices often are, nudges become not much easier to justify than traditional mandates or prohibitions. Even beyond the context of reproductive choice, it is not obvious how much easier nudges are to justify than bans or mandates. -/- Part I of this Article briefly introduces Sunstein and Thaler's libertarian paternalism. Part II then turns to the context of reproductive choice. Part II.A reviews restrictions on the right to choose an abortion-particularly post-Casey regulations such as waiting periods, requirements that women receive certain types of information, and requirements that women undergo ultrasound-that pitch themselves as steering choice without entirely closing off the right to choose an abortion. This distinction between nudges and prohibitions echoes Sunstein and Thaler's proposals, but works to subordinate women's choices to the judgment of (often male) experts and administrators-hence my term "libertarian patriarchalism." Part II.B reviews efforts to nudge women-particularly teenagers, HIV-positive women, and others thought to be unsuitable mothers-to avoid pregnancy. -/- Part III considers the normative implications of nudging reproductive decisions. In Part III.A, I argue that the political nature of reproductive choices presents a problem for nudges. I do so by considering a parallel with voting rights. Empirical research shows that voters are more likely to choose the candidate listed first on the ballot. Yet we do not empower the administrator in charge of ballot design to choose a default rule that nudges individuals toward the candidate he sincerely believes would promote choosers' welfare. Given the political nature of reproductive choices, a policymaker's attempting to nudge reproductive decisionmaking in the direction he prefers-or indeed in any direction-fails to show adequate respect for the chooser's agency. In Part III.B, I offer an argument that targets the use of nudges in the context of pregnancy. Finally, in Part III.C, I argue that nudges do not merely add choices to an existing menu, but change the substantive choices available to individuals and thereby impose more-than-trivial costs on them. I conclude by exploring the implications of my arguments for nudges more generally. (shrink)

In this article we examine the role of Entscheider (decision-makers) in the German asylum procedure, both legally and ethical. As the responsibility for deciding on asylum applications lies exclusively with them, their significance for the German asylum procedure can hardly be underestimated. However, over the last few decades the situation of Entscheider changed significantly: While the number and complexity of the cases they have to decide on has increased due to the growing immigration, the requirements for their (...) education have been lowered, owed to critical amendments to the relevant law. We analyze how the law currently defines the role of Entscheider, whether the legal framework is constitutional, and what modifications morality requires. Although the law defining their role seems to be constitutional, Entscheider’s education must be improved and they must be entrusted with the hearing of the applicants to meet what morality requires, we conclude. DOI: 10.17879/95189429199. (shrink)

Abstract: The military establishment plays an important role in society, not only because it is pivotal in securing the state from external and internal threats but also because the conduct of soldiers affect the fortunes of the state both fiscally and morally. Early in their career, soldiers are trained to be irreproachable in their loyalty, unquestioning in their obedience and unthinking in their pursuit of military objective. This, however changes as they move up into command positions and are required to (...) decide on objectives as well as give orders for others to obey. For many officers, this is usually a difficult transition to make even though Staff School training is supposed to enable them to make this transition. This paper is based on an attempt to introduce philosophical dialogue to student officers of a military academy to help them make this difficult transition. It discusses the use of philosophical dialogue in facilitating officers’ understanding of important issues in the military, including military decision making. It highlights the procedure, difficulties and dangers of facilitating philosophical dialogue between soldiers especially as it relates to the corporate unity and command structure of the military. The paper also reflects on the efficacy and desirability of involving soldiers in a dialogue process. Keywords: Decision making, Military training, MDMP (Military Decision Making Process), Philosophical Dialogue, Resumen: La institución militar y juega un papel importante en la sociedad, no sólo porque es una base crucial para la seguridad del estado frente a amenazas internas y externas sino porque la conducta de los soldados afecta al destino del estado tan física como moralmente. Al comienzo de sus carreras, los soldados son entrenados en el desarrollo de una lealtad indubitable, evitando el cuestionamiento y la crítica para incentivar el desarrollo de los objetivos militares. Esta situación cambia cuando asciende a posiciones superiores, donde se requiere que decidan sobre la consecución de ciertos objetivos y que den órdenes a otros. Para muchos oficiales, esto supone una difícil transición a pesar de que la escuela de oficiales se supone que los capacita para realizar esta transición. Este artículo pretende explicar cómo introducir el diálogo filosófico a los estudiantes que se preparan para ser oficiales en la academia militar, actividad que les ayudará a desenvolver esta complicada transición. El trabajo discute el uso del diálogo filosófico para facilitar a los oficiales la comprensión de los asuntos militares importantes, lo cual abarca la toma de decisión militar. Subrayará, el procedimiento, las dificultades y los peligros de facilitar un diálogo filosófico entre los soldados, particularmente cuando se dirige a la unidad militar y a la estructura de órdenes delejército. Además, esta investigación reflexiona sobre la eficacia y deseabilidad de incorporar a los soldados en un proceso dialógico. Palabras clave: Toma de decisión, entrenamiento militar, Proceso de toma de decisión militar (PTDM), diálogo filosófico. (shrink)

We argue that deliberative decision-making that is inclusive, transparent and accountable can contribute to more trustworthy and legitimate decisions on difficult ethical questions and political trade-offs during the pandemic and beyond.

The paper proposes a new technique for dealing with multi-attribute decision making problems through an extended TOPSIS method under neutrosophic cubic environment. Neutrosophic cubic set is the generalized form of cubic set and is the hybridization of a neutrosophic set with an interval neutrosophic set. In this study, we have defined some operation rules for neutrosophic cubic sets and proposed the Euclidean distance between neutrosophic cubic sets. In the decision making situation, the rating of alternatives with respect to (...) some predefined attributes are presented in terms of neutrosophic cubic information where weights of the attributes are completely unknown. In the selection process, neutrosophic cubic positive and negative ideal solutions have been defined. An extended TOPSIS method is then proposed for ranking the alternatives and finally choosing the best one. Lastly, an illustrative example is solved to demonstrate the decision making procedure and effectiveness of the developed approach. (shrink)

In this paper, we argue that computer simulations can provide valuable insights into the performance of voting methods on different collective decision problems. This could improve institutional design, even when there is no general theoretical result to support the optimality of a voting method. To support our claim, we first describe a decision problem that has not received much theoretical attention in the literature. We outline different voting methods to address that collective decision problem. Under certain criteria (...) of assessment akin to extensions of the Condorcet Jury Theorem, we run simulations for the methods using MATLAB, in order to compare their performance under various conditions. We consider and respond to concerns about the use of simulations in the assessment of voting procedures for policymaking. (shrink)

Looks into evaluation of information provision probability from different sources, based on use of linguistic variables. Formation of functions appurtenant for its unclear variables provides for adoption of decisions by the decision maker, in conditions of nonprobabilistic equivocation. The development of market relations in Ukraine increases the independence and responsibility of enterprises in justifying and making management decisions that ensure their effective, competitive activities. As a result of the analysis, it is determined that the condition of economic facilities can (...) be described and determined by the decision-maker, in the presence of the necessary information. The confidence of the decision-maker in the information received is different and the decisions made have a correspondingly different level of information risk. It is important to substantiate the procedure for assessing the numerical extent of information risk in decision-making based on the information obtained in conditions of uncertainty. The use of a linguistic variable in the processing of expert data presented in the form of a matrix of binary relations of values of the membership function, which allowed to move to further processing of knowledge to support decision-making in the management of industrial, commercial, financial and other activities. As a mathematical model for estimating the numerical measure of information risk when making decisions based on the information obtained in conditions of non-stochastic uncertainty, a model has been developed to model natural language uncertainties, which differs from existing ones by formalizing knowledge taking into account uncertainty of input information. Making such a clear decision in a fuzzy environment has appropriate values of effectiveness and risk. The paper proposes all the functions and accessories of indicators of both quantitative nature and qualitative nature to bring their values in the field of definition to one scale. Then the indicator of the effectiveness of decision-making will be a measure of the clarity of the cross-section of fuzzy subsets, which correspond to the introduced indicators of information risk. The condition of economic facilities can be described and determined by the decision-maker, if the necessary information is available. Decision-making on thenumerical measure of information risk must be determined by a set of basic indicators, which can be both quantitative and qualitative in nature. Predictive values of indicators should be determined in conditions of nonstochastic uncertainty. In this case, the indicators of a quantitative nature can be determined by fuzzy triangular numbers, which implement a high level of confidence in the subjective judgments of experts. Indicators of qualitative nature should be presented in linguistic variables. The values of the indicators of qualitative nature that are predicted must be considered for all fuzzy variable terms-sets of linguistic variables introduced into consideration. For any fuzzy variable, the introduction to the consideration of a clear set of values as carriers of the α-level of its membership function allows to reduce to a single interpretation of the predicted values of indicators of quantitative and qualitative nature in terms of non-stochastic uncertainty. (shrink)

This note considers deductive systems for the operator a of unprovability in some particular propositional normal modal logics. We give thus complete syntactic characterization of these logics in the sense of Lukasiewicz: for every formula  either `  or a  (but not both) is derivable. In particular, purely syntactic decision procedure is provided for the logics under considerations.

Moral latitude is only ever a matter of coincidence on the most popular decision procedure in the literature on moral uncertainty. In all possible choice situations other than those in which two or more options happen to be tied for maximal expected choiceworthiness, Maximize Expected Choiceworthiness implies that only one possible option is uniquely appropriate. A better theory of appropriateness would be more sensitive to the decision maker’s credence in theories that endorse agent-centred prerogatives. In this paper, (...) we will develop and defend a modified version of this view that allows for agent-centred prerogatives and supererogation as part of its verdicts about appropriateness. (shrink)

The chapter juxtaposes the fairly quick and automatic thinking and decision making that constitutes everyday moral thought and action with the slower, more complicated, and more reflective thinking that steps beyond everyday moral thought. Various difficulties that can slow down everyday moral thought are catalogued in this paper. The paper explains how dealing with many of these difficulties leads to thinking about moral principles. And, even where there are not such difficulties, everyday moral thought can be challenged by repeated (...) “why?” questions. Pushed far enough, such questions have to be answered by admitting ignorance or by pointing to theses about whatever ultimately makes acts morally required, permissible, or prohibited. Such theses are moral theories. As a point about moral theories, the paper ends by pointing out a respect in which everyday moral thought is more like rule-consequentialism, contractualism, foundational pluralism, and virtue ethics than everyday moral thought is like traditional act-consequentialism. (shrink)

In this chapter I systematically distinguish a variety of ways to relationalize economics, and focus on a certain approach to relationalizing normative economics in the light of communal values salient in the African philosophical tradition. I start by distinguishing four major ways to relationalize empirical economics, viz., in terms of its ontologies, methods, explanations, and predictions, and also three major ways to relationalize normative economics, in regards to means taken towards ends, decision-procedures used to specify ends, and ends themselves. (...) Then, in the rest of the chapter I address what would be involved in relationalizing the ends of economic choices, given certain ideals of communal relationship characteristically prized by sub-Saharan philosophers, particularly southern African adherents to ubuntu. I advance communal answers to the two large questions of what an economy should distribute and how to engage with stakeholders, and suggest that the implications will be found plausible by many open-minded enquirers around the world. Although this chapter is a work of ethical philosophy, it is meant to be of broad interest to scholars in economics. (shrink)

Political theorists have offered many accounts of collective decision-making under pluralism. I discuss a key dimension on which such accounts differ: the importance assigned not only to the choices made but also to the reasons underlying those choices. On that dimension, different accounts lie in between two extremes. The ‘minimal liberal account’ holds that collective decisions should be made only on practical actions or policies and that underlying reasons should be kept private. The ‘comprehensive deliberative account’ stresses the importance (...) of giving reasons for collective decisions, where such reasons should also be collectively decided. I compare these two accounts on the basis of a formal model developed in the growing literature on the ‘discursive dilemma’ and ‘judgment aggregation’ and address several questions: What is the trade-off between the (minimal liberal) demand for reaching agreement on outcomes and the (comprehensive deliberative) demand for reason-giving? How large should the ‘sphere of public reason’ be? When do the decision procedures suggested by the two accounts agree and when not? How good are these procedures at truthtracking on factual matters? What strategic incentives do they generate for decision-makers? My discussion identifies what is at stake in the choice between minimal liberal and comprehensive deliberative accounts of collective decisionmaking, and sheds light not only on these two ideal-typical accounts themselves, but also on many characteristics that intermediate accounts share with them. (shrink)

Deductive inference is usually regarded as being “tautological” or “analytical”: the information conveyed by the conclusion is contained in the information conveyed by the premises. This idea, however, clashes with the undecidability of first-order logic and with the (likely) intractability of Boolean logic. In this article, we address the problem both from the semantic and the proof-theoretical point of view. We propose a hierarchy of propositional logics that are all tractable (i.e. decidable in polynomial time), although by means of growing (...) computational resources, and converge towards classical propositional logic. The underlying claim is that this hierarchy can be used to represent increasing levels of “depth” or “informativeness” of Boolean reasoning. Special attention is paid to the most basic logic in this hierarchy, the pure “intelim logic”, which satisfies all the requirements of a natural deduction system (allowing both introduction and elimination rules for each logical operator) while admitting of a feasible (quadratic) decision procedure. We argue that this logic is “analytic” in a particularly strict sense, in that it rules out any use of “virtual information”, which is chiefly responsible for the combinatorial explosion of standard classical systems. As a result, analyticity and tractability are reconciled and growing degrees of computational complexity are associated with the depth at which the use of virtual information is allowed. (shrink)

An overview (about 8,000 words) of act utilitarianism, covering the basic idea of the theory, historical examples, how it differs from rule utilitarianism and motive utilitarianism, supporting arguments, and standard objections. A closing section provides a brief introduction to indirect utilitarianism (i.e., a Hare- or Railton-style view distinguishing between a decision procedure and a criterion of rightness).

In this chapter, I systematically distinguish a variety of ways to rela- tionalize economics and focus on a certain approach to relationalizing normative economics in the light of communal values salient in the African philosophical tradi- tion. I start by distinguishing four major ways to relationalize empirical economics, viz., in terms of its ontologies, methods, explanations, and predictions and also three major ways to relationalize normative economics, with regard to means taken towards ends, decision-procedures used to specify ends, and (...) ends themselves. Then, in the remainder of the chapter, I address what would be involved in relationalizing the ends of economic choices, given ideals of communal relationship characteristically prized by sub-Saharan philosophers, particularly southern African adherents to ubuntu. I advance communal answers to the two large questions of what an economy should distribute and how to engage with stakeholders, and I suggest that the implications will be found plausible by many open-minded enquirers around the world. Although this chapter is a work of ethical philosophy, it is meant to be of broad interest to scholars in economics. (shrink)

In this chapter, I systematically distinguish a variety of ways to rela- tionalize economics and focus on a certain approach to relationalizing normative economics in the light of communal values salient in the African philosophical tradi- tion. I start by distinguishing four major ways to relationalize empirical economics, viz., in terms of its ontologies, methods, explanations, and predictions and also three major ways to relationalize normative economics, with regard to means taken towards ends, decision-procedures used to specify ends, and (...) ends themselves. Then, in the remainder of the chapter, I address what would be involved in relationalizing the ends of economic choices, given ideals of communal relationship characteristically prized by sub-Saharan philosophers, particularly southern African adherents to ubuntu. I advance communal answers to the two large questions of what an economy should distribute and how to engage with stakeholders, and I suggest that the implications will be found plausible by many open-minded enquirers around the world. Although this chapter is a work of ethical philosophy, it is meant to be of broad interest to scholars in economics. (shrink)

In this chapter, I systematically distinguish a variety of ways to rela- tionalize economics and focus on a certain approach to relationalizing normative economics in the light of communal values salient in the African philosophical tradi- tion. I start by distinguishing four major ways to relationalize empirical economics, viz., in terms of its ontologies, methods, explanations, and predictions and also three major ways to relationalize normative economics, with regard to means taken towards ends, decision-procedures used to specify ends, and (...) ends themselves. Then, in the remainder of the chapter, I address what would be involved in relationalizing the ends of economic choices, given ideals of communal relationship characteristically prized by sub-Saharan philosophers, particularly southern African adherents to ubuntu. I advance communal answers to the two large questions of what an economy should distribute and how to engage with stakeholders, and I suggest that the implications will be found plausible by many open-minded enquirers around the world. Although this chapter is a work of ethical philosophy, it is meant to be of broad interest to scholars in economics. (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)

Complete deductive systems are constructed for the non-valid (refutable) formulae and sequents of some propositional modal logics. Thus, complete syntactic characterizations in the sense of Lukasiewicz are established for these logics and, in particular, purely syntactic decision procedures for them are obtained. The paper also contains some historical remarks and a general discussion on refutation systems.

One of the many debates in the philosophy of race is whether we should eliminate or conserve discourse, thought, and practices reliant on racial terms and categories (i.e., race-talk). In this paper, I consider this debate in the context of medicine. The recent resurgence in anti-racist activism and the COVID-19 pandemic have prompted philosophers, medical professionals, and the public to (re)consider race, its role in long-standing health disparities, and the utility of race-based medicine. In what follows, I argue that while (...) utility is insufficient for adjudicating permissible uses of race in medicine, eliminativism is neither necessary nor sufficient for dealing with the sort of ills associated with race-based medicine. I, then, use a virtue-based framework to adjudicate morally permissible uses of race in medicine. In doing so, I demonstrate the limitations of eliminativism, offer a decision procedure for determining morally permissible uses of race, and demonstrate that the debate regarding eliminating or preserving race-talk need not depend on conclusive answers to metaphysical questions regarding race. (shrink)

The paper surveys the currently available axiomatizations of common belief (CB) and common knowledge (CK) by means of modal propositional logics. (Throughout, knowledge- whether individual or common- is defined as true belief.) Section 1 introduces the formal method of axiomatization followed by epistemic logicians, especially the syntax-semantics distinction, and the notion of a soundness and completeness theorem. Section 2 explains the syntactical concepts, while briefly discussing their motivations. Two standard semantic constructions, Kripke structures and neighbourhood structures, are introduced in Sections (...) 3 and 4, respectively. It is recalled that Aumann's partitional model of CK is a particular case of a definition in terms of Kripke structures. The paper also restates the well-known fact that Kripke structures can be regarded as particular cases of neighbourhood structures. Section 3 reviews the soundness and completeness theorems proved w.r.t. the former structures by Fagin, Halpern, Moses and Vardi, as well as related results by Lismont. Section 4 reviews the corresponding theorems derived w.r.t. the latter structures by Lismont and Mongin. A general conclusion of the paper is that the axiomatization of CB does not require as strong systems of individual belief as was originally thought- only monotonicity has thusfar proved indispensable. Section 5 explains another consequence of general relevance: despite the "infinitary" nature of CB, the axiom systems of this paper admit of effective decision procedures, i.e., they are decidable in the logician's sense. (shrink)

Tyler Burge first introduced his distinction between epistemic entitlement and epistemic justification in ‘Content Preservation’ in 1993. He has since deployed the distinction in over twenty papers, changing his formulation around 2009. His distinction and its basis, however, is not well understood in the literature. This chapter distinguishes two uses of ‘entitlement’ in Burge, and then focuses on his distinction between justification and entitlement, two forms of warrant, where warrants consists in the exercise of a reliable belief-forming competence. Since he (...) draws the distinction in terms of reasons, this chapter brings his account of reasons altogether in one place. The chapter introduces a decision-procedure for classifying warrants as justifications or entitlements. The distinction between justification and entitlement is not the same as the inferential vs. non-inferential distinction. The chapter distinguishes inference from processing, thinking, reasoning, and critically reasoning. Burge’s new formulation of the distinction was driven by the recognition of non-accessible modular reasons. Three kinds of access are distinguished. (shrink)

A semantics is presented for Storrs McCall's separate axiomatizations of Aristotle's accepted and rejected polysyllogisms. The polysyllogisms under discussion are made up of either assertoric or apodeictic propositions. The semantics is given by associating a property with a pair of sets: one set consists of things having the property essentially and the other of things having it accidentally. A completeness proof and a semantic decision procedure are given.

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)

Act consequentialism states that an act is right if and only if the expected value of its outcome is at least as great as the expected value of any other act’s outcome. Two objections to this view are as follows. The first is that act consequentialism cannot account for our normative ambivalence in cases where agents perform the right act out of bad motives. The second is that act consequentialism is silent on questions of character: questions like ‘What are the (...) right motives to have?’ and ‘What kind of person ought I be?’. These objections have been taken to motivate a move to global consequentialism, on which acts are not the only subjects of normative assessment. Motives and decision-procedures are also judged right or wrong by direct reference to their consequences. In this paper, I argue that these objections fail to motivate the move from act to global consequentialism. (shrink)

The distinction between the regulative (‘practical’, ‘subjective’, ‘decision-procedural’) and the theoretical (‘objective’, ‘absolute’) pertains to the aims (the desiderata) of an account of justification. This distinction began in ethics and spread to epistemology. Each of internalism, externalism, is separately forced to draw this distinction to avoid a stock, otherwise fatal, argument levelled against them by the other. Given this situation however, we may finesse much partisan conflict in epistemology by simply seeing differing accounts of justification as answering to radically (...) distinct desiderata of adequacy. We should see knowledge as answering to the theoretical desideratum of adequacy alone; and rationality as answering to the regulative desideratum of adequacy alone. Objections to this ‘Gordian’ [knot] approach to epistemology (from virtues theorists and others) are rejected. Such an approach may make for accounts that violate our ordinary language intuitions; but in developing an epistemological axiology, any such intuitions are not to the point. (shrink)

In this paper, I maintain—contrary to those commentators who regard him as a principled republican—that at the core of Spinoza’s political theory is an instrumental, rather than an intrinsic, defense of democratic procedures. Specifically, Spinoza embraces democratic decision procedures primarily because they tend to result in better decisions, defined relative to a procedure-independent standard of correctness or goodness. In contemporary terms, Spinoza embraces an epistemic defense of democracy. I examine Spinoza’s defense of collective governance, showing not only how (...) it differs from other accounts of his time but also how it might contribute to current debates about the epistemic standing of popular governing bodies. In the opening section I defend the thesis that has been contested in recent years that Spinoza was, in fact, a consistent democrat. The second section focuses on procedural (i.e., intrinsic) defenses of democracy, paying particular attention to the republican version of proceduralism that was prominent in Spinoza’s time. And in the final section I present my case for reading Spinoza as an epistemic democrat, comparing his epistemic defense with contemporary versions. What we find are not only striking anticipations of contemporary arguments, but also largely neglected lines of argumentation that reveal both the potential epistemic advantages and disadvantages of democracy. (shrink)

If whatever counts as merit for some purpose is unevenly distributed, a decision procedure that accurately sorts people on that basis will “pick up” and reproduce the pre-existing pattern in ways that more random, less merit-tracking procedures would not. This dynamic is an important cause for concern about the use of predictive models to allocate goods and opportunities. In this article, I distinguish two different objections that give voice to that concern in different ways. First, decision procedures (...) may contribute to future social injustice and other social ills by sustaining or aggravating patterns that undermine equality of status and opportunity. Second, the same decision procedures may wrong particular individuals by compounding prior injustices that explain those persons’ predicted or actual characteristics. I argue for the importance of the first idea and raise doubts about the second. In normative assessments and legal regulation of algorithmic decisionmaking, as in our thinking about anti-discrimination norms more broadly, a central concern ought to be the prospect of entrenching harmful and unjust patterns—quite apart from any personal wrong done to the individuals about whom predictions are made. (shrink)