Switch to: References

Add citations

You must login to add citations.
  1. Worlds, Models and Descriptions.John F. Sowa - 2006 - Studia Logica 84 (2):323-360.
    Since the pioneering work by Kripke and Montague, the term possible world has appeared in most theories of formal semantics for modal logics, natural languages, and knowledge-based systems. Yet that term obscures many questions about the relationships between the real world, various models of the world, and descriptions of those models in either formal languages or natural languages. Each step in that progression is an abstraction from the overwhelming complexity of the world. At the end, nothing is left but a (...)
    Direct download (6 more)  
    Export citation  
  • The End of Philosophy?John Arthur Passmore - 1996 - Australasian Journal of Philosophy 74 (1):1 – 19.
    No categories
    Direct download (3 more)  
    Export citation  
    Bookmark   2 citations  
  • Tarski on “Essentially Richer” Metalanguages.David DeVidi & Graham Solomon - 1999 - Journal of Philosophical Logic 28 (1):1-28.
    It is well known that Tarski proved a result which can be stated roughly as: no sufficiently rich, consistent, classical language can contain its own truth definition. Tarski's way around this problem is to deal with two languages at a time, an object language for which we are defining truth and a metalanguage in which the definition occurs. An obvious question then is: under what conditions can we construct a definition of truth for a given object language. Tarski claims that (...)
    Direct download (8 more)  
    Export citation  
    Bookmark   4 citations