5 found
Order:
See also
Laureano Luna
National Distance Education University (PhD)
  1. Cantor’s Proof in the Full Definable Universe.Laureano Luna & William Taylor - 2010 - Australasian Journal of Logic 9:10-25.
    Cantor’s proof that the powerset of the set of all natural numbers is uncountable yields a version of Richard’s paradox when restricted to the full definable universe, that is, to the universe containing all objects that can be defined not just in one formal language but by means of the full expressive power of natural language: this universe seems to be countable on one account and uncountable on another. We argue that the claim that definitional contexts impose restrictions on the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  2.  62
    Sleeping Beauty: Exploring a Neglected Solution.Laureano Luna - forthcoming - British Journal for the Philosophy of Science.
    The strong law of large numbers and considerations concerning additional information strongly suggest that Beauty upon awakening has probability 1⁄3 to be in a heads-awakening but should still believe the probability that the coin landed heads in the Sunday toss to be 1⁄2. The problem is that she is in a heads-awakening if and only if the coin landed heads. So, how can she rationally assign different probabilities or credences to propositions she knows imply each other? This is the problem (...)
    Download  
     
    Export citation  
     
    Bookmark  
  3. Indefinite Extensibility in Natural Language.Laureano Luna - 2013 - The Monist 96 (2):295-308.
    The Monist’s call for papers for this issue ended: “if formalism is true, then it must be possible in principle to mechanize meaning in a conscious thinking and language-using machine; if intentionalism is true, no such project is intelligible”. We use the Grelling-Nelson paradox to show that natural language is indefinitely extensible, which has two important consequences: it cannot be formalized and model theoretic semantics, standard for formal languages, is not suitable for it. We also point out that object-object mapping (...)
    Download  
     
    Export citation  
     
    Bookmark  
  4. No Successfull Infinite Regress.Laureano Luna - 2014 - Logic and Logical Philosophy 23 (2):189-201.
    We model infinite regress structures -not arguments- by means of ungrounded recursively defined functions in order to show that no such structure can perform the task of providing determination to the items composing it, that is, that no determination process containing an infinite regress structure is successful.
    Download  
     
    Export citation  
     
    Bookmark  
  5.  33
    Tiny Proper Classes.Laureano Luna - 2016 - The Reasoner 10 (10):83-83.
    We propose certain clases that seem unable to form a completed totality though they are very small, finite, in fact. We suggest that the existence of such clases lends support to an interpretation of the existence of proper clases in terms of availability, not size.
    Download  
     
    Export citation  
     
    Bookmark