9 found
Sort by:
  1. 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)  
     
    My bibliography  
     
    Export citation  
  2. F. W. Kroon (1994). Review of the Book The Philosophy of Mathematics Education. [REVIEW] Science and Education 3:7-85.
     
    My bibliography  
     
    Export citation  
  3. 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)  
     
    My bibliography  
     
    Export citation  
  4. 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)  
     
    My bibliography  
     
    Export citation  
  5. 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.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  6. F. W. Kroon (1984). Introduction to the Philosophy of Mathematics. Philosophical Studies 30:393-396.
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  7. F. W. Kroon (1981). Aristotle and Logical Theory. Philosophical Studies 28:388-389.
  8. F. W. Kroon (1981). Gottlob Frege. Philosophical Studies 28:390-391.
    No categories
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  9. F. W. Kroon, Martin Harris, Östen Dahl & Per Linell (1980). Review. [REVIEW] Linguistics and Philosophy 3 (3):415-450.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation