17 found
Sort by:
Disambiguations:
Keith J. Devlin [10]Keith Devlin [7]
  1. Keith Devlin (2008). A Mathematician Reflects on the Useful and Reliable Illusion of Reality in Mathematics. Erkenntnis 68 (3):359 - 379.
    Recent years have seen a growing acknowledgement within the mathematical community that mathematics is cognitively/socially constructed. Yet to anyone doing mathematics, it seems totally objective. The sensation in pursuing mathematical research is of discovering prior (eternal) truths about an external (abstract) world. Although the community can and does decide which topics to pursue and which axioms to adopt, neither an individual mathematician nor the entire community can choose whether a particular mathematical statement is true or false, based on the given (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  2. Keith Devlin (2004). Jon Barwise's Papers on Natural Language Semantics. Bulletin of Symbolic Logic 10 (1):54-85.
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  3. Keith Devlin (2004). Research in the Area of Natural Language Semantics. This Article Surveys His Research Publications in That Area. Most, but Not All, of Those Publications Were in the Area of Situation Se-Mantics, a New Approach to Natural Language Semantics Barwise Developed Jointly with His Colleague John Perry in the First Half of the 1980s. That Work. [REVIEW] Bulletin of Symbolic Logic 10 (1).
    Direct download  
     
    My bibliography  
     
    Export citation  
  4. Keith Devlin (1998). Book and Software Reviews-Information Flow: The Logic of Distributed Systems. Complexity 4 (2):30-31.
    No categories
     
    My bibliography  
     
    Export citation  
  5. Keith Devlin (1998). Information Flow: The Logic of Distributed Systems by Jon Barwise and Jerry Seligman. Complexity 4 (2):30-32.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  6. Keith Devlin (1997). Goodbye, Descartes: The End of Logic and the Search for a New Cosmology of the Mind. Wiley.
    No categories
     
    My bibliography  
     
    Export citation  
  7. Keith J. Devlin (1992). Infons as Mathematical Objects. Minds and Machines 2 (2):185-201.
    I argue that the role played by infons in the kind of mathematical theory of information being developed by several workers affiliated to CSLI is analogous to that of the various number systems in mathematics. In particular, I present a mathematical construction of infons in terms of representations and informational equivalences between them. The main theme of the paper arose from an electronic mail exchange with Pat Hayes of Xeroxparc. The exposition derives from a talk I gave at theTheories of (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  8. Keith Devlin (1991). Logic and Information. Cambridge University Press.
    Classical logic, beginning with the work of Aristotle, has developed into a powerful and rigorous mathematical theory with many applications in mathematics and ...
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  9. Keith J. Devlin (1982). The Combinatorial Principle $\Diamond^\Sharp$. Journal of Symbolic Logic 47 (4):888 - 899.
    We consider various strengthenings of the combinatorial principle ⋄ + which are provable from V = L, and give applications in set theory.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  10. Keith J. Devlin (1981). Review: Thomas Jech, Set Theory. [REVIEW] Journal of Symbolic Logic 46 (4):876-877.
    Direct download  
     
    My bibliography  
     
    Export citation  
  11. Keith J. Devlin (1980). Concerning the Consistency of the Souslin Hypothesis with the Continuum Hypothesis. Annals of Mathematical Logic 19 (1-2):115-125.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  12. Keith J. Devlin (1979). Variations on ⋄. Journal of Symbolic Logic 44 (1):51 - 58.
    Various equivalents and weakenings of the combinatorial principle $\diamond$ are considered. The paper contains both absolute results and consistency results. Also included is a new characterisation of the notion of a stationary subset of ω 1.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  13. Keith J. Devlin (1979). Variations on \Diamond. Journal of Symbolic Logic 44 (1):51-58.
    Various equivalents and weakenings of the combinatorial principle $\diamond$ are considered. The paper contains both absolute results and consistency results. Also included is a new characterisation of the notion of a stationary subset of $\omega_1$.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  14. Keith J. Devlin (1977). Hierarchies of Constructible Sets. Annals of Mathematical Logic 11 (2):195-202.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  15. Keith J. Devlin (1974). Some Remarks on Changing Cofinalities. Journal of Symbolic Logic 39 (1):27-30.
    In [2], Prikry showed that if κ is a weakly inaccessible cardinal which carries a Rowbottom filter, then there is a Boolean extension of V (the universe), having the same cardinals as V, in which cf(κ) = ω. In this note, we obtain necessary and sufficient conditions which a filter D on κ must possess in order that this may be done.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  16. Keith J. Devlin (1973). Measurable Cardinals and a Combinatorial Principle of Jensen. Journal of Symbolic Logic 38 (4):551-560.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  17. Keith J. Devlin (1973). Some Weak Versions of Large Cardinal Axioms. Annals of Mathematical Logic 5 (4):291-325.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation