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

21 found
Order:
  1. added 2019-11-18
    Free Logic: Selected Essays. [REVIEW]Ken Akiba - 2004 - International Philosophical Quarterly 44 (2):281-283.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  2. added 2019-10-08
    Second-Order Modal Logic.Andrew Parisi - 2017 - Dissertation, University of Connecticut
    This dissertation develops an inferentialist theory of meaning. It takes as a starting point that the sense of a sentence is determined by the rules governing its use. In particular, there are two features of the use of a sentence that jointly determine its sense, the conditions under which it is coherent to assert that sentence and the conditions under which it is coherent to deny that sentence. From this starting point the dissertation develops a theory of quantification as marking (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  3. added 2019-08-19
    A Binary Quantifier for Definite Descriptions in Intuitionist Negative Free Logic: Natural Deduction and Normalisation.Nils Kürbis - 2019 - Bulletin of the Section of Logic 48 (2):81-97.
    This paper presents a way of formalising definite descriptions with a binary quantifier ι, where ιx[F, G] is read as ‘The F is G’. Introduction and elimination rules for ι in a system of intuitionist negative free logic are formulated. Procedures for removing maximal formulas of the form ιx[F, G] are given, and it is shown that deductions in the system can be brought into normal form.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  4. added 2019-03-02
    Slightly Non-Standard Logic.Scott Lehmann - 1980 - Logique Et Analyse 23 (92):379-92.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  5. added 2017-12-11
    Axiomatizing Category Theory in Free Logic.Christoph Benzmüller & Dana Scott - manuscript
    Starting from a generalization of the standard axioms for a monoid we present a stepwise development of various, mutually equivalent foundational axiom systems for category theory. Our axiom sets have been formalized in the Isabelle/HOL interactive proof assistant, and this formalization utilizes a semantically correct embedding of free logic in classical higher-order logic. The modeling and formal analysis of our axiom sets has been significantly supported by series of experiments with automated reasoning tools integrated with Isabelle/HOL. We also address the (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  6. added 2017-09-20
    Anselm's God in Isabelle/HOL.Ben Blumson - 2017 - Archive of Formal Proofs:9.
    Paul Oppenheimer and Edward Zalta's formalisation of Anselm's ontological argument for the existence of God is automated by embedding a free logic for definite descriptions within Isabelle/HOL.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  7. added 2017-09-18
    Existence Hedges and Neutral Free Logic.Daniel Yeakel - 2016 - Proceedings of the Aristotelian Society 116 (3):379-386.
    I argue that neutral free logic and existence hedging are incompatible. Primarily, I respond to proposals by James Pryor intended to reconcile the two. Consideration of those proposals will reveal that on any neutral free logic either some existence hedges will entail some undesired existence claims, or they will not entail some desired existence claims.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8. added 2017-05-12
    Logic: The Basics (2nd Edition).Jc Beall & Shay A. Logan - 2017 - Routledge.
    Logic: the Basics is an accessible introduction to the core philosophy topic of standard logic. Focussing on traditional Classical Logic the book deals with topics such as mathematical preliminaries, propositional logic, monadic quantified logic, polyadic quantified logic, and English and standard ‘symbolic transitions’. With exercises and sample answers throughout this thoroughly revised new edition not only comprehensively covers the core topics at introductory level but also gives the reader an idea of how they can take their knowledge further and the (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  9. added 2016-12-31
    More Free Logic.Scott Lehmann - 2002 - In Dov Gabbay & Franz Guenthner (eds.), Handbook of Philosophical Logic, vol. 5. New York: Springer. pp. 197-259.
    By a free logic is generally meant a variant of classical first-order logic in which constant terms may, under interpretation, fail to refer to individuals in the domain D over which the bound variables range, either because they do not refer at all or because they refer to individuals outside D. If D is identified with what is assumed by the given interpretation to exist, in accord with Quine’s dictum that “to be is to be the value of a [bound] (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   11 citations  
  10. added 2016-12-31
    `No Input, No Output' Logic.Scott Lehmann - 2001 - In Karel Lambert, Edgar Morscher & Alexander Hieke (eds.), New Essays in Free Logic: In Honour of Karel Lambert. Norwell, Mass: Kluwer. pp. 147-155.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  11. added 2016-09-28
    Russell's Revenge: A Problem for Bivalent Fregean Theories of Descriptions.Jan Heylen - 2017 - Pacific Philosophical Quarterly 98 (4):636-652.
    Fregean theories of descriptions as terms have to deal with improper descriptions. To save bivalence various proposals have been made that involve assigning referents to improper descriptions. While bivalence is indeed saved, there is a price to be paid. Instantiations of the same general scheme, viz. the one and only individual that is F and G is G, are not only allowed but even required to have different truth values.
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  12. added 2016-04-07
    Gödel's "Slingshot" Argument and His Onto-Theological System.Srećko Kovač & Kordula Świętorzecka - 2015 - In Kordula Świętorzecka (ed.), Gödel's Ontological Argument: History, Modifications, and Controversies. Semper. pp. 123-162.
  13. added 2015-01-31
    Subject-Predicate Calculus Free From Existential Import.V. A. Bocharov - 1983 - Studia Logica 42 (2-3):209 - 221.
    Two subject-predicate calculi with equality,SP = and its extensionUSP =, are presented as systems of natural deduction. Both the calculi are systems of free logic. Their presentation is preceded by an intuitive motivation.It is shown that Aristotle's syllogistics without the laws of identitySaP andSiP is definable withinSP =, and that the first-order predicate logic is definable withinUSP =.
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  14. added 2014-06-16
    Fregean Free Logics.Siu-Fan Lee - 2009 - Philosophical Researches (Dec):123-129.
    This paper asks which free logic a Fregean should adopt. It examines options within the tradition including Carnap’s (1956) chosen object theory, Lehmann’s (1994, 2002) strict Fregean free logic, Woodruff’s (1970) strong table about Boolean operators and Bencivenga’s (1986, 1991) supervaluational semantics. It argues for a neutral free logic in view of its proximity towards explaining natural languages. However, disagreeing with Lehmann, it claims a Fregean should adopt the strong table based on Frege’s discussion on generality. Supervaluation uses strong table (...)
    Remove from this list  
    Translate
     
     
    Export citation  
     
    Bookmark  
  15. added 2014-03-28
    Quasi-Truth, Supervaluations and Free Logic.Newton C. A. da Costa & Otavio Bueno - 1999 - History and Philosophy of Logic 20 (3-4):215-226.
    The partial structures approach has two major components: a broad notion of structure (partial structure) and a weak notion of truth (quasi-truth). In this paper, we discuss the relationship between this approach and free logic. We also compare the model-theoretic analysis supplied by partial structures with the method of supervaluations, which was initially introduced as a technique to provide a semantic analysis of free logic. We then combine the three formal frameworks (partial structures, free logic and supervaluations), and apply the (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  16. added 2013-06-01
    Quantificational Logic and Empty Names.Andrew Bacon - 2013 - Philosophers' Imprint 13.
    The result of combining classical quantificational logic with modal logic proves necessitism – the claim that necessarily everything is necessarily identical to something. This problem is reflected in the purely quantificational theory by theorems such as ∃x t=x; it is a theorem, for example, that something is identical to Timothy Williamson. The standard way to avoid these consequences is to weaken the theory of quantification to a certain kind of free logic. However, it has often been noted that in order (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  17. added 2011-05-31
    Possibility Pre-Supposition Free Logics.Roderic A. Girle - 1974 - Notre Dame Journal of Formal Logic 15 (1):45-62.
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  18. added 2011-03-17
    First-Order Logic Based on Inclusion and Abstraction.John Bacon - 1982 - Journal of Symbolic Logic 47 (4):793-808.
  19. added 2010-06-22
    Handbook of Philosophical Logic, 2nd Edition.D. M. Gabbay & F. Guenthner (eds.) - 2002 - Kluwer Academic Publishers.
    Remove from this list  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  20. added 2010-01-18
    Free Logics.Ermanno Bencivenga - 2002 - In D. M. Gabbay & F. Guenthner (eds.), Handbook of Philosophical Logic, 2nd Edition. Kluwer Academic Publishers. pp. 147--196.
    Remove from this list  
    Translate
     
     
    Export citation  
     
    Bookmark   25 citations  
  21. added 2008-12-31
    A Free IPC is a Natural Logic: Strong Completeness for Some Intuitionistic Free Logics.Carl J. Posy - 1982 - Topoi 1 (1-2):30-43.
    IPC, the intuitionistic predicate calculus, has the property(i) Vc(A c /x) xA.Furthermore, for certain important , IPC has the converse property (ii) xA Vc(A c /x). (i) may be given up in various ways, corresponding to different philosophic intuitions and yielding different systems of intuitionistic free logic. The present paper proves the strong completeness of several of these with respect to Kripke style semantics. It also shows that giving up (i) need not force us to abandon the analogue of (ii).
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations