30 found
Sort by:
  1. Andrzej Mostowski, W. V. Quine, Arthur Francis Smullyan, Virgil Hinshaw, Alonzo Church, Charles A. Baylis, Maurice L'Abbe, Max Black, Paul Bernays & David Nelson (2013). The Journal of Symbolic Logic Publishes Original Scholarly Work in Symbolic Logic. Founded in 1936, It has Become the Leading Research Journal in the Field. The Journal Aims to Represent Logic Broadly, Including its Connections with Mathematics and Philosophy as Well as Newer Aspects Related to Computer Science and Linguistics. [REVIEW] Journal of Symbolic Logic 63 (64).
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  2. David E. Nelson (1999). Inductive and Explanatory Irrelevance. Philosophical Studies 96 (2):147-161.
    No categories
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  3. David E. Nelson (1996). Confirmation, Explanation, and Logical Strength. British Journal for the Philosophy of Science 47 (3):399-413.
    Van Fraassen argues that explanatory power cannot be a conformational virtue. In this paper I will show that informational features of scientific theories can be positively relevant to their levels of conformation. Thus, in the cases where the explanatory power of a theory is tied to an informational feature of the theory, it can still be the case that the explanatory power of the theory is positively relevant to its level of confirmation.
    Direct download (9 more)  
     
    My bibliography  
     
    Export citation  
  4. Henry E. Kyburg & David A. Nelson (1994). Discussion Reviews. Minds and Machines 4 (1):81-101.
  5. David A. Nelson (1994). Special Issue on System Verification. Minds and Machines 4:93-101.
  6. David A. Nelson (1992). Deductive Program Verification (a Practitioner's Commentary). Minds and Machines 2 (3):283-307.
    A proof of ‘correctness’ for a mathematical algorithm cannot be relevant to executions of a program based on that algorithm because both the algorithm and the proof are based on assumptions that do not hold for computations carried out by real-world computers. Thus, proving the ‘correctness’ of an algorithm cannot establish the trustworthiness of programs based on that algorithm. Despite the (deceptive) sameness of the notations used to represent them, the transformation of an algorithm into an executable program is a (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  7. Walker O. Smith & David M. Nelson (1986). Importance of Ice Edge Phytoplankton Production in the Southern Ocean. Bioscience 36 (4):251-257.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  8. Ahmad Almukdad & David Nelson (1984). Constructible Falsity and Inexact Predicates. Journal of Symbolic Logic 49 (1):231-233.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  9. David M. Nelson (1976). The Spacing of Papers in Final Honours Examinations—a Survey of Examinees. Educational Studies 2 (3):227-235.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  10. David Nelson (1973). A Complete Negationless System. Studia Logica 32 (1):41 - 49.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  11. David Nelson (1971). Review: Antonio Monteiro, Construction des Algebres de Nelson Finies. [REVIEW] Journal of Symbolic Logic 36 (1):163-163.
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  12. David Nelson (1971). Review: Diana Brignole, Equational Characterization of Nelson Algebra. [REVIEW] Journal of Symbolic Logic 36 (1):163-163.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  13. David Nelson (1970). Review: A. Bialynicki-Birula, H. Rasiowa, On Constructible Falsity in the Constructive Logic with Strong Negation. [REVIEW] Journal of Symbolic Logic 35 (1):138-138.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  14. David Nelson (1969). Review: Diana Brignole, Antonio Monteiro, Caracterisation des Algebres de Nelson par des Egalites. [REVIEW] Journal of Symbolic Logic 34 (1):119-119.
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  15. David Nelson (1969). Review: H. Rasiowa, $Mathcal{N}$-Lattices and Constructive Logic with Strong Negation. [REVIEW] Journal of Symbolic Logic 34 (1):118-118.
    Direct download  
     
    My bibliography  
     
    Export citation  
  16. David Nelson (1969). Review: H. Rasiowa, Algebraische Charakterisierung der Intuitionistischen Logik mit Starker Negation. [REVIEW] Journal of Symbolic Logic 34 (1):118-119.
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  17. David Nelson (1966). Non-Null Implication. Journal of Symbolic Logic 31 (4):562-572.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  18. David Nelson (1960). Twenty-Fifth Annual Meeting of the Association for Symbolic Logic. Journal of Symbolic Logic 25 (1):93-96.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  19. David Nelson (1956). Review: P. C. Gilmore, Griss' Criticism of the Intuitionistic Logic and the Theory of Order. [REVIEW] Journal of Symbolic Logic 21 (1):93-94.
    Direct download  
     
    My bibliography  
     
    Export citation  
  20. David Nelson (1956). Review: Paul Carl Gilmore, The Effect of Griss' Criticism of the Intuitionistic Logic on Deductive Theories Formalized Within the Intuitionistic Logic. [REVIEW] Journal of Symbolic Logic 21 (1):91-92.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  21. David Nelson (1956). Review: P. G. J. Vredenduin, The Logic of Negationless Mathematics. [REVIEW] Journal of Symbolic Logic 21 (1):92-93.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  22. David Nelson (1954). Review: Gene F. Rose, Propositional Calculus and Realizability. [REVIEW] Journal of Symbolic Logic 19 (2):126-126.
    Direct download  
     
    My bibliography  
     
    Export citation  
  23. David Nelson (1952). Review: Andrzej Mostowski, A Classification of Logical Systems. [REVIEW] Journal of Symbolic Logic 17 (4):274-275.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  24. David Nelson (1949). Constructible Falsity. Journal of Symbolic Logic 14 (1):16-26.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  25. David Nelson (1949). Review: A. Mostowski, Sur L'Interpretation Geometrique et Topologique des Notions Logiques. [REVIEW] Journal of Symbolic Logic 14 (3):184-184.
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  26. David Nelson (1949). Review: J. J. De Iongh, Restricted Forms of Intuitionistic Mathematics. [REVIEW] Journal of Symbolic Logic 14 (3):183-184.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  27. David Nelson (1948). Review: Andrzej Mostowski, On Definable Sets of Positive Integers. [REVIEW] Journal of Symbolic Logic 13 (2):112-113.
    Direct download  
     
    My bibliography  
     
    Export citation  
  28. David Nelson (1948). Review: R. L. Goodstein, Transfinite Ordinals in Recursive Number Theory. [REVIEW] Journal of Symbolic Logic 13 (3):171-171.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  29. David Nelson (1948). Review: Thoralf Skolem, The Development of Recursive Arithmetic. [REVIEW] Journal of Symbolic Logic 13 (1):54-54.
    Direct download  
     
    My bibliography  
     
    Export citation  
  30. David Nelson (1947). Review: A. Heyting, On Weakened Quantification. [REVIEW] Journal of Symbolic Logic 12 (2):59-59.
    Direct download  
     
    My bibliography  
     
    Export citation