Results for 'Sentential Logic'

978 found
Order:
  1. Complementary Sentential Logics.Achille C. Varzi - 1990 - Bulletin of the Section of Logic 19 (4):112-116.
    It is shown that a complete axiomatization of classical non-tautologies can be obtained by taking F (falsehood) as the sole axiom along with the two inference rules: (i) if A is a substitution instance of B, then A |– B; and (ii) if A is obtained from B by replacement of equivalent sentences, then A |– B (counting as equivalent the pairs {T, ~F}, {F, F&F}, {F, F&T}, {F, T&F}, {T, T&T}). Since the set of tautologies is also specifiable by (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  2. Two-Sided Trees for Sentential Logic, Predicate Logic, and Sentential Modal Logic.Jesse Fitts & David Beisecker - 2019 - Teaching Philosophy 42 (1):41-56.
    This paper will present two contributions to teaching introductory logic. The first contribution is an alternative tree proof method that differs from the traditional one-sided tree method. The second contribution combines this tree system with an index system to produce a user-friendly tree method for sentential modal logic.
    Download  
     
    Export citation  
     
    Bookmark  
  3. Some Strong Conditionals for Sentential Logics.Jason Zarri - manuscript
    In this article I define a strong conditional for classical sentential logic, and then extend it to three non-classical sentential logics. It is stronger than the material conditional and is not subject to the standard paradoxes of material implication, nor is it subject to some of the standard paradoxes of C. I. Lewis’s strict implication. My conditional has some counterintuitive consequences of its own, but I think its pros outweigh its cons. In any case, one can always (...)
    Download  
     
    Export citation  
     
    Bookmark  
  4. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  5. Gettier Problems and Logical Properties of Justification.Vaclav Rajlich - manuscript
    In the classical account of knowledge, S knows that P if and only if S believes that P, S is justified in believing that P, and P is true (JTB).. In 1963, Gettier presented two problems that casted doubt on this account. Since then, numerous authors proposed modifications or clarifications of JTB, however, these efforts have not produced a satis-factory solution. In this paper, the focus is on logical properties of justification. The Get-tier problem Case II is expressed in (...) logic and Gettier Minimal Assumption (GMA) is introduced. It is shown that Gettier must have used GMA or some other as-sumption that entails GMA in his construction of Case II. Rejection of GMA solves Get-tier problem Case II and it is a step towards a better understanding of the logical proper-ties of justification and knowledge. (shrink)
    Download  
     
    Export citation  
     
    Bookmark  
  6. Logic and Gambling.Stephen Spielman - manuscript
    This paper outlines a formal recursive wager resolution calculus (WRC) that provides a novel conceptual framework for sentential logic via bridge rules that link wager resolution with truth values. When paired with a traditional truth-centric criterion of logical soundness WRC generates a sentential logic that is broadly truth-conditional but not truth-functional, supports the rules of proof employed in standard mathematics, and is immune to the most vexing features of their traditional implementation. WRC also supports a novel (...)
    Download  
     
    Export citation  
     
    Bookmark  
  7. Binding On the Fly: Cross-Sentential Anaphora in Variable— Free Semantics.Anna Szabolcsi - 2003 - In R. Oehrle & J. Kruijff (eds.), resource sensitivity, binding, and anaphora. kluwer. pp. 215--227.
    Combinatory logic (Curry and Feys 1958) is a “variable-free” alternative to the lambda calculus. The two have the same expressive power but build their expressions differently. “Variable-free” semantics is, more precisely, “free of variable binding”: it has no operation like abstraction that turns a free variable into a bound one; it uses combinators—operations on functions—instead. For the general linguistic motivation of this approach, see the works of Steedman, Szabolcsi, and Jacobson, among others. The standard view in linguistics is that (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  8. Ontology of sentential moods.Berislav Žarnić - 2016 - In Brożek Anna, Chybińska Alicja, Grygianiec Mariusz & Tkaczyk Marcin (eds.), Myśli o języku, nauce i wartościach. Seria druga. Profesorowi Jackowi Juliuszowi Jadackiemu w siedemdziesiątą rocznicę urodzin. Warsaw: Semper. pp. 323-339.
    In this paper ontological implications of the Barcan formula and its converse will be discussed at the conceptual and technical level. The thesis that will be defended is that sentential moods are not ontologically neutral since the rejection of ontological implications of Barcan formula and its converse is a condition of a possibility of the imperative mood. The paper is divided into four sections. In the first section a systematization of semantical systems of quantified modal logic is introduced (...)
    Download  
     
    Export citation  
     
    Bookmark  
  9. Intuitionism and the Modal Logic of Vagueness.Susanne Bobzien & Ian Rumfitt - 2020 - Journal of Philosophical Logic 49 (2):221-248.
    Intuitionistic logic provides an elegant solution to the Sorites Paradox. Its acceptance has been hampered by two factors. First, the lack of an accepted semantics for languages containing vague terms has led even philosophers sympathetic to intuitionism to complain that no explanation has been given of why intuitionistic logic is the correct logic for such languages. Second, switching from classical to intuitionistic logic, while it may help with the Sorites, does not appear to offer any advantages (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  10. The logic of distributive bilattices.Félix Bou & Umberto Rivieccio - 2011 - Logic Journal of the IGPL 19 (1):183-216.
    Bilattices, introduced by Ginsberg as a uniform framework for inference in artificial intelligence, are algebraic structures that proved useful in many fields. In recent years, Arieli and Avron developed a logical system based on a class of bilattice-based matrices, called logical bilattices, and provided a Gentzen-style calculus for it. This logic is essentially an expansion of the well-known Belnap–Dunn four-valued logic to the standard language of bilattices. Our aim is to study Arieli and Avron’s logic from the (...)
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  11. Logical consequence in modal logic II: Some semantic systems for S4.George Weaver - 1974 - Notre Dame Journal of Formal Logic 15:370.
    ABSTRACT: This 1974 paper builds on our 1969 paper (Corcoran-Weaver [2]). Here we present three (modal, sentential) logics which may be thought of as partial systematizations of the semantic and deductive properties of a sentence operator which expresses certain kinds of necessity. The logical truths [sc. tautologies] of these three logics coincide with one another and with those of standard formalizations of Lewis's S5. These logics, when regarded as logistic systems (cf. Corcoran [1], p. 154), are seen to be (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  12. forall x: An introduction to formal logic.P. D. Magnus - 2005 - Victoria, BC, Canada: State University of New York Oer Services.
    An introduction to sentential logic and first-order predicate logic with identity, logical systems that significantly influenced twentieth-century analytic philosophy. After working through the material in this book, a student should be able to understand most quantified expressions that arise in their philosophical reading. -/- This books treats symbolization, formal semantics, and proof theory for each language. The discussion of formal semantics is more direct than in many introductory texts. Although forall x does not contain proofs of soundness (...)
    Download  
     
    Export citation  
     
    Bookmark  
  13. Prelude to a Socio-Logic of Imperatives.Berislav Žarnić - 2011 - European Journal of Analytic Philosophy 7 (2):6-16.
    This short essay attempts to challenge some of widely held philosophical assumptions on the nature of the relationship between logic, language and reality. In Section 1 the hegemony of theoretical logic is being questioned; Section 2 proposes a hypothesis on socially mediated semantics; Section 3 addresses the problem of ontology of logical sentential moods.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  14. Logic and Ontology in Hegel's Theory of Predication.Kevin J. Harrelson - 2015 - European Journal of Philosophy 23 (4):1259-1280.
    In this paper I sketch some arguments that underlie Hegel's chapter on judgment, and I attempt to place them within a broad tradition in the history of logic. Focusing on his analysis of simple predicative assertions or ‘positive judgments’, I first argue that Hegel supplies an instructive alternative to the classical technique of existential quantification. The main advantage of his theory lies in his treatment of the ontological implications of judgments, implications that are inadequately captured by quantification. The second (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  15. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  16. Genuine Process Logic.Wolfgang Sohst - 2017 - Collected Lectures of MoMo Berlin.
    The Genuine Process Logic described here (abbreviation: GPL) places the object-bound process itself at the center of formalism. It should be suitable for everyday use, i.e. it is not primarily intended for the formalization of computer programs, but instead, as a counter-conception to the classical state logics. The new and central operator of the GPL is an action symbol replacing the classical state symbols, e.g. of equivalence or identity. The complete renunciation of object-language state expressions also results in a (...)
    Download  
     
    Export citation  
     
    Bookmark  
  17. Can logical consequence be deflated?Michael De - 2012 - In Insolubles and Consequences : essays in honour of Stephen Read. College Publications. pp. 23-33.
    An interesting question is whether deflationism about truth (and falsity) extends to related properties and relations on truthbearers. Lionel Shapiro (2011) answers affirmatively by arguing that a certain deflationism about truth is as plausible as an analogous version of deflationism about logical consequence. I argue that the argument fails on two counts. First, it trivializes to any relation between truthbearers, including substantive ones; in other words, his argument can be used to establish that deflationism about truth is as plausible as (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  18. Philosophical Logic: An Introduction to Advanced Topics, by George Englebretsen and Charles Sayward. [REVIEW]Chad Carmichael - 2013 - Teaching Philosophy 36 (4):420-423.
    This book serves as a concise introduction to some main topics in modern formal logic for undergraduates who already have some familiarity with formal languages. There are chapters on sentential and quantificational logic, modal logic, elementary set theory, a brief introduction to the incompleteness theorem, and a modern development of traditional Aristotelian Logic.
    Download  
     
    Export citation  
     
    Bookmark  
  19. Truth-Functional Logic and the Form of a Tractarian Proposition.Oliver Thomas Spinney - 2022 - Public Reason 13 (2):101-105.
    In this paper I argue against Michael Morris’ claim, that the Tractatus view involves holding that the possibility of truth-functional combination is prior to the possibility for sentential constituents to combine with one another. I provide an alternative interpretation in which I deny the presence of any distinction in the Tractatus between these two possibilities. I then turn to Adrian Moore’s ‘disjunctivist’ account of sentencehood, itself inspired by the Tractatus view. I argue that Moore’s account need not involve a (...)
    Download  
     
    Export citation  
     
    Bookmark  
  20. First-Order Logic and Some Existential Sentences.Stephen K. McLeod - 2011 - Disputatio 4 (31):255-270.
    ‘Quantified pure existentials’ are sentences (e.g., ‘Some things do not exist’) which meet these conditions: (i) the verb EXIST is contained in, and is, apart from quantificational BE, the only full (as against auxiliary) verb in the sentence; (ii) no (other) logical predicate features in the sentence; (iii) no name or other sub-sentential referring expression features in the sentence; (iv) the sentence contains a quantifier that is not an occurrence of EXIST. Colin McGinn and Rod Girle have alleged that (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  21.  91
    Priorities and Diversities in Thought and Language.Elisabeth Camp - 2020 - In Andrea Bianchi (ed.), Language and reality from a naturalistic perspective: Themes from Michael Devitt. Cham: Springer. pp. 45-66.
    Philosophers have long debated the relative priority of thought and language, both at the deepest level, in asking what makes us distinctively human, and more superficially, in explaining why we find it so natural to communicate with words. The “linguistic turn” in analytic philosophy accorded pride of place to language in the order of investigation, but only because it treated language as a window onto thought, which it took to be fundamental in the order of explanation. The Chomskian linguistic program (...)
    Download  
     
    Export citation  
     
    Bookmark  
  22. Non‐Classical Knowledge.Ethan Jerzak - 2017 - Philosophy and Phenomenological Research 98 (1):190-220.
    The Knower paradox purports to place surprising a priori limitations on what we can know. According to orthodoxy, it shows that we need to abandon one of three plausible and widely-held ideas: that knowledge is factive, that we can know that knowledge is factive, and that we can use logical/mathematical reasoning to extend our knowledge via very weak single-premise closure principles. I argue that classical logic, not any of these epistemic principles, is the culprit. I develop a consistent theory (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  23. Question-Begging Arguments as Ones That Do Not Extend Knowledge.Rainer Ebert - 2019 - Philosophy and Progress 65 (1):125-144.
    In this article, I propose a formal criterion that distinguishes between deductively valid arguments that do and do not beg the question. I define the concept of a Never-failing Minimally Competent Knower (NMCK) and suggest that an argument begs the question just in case it cannot possibly assist an NMCK in extending his or her knowledge.
    Download  
     
    Export citation  
     
    Bookmark  
  24. Inferential Constants.Camillo Fiore, Federico Pailos & Mariela Rubin - 2022 - Journal of Philosophical Logic 52 (3):767-796.
    A metainference is usually understood as a pair consisting of a collection of inferences, called premises, and a single inference, called conclusion. In the last few years, much attention has been paid to the study of metainferences—and, in particular, to the question of what are the valid metainferences of a given logic. So far, however, this study has been done in quite a poor language. Our usual sequent calculi have no way to represent, e.g. negations, disjunctions or conjunctions of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  25. Proof-Theoretic Semantics for Subsentential Phrases.Nissim Francez, Roy Dyckhoff & Gilad Ben-Avi - 2010 - Studia Logica 94 (3):381-401.
    The paper briefly surveys the sentential proof-theoretic semantics for fragment of English. Then, appealing to a version of Frege’s context-principle (specified to fit type-logical grammar), a method is presented for deriving proof-theoretic meanings for sub-sentential phrases, down to lexical units (words). The sentential meaning is decomposed according to the function-argument structure as determined by the type-logical grammar. In doing so, the paper presents a novel proof-theoretic interpretation of simple type, replacing Montague’s model-theoretic type interpretation (in arbitrary Henkin (...)
    Download  
     
    Export citation  
     
    Bookmark   24 citations  
  26. Modal Epistemology.Juhani Yli-Vakkuri & John Hawthorne - manuscript
    Some central epistemological notions are expressed by sentential operators O that entail the possibility of knowledge in the sense that 'Op' entails 'It is possible to know that p'. We call these modal-epistemological notions. Using apriority and being in a position to know as case studies, we argue that the logics of modal epistemological notions are extremely weak. In particular, their logics are not normal and do not include any closure principles.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  27. Conversely: extrapropositional and prosentential.John Corcoran & Sriram Nambiar - 2014 - Bulletin of Symbolic Logic 20 (3):404-5.
    This self-contained lecture examines uses and misuses of the adverb conversely with special attention to logic and logic-related fields. Sometimes adding conversely after a conjunction such as and signals redundantly that a converse of what preceded will follow. -/- (1) Tarski read Church and, conversely, Church read Tarski. -/- In such cases, conversely serves as an extrapropositional constituent of the sentence in which it occurs: deleting conversely doesn’t change the proposition expressed. Nevertheless it does introduce new implicatures: a (...)
    Download  
     
    Export citation  
     
    Bookmark  
  28. Is Grounding a Hyperintensional Phenomenon?Michael Duncan, Kristie Miller & James Norton - 2017 - Analytic Philosophy 58 (4):297-329.
    It is widely thought that grounding is a hyperintensional phenomenon. Unfortunately, the term ‘hyperintensionality’ has been doing double-duty, picking out two distinct phenomena. This paper clears up this conceptual confusion. We call the two resulting notions hyperintensionalityGRND and hyperintensionalityTRAD. While it is clear that grounding is hyperintensionalGRND, the interesting question is whether it is hyperintensionalTRAD. We argue that given well-accepted constraints on the logical form of grounding, to wit, that grounding is irreflexive and asymmetric, grounding is hyperintensionalTRAD only if one (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  29. It's Not What it Seems. A Semantic Account of ‘Seems’ and Seemings.Berit Brogaard - 2013 - Inquiry: An Interdisciplinary Journal of Philosophy 56 (2-3):210-239.
    I start out by reviewing the semantics of ‘seem’. As ‘seem’ is a subject-raising verb, ‘it seems’ can be treated as a sentential operator. I look at the semantic and logical properties of ‘it seems’. I argue that ‘it seems’ is a hyperintensional and contextually flexible operator. The operator distributes over conjunction but not over disjunction, conditionals or semantic entailments. I further argue that ‘it seems’ does not commute with negation and does not agglomerate with conjunction. I then show (...)
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  30. Indexicals as token-reflexives.Manuel Garc'ıa-Carpintero - 1998 - Mind 107 (427):529-564.
    Reichenbachian approaches to indexicality contend that indexicals are "token-reflexives": semantic rules associated with any given indexical-type determine the truth-conditional import of properly produced tokens of that type relative to certain relational properties of those tokens. Such a view may be understood as sharing the main tenets of Kaplan's well-known theory regarding content, or truth-conditions, but differs from it regarding the nature of the linguistic meaning of indexicals and also regarding the bearers of truth-conditional import and truth-conditions. Kaplan has criticized these (...)
    Download  
     
    Export citation  
     
    Bookmark   60 citations  
  31. Scare-quoting and incorporation.Mark McCullagh - 2017 - In Paul Saka & Michael Johnson (eds.), The Semantics and Pragmatics of Quotation. Cham: Springer. pp. 3-34.
    I explain a mechanism I call “incorporation,” that I think is at work in a wide range of cases often put under the heading of “scare-quoting.” Incorporation is flagging some words in one’s own utterance to indicate that they are to be interpreted as if uttered by some other speaker in some other context, while supplying evidence to one’s interpreter enabling them to identify that other speaker and context. This mechanism gives us a way to use others’ vocabularies and contexts, (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  32. Modal Extension of the Quantified Argument Calculus.Simon D. Vonlanthen - manuscript
    The quantified argument calculus (Quarc) is a novel logic that departs in several ways from mainstream first-order logic. In particular, its quantifiers are not sentential operators attached to variables, but attach to unary predicates to form arguments – quantified arguments – of other predicates. Furthermore, Quarc includes devices to account for anaphora, active-passive-voice distinctions, and sentence- versus predicate-negation. While this base system has already been shown to be sound and complete, modal extensions still lack such results. The (...)
    Download  
     
    Export citation  
     
    Bookmark  
  33. Who invokes silent negation? The view from a hybrid negative concord language.Anna Szabolcsi - manuscript
    In seminal work, Zeijlstra has proposed that the sentential negative marker in strict negative concord languages is a meaningless particle (uNeg) that invokes a silent negative operator (iNeg) at the periphery. Negative concord items (NCI) are also supposed to have uNeg. This paper puts forth new arguments to the effect that the Hungarian negative marker NEM has uNeg, but NCIs do not. Their relation to negation is indirect; they need to be exhaustified, which in turn requires an intervening negation (...)
    Download  
     
    Export citation  
     
    Bookmark  
  34. Oppositions and opposites.Fabien Schang - 2012 - In Jean-Yves Béziau & Dale Jacquette (eds.), Around and Beyond the Square of Opposition. New York: Springer Verlag. pp. 147--173.
    A formal theory of oppositions and opposites is proposed on the basis of a non- Fregean semantics, where opposites are negation-forming operators that shed some new light on the connection between opposition and negation. The paper proceeds as follows. After recalling the historical background, oppositions and opposites are compared from a mathematical perspective: the first occurs as a relation, the second as a function. Then the main point of the paper appears with a calculus of oppositions, by means of a (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  35. Time and Tense.Berit Brogaard - 1997 - In Bob Hale, Crispin Wright & Alexander Miller (eds.), A Companion to the Philosophy of Language. Chichester, West Sussex, UK: Wiley-Blackwell. pp. 765-786.
    Two of the main debates in philosophy of language concerning time and tense are the debate about the semantics of the tenses in the English language and the debate over whether propositions can be transiently true or false as opposed to always being eternally true or false. The latter quarrel is also known as the "temporalism–eternalism debate." Given standard semantics, the two debates are not logically independent, as we will see. Those who believe propositions are eternally true or false needn’t (...)
    Download  
     
    Export citation  
     
    Bookmark  
  36. Talking With Objects -2013.Roger Wertheimer - manuscript
    Talking about objects requires talking with objects, presenting objects in speech to identify a term's referent. I say This figure is a circle while handing you a ring. The ring is a prop, a perceptual object referenced by an extra-sentential event to identify the extension of a term, its director ('This figure'). Props operate in speech acts and their products, not in sentences. Intra-sentential objects we talk with are displays. Displayed objects needn't be words but must be like (...)
    Download  
     
    Export citation  
     
    Bookmark  
  37. Variables.Joshua Bruce Dever - 1998 - Dissertation, University of California, Berkeley
    Variables is a project at the intersection of the philosophies of language and logic. Frege, in the Begriffsschrift, crystalized the modern notion of formal logic through the first fully successful characterization of the behaviour of quantifiers. In Variables, I suggest that the logical tradition we have inherited from Frege is importantly flawed, and that Frege's move from treating quantifiers as noun phrases bearing word-world connection to sentential operators in the guise of second-order predicates leaves us both philosophically (...)
    Download  
     
    Export citation  
     
    Bookmark   26 citations  
  38. Word Order and Incremental Update.Maria Bittner - 2003 - In Proceedings from CLS 39-1. CLS.
    The central claim of this paper is that surface-faithful word-by-word update is feasible and desirable, even in languages where word order is supposedly free. As a first step, in sections 1 and 2, I review an argument from Bittner 2001a that semantic composition is not a static process, as in PTQ, but rather a species of anaphoric bridging. But in that case the context-setting role of word order should extend from cross-sentential discourse anaphora to sentence-internal anaphoric composition. This can (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  39. Operator arguments revisited.Juhani Yli-Vakkuri, John Hawthorne & Peter Fritz - 2019 - Philosophical Studies 176 (11):2933-2959.
    Certain passages in Kaplan’s ‘Demonstratives’ are often taken to show that non-vacuous sentential operators associated with a certain parameter of sentential truth require a corresponding relativism concerning assertoric contents: namely, their truth values also must vary with that parameter. Thus, for example, the non-vacuity of a temporal sentential operator ‘always’ would require some of its operands to have contents that have different truth values at different times. While making no claims about Kaplan’s intentions, we provide several reconstructions (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  40. Eternalism and Propositional Multitasking: in defence of the Operator Argument.Clas Weber - 2012 - Synthese 189 (1):199-219.
    It is a widely held view in philosophy that propositions perform a plethora of different theoretical roles. Amongst other things, they are believed to be the semantic values of sentences in contexts, the objects of attitudes, the contents of illocutionary acts, and the referents of that-clauses. This assumption is often combined with the claim that propositions have their truth-values eternally. In this paper I aim to show that these two assumptions are incompatible: propositions cannot both fulfill the mentioned roles and (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  41. Remarks on Stoic deduction.John Corcoran - 1974 - In Ancient logic and its modern interpretations. Boston,: Reidel. pp. 169--181.
    This paper raises obvious questions undermining any residual confidence in Mates work and revealing our embarrassing ignorance of true nature of Stoic deduction. It was inspired by the challenging exploratory work of JOSIAH GOULD.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  42. T-equivalences for positive sentences.Cezary Cieśliński - 2011 - Review of Symbolic Logic 4 (2):319-325.
    Answering a question formulated by Halbach (2009), I show that a disquotational truth theory, which takes as axioms all positive substitutions of the sentential T-schema, together with all instances of induction in the language with the truth predicate, is conservative over its syntactical base.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  43. Deflationary Truth and Pathologies.Cezary Cieśliński - 2010 - Journal of Philosophical Logic 39 (3):325-337.
    By a classical result of Kotlarski, Krajewski and Lachlan, pathological satisfaction classes can be constructed for countable, recursively saturated models of Peano arithmetic. In this paper we consider the question of whether the pathology can be eliminated; we ask in effect what generalities involving the notion of truth can be obtained in a deflationary truth theory (a theory of truth which is conservative over its base). It is shown that the answer depends on the notion of pathology we adopt. It (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  44. Questions of Race in Leibniz's Logic.Joshua M. Hall - forthcoming - Journal of Comparative Literature and Aesthetics.
    This essay is part of larger project in which I attempt to show that Western formal logic, from its inception in Aristotle onward, has both been partially constituted by, and partially constitutive of, what has become known as racism. More specifically, (a) racist/quasi-racist/proto-racist political forces were part of the impetus for logic’s attempt to classify the world into mutually exclusive, hierarchically-valued categories in the first place; and (b) these classifications, in turn, have been deployed throughout history to justify (...)
    Download  
     
    Export citation  
     
    Bookmark  
  45. Future Contingents and the Logic of Temporal Omniscience.Patrick Todd & Brian Rabern - 2019 - Noûs 55 (1):102-127.
    At least since Aristotle’s famous 'sea-battle' passages in On Interpretation 9, some substantial minority of philosophers has been attracted to the doctrine of the open future--the doctrine that future contingent statements are not true. But, prima facie, such views seem inconsistent with the following intuition: if something has happened, then (looking back) it was the case that it would happen. How can it be that, looking forwards, it isn’t true that there will be a sea battle, while also being true (...)
    Download  
     
    Export citation  
     
    Bookmark   23 citations  
  46. Verified completeness in Henkin-style for intuitionistic propositional logic.Huayu Guo, Dongheng Chen & Bruno Bentzen - 2023 - In Bruno Bentzen, Beishui Liao, Davide Liga, Reka Markovich, Bin Wei, Minghui Xiong & Tianwen Xu (eds.), Logics for AI and Law: Joint Proceedings of the Third International Workshop on Logics for New-Generation Artificial Intelligence and the International Workshop on Logic, AI and Law, September 8-9 and 11-12, 2023, Hangzhou. College Publications. pp. 36-48.
    This paper presents a formalization of the classical proof of completeness in Henkin-style developed by Troelstra and van Dalen for intuitionistic logic with respect to Kripke models. The completeness proof incorporates their insights in a fresh and elegant manner that is better suited for mechanization. We discuss details of our implementation in the Lean theorem prover with emphasis on the prime extension lemma and construction of the canonical model. Our implementation is restricted to a system of intuitionistic propositional (...) with implication, conjunction, disjunction, and falsity given in terms of a Hilbert-style axiomatization. As far as we know, our implementation is the first verified Henkin-style proof of completeness for intuitionistic logic following Troelstra and van Dalen's method in the literature. (shrink)
    Download  
     
    Export citation  
     
    Bookmark  
  47. Conservatively extending classical logic with transparent truth.David Ripley - 2012 - Review of Symbolic Logic 5 (2):354-378.
    This paper shows how to conservatively extend classical logic with a transparent truth predicate, in the face of the paradoxes that arise as a consequence. All classical inferences are preserved, and indeed extended to the full (truth—involving) vocabulary. However, not all classical metainferences are preserved; in particular, the resulting logical system is nontransitive. Some limits on this nontransitivity are adumbrated, and two proof systems are presented and shown to be sound and complete. (One proof system allows for Cut—elimination, but (...)
    Download  
     
    Export citation  
     
    Bookmark   124 citations  
  48. On the translation from quantified modal logic to counterpart theory.Cristina Nencha - 2022 - Synthese 200 (5):1-15.
    Lewis (1968) claims that his language of Counterpart Theory (CT) interprets modal discourse and he adverts to a translation scheme from the language of Quantifed Modal Logic (QML) to CT. However, everybody now agrees that his original translation scheme does not always work, since it does not always preserve the ‘intuitive’ meaning of the translated QML-formulas. Lewis discusses this problem with regard to the Necessitist Thesis, and I will extend his discourse to the analysis of the Converse Barcan Formula. (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  49. Vagueness, Logic and Use: Four Experimental Studies on Vagueness.Phil Serchuk, Ian Hargreaves & Richard Zach - 2011 - Mind and Language 26 (5):540-573.
    Although arguments for and against competing theories of vagueness often appeal to claims about the use of vague predicates by ordinary speakers, such claims are rarely tested. An exception is Bonini et al. (1999), who report empirical results on the use of vague predicates by Italian speakers, and take the results to count in favor of epistemicism. Yet several methodological difficulties mar their experiments; we outline these problems and devise revised experiments that do not show the same results. We then (...)
    Download  
     
    Export citation  
     
    Bookmark   29 citations  
  50. The entanglement of logic and set theory, constructively.Laura Crosilla - 2022 - Inquiry: An Interdisciplinary Journal of Philosophy 65 (6).
    ABSTRACT Theories of sets such as Zermelo Fraenkel set theory are usually presented as the combination of two distinct kinds of principles: logical and set-theoretic principles. The set-theoretic principles are imposed ‘on top’ of first-order logic. This is in agreement with a traditional view of logic as universally applicable and topic neutral. Such a view of logic has been rejected by the intuitionists, on the ground that quantification over infinite domains requires the use of intuitionistic rather than (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
1 — 50 / 978