Results for 'satisfiability'

894 found
Order:
  1. Must Good Reasoning Satisfy Cumulative Transitivity?Shyam Nair - 2019 - Philosophy and Phenomenological Research 98 (1):123-146.
    There is consensus among computer scientists, logicians, and philosophers that good reasoning with qualitative beliefs must have the structural property of cumulative transitivity or, for short, cut. This consensus is typically explicitly argued for partially on the basis of practical and mathematical considerations. But the consensus is also implicit in the approach philosophers take to almost every puzzle about reasoning that involves multiple steps: philosophers typically assume that if each step in reasoning is acceptable considered on its own, the whole (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  2. On Satisfying Duties to Assist.Christian Barry & Holly Lawford-Smith - 2019 - In Hilary Greaves & Theron Pummer (eds.), Effective Altruism: Philosophical Issues. Oxford: Oxford University Press.
    In this paper, we take up the question of whether there comes a point at which one is no longer morally obliged to do further good, even at very low cost to oneself. More specifically, they ask: under precisely what conditions is it plausible to say that that “point” has been reached? A crude account might focus only on, say, the amount of good the agent has already done, but a moment’s reflection shows that this is indeed too crude. We (...)
    Download  
     
    Export citation  
     
    Bookmark  
  3.  81
    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$^{+}$ (...)
    Download  
     
    Export citation  
     
    Bookmark  
  4. Is Perception Cognitively Penetrable? A Philosophically Satisfying and Empirically Testable Reframing.Gary Lupyan, Dustin Stokes, Fiona Macpherson, Rasha Abdel Rahman & Robert Goldstone - 2013 - Proceedings of the 35th Annual Conference of the Cognitive Science Society 1:91-2.
    The question of whether perception can be penetrated by cognition is in the limelight again. The reason this question keeps coming up is that there is so much at stake: Is it possible to have theory-neutral observation? Is it possible to study perception without recourse to expectations, context, and beliefs? What are the boundaries between perception, memory, and inference (and do they even exist)? Are findings from neuroscience that paint a picture of perception as an inherently bidirectional and interactive process (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  5. Non-Empirical Requirements Scientific Theories Must Satisfy: Simplicity, Unification, Explanation, Beauty.Nicholas Maxwell - 2004 - PhilSci Archive.
    A scientific theory, in order to be accepted as a part of theoretical scientific knowledge, must satisfy both empirical and non-empirical requirements, the latter having to do with simplicity, unity, explanatory character, symmetry, beauty. No satisfactory, generally accepted account of such non-empirical requirements has so far been given. Here, a proposal is put forward which, it is claimed, makes a contribution towards solving the problem. This proposal concerns unity of physical theory. In order to satisfy the non-empirical requirement of unity, (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  6. Virtue in Business: Morally Better, Praiseworthy, Trustworthy, and More Satisfying.E. T. Cokely & A. Feltz - forthcoming - Journal of Organizational Moral Psychology.
    In four experiments, we offer evidence that virtues are often judged as uniquely important for some business practices (e.g., hospital management and medical error investigation). Overall, actions done only from virtue (either by organizations or individuals) were judged to feel better, to be more praiseworthy, to be more morally right, and to be associated with more trustworthy leadership and greater personal life satisfaction compared to actions done only to produce the best consequences or to follow the correct moral rule. These (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   3 citations  
  7. On the Oddly Satisfying.Evan Malone - 2017 - Contemporary Aesthetics 15.
    In this paper, I propose a novel theory for why we find certain mundane everyday experiences, objects, and phenomena satisfying aesthetic experiences. I refer to these as 'oddly satisfying' experiences, and argue that they assert themselves as aesthetic by being suggestive of the cinematic. This cinematic quality is the product of everyday experiences gesturing towards a kind of careful artistic intent.
    Download  
     
    Export citation  
     
    Bookmark  
  8. 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  
  9. Confucianism, Perfectionism, and Liberal Society.Franz Mang - 2018 - Dao: A Journal of Comparative Philosophy 17 (1):29-49.
    Confucian scholars should satisfy two conditions insofar as they think their theories enable Confucianism to make contributions to liberal politics and social policy. The liberal accommodation condition stipulates that the theory in question should accommodate as many reasonable conceptions of the good and religious doctrines as possible while the intelligibility condition stipulates that the theory must have a recognizable Confucian character. By and large, Joseph Chan’s Confucian perfectionism is able to satisfy the above two conditions. However, contrary to Chan and (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  10. Justified Group Belief is Evidentially Responsible Group Belief.Paul Silva - 2019 - Episteme 16 (3):262-281.
    ABSTRACTWhat conditions must be satisfied if a group is to count as having a justified belief? Jennifer Lackey has recently argued that any adequate account of group justification must be sensitive to both the evidence actually possessed by enough of a group's operative members as well as the evidence those members should have possessed. I first draw attention to a range of objections to Lackey's specific view of group justification and a range of concrete case intuitions any plausible view of (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  11. Mechanisms and Model-Based Functional Magnetic Resonance Imaging.Mark Povich - 2015 - Philosophy of Science 82 (5):1035-1046.
    Mechanistic explanations satisfy widely held norms of explanation: the ability to manipulate and answer counterfactual questions about the explanandum phenomenon. A currently debated issue is whether any nonmechanistic explanations can satisfy these explanatory norms. Weiskopf argues that the models of object recognition and categorization, JIM, SUSTAIN, and ALCOVE, are not mechanistic yet satisfy these norms of explanation. In this article I argue that these models are mechanism sketches. My argument applies recent research using model-based functional magnetic resonance imaging, a novel (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  12. Theorems and Open Problems That Concern Decidable Sets X⊆N and Cannot Be Formalized in Mathematics Understood as an a Priori Science as They Refer to the Current Knowledge on X.Agnieszka Kozdęba & Apoloniusz Tyszka - manuscript
    Algorithms always terminate. We explain the distinction between existing algorithms (i.e. algorithms whose existence is provable in ZFC) and known algorithms (i.e. algorithms whose definition is constructive and currently known). Assuming that the infiniteness of a set X⊆N is false or unproven, we define which elements of X are classified as known. No known set X⊆N satisfies Conditions (1)-(4) and is widely known in number theory or naturally defined, where this term has only informal meaning. *** (1) A known algorithm (...)
    Download  
     
    Export citation  
     
    Bookmark  
  13.  81
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  14.  97
    An Analysis of the Notion of Need for the Representation of Public Services.Luca Biccheri & Roberta Ferrario - 2019 - JOWO 2019 - The Joint Ontology Workshops, Proceedings of the Joint Ontology Workshops 2019, Episode 5: The Styrian Autumn of Ontology, Graz, Austria, September 23-25, 2019.
    Many Public Administrations structure their services around the notion of users’ need. However, there is a gap between private, subjectively perceived needs (self-attributed) and needs that are attributed by PA to citizens (heteroattributed). Because of the gap, citizens’ needs are often only partially satisfied by PAs services. This gap is in part due to the fact that the meaning of the word “need” is ambiguous and full of antinomic nuances. The purpose of this paper is to formulate a definition of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  15. What the Humean Should Say About Entanglement.Harjit Bhogal & Zee Perry - 2017 - Noûs 51 (1):74-94.
    Tim Maudlin has influentially argued that Humeanism about laws of nature stands in conflict with quantum mechanics. Specifically Humeanism implies the principle Separability: the complete physical state of a world is determined by the intrinsic physical state of each space-time point. Maudlin argues Separability is violated by the entangled states posited by QM. We argue that Maudlin only establishes that a stronger principle, which we call Strong Separability, is in tension with QM. Separability is not in tension with QM. Moreover, (...)
    Download  
     
    Export citation  
     
    Bookmark   58 citations  
  16. What is the Benacerraf Problem?Justin Clarke-Doane - 2017 - In Fabrice Pataut (ed.), New Perspectives on the Philosophy of Paul Benacerraf: Truth, Objects, Infinity. Springer Verlag.
    In "Mathematical Truth", Paul Benacerraf articulated an epistemological problem for mathematical realism. His formulation of the problem relied on a causal theory of knowledge which is now widely rejected. But it is generally agreed that Benacerraf was onto a genuine problem for mathematical realism nevertheless. Hartry Field describes it as the problem of explaining the reliability of our mathematical beliefs, realistically construed. In this paper, I argue that the Benacerraf Problem cannot be made out. There simply is no intelligible problem (...)
    Download  
     
    Export citation  
     
    Bookmark   55 citations  
  17. Will Done Better: Selection Semantics, Future Credence, and Indeterminacy.Fabrizio Cariani & Paolo Santorio - 2018 - Mind 127 (505):129-165.
    Statements about the future are central in everyday conversation and reasoning. How should we understand their meaning? The received view among philosophers treats will as a tense: in ‘Cynthia will pass her exam’, will shifts the reference time forward. Linguists, however, have produced substantial evidence for the view that will is a modal, on a par with must and would. The different accounts are designed to satisfy different theoretical constraints, apparently pulling in opposite directions. We show that these constraints are (...)
    Download  
     
    Export citation  
     
    Bookmark   27 citations  
  18. How Twitter Gamifies Communication.C. Thi Nguyen - 2021 - In Jennifer Lackey (ed.), Applied Epistemology. Oxford University Press. pp. 410-436.
    Twitter makes conversation into something like a game. It scores our communication, giving us vivid and quantified feedback, via Likes, Retweets, and Follower counts. But this gamification doesn’t just increase our motivation to communicate; it changes the very nature of the activity. Games are more satisfying than ordinary life precisely because game-goals are simpler, cleaner, and easier to apply. Twitter is thrilling precisely because its goals have been artificially clarified and narrowed. When we buy into Twitter’s gamification, then our values (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  19. Natural Kindness.Matthew H. Slater - 2015 - British Journal for the Philosophy of Science 66 (2):375-411.
    Philosophers have long been interested in a series of interrelated questions about natural kinds. What are they? What role do they play in science and metaphysics? How do they contribute to our epistemic projects? What categories count as natural kinds? And so on. Owing, perhaps, to different starting points and emphases, we now have at hand a variety of conceptions of natural kinds—some apparently better suited than others to accommodate a particular sort of inquiry. Even if coherent, this situation isn’t (...)
    Download  
     
    Export citation  
     
    Bookmark   79 citations  
  20. Why You Should Vote to Change the Outcome.Zach Barnett - 2020 - Philosophy and Public Affairs 48 (4):422-446.
    Prevailing opinion—defended by Jason Brennan and others—is that voting to change the outcome is irrational, since although the payoffs of tipping an election can be quite large, the probability of doing so is extraordinarily small. This paper argues that prevailing opinion is incorrect. Voting is shown to be rational so long as two conditions are satisfied: First, the average social benefit of electing the better candidate must be at least twice as great as the individual cost of voting, and second, (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  21. On Direct Social Perception.Shannon Spaulding - 2015 - Consciousness and Cognition 36:472-482.
    Direct Social Perception (DSP) is the idea that we can non-inferentially perceive others’ mental states. In this paper, I argue that the standard way of framing DSP leaves the debate at an impasse. I suggest two alternative interpretations of the idea that we see others’ mental states: others’ mental states are represented in the content of our perception, and we have basic perceptual beliefs about others’ mental states. I argue that the latter interpretation of DSP is more promising and examine (...)
    Download  
     
    Export citation  
     
    Bookmark   50 citations  
  22. The Particularity and Phenomenology of Perceptual Experience.Susanna Schellenberg - 2010 - Philosophical Studies 149 (1):19-48.
    I argue that any account of perceptual experience should satisfy the following two desiderata. First, it should account for the particularity of perceptual experience, that is, it should account for the mind-independent object of an experience making a difference to individuating the experience. Second, it should explain the possibility that perceptual relations to distinct environments could yield subjectively indistinguishable experiences. Relational views of perceptual experience can easily satisfy the first but not the second desideratum. Representational views can easily satisfy the (...)
    Download  
     
    Export citation  
     
    Bookmark   66 citations  
  23. Rivalry, Normativity, and the Collapse of Logical Pluralism.Erik Stei - 2020 - Inquiry: An Interdisciplinary Journal of Philosophy 63 (3-4):411-432.
    Logical pluralism is the view that there is more than one correct logic. This very general characterization gives rise to a whole family of positions. I argue that not all of them are stable. The main argument in the paper is inspired by considerations known as the “collapse problem”, and it aims at the most popular form of logical pluralism advocated by JC Beall and Greg Restall. I argue that there is a more general argument available that challenges all variants (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  24. Replacing Truth.Kevin Scharp - 2007 - Inquiry: An Interdisciplinary Journal of Philosophy 50 (6):606 – 621.
    Of the dozens of purported solutions to the liar paradox published in the past fifty years, the vast majority are "traditional" in the sense that they reject one of the premises or inference rules that are used to derive the paradoxical conclusion. Over the years, however, several philosophers have developed an alternative to the traditional approaches; according to them, our very competence with the concept of truth leads us to accept that the reasoning used to derive the paradox is sound. (...)
    Download  
     
    Export citation  
     
    Bookmark   99 citations  
  25. ‘Ought’ and Resolution Semantics.Fabrizio Cariani - 2013 - Noûs 47 (3):534-558.
    I motivate and characterize an intensional semantics for ‘ought’ on which it does not behave as a universal quantifier over possibilities. My motivational argument centers on taking at face value some standard challenges to the quantificational semantics, especially to the idea that ‘ought’-sentences satisfy the principle of Inheritance. I argue that standard pragmatic approaches to these puzzles are either not sufficiently detailed or unconvincing.
    Download  
     
    Export citation  
     
    Bookmark   52 citations  
  26. An Epistemic Non-Consequentialism.Kurt L. Sylvan - 2020 - The Philosophical Review 129 (1):1-51.
    Despite the recent backlash against epistemic consequentialism, an explicit systematic alternative has yet to emerge. This paper articulates and defends a novel alternative, Epistemic Kantianism, which rests on a requirement of respect for the truth. §1 tackles some preliminaries concerning the proper formulation of the epistemic consequentialism / non-consequentialism divide, explains where Epistemic Kantianism falls in the dialectical landscape, and shows how it can capture what seems attractive about epistemic consequentialism while yielding predictions that are harder for the latter to (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  27. Essentialist Explanation.Martin Glazier - 2017 - Philosophical Studies 174 (11):2871-2889.
    Recent years have seen an explosion of interest in metaphysical explanation, and philosophers have fixed on the notion of ground as the conceptual tool with which such explanation should be investigated. I will argue that this focus on ground is myopic and that some metaphysical explanations that involve the essences of things cannot be understood in terms of ground. Such ‘essentialist’ explanation is of interest, not only for its ubiquity in philosophy, but for its being in a sense an ultimate (...)
    Download  
     
    Export citation  
     
    Bookmark   30 citations  
  28. The Reasonable and the Relevant: Legal Standards of Proof.Georgi Gardiner - 2019 - Philosophy and Public Affairs 47 (3):288-318.
    According to a common conception of legal proof, satisfying a legal burden requires establishing a claim to a numerical threshold. Beyond reasonable doubt, for example, is often glossed as 90% or 95% likelihood given the evidence. Preponderance of evidence is interpreted as meaning at least 50% likelihood given the evidence. In light of problems with the common conception, I propose a new ‘relevant alternatives’ framework for legal standards of proof. Relevant alternative accounts of knowledge state that a person knows a (...)
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  29. Minority Reports: Consciousness and the Prefrontal Cortex.Matthias Michel & Jorge Morales - 2020 - Mind and Language 35 (4):493-513.
    Whether the prefrontal cortex is part of the neural substrates of consciousness is currently debated. Against prefrontal theories of consciousness, many have argued that neural activity in the prefrontal cortex does not correlate with consciousness but with subjective reports. We defend prefrontal theories of consciousness against this argument. We surmise that the requirement for reports is not a satisfying explanation of the difference in neural activity between conscious and unconscious trials, and that prefrontal theories of consciousness come out of this (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  30. Legal Burdens of Proof and Statistical Evidence.Georgi Gardiner - forthcoming - In James Chase & David Coady (eds.), The Routledge Handbook of Applied Epistemology. Routledge.
    In order to perform certain actions – such as incarcerating a person or revoking parental rights – the state must establish certain facts to a particular standard of proof. These standards – such as preponderance of evidence and beyond reasonable doubt – are often interpreted as likelihoods or epistemic confidences. Many theorists construe them numerically; beyond reasonable doubt, for example, is often construed as 90 to 95% confidence in the guilt of the defendant. -/- A family of influential cases suggests (...)
    Download  
     
    Export citation  
     
    Bookmark   20 citations  
  31. An Expert System for Depression Diagnosis.Izzeddin A. Alshawwa, Mohammed Elkahlout, Hosni Qasim El-Mashharawi & Samy S. Abu-Naser - 2019 - International Journal of Academic Health and Medical Research (IJAHMR) 3 (4):20-27.
    Background: Depression (major depressive disorder) is a common and serious medical illness that negatively affects how you feel, the way you think and how you act. Fortunately, it is also treatable. Depression causes feelings of sadness and/or a loss of interest in activities once enjoyed. It can lead to a variety of emotional and physical problems and can decrease a person’s ability to function at work and at home. Depression affects an estimated one in 15 adults (6.7%) in any given (...)
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  32. Epistemic Elitism and Other Minds.Elijah Chudnoff - 2018 - Philosophy and Phenomenological Research (2):276-298.
    Experiences justify beliefs about our environment. Sometimes the justification is immediate: seeing a red light immediately justifies believing there is a red light. Other times the justification is mediate: seeing a red light justifies believing one should brake in a way that is mediated by background knowledge of traffic signals. How does this distinction map onto the distinction between what is and what isn't part of the content of experience? Epistemic egalitarians think that experiences immediately justify whatever is part of (...)
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  33. The Metaphysics of Constitutive Mechanistic Phenomena.Marie I. Kaiser & Beate Krickel - 2017 - British Journal for the Philosophy of Science 68 (3).
    The central aim of this article is to specify the ontological nature of constitutive mechanistic phenomena. After identifying three criteria of adequacy that any plausible approach to constitutive mechanistic phenomena must satisfy, we present four different suggestions, found in the mechanistic literature, of what mechanistic phenomena might be. We argue that none of these suggestions meets the criteria of adequacy. According to our analysis, constitutive mechanistic phenomena are best understood as what we will call ‘object-involving occurrents’. Furthermore, on the basis (...)
    Download  
     
    Export citation  
     
    Bookmark   27 citations  
  34. Belief and Desire in Imagination and Immersion.Susanna Schellenberg - 2013 - Journal of Philosophy 110 (9):497-517.
    I argue that any account of imagination should satisfy the following three desiderata. First, imaginations induce actions only in conjunction with beliefs about the environment of the imagining subject. Second, there is a continuum between imaginations and beliefs. Recognizing this continuum is crucial to explain the phenomenon of imaginative immersion. Third, the mental states that relate to imaginations in the way that desires relate to beliefs are a special kind of desire, namely desires to make true in fiction. These desires (...)
    Download  
     
    Export citation  
     
    Bookmark   33 citations  
  35. Logic and Semantics for Imperatives.Nate Charlow - 2014 - Journal of Philosophical Logic 43 (4):617-664.
    In this paper I will develop a view about the semantics of imperatives, which I term Modal Noncognitivism, on which imperatives might be said to have truth conditions (dispositionally, anyway), but on which it does not make sense to see them as expressing propositions (hence does not make sense to ascribe to them truth or falsity). This view stands against “Cognitivist” accounts of the semantics of imperatives, on which imperatives are claimed to express propositions, which are then enlisted in explanations (...)
    Download  
     
    Export citation  
     
    Bookmark   36 citations  
  36. Why Implicit Attitudes Are (Probably) Not Beliefs.Alex Madva - 2016 - Synthese 193 (8).
    Should we understand implicit attitudes on the model of belief? I argue that implicit attitudes are (probably) members of a different psychological kind altogether, because they seem to be insensitive to the logical form of an agent’s thoughts and perceptions. A state is sensitive to logical form only if it is sensitive to the logical constituents of the content of other states (e.g., operators like negation and conditional). I explain sensitivity to logical form and argue that it is a necessary (...)
    Download  
     
    Export citation  
     
    Bookmark   26 citations  
  37. Renewed Acquaintance.Brie Gertler - 2012 - In Declan Smithies & Daniel Stoljar (eds.), Introspection and Consciousness. Oxford University Press. pp. 89-123.
    I elaborate and defend a set of metaphysical and epistemic claims that comprise what I call the acquaintance approach to introspective knowledge of the phenomenal qualities of experience. The hallmark of this approach is the thesis that, in some introspective judgments about experience, (phenomenal) reality intersects with the epistemic, that is, with the subject’s grasp of that reality. In Section 1 of the paper I outline the acquaintance approach by drawing on its Russellian lineage. A more detailed picture of the (...)
    Download  
     
    Export citation  
     
    Bookmark   55 citations  
  38. Explanatory Challenges in Metaethics.Joshua Schechter - 2018 - In Tristram McPherson & David Plunkett (eds.), Routledge Handbook of Metaethics. Routledge. pp. 443-459.
    There are several important arguments in metaethics that rely on explanatory considerations. Gilbert Harman has presented a challenge to the existence of moral facts that depends on the claim that the best explanation of our moral beliefs does not involve moral facts. The Reliability Challenge against moral realism depends on the claim that moral realism is incompatible with there being a satisfying explanation of our reliability about moral truths. The purpose of this chapter is to examine these and related arguments. (...)
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  39. An Expert System for Arthritis Diseases Diagnosis Using SL5 Object.Hosni Qasim El-Mashharawi, Izzeddin A. Alshawwa, Mohammed Elkahlout & Samy S. Abu-Naser - 2019 - International Journal of Academic Health and Medical Research (IJAHMR) 3 (4):28-35.
    Background: Arthritis is very common but is not well understood. Actually, “arthritis” is not a single disease; it is an informal way of referring to joint pain or joint disease. There are more than 100 different types of arthritis and related conditions. People of all ages, sexes and races can and do have arthritis, and it is the leading cause of disability in America. More than 50 million adults and 300,000 children have some type of arthritis. It is most common (...)
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  40. Population Axiology.Hilary Greaves - 2017 - Philosophy Compass 12 (11):e12442.
    Population axiology is the study of the conditions under which one state of affairs is better than another, when the states of affairs in ques- tion may differ over the numbers and the identities of the persons who ever live. Extant theories include totalism, averagism, variable value theories, critical level theories, and “person-affecting” theories. Each of these the- ories is open to objections that are at least prima facie serious. A series of impossibility theorems shows that this is no coincidence: (...)
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  41. Theories of Aboutness.Peter Hawke - 2018 - Australasian Journal of Philosophy 96 (4):697-723.
    Our topic is the theory of topics. My goal is to clarify and evaluate three competing traditions: what I call the way-based approach, the atom-based approach, and the subject-predicate approach. I develop criteria for adequacy using robust linguistic intuitions that feature prominently in the literature. Then I evaluate the extent to which various existing theories satisfy these constraints. I conclude that recent theories due to Parry, Perry, Lewis, and Yablo do not meet the constraints in total. I then introduce the (...)
    Download  
     
    Export citation  
     
    Bookmark   20 citations  
  42. In Defense of Doxastic Blame.Lindsay Rettler - 2018 - Synthese 195 (5):2205-2226.
    In this paper I articulate a view of doxastic control that helps defend the legitimacy of our practice of blaming people for their beliefs. I distinguish between three types of doxastic control: intention-based, reason-based, and influence-based. First I argue that, although we lack direct intention-based control over our beliefs, such control is not necessary for legitimate doxastic blame. Second, I suggest that we distinguish two types of reason-responsiveness: sensitivity to reasons and appreciation of reasons. I argue that while both capacities (...)
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  43. Can You Believe It? Illusionism and the Illusion Meta-Problem.François Kammerer - 2018 - Philosophical Psychology 31 (1):44-67.
    Illusionism about consciousness is the thesis that phenomenal consciousness does not exist, but merely seems to exist. Embracing illusionism presents the theoretical advantage that one does not need to explain how consciousness arises from purely physical brains anymore, but only to explain why consciousness seems to exist while it does not. As Keith Frankish puts it, illusionism replaces the “hard problem of consciousness” with the “illusion problem.” However, a satisfying version of illusionism has to explain not only why the illusion (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  44. The Narrow Ontic Counterfactual Account of Distinctively Mathematical Explanation.Mark Povich - 2019 - British Journal for the Philosophy of Science 72 (2):511-543.
    An account of distinctively mathematical explanation (DME) should satisfy three desiderata: it should account for the modal import of some DMEs; it should distinguish uses of mathematics in explanation that are distinctively mathematical from those that are not (Baron [2016]); and it should also account for the directionality of DMEs (Craver and Povich [2017]). Baron’s (forthcoming) deductive-mathematical account, because it is modelled on the deductive-nomological account, is unlikely to satisfy these desiderata. I provide a counterfactual account of DME, the Narrow (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  45. Could Evolution Explain Our Reliability About Logic?Joshua Schechter - 2013 - In Tamar Szabo Gendler & John Hawthorne (eds.), Oxford Studies in Epistemology 4. pp. 214.
    We are reliable about logic in the sense that we by-and-large believe logical truths and disbelieve logical falsehoods. Given that logic is an objective subject matter, it is difficult to provide a satisfying explanation of our reliability. This generates a significant epistemological challenge, analogous to the well-known Benacerraf-Field problem for mathematical Platonism. One initially plausible way to answer the challenge is to appeal to evolution by natural selection. The central idea is that being able to correctly deductively reason conferred a (...)
    Download  
     
    Export citation  
     
    Bookmark   37 citations  
  46. Agent Causation as the Solution to All the Compatibilist’s Problems.Ned Markosian - 2012 - Philosophical Studies 157 (3):383-398.
    In a recent paper I argued that agent causation theorists should be compatibilists. In this paper, I argue that compatibilists should be agent causation theorists. I consider six of the main problems facing compatibilism: (i) the powerful intuition that one can't be responsible for actions that were somehow determined before one was born; (ii) Peter van Inwagen's modal argument, involving the inference rule (β); (iii) the objection to compatibilism that is based on claiming that the ability to do otherwise is (...)
    Download  
     
    Export citation  
     
    Bookmark   28 citations  
  47. Inference as Consciousness of Necessity.Eric Marcus - 2020 - Analytic Philosophy 61 (4):304-322.
    Consider the following three claims. (i) There are no truths of the form ‘p and ~p’. (ii) No one holds a belief of the form ‘p and ~p’. (iii) No one holds any pairs of beliefs of the form {p, ~p}. Irad Kimhi has recently argued, in effect, that each of these claims holds and holds with metaphysical necessity. Furthermore, he maintains that they are ultimately not distinct claims at all, but the same claim formulated in different ways. I find (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  48. Gricean Communication and Cognitive Development.Richard Moore - 2017 - Philosophical Quarterly 67 (267).
    On standard readings of Grice, Gricean communication requires (a) possession of a concept of belief, (b) the ability to make complex inferences about others’ goal-directed behaviour, and (c) the ability to entertain fourth order meta-representations. To the extent that these abilities are pre-requisites of Gricean communication they are inconsistent with the view that Gricean communication could play a role in their development. In this paper, I argue that a class of ‘minimally Gricean acts’ satisfy the intentional structure described by Grice, (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   17 citations  
  49. Chapter 5: Intensional Transitive Verbs and Their 'Objects'.Friederike Moltmann - 2013 - In Abstract Objects and the semantics of Natural Language. Oxford: Oxford University Press.
    This chapter gives a truthmaker-based account of the semantics of 'reifying' quantifiers like 'something' when they act as complements of intensional transitive verbs ('need', 'look for'). It argues that such quantifiers range over 'variable satisfiers' of the attitudinal object described by the verb (e.g. the need or the search).
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   34 citations  
  50. Ontological Dependence: An Opinionated Survey.Kathrin Koslicki - 2013 - In Benjamin Schnieder, Miguel Hoeltje & Alex Steinberg (eds.), Varieties of Dependence: Ontological Dependence, Grounding, Supervenience, Response-Dependence (Basic Philosophical Concepts). Philosophia Verlag. pp. 31-64.
    This essay provides an opinionated survey of some recent developments in the literature on ontological dependence. Some of the most popular definitions of ontological dependence are formulated in modal terms; others in non-modal terms (e.g., in terms of the explanatory connective, ‘because’, or in terms of a non-modal conception of essence); some (viz., the existential construals of ontological dependence) emphasise requirements that must be met in order for an entity to exist; others (viz., the essentialist construals) focus on conditions that (...)
    Download  
     
    Export citation  
     
    Bookmark   41 citations  
1 — 50 / 894