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:

153 found
Order:
1 — 50 / 153
  1. What is Logical in First-Order Logic?Boris Čulina - manuscript
    In this article, logical concepts are defined using the internal syntactic and semantic structure of language. For a first-order language, it has been shown that its logical constants are connectives and a certain type of quantifiers for which the universal and existential quantifiers form a functionally complete set of quantifiers. Neither equality nor cardinal quantifiers belong to the logical constants of a first-order language.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  2. Update Rules and Semantic Universals.Luca Incurvati & Giorgio Sbardolini - manuscript
    We discuss a well-known puzzle about the lexicalization of logical operators in natural language, in particular connectives and quantifiers. Of the many logically possible functions of the relevant type, only few appear in the lexicon of natural languages: the connectives in English, for example, are only 'and', 'or', and perhaps 'nor' (expressing negated disjunction). The logically possible 'nand' (negated conjunction) is not expressed by a lexical entry of English, or of any natural language. The explanation we propose is based on (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  3. Analytic Inference and the Informational Meaning of the Logical Operators.Marcello D'Agostino - forthcoming - Logique Et Analyse.
    Remove from this list  
     
    Export citation  
     
    Bookmark   3 citations  
  4. Proof-Theoretic Semantics, Paradoxes and the Distinction Between Sense and Denotation.Luca Tranchini - forthcoming - Journal of Logic and Computation 2014.
    In this paper we show how Dummett-Prawitz-style proof-theoretic semantics has to be modified in order to cope with paradoxical phenomena. It will turn out that one of its basic tenets has to be given up, namely the definition of the correctness of an inference as validity preservation. As a result, the notions of an argument being valid and of an argument being constituted by correct inference rules will no more coincide. The gap between the two notions is accounted for by (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   14 citations  
  5. 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  
  6. Invariance Criteria as Meta-Constraints.Gil Sagi - 2022 - Bulletin of Symbolic Logic 28 (1):104-132.
    Invariance criteria are widely accepted as a means to demarcate the logical vocabulary of a language. In previous work, I proposed a framework of “semantic constraints” for model theoretic consequence which does not rely on a strict distinction between logical and nonlogical terms, but rather on a range of constraints on models restricting the interpretations of terms in the language in different ways. In this paper I show how invariance criteria can be generalized so as to apply to semantic constraints (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  7. Problemas semánticos en filosofía de la lógica.Sergio Aramburu - 2021 - Actas y Comunicaciones UNGS 6:193-211.
    Este texto presenta, y en cierta medida analiza, ambigüedades existentes en textos de lógica y filosofía de la lógica (como la interpretación de los llamados principios, postulados, leyes o verdades lógicas, la coexistencia de la tesis de que toda relación presupone la existencia de al menos dos relata y la de que una cosa puede relacionarse consigo misma, o la llamada "paradoja del mentiroso") bajo el supuesto de que, dado que la lógica no es anterior a la semántica, un análisis (...)
    Remove from this list   Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  8. Indicative Conditionals: Probabilities and Relevance.Franz Berto & Aybüke Özgün - 2021 - Philosophical Studies.
    We propose a new account of indicative conditionals, giving acceptability and logical closure conditions for them. We start from Adams’ Thesis: the claim that the acceptability of a simple indicative equals the corresponding conditional probability. The Thesis is widely endorsed, but arguably false and refuted by empirical research. To fix it, we submit, we need a relevance constraint: we accept a simple conditional 'If φ, then ψ' to the extent that (i) the conditional probability p(ψ|φ) is high, provided that (ii) (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  9. 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  
  10. The Problem of Logical Constants and the Semantic Tradition: From Invariantist Views to a Pragmatic Account.Mario Gomez-Torrente - 2021 - In Gil Sagi & Jack Woods (eds.), The Semantic Conception of Logic: Essays on Consequence, Invariance, and Meaning. Cambridge: Cambridge University Press. pp. 35-54.
    I offer new criticisms of invariantist views of logicality, objecting especially to Gila Sher’s arguments for invariantism’s ability to explain the formality, necessity, apriority and normative force of logic. I argue that the semantic conception of logic can do perfectly well without a model-theoretic notion of logicality, and that the descriptive and explanatory theoretical roles sometimes ascribed to invariantism can be played by a non-model-theoretic account of logicality, specifically by one in which some pragmatic properties of expressions play an important (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  11. Introducing Identity.Owen Griffiths & Arif Ahmed - 2021 - Journal of Philosophical Logic 50 (6):1449-1469.
    The best-known syntactic account of the logical constants is inferentialism. Following Wittgenstein’s thought that meaning is use, inferentialists argue that meanings of expressions are given by introduction and elimination rules. This is especially plausible for the logical constants, where standard presentations divide inference rules in just this way. But not just any rules will do, as we’ve learnt from Prior’s famous example of tonk, and the usual extra constraint is harmony. Where does this leave identity? It’s usually taken as a (...)
    Remove from this list   Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  12. A Note on Logicality of Generalized Quantifiers.Tin Perkov - 2021 - Logica Universalis 15 (2):149-152.
    This note follows up an earlier paper in which a possibility of defining logical constants within abstract logical frameworks was discussed, by using duals as a general method of applying the idea of invariance under replacement as a criterion for logicality. In the present note, this approach is applied to the discussion on logicality of generalized quantifiers. It is demonstrated that generalized quantifiers are logical constants by this criterion.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  13. 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  
  14. 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  
  15. 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  
  16. The Explosion Calculus.Michael Arndt - 2020 - Studia Logica 108 (3):509-547.
    A calculus for classical propositional sequents is introduced that consists of a restricted version of the cut rule and local variants of the logical rules. Employed in the style of proof search, this calculus explodes a given sequent into its elementary structural sequents—the topmost sequents in a derivation thus constructed—which do not contain any logical constants. Some of the properties exhibited by the collection of elementary structural sequents in relation to the sequent they are derived from, uniqueness and unique representation (...)
    Remove from this list   Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  17. Why Images Cannot be Arguments, But Moving Ones Might.Marc Champagne & Ahti-Veikko Pietarinen - 2020 - Argumentation 34 (2):207-236.
    Some have suggested that images can be arguments. Images can certainly bolster the acceptability of individual premises. We worry, though, that the static nature of images prevents them from ever playing a genuinely argumentative role. To show this, we call attention to a dilemma. The conclusion of a visual argument will either be explicit or implicit. If a visual argument includes its conclusion, then that conclusion must be demarcated from the premise or otherwise the argument will beg the question. If (...)
    Remove from this list   Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  18. Anaphoric Dependence and Logical Form.Manuel García-Carpintero - 2020 - Disputatio 12 (58):265-276.
    In the core chapters 4–6, Iacona argues against the “Uniqueness Thesis”, stating that “there is a unique notion of logical form that fulfils both the logical role and the semantic role”, where the former “concerns the formal explanation of logical properties and logical relations, such as validity or contradiction”, and the latter “concerns the formulation of a compositional theory of meaning”. He argues for this on the basis of relations of coreference among referential expressions, names and indexicals. From what I (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  19. The Accident of Logical Constants.Tristan Grøtvedt Haze - 2020 - Thought: A Journal of Philosophy 9 (1):34-42.
    Work on the nature and scope of formal logic has focused unduly on the distinction between logical and extra-logical vocabulary; which argument forms a logical theory countenances depends not only on its stock of logical terms, but also on its range of grammatical categories and modes of composition. Furthermore, there is a sense in which logical terms are unnecessary. Alexandra Zinke has recently pointed out that propositional logic can be done without logical terms. By defining a logical-term-free language with the (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  20. Epistemic Multilateral Logic.Luca Incurvati & Julian J. Schlöder - 2020 - Review of Symbolic Logic:1-32.
    We present epistemic multilateral logic, a general logical framework for reasoning involving epistemic modality. Standard bilateral systems use propositional formulae marked with signs for assertion and rejection. Epistemic multilateral logic extends standard bilateral systems with a sign for the speech act of weak assertion (Incurvati and Schlöder 2019) and an operator for epistemic modality. We prove that epistemic multilateral logic is sound and complete with respect to the modal logic S5 modulo an appropriate translation. The logical framework developed provides the (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  21. Sketch of a Proof-Theoretic Semantics for Necessity.Nils Kürbis - 2020 - In Nicola Olivetti, Rineke Verbrugge & Sara Negri (eds.), Advances in Modal Logic 13. Booklet of Short Papers. Helsinki: pp. 37-43.
    This paper considers proof-theoretic semantics for necessity within Dummett's and Prawitz's framework. Inspired by a system of Pfenning's and Davies's, the language of intuitionist logic is extended by a higher order operator which captures a notion of validity. A notion of relative necessary is defined in terms of it, which expresses a necessary connection between the assumptions and the conclusion of a deduction.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  22. A Decidable Multi-Agent Logic for Reasoning About Actions, Instruments, and Norms.Kees van Berkel, Tim Lyon & Francesco Olivieri - 2020 - In Mehdi Dastani, Huimin Dong & Leon van der Torre (eds.), Logic and Argumentation. pp. 219 - 241.
    We formally introduce a novel, yet ubiquitous, category of norms: norms of instrumentality. Norms of this category describe which actions are obligatory, or prohibited, as instruments for certain purposes. We propose the Logic of Agency and Norms (LAN) that enables reasoning about actions, instrumentality, and normative principles in a multi-agent setting. Leveraging LAN , we formalize norms of instrumentality and compare them to two prevalent norm categories: norms to be and norms to do. Last, we pose principles relating the three (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  23. Implicit and Explicit Stances in Logic.Johan Benthem - 2019 - Journal of Philosophical Logic 48 (3):571-601.
    We identify a pervasive contrast between implicit and explicit stances in logical analysis and system design. Implicit systems change received meanings of logical constants and sometimes also the notion of consequence, while explicit systems conservatively extend classical systems with new vocabulary. We illustrate the contrast for intuitionistic and epistemic logic, then take it further to information dynamics, default reasoning, and other areas, to show its wide scope. This gives a working understanding of the contrast, though we stop short of a (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  24. A Note on Carnap’s Result and the Connectives.Tristan Haze - 2019 - Axiomathes 29 (3):285-288.
    Carnap’s result about classical proof-theories not ruling out non-normal valuations of propositional logic formulae has seen renewed philosophical interest in recent years. In this note I contribute some considerations which may be helpful in its philosophical assessment. I suggest a vantage point from which to see the way in which classical proof-theories do, at least to a considerable extent, encode the meanings of the connectives (not by determining a range of admissible valuations, but in their own way), and I demonstrate (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  25. 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  
  26. 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  
  27. Invariance and Necessity.Gila Sher - 2019 - In Bernhard Ritter, Paul Weingartner & Gabriele M. Mras (eds.), Philosophy of logic and Mathematics. Berlin, Boston: De Gruyter. pp. 55-70.
    Properties and relations in general have a certain degree of invariance, and some types of properties/relations have a stronger degree of invariance than others. In this paper I will show how the degrees of invariance of different types of properties are associated with, and explain, the modal force of the laws governing them. This explains differences in the modal force of laws/principles of different disciplines, starting with logic and mathematics and proceeding to physics and biology.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  28. The Logical Contingency of Identity.Hanoch Ben-Yami - 2018 - European Journal of Analytic Philosophy 14 (2):5-10.
    I show that intuitive and logical considerations do not justify introducing Leibniz’s Law of the Indiscernibility of Identicals in more than a limited form, as applying to atomic formulas. Once this is accepted, it follows that Leibniz’s Law generalises to all formulas of the first-order Predicate Calculus but not to modal formulas. Among other things, identity turns out to be logically contingent.
    Remove from this list   Direct download (7 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  29. Logicality and Meaning.Gil Sagi - 2018 - Review of Symbolic Logic 11 (1):133-159.
    In standard model-theoretic semantics, the meaning of logical terms is said to be fixed in the system while that of nonlogical terms remains variable. Much effort has been devoted to characterizing logical terms, those terms that should be fixed, but little has been said on their role in logical systems: on what fixing their meaning precisely amounts to. My proposal is that when a term is considered logical in model theory, what gets fixed is its intension rather than its extension. (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  30. 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  
  31. Logical Expressivism and Logical Relations.Lionel Shapiro - 2018 - In Ondřej Beran, Vojtěch Kolman & Ladislav Koreň (eds.), From rules to meanings. New essays on inferentialism. New York: Routledge. pp. 179-95.
    According to traditional logical expressivism, logical operators allow speakers to explicitly endorse claims that are already implicitly endorsed in their discursive practice — endorsed in virtue of that practice’s having instituted certain logical relations. Here, I propose a different version of logical expressivism, according to which the expressive role of logical operators is explained without invoking logical relations at all, but instead in terms of the expression of discursive-practical attitudes. In defense of this alternative, I present a deflationary account of (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  32. Logical Pluralism and Logical Form.Nicole Wyatt & Gillman Payette - 2018 - Logique Et Analyse 61 (241):25-42.
    Disputes about logic are commonplace and undeniable. It is sometimes argued that these disputes are not genuine disagreements, but are rather merely verbal ones. Are advocates of different logics simply talking past each other? In this paper we argue that pluralists (and anyone who sees competing logics as genuine rivals), should reject the claim that real disagreement requires competing logics to assign the same meaning to logical connectives, or the same logical form to arguments. Along the way we argue that (...)
    Remove from this list  
     
    Export citation  
     
    Bookmark   2 citations  
  33. A BULLET for Invariance: Another Argument Against the Invariance Criterion for Logical Terms.Alexandra Zinke - 2018 - Journal of Philosophy 115 (7):382-388.
    According to the classical invariance criterion, a term is logical if and only if its extension is isomorphism-invariant. However, a number of authors have devised examples that challenge the sufficiency of this condition: accepting these examples as logical constants would introduce objectionable contingent elements into logic. Recently, Gil Sagi has responded that these objections are based on a fallacious inference from the modal status of a sentence to the modal status of the proposition expressed by that sentence. The present paper (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  34. 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  
  35. Extensionality and Logicality.Gil Sagi - 2017 - Synthese (Suppl 5):1-25.
    Tarski characterized logical notions as invariant under permutations of the domain. The outcome, according to Tarski, is that our logic, which is commonly said to be a logic of extension rather than intension, is not even a logic of extension—it is a logic of cardinality. In this paper, I make this idea precise. We look at a scale inspired by Ruth Barcan Marcus of various levels of meaning: extensions, intensions and hyperintensions. On this scale, the lower the level of meaning, (...)
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  36. Is ‘No’ a Force-Indicator? Yes, Sooner or Later!Fabien Schang & James Trafford - 2017 - Logica Universalis 11 (2):225-251.
    This paper discusses the philosophical and logical motivations for rejectivism, primarily by considering a dialogical approach to logic, which is formalized in a Question–Answer Semantics. We develop a generalized account of rejectivism through close consideration of Mark Textor's arguments against rejectivism that the negative expression ‘No’ is never used as an act of rejection and is equivalent with a negative sentence. In doing so, we also shed light upon well-known issues regarding the supposed non-embeddability and non-iterability of force indicators.
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  37. A Hierarchy of Logical Constants.Alexandra Zinke - 2017 - In Pavel Arazim & Tomas Lavicka (eds.), The Logica Yearbook 2016. London: College Publications. pp. 305-316.
    The paper provides a new argument against the classical invariance criterion for logical terms: if all terms with a permutation invariant extension qualify as logical, then for any arbitrary true contingent sentence K of the meta-language, there would be a logically true object-language sentence 'φ' such that K follows from the sentence 'φ is true'. Thus, many logically true sentences would be a posteriori. To prevent this fatal consequence, we propose to alter the invariance criterion: not only the term's extension, (...)
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  38. Knot and Tonk: Nasty Connectives on Many-Valued Truth-Tables for Classical Sentential Logic.Tim Button - 2016 - Analysis 76 (1):7-19.
    Prior’s Tonk is a famously horrible connective. It is defined by its inference rules. My aim in this article is to compare Tonk with some hitherto unnoticed nasty connectives, which are defined in semantic terms. I first use many-valued truth-tables for classical sentential logic to define a nasty connective, Knot. I then argue that we should refuse to add Knot to our language. And I show that this reverses the standard dialectic surrounding Tonk, and yields a novel solution to the (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  39. Vagueness and Quantification.Andrea Iacona - 2016 - Journal of Philosophical Logic 45 (5):579-602.
    This paper deals with the question of what it is for a quantifier expression to be vague. First it draws a distinction between two senses in which quantifier expressions may be said to be vague, and provides an account of the distinction which rests on independently grounded assumptions. Then it suggests that, if some further assumptions are granted, the difference between the two senses considered can be represented at the formal level. Finally, it outlines some implications of the account provided (...)
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  40. Assertion, Denial, Content, and (Logical) Form.Jack Woods - 2016 - Synthese 193 (6).
    I discuss Greg Restall’s attempt to generate an account of logical consequence from the incoherence of certain packages of assertions and denials. I take up his justification of the cut rule and argue that, in order to avoid counterexamples to cut, he needs, at least, to introduce a notion of logical form. I then suggest a few problems that will arise for his account if a notion of logical form is assumed. I close by sketching what I take to be (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  41. Characterizing Invariance.Jack Woods - 2016 - Ergo: An Open Access Journal of Philosophy 3:778-807.
    I argue that in order to apply the most common type of criteria for logicality, invariance criteria, to natural language, we need to consider both invariance of content—modeled by functions from contexts into extensions—and invariance of character—modeled, à la Kaplan, by functions from contexts of use into contents. Logical expressionsshould be invariant in both senses. If we do not require this, then old objections due to Timothy McCarthy and William Hanson, suitably modified, demonstrate that content invariant expressions can display intuitive (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  42. The Epistemic Significance of Valid Inference – A Model-Theoretic Approach.Constantin C. Brîncuș - 2015 - In Sorin Costreie & Mircea Dumitru (eds.), Meaning and Truth. Bucharest: PRO Universitaria Publishing. pp. 11-36.
    The problem analysed in this paper is whether we can gain knowledge by using valid inferences, and how we can explain this process from a model-theoretic perspective. According to the paradox of inference (Cohen & Nagel 1936/1998, 173), it is logically impossible for an inference to be both valid and its conclusion to possess novelty with respect to the premises. I argue in this paper that valid inference has an epistemic significance, i.e., it can be used by an agent to (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  43. Expressing Set-Size Equality.John Corcoran & Gerald Rising - 2015 - Bulletin of Symbolic Logic 21 (2):239.
    The word ‘equality’ often requires disambiguation, which is provided by context or by an explicit modifier. For each sort of magnitude, there is at least one sense of ‘equals’ with its correlated senses of ‘is greater than’ and ‘is less than’. Given any two magnitudes of the same sort—two line segments, two plane figures, two solids, two time intervals, two temperature intervals, two amounts of money in a single currency, and the like—the one equals the other or the one is (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  44. What is Wrong with Classical Negation?Nils Kürbis - 2015 - Grazer Philosophische Studien 92 (1):51-86.
    The focus of this paper are Dummett's meaning-theoretical arguments against classical logic based on consideration about the meaning of negation. Using Dummettian principles, I shall outline three such arguments, of increasing strength, and show that they are unsuccessful by giving responses to each argument on behalf of the classical logician. What is crucial is that in responding to these arguments a classicist need not challenge any of the basic assumptions of Dummett's outlook on the theory of meaning. In particular, I (...)
    Remove from this list   Direct download (7 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  45. Proof-Theoretic Semantics, a Problem with Negation and Prospects for Modality.Nils Kürbis - 2015 - Journal of Philosophical Logic 44 (6):713-727.
    This paper discusses proof-theoretic semantics, the project of specifying the meanings of the logical constants in terms of rules of inference governing them. I concentrate on Michael Dummett’s and Dag Prawitz’ philosophical motivations and give precise characterisations of the crucial notions of harmony and stability, placed in the context of proving normalisation results in systems of natural deduction. I point out a problem for defining the meaning of negation in this framework and prospects for an account of the meanings of (...)
    Remove from this list   Direct download (7 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  46. The Modal and Epistemic Arguments Against the Invariance Criterion for Logical Terms.Gil Sagi - 2015 - Journal of Philosophy 112 (3):159-167.
    The essay discusses a recurrent criticism of the isomorphism-invariance criterion for logical terms, according to which the criterion pertains only to the extension of logical terms, and neglects the meaning, or the way the extension is fixed. A term, so claim the critics, can be invariant under isomorphisms and yet involve a contingent or a posteriori component in its meaning, thus compromising the necessity or apriority of logical truth and logical consequence. This essay shows that the arguments underlying the criticism (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  47. A Note on Logical Truth.Corine Besson - 2014 - Logique Et Analyse 57 (227):309-331.
    Classical logic counts sentences such as ‘Alice is identical with Alice’ as logically true. A standard objection to classical logic is that Alice’s self-identity, for instance, is not a matter of logic because the identity of particular objects is not a matter of logic. For this reason, many philosophers argue that classical logic is not the right logic, and that it should be abandoned in favour of free logic — logic free of existential commitments with respect to singular terms. In (...)
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  48. Logical Constants, or How to Use Invariance in Order to Complete the Explication of Logical Consequence.Denis Bonnay - 2014 - Philosophy Compass 9 (1):54-65.
    The problem of logical constants consists in finding a principled way to draw the line between those expressions of a language that are logical and those that are not. The criterion of invariance under permutation, attributed to Tarski, is probably the most common answer to this problem, at least within the semantic tradition. However, as the received view on the matter, it has recently come under heavy attack. Does this mean that the criterion should be amended, or maybe even that (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  49. Unity and Autonomy in Expressivist Logic.John Cantwell - 2014 - Dialectica 68 (3):443-457.
    It is argued that expressivists can solve their problems in accounting for the unity and autonomy of logic – logic is topic independent and does not derive from a general ‘logic’ of mental states – by adopting an analysis of the logical connectives that takes logically complex sentences to express complex combinations of simple attitudes like belief and disapproval and dispositions to form such simple attitudes upon performing suppositional acts, and taking acceptance and rejection of sentences to be the common (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  50. Freges Urteilslehre. Ein in der Logik vergessenes Lehrstück der Analytischen Philosophie.Moritz Cordes - 2014 - XXIII. Kongress der Deutschen Gesellschaft Für Philosophie 28. September - 2. Oktober 2014.
    Frege's philosophy of language includes detailed views on judgments. His formal logic - the Begriffsschrift - documents some of these views in the introduction and treatment of the judgment stroke. In current logic such an expression is either entirely ignored or, appearing as turnstile, plays an fundamentally different role. In this paper I put forward four claims: (i) Considering Frege's Begriffsschrift, it is methodologically palpable why the judgment stroke was omitted in nearly all logical systems developed after Frege. (ii) The (...)
    Remove from this list   Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   4 citations  
1 — 50 / 153