24 found
Order:
Disambiguations
Carl J. Posy [24]Carl Jeffrey Posy [1]
  1.  81
    Kant’s Mathematical Realism.Carl J. Posy - 1984 - The Monist 67 (1):115-134.
    Though my title speaks of Kant’s mathematical realism, I want in this essay to explore Kant’s relation to a famous mathematical anti-realist. Specifically, I want to discuss Kant’s influence on L. E. J. Brouwer, the 20th-century Dutch mathematician who built a contemporary philosophy of mathematics on constructivist themes which were quite explicitly Kantian. Brouwer’s theory is perhaps most notable for its belief that constructivism requires us to abandon the traditional logic of mathematical reasoning in favor of different canon of reasoning, (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  2.  82
    Brouwer's Constructivism.Carl J. Posy - 1974 - Synthese 27 (1-2):125 - 159.
  3.  30
    Varieties of Indeterminacy in the Theory of General Choice Sequences.Carl J. Posy - 1976 - Journal of Philosophical Logic 5 (1):91 - 132.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  4. A Free IPC is a Natural Logic: Strong Completeness for Some Intuitionistic Free Logics.Carl J. Posy - 1982 - Topoi 1 (1-2):30-43.
    IPC, the intuitionistic predicate calculus, has the property(i) Vc(A c /x) xA.Furthermore, for certain important , IPC has the converse property (ii) xA Vc(A c /x). (i) may be given up in various ways, corresponding to different philosophic intuitions and yielding different systems of intuitionistic free logic. The present paper proves the strong completeness of several of these with respect to Kripke style semantics. It also shows that giving up (i) need not force us to abandon the analogue of (ii).
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  5.  78
    The Language of Appearances and Things in Themselves.Carl J. Posy - 1981 - Synthese 47 (2):313 - 352.
  6.  54
    Where Have All the Objects Gone?Carl J. Posy - 1987 - Southern Journal of Philosophy 25 (S1):17-36.
  7.  32
    Between Leibniz and Mill: Kant's Logic and the Rhetoric of Psychologism.Carl J. Posy - 1997 - Philosophy and Rhetoric 30 (3):243 - 270.
  8.  21
    On Brouwer's Definition of Unextendable Order.Carl J. Posy - 1980 - History and Philosophy of Logic 1 (1-2):139-149.
    It is argued that the tensed theory of the creative subject provides a natural formulation of the logic underlying Brouwer's notion of unextendable order and explains the link between that notion and virtual order. The tensed theory of the creative subject is also shown to be a useful tool for interpreting recent evidence about the stages of Brouwer's thinking concerning these two notions of order.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  9.  9
    Where Have All the Objects Gone?Carl J. Posy - 1987 - Southern Journal of Philosophy 25 (S1):17-36.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  10.  13
    Epistemology, Ontology and the Continuum.Carl J. Posy - 2000 - In Emily Grosholz & Herbert Breger (eds.), The Growth of Mathematical Knowledge. Kluwer Academic Publishers. pp. 199--219.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  11.  20
    The Theory of Empirical Sequences.Carl J. Posy - 1977 - Journal of Philosophical Logic 6 (1):47 - 81.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  12. Transcendental Idealism and Causality: An Interpretation of Kant's Argument in the Second Analogy.Carl J. Posy - 1984 - In William A. Harper & Ralf Meerbote (eds.), Kant on Causality, Freedom, and Objectivity. University of Minnesota Press. pp. 20-41.
     
    Export citation  
     
    Bookmark   1 citation  
  13.  14
    Essay Review.Carl J. Posy - 1983 - History and Philosophy of Logic 4 (1-2):83-90.
    MICHAEL DUMMETT, Elements of intuitionism. With the assistance of Robert Minio. Oxford: Oxford University Press, 1977. xii + 466 pp. No price stated.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14.  17
    Desmond Paul Henry. The Truncation of Truth-Functional Calculation. Notre Dame Journal of Formal Logic, Vol. 2 , Pp. 193–205. [REVIEW]Gerald J. Massey & Carl J. Posy - 1974 - Journal of Symbolic Logic 39 (1):174.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  15.  8
    Review: Desmond Paul Henry, The Truncation of Truth-Functional Calculation. [REVIEW]Gerald J. Massey & Carl J. Posy - 1974 - Journal of Symbolic Logic 39 (1):174-174.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  16.  39
    Authenticity or Autonomy? Leibniz and Kant on Practical Rationality.Carl J. Posy - 2008 - In Marcelo Dascal (ed.), Leibniz: What Kind of Rationalist? Springer. pp. 293--313.
    Direct download  
     
    Export citation  
     
    Bookmark  
  17.  47
    Editors' Introduction.Carl J. Posy & Michael T. Ferejohn - 1993 - Synthese 96 (3):333-334.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  18.  51
    Introduction.Carl J. Posy - 1984 - Topoi 3 (2):97-98.
  19. Kant and Conceptual Semantics.Carl J. Posy - 1991 - Topoi 10 (1):67-78.
  20. Kant's Philosophy of Mathematics Modern Essays.Carl J. Posy - 1992
  21. Mathematical Intuitionism.Carl J. Posy - 2020 - Cambridge University Press.
    L. E. J. Brouwer, the founder of mathematical intuitionism, believed that mathematics and its objects must be humanly graspable. He initiated a program rebuilding modern mathematics according to that principle. This book introduces the reader to the mathematical core of intuitionism – from elementary number theory through to Brouwer's uniform continuity theorem – and to the two central topics of 'formalized intuitionism': formal intuitionistic logic, and formal systems for intuitionistic analysis. Building on that, the book proposes a systematic, philosophical foundation (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  22. Review: Dirk van Dalen, Intuitionistic Logic; Walter Felscher, Dialogues as a Foundation for Intuitionistic Logic. [REVIEW]Carl J. Posy - 1992 - Journal of Symbolic Logic 57 (2):754-756.
  23. Strong Completeness for Some Intuitionistic Free Logics.Carl J. Posy - 1991 - In Karel Lambert (ed.), Philosophical Applications of Free Logic. Oxford University Press. pp. 49.
     
    Export citation  
     
    Bookmark  
  24.  32
    Van Dalen Dirk. Intuitionistic Logic. Handbook of Philosophical Logic, Volume III, Alternatives to Classical Logic, Edited by Gabbay D. And Guenthner F., Synthese Library, Vol. 166, D. Reidel Publishing Company, Dordrecht Etc. 1986, Pp. 225–339. Felscher Walter. Dialogues as a Foundation for Intuitionistic Logic. Handbook of Philosophical Logic, Volume III, Alternatives to Classical Logic, Edited by Gabbay D. And Guenthner F., Synthese Library, Vol. 166, D. Reidel Publishing Company, Dordrecht Etc. 1986 .. [REVIEW]Carl J. Posy - 1992 - Journal of Symbolic Logic 57 (2):754-756.