Results for 'Hyper negation'

991 found
Order:
  1.  31
    Existence, Negation, and Abstraction in the Neoplatonic Hierarchy 1.John N. Martin - 1995 - History and Philosophy of Logic 16 (2):169-196.
    The paper is a study of the logic of existence, negation, and order in the Neoplatonic tradition. The central idea is that Neoplatonists assume a logic in which the existence predicate is a comparative adjective and in which monadic predicates function as scalar adjectives that nest the background order. Various scalar predicate negations are then identifiable with various Neoplatonic negations, including a privative negation appropriate for the lower orders of reality and a hyper-negation appropriate for the (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  2.  54
    Hyper-Abjects: Finitude, “Sustainability,” and the Maternal Body in the Anthropocene.Bethany Doane - 2015 - philoSOPHIA: A Journal of Continental Feminism 5 (2):251-267.
    In lieu of an abstract, here is a brief excerpt of the content:Hyper-Abjects:Finitude, “Sustainability,” and the Maternal Body in the AnthropoceneBethany DoaneThe concept of the Anthropocene prioritizes a new paradigmatic scale that seems to outweigh that of “the political”: imagining deep time or the death of the human species as a result of climate change tends to negate the (relatively speaking) smaller-scale concerns of race, class, gender, or capitalism. While feminist critique is often circumscribed by this political scale, and (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  3. Understanding the object.Property Structure in Terms of Negation: An Introduction to Hegelian Logic & Metaphysics in the Perception Chapter - 2019 - In Robert Brandom (ed.), A Spirit of Trust: A Reading of Hegel’s _phenomenology_. Cambridge, Massachusetts: Harvard University Press.
     
    Export citation  
     
    Bookmark  
  4. Table Des matieres editorial preface 3.Jair Minoro Abe, Curry Algebras Pt, Paraconsistent Logic, Newton Ca da Costa, Otavio Bueno, Jacek Pasniczek, Beyond Consistent, Complete Possible Worlds, Vm Popov & Inverse Negation - 1998 - Logique Et Analyse 41:1.
    No categories
     
    Export citation  
     
    Bookmark  
  5.  62
    Proclus and the neoplatonic syllogistic.John N. Martin - 2001 - Journal of Philosophical Logic 30 (3):187-240.
    An investigation of Proclus' logic of the syllogistic and of negations in the Elements of Theology, On the Parmenides, and Platonic Theology. It is shown that Proclus employs interpretations over a linear semantic structure with operators for scalar negations (hypemegationlalpha-intensivum and privative negation). A natural deduction system for scalar negations and the classical syllogistic (as reconstructed by Corcoran and Smiley) is shown to be sound and complete for the non-Boolean linear structures. It is explained how Proclus' syllogistic presupposes converting (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  6. The Emergence of Causation.Jeffrey Dmitri Gallow - 2014 - Journal of Philosophy 112 (6):281-308.
    Several philosophers have embraced the view that high-level events—events like Zimbabwe's monetary policy and its hyper-inflation—are causally related if their corresponding low-level, fundamental physical events are causally related. I dub the view which denies this without denying that high-level events are ever causally related causal emergentism. Several extant philosophical theories of causality entail causal emergentism, while others are inconsistent with the thesis. I illustrate this with David Lewis's two theories of causation, one of which entails causal emergentism, the other (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  7.  11
    Empty Esotericisms: Doctrines of Secret Writing and the Politics of a Platonic Code.Sean Noah Walsh - 2012 - Polis 29 (1):62-82.
    The aim of this article is to address the recently renewed debate pertaining to esotericism, secret messages encoded within writings from antiquity, especially in the writings of Plato. The question of esotericism has assumed a prominent role within debates concerning the history of political thought. Ever since Leo Strauss offered his suspicion that there were secrets ‘buried in the writings of the rhetoricians of antiquity’, the idea that philosophers deliberately concealed their true beliefs in a way that few could detect (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  8. Cartesian Philosophy and the Political Dynamics for Peace.Tadashi Ogawa - 2006 - Phainomena 59.
    The contemporary times are the era in which the natural sciences and technology are hyper-developed. Nowadays the future of mankind is not altogether filled with the light of hope. On the contrary the human beings are thrown into the difficult situations. What kind of critical situation is there in front of us then? Three points must be considered and inquired. 1) What is the recognition of the present condition? 2) From which does the critical situation arise? 3) On the (...)
    No categories
     
    Export citation  
     
    Bookmark  
  9. A Commentary on Eugene Thacker’s "Cosmic Pessimism".Gary J. Shipley & Nicola Masciandaro - 2012 - Continent 2 (2):76-81.
    continent. 2.2 (2012): 76–81 Comments on Eugene Thacker’s “Cosmic Pessimism” Nicola Masciandaro Anything you look forward to will destroy you, as it already has. —Vernon Howard In pessimism, the first axiom is a long, low, funereal sigh. The cosmicity of the sigh resides in its profound negative singularity. Moving via endless auto-releasement, it achieves the remote. “ Oltre la spera che piú larga gira / passa ’l sospiro ch’esce del mio core ” [Beyond the sphere that circles widest / penetrates (...)
     
    Export citation  
     
    Bookmark  
  10.  29
    Not Not.Timothy D. Knepper - 2008 - American Catholic Philosophical Quarterly 82 (4):619-637.
    This paper examines the basic differences between Dionysius’s two principal terms for negation, aphairesis and apophasis, expounding most of the passagesin which these terms appear in order to support the claim that aphairesis functions as Dionysius’s method of hymning the hyper-being God through the removal of“beings” (by means of narrow-scope predicate-term negation), while apophasis constitutes Dionysius’s logic of interpreting these removed beings excessively rather than privatively. It then argues that, although aphairesis “removes” and apophasis “exceeds,” these two (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  11.  17
    Not Not.Timothy D. Knepper - 2008 - American Catholic Philosophical Quarterly 82 (4):619-637.
    This paper examines the basic differences between Dionysius’s two principal terms for negation, aphairesis and apophasis, expounding most of the passagesin which these terms appear in order to support the claim that aphairesis functions as Dionysius’s method of hymning the hyper-being God through the removal of“beings” (by means of narrow-scope predicate-term negation), while apophasis constitutes Dionysius’s logic of interpreting these removed beings excessively rather than privatively. It then argues that, although aphairesis “removes” and apophasis “exceeds,” these two (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  12.  74
    Connexive Negation.Luis Estrada-González & Ricardo Arturo Nicolás-Francisco - 2023 - Studia Logica (Special Issue: Frontiers of Conn):1-29.
    Seen from the point of view of evaluation conditions, a usual way to obtain a connexive logic is to take a well-known negation, for example, Boolean negation or de Morgan negation, and then assign special properties to the conditional to validate Aristotle’s and Boethius’ Theses. Nonetheless, another theoretical possibility is to have the extensional or the material conditional and then assign special properties to the negation to validate the theses. In this paper we examine that possibility, (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  13.  94
    Hyper-contradictions, generalized truth values and logics of truth and falsehood.Yaroslav Shramko & Heinrich Wansing - 2006 - Journal of Logic, Language and Information 15 (4):403-424.
    In Philosophical Logic, the Liar Paradox has been used to motivate the introduction of both truth value gaps and truth value gluts. Moreover, in the light of “revenge Liar” arguments, also higher-order combinations of generalized truth values have been suggested to account for so-called hyper-contradictions. In the present paper, Graham Priest's treatment of generalized truth values is scrutinized and compared with another strategy of generalizing the set of classical truth values and defining an entailment relation on the resulting sets (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   30 citations  
  14.  15
    Hyper-ambition and the Replication Crisis: Why Measures to Promote Research Integrity can Falter.Yasemin J. Erden - forthcoming - Journal of Academic Ethics:1-14.
    This paper introduces the concept of ‘hyper-ambition’ in academia as a contributing factor to what has been termed a ‘replication crisis’ across some sciences. The replication crisis is an umbrella term that covers a range of ‘questionable research practices’, from sloppy reporting to fraud. There are already many proposals to address questionable research practices, some of which focus on the values, norms, and motivations of researchers and institutes, and suggest measures to promote research integrity. Yet it is not easy (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  15. A Hyper-Relation Characterization of Weak Pseudo-Rationalizability.Rush T. Stewart - 2020 - Journal of Mathematical Psychology 99:1-5.
    I provide a characterization of weakly pseudo-rationalizable choice functions---that is, choice functions rationalizable by a set of acyclic relations---in terms of hyper-relations satisfying certain properties. For those hyper-relations Nehring calls extended preference relations, the central characterizing condition is weaker than (hyper-relation) transitivity but stronger than (hyper-relation) acyclicity. Furthermore, the relevant type of hyper-relation can be represented as the intersection of a certain class of its extensions. These results generalize known, analogous results for path independent choice (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  16. Negation on the Australian Plan.Francesco Berto & Greg Restall - 2019 - Journal of Philosophical Logic 48 (6):1119-1144.
    We present and defend the Australian Plan semantics for negation. This is a comprehensive account, suitable for a variety of different logics. It is based on two ideas. The first is that negation is an exclusion-expressing device: we utter negations to express incompatibilities. The second is that, because incompatibility is modal, negation is a modal operator as well. It can, then, be modelled as a quantifier over points in frames, restricted by accessibility relations representing compatibilities and incompatibilities (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   25 citations  
  17. Hyper-royalism : a Thai modality of political jouissance.Pavin Chachavalpongpun - 2024 - In Nicol A. Barria-Asenjo & Slavoj Žižek (eds.), Political jouissance. New York: Bloomsbury Academic.
     
    Export citation  
     
    Bookmark  
  18. Holism, Hyper‐analyticity and Hyper‐compositionality.Ned Block - 2007 - Mind and Language 8 (1):1-27.
  19. Holism, hyper-analyticity and hyper-compositionality.Ned Block - 1993 - Mind and Language 8 (1):1-26.
  20.  10
    Self-negation.Mustafa Emirbayer - 2024 - Theory and Society 53 (2):323-356.
    This paper presents a new approach to theorizing and empirically investigating a phenomenon variously described by sociologists as internalized oppression or symbolic violence. Located at the intersection of internal worlds and external reality, the intrapsychic and the interpersonal and social, this object of inquiry—here termed self-negation—is crucial to many forms of societal domination. The paper explores its inner workings, analytically disaggregating it into an array of psychosocial processes drawn from the psychoanalytic theory of the defenses. Much of the work’s (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  21. Hyper-contradictions.G. Priest - 1984 - Logique Et Analyse 27 (7):237.
     
    Export citation  
     
    Bookmark   22 citations  
  22.  9
    Connexive Negation.Luis Estrada-González & Ricardo Arturo Nicolás-Francisco - 2023 - Studia Logica 112 (1):511-539.
    Seen from the point of view of evaluation conditions, a usual way to obtain a connexive logic is to take a well-known negation, for example, Boolean negation or de Morgan negation, and then assign special properties to the conditional to validate Aristotle’s and Boethius’ Theses. Nonetheless, another theoretical possibility is to have the extensional or the material conditional and then assign special properties to the negation to validate the theses. In this paper we examine that possibility, (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  23.  9
    On hyper‐torre isols.Joseph Barback - 2006 - Mathematical Logic Quarterly 52 (4):359-361.
    In this paper we present a contribution to a classical result of E. Ellentuck in the theory of regressive isols. E. Ellentuck introduced the concept of a hyper-torre isol, established their existence for regressive isols, and then proved that associated with these isols a special kind of semi-ring of isols is a model of the true universal-recursive statements of arithmetic. This result took on an added significance when it was later shown that for regressive isols, the property of being (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  24. Hyper-reliability and apriority.James Pryor - 2006 - Proceedings of the Aristotelian Society 106 (3):327–344.
    I argue that beliefs that are true whenever held-like I exist, I am thinking about myself, and (in an object-dependent framework) Jack = Jack-needn't on that account be a priori. It does however seem possible to remove the existential commitment from the last example, to get a belief that is knowable a priori. I discuss some difficulties concerning how to do that.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  25.  24
    Hyper-Evaluativity.James Pryor - unknown
    Predicates are "hyper-evaluative" when they depend on more than just the semantic values (be they intensional or more fine-grained) of their individual arguments, but also on the way those arguments are "coordinated" or "wired." I examine motivations and semantic implementations for such predicates, drawing from linguistics and computer science.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  26.  24
    Hyper MV -ideals in hyper MV -algebras.Lida Torkzadeh & Afsaneh Ahadpanah - 2010 - Mathematical Logic Quarterly 56 (1):51-62.
    In this paper we define the hyper operations ⊗, ∨ and ∧ on a hyper MV -algebra and we obtain some related results. After that by considering the notions ofhyper MV -ideals and weak hyper MV -ideals, we prove some theorems. Then we determine relationships between hyper MV -ideals in a hyper MV -algebra and hyper K -ideals in a hyper K -algebra . Finally we give a characterization of hyper MV -algebras (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  27.  42
    Hyperations, Veblen progressions and transfinite iteration of ordinal functions.David Fernández-Duque & Joost J. Joosten - 2013 - Annals of Pure and Applied Logic 164 (7-8):785-801.
    Ordinal functions may be iterated transfinitely in a natural way by taking pointwise limits at limit stages. However, this has disadvantages, especially when working in the class of normal functions, as pointwise limits do not preserve normality. To this end we present an alternative method to assign to each normal function f a family of normal functions Hyp[f]=〈fξ〉ξ∈OnHyp[f]=〈fξ〉ξ∈On, called its hyperation, in such a way that f0=idf0=id, f1=ff1=f and fα+β=fα∘fβfα+β=fα∘fβ for all α, β.Hyperations are a refinement of the Veblen hierarchy (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  28.  19
    Hyper-Transcranial Alternating Current Stimulation: Experimental Manipulation of Inter-Brain Synchrony.Caroline Szymanski, Viktor Müller, Timothy R. Brick, Timo von Oertzen & Ulman Lindenberger - 2017 - Frontiers in Human Neuroscience 11.
  29. The Hyper-Hermeneutic Gesture of a Subtle Revolution.Tom Frost - 2013 - Critical Horizons 14 (1):70-92.
    Drawing upon the thought of Giorgio Agamben, this essay focuses upon the potential of a single act to change a political order. Agamben’s writings retain the possibility for a paradigmatic gesture that opens a space for a politics not founded on a form of belonging grounded in a particular property, such as national identity. To illustrate this event this essay turns to Agamben’s construction of whatever-being, which is constructed hyper-hermeneutically. This term is chosen deliberately. Whatever-being retains a hermeneutic structure, (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  30.  18
    The hyper-weak distributive law and a related game in Boolean algebras.James Cummings & Natasha Dobrinen - 2007 - Annals of Pure and Applied Logic 149 (1-3):14-24.
    We discuss the relationship between various weak distributive laws and games in Boolean algebras. In the first part we give some game characterizations for certain forms of Prikry’s “hyper-weak distributive laws”, and in the second part we construct Suslin algebras in which neither player wins a certain hyper-weak distributivity game. We conclude that in the constructible universe L, all the distributivity games considered in this paper may be undetermined.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  31. Hyper-Extending the Mind?: Setting Boundaries in the Special Sciences.Carl Gillett - 2007 - Philosophical Topics 35 (1-2):161-188.
  32.  66
    Classical Negation and Expansions of Belnap–Dunn Logic.Michael De & Hitoshi Omori - 2015 - Studia Logica 103 (4):825-851.
    We investigate the notion of classical negation from a non-classical perspective. In particular, one aim is to determine what classical negation amounts to in a paracomplete and paraconsistent four-valued setting. We first give a general semantic characterization of classical negation and then consider an axiomatic expansion BD+ of four-valued Belnap–Dunn logic by classical negation. We show the expansion complete and maximal. Finally, we compare BD+ to some related systems found in the literature, specifically a four-valued modal (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   20 citations  
  33.  5
    Negation: various insights.Adam Olszewski & Kazimierz Trzęsicki (eds.) - 2018 - Białystok: University of Białystok.
    Direct download  
     
    Export citation  
     
    Bookmark  
  34.  24
    A hyper-emotion theory of psychological illnesses.P. N. Johnson-Laird, Francesco Mancini & Amelia Gangemi - 2006 - Psychological Review 113 (4):822-841.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  35. Negation, anti-realism, and the denial defence.Imogen Dickie - 2010 - Philosophical Studies 150 (2):161 - 185.
    Here is one argument against realism. (1) Realists are committed to the classical rules for negation. But (2) legitimate rules of inference must conserve evidence. And (3) the classical rules for negation do not conserve evidence. So (4) realism is wrong. Most realists reject 2. But it has recently been argued that if we allow denied sentences as premisses and conclusions in inferences we will be able to reject 3. And this new argument against 3 generates a new (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  36.  10
    The hyper‐rhetorical presidency.John J. DiIulio - 2007 - Critical Review: A Journal of Politics and Society 19 (2-3):315-324.
    During the Bill Clinton and George W. Bush administrations, the Executive Office of the President became dominated by West Wing advisers who specialized in campaign politics, media management, and nonstop public communications. With record numbers of presidential appointees requiring no congressional approval, the Bush White House pursued partisan control of cabinet agencies. Even obscure federal bureaus were required to remain “on message.” The constitutional derangement about which The Rhetorical Presidency had warned has occurred. No matter who occupies the Oval Office (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  37.  3
    Negation and Polarity: Experimental Perspectives.Pierre Larrivée & Chungmin Lee (eds.) - 2016 - Cham: Imprint: Springer.
    This volume offers insights on experimental and empirical research in theoretical linguistic issues of negation and polarity, focusing on how negation is marked and how negative polarity is emphatic and how it interacts with double negation. Metalinguistic negation and neg-raising are also explored in the volume. Leading specialists in the field present novel ideas by employing various experimental methods in felicity judgments, eye tracking, self-paced readings, prosody and ERP. Particular attention is given to extensive crosslinguistc data (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  38.  51
    Hyper-active gap filling.Akira Omaki, Ellen F. Lau, Imogen Davidson White, Myles L. Dakan, Aaron Apple & Colin Phillips - 2015 - Frontiers in Psychology 6.
  39.  28
    Weak Negation in Inquisitive Semantics.Vít Punčochář - 2015 - Journal of Logic, Language and Information 24 (3):323-355.
    This paper introduces and explores a conservative extension of inquisitive logic. In particular, weak negation is added to the standard propositional language of inquisitive semantics, and it is shown that, although we lose some general semantic properties of the original framework, such an enrichment enables us to model some previously inexpressible speech acts such as weak denial and ‘might’-assertions. As a result, a new modal logic emerges. For this logic, a Fitch-style system of natural deduction is formulated. The main (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  40.  22
    Hyper‐transcendentalism and Intentionality: On the Specificity of the ‘Transcendental’ in Material Phenomenology.Sébastien Laoureux - 2009 - International Journal of Philosophical Studies 17 (3):389 - 400.
    This article seeks to grasp the meaning of Michel Henry's use of the term "transcendental" to understand its specific nature as pure experience that owes nothing to the constituted or the a posteriori. It then considers the methodological consequences and difficulties resulting from such a conception of the transcendental. According to my hypothesis, in order to maintain the "major division" between the empirical and the transcendental, material phenomenology is caught in a form of double bind. One cannot say much about (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  41.  6
    Hyper(in)visibility and urban-mediatic populism in São Paulo: a sociosemiotic approach.Paolo Demuru - 2021 - Semiotica 2021 (239):61-80.
    The aim of this article is to tackle the sociosemiotic strategies through which the relation between power and visibility is articulated in today’s metropolitan São Paulo. Drawing on the theoretical-methodological framework of Greimasian and post-Greimasian semiotics, the following hypotheses are put forth: (1) contemporary São Paulo is characterized by a true visual hypertrophy, which manifests itself, all at once, in both its architectural and mediatic landscapes; (2) in São Paulo, power is hypervisible and apparently transparent; (3) the excess of images, (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  42.  58
    HYPER-REF: A General Model of Reference for First-Order Logic and First-Order Arithmetic.Pablo Rivas-Robledo - 2022 - Kriterion – Journal of Philosophy 36 (2):179-205.
    In this article I present HYPER-REF, a model to determine the referent of any given expression in First-Order Logic. I also explain how this model can be used to determine the referent of a first-order theory such as First-Order Arithmetic. By reference or referent I mean the non-empty set of objects that the syntactical terms of a well-formed formula pick out given a particular interpretation of the language. To do so, I will first draw on previous work to make (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  43. Empirical Negation.Michael De - 2013 - Acta Analytica 28 (1):49-69.
    An extension of intuitionism to empirical discourse, a project most seriously taken up by Dummett and Tennant, requires an empirical negation whose strength lies somewhere between classical negation (‘It is unwarranted that. . . ’) and intuitionistic negation (‘It is refutable that. . . ’). I put forward one plausible candidate that compares favorably to some others that have been propounded in the literature. A tableau calculus is presented and shown to be strongly complete.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  44.  14
    Negation.Heinrich Wansing - 2017 - In Lou Goble (ed.), The Blackwell Guide to Philosophical Logic. Oxford, UK: Blackwell. pp. 415–436.
    This chapter is concerned with logical aspects of negation, i.e. with the role of negation in valid inferences and hence with the contribution negation makes to the truth and falsity conditions of declarative expressions. Negation is an important philosophical and logical concept. Often differences between logical systems can ‐ at least partially ‐ be described as differences between the notions of negation used in these logics.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   10 citations  
  45.  10
    Negation.João Vergílio Gallerani Cuter - 2023 - Analytica. Revista de Filosofia 25 (2):104-110.
    A negação, no Tractatus, não pode ser tratada como um conceito, tal como acontecia em Frege e em Russell. Se isto acontecesse, p e ~~p deveriam ter sentidos composicionalmente diferentes. A negação não pode se resumir a uma relação lógica entre dois enunciados, pois ~p deve ser construída a partir de p, e não o contrário. A negação é algo que devemos fazer para obter uma proposição a partir de outra (5.23). Ela é produto de uma ação, mas esta ação (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  46. Negation, expressivism, and intentionality.Alejandro Pérez Carballo - 2020 - Philosophical Quarterly 70 (279):246-267.
    Many think that expressivists have a special problem with negation. I disagree. For if there is a problem with negation, I argue, it is a problem shared by those who accept some plausible claims about the nature of intentionality. Whether there is any special problem for expressivists turns, I will argue, on whether facts about what truth-conditions beliefs have can explain facts about basic inferential relations among those beliefs. And I will suggest that the answer to this last (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  47.  44
    Boolean negation and non-conservativity I: Relevant modal logics.Tore Fjetland Øgaard - 2021 - Logic Journal of the IGPL 29 (3):340-362.
    Many relevant logics can be conservatively extended by Boolean negation. Mares showed, however, that E is a notable exception. Mares’ proof is by and large a rather involved model-theoretic one. This paper presents a much easier proof-theoretic proof which not only covers E but also generalizes so as to also cover relevant logics with a primitive modal operator added. It is shown that from even very weak relevant logics augmented by a weak K-ish modal operator, and up to the (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  48.  33
    Hyper-Russellian Skepticism.Giuliano Torrengo - 2018 - Metaphysica 19 (1):1-17.
    The hyper-Russellian skeptic is someone who thinks that only one of all your experiences was, is, and will ever be conscious. Which one? The very one you are having now. Before you were always a zombie, and you will be a zombie for ever after. In the present literature on the metaphysics of passage of time, there is disagreement on whether our feeling that time passes — the “dynamic flavor” of our ordinary experience — provides support to the A-theory, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  49. Constrained Hyper Tableaux.Jan van Eijck - unknown
    Hyper tableau reasoning is a version of clausal form tableau reasoning where all negative literals in a clause are resolved away in a single inference step. Constrained hyper tableaux are a generalization of hyper tableaux, where branch closing substitutions, from the point of view of model generation, give rise to constraints on satisfying assignments for the branch. These variable constraints eliminate the need for the awkward ‘purifying substitutions’ of hyper tableaux. The paper presents a non-destructive and (...)
     
    Export citation  
     
    Bookmark   1 citation  
  50.  24
    Boolean negation and non-conservativity II: The variable-sharing property.Tore Fjetland Øgaard - 2021 - Logic Journal of the IGPL 29 (3):363-369.
    Many relevant logics are conservatively extended by Boolean negation. Not all, however. This paper shows an acute form of non-conservativeness, namely that the Boolean-free fragment of the Boolean extension of a relevant logic need not always satisfy the variable-sharing property. In fact, it is shown that such an extension can in fact yield classical logic. For a vast range of relevant logic, however, it is shown that the variable-sharing property, restricted to the Boolean-free fragment, still holds for the Boolean (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
1 — 50 / 991