Results for 'Disjunction Elimination'

961 found
Order:
  1. Against the Unrestricted Applicability of Disjunction Elimination.Marcel Jahn - 2017 - Rerum Causae 9 (2):92-111.
    In this paper, I argue that the disjunction elimination rule presupposes the principle that a true disjunction contains at least one true disjunct. However, in some contexts such as supervaluationism or quantum logic, we have good reasons to reject this principle. Hence, disjunction elimination is restricted in at least one respect: it is not applicable to disjunctions for which this principle does not hold. The insight that disjunction elimination presupposes the principle that a (...)
    Download  
     
    Export citation  
     
    Bookmark  
  2. Higher-Order Quantification and the Elimination of Abstract Objects.Cian Dorr - forthcoming - Disputatio.
    There is a common practice of providing natural-language ‘glosses’ on sentences in the language of higher order logic: for example, the higher-order sentence ∃X(X Socrates) might be glossed using the English sentence ‘Socrates has some property’. It is widely held that such glosses cannot be strictly correct, on the grounds that the word ‘property’ is a noun and thus, if meaningful at all, should be meaningful in the same way as any other noun. Against this view, this paper argues that (...)
    Download  
     
    Export citation  
     
    Bookmark  
  3. Criticism of individualist and collectivist methodological approaches to social emergence.S. M. Reza Amiri Tehrani - 2023 - Expositions: Interdisciplinary Studies in the Humanities 15 (3):111-139.
    ABSTRACT The individual-community relationship has always been one of the most fundamental topics of social sciences. In sociology, this is known as the micro-macro relationship while in economics it refers to the processes, through which, individual actions lead to macroeconomic phenomena. Based on philosophical discourse and systems theory, many sociologists even use the term "emergence" in their understanding of micro-macro relationship, which refers to collective phenomena that are created by the cooperation of individuals, but cannot be reduced to individual actions. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  4. The Epsilon Calculus and Herbrand Complexity.Georg Moser & Richard Zach - 2006 - Studia Logica 82 (1):133-155.
    Hilbert's ε-calculus is based on an extension of the language of predicate logic by a term-forming operator εx. Two fundamental results about the ε-calculus, the first and second epsilon theorem, play a rôle similar to that which the cut-elimination theorem plays in sequent calculus. In particular, Herbrand's Theorem is a consequence of the epsilon theorems. The paper investigates the epsilon theorems and the complexity of the elimination procedure underlying their proof, as well as the length of Herbrand disjunctions (...)
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  5. The universality of logic: On the connection between rationality and logical ability.Simon J. Evnine - 2001 - Mind 110 (438):335-367.
    I argue for the thesis (UL) that there are certain logical abilities that any rational creature must have. Opposition to UL comes from naturalized epistemologists who hold that it is a purely empirical question which logical abilities a rational creature has. I provide arguments that any creatures meeting certain conditions—plausible necessary conditions on rationality—must have certain specific logical concepts and be able to use them in certain specific ways. For example, I argue that any creature able to grasp theories must (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  6. A Two-Dimensional Logic for Two Paradoxes of Deontic Modality.Fusco Melissa & Kocurek Alexander - 2022 - Review of Symbolic Logic 15 (4):991-1022.
    In this paper, we axiomatize the deontic logic in Fusco 2015, which uses a Stalnaker-inspired account of diagonal acceptance and a two-dimensional account of disjunction to treat Ross’s Paradox and the Puzzle of Free Choice Permission. On this account, disjunction-involving validities are a priori rather than necessary. We show how to axiomatize two-dimensional disjunction so that the introduction/elimination rules for boolean disjunction can be viewed as one-dimensional projections of more general two-dimensional rules. These completeness results (...)
    Download  
     
    Export citation  
     
    Bookmark  
  7. Non-normal modalities in variants of linear logic.D. Porello & N. Troquard - 2015 - Journal of Applied Non-Classical Logics 25 (3):229-255.
    This article presents modal versions of resource-conscious logics. We concentrate on extensions of variants of linear logic with one minimal non-normal modality. In earlier work, where we investigated agency in multi-agent systems, we have shown that the results scale up to logics with multiple non-minimal modalities. Here, we start with the language of propositional intuitionistic linear logic without the additive disjunction, to which we add a modality. We provide an interpretation of this language on a class of Kripke resource (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  8. Semidisquotation and the infinitary function of truth.Camillo Fiore - 2021 - Erkenntnis 88 (2):851-866.
    The infinitary function of the truth predicate consists in its ability to express infinite conjunctions and disjunctions. A transparency principle for truth states the equivalence between a sentence and its truth predication; it requires an introduction principle—which allows the inference from “snow is white” to “the sentence ‘snow is white’ is true”—and an elimination principle—which allows the inference from “the sentence ‘snow is white’ is true” to “snow is white”. It is commonly assumed that a theory of truth needs (...)
    Download  
     
    Export citation  
     
    Bookmark  
  9. Disjunctive antecedent conditionals.Justin Khoo - 2018 - Synthese 198 (8):7401-7430.
    Disjunctive antecedent conditionals —conditionals of the form if A or B, C—sometimes seem to entail both of their simplifications and sometimes seem not to. I argue that this behavior reveals a genuine ambiguity in DACs. Along the way, I discuss a new observation about the role of focal stress in distinguishing the two interpretations of DACs. I propose a new theory, according to which the surface form of a DAC underdetermines its logical form: on one possible logical form, if A (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  10. Against Disjunctive Properties: Four Armstrongian Arguments.Bo R. Meinertsen - 2020 - Philosophia 49 (1):95-106.
    This paper defends the case against (sparse) disjunctive properties by means of four Armstrongian arguments. The first of these is a logical atomist argument from truthmaking, which is, broadly speaking, ‘Armstrongian’ (Armstrong 1997). This argument is strong – although it stands or falls with the relevant notion of truthmaking, as it were. However, three arguments, which are prima facie independent of truthmaking, can be found explicitly early in Armstrong’s middle period. Two of these early arguments face a serious objection put (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  11.  86
    Disjunction and distality: the hard problem for purely probabilistic causal theories of mental content.William Roche & Elliott Sober - 2019 - Synthese 198 (8):7197-7230.
    The disjunction problem and the distality problem each presents a challenge that any theory of mental content must address. Here we consider their bearing on purely probabilistic causal theories. In addition to considering these problems separately, we consider a third challenge—that a theory must solve both. We call this “the hard problem.” We consider 8 basic ppc theories along with 240 hybrids of them, and show that some can handle the disjunction problem and some can handle the distality (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  12. The Disjunction and Conjunction Theses.G. Rodriguez-Pereyra - 2009 - Mind 118 (470):427-443.
    This paper is a response to replies by Dan López de Sa and Mark Jago to my ‘Truthmaking, Entailment, and the Conjuction Thesis’. In that paper, my main aim was to argue against the Entailment Principle by arguing against the Conjunction Thesis, which is entailed by the Entailment Principle. In the course of so doing, although not essential for my project in that paper, I defended the Disjunction Thesis. López de Sa has objected both to my defence of the (...)
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  13. Disjunctive theories of perception and action.David-Hillel Ruben - 2008 - In Adrian Haddock & Fiona Macpherson (eds.), Disjunctivism: perception, action, knowledge. New York: Oxford University Press. pp. 227--243.
    A comparison of disjunctive theories of action and perception. The development of a theory of action that warrants the name, a disjunctive theory. On this theory, there is an exclusive disjunction: either an action or an event (in one sense). It follows that in that sense basic actions do not have events intrinsic to them.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  14. Disjunction and the Logic of Grounding.Giovanni Merlo - 2020 - Erkenntnis 87 (2):567-587.
    Many philosophers have been attracted to the idea of using the logical form of a true sentence as a guide to the metaphysical grounds of the fact stated by that sentence. This paper looks at a particular instance of that idea: the widely accepted principle that disjunctions are grounded in their true disjuncts. I will argue that an unrestricted version of this principle has several problematic consequences and that it’s not obvious how the principle might be restricted in order to (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  15. Pro-Tempore Disjunctive Intentions.Luca Ferrero - 2015 - In Roman Altshuler Michael J. Sigrist (ed.), Time and the Philosophy of Action. New York: Routledge. pp. 108-123.
    I investigate the structure of pro-tempore disjunctive intentions: intentions directed at two or more eventually incompatible goals that are nonetheless kept open for the time being, while the agent is waiting to acquire more information to determine which option is better. These intentions are the basic tool for balancing, in our planning agency, rigidity and flexibility, stability and responsiveness to changing circumstances. They are a pervasive feature of intentional diachronic agency and contribute to secure dynamic consistency in our plans. I (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  16. Disjunctive Parts.Mark Jago - forthcoming - In Federico L. G. Faroldi & Frederik Van De Putte (eds.), Outstanding Contributions to Logic: Kit Fine. Springer.
    Fine (2017a) sets out a theory of content based on truthmaker semantics which distinguishes two kinds of consequence between contents. There is entailment, corresponding to the relationship between disjunct and disjunction, and there is containment, corresponding to the relationship between conjunctions and their conjuncts. Fine associates these with two notions of parthood: disjunctive and conjunctive. Conjunctive parthood is a very useful notion, allowing us to analyse partial content and partial truth. In this chapter, I extend the notion of disjunctive (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  17. Conjunction, disjunction and iterated conditioning of conditional events.Angelo Gilio & Giuseppe Sanfilippo - 2013 - In R. Kruse (ed.), Advances in Intelligent Systems and Computing. Springer.
    Starting from a recent paper by S. Kaufmann, we introduce a notion of conjunction of two conditional events and then we analyze it in the setting of coherence. We give a representation of the conjoined conditional and we show that this new object is a conditional random quantity, whose set of possible values normally contains the probabilities assessed for the two conditional events. We examine some cases of logical dependencies, where the conjunction is a conditional event; moreover, we give the (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  18. Necessity Modals, Disjunctions, and Collectivity.Richard Jefferson Booth - 2022 - Proceedings of Sinn Und Bedeutung 26:187-205.
    Upward monotonic semantics for necessity modals give rise to Ross’s Puzzle: they predict that □φ entails □(φ ∨ ψ), but common intuitions about arguments of this form suggest they are invalid. It is widely assumed that the intuitive judgments involved in Ross’s Puzzle can be explained in terms of the licensing of ‘Diversity’ inferences: from □(φ ∨ ψ), interpreters infer that the truth of each disjunct (φ, ψ) is compatible with the relevant set of worlds. I introduce two pieces of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  19. Conjunction and Disjunction in Infectious Logics.Hitoshi Omori & Damian Szmuc - 2017 - In Alexandru Baltag, Jeremy Seligman & Tomoyuki Yamada (eds.), Logic, Rationality, and Interaction (LORI 2017, Sapporo, Japan). Springer. pp. 268-283.
    In this paper we discuss the extent to which conjunction and disjunction can be rightfully regarded as such, in the context of infectious logics. Infectious logics are peculiar many-valued logics whose underlying algebra has an absorbing or infectious element, which is assigned to a compound formula whenever it is assigned to one of its components. To discuss these matters, we review the philosophical motivations for infectious logics due to Bochvar, Halldén, Fitting, Ferguson and Beall, noticing that none of them (...)
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  20. The Disjunctive Hybrid Theory of Prudential Value: An Inclusive Approach to the Good Life.Joseph Van Weelden - 2018 - Dissertation, Mcgill University
    In this dissertation, I argue that all extant theories of prudential value are either a) enumeratively deficient, in that they are unable to accommodate everything that, intuitively, is a basic constituent of prudential value, b) explanatorily deficient, in that they are at least sometimes unable to offer a plausible story about what makes a given thing prudentially valuable, or c) both. In response to the unsatisfactory state of the literature, I present my own account, the Disjunctive Hybrid Theory or DHT. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  21. Counterfactuals, hyperintensionality and Hurford disjunctions.Hüseyin Güngör - 2023 - Linguistics and Philosophy 46 (1):169-195.
    This paper investigates propositional hyperintensionality in counterfactuals. It starts with a scenario describing two children playing on a seesaw and studies the truth-value predictions for counterfactuals by four different semantic theories. The theories in question are Kit Fine’s truthmaker semantics, Luis Alonso-Ovalle’s alternative semantics, inquisitive semantics and Paolo Santorio’s syntactic truthmaker semantics. These predictions suggest that the theories that distinguish more of a given set of intensionally equivalent sentences (Fine and Alonso-Ovalle’s) fare better than those that do not (inquisitive semantics (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  22. Hungarian disjunctions and positive polarity.Anna Szabolcsi - 2002 - In Istvan Kenesei & Peter Siptar (eds.), Approaches to Hungarian, Vol. 8. Univ. of Szeged.
    The de Morgan laws characterize how negation, conjunction, and disjunction interact with each other. They are fundamental in any semantics that bases itself on the propositional calculus/Boolean algebra. This paper is primarily concerned with the second law. In English, its validity is easy to demonstrate using linguistic examples. Consider the following: (3) Why is it so cold in here? We didn’t close the door or the window. The second sentence is ambiguous. It may mean that I suppose we did (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  23. Eliminating Terms of Confusion: Resolving the Liberal–Republican Dispute.Lars J. K. Moen - 2022 - The Journal of Ethics 26 (2):247–271.
    John Rawls thinks republicanism is compatible with his political liberalism. Philip Pettit insists that the two conflict in important ways. In this paper, I make sense of this dispute by employing David Chalmers’s method of elimination to reveal the meaning underlying key terms in Rawls’s political liberalism and Pettit’s republicanism. This procedure of disambiguating terms will show how the two theories defend the same institutional arrangement on the same grounds. The procedure thus vindicates Rawls’s view of the two theories (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  24. Elimination of Cuts in First-order Finite-valued Logics.Matthias Baaz, Christian G. Fermüller & Richard Zach - 1993 - Journal of Information Processing and Cybernetics EIK 29 (6):333-355.
    A uniform construction for sequent calculi for finite-valued first-order logics with distribution quantifiers is exhibited. Completeness, cut-elimination and midsequent theorems are established. As an application, an analog of Herbrand’s theorem for the four-valued knowledge-representation logic of Belnap and Ginsberg is presented. It is indicated how this theorem can be used for reasoning about knowledge bases with incomplete and inconsistent information.
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  25. Non-eliminative reductionism: the basis of a science of conscious experience?Dennis Nicholson - forthcoming - Philosophical Psychology.
    A physicalist view of qualia labelled non-eliminative reductionism is outlined. If it is true, qualia and physicalism can co-exist without difficulty. First, qualia present no particular problem for reductionist physicalism - they are entirely physical, can be studied and explained using the standard scientific approach, and present no problem any harder than any other scientists face. Second, reductionist physicalism presents no particular problem for qualia – they can be encompassed within an entirely physicalist position without any necessity, either to reduce (...)
    Download  
     
    Export citation  
     
    Bookmark  
  26. The Conjunction and Disjunction Theses.Mark Jago - 2009 - Mind 118 (470):411-415.
    Rodriguez-Pereyra (2006) argues for the disjunction thesis but against the conjunction thesis. I argue that accepting the disjunction thesis undermines his argument against the conjunction thesis.
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  27. Meta-Empirical Support for Eliminative Reasoning.C. D. McCoy - 2021 - Studies in History and Philosophy of Science Part A 90:15-29.
    Eliminative reasoning is a method that has been employed in many significant episodes in the history of science. It has also been advocated by some philosophers as an important means for justifying well-established scientific theories. Arguments for how eliminative reasoning is able to do so, however, have generally relied on a too narrow conception of evidence, and have therefore tended to lapse into merely heuristic or pragmatic justifications for their conclusions. This paper shows how a broader conception of evidence not (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  28. Eliminating Group Agency.Lars J. K. Moen - 2023 - Economics and Philosophy 39 (1):43-66.
    Aggregating individuals’ consistent attitudes might produce inconsistent collective attitudes. Some groups therefore need the capacity to form attitudes that are irreducible to those of their members. Such groups, group-agent realists argue, are agents in control of their own attitude formation. In this paper, however, I show how group-agent realism overlooks the important fact that groups consist of strategically interacting agents. Only by eliminating group agency from our social explanations can we see how individuals vote strategically to gain control of their (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  29. Disjunction and possibility.Matthew Mandelkern - manuscript
    I argue that ⌜p or q⌝ can be interpreted as (p ∨ q) ∧ ♢p ∧ ♢q, where ♢ is a possibility modal whose flavor can be epistemic, circumstantial, or deontic. I show that no extant theory can account for this generalization, and argue that the best way to do so is with a direct theory on which ‘or’ means λp.λq.(p∨q)∧♢p∧♢q. I show that the resulting theory also yields an appealing account of both wide- and narrow-scope free choice inferences.
    Download  
     
    Export citation  
     
    Bookmark  
  30. Elimination of Bias in Introspection: Methodological Advances, Refinements, and Recommendations.Radek Trnka & Vit Smelik - 2020 - New Ideas in Psychology 56.
    Building on past constructive criticism, the present study provides further methodological development focused on the elimination of bias that may occur during first-person observation. First, various sources of errors that may accompany introspection are distinguished based on previous critical literature. Four main errors are classified, namely attentional, attributional, conceptual, and expressional error. Furthermore, methodological recommendations for the possible elimination of these errors have been determined based on the analysis and focused excerpting of introspective scientific literature. The following groups (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  31. Reduction, Elimination and Radical Uninterpretability.David Roden - manuscript
    In this paper I argue that the anti-reductionist thesis supports a case for the uselessness of intentional idioms in the interpretation of highly flexible, self-modifying agents that I refer to as “hyperplastic” agents. An agent is hyperplastic if it can make arbitrarily fine changes to any part of its functional or physical structure without compromising its agency or its capacity for hyperplasticity. Using Davidson’s anomalous monism (AM) as an exemplar of anti-reductionism, I argue that AM implies that no hyperplastic could (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  32. Exclusive Disjunction and the Biconditional: An Even-Odd Relationship.Joseph S. Fulda - 1993 - Mathematics Magazine 66 (2):124.
    Proves two simple identities relating the biconditional and exclusive disjunction. -/- The PDF has been made available gratis by the publisher.
    Download  
     
    Export citation  
     
    Bookmark  
  33. Eliminating Eliminativism.Jason Harlan - 2016 - The Oxford Philosophical Society (OUDCE) Annual Review 38 (Autumn/Winter 2016):8-10.
    This article challenges a particular form of Eliminative Materialism as presented in the work, "Quining Qualia" where Dr. Daniel Dennett argues that qualia, as he defines it, does not exist. The paper underscores the contradictory nature of Dennett's "Intuition Pumps" and shows how he assumes the very notion he proports to defeat namely, that first-person (or subjective) conscious experience, commonly termed "qualia," exists.
    Download  
     
    Export citation  
     
    Bookmark  
  34. Perception and Disjunctive Belief: A New Problem for Ambitious Predictive Processing.Assaf Weksler - forthcoming - Australasian Journal of Philosophy.
    Perception can’t have disjunctive content. Whereas you can think that a box is blue or red, you can’t see a box as being blue or red. Based on this fact, I develop a new problem for the ambitious predictive processing theory, on which the brain is a machine for minimizing prediction error, which approximately implements Bayesian inference. I describe a simple case of updating a disjunctive belief given perceptual experience of one of the disjuncts, in which Bayesian inference and predictive (...)
    Download  
     
    Export citation  
     
    Bookmark  
  35. Disjunctive luminosity.Drew Johnson - 2021 - Thought: A Journal of Philosophy 10 (2):118-126.
    Williamson's influential anti-luminosity argument aims to show that our own mental states are not “luminous,” and that we are thus “cognitively homeless.” Among other things, this argument represents a significant challenge to the idea that we enjoy basic self-knowledge of our own occurrent mental states. In this paper, I summarize Williamson's anti-luminosity argument, and discuss the role that the notion of “epistemic basis” plays in it. I argue that the anti-luminosity argument relies upon a particular version of the basis-relative safety (...)
    Download  
     
    Export citation  
     
    Bookmark  
  36. When to adjust alpha during multiple testing: a consideration of disjunction, conjunction, and individual testing.Mark Rubin - 2021 - Synthese 199 (3-4):10969-11000.
    Scientists often adjust their significance threshold during null hypothesis significance testing in order to take into account multiple testing and multiple comparisons. This alpha adjustment has become particularly relevant in the context of the replication crisis in science. The present article considers the conditions in which this alpha adjustment is appropriate and the conditions in which it is inappropriate. A distinction is drawn between three types of multiple testing: disjunction testing, conjunction testing, and individual testing. It is argued that (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  37. The Elimination of Metaphysics Through Logical Analysis of Language.Rudolf Carnap - 1966 - In Alfred Jules Ayer (ed.), Logical positivism. Westport, Conn.: Greenwood Press. pp. 60-81.
    Download  
     
    Export citation  
     
    Bookmark   152 citations  
  38. Eliminating Prudential Reasons.Alex Worsnip - 2018 - Oxford Studies in Normative Ethics 8:236-257.
    I argue, contrary to the consensus of most contemporary work in ethics, that there are no (fundamentally, distinctively) prudential reasons for action. That is to say: there is no class of reasons for action that is distinctively and fundamentally about the promotion of the agent’s own well-being. Considerations to do with the agent’s well-being can supply the agent with reasons only in virtue of her well-being mattering morally or in virtue of her caring about her own well-being. In both of (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  39. Non-Eliminative Reductionism: Not the Theory of Mind Some Responsibility Theorists Want, but the One They Need.Katrina L. Sifferd - 2018 - In Bebhinn Donnelly-Lazarov (ed.), Neurolaw and Responsibility for Action: Concepts, Crimes, and Courts. Cambridge University Press. pp. 71-103.
    This chapter will argue that the criminal law is most compatible with a specific theory regarding the mind/body relationship: non-eliminative reductionism. Criminal responsibility rests upon mental causation: a defendant is found criminally responsible for an act where she possesses certain culpable mental states (mens rea under the law) that are causally related to criminal harm. If we assume the widely accepted position of ontological physicalism, which holds that only one sort of thing exists in the world – physical stuff – (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  40. Physicalism or Anti-Physicalism: A Disjunctive Account.Umut Baysan & Nathan Wildman - forthcoming - Erkenntnis:1-17.
    In this paper, we make a case for the disjunctive view of phenomenal consciousness: consciousness is essentially disjunctive in being either physical or non-physical in the sense that it has both physical and non-physical possible instances. We motivate this view by showing that it undermines two well-known conceivability arguments in philosophy of mind: the zombie argument for anti-physicalism, and the anti-zombie argument for physicalism. By appealing to the disjunctive view, we argue that two hitherto unquestioned premises of these arguments are (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  41. Conjunctive and Disjunctive Limits: Abstract Logics and Modal Operators.Edelcio G. de Souza & Alexandre Costa-Leite - 2020 - Studia Humana 9 (3-4):66-71.
    Departing from basic concepts in abstract logics, this paper introduces two concepts: conjunctive and disjunctive limits. These notions are used to formalize levels of modal operators.
    Download  
     
    Export citation  
     
    Bookmark  
  42. Eliminating episodic memory?Nikola Andonovski, John Sutton & Christopher McCarroll - forthcoming - Philosophical Transactions of the Royal Society B.
    In Tulving’s initial characterization, episodic memory was one of multiple memory systems. It was postulated, in pursuit of explanatory depth, as displaying proprietary operations, representations, and substrates such as to explain a range of cognitive, behavioural, and experiential phenomena. Yet the subsequent development of this research program has, paradoxically, introduced surprising doubts about the nature, and indeed existence, of episodic memory. On dominant versions of the ‘common system’ view, on which a single simulation system underlies both remembering and imagining, there (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  43. Choice Points for a Modal Theory of Disjunction.Fabrizio Cariani - 2017 - Topoi 36 (1):171-181.
    This paper investigates the prospects for a semantic theory that treats disjunction as a modal operator. Potential motivation for such a theory comes from the way in which modals embed within disjunctions. After reviewing some of the relevant data, I go on to distinguish a variety of modal theories of disjunction. I analyze these theories by considering pairs of conflicting desiderata, highlighting some of the tradeoffs they must face.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  44. Non-eliminative Reductionism: Reconciling Qualia and Physicalism.Dennis Nicholson - manuscript
    A physicalist view of qualia labelled non-eliminative reductionism is outlined. If it is true, qualia and physicalism can co-exist without difficulty. First, qualia present no particular problem for reductionist physicalism - they are entirely physical, can be studied and explained using the standard scientific approach, and present no problem any harder than any other scientists face. Second, reductionist physicalism presents no particular problem for qualia – they can be encompassed within an entirely physicalist position without any necessity, either to reduce (...)
    Download  
     
    Export citation  
     
    Bookmark  
  45. Failures of Categoricity and Compositionality for Intuitionistic Disjunction.Jack Woods - 2012 - Thought: A Journal of Philosophy 1 (4):281-291.
    I show that the model-theoretic meaning that can be read off the natural deduction rules for disjunction fails to have certain desirable properties. I use this result to argue against a modest form of inferentialism which uses natural deduction rules to fix model-theoretic truth-conditions for logical connectives.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  46. Eliminating the ordinals from proofs. An analysis of transfinite recursion.Edoardo Rivello - 2014 - In Proceedings of the Conference "Philosophy, Mathematics, Linguistics. Aspects of Interaction", St. Petersburg, April 21-25, 2014. pp. 174-184.
    Transfinite ordinal numbers enter mathematical practice mainly via the method of definition by transfinite recursion. Outside of axiomatic set theory, there is a significant mathematical tradition in works recasting proofs by transfinite recursion in other terms, mostly with the intention of eliminating the ordinals from the proofs. Leaving aside the different motivations which lead each specific case, we investigate the mathematics of this action of proof transforming and we address the problem of formalising the philosophical notion of elimination which (...)
    Download  
     
    Export citation  
     
    Bookmark  
  47. Cut elimination for systems of transparent truth with restricted initial sequents.Carlo Nicolai - manuscript
    The paper studies a cluster of systems for fully disquotational truth based on the restriction of initial sequents. Unlike well-known alternative approaches, such systems display both a simple and intuitive model theory and remarkable proof-theoretic properties. We start by showing that, due to a strong form of invertibility of the truth rules, cut is eliminable in the systems via a standard strategy supplemented by a suitable measure of the number of applications of truth rules to formulas in derivations. Next, we (...)
    Download  
     
    Export citation  
     
    Bookmark  
  48. Exemplification with disjunction.Anna Szabolcsi - 2020 - Általános Nyelvészeti Tanulmányok XXXII: 321-329 32.
    (English translation of ...) This paper points out naturally-occurring examples, primarily in Hungarian but also to a more limited extent in English, in which disjunction (i) has a conjunctive force but (ii) its use highlights that the list is not intended to be exhaustive. The preliminary analysis is in terms of recursive proposition strengthening by exhaustification without a scalar alternative, assimilating exemplifications to known cases of conjunctively interpreted disjunctions in other languages.
    Download  
     
    Export citation  
     
    Bookmark  
  49. Eliminating the Problem of Stored Beliefs.Matthew Frise - 2018 - American Philosophical Quarterly 55 (1):63-79.
    The problem of stored beliefs is that of explaining how non-occurrent, seemingly justified beliefs are indeed justified. Internalism about epistemic justification, the view that one’s mental life alone determines what one is justified in believing, allegedly cannot solve this problem. This paper provides a solution. It asks: Does having a belief that p require having a special relation to a mental representation that p? If the answer is yes, then there are no stored beliefs, and so there is no problem. (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  50. Burge on Perception and the Disjunction Problem.Jon Altschul - 2015 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 30 (2):251-269.
    According to the Disjunction Problem, teleological theories of perceptual content are unable to explain why it is that a subject represents an F when an F causes the perception and not the disjunction F v G, given that the subject has mistaken G’s for F’s in the past. Without an adequate explanation these theories are stuck without an account of how non-veridical representation is possible, which would be an unsettling result. In this paper I defend Burge’s teleological theory (...)
    Download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 961