Results for 'cut elimination'

951 found
Order:
  1. 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  
  2. 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  
  3. A cut-free sequent calculus for the bi-intuitionistic logic 2Int.Sara Ayhan - manuscript
    The purpose of this paper is to introduce a bi-intuitionistic sequent calculus and to give proofs of admissibility for its structural rules. The calculus I will present, called SC2Int, is a sequent calculus for the bi-intuitionistic logic 2Int, which Wansing presents in [2016a]. There he also gives a natural deduction system for this logic, N2Int, to which SC2Int is equivalent in terms of what is derivable. What is important is that these calculi represent a kind of bilateralist reasoning, since they (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  4. Gentzen’s “cut rule” and quantum measurement in terms of Hilbert arithmetic. Metaphor and understanding modeled formally.Vasil Penchev - 2022 - Logic and Philosophy of Mathematics eJournal 14 (14):1-37.
    Hilbert arithmetic in a wide sense, including Hilbert arithmetic in a narrow sense consisting by two dual and anti-isometric Peano arithmetics, on the one hand, and the qubit Hilbert space (originating for the standard separable complex Hilbert space of quantum mechanics), on the other hand, allows for an arithmetic version of Gentzen’s cut elimination and quantum measurement to be described uniformy as two processes occurring accordingly in those two branches. A philosophical reflection also justifying that unity by quantum neo-Pythagoreanism (...)
    Download  
     
    Export citation  
     
    Bookmark  
  5. A Binary Quantifier for Definite Descriptions for Cut Free Free Logics.Nils Kürbis - 2021 - Studia Logica 110 (1):219-239.
    This paper presents rules in sequent calculus for a binary quantifier I to formalise definite descriptions: Ix[F, G] means ‘The F is G’. The rules are suitable to be added to a system of positive free logic. The paper extends the proof of a cut elimination theorem for this system by Indrzejczak by proving the cases for the rules of I. There are also brief comparisons of the present approach to the more common one that formalises definite descriptions with (...)
    Download  
     
    Export citation  
     
    Bookmark  
  6. (1 other version)A Cut-Free Sequent Calculus for Defeasible Erotetic Inferences.Jared Millson - 2019 - Studia Logica (6):1-34.
    In recent years, the e ffort to formalize erotetic inferences (i.e., inferences to and from questions) has become a central concern for those working in erotetic logic. However, few have sought to formulate a proof theory for these inferences. To fill this lacuna, we construct a calculus for (classes of) sequents that are sound and complete for two species of erotetic inferences studied by Inferential Erotetic Logic (IEL): erotetic evocation and regular erotetic implication. While an attempt has been made to (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  7. Proof Theory and Semantics for a Theory of Definite Descriptions.Nils Kürbis - 2021 - In Anupam Das & Sara Negri (eds.), TABLEAUX 2021, LNAI 12842.
    This paper presents a sequent calculus and a dual domain semantics for a theory of definite descriptions in which these expressions are formalised in the context of complete sentences by a binary quantifier I. I forms a formula from two formulas. Ix[F, G] means ‘The F is G’. This approach has the advantage of incorporating scope distinctions directly into the notation. Cut elimination is proved for a system of classical positive free logic with I and it is shown to (...)
    Download  
     
    Export citation  
     
    Bookmark  
  8. The Basics of Display Calculi.Tim Lyon, Christian Ittner, Timo Eckhardt & Norbert Gratzl - 2017 - Kriterion - Journal of Philosophy 31 (2):55-100.
    The aim of this paper is to introduce and explain display calculi for a variety of logics. We provide a survey of key results concerning such calculi, though we focus mainly on the global cut elimination theorem. Propositional, first-order, and modal display calculi are considered and their properties detailed.
    Download  
     
    Export citation  
     
    Bookmark  
  9. Conservatively extending classical logic with transparent truth.David Ripley - 2012 - Review of Symbolic Logic 5 (2):354-378.
    This paper shows how to conservatively extend classical logic with a transparent truth predicate, in the face of the paradoxes that arise as a consequence. All classical inferences are preserved, and indeed extended to the full (truth—involving) vocabulary. However, not all classical metainferences are preserved; in particular, the resulting logical system is nontransitive. Some limits on this nontransitivity are adumbrated, and two proof systems are presented and shown to be sound and complete. (One proof system allows for Cut—elimination, but (...)
    Download  
     
    Export citation  
     
    Bookmark   122 citations  
  10. 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  
  11. Takeuti's proof theory in the context of the Kyoto School.Andrew Arana - 2019 - Jahrbuch Für Philosophie Das Tetsugaku-Ronso 46:1-17.
    Gaisi Takeuti (1926–2017) is one of the most distinguished logicians in proof theory after Hilbert and Gentzen. He extensively extended Hilbert's program in the sense that he formulated Gentzen's sequent calculus, conjectured that cut-elimination holds for it (Takeuti's conjecture), and obtained several stunning results in the 1950–60s towards the solution of his conjecture. Though he has been known chiefly as a great mathematician, he wrote many papers in English and Japanese where he expressed his philosophical thoughts. In particular, he (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  12. Hypersequents and the proof theory of intuitionistic fuzzy logic.Matthias Baaz & Richard Zach - 2000 - In Clote Peter G. & Schwichtenberg Helmut (eds.), Computer Science Logic. 14th International Workshop, CSL 2000. Springer. pp. 187– 201.
    Takeuti and Titani have introduced and investigated a logic they called intuitionistic fuzzy logic. This logic is characterized as the first-order Gödel logic based on the truth value set [0,1]. The logic is known to be axiomatizable, but no deduction system amenable to proof-theoretic, and hence, computational treatment, has been known. Such a system is presented here, based on previous work on hypersequent calculi for propositional Gödel logics by Avron. It is shown that the system is sound and complete, and (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  13. A resource-sensitive logic of agency.Daniele Porello & Nicolas Troquard - 2014 - In Ios Press (ed.), Proceedings of the 21st European Conference on Artificial Intelligence (ECAI'14), Prague, Czech Republic. 2014. pp. 723-728.
    We study a fragment of Intuitionistic Linear Logic combined with non-normal modal operators. Focusing on the minimal modal logic, we provide a Gentzen-style sequent calculus as well as a semantics in terms of Kripke resource models. We show that the proof theory is sound and complete with respect to the class of minimal Kripke resource models. We also show that the sequent calculus allows cut elimination. We put the logical framework to use by instantiating it as a logic of (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  14. 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 models (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  15. Nested Sequents for Intuitionistic Modal Logics via Structural Refinement.Tim Lyon - 2021 - In Anupam Das & Sara Negri (eds.), Automated Reasoning with Analytic Tableaux and Related Methods: TABLEAUX 2021. pp. 409-427.
    We employ a recently developed methodology -- called "structural refinement" -- to extract nested sequent systems for a sizable class of intuitionistic modal logics from their respective labelled sequent systems. This method can be seen as a means by which labelled sequent systems can be transformed into nested sequent systems through the introduction of propagation rules and the elimination of structural rules, followed by a notational translation. The nested systems we obtain incorporate propagation rules that are parameterized with formal (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  16. On the Correspondence between Nested Calculi and Semantic Systems for Intuitionistic Logics.Tim Lyon - 2021 - Journal of Logic and Computation 31 (1):213-265.
    This paper studies the relationship between labelled and nested calculi for propositional intuitionistic logic, first-order intuitionistic logic with non-constant domains and first-order intuitionistic logic with constant domains. It is shown that Fitting’s nested calculi naturally arise from their corresponding labelled calculi—for each of the aforementioned logics—via the elimination of structural rules in labelled derivations. The translational correspondence between the two types of systems is leveraged to show that the nested calculi inherit proof-theoretic properties from their associated labelled calculi, such (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  17. Plato’s Philosophy of Cognition by Mathematical Modelling.Roman S. Kljujkov & Sergey F. Kljujkov - 2014 - Dialogue and Universalism 24 (3):110-115.
    By the end of his life Plato had rearranged the theory of ideas into his teaching about ideal numbers, but no written records have been left. The Ideal mathematics of Plato is present in all his dialogues. It can be clearly grasped in relation to the effective use of mathematical modelling. Many problems of mathematical modelling were laid in the foundation of the method by cutting the three-level idealism of Plato to the single-level “ideism” of Aristotle. For a long time, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  18. Gorgiasza meontologia vs. nihilizm.Seweryn Blandzi - 2012 - Argument: Biannual Philosophical Journal 2 (2):245 - 264.
    Meontology of Gorgias vs. Nihilism. The purpose of this paper is to challenge Gorgias’ image of a “nihilist existentialist”. The original thesis ouden estin, too frequently rendered as „nothing exists”, thus reducing the verb “to be” to denote “bare” existence, and ouden to denote “nothingness”. On close inspection, it turns out that, in Gorgias, neither do we have a negation of reality nor an affirmative treatment of the word “nothingness”.Therefore, ouden” should not be understood as a negation of all reality (...)
    Download  
     
    Export citation  
     
    Bookmark  
  19. Plato’s Metaphysical Development before Middle Period Dialogues.Mohammad Bagher Ghomi - manuscript
    Regarding the relation of Plato’s early and middle period dialogues, scholars have been divided to two opposing groups: unitarists and developmentalists. While developmentalists try to prove that there are some noticeable and even fundamental differences between Plato’s early and middle period dialogues, the unitarists assert that there is no essential difference in there. The main goal of this article is to suggest that some of Plato’s ontological as well as epistemological principles change, both radically and fundamentally, between the early and (...)
    Download  
     
    Export citation  
     
    Bookmark  
  20. (1 other version)Rancière and Aristotle: Parapolitics, Part-y Politics and the Institution of Perpetual Politics.Adriel Trott - 2012 - Journal for Speculative Philosophy 26 (4):627-646.
    This article addresses Rancière’s critique of Aristotle’s political theory as parapolitics in order to show that Aristotle is a resource for developing an inclusionary notion of political community. Rancière argues that Aristotle attempts to cut off politics and merely police (maintain) the community by eliminating the political claim of the poor by including it. I respond to three critiques that Rancière makes of Aristotle: that he ends the political dispute by including the demos in the government; that he includes the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  21. Castle’s Choice: Manipulation, Subversion, and Autonomy.Robert Allen - manuscript
    Causal Determinism (CD) entails that all of a person’s choices and actions are nomically related to events in the distant past, the approximate, but lawful, consequences of those occurrences. Assuming that history cannot be undone nor those (natural) relations altered, that whatever results from what is inescapable is itself inescapable, and the contrariety of inevitability and freedom, it follows that we are completely devoid of liberty: our choices are not freely made; our actions are not freely performed. Instead of disputing (...)
    Download  
     
    Export citation  
     
    Bookmark  
  22. An Existing Loop of Clipping Path Service in Modern Civilizaton.Md Majidul Haque Bhuiyan - manuscript
    The simplest of solution providers define its problem assignment in the practical manner. Here we are, tet alone clipping path service, only the term 'Clipping path' can be seemed to be an unfamiliar topic to the newly added digital arena professionals. people, but as we relate Clipping Path such as- 'cutting a picture from the newspaper'- practical experience like that is bonded with Clipping path as- those are twins in practical and virtual arena. Here, in manual part, you are cutting (...)
    Download  
     
    Export citation  
     
    Bookmark  
  23. Wittgenstein's Attitudes.Fabien Schang - 2008 - In Alexander Hieke & Hannes Leitgeb (eds.), Reduktion und Elimination in Philosophie und den Wissenschaften. pp. 289-291.
    What's wrong with modalities in (Wittgenstein 1922)? In (Suszko 1968), the writer argued that "Wittgenstein was somewhat confused and wrong in certain points. For example, he did not see the clear-cut distinction between language (theory) and metalanguage (metatheory): a confusion between use and mention of expressions". Furthermore, a modal logic was proposed in (von Wright 1986) as depicting Wittgenstein's bipolarity thesis in a S5 frame. -/- The aim of the present paper is to deal with the specific case of epistemic (...)
    Download  
     
    Export citation  
     
    Bookmark  
  24. 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  
  25. Cutting God in Half - And Putting the Pieces Together Again: A New Approach to Philosophy.Nicholas Maxwell - 2010 - Pentire Press.
    Cutting God in Half argues that, in order to tackle climate change, world poverty, extinction of species and our other global problems rather better than we are doing at present we need to bring about a revolution in science, and in academia more generally. We need to put our problems of living – personal, social, global – at the heart of the academic enterprise. How our human world, imbued with meaning and value, can exist and best flourish embedded in the (...)
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  26. Cut-free Calculi and Relational Semantics for Temporal STIT Logics.Tim Lyon & Kees van Berkel - 2019 - In Francesco Calimeri, Nicola Leone & Marco Manna (eds.), Logics in Artificial Intelligence. Springer. pp. 803 - 819.
    We present cut-free labelled sequent calculi for a central formalism in logics of agency: STIT logics with temporal operators. These include sequent systems for Ldm , Tstit and Xstit. All calculi presented possess essential structural properties such as contraction- and cut-admissibility. The labelled calculi G3Ldm and G3Tstit are shown sound and complete relative to irreflexive temporal frames. Additionally, we extend current results by showing that also Xstit can be characterized through relational frames, omitting the use of BT+AC frames.
    Download  
     
    Export citation  
     
    Bookmark  
  27. 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  
  28. Cut-conditions on sets of multiple-alternative inferences.Harold T. Hodes - 2022 - Mathematical Logic Quarterly 68 (1):95 - 106.
    I prove that the Boolean Prime Ideal Theorem is equivalent, under some weak set-theoretic assumptions, to what I will call the Cut-for-Formulas to Cut-for-Sets Theorem: for a set F and a binary relation |- on Power(F), if |- is finitary, monotonic, and satisfies cut for formulas, then it also satisfies cut for sets. I deduce the CF/CS Theorem from the Ultrafilter Theorem twice; each proof uses a different order-theoretic variant of the Tukey- Teichmüller Lemma. I then discuss relationships between various (...)
    Download  
     
    Export citation  
     
    Bookmark  
  29. 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  
  30. Cut-off points for the rational believer.Lina Maria Lissia - 2022 - Synthese 200 (2):1-19.
    I show that the Lottery Paradox is just a version of the Sorites, and argue that this should modify our way of looking at the Paradox itself. In particular, I focus on what I call “the Cut-off Point Problem” and contend that this problem, well known by Sorites scholars, ought to play a key role in the debate on Kyburg’s puzzle. Very briefly, I show that, in the Lottery Paradox, the premises “ticket n°1 will lose”, “ticket n°2 will lose”… “ticket (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  31. 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  
  32. 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  
  33. Metal Cutting Tool Position Control using Static Output Feedback and Full State Feedback H2 Controllers.Mustefa Jibril, Messay Tadese & Roman Girma - 2020 - Report and Opinion Journal 12 (9):27-32.
    In this paper, a metal cutting machine position control have been designed and simulated using Matlab/Simulink Toolbox successfully. The open loop response of the system analysis shows that the system needs performance improvement. Static output feedback and full state feedback H 2 controllers have been used to increase the performance of the system. Comparison of the metal cutting machine position using static output feedback and full state feedback H 2 controllers have been done to track a set point position using (...)
    Download  
     
    Export citation  
     
    Bookmark  
  34. 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  
  35. 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  
  36. The Cut‐Free Approach and the Admissibility‐Curry.Ulf Hlobil - 2018 - Thought: A Journal of Philosophy 7 (1):40-48.
    The perhaps most important criticism of the nontransitive approach to semantic paradoxes is that it cannot truthfully express exactly which metarules preserve validity. I argue that this criticism overlooks that the admissibility of metarules cannot be expressed in any logic that allows us to formulate validity-Curry sentences and that is formulated in a classical metalanguage. Hence, the criticism applies to all approaches that do their metatheory in classical logic. If we do the metatheory of nontransitive logics in a nontransitive logic, (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  37. 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  
  38. Cutting to the Core: Exploring the Ethics of Contested Surgeries.Michael Benatar, Leslie Cannold, Dena Davis, Merle Spriggs, Julian Savulescu, Heather Draper, Neil Evans, Richard Hull, Stephen Wilkinson, David Wasserman, Donna Dickenson, Guy Widdershoven, Françoise Baylis, Stephen Coleman, Rosemarie Tong, Hilde Lindemann, David Neil & Alex John London - 2006 - Rowman & Littlefield Publishers.
    When the benefits of surgery do not outweigh the harms or where they do not clearly do so, surgical interventions become morally contested. Cutting to the Core examines a number of such surgeries, including infant male circumcision and cutting the genitals of female children, the separation of conjoined twins, surgical sex assignment of intersex children and the surgical re-assignment of transsexuals, limb and face transplantation, cosmetic surgery, and placebo surgery.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  39. 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  
  40. Cut-offs and their Neighbors.Achille C. Varzi - 2003 - In J. C. Beall (ed.), Liars and Heaps: New Essays on Paradox. Oxford, England: Oxford University Press UK. pp. 24–38.
    In ‘Towards a Solution to the Sorites Paradox’, Graham Priest gives us a new account of the sorites based on fuzzy logic. The novelty lies in the suggestion that truth-value assignments should themselves be treated as fuzzy objects, i.e., objects about which we can make fuzzy identity statements. I argue that Priest’s solution does not have the explanatory force that Priest advocates. That is, it does not explain why we find the existence of a cut-off point counter-intuitive. I also argue (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  41. 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  
  42. 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  
  43.  44
    Eliminating Spacetime.Sam Baron - 2021 - Erkenntnis 88 (3):1289-1308.
    A number of approaches to quantum gravity (QG) seem to imply that spacetime does not exist. Philosophers are quick to point out, however, that the loss of spacetime should not be regarded as total. Rather, we should interpret these approaches as ones that threaten the fundamentality but not the existence of spacetime. In this paper, I argue for two claims. First, I argue that spacetime realism is not forced by QG; spacetime eliminativism remains an option. Second, I argue that eliminativism (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  44. Freehand Cutting Technique in Dressmaking as an Entrepreneurial Skill among Secondary School Students in Port Harcourt Metropolis.Peace Jack - 2023 - International Journal of Home Economics, Hospitality and Allied Research 2 (2):229-237.
    The present study investigated freehand cutting technique in dressmaking as an entrepreneurial skill among secondary school students for sustainable development in Port Harcourt Metropolis. The researcher employed a descriptive survey research design. The study was conducted in Port Harcourt, Rivers State. The population for the study included all students in eight government secondary schools in Rivers State. A sample of 25 students was randomly selected from each of the schools, resulting in a total of 200 respondents. The researcher created a (...)
    Download  
     
    Export citation  
     
    Bookmark  
  45. Rorty und der Eliminative Materialismus – eine Mesalliance?Geert Keil - 2001 - In Thomas Schäfer Udo Tietz (ed.), Hinter den Spiegeln. Beiträge zur Philosophie Richard Rortys. pp. 56-72.
    Im Beitrag von Geert Keil geht es um das Verhältnis zwischen Philosophie und Naturwissenschaft. Keil geht der Frage nach, inwiefern Rortys frühes Eintreten für den Eliminativen Materialismus mit seinen entspannten Auffassungen zum Status der Wissenschaften vereinbar ist. Allgemein sieht Rorty die Wissenschaften als eine Reihe etablierter sozialer Praktiken an, als Werkzeuge, mit bestimmten Teilen der Welt zurechtzukommen. Dieses pragmatistisch-instrumentalistische Wissenschaftsverständnis steht in auffallendem Kontrast zu der Rolle, die den Naturwissenschaften im Rahmen des Eliminativen Materialismus zufallen soll. Dieser Lösungsvorschlag für das (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  46. 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  
  47. 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  
  48. Eliminating Undecidability and Incompleteness in Formal Systems.P. Olcott - manuscript
    To eliminate incompleteness, undecidability and inconsistency from formal systems we only need to convert the formal proofs to theorem consequences of symbolic logic to conform to the sound deductive inference model. -/- Within the sound deductive inference model there is a (connected sequence of valid deductions from true premises to a true conclusion) thus unlike the formal proofs of symbolic logic provability cannot diverge from truth.
    Download  
     
    Export citation  
     
    Bookmark  
  49. Eliminative materialism and the distinction between common sense and science.Nada Gligorov - 2007 - Dissertation,
    It is one of the premises of eliminative materialism that commonsense psychology constitutes a theory. There is agreement that mental states can be construed as posited entities for the explanation and prediction of behavior. Disputes arise when it comes to the range of the commonsense theory of mental states. In chapter one, I review major arguments concerning the span and nature of folk psychology. In chapter two, relying on arguments by Quine and Sellars, I argue that the precise scope of (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  50. God's Problem of Cut-and-Paste.Noah Gordon - forthcoming - Faith and Philosophy.
    I argue that classical theism is in tension with a kind of modal recombination principle known as ‘cut-and-paste’. I develop this tension at length, giving two arguments against theism based on cut-and-paste. I then both lay out and respond to various original proposals for reconciling theism with cut-and-paste. I conclude by measuring the cost of having to deny cut-and-paste. I argue that while there is an intuitive cost to this consequence of theism, theists also have plausible ways of addressing various (...)
    Download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 951