23 found
Order:
Disambiguations
Carl J. Posy [23]Carl Jeffrey Posy [1]
  1.  75
    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   8 citations  
  2. Kant's Philosophy of Mathematics Modern Essays.Carl J. Posy - 1992
  3. 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  
  4.  68
    Brouwer's Constructivism.Carl J. Posy - 1974 - Synthese 27 (1-2):125 - 159.
  5.  15
    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  
  6. Kant and Conceptual Semantics.Carl J. Posy - 1991 - Topoi 10 (1):67-78.
  7.  28
    Between Leibniz and Mill: Kant's Logic and the Rhetoric of Psychologism.Carl J. Posy - 1997 - Philosophy and Rhetoric 30 (3):243 - 270.
  8.  99
    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   2 citations  
  9.  49
    Where Have All the Objects Gone?Carl J. Posy - 1986 - Southern Journal of Philosophy 25 (S1):17-36.
  10.  29
    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   4 citations  
  11.  71
    The Language of Appearances and Things in Themselves.Carl J. Posy - 1981 - Synthese 47 (2):313 - 352.
  12.  5
    Where Have All the Objects Gone?Carl J. Posy - 1986 - Southern Journal of Philosophy 25 (Supplement):17-36.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  13.  26
    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.
  14.  20
    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   2 citations  
  15.  11
    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   1 citation  
  16.  37
    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.
  17.  50
    Introduction.Carl J. Posy - 1984 - Topoi 3 (2):97-98.
  18.  16
    The Theory of Empirical Sequences.Carl J. Posy - 1977 - Journal of Philosophical Logic 6 (1):47 - 81.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  19.  36
    Editors' Introduction.Carl J. Posy & Michael T. Ferejohn - 1993 - Synthese 96 (3):333-334.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  20.  12
    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  
  21.  6
    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  
  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