This category needs an editor. We encourage you to help if you are qualified.
Volunteer, or read more about what this involves.
Related categories
Siblings:History/traditions: Negation

208 found
Order:
1 — 50 / 208
  1. Quantification, Negation, and Focus: Challenges at the Conceptual-Intentional Semantic Interface.Tista Bagchi -
    Quantification, Negation, and Focus: Challenges at the Conceptual-Intentional Semantic Interface Tista Bagchi National Institute of Science, Technology, and Development Studies (NISTADS) and the University of Delhi Since the proposal of Logical Form (LF) was put forward by Robert May in his 1977 MIT doctoral dissertation and was subsequently adopted into the overall architecture of language as conceived under Government-Binding Theory (Chomsky 1981), there has been a steady research effort to determine the nature of LF in language in light of structurally (...)
    Remove from this list   Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  2. Can We Test Inconsistent Empirical Theories?Luis Felipe Bartolo Alegre - manuscript
    This paper discusses the logical possibility of testing inconsistent empirical theories. The main challenge for answering this affirmatively is to avoid that the inconsistent consequences of a theory both corroborate it and falsify it. I answer affirmatively by showing that we can define a class of empirical sentences whose truth would force us to abandon such inconsistent theory: the class of its potential rejecters. Despite this, I show that the observational contradictions implied by a theory could only be verified (provided (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  3. A Contextualist Defence of the Material Account of Indicative Conditionals.Matheus Silva - manuscript
    The material account of indicative conditionals faces a legion of counterexamples that are the bread and butter in any entry about the subject. For this reason, the material account is widely unpopular among conditional experts. I will argue that this consensus was not built on solid foundations, since these counterexamples are contextual fallacies. They ignore a basic tenet of semantics according to which when evaluating arguments for validity we need to maintain the context constant, otherwise any argumentative form can be (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  4. Making Conditional Speech Acts in the Material Way.Matheus Silva - manuscript
    The conventional wisdom about conditionals claims that (1) conditionals that have non-assertive acts in their consequents, such as commands and promises, cannot be plausibly interpreted as assertions of material implication; (2) the most promising hypothesis about those sentences is conditional-assertion theory, which explains a conditional as a conditional speech act, i.e., a performance of a speech act given the assumption of the antecedent. This hypothesis has far-reaching and revisionist consequences, because conditional speech acts are not synonymous with a proposition with (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  5. In Defence of Extensional Evidence.Matheus Silva - manuscript
    Intensional evidence is any reason to accept a proposition that is not the truth values of the proposition accepted or, if it is a complex proposition, is not the truth values of its propositional contents. Extensional evidence is non-intensional evidence. Someone can accept a complex proposition, but deny its logical consequences when her acceptance is based on intensional evidence, while the logical consequences of the proposition presuppose the acceptance of extensional evidence, e.g., she can refuse the logical consequence of a (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  6. If Counterfactuals Were Neg-Raisers, Conditional Excluded Middle Wouldn’T Be Valid.Patrick Todd & Brian Rabern - manuscript
    The principle of Conditional Excluded Middle has been a matter of longstanding controversy in both semantics and metaphysics. According to this principle, we are, inter alia, committed to claims like the following: If the coin had been flipped, it would have landed heads, or if the coin had been flipped, it would not have landed heads. In favour of the principle, theorists have appealed, primarily, to linguistic data such as that we tend to hear ¬(A > B) as equivalent to (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  7. Existential Sentences, BE, and the Genitive of Negation in Russian.Barbara Partee & Vladimir Borschev - manuscript
    Remove from this list  
     
    Export citation  
     
    Bookmark   2 citations  
  8. Compatibility and Accessibility: Lattice Representations for Semantics of Non-Classical and Modal Logics.Wesley Holliday - forthcoming - In David Fernández Duque & Alessandra Palmigiano (eds.), Advances in Modal Logic, Vol. 14. London: College Publications.
    In this paper, we study three representations of lattices by means of a set with a binary relation of compatibility in the tradition of Ploščica. The standard representations of complete ortholattices and complete perfect Heyting algebras drop out as special cases of the first representation, while the second covers arbitrary complete lattices, as well as complete lattices equipped with a negation we call a protocomplementation. The third topological representation is a variant of that of Craig, Haviar, and Priestley. We then (...)
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  9. Inferential Expressivism and the Negation Problem.Luca Incurvati & Julian J. Schlöder - forthcoming - Oxford Studies in Metaethics 16.
    We develop a novel solution to the negation version of the Frege-Geach problem by taking up recent insights from the bilateral programme in logic. Bilateralists derive the meaning of negation from a primitive *B-type* inconsistency involving the attitudes of assent and dissent. Some may demand an explanation of this inconsistency in simpler terms, but we argue that bilateralism’s assumptions are no less explanatory than those of *A-type* semantics that only require a single primitive attitude, but must stipulate inconsistency elsewhere. Based (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  10. Assertion and Rejection.Julian J. Schlöder - forthcoming - In Daniel Altshuler (ed.), Linguistics Meets Philosophy. Cambridge University Press.
    I argue that rejection is a speech act that cannot be reduced to assertion. Adapting an argument by Huw Price, I conclude that rejection is best conceived of as the speech act that is used to register that some other speech act is (or would be) violating a rule of the conversation game. This can be naturally understood as registering *norm violations* where speech acts are characterised by their essential norms. However, I argue that rejection itself is not to be (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  11. A Peculiar and Perpetual Tendency: An Asymmetry in Knowledge Attributions for Affirmations and Negations.John Turri - forthcoming - Erkenntnis:1-14.
    From antiquity through the twentieth century, philosophers have hypothesized that, intuitively, it is harder to know negations than to know affirmations. This paper provides direct evidence for that hypothesis. In a series of studies, I found that people naturally view negations as harder to know than affirmations. Participants read simple scenarios and made judgments about truth, probability, belief, and knowledge. Participants were more likely to attribute knowledge of an outcome when framed affirmatively than when framed negatively. Participants did this even (...)
    Remove from this list   Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  12. Semantics for Pure Theories of Connexive Implication.Yale Weiss - forthcoming - Review of Symbolic Logic:1-16.
    In this article, I provide Urquhart-style semilattice semantics for three connexive logics in an implication-negation language (I call these “pure theories of connexive implication”). The systems semantically characterized include the implication-negation fragment of a connexive logic of Wansing, a relevant connexive logic recently developed proof-theoretically by Francez, and an intermediate system that is novel to this article. Simple proofs of soundness and completeness are given and the semantics is used to establish various facts about the systems (e.g., that two of (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  13. Bilateral Inversion Principles.Nils Kürbis - 2022 - Electronic Proceedings in Theoretical Computer Science 358:202–215.
    This paper formulates a bilateral account of harmony that is an alternative to one proposed by Francez. It builds on an account of harmony for unilateral logic proposed by Kürbis and the observation that reading the rules for the connectives of bilateral logic bottom up gives the grounds and consequences of formulas with the opposite speech act. I formulate a process I call 'inversion' which allows the determination of assertive elimination rules from assertive introduction rules, and rejective elimination rules from (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  14. No Such Thing as Reality.Ilexa Yardley - 2022 - Https://Medium.Com/the-Circular-Theory.
  15. A Survey of Logical Realism.Tuomas E. Tahko - 2021 - Synthese 198 (5):4775-4790.
    Logical realism is a view about the metaphysical status of logic. Common to most if not all the views captured by the label ‘logical realism’ is that logical facts are mind- and language-independent. But that does not tell us anything about the nature of logical facts or about our epistemic access to them. The goal of this paper is to outline and systematize the different ways that logical realism could be entertained and to examine some of the challenges that these (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  16. I Like This Analysis, but I Don’T Think Every Linguist Will: Syntactic NOT-Transportation, VP Ellipsis and VP Pronominalisation.Diego Gabriel Krivochen - 2021 - Atlantis 2 (43):68-89.
    In this article I consider some recent objections raised against the syntactic treatment of negation in English multiclausal structures, in particular what has been called NEGraising. I argue that the objections based on pronominalisation and ellipsis presented in the recent literature do pose a problem for syntactic accounts of the mechanisms of so-called NOT-transportation that rely on a rule of leftwards movement, as is customary in generative grammar. However, there is an alternative syntactic treatment that assumes that negation originates as (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  17. The Importance of Being Erroneous.Nils Kürbis - 2021 - Australasian Philosophical Review 2 (3):155-166.
    This is a commentary on MM McCabe's "First Chop your logos... Socrates and the sophists on language, logic, and development". In her paper MM analyses Plato's Euthydemos, in which Plato tackles the problem of falsity in a way that takes into account the speaker and complements the Sophist's discussion of what is said. The dialogue looks as if it is merely a demonstration of the silly consequences of eristic combat. And so it is. But a main point of MM's paper (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  18. A General Semantics for Logics of Affirmation and Negation.Fabien Schang - 2021 - Journal of Applied Logics - IfCoLoG Journal of Logics and Their Applications 8 (2):593-609.
    A general framework for translating various logical systems is presented, including a set of partial unary operators of affirmation and negation. Despite its usual reading, affirmation is not redundant in any domain of values and whenever it does not behave like a full mapping. After depicting the process of partial functions, a number of logics are translated through a variety of affirmations and a unique pair of negations. This relies upon two preconditions: a deconstruction of truth-values as ordered and structured (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  19. A Conservative Negation Extension of Positive Semilattice Logic Without the Finite Model Property.Yale Weiss - 2021 - Studia Logica 109 (1):125-136.
    In this article, I present a semantically natural conservative extension of Urquhart’s positive semilattice logic with a sort of constructive negation. A subscripted sequent calculus is given for this logic and proofs of its soundness and completeness are sketched. It is shown that the logic lacks the finite model property. I discuss certain questions Urquhart has raised concerning the decision problem for the positive semilattice logic in the context of this logic and pose some problems for further research.
    Remove from this list   Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  20. 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 extended (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  21. Boolean Negation and Non-Conservativity III: The Ackermann Constant.Tore Fjetland Øgaard - 2021 - Logic Journal of the IGPL 29 (3):370-384.
    It is known that many relevant logics can be conservatively extended by the truth constant known as the Ackermann constant. It is also known that many relevant logics can be conservatively extended by Boolean negation. This essay, however, shows that a range of relevant logics with the Ackermann constant cannot be conservatively extended by a Boolean negation.
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  22. 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 strong (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  23. Adaptive Fregean Set Theory.Diderik Batens - 2020 - Studia Logica 108 (5):903-939.
    This paper defines provably non-trivial theories that characterize Frege’s notion of a set, taking into account that the notion is inconsistent. By choosing an adaptive underlying logic, consistent sets behave classically notwithstanding the presence of inconsistent sets. Some of the theories have a full-blown presumably consistent set theory T as a subtheory, provided T is indeed consistent. An unexpected feature is the presence of classical negation within the language.
    Remove from this list   Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   3 citations  
  24. Proof Theory for Positive Logic with Weak Negation.Marta Bílková & Almudena Colacito - 2020 - Studia Logica 108 (4):649-686.
    Proof-theoretic methods are developed for subsystems of Johansson’s logic obtained by extending the positive fragment of intuitionistic logic with weak negations. These methods are exploited to establish properties of the logical systems. In particular, cut-free complete sequent calculi are introduced and used to provide a proof of the fact that the systems satisfy the Craig interpolation property. Alternative versions of the calculi are later obtained by means of an appropriate loop-checking history mechanism. Termination of the new calculi is proved, and (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  25. 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 question is, (...)
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  26. A Direction Effect on Taste Predicates.Alexander Dinges & Julia Zakkou - 2020 - Philosophers' Imprint 20 (27):1-22.
    The recent literature abounds with accounts of the semantics and pragmatics of so-called predicates of personal taste, i.e. predicates whose application is, in some sense or other, a subjective matter. Relativism and contextualism are the major types of theories. One crucial difference between these theories concerns how we should assess previous taste claims. Relativism predicts that we should assess them in the light of the taste standard governing the context of assessment. Contextualism predicts that we should assess them in the (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  27. On Correspondence of Standard Modalities and Negative Ones on the Basis of Regular and Quasi-regular Logics.Krystyna Mruczek-Nasieniewska & Marek Nasieniewski - 2020 - Studia Logica 108 (5):1087-1123.
    In the context of modal logics one standardly considers two modal operators: possibility ) and necessity ) [see for example Chellas ]. If the classical negation is present these operators can be treated as inter-definable. However, negative modalities ) and ) are also considered in the literature [see for example Béziau ; Došen :3–14, 1984); Gödel, in: Feferman, Collected works, vol 1, Publications 1929–1936, Oxford University Press, New York, 1986, p. 300; Lewis and Langford ]. Both of them can be (...)
    Remove from this list   Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  28. The Problem of Future Contingents: Scoping Out a Solution.Patrick Todd - 2020 - Synthese 197 (11):5051-5072.
    Various philosophers have long since been attracted to the doctrine that future contingent propositions systematically fail to be true—what is sometimes called the doctrine of the open future. However, open futurists have always struggled to articulate how their view interacts with standard principles of classical logic—most notably, with the Law of Excluded Middle. For consider the following two claims: Trump will be impeached tomorrow; Trump will not be impeached tomorrow. According to the kind of open futurist at issue, both of (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  29. Categoricity and Negation. A Note on Kripke’s Affirmativism.Constantin C. Brîncuș & Iulian D. Toader - 2019 - In The Logica Yearbook 2018. London: College Publications. pp. 57-66.
    We argue that, if taken seriously, Kripke's view that a language for science can dispense with a negation operator is to be rejected. Part of the argument is a proof that positive logic, i.e., classical propositional logic without negation, is not categorical.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  30. Weak Assertion.Luca Incurvati & Julian J. Schlöder - 2019 - Philosophical Quarterly 69 (277):741-770.
    We present an inferentialist account of the epistemic modal operator might. Our starting point is the bilateralist programme. A bilateralist explains the operator not in terms of the speech act of rejection ; we explain the operator might in terms of weak assertion, a speech act whose existence we argue for on the basis of linguistic evidence. We show that our account of might provides a solution to certain well-known puzzles about the semantics of modal vocabulary whilst retaining classical logic. (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  31. An Argument for Minimal Logic.Nils Kürbis - 2019 - Dialectica 73 (1-2):31-63.
    The problem of negative truth is the problem of how, if everything in the world is positive, we can speak truly about the world using negative propositions. A prominent solution is to explain negation in terms of a primitive notion of metaphysical incompatibility. I argue that if this account is correct, then minimal logic is the correct logic. The negation of a proposition A is characterised as the minimal incompatible of A composed of it and the logical constant ¬. A (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  32. Proof and Falsity: A Logical Investigation.Nils Kürbis - 2019 - Cambridge, UK: Cambridge University Press.
    This book argues that the meaning of negation, perhaps the most important logical constant, cannot be defined within the framework of the most comprehensive theory of proof-theoretic semantics, as formulated in the influential work of Michael Dummett and Dag Prawitz. Nils Kürbis examines three approaches that have attempted to solve the problem - defining negation in terms of metaphysical incompatibility; treating negation as an undefinable primitive; and defining negation in terms of a speech act of denial - and concludes that (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  33. There is More to Negation Than Modality.Michael De & Hitoshi Omori - 2018 - Journal of Philosophical Logic 47 (2):281-299.
    There is a relatively recent trend in treating negation as a modal operator. One such reason is that doing so provides a uniform semantics for the negations of a wide variety of logics and arguably speaks to a longstanding challenge of Quine put to non-classical logics. One might be tempted to draw the conclusion that negation is a modal operator, a claim Francesco Berto, 761–793, 2015) defends at length in a recent paper. According to one such modal account, the negation (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  34. De Morgan's Laws and NEG-Raising: A Syntactic View.Diego Gabriel Krivochen - 2018 - Linguistic Frontiers 1 (2):112-121.
    In this paper, we will motivate the application of specific rules of inference from the propositional calculus to natural language sentences. Specifically, we will analyse De Morgan’s laws, which pertain to the interaction of two central topics in syntactic research: negation and coordination. We will argue that the applicability of De Morgan’s laws to natural language structures can be derived from independently motivated operations of grammar and principles restricting the application of these operations. This has direct empirical consequences for the (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  35. Is Incompatibilism Compatible with Fregeanism?Nils Kürbis - 2018 - European Journal of Analytic Philosophy 14 (2):27-46.
    This paper considers whether incompatibilism, the view that negation is to be explained in terms of a primitive notion of incompatibility, and Fregeanism, the view that arithmetical truths are analytic according to Frege’s definition of that term in §3 of Foundations of Arithmetic, can both be upheld simultaneously. Both views are attractive on their own right, in particular for a certain empiricist mind-set. They promise to account for two philosophical puzzling phenomena: the problem of negative truth and the problem of (...)
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  36. Molnar on Truthmakers for Negative Truths.Nils Kürbis - 2018 - Metaphysica 19 (2):251-257.
    Molnar argues that the problem of truthmakers for negative truths arises because we tend to accept four metaphysical principles that entail that all negative truths have positive truthmakers. This conclusion, however, already follows from only three of Molnar´s metaphysical principles. One purpose of this note is to set the record straight. I provide an alternative reading of two of Molnar´s principles on which they are all needed to derive the desired conclusion. Furthermore, according to Molnar, the four principles may be (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  37. This is Not an Instance of (E).Teresa Marques - 2018 - Synthese 195 (3):1035–1063.
    Semantic paradoxes like the liar are notorious challenges to truth theories. A paradox can be phrased with minimal resources and minimal assumptions. It is not surprising, then, that the liar is also a challenge to minimalism about truth. Horwich (1990) deals swiftly with the paradox, after discriminating between other strategies for avoiding it without compromising minimalism. He dismisses the denial of classical logic, the denial that the concept of truth can coherently be applied to propositions, and the denial that the (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  38. Bilateralism, Independence and Coordination.Gonçalo Santos - 2018 - Teorema: International Journal of Philosophy 37 (1):23-27.
    Bilateralism is a theory of meaning according to which assertion and denial are independent speech acts. Bilateralism also proposes two coordination principles for assertion and denial. I argue that if assertion and denial are independent speech acts, they cannot be coordinated by the bilateralist principles.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  39. Lie-Toe-Tease: Double Negatives and Unexcluded Middles.Laurence Horn - 2017 - Philosophical Studies 174 (1):79-103.
    Litotes, “a figure of speech in which an affirmative is expressed by the negative of the contrary” has had some tough reviews. For Pope and Swift, litotes—stock examples include “no mean feat”, “no small problem”, and “not bad at all”—is “the peculiar talent of Ladies, Whisperers, and Backbiters”; for Orwell, it is a means to affect “an appearance of profundity” that we can deport from English “by memorizing this sentence: A not unblack dog was chasing a not unsmall rabbit across (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  40. Weak Rejection.Luca Incurvati & Julian J. Schlöder - 2017 - Australasian Journal of Philosophy 95 (4):741-760.
    ABSTRACTLinguistic evidence supports the claim that certain, weak rejections are less specific than assertions. On the basis of this evidence, it has been argued that rejected sentences cannot be premisses and conclusions in inferences. We give examples of inferences with weakly rejected sentences as premisses and conclusions. We then propose a logic of weak rejection which accounts for the relevant phenomena and is motivated by principles of coherence in dialogue. We give a semantics for which this logic is sound and (...)
    Remove from this list   Direct download (9 more)  
     
    Export citation  
     
    Bookmark   19 citations  
  41. Bilateralist Detours: From Intuitionist to Classical Logic and Back.Nils Kürbis - 2017 - Logique Et Analyse 60 (239):301-316.
    There is widespread agreement that while on a Dummettian theory of meaning the justified logic is intuitionist, as its constants are governed by harmonious rules of inference, the situation is reversed on Huw Price's bilateralist account, where meanings are specified in terms of primitive speech acts assertion and denial. In bilateral logics, the rules for classical negation are in harmony. However, as it is possible to construct an intuitionist bilateral logic with harmonious rules, there is no formal argument against intuitionism (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  42. Bilateralism: Negations, Implications and Some Observations and Problems About Hypotheses.Nils Kürbis - 2017 - In Thomas Piecha & Jean Fichot (eds.), Beyond Logic. Proceedings of the Conference held in Cerisy-la-Salle, 22-27 May 2017. Tübingen, Germany:
    This short paper has two loosely connected parts. In the first part, I discuss the difference between classical and intuitionist logic in relation to different the role of hypotheses play in each logic. Harmony is normally understood as a relation between two ways of manipulating formulas in systems of natural deduction: their introduction and elimination. I argue, however, that there is at least a third way of manipulating formulas, namely the discharge of assumption, and that the difference between classical and (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  43. Counterfactuals, Indicative Conditionals, and Negation Under Uncertainty: Are There Cross-Cultural Differences?Niki Pfeifer & H. Yama - 2017 - In G. Gunzelmann, A. Howes, T. Tenbrink & E. Davelaar (eds.), Proceedings of the 39th Cognitive Science Society Meeting. pp. 2882-2887.
    In this paper we study selected argument forms involving counterfactuals and indicative conditionals under uncertainty. We selected argument forms to explore whether people with an Eastern cultural background reason differently about conditionals compared to Westerners, because of the differences in the location of negations. In a 2x2 between-participants design, 63 Japanese university students were allocated to four groups, crossing indicative conditionals and counterfactuals, and each presented in two random task orders. The data show close agreement between the responses of Easterners (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  44. Singular Propositions, Negation and the Square of Opposition.Lopamudra Choudhury & Mihir Kumar Chakraborty - 2016 - Logica Universalis 10 (2-3):215-231.
    This paper contains two traditions of diagrammatic studies namely one, the Euler–Venn–Peirce diagram and the other, following tradition of Aristotle, the square of oppositions. We put together both the traditions to study representations of singular propositions, their negations and the inter relationship between the two. Along with classical negation we have incorporated negation of another kind viz. absence. We have also considered the changes that take place in the context of open universe.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  45. Classical and Empirical Negation in Subintuitionistic Logic.Michael De & Hitoshi Omori - 2016 - In Lev Beklemishev, Stéphane Demri & András Máté (eds.), Advances in Modal Logic, Volume 11. CSLI Publications. pp. 217-235.
    Subintuitionistic (propositional) logics are those in a standard intuitionistic language that result by weakening the frame conditions of the Kripke semantics for intuitionistic logic. In this paper we consider two negation expansions of subintuitionistic logic, one by classical negation and the other by what has been dubbed “empirical” negation. We provide an axiomatization of each expansion and show them sound and strongly complete. We conclude with some final remarks, including avenues for future research.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  46. Some Comments on Ian Rumfitt’s Bilateralism.Nils Kürbis - 2016 - Journal of Philosophical Logic 45 (6):623-644.
    Ian Rumfitt has proposed systems of bilateral logic for primitive speech acts of assertion and denial, with the purpose of ‘exploring the possibility of specifying the classically intended senses for the connectives in terms of their deductive use’ : 810f). Rumfitt formalises two systems of bilateral logic and gives two arguments for their classical nature. I assess both arguments and conclude that only one system satisfies the meaning-theoretical requirements Rumfitt imposes in his arguments. I then formalise an intuitionist system of (...)
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  47. Noughty Bits: The Subatomic Scope of Negation.Barry Schein - 2016 - Linguistics and Philosophy 39 (6):459-540.
    Since Fodor 1970, negation has worn a Homogeneity Condition to the effect that homogeneous predicates, ) denote homogeneously—all or nothing —to characterize the meaning of – when uttered out-of-the blue, in contrast to –:The mirrors are smooth. The mirrors are not smooth. The mirrors circle the telescope’s reflector. The mirrors do not circle the telescope’s reflector. It has been a problem for philosophical logic and for the semantics of natural language that – appear to defy the Principle of Excluded Middle (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  48. Adorno and Negative Theology.Martin Shuster - 2016 - Graduate Faculty Philosophy Journal 37 (1):97-130.
    This article elaborates Theodor W. Adorno’s understanding of ‘negation’ and ‘negative theology.’ It proceeds by introducing a typology of negation within modern philosophy roughly from Descartes onwards, showing how Adorno both fits and also stands out in this typology. Ultimately, it is argued that Adorno’s approach to negation and thereby to negative theology is throughout distinguished and infused by an ethical commitment.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  49. Expressing Permission.William B. Starr - 2016 - Semantics and Linguistic Theory 26:325-349.
    This paper proposes a semantics for free choice permission that explains both the non-classical behavior of modals and disjunction in sentences used to grant permission, and their classical behavior under negation. It also explains why permissions can expire when new information comes in and why free choice arises even when modals scope under disjunction. On the proposed approach, deontic modals update preference orderings, and connectives operate on these updates rather than propositions. The success of this approach stems from its capacity (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  50. Aserción, expresión y acción. Una lectura de J.L. Austin.Tomás Barrero - 2015 - Dianoia 60 (74):81-107.
    This paper offers a new interpretation of John Austin’s views both on assertion and on adverbs, as result of which an expressivist thesis concerning the semantics for action sentences is advanced. First, Austin’s analysis of assertion based on various, specific assertive forces and his remarks on adverbs are systematically connected in order to obtain assertive schemata for action sentences. Finally, those schemata are put to work as the expression of inferential commitments implicit in argumentative practices of different sorts (exculpatory, justificatory (...)
    Remove from this list   Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
1 — 50 / 208