11 found
Order:
  1.  53
    F. W. Kroon (1989). On an Argument Against Existentialism. Philosophical Studies 55 (2):215 - 221.
    EXISTENTIALISM IN PHILOSOPHICAL LOGIC IS THE DOCTRINE THAT STATES OF AFFAIRS, PROPOSITIONS AND PROPERTIES INVOLVING OBJECTS INCLUDE THESE OBJECTS AS DIRECT CONSTITUENTS IN AT LEAST THE SENSE THAT THE NONEXISTENCE IN A WORLD w OF SOCRATES, SAY, IMPLIES THE NONEXISTENCE IN w OF SOCRATES' BEING SNUB-NOSED. JOHN POLLOCK HAS RECENTLY ARGUED (IN "THE FOUNDATIONS OF PHILOSOPHICAL SEMANTICS") THAT SUCH AN EXISTENTIALISM HARBOURS AN INCONSISTENCY. THE PRESENT PAPER REBUTS POLLOCK'S ARGUMENT BY ARGUING THAT IT DEPENDS ON A CHARACTERIZATION OF EXISTENTIALISM THAT (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  2.  15
    F. W. Kroon & W. A. Burkhard (1990). On a Complexity-Based Way of Constructivizing the Recursive Functions. Studia Logica 49 (1):133 - 149.
    Let g E(m, n)=o mean that n is the Gödel-number of the shortest derivation from E of an equation of the form (m)=k. Hao Wang suggests that the condition for general recursiveness mn(g E(m, n)=o) can be proved constructively if one can find a speedfunction s s, with s(m) bounding the number of steps for getting a value of (m), such that mn s(m) s.t. g E(m, n)=o. This idea, he thinks, yields a constructivist notion of an effectively computable function, (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  3.  8
    F. W. Kroon (1984). Introduction to the Philosophy of Mathematics. Philosophical Studies 30:393-396.
  4.  7
    F. W. Kroon (1981). Gottlob Frege. Philosophical Studies 28:390-391.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  5.  3
    F. W. Kroon (1981). Aristotle and Logical Theory. Philosophical Studies 28:388-389.
  6.  16
    F. W. Kroon (1996). The Intrinsic Difficulty of Recursive Functions. Studia Logica 56 (3):427 - 454.
    This paper deals with a philosophical question that arises within the theory of computational complexity: how to understand the notion of INTRINSIC complexity or difficulty, as opposed to notions of difficulty that depend on the particular computational model used. The paper uses ideas from Blum's abstract approach to complexity theory to develop an extensional approach to this question. Among other things, it shows how such an approach gives detailed confirmation of the view that subrecursive hierarchies tend to rank functions in (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  7. F. W. Kroon (1988). Review: Kit Fine, First-Order Modal Theories I--Sets; Kit Fine, First-Order Modal Theories; Kit Fine, First-Order Modal Theories III--Facts. [REVIEW] Journal of Symbolic Logic 53 (4):1262-1269.
     
    Export citation  
     
    My bibliography  
  8.  5
    F. W. Kroon, Martin Harris, Östen Dahl & Per Linell (1980). Review. [REVIEW] Linguistics and Philosophy 3 (3):415-450.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  9. F. W. Kroon (1979). "Advanced Logic for Applications" by R. E. Grandy. [REVIEW] Linguistics and Philosophy 3:415.
     
    Export citation  
     
    My bibliography  
  10. F. W. Kroon (1987). POLLOCK, J.: "The Foundations of Philosophical Semantics". [REVIEW] Australasian Journal of Philosophy 65:124.
    No categories
     
    Export citation  
     
    My bibliography  
  11. F. W. Kroon (1994). Review of the Book The Philosophy of Mathematics Education. [REVIEW] Science and Education 3:7-85.
     
    Export citation  
     
    My bibliography