Switch to: References

Add citations

You must login to add citations.
  1. 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 (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  • Some supervaluation-based consequence relations.Philip Kremer & Michael Kremer - 2003 - Journal of Philosophical Logic 32 (3):225-244.
    In this paper, we define some consequence relations based on supervaluation semantics for partial models, and we investigate their properties. For our main consequence relation, we show that natural versions of the following fail: upwards and downwards Lowenheim-Skolem, axiomatizability, and compactness. We also consider an alternate version for supervaluation semantics, and show both axiomatizability and compactness for the resulting consequence relation.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  • Supervaluation fixed-point logics of truth.Philip Kremer & Alasdair Urquhart - 2008 - Journal of Philosophical Logic 37 (5):407-440.
    Michael Kremer defines fixed-point logics of truth based on Saul Kripke’s fixed point semantics for languages expressing their own truth concepts. Kremer axiomatizes the strong Kleene fixed-point logic of truth and the weak Kleene fixed-point logic of truth, but leaves the axiomatizability question open for the supervaluation fixed-point logic of truth and its variants. We show that the principal supervaluation fixed point logic of truth, when thought of as consequence relation, is highly complex: it is not even analytic. We also (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  • Fiction, Creation and Fictionality : An Overview.Matthieu Fontaine & Shahid Rahman - 2010 - Methodos 10:1-75.
    La réflexion philosophique sur la non-existence est une thématique qui a été abordée au commencement même de la philosophie et qui suscite, depuis la publication en 1905 de « On Denoting » par Russell, les plus vifs débats en philosophie analytique. Cependant, le débat féroce sur la sémantique des noms propres et des descriptions définies qui surgirent suite à la publication du « On Referring » par Strawson en 1950 n’engagea pas d’étude systématique de la sémantique des fictions. En fait, (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  • Free quantification and logical invariance.G. Aldo Antonelli - 2007 - Rivista di Estetica 33 (1):61-73.
    Henry Leonard and Karel Lambert first introduced so-called presupposition-free (or just simply: free) logics in the 1950’s in order to provide a logical framework allowing for non-denoting singular terms (be they descriptions or constants) such as “the largest prime” or “Pegasus” (see Leonard [1956] and Lambert [1960]). Of course, ever since Russell’s paradigmatic treatment of definite descriptions (Russell [1905]), philosophers have had a way to deal with such terms. A sentence such as “the..
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  • Proto-Semantics for Positive Free Logic.Antonelli G. Aldo - 2000 - Journal of Philosophical Logic 29 (3):277-294.
    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 truth non (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  • Free logic.John Nolt - 2021 - Stanford Encyclopedia of Philosophy.
    Direct download  
     
    Export citation  
     
    Bookmark   36 citations