48 found
Order:
  1. Constructible Falsity and Inexact Predicates.Ahmad Almukdad & David Nelson - 1984 - Journal of Symbolic Logic 49 (1):231-233.
  2.  35
    Constructible Falsity.David Nelson - 1949 - Journal of Symbolic Logic 14 (1):16-26.
  3. Confirmation, Explanation, and Logical Strength.David E. Nelson - 1996 - 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)  
     
    Export citation  
     
    My bibliography  
  4. Review: A. Mostowski, Sur L'Interpretation Geometrique et Topologique des Notions Logiques. [REVIEW]David Nelson - 1949 - Journal of Symbolic Logic 14 (3):184-184.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography   8 citations  
  5.  7
    Non-Null Implication.David Nelson - 1966 - Journal of Symbolic Logic 31 (4):562-572.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  6.  13
    Deductive Program Verification (a Practitioner's Commentary).David A. Nelson - 1992 - 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)  
     
    Export citation  
     
    My bibliography   1 citation  
  7.  15
    Discussion Reviews.Henry E. Kyburg & David A. Nelson - 1994 - Minds and Machines 4 (1):81-101.
  8.  1
    Recursive Functions and Intuitionistic Number Theory.David Nelson - 1947 - Journal of Symbolic Logic 12 (3):93-94.
  9.  16
    A Complete Negationless System.David Nelson - 1973 - Studia Logica 32 (1):41 - 49.
  10.  7
    Inductive and Explanatory Irrelevance.David E. Nelson - 1999 - Philosophical Studies 96 (2):147-161.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  11.  4
    The Spacing of Papers in Final Honours Examinations—a Survey of Examinees.David M. Nelson - 1976 - Educational Studies 2 (3):227-235.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  12.  4
    Review: Paul Carl Gilmore, The Effect of Griss' Criticism of the Intuitionistic Logic on Deductive Theories Formalized Within the Intuitionistic Logic. [REVIEW]David Nelson - 1956 - Journal of Symbolic Logic 21 (1):91-92.
  13.  8
    Twenty-Fifth Annual Meeting of the Association for Symbolic Logic.David Nelson - 1960 - Journal of Symbolic Logic 25 (1):93-96.
  14.  4
    Review: A. Bialynicki-Birula, H. Rasiowa, On Constructible Falsity in the Constructive Logic with Strong Negation. [REVIEW]David Nelson - 1970 - Journal of Symbolic Logic 35 (1):138-138.
  15.  1
    Skolem Thoralf. The Development of Recursive Arithmetic. Dixième Congrès des Mathématiciens Scandinaves, Copenhagen 1946, 16 Pp. [REVIEW]David Nelson - 1948 - Journal of Symbolic Logic 13 (1):54.
  16.  3
    Review: P. G. J. Vredenduin, The Logic of Negationless Mathematics. [REVIEW]David Nelson - 1956 - Journal of Symbolic Logic 21 (1):92-93.
  17.  3
    Review: J. J. De Iongh, Restricted Forms of Intuitionistic Mathematics. [REVIEW]David Nelson - 1949 - Journal of Symbolic Logic 14 (3):183-184.
  18.  3
    Review: P. C. Gilmore, Griss' Criticism of the Intuitionistic Logic and the Theory of Order. [REVIEW]David Nelson - 1956 - Journal of Symbolic Logic 21 (1):93-94.
  19.  2
    Review: Andrzej Mostowski, A Classification of Logical Systems. [REVIEW]David Nelson - 1952 - Journal of Symbolic Logic 17 (4):274-275.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  20.  2
    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]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 - Journal of Symbolic Logic 63 (64).
  21.  2
    Review: Andrzej Mostowski, On Definable Sets of Positive Integers. [REVIEW]David Nelson - 1948 - Journal of Symbolic Logic 13 (2):112-113.
  22.  2
    Review: H. Rasiowa, $Mathcal{N}$-Lattices and Constructive Logic with Strong Negation. [REVIEW]David Nelson - 1969 - Journal of Symbolic Logic 34 (1):118-118.
  23.  1
    Review: Diana Brignole, Antonio Monteiro, Caracterisation des Algebres de Nelson par des Egalites. [REVIEW]David Nelson - 1969 - Journal of Symbolic Logic 34 (1):119-119.
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  24.  1
    Review: H. Rasiowa, Algebraische Charakterisierung der Intuitionistischen Logik mit Starker Negation. [REVIEW]David Nelson - 1969 - Journal of Symbolic Logic 34 (1):118-119.
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  25.  1
    Review: R. L. Goodstein, Transfinite Ordinals in Recursive Number Theory. [REVIEW]David Nelson - 1948 - Journal of Symbolic Logic 13 (3):171-171.
  26. Białynicki-Birula A. And Rasiowa H.. On Constructible Falsity in the Constructive Logic with Strong Negation. Colloquium Mathematicum, Vol. 6 , Pp. 287–310. [REVIEW]David Nelson - 1970 - Journal of Symbolic Logic 35 (1):138.
  27. Brignole Diana and Monteiro Antonio. Caractérisation des Algèbres de Nelson Par des Égalités. Notas de Lógica Matematica, No. 20, Instituto de Matematica, Universidad Nacional Del Sur, Bahia Blanca 1964, 14 Pp. [REVIEW]David Nelson - 1969 - Journal of Symbolic Logic 34 (1):119.
    Translate
      Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  28. Brignole Diana. Equational Characterization of Nelson Algebra. Notre Dame Journal of Formal Logic, Vol. 10 No. 3 , Pp. 285–297. [REVIEW]David Nelson - 1971 - Journal of Symbolic Logic 36 (1):163.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  29. De Iongh J. J.. Restricted Forms of Intuitionistic Mathematics. Actes du Xme Congrès International de Philosophie —Proceedings of the Tenth International Congress of Philosophy , North-Holland Publishing Company, Amsterdam 1949, Pp. 744–748. [REVIEW]David Nelson - 1949 - Journal of Symbolic Logic 14 (3):183-184.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  30. Gilmore Paul Carl. The Effect of Griss' Criticism of the Intuitionistic Logic on Deductive Theories Formalized Within the Intuitionistic Logic. English with Dutch Samenvatting. Dissertation Amsterdam 1953, Viii + 25 Pp.Gilmore P. C.. The Effect of Griss' Criticism of the Intuitionistic Logic on Deductive Theories Formalized Within the Intuitionistic Logic. The Same Paper with Omission of the Preface and the Dutch Summary. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, Series A, Vol. 56 , Pp. 162–186; Also Indagationes Mathematicae, Vol. 15 , Pp. 162–186. [REVIEW]David Nelson - 1956 - Journal of Symbolic Logic 21 (1):91-92.
  31. Gilmore P. C.. Griss' Criticism of the Intuitionistic Logic and the Theory of Order. Actes du XIème Congrès International de Philosophie, Volume V, Logique, Analyse Philosophique, Philosophie des Mathématiques, North-Holland Publishing Company, Amsterdam 1953, and Éditions E. Nauwelaerts, Louvain 1953, Pp. 98–104. [REVIEW]David Nelson - 1956 - Journal of Symbolic Logic 21 (1):93-94.
  32. Goodstein R. L.. Transfinite Ordinals in Recursive Number Theory.David Nelson - 1948 - Journal of Symbolic Logic 13 (3):171.
  33. Heyting A.. On Weakened Quantification.David Nelson - 1947 - Journal of Symbolic Logic 12 (2):59.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  34. Mostowski Andrzej. A Classification of Logical Systems. Studia Philosophica , Vol. 4 , Pp. 237–274.David Nelson - 1952 - Journal of Symbolic Logic 17 (4):274-275.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  35. Monteiro Antonio. Construction des Algèbres de Nelson Finies. Notas de Lógica Matemática No. 15, Instituto de Matemática, Universidad Nacional Del Sur, Bahía Blanca 1964, 11 Pp. , Pp. 359–362.). [REVIEW]David Nelson - 1971 - Journal of Symbolic Logic 36 (1):163.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  36. Mostowski A.. Sur l'Interprétation Géométrique Et Topologique des Notions Logiques. Actes du Xme Congrès International de Philosophie —Proceedings of the Tenth International Congress of Philosophy , North-Holland Publishing Company, Amsterdam 1949, Pp. 767–769. [REVIEW]David Nelson - 1949 - Journal of Symbolic Logic 14 (3):184.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  37. On the Being and Attributes of the Godhead, as Evidenced in Creation.David Nelson - 1872
    No categories
     
    Export citation  
     
    My bibliography  
  38. Review: A. Heyting, On Weakened Quantification. [REVIEW]David Nelson - 1947 - Journal of Symbolic Logic 12 (2):59-59.
  39. Review: Antonio Monteiro, Construction des Algebres de Nelson Finies. [REVIEW]David Nelson - 1971 - Journal of Symbolic Logic 36 (1):163-163.
  40. Reviews. Andrzej Mostowski. On Definable Sets of Positive Integers. Fundamenla Mathematicae, Vol. 34 , Pp. 81–112.David Nelson - 1948 - Journal of Symbolic Logic 13 (2):112-113.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  41. Review: Diana Brignole, Equational Characterization of Nelson Algebra. [REVIEW]David Nelson - 1971 - Journal of Symbolic Logic 36 (1):163-163.
  42. Review: Gene F. Rose, Propositional Calculus and Realizability. [REVIEW]David Nelson - 1954 - Journal of Symbolic Logic 19 (2):126-126.
    Direct download  
     
    Export citation  
     
    My bibliography  
  43. Rose Gene F.. Propositional Calculus and Realizability. Transactions of the American Mathematical Society, Vol. 75 , Pp. 1–19. [REVIEW]David Nelson - 1954 - Journal of Symbolic Logic 19 (2):126.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  44. Rasiowa H.. Algebraische Charakterisierung der Intuitionistischen Logik MIT Starker Negation. Constructivity in Mathematics, Proceedings of the Colloquium Held at Amsterdam, 1957, Edited by Heyting A., Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam 1959, Pp. 234–240. [REVIEW]David Nelson - 1969 - Journal of Symbolic Logic 34 (1):118-119.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  45. Rasiowa H.. -Lattices and Constructive Logic with Strong Negation. Fundamenta Mathematicae, Vol. 46 , Pp. 61–80.David Nelson - 1969 - Journal of Symbolic Logic 34 (1):118.
  46. Review: Thoralf Skolem, The Development of Recursive Arithmetic. [REVIEW]David Nelson - 1948 - Journal of Symbolic Logic 13 (1):54-54.
  47. Special Issue on System Verification.David A. Nelson - 1994 - Minds and Machines 4:93-101.
     
    Export citation  
     
    My bibliography  
  48. Vredenduin P. G. J.. The Logic of Negationless Mathematics. Compositio Mathematica, Vol. 11 No. 3 , Pp. 204–270.David Nelson - 1956 - Journal of Symbolic Logic 21 (1):92-93.