Results for 'syntactic decision procedure'

999 found
Order:
  1. Apodeictic Syllogisms: Deductions and Decision Procedures.Fred Johnson - 1995 - History and Philosophy of Logic 16 (1):1-18.
    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.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  2. Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT Logics.Tim Lyon & Kees van Berkel - 2019 - In M. Baldoni, M. Dastani, B. Liao, Y. Sakurai & R. Zalila Wenkstern (eds.), PRIMA 2019: Principles and Practice of Multi-Agent Systems. 93413 Cham, Germany: Springer. pp. 202-218.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  3.  51
    Proving Unprovability in Some Normal Modal Logics.Valentin Goranko - 1991 - Bulletin of the Section of Logic 20 (1):23-29.
    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.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  4. Decision Procedures, Moral Criteria, and the Problem of Relevant Descriptions in Kant's Ethics.Mark Timmons - 1997 - In B. Sharon Byrd, Joachim Hruschka & Jan C. Joerdan (eds.), Jahrbuch Für Recht Und Ethik. Duncker Und Humblot.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  5. Decision Procedures, Standards of Rightness and Impartiality.Cynthia A. Stark - 1997 - Noûs 31 (4):478-495.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  6.  96
    Tableau-Based Decision Procedure for the Multiagent Epistemic Logic with All Coalitional Operators for Common and Distributed Knowledge.M. Ajspur, V. Goranko & D. Shkatov - 2013 - Logic Journal of the IGPL 21 (3):407-437.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  7.  97
    Refutation Systems in Modal Logic.Valentin Goranko - 1994 - Studia Logica 53 (2):299 - 324.
    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.
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  8.  97
    A Decision Procedure for Herbrand Formulas Without Skolemization.Timm Lampert - manuscript
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  9.  76
    Optimal Decision Procedures for Satisfiability in Fragments of Alternating-Time Temporal Logics.Valentin Goranko & Steen Vester - 2014 - In Rajeev Goré, Barteld Kooi & Agi Kurucz (eds.), Advances in Modal Logic, Volume 10. College Publications. pp. 234-253.
    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. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  10. On the Logic of Common Belief and Common Knowledge.Luc Lismont & Philippe Mongin - 1994 - Theory and Decision 37 (1):75-106.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  11. Semantic Arithmetic: A Preface.John Corcoran - 1995 - Agora 14 (1):149-156.
    SEMANTIC ARITHMETIC: A PREFACE John Corcoran Abstract Number theory, or pure arithmetic, concerns the natural numbers themselves, not the notation used, and in particular not the numerals. String theory, or pure syntax, concems the numerals as strings of «uninterpreted» characters without regard to the numbe~s they may be used to denote. Number theory is purely arithmetic; string theory is purely syntactical... in so far as the universe of discourse alone is considered. Semantic arithmetic is a broad subject which begins when (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  12. Two Concepts of "Form" and the so-Called Computational Theory of Mind.John-Michael Kuczynski - 2006 - Philosophical Psychology 19 (6):795-821.
    According to the computational theory of mind , to think is to compute. But what is meant by the word 'compute'? The generally given answer is this: Every case of computing is a case of manipulating symbols, but not vice versa - a manipulation of symbols must be driven exclusively by the formal properties of those symbols if it is qualify as a computation. In this paper, I will present the following argument. Words like 'form' and 'formal' are ambiguous, as (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  13. On Minimal Models for Pure Calculi of Names.Piotr Kulicki - 2013 - Logic and Logical Philosophy 22 (4):429–443.
    By pure calculus of names we mean a quantifier-free theory, based on the classical propositional calculus, which defines predicates known from Aristotle’s syllogistic and Leśniewski’s Ontology. For a large fragment of the theory decision procedures, defined by a combination of simple syntactic operations and models in two-membered domains, can be used. We compare the system which employs `ε’ as the only specific term with the system enriched with functors of Syllogistic. In the former, we do not need an (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  14. Introducing Exclusion Logic as a Deontic Logic.Richard Evans - 2010 - DEON 2010 10 (1):179-195.
    This paper introduces Exclusion Logic - a simple modal logic without negation or disjunction. We show that this logic has an efficient decision procedure. We describe how Exclusion Logic can be used as a deontic logic. We compare this deontic logic with Standard Deontic Logic and with more syntactically restricted logics.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  15. Syllogisms with Fractional Quantifiers.Fred Johnson - 1994 - Journal of Philosophical Logic 23 (4):401 - 422.
    Aristotle's syllogistic is extended to include denumerably many quantifiers such as 'more than 2/3' and 'exactly 2/3.' Syntactic and semantic decision procedures determine the validity, or invalidity, of syllogisms with any finite number of premises. One of the syntactic procedures uses a natural deduction account of deducibility, which is sound and complete. The semantics for the system is non-classical since sentences may be assigned a value other than true or false. Results about symmetric systems are given. And (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  16. What Decision Theory Provides the Best Procedure for Identifying the Best Action Available to a Given Artificially Intelligent System?Samuel A. Barnett - 2018 - Dissertation, University of Oxford
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  17.  47
    How to Reach Legitimate Decisions When the Procedure is Controversial.Franz Dietrich - 2005 - Social Choice and Welfare 1 (24):363-393.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  18. Procedural Moral Enhancement.G. Owen Schaefer & Julian Savulescu - 2019 - Neuroethics 12 (1):73-84.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  19. Group Duties Without Decision-Making Procedures.Gunnar Björnsson - 2020 - Journal of Social Ontology 6 (1):127-139.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  20. The Role of Administrative Procedures and Regulations in Enhancing the Performance of The Educational Institutions - The Islamic University in Gaza is A Model.Ashraf A. M. Salama, Youssef M. Abu Amuna, Mazen J. Al Shobaki & Samy S. Abu-Naser - 2018 - International Journal of Academic Multidisciplinary Research (IJAMR) 2 (2):14-27.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  21. Artificial Intelligence and Patient-Centered Decision-Making.Jens Christian Bjerring & Jacob Busch - 2020 - Philosophy and Technology 34 (2):349-371.
    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, (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  22. Heinrich Behmann’s 1921 Lecture on the Decision Problem and the Algebra of Logic.Paolo Mancosu & Richard Zach - 2015 - Bulletin of Symbolic Logic 21 (2):164-187.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  23. Epistemic Diversity and Editor Decisions: A Statistical Matthew Effect.Remco Heesen & Jan-Willem Romeijn - 2019 - Philosophers' Imprint 19.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  24. Subliminal Enhancement of Predictive Effects During Syntactic Processing in the Left Inferior Frontal Gyrus: An MEG Study.Kazuki Iijima & Kuniyoshi L. Sakai - 2014 - Frontiers in Systems Neuroscience 8 (217):01-14.
    Predictive syntactic processing plays an essential role in language comprehension. In our previous study using Japanese object-verb (OV) sentences, we showed that the left inferior frontal gyrus (IFG) responses to a verb increased at 120–140 ms after the verb onset, indicating predictive effects caused by a preceding object. To further elucidate the automaticity of the predictive effects in the present magnetoencephalography study, we examined whether a subliminally presented verb (“subliminal verb”) enhanced the predictive effects on the sentence-final verb (“target (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  25.  80
    Tableaux-Based Decision Method for Single-Agent Linear Time Synchronous Temporal Epistemic Logics with Interacting Time and Knowledge.Mai Ajspur & Valentin Goranko - 2013 - In Kamal Lodaya (ed.), Logic and its Applications. Springer. pp. 80--96.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  26.  13
    Predisposing the Decision Maker Versus Framing the Decision: A Consumer-Manipulation Approach to Dynamic Preference.Brian J. Gibbs - 1997 - Marketing 8 (1):71-83.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  27.  46
    Philosophical Dialogue and Military Decision Making.Ibanga Ikpe - 2015 - HASER: Revista Internacional de Filosofía Aplicada 6 (1):29-51.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  28. Libertarian Patriarchalism: Nudges, Procedural Roadblocks, and Reproductive Choice.Govind Persad - 2014 - Women’s Rights L. Rep 35:273--466.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  29.  82
    The Role of Entscheider in the Asylum Procedure: A Legal and Ethical Analysis.Nicolas Kleinschmidt & Jessica Krüger - 2019 - Proceedings of the 2018 ZiF Workshop “Studying Migration Policies at the Interface Between Empirical Research and Normative Analysis”.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  30. Using Simulation in the Assessment of Voting Procedures: An Epistemic Instrumental Approach.Marc Jiménez Rolland, Julio César Macías-Ponce & Luis Fernando Martínez-Álvarez - forthcoming - Simulation: Transactions of the Society for Modeling and Simulation International:1-8.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  31.  99
    Difficult Trade-Offs in Response to COVID-19: The Case for Open and Inclusive Decision-Making.Ole Frithjof Norheim, Joelle Abi-Rached, Liam Kofi Bright, Kristine Baeroe, Octavio Ferraz, Siri Gloppen & Alex Voorhoeve - 2021 - Nature Medicine 27:10-13.
    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.
    Download  
     
    Export citation  
     
    Bookmark  
  32.  13
    Method of Informational Risk Range Evaluation in Decision Making.Zinchenko A. O., Korolyuk N. O., Korshets E. A. & Nevhad S. S. - 2020 - Artificial Intelligence Scientific Journal 25 (3):38-44.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  33. The Discursive Dilemma and Public Reason.Christian List - 2006 - Ethics 116 (2):362-402.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   82 citations  
  34. Unplanned Coordination: Ensemble Improvisation as Collective Action.Ali Hasan & Jennifer Kayle - forthcoming - Journal of Social Ontology.
    The characteristic features of ensemble dance improvisation (EDI) make it an interesting case for theories of intentional collective action. These features include the high degree of freedom enjoyed by each individual, and the lack of fixed hierarchical roles, rigid decision procedures, or detailed plans. In this article, we present a “reductive” approach to collective action, apply it to EDI, and show how the theory enriches our perspective on this practice. We show, with the help of our theory of collective (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  35. The Regulative and the Theoretical in Epistemology.Robert Lockie - 2014 - Abstracta 8 (1):3-14.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  36. The Logical Space of Democracy.Christian List - 2011 - Philosophy and Public Affairs 39 (3):262-297.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  37. Act Utilitarianism.Ben Eggleston - 2014 - In Ben Eggleston & Dale E. Miller (eds.), The Cambridge Companion to Utilitarianism. Cambridge University Press. pp. 125-145.
    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).
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  38. What is Epistemic Entitlement? Reliable Competence, Reasons, Inference, Access.Peter Graham - forthcoming - In John Greco & Christoph Kelp (eds.), Virtue-Theoretic Epistemology: New Methods and Approaches. New York, USA: Cambridge University Press.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  39. Models for Modal Syllogisms.Fred Johnson - 1989 - Notre Dame Journal of Formal Logic 30 (2):271-284.
    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.
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  40. A Note on the Epistemology of Disagreement and Politics.Thomas Mulligan - 2016 - Political Theory 44 (5):657-663.
    Martin Ebeling argues that a popular theory in the epistemology of disagreement--conciliationism--supports an egalitarian approach to politics. This view is mistaken for two reasons. First, even if political parties have the epistemic value that Ebeling claims, voters should not regard each other as epistemic peers--which conciliationism requires that they do. The American electorate is strikingly heterogeneous in both its knowledgeability and its rationality, and so the necessary epistemic parity relation does not hold. Second, for technical reasons, the beliefs that a (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  41. Benedict Spinoza: Epistemic Democrat.Justin Steinberg - 2010 - History of Philosophy Quarterly 27 (2):145-164.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  42.  34
    Moral Theory and its Role in Everyday Moral Thought and Action.Brad Hooker - 2018 - In Karen Jones Aaron Zimmerman, Aaron Zimmerman, Karen Jones & Mark Timmons (eds.), The Routledge Handbook on Moral Epistemology. New York, USA: Routledge. pp. 387-400.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  43. An Ethics Framework for Big Data in Health and Research.Vicki Xafis, G. Owen Schaefer, Markus K. Labude, Iain Brassington, Angela Ballantyne, Hannah Yeefen Lim, Wendy Lipworth, Tamra Lysaght, Cameron Stewart, Shirley Sun, Graeme T. Laurie & E. Shyong Tai - 2019 - Asian Bioethics Review 11 (3):227-254.
    Ethical decision-making frameworks assist in identifying the issues at stake in a particular setting and thinking through, in a methodical manner, the ethical issues that require consideration as well as the values that need to be considered and promoted. Decisions made about the use, sharing, and re-use of big data are complex and laden with values. This paper sets out an Ethics Framework for Big Data in Health and Research developed by a working group convened by the Science, Health (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  44. Remarks on Axiomatic Rejection in Aristotle’s Syllogistic.Piotr Kulicki - 2002 - Studies in Logic and Theory of Knowledge 5:231-236.
    In the paper we examine the method of axiomatic rejection used to describe the set of nonvalid formulae of Aristotle's syllogistic. First we show that the condition which the system of syllogistic has to fulfil to be ompletely axiomatised, is identical to the condition for any first order theory to be used as a logic program. Than we study the connection between models used or refutation in a first order theory and rejected axioms for that theory. We show that any (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  45. Heuristics All the Way Up?Adam Morton - 2000 - Behavioral and Brain Sciences 23 (5):758-759.
    I investigate whether heuristics similar to those studied by Gigerenzer and his co-authors can apply to the problem of finding a suitable heuristic for a given problem. I argue that not only can heuristics of a very similar kind apply but they have the added advantage that they need not incorporate specific trade-off parameters for balancing the different desiderata of a good decision-procedure.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  46. Parry Syllogisms.Fred Johnson - 1999 - Notre Dame Journal of Formal Logic 40 (3):414-419.
    Parry discusses an extension of Aristotle's syllogistic that uses four nontraditional quantifiers. We show that his conjectured decision procedure for validity for the extended syllogistic is correct even if syllogisms have more than two premises. And we axiomatize this extension of the syllogistic.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  47. Plural Voting for the Twenty-First Century.Thomas Mulligan - 2018 - Philosophical Quarterly 68 (271):286-306.
    Recent political developments cast doubt on the wisdom of democratic decision-making. Brexit, the Colombian people's (initial) rejection of peace with the FARC, and the election of Donald Trump suggest that the time is right to explore alternatives to democracy. In this essay, I describe and defend the epistocratic system of government which is, given current theoretical and empirical knowledge, most likely to produce optimal political outcomes—or at least better outcomes than democracy produces. To wit, we should expand the suffrage (...)
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  48. Determinants of Organizational Justice and Their Relationship to Conscientious Behavior From the Point Of View of Officers Working In the Palestinian Police Force.Ahmed I. Alhussaina, Mohammed N. R. Abusamaan, Mazen J. Al-Shobaki, Suliman A. El Talla & Samy S. Abu-Naser - 2021 - International Journal of Academic Accounting, Finance and Management Research(IJAAFMR) 5 (2):67-88.
    Abstract: Purpose - This study aimed to analyze the relationship between the determinants of organizational justice and their relationship to conscientious behavior from the point of view of officers working in the Palestinian police in Gaza Strip. Methodology - The study relied on the descriptive and analytical approach, using the questionnaire, targeting a stratified random sample of (400) officers, who hold the rank of captain and above, from the study population of 1550 officers. The study tool was distributed among the (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  49. Are Algorithms Value-Free? Feminist Theoretical Virtues in Machine Learning.Gabbrielle Johnson - forthcoming - Journal Moral Philosophy.
    As inductive decision-making procedures, the inferences made by machine learning programs are subject to underdetermination by evidence and bear inductive risk. One strategy for overcoming these challenges is guided by a presumption in philosophy of science that inductive inferences can and should be value-free. Applied to machine learning programs, the strategy assumes that the influence of values is restricted to data and decision outcomes, thereby omitting internal value-laden design choice points. In this paper, I apply arguments from feminist (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  50.  63
    Is Global Consequentialism More Expressive Than Act Consequentialism?Elliott Thornley - forthcoming - Analysis.
    Act consequentialism states that an act is right iff 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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 999