8 found
See also
Curtis Franks
University of Notre Dame
  1.  41
    The Autonomy of Mathematical Knowledge: Hilbert's Program Revisited.Curtis Franks - 2009 - Cambridge University Press.
    Most scholars think of David Hilbert's program as the most demanding and ideologically motivated attempt to provide a foundation for mathematics, and because they see technical obstacles in the way of realizing the program's goals, they regard it as a failure. Against this view, Curtis Franks argues that Hilbert's deepest and most central insight was that mathematical techniques and practices do not need grounding in any philosophical principles. He weaves together an original historical account, philosophical analysis, and his own development (...)
    Direct download  
    Export citation  
    Bookmark   13 citations  
  2.  49
    Logical Nihilism. [REVIEW]Curtis Franks - 2015 - In Andrés Villaveces, Roman Kossak, Juha Kontinen & Åsa Hirvonen (eds.), Logic Without Borders: Essays on Set Theory, Model Theory, Philosophical Logic and Philosophy of Mathematics. De Gruyter. pp. 147-166.
    No categories
    Direct download  
    Export citation  
    Bookmark   8 citations  
  3. The autonomy of mathematical knowledge: Hilbert's program revisited.Curtis Franks - 2011 - Bulletin of Symbolic Logic 17 (1):119-122.
    Export citation  
    Bookmark   10 citations  
  4.  70
    Cut as Consequence.Curtis Franks - 2010 - History and Philosophy of Logic 31 (4):349-379.
    The papers where Gerhard Gentzen introduced natural deduction and sequent calculi suggest that his conception of logic differs substantially from the now dominant views introduced by Hilbert, Gödel, Tarski, and others. Specifically, (1) the definitive features of natural deduction calculi allowed Gentzen to assert that his classical system nk is complete based purely on the sort of evidence that Hilbert called ?experimental?, and (2) the structure of the sequent calculi li and lk allowed Gentzen to conceptualize completeness as a question (...)
    Direct download (4 more)  
    Export citation  
    Bookmark   6 citations  
  5.  41
    The Realm of the Sacred, Wherein We May Not Draw an Inference from Something which Itself Has Been Inferred: A Reading of Talmud Bavli Zevachim Folio 50.Curtis Franks - 2012 - History and Philosophy of Logic 33 (1):69 - 86.
    The exegesis of sacred rites in the Talmud is subject to a restriction on the iteration and composition of inference rules. In order to determine the scope and limits of that restriction, the sages of the Talmud deploy those very same inference rules. We present the remarkable features of this early use of self-reference to navigate logical constraints and uncover the hidden complexity behind the sages? arguments. Appendix 11 contains a translation of the relevant sugya. 1Hebrew and Aramaic transliteration approximates (...)
    Direct download (3 more)  
    Export citation  
    Bookmark   3 citations  
  6.  42
    The Context of Inference.Curtis Franks - 2018 - History and Philosophy of Logic 39 (4):365-395.
    There is an ambiguity in the concept of deductive validity that went unnoticed until the middle of the twentieth century. Sometimes an inference rule is called valid because its conclusion is a theorem whenever its premises are. But often something different is meant: The rule's conclusion follows from its premises even in the presence of other assumptions. In many logical environments, these two definitions pick out the same rules. But other environments are context-sensitive, and in these environments the second notion (...)
    Direct download (6 more)  
    Export citation  
    Bookmark   1 citation  
  7.  59
    The Deduction Theorem (Before and After Herbrand).Curtis Franks - 2021 - History and Philosophy of Logic 42 (2):129-159.
    Attempts to articulate the real meaning or ultimate significance of a famous theorem comprise a major vein of philosophical writing about mathematics. The subfield of mathematical logic has supplie...
    Direct download (2 more)  
    Export citation  
  8.  33
    The Gödelian Inferences.Curtis Franks - 2009 - History and Philosophy of Logic 30 (3):241-256.
    I attribute an 'intensional reading' of the second incompleteness theorem to its author, Kurt G del. My argument builds partially on an analysis of intensional and extensional conceptions of meta-mathematics and partially on the context in which G del drew two familiar inferences from his theorem. Those inferences, and in particular the way that they appear in G del's writing, are so dubious on the extensional conception that one must doubt that G del could have understood his theorem extensionally. However, (...)
    Direct download (3 more)  
    Export citation