Results for 'Operations Standard'

965 found
Order:
  1. Intermediate Role of Operations Standard in the Relationship between the Focus on Benefiting Students and Students Satisfaction in Palestinian Universities.Suliman A. El Talla, Mazen J. Al Shobaki, Samy S. Abu-Naser & Ahmed M. A. FarajAllah - 2019 - International Journal of Academic Multidisciplinary Research (IJAMR) 3 (5):86-100.
    The study aimed to identify the intermediate role of the standard of operations in the relationship between the focus on students and beneficiaries in achieving satisfaction of students in Palestinian universities. The study used the analytical descriptive method. The study was conducted on university leadership in Al-Azhar, Islamic and Al-Aqsa Universities. The study sample consisted of (200) individuals, 182 of whom responded, and the questionnaire was used in collecting the data. The results of the study were as follows: (...)
    Download  
     
    Export citation  
     
    Bookmark  
  2. Dispositionalism and the Modal Operators.David Yates - 2015 - Philosophy and Phenomenological Research 91 (2):411-424.
    Actualists of a certain stripe—dispositionalists—hold that metaphysical modality is grounded in the powers of actual things. Roughly: p is possible iff something has, or some things have, the power to bring it about that p. Extant critiques of dispositionalism focus on its material adequacy, and question whether there are enough powers to account for all the possibilities we intuitively want to countenance. For instance, it seems possible that none of the actual contingent particulars ever existed, but it is impossible to (...)
    Download  
     
    Export citation  
     
    Bookmark   28 citations  
  3. Color Adjectives, Standards, and Thresholds: An Experimental Investigation.Nat Hansen & Emmanuel Chemla - 2017 - Linguistics and Philosophy 40 (3):1--40.
    Are color adjectives ("red", "green", etc.) relative adjectives or absolute adjectives? Existing theories of the meaning of color adjectives attempt to answer that question using informal ("armchair") judgments. The informal judgments of theorists conflict: it has been proposed that color adjectives are absolute with standards anchored at the minimum degree on the scale, that they are absolute but have near-midpoint standards, and that they are relative. In this paper we report two experiments, one based on entailment patterns and one based (...)
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  4. Logical operators for ontological modeling.Stefano Borgo, Daniele Porello & Nicolas Troquard - 2014 - In Pawel Garbacz & Oliver Kutz (eds.), Formal Ontology in Information Systems - Proceedings of the Eighth International Conference, {FOIS} 2014, September, 22-25, 2014, Rio de Janeiro, Brazil}. pp. 23--36.
    We show that logic has more to offer to ontologists than standard first order and modal operators. We first describe some operators of linear logic which we believe are particularly suitable for ontological modeling, and suggest how to interpret them within an ontological framework. After showing how they can coexist with those of classical logic, we analyze three notions of artifact from the literature to conclude that these linear operators allow for reducing the ontological commitment needed for their formalization, (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  5. Co-operative solutions to the prisoner's dilemma.Duncan Macintosh - 1991 - Philosophical Studies 64 (3):309 - 321.
    For the tradition, an action is rational if maximizing; for Gauthier, if expressive of a disposition it maximized to adopt; for me, if maximizing on rational preferences, ones whose possession maximizes given one's prior preferences. Decision and Game Theory and their recommendations for choice need revamping to reflect this new standard for the rationality of preferences and choices. It would not be rational when facing a Prisoner's Dilemma to adopt or co-operate from Amartya Sen's "Assurance Game" or "Other Regarding" (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  6. Standard Threats: How to Violate Basic Human Rights.Anthony R. Reeves - 2015 - Social Theory and Practice 41 (3):403-434.
    The paper addresses the nature of duties grounded in human rights. Rather than being protections against harm, per se, I contend that human rights largely shield against risk impositions to protected interests. “Risk imposition” is a normative idea requiring explication, but understanding dutiful action in its terms enables human rights to provide prospective policy guidance, hold institutions accountable, operate in non-ideal circumstances, embody impartiality among persons, and define the moral status of agencies in international relations. Slightly differently, I indicate a (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  7. Notes on a semantic analysis of variable binding term operators.J. Corcoran & John Herring - 1971 - Logique Et Analyse 55:644-657.
    -/- A variable binding term operator (vbto) is a non-logical constant, say v, which combines with a variable y and a formula F containing y free to form a term (vy:F) whose free variables are exact ly those of F, excluding y. -/- Kalish-Montague proposed using vbtos to formalize definite descriptions, set abstracts {x: F}, minimalization in recursive function theory, etc. However, they gave no sematics for vbtos. Hatcher gave a semantics but one that has flaws. We give a correct (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  8. Completeness and decidability results for some propositional modal logics containing “actually” operators.Dominic Gregory - 2001 - Journal of Philosophical Logic 30 (1):57-78.
    The addition of "actually" operators to modal languages allows us to capture important inferential behaviours which cannot be adequately captured in logics formulated in simpler languages. Previous work on modal logics containing "actually" operators has concentrated entirely upon extensions of KT5 and has employed a particular modeltheoretic treatment of them. This paper proves completeness and decidability results for a range of normal and nonnormal but quasi-normal propositional modal logics containing "actually" operators, the weakest of which are conservative extensions of K, (...)
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  9. Evitable iterates of the consistency operator.James Walsh - 2023 - Computability 12 (1):59--69.
    Why are natural theories pre-well-ordered by consistency strength? In previous work, an approach to this question was proposed. This approach was inspired by Martin's Conjecture, one of the most prominent conjectures in recursion theory. Fixing a reasonable subsystem $T$ of arithmetic, the goal was to classify the recursive functions that are monotone with respect to the Lindenbaum algebra of $T$. According to an optimistic conjecture, roughly, every such function must be equivalent to an iterate $\mathsf{Con}_T^\alpha$ of the consistency operator ``in (...)
    Download  
     
    Export citation  
     
    Bookmark  
  10. Universal Metadata Standard.Andrej Poleev - 2011 - Scientific and Technical Information Processing 38 (2):119-122.
    Consciousness is based on the association of notions or a neural network. Similarly, the creation of the next generation Internet (semantic web) is impossible without attributes that allow the semantic association of documents and their integration into an information context. To achieve these goals, the Universal Metadata Standard (UMS) may serve as a basis for documentography and is functionally required for interpretation of documents by automatic operating systems.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  11. Translating Metainferences Into Formulae: Satisfaction Operators and Sequent Calculi.Ariel Jonathan Roffé & Federico Pailos - 2021 - Australasian Journal of Logic 3.
    In this paper, we present a way to translate the metainferences of a mixed metainferential system into formulae of an extended-language system, called its associated σ-system. To do this, the σ-system will contain new operators (one for each standard), called the σ operators, which represent the notions of "belonging to a (given) standard". We first prove, in a model-theoretic way, that these translations preserve (in)validity. That is, that a metainference is valid in the base system if and only (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  12. Standard Neutrosophic Soft Theory- Some First Resluts.Bui Cong Cuong, Pham Hong Phong & Florentin Smarandache - 2016 - Neutrosophic Sets and Systems 12:80-91.
    The traditional soft set is a mapping from a parameter set to family of all crisp subsets of a universe. Molodtsov introduced the soft set as a generalized tool for modelling complex systems involving uncertain or not clearly defined objects. In this paper, the notion of neutrosophic soft set is reanalysed. The novel theory is a combination of neutrosophic set theory and soft set theory. The complement, “and”, “or”, intersection and union operations are defined on the neutrosophic soft sets. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  13. The Availability of the Resource Standard and Partnership as One of the Possibilities of Excellence in Palestinian Universities According to the European Model.Suliman A. El Talla, Ahmed M. A. FarajAllah, Samy S. Abu-Naser & Mazen J. Al Shobaki - 2018 - International Journal of Academic Multidisciplinary Research (IJAMR) 2 (11):31-40.
    The study aimed to identify the availability of the resource and partnership standard as one of the possibilities of excellence in Palestinian universities according to the European model. The study used the analytical descriptive method. The study was conducted on the university leadership at Al - Azhar and Islamic Universities, where the study population consisted of (282) individuals. The study sample consisted of (135) individuals, (119) of them responded, and the questionnaire was used in collecting the data. The study (...)
    Download  
     
    Export citation  
     
    Bookmark  
  14. 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 input set (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  15. Definición Mejorada de Lógica Neutrosófica No Estándar e Introducción a los Hiperreales Neutrosóficos (Quinta versión). Improved Definition of Non-Standard Neutrosophic Logic and Introduction to Neutrosophic Hyperreals (Fifth Version).Florentin Smarandache - 2022 - Neutrosophic Computing and Machine Learning 23 (1):1-20.
    In the fifth version of our reply article [26] to Imamura's critique, we recall that Neutrosophic Non-Standard Logic was never used by the neutrosophic community in any application, that the quarter-century old (1995-1998) neutrosophic operators criticized by Imamura were never used as they were improved soon after, but omits to talk about their development, and that in real-world applications we need to convert/approximate the hyperreals, monads and bi-nads of Non-Standard Analysis to tiny intervals with the desired precision; otherwise (...)
    Download  
     
    Export citation  
     
    Bookmark  
  16. Time and Tense.Berit Brogaard - 1997 - In Bob Hale, Crispin Wright & Alexander Miller (eds.), A Companion to the Philosophy of Language. Chichester, West Sussex, UK: Wiley-Blackwell. pp. 765-786.
    Two of the main debates in philosophy of language concerning time and tense are the debate about the semantics of the tenses in the English language and the debate over whether propositions can be transiently true or false as opposed to always being eternally true or false. The latter quarrel is also known as the "temporalism–eternalism debate." Given standard semantics, the two debates are not logically independent, as we will see. Those who believe propositions are eternally true or false (...)
    Download  
     
    Export citation  
     
    Bookmark  
  17.  23
    The Nuances of Deprogramming Zeros.Parker Emmerson - 2024 - Journal of Liberated Mathematics.
    Description In this paper, we propose an advanced mathematical framework centered around the Energy Number Field (E), which fundamentally avoids the conventional concept of zero by introducing a neutral ele- ment, νE. Through this approach, we redefine core mathematical constructs, including limits, continuity, differentiation, integration, and series summation, ensuring they operate seamlessly within a zero-less paradigm. We address and redefine matrix operations, topology, metric spaces, and complex analysis, aligning them with the principles of E. Additionally, we explore non-mappable properties (...)
    Download  
     
    Export citation  
     
    Bookmark  
  18. Tense Logic and Ontology of Time.Avril Styrman - 2021 - Emilio M. Sanfilippo Et Al, Eds., Proceedings of FOUST 2021: 5th Workshop on Foundational Ontology, Held at JOWO 2021: Episode VII The Bolzano Summer of Knowledge, September 11–18, 2021, Bolzano, Italy, CEURWS, Vol. 2969, 2021.
    This work aims to make tense logic a more robust tool for ontologists, philosophers, knowledge engineers and programmers by outlining a fusion of tense logic and ontology of time. In order to make tense logic better understandable, the central formal primitives of standard tense logic are derived as theorems from an informal and intuitive ontology of time. In order to make formulation of temporal propositions easier, temporal operators that were introduced by Georg Henrik von Wright are developed, and mapped (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  19. Iterated privation and positive predication.Bjørn Jespersen, Massimiliano Carrara & Marie Duží - 2017 - Journal of Applied Logic 25:S48-S71.
    The standard rule of single privative modification replaces privative modifiers by Boolean negation. This rule is valid, for sure, but also simplistic. If an individual a instantiates the privatively modified property (MF) then it is true that a instantiates the property of not being an F, but the rule fails to express the fact that the properties (MF) and F have something in common. We replace Boolean negation by property negation, enabling us to operate on contrary rather than contradictory (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  20. The c-aplpha Non Exclusion Principle and the vastly different internal electron and muon center of charge vacuum fluctuation geometry.Jim Wilson - forthcoming - Physics Essays.
    The electronic and muonic hydrogen energy levels are calculated very accurately [1] in Quantum Electrodynamics (QED) by coupling the Dirac Equation four vector (c ,mc2) current covariantly with the external electromagnetic (EM) field four vector in QED’s Interactive Representation (IR). The c -Non Exclusion Principle(c -NEP) states that, if one accepts c as the electron/muon velocity operator because of the very accurate hydrogen energy levels calculated, the one must also accept the resulting electron/muon internal spatial and time coordinate operators (ISaTCO) (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  21. Index, context, and the content of knowledge.Brian Rabern - 2017 - In Jonathan Jenkins Ichikawa (ed.), The Routledge Handbook of Epistemic Contextualism. New York: Routledge. pp. 465-479.
    The verb 'knows' is often taken to be context-sensitive in an interesting way. What 'knows' means seems to be sensitive to the epistemic features of the context, e.g. the epistemic standard in play, the set of relevant alternatives, etc. There are standard model-theoretic semantic frameworks which deal with both intensional operators and context-sensitive expressions. In this chapter, we provide a brief overview of the various moving parts of these frameworks, the roles of context and index, the need for (...)
    Download  
     
    Export citation  
     
    Bookmark  
  22. Logics of Formal Inconsistency Enriched with Replacement: An Algebraic and Modal Account.Walter Carnielli, Marcelo E. Coniglio & David Fuenmayor - 2022 - Review of Symbolic Logic 15 (3):771-806.
    One of the most expected properties of a logical system is that it can be algebraizable, in the sense that an algebraic counterpart of the deductive machinery could be found. Since the inception of da Costa's paraconsistent calculi, an algebraic equivalent for such systems have been searched. It is known that these systems are non self-extensional (i.e., they do not satisfy the replacement property). More than this, they are not algebraizable in the sense of Blok-Pigozzi. The same negative results hold (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  23. Addendum to Quantum Wave Function Collapse of a System Having Three anti Commuting Elements.Elio Conte - unknown
    We indicate a new way in the solution of the problem of the quantum measurement . In past papers we used the well-known formalism of the density matrix using an algebraic approach in a two states quantum spin system S, considering the particular case of three anticommuting elements. We demonstrated that, during the wave collapse, we have a transition from the standard Clifford algebra, structured in its space and metrics, to the new spatial structure of the Clifford dihedral algebra. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  24. Epistemic Modals.Seth Yalcin - 2007 - Mind 116 (464):983-1026.
    Epistemic modal operators give rise to something very like, but also very unlike, Moore's paradox. I set out the puzzling phenomena, explain why a standard relational semantics for these operators cannot handle them, and recommend an alternative semantics. A pragmatics appropriate to the semantics is developed and interactions between the semantics, the pragmatics, and the definition of consequence are investigated. The semantics is then extended to probability operators. Some problems and prospects for probabilistic representations of content and context are (...)
    Download  
     
    Export citation  
     
    Bookmark   377 citations  
  25. Modal Predicates.Andrea Iacona - 2004 - Australasian Journal of Logic 2:44-69.
    Despite the wide acceptance of standard modal logic, there has always been a temptation to think that ordinary modal discourse may be correctly analyzed and adequately represented in terms of predicates rather than in terms of operators. The aim of the formal model outlined in this paper is to capture what I take to be the only plausible sense in which ‘possible’ and ‘necessary’ can be treated as predicates. The model is built by enriching the language of standard (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  26. Scrutinizing Landbank of the Philippines as a Depository Bank of the Barangays in Makati City: Input Towards Public Service.Romulo Navarra, Aristeo Razon, Roberto Tampil & Cynic Tenedero - 2023 - International Journal of Multidisciplinary Educational Research and Innovation 1 (4):74-84.
    This study deals primarily with the effectiveness of the Land Bank of Philippines as a Depository Bank of Makati Branch in specific organization and bank operations management. This paper provides baseline data in aid of policy formulation to enhance the bank operations management that offers new motivation towards a policy that effectively addresses and solves the bank operations management. This study used the quantitative descriptive method. Thirteen (13) bank personnel and 64 barangays elected chairman, including the appointed (...)
    Download  
     
    Export citation  
     
    Bookmark  
  27. Two views of realization.Robert A. Wilson - 2001 - Philosophical Studies 104 (1):1-31.
    This paper examines the standard view of realization operative incontemporary philosophy of mind, and proposes an alternative, generalperspective on realization. The standard view can be expressed, insummary form, as the conjunction of two theses, the sufficiency thesis andthe constitutivity thesis. Physicalists of both reductionist and anti-reductionist persuasions share a conception of realization wherebyrealizations are determinative of the properties they realize and physically constitutive of the individuals with those properties. Centralto the alternative view that I explore here is the (...)
    Download  
     
    Export citation  
     
    Bookmark   53 citations  
  28. Generic Excluded Middle.James Ravi Kirkpatrick - 2023 - Philosophers' Imprint.
    There is a standard quantificational view of generic sentences according to which they have a tripartite logical form involving a phonologically null generic operator called 'Gen'. Recently, a number of theorists have questioned the standard view and revived a competing proposal according to which generics involve the predication of properties to kinds. This paper offers a novel argument against the kind-predication approach on the basis of the invalidity of Generic Excluded Middle, a principle according to which any sentence (...)
    Download  
     
    Export citation  
     
    Bookmark  
  29. Science, Religion, and “The Will to Believe".Alexander Klein - 2015 - Hopos: The Journal of the International Society for the History of Philosophy of Science 5 (1):72-117.
    Do the same epistemic standards govern scientific and religious belief? Or should science and religion operate in completely independent epistemic spheres? Commentators have recently been divided on William James’s answer to this question. One side depicts “The Will to Believe” as offering a separate-spheres defense of religious belief in the manner of Galileo. The other contends that “The Will to Believe” seeks to loosen the usual epistemic standards so that religious and scientific beliefs can both be justified by a unitary (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  30. Knowability Relative to Information.Peter Hawke & Franz Berto - 2021 - Mind 130 (517):1-33.
    We present a formal semantics for epistemic logic, capturing the notion of knowability relative to information (KRI). Like Dretske, we move from the platitude that what an agent can know depends on her (empirical) information. We treat operators of the form K_AB (‘B is knowable on the basis of information A’) as variably strict quantifiers over worlds with a topic- or aboutness- preservation constraint. Variable strictness models the non-monotonicity of knowledge acquisition while allowing knowledge to be intrinsically stable. Aboutness-preservation models (...)
    Download  
     
    Export citation  
     
    Bookmark   24 citations  
  31. Simple Hyperintensional Belief Revision.F. Berto - 2018 - Erkenntnis 84 (3):559-575.
    I present a possible worlds semantics for a hyperintensional belief revision operator, which reduces the logical idealization of cognitive agents affecting similar operators in doxastic and epistemic logics, as well as in standard AGM belief revision theory. (Revised) belief states are not closed under classical logical consequence; revising by inconsistent information does not perforce lead to trivialization; and revision can be subject to ‘framing effects’: logically or necessarily equivalent contents can lead to different revisions. Such results are obtained without (...)
    Download  
     
    Export citation  
     
    Bookmark   28 citations  
  32. Special-science counterfactuals.Christian List - 2022 - The Monist 105 (2):194–213.
    On the standard analysis, a counterfactual conditional such as “If P had been the case, then Q would have been the case” is true in the actual world if, in all nearest possible worlds in which its antecedent (P) is true, its consequent (Q) is also true. Despite its elegance, this analysis faces a difficulty if the laws of nature are deterministic. Then the antecedent could not have been true, given prior conditions. So, it is unclear what the relevant (...)
    Download  
     
    Export citation  
     
    Bookmark  
  33. The Institution of Life in Gehlen and Merleau-Ponty: Searching for the Common Ground for the Anthropological Difference.Jan Halák & Jiří Klouda - 2018 - Human Studies 41 (3):371-394.
    The goal of our article is to review the widespread anthropological figure, according to which we can achieve a better understanding of humans by contrasting them with animals. This originally Herderian approach was elaborated by Arnold Gehlen, who characterized humans as “deficient beings” who become complete through culture. According to Gehlen, humans, who are insufficiently equipped by instincts, indirectly stabilize their existence by creating institutions, i.e., complexes of habitual actions. On the other hand, Maurice Merleau-Ponty shows that corporeal relationship to (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  34. Modal meinongianism and fiction: The best of three worlds.Francesco Berto - 2011 - Philosophical Studies 152 (3):313-35.
    We outline a neo-Meinongian framework labeled as Modal Meinongian Metaphysics (MMM) to account for the ontology and semantics of fictional discourse. Several competing accounts of fictional objects are originated by the fact that our talking of them mirrors incoherent intuitions: mainstream theories of fiction privilege some such intuitions, but are forced to account for others via complicated paraphrases of the relevant sentences. An ideal theory should resort to as few paraphrases as possible. In Sect. 1, we make this explicit via (...)
    Download  
     
    Export citation  
     
    Bookmark   34 citations  
  35. On the Agent-Relativity of 'Ought'.Junhyo Lee - forthcoming - Analysis.
    In the standard theory of deontic modals, ‘ought’ is understood as expressing a propositional operator. However, this view has been called into question by Almotahari and Rabern’s puzzle about deontic ‘ought’, according to which the ethical principle that one ought to be wronged by another person rather than wrong them is intuitively coherent but the standard theory makes it incoherent. In this paper, I take up Almotahari and Rabern’s challenge and offer a refinement of the standard theory (...)
    Download  
     
    Export citation  
     
    Bookmark  
  36. Interests without History: Some Difficulties for a Negative Aristotelianism.Brian O'Connor - 2017 - European Journal of Philosophy 25 (3):854-860.
    This paper focuses on 3 features of Freyenhagen's Aristotelian version of Adorno. (a) It challenges the strict negativism Freyenhagen finds in Adorno. If we have morally relevant interests in ourselves, it is implicit that we have a standard by which to understand what is both good and bad for us (our interests). Because strict negativism operates without reference to what is good, it seems to be detached from real interests too. Torture, it is argued, is, among other things, a (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  37. Time's Arrow in a Quantum Universe: On the Status of Statistical Mechanical Probabilities.Eddy Keming Chen - 2020 - In Valia Allori (ed.), Statistical Mechanics and Scientific Explanation: Determinism, Indeterminism and Laws of Nature. Singapore: World Scientific. pp. 479–515.
    In a quantum universe with a strong arrow of time, it is standard to postulate that the initial wave function started in a particular macrostate---the special low-entropy macrostate selected by the Past Hypothesis. Moreover, there is an additional postulate about statistical mechanical probabilities according to which the initial wave function is a ''typical'' choice in the macrostate. Together, they support a probabilistic version of the Second Law of Thermodynamics: typical initial wave functions will increase in entropy. Hence, there are (...)
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  38.  68
    Tractable depth-bounded approximations to FDE and its satellites.A. Solares-Rojas & Marcello D'Agostino - 2023 - Journal of Logic and Computation 34 (5):815-855.
    FDE, LP and K3 are closely related to each other and admit of an intuitive informational interpretation. However, all these logics are co-NP complete, and so idealized models of how an agent can think. We address this issue by shifting to signed formulae, where the signs express imprecise values associated with two bipartitions of the corresponding set of standard values. We present proof systems whose operational rules are all linear and have only two structural branching rules that express a (...)
    Download  
     
    Export citation  
     
    Bookmark  
  39. On the explanatory power of truth in logic.Gila Sher - 2018 - Philosophical Issues 28 (1):348-373.
    Philosophers are divided on whether the proof- or truth-theoretic approach to logic is more fruitful. The paper demonstrates the considerable explanatory power of a truth-based approach to logic by showing that and how it can provide (i) an explanatory characterization —both semantic and proof-theoretical—of logical inference, (ii) an explanatory criterion for logical constants and operators, (iii) an explanatory account of logic’s role (function) in knowledge, as well as explanations of (iv) the characteristic features of logic —formality, strong modal force, generality, (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  40. The Concept of Accountability in AI Ethics and Governance.Theodore Lechterman - 2023 - In Justin B. Bullock, Yu-Che Chen, Johannes Himmelreich, Valerie M. Hudson, Anton Korinek, Matthew M. Young & Baobao Zhang (eds.), The Oxford Handbook of AI Governance. Oxford University Press.
    Calls to hold artificial intelligence to account are intensifying. Activists and researchers alike warn of an “accountability gap” or even a “crisis of accountability” in AI. Meanwhile, several prominent scholars maintain that accountability holds the key to governing AI. But usage of the term varies widely in discussions of AI ethics and governance. This chapter begins by disambiguating some different senses and dimensions of accountability, distinguishing it from neighboring concepts, and identifying sources of confusion. It proceeds to explore the idea (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  41. Restricting and Embedding Imperatives.Nate Charlow - 2010 - In Maria Aloni, H. Bastiaanse, T. De Jager & Katrin Schulz (eds.), Logic, Language, and Meaning: Selected Papers from the 17th Amsterdam Colloquium. Springer.
    We use imperatives to refute a naïve analysis of update potentials (force-operators attaching to sentences), arguing for a dynamic analysis of imperative force as restrictable, directed, and embeddable. We propose a dynamic, non-modal analysis of conditional imperatives, as a counterpoint to static, modal analyses. Our analysis retains Kratzer's analysis of if-clauses as restrictors of some operator, but avoids typing it as a generalized quantifier over worlds (against her), instead as a dynamic force operator. Arguments for a restrictor treatment (but against (...)
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  42. Democracy Before, In, and After Schumpeter.Pettit Philip - 2017 - Critical Review: A Journal of Politics and Society 29 (4):492-504.
    The classical model of democracy that Schumpeter criticizes is manufactured out of a variety of earlier ideas, not those of any one thinker or even one school of thought. His critique of the central ideals by which he defines the model--those of the common will and the common good--remains persuasive. People's preferences are too messy and too manipulable to allow us to think that mass democracy can promote those ideals, as he defines them. Should we endorse his purely electoral model (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  43. Assessment of Microbiological Quality of Ready to Eat Food Served in Ships Along Warri, Koko and Port Harcourt Water Ways, Nigeria.Yusuf Babatunde Adiama, Olawale Henry Sawyerr, Opasola Afolabi Olaniyi, Alero Favour Fregene, Mubarakat Alabede & Morufu Olalekan Raimi - 2022 - Online Journal of Microbiological Research 1 (1):1-7.
    Background: Food-borne outbreaks have been associated with sourcing unsafe food. Therefore, the first preventative strategy should be to source safe food. Even if the sourced food is safe, measures need to be put in place to ensure that it remains safe during the transfer, storage, preparation and serving activities that follow. An understanding of the ship food supply and transfer chain will help to illustrate the points at which the food can become contaminated en route to the point of consumption. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  44. On the Meaning of 'Therefore'.Carlotta Pavese - 2017 - Analysis 77 (1):88-97.
    I argue for an analysis of ‘therefore’ as presupposition trigger against the more standard conventional implicature story originally put forward by Grice (1975). I propose that we model the relevant presupposition as “testing” the context in a way that is similar to how, according to some dynamic treatments of epistemic `must', ‘must’ tests the context. But whereas the presupposition analysis is plausible for ‘therefore’, ‘must’ is not plausibly a presupposition trigger. Moreover, whereas ‘must’ can naturally occur under a supposition, (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  45. Reasoning in attitudes.Franz Dietrich & Antonios Staras - 2022 - Synthese 200 (6):1–31.
    People reason not only in beliefs, but also in intentions, preferences, and other attitudes. They form preferences from existing preferences, or intentions from existing beliefs and intentions, and so on. This often involves choosing between rival conclusions. Building on Broome (Rationality through reasoning, Hoboken, Wiley. https://doi.org/10.1002/9781118609088, 2013) and Dietrich et al. (J Philos 116:585–614. https://doi.org/10.5840/jphil20191161138, 2019), we present a philosophical and formal analysis of reasoning in attitudes, with or without facing choices in reasoning. We give different accounts of choosing, in (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  46. Presuppositional exhaustification.Itai Bassi, Guillermo Del Pinal & Uli Sauerland - 2021 - Semantics and Pragmatics 14:1-42.
    Grammatical theories of Scalar Implicatures make use of an exhaustivity operator exh, which asserts the conjunction of the prejacent with the negation of excludable alternatives. We present a new Grammatical theory of Scalar Implicatures according to which exh is replaced with pex, an operator that contributes its prejacent as asserted content, but the negation of scalar alternatives at a non-at-issue level of meaning. We show that by treating this non-at-issue level as a presupposition, this theory resolves a number of empirical (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  47. The Prejudicial Effects of 'Reasonable Steps' in Analysis of Mens Rea and Sexual Consent: Two Solutions.Lucinda Vandervort - 2018 - Alberta Law Review 55 (4):933-970.
    This article examines the operation of “reasonable steps” as a statutory standard for analysis of the availability of the defence of belief in consent in sexual assault cases and concludes that application of section 273.2(b) of the Criminal Code, as presently worded, often undermines the legal validity and correctness of decisions about whether the accused acted with mens rea, a guilty, blameworthy state of mind. When the conduct of an accused who is alleged to have made a mistake about (...)
    Download  
     
    Export citation  
     
    Bookmark  
  48. Responsibility in Descartes’s Theory of Judgment.Marie Jayasekera - 2016 - Ergo: An Open Access Journal of Philosophy 3 (12):321-347.
    In this paper I develop a new account of the philosophical motivations for Descartes’s theory of judgment. The theory needs explanation because the idea that judgment, or belief, is an operation of the will seems problematic at best, and Descartes does not make clear why he adopted what, at the time, was a novel view. I argue that attending to Descartes’s conception of the will as the active, free faculty of mind reveals that a general concern with responsibility motivates his (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  49. Strawsonian Moral Responsibility, Response-Dependence, and the Possibility of Global Error.Patrick Todd - forthcoming - Midwest Studies in Philosophy.
    Various philosophers have wanted to move from a (P.F.) “Strawsonian” understanding of the “practices of moral responsibility” to a non-skeptical result. I focus on a strategy moving from a “response-dependent” theory of responsibility. I aim to show that a key analogy associated with this strategy fails to support a compatibilist result. It seems clear that nothing could show that nothing we have been laughing at has really been funny. If “the funny” is similar to “the blameworthy”, then perhaps it would (...)
    Download  
     
    Export citation  
     
    Bookmark  
  50. Triviality Results and the Relationship between Logical and Natural Languages.Justin Khoo & Matthew Mandelkern - 2019 - Mind 128 (510):485-526.
    Inquiry into the meaning of logical terms in natural language (‘and’, ‘or’, ‘not’, ‘if’) has generally proceeded along two dimensions. On the one hand, semantic theories aim to predict native speaker intuitions about the natural language sentences involving those logical terms. On the other hand, logical theories explore the formal properties of the translations of those terms into formal languages. Sometimes, these two lines of inquiry appear to be in tension: for instance, our best logical investigation into conditional connectives may (...)
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
1 — 50 / 965