Search results for 'Free Logic' (try it on Scholar)

1000+ found
Sort by:
See also:
  1. G. Aldo Antonelli (2000). Proto-Semantics for Positive Free Logic. Journal of Philosophical Logic 29 (3):277-294.score: 246.0
    This paper presents a bivalent extensional semantics for positive free logic without resorting to the philosophically questionable device of using models endowed with a separate domain of "non-existing" objects. The models here introduced have only one (possibly empty) domain, and a partial reference function for the singular terms (that might be undefined at some arguments). Such an approach provides a solution to an open problem put forward by Lambert, and can be viewed as supplying a version of parametrized (...)
    Direct download (9 more)  
     
    My bibliography  
     
    Export citation  
  2. Dolf Rami, Non‐Standard Neutral Free Logic, Empty Names and Negative Existentials.score: 240.0
    In this paper I am concerned with an analysis of negative existential sentences that contain proper names only by using negative or neutral free logic. I will compare different versions of neutral free logic with the standard system of negative free logic (Burge, Sainsbury) and aim to defend my version of neutral free logic that I have labeled non-standard neutral free logic.
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  3. Dolf Rami, Existence and Free Logic.score: 240.0
    In this paper I aim to defend a first‐order non‐discriminating property view concerning existence. The version of this view that I prefer is based on negative (or a specific neutral) free logic that treats the existence predicate as first‐order logical predicate. I will provide reasons why such a view is more plausible than a second‐order discriminating property view concerning existence and I will also discuss four challenges for the proposed view and provide solutions to them.
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  4. Karel Lambert (2003). Free Logic: Selected Essays. New Yorkcambridge University Press.score: 240.0
    Free logic is an important field of philosophical logic that first appeared in the 1950s. J. Karel Lambert was one of its founders and coined the term itself. The essays in this collection (written over a period of 40 years) explore the philosophical foundations of free logic and its application to areas as diverse as the philosophy of religion and computer science. Amongst the applications on offer are those to the analysis of existence statements, to (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  5. Maria Lasonen-Aarnio (2008). Why the Externalist is Better Off Without Free Logic: A Reply to McKinsey. Dialectica 62 (4):535-540.score: 240.0
    McKinsey-style incompatibilist arguments attempt to show that the thesis that subjects have privileged, a priori access to the contents of their thoughts is incompatible with semantic externalism. This incompatibility follows – it is urged – from the fact that these theses jointly entail an absurd conclusion, namely, the possibility of a priori knowledge of the world. In a recent paper I argued that a large and important class of such arguments exemplifies a dialectical failure: if they are valid, the putatively (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  6. Norbert Gratzl (2010). A Sequent Calculus for a Negative Free Logic. Studia Logica 96 (3):331-348.score: 240.0
    This article presents a sequent calculus for a negative free logic with identity, called N . The main theorem (in part 1) is the admissibility of the Cut-rule. The second part of this essay is devoted to proofs of soundness, compactness and completeness of N relative to a standard semantics for negative free logic.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  7. Ermanno Bencivenga (forthcoming). Jaśkowski's Universally Free Logic. Studia Logica:1-8.score: 240.0
    A universally free logic is a system of quantification theory, with or without identity, whose theses remain logically true if (a) the domain of quantification is empty and (b) some of the singular terms present in the language do not denote existing objects. In the West, (inclusive) logics satisfying (a) and (free) ones satisfying (b) were developed starting in the 1950s. But Stanisław Jaśkowski preceded all this work by some twenty years: his paper “On the Rules of (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  8. Karel Lambert (ed.) (1991). Philosophical Applications of Free Logic. Oxford University Press.score: 240.0
    Free logic, an alternative to traditional logic, has been seen as a useful avenue of approach to a number of philosophical issues of contemporary interest. In this collection, Karel Lambert, one of the pioneers in, and the most prominent exponent of, free logic, brings together a variety of published essays bearing on the application of free logic to philosophical topics ranging from set theory and logic to metaphysics and the philosophy of religion. (...)
     
    My bibliography  
     
    Export citation  
  9. Arief Daynes (2006). A New Technique for Proving Realisability and Consistency Theorems Using Finite Paraconsistent Models of Cut‐Free Logic. Mathematical Logic Quarterly 52 (6):540-554.score: 216.0
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  10. Brian Hill & Francesca Poggiolesi (2010). A Contraction-Free and Cut-Free Sequent Calculus for Propositional Dynamic Logic. Studia Logica 94 (1):47 - 72.score: 192.0
    In this paper we present a sequent calculus for propositional dynamic logic built using an enriched version of the tree-hypersequent method and including an infinitary rule for the iteration operator. We prove that this sequent calculus is theoremwise equivalent to the corresponding Hilbert-style system, and that it is contraction-free and cut-free. All results are proved in a purely syntactic way.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  11. Newton C. A. da Costa & Otavio Bueno (1999). Quasi-Truth, Supervaluations and Free Logic. History and Philosophy of Logic 20 (3-4):215-226.score: 186.0
    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 (...) and supervaluations), and apply the resulting approach to accommodate semantic paradoxes. (shrink)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  12. Hans-Peter Leeb (2006). State-of-Affairs Semantics for Positive Free Logic. Journal of Philosophical Logic 35 (2):183 - 208.score: 186.0
    In the following the details of a state-of-affairs semantics for positive free logic are worked out, based on the models of common inner domain - outer domain semantics. Lambert's PFL system is proven to be weakly adequate (i.e., sound and complete) with respect to that semantics by demonstrating that the concept of logical truth definable therein coincides with that one of common truth-value semantics for PFL. Furthermore, this state-of-affairs semantics resists the challenges stemming from the slingshot argument since (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  13. Cristina Coppola, Giangiacomo Gerla & Annamaria Miranda (2010). Point-Free Foundation of Geometry and Multivalued Logic. Notre Dame Journal of Formal Logic 51 (3):383-405.score: 186.0
    Whitehead, in two basic books, considers two different approaches to point-free geometry: the inclusion-based approach , whose primitive notions are regions and inclusion relation between regions, and the connection-based approach , where the connection relation is considered instead of the inclusion. We show that the latter cannot be reduced to the first one, although this can be done in the framework of multivalued logics.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  14. Karel Lambert (1981). On the Philosophical Foundations of Free Logic. Inquiry 24 (2):147 – 203.score: 180.0
    The essay outlines the character of free logic, and motivation for its construction and development. It details some technical achievements of high philosophical interest, but urges that the role of existence assumptions in logic is still not fully understood, that unresolved old problems, both technical and philosophical, abound, and presents some new problems of considerable philosophical import in free logic.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  15. R. M. Sainsbury (2006). Facts and Free Logic. Protosociology 26:119–27.score: 180.0
    Comment on S. Neale's, "Facts and Free Logic".
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  16. Peter Milne (2007). Existence and Identity in Free Logic: Two Comments. Mind 116 (464):1079-1082.score: 180.0
    Professor Tennant and I agree on much regarding the proof-theoretic semantics of free logic. Here I point to two issues, one on which we disagree, the other on which I find it hard to say how closely we may agree. The first concerns the exact content of Tennant's Rule of Atomic Denotation. The second concerns the nature of assumptions whose formal counterparts contain parametric occurrences of names.
    No categories
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  17. Neil Tennant (2007). Existence and Identity in Free Logic: A Problem for Inferentialism? Mind 116 (464):1055-1078.score: 180.0
    Peter Milne (2007) poses two challenges to the inferential theorist of meaning. This study responds to both. First, it argues that the method of natural deduction idealizes the essential details of correct informal deductive reasoning. Secondly, it explains how rules of inference in free logic can determine unique senses for the existential quantifier and the identity predicate. The final part of the investigation brings out an underlying order in a basic family of free logics.
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  18. Francesco Orilia (1994). Belief Representation in a Deductivist Type-Free Doxastic Logic. Minds and Machines 4 (2):163-203.score: 180.0
    Konolige''s technical notion of belief based on deduction structures is briefly reviewed and its usefulness for the design of artificial agents with limited representational and deductive capacities is pointed out. The design of artificial agents with more sophisticated representational and deductive capacities is then taken into account. Extended representational capacities require in the first place a solution to the intensional context problems. As an alternative to Konolige''s modal first-order language, an approach based on type-free property theory is proposed. It (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  19. Kenneth A. Bowen (1980). Interpolation in Loop-Free Logic. Studia Logica 39 (2-3):297 - 310.score: 174.0
    Model-theoretic methods are used to extend Craig's Interpolation Theorem to the loop-free portion of Pratt's dynamic logic of programs with simple assignments.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  20. Peter van Inwagen (1990). Logic and the Free Will Problem. Social Theory and Practice 16 (3):277-90.score: 168.0
  21. Theodore Hailperin (1992). Herbrand Semantics, the Potential Infinite, and Ontology-Free Logic. History and Philosophy of Logic 13 (1):69-90.score: 162.0
    This paper investigates the ontological presuppositions of quantifier logic. It is seen that the actual infinite, although present in the usual completeness proofs, is not needed for a proper semantic foundation. Additionally, quantifier logic can be given an adequate formulation in which neither the notion of individual nor that of a predicate appears.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  22. Carl J. Posy (1982). A Free IPC is a Natural Logic: Strong Completeness for Some Intuitionistic Free Logics. Topoi 1 (1-2):30-43.score: 160.0
    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 (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  23. Ermanno Bencivenga (1976). Set Theory and Free Logic. Journal of Philosophical Logic 5 (1):1 - 15.score: 156.0
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  24. Robert K. Meyer & Karel Lambert (1968). Universally Free Logic and Standard Quantification Theory. Journal of Symbolic Logic 33 (1):8-26.score: 156.0
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  25. Mark Sainsbury (2005). Names in Free Logical Truth Theory. In José Luis Bermúdez (ed.), Thought, Reference, and Experience: Themes From the Philosophy of Gareth Evans. Clarendon Press.score: 156.0
    Evans envisaged a language containing both Russellian and descriptive names. A language with descriptive names, which can contribute to truth conditions even if they have no bearer, needs a free logical truth theory. But a metalanguage with this logic threatens to emasculate Russellian names. The paper details this problem and shows, on Evans's behalf, how it might be resolved.
    Direct download  
     
    My bibliography  
     
    Export citation  
  26. Karel Lambert (1967). Free Logic and the Concept of Existence. Notre Dame Journal of Formal Logic 8 (1-2):133-144.score: 156.0
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  27. Roy Dyckhoff & Luis Pinto (1998). Cut-Elimination and a Permutation-Free Sequent Calculus for Intuitionistic Logic. Studia Logica 60 (1):107-118.score: 156.0
    We describe a sequent calculus, based on work of Herbelin, of which the cut-free derivations are in 1-1 correspondence with the normal natural deduction proofs of intuitionistic logic. We present a simple proof of Herbelin's strong cut-elimination theorem for the calculus, using the recursive path ordering theorem of Dershowitz.
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  28. Scott Lehmann (1994). Strict Fregean Free Logic. Journal of Philosophical Logic 23 (3):307--336.score: 156.0
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  29. Karel Lambert & Ermanno Bencivenga (1986). A Free Logic with Simple and Complex Predicates. Notre Dame Journal of Formal Logic 27 (2):247-256.score: 156.0
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  30. Richard L. Mendelsohn (1989). Objects and Existence: Reflections on Free Logic. Notre Dame Journal of Formal Logic 30 (4):604-623.score: 156.0
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  31. Ermanno Bencivenga (1978). A Semantics for a Weak Free Logic. Notre Dame Journal of Formal Logic 19 (4):646-652.score: 156.0
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  32. Peter W. Woodruff (1984). On Supervaluations in Free Logic. Journal of Symbolic Logic 49 (3):943-950.score: 156.0
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  33. Ermanno Bencivenga (1980). A Weak Free Logic with the Existence Sign. Notre Dame Journal of Formal Logic 21 (3):572-576.score: 156.0
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  34. Jarmo Kontinen (2013). Coherence and Computational Complexity of Quantifier-Free Dependence Logic Formulas. Studia Logica 101 (2):267-291.score: 156.0
    We study the computational complexity of the model checking problem for quantifier-free dependence logic ${(\mathcal{D})}$ formulas. We characterize three thresholds in the complexity: logarithmic space (LOGSPACE), non-deterministic logarithmic space (NL) and non-deterministic polynomial time (NP).
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  35. Kathleen Johnson Wu (1988). A Basic Free Logic. Notre Dame Journal of Formal Logic 29 (4):543-552.score: 156.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  36. Henri J. Sarlet (1977). Hintikka's Free Logic is Not Free. Notre Dame Journal of Formal Logic 18 (3):458-458.score: 156.0
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  37. G. H. Merrill (1975). A Free Logic with Intensions as Possible Values of Terms. Journal of Philosophical Logic 4 (3):293 - 326.score: 156.0
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  38. William C. Purdy (1992). A Variable-Free Logic for Mass Terms. Notre Dame Journal of Formal Logic 33 (3):348-358.score: 156.0
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  39. Bas C. van Fraassen (1968). A Topological Proof of the Löwenheim‐Skolem, Compactness, and Strong Completeness Theorems for Free Logic. Mathematical Logic Quarterly 14 (13‐17):245-254.score: 156.0
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  40. Ermanno Bencivenga (1985). Strong Completeness of a Pure Free Logic. Mathematical Logic Quarterly 31 (1‐6):35-38.score: 156.0
    No categories
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  41. E. Casanovas, P. Dellunde & R. Jansana (1996). On Elementary Equivalence for Equality-Free Logic. Notre Dame Journal of Formal Logic 37 (3):506-522.score: 156.0
  42. Robert J. Cosgrove (1980). A Three-Valued Free Logic for Presuppositional Languages. Notre Dame Journal of Formal Logic 21 (3):549-571.score: 156.0
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  43. Antonelli G. Aldo (2000). Proto-Semantics for Positive Free Logic. Journal of Philosophical Logic 29 (3).score: 156.0
     
    My bibliography  
     
    Export citation  
  44. A. Antonelli & Raymond D. Gumb (2001). REVIEWS-Proto-Semantics for Positive Free Logic. Bulletin of Symbolic Logic 7 (4):531-531.score: 156.0
     
    My bibliography  
     
    Export citation  
  45. Ermanno Bencivenga (1984). A Possibility-Free Logic of Descriptions. Archive for Mathematical Logic 24 (1):159-165.score: 156.0
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  46. David DeVidi (2003). Lambert Karel. Free Logic: Selected Essays. Cambridge University Press, Cambridge, 2003, Xii+ 191 Pp. [REVIEW] Bulletin of Symbolic Logic 9 (4):521-523.score: 156.0
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  47. Raymond D. Gumb (2001). Review: G. Aldo Antonelli, Proto-Semantics for Positive Free Logic. [REVIEW] Bulletin of Symbolic Logic 7 (4):531-532.score: 156.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  48. K. Lambert & David DeVidi (2003). REVIEWS-Free Logic: Selected Essays. Bulletin of Symbolic Logic 9 (4):521-523.score: 156.0
    No categories
     
    My bibliography  
     
    Export citation  
  49. G. Landini (2004). Karel Lambert Free Logic: Selected Essays. History and Philosophy of Logic 25:244-249.score: 156.0
    No categories
     
    My bibliography  
     
    Export citation  
1 — 50 / 1000