Switch to: References

Add citations

You must login to add citations.
  1. A Writer Looking for His Writing Scene: Paul Valéry's Procedures in His Notebooks around 1894.Karin Krauthausen - 2013 - Science in Context 26 (2):305-343.
    ArgumentThe famousCahiersof Paul Valéry cannot be reduced to a single scientific discipline, a specific philosophical tradition, or a literary genre. For today's reader these notebooks constitute a formatsui generis, one very often characterized by an “observation of a second order”: in theCahiersValéry uses writing, drawing, and calculating not only for purposes of argumentation; he also pays attention to the significance of such writing, drawing, and calculating processes for the production of knowledge. It is particularly thepracticeof note-taking and sketching in Valéry's (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Mathematical Inference and Logical Inference.Yacin Hamami - 2018 - Review of Symbolic Logic 11 (4):665-704.
    The deviation of mathematical proof—proof in mathematical practice—from the ideal of formal proof—proof in formal logic—has led many philosophers of mathematics to reconsider the commonly accepted view according to which the notion of formal proof provides an accurate descriptive account of mathematical proof. This, in turn, has motivated a search for alternative accounts of mathematical proof purporting to be more faithful to the reality of mathematical practice. Yet, in order to develop and evaluate such alternative accounts, it appears as a (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Towards a re-evaluation of Julius könig's contribution to logic.Miriam Franchella - 2000 - Bulletin of Symbolic Logic 6 (1):45-66.
    Julius König is famous for his mistaken attempt to demonstrate that the continuum hypothesis was false. It is also known that the only positive result that could have survived from his proof is the paradox which bears his name. Less famous is his 1914 book Neue Grundlagen der Logik, Arithmetik und Mengenlehre. Still, it contains original contributions to logic, like the concept of metatheory and the solution of paradoxes based on the refusal of the law of bivalence. We are going (...)
    Download  
     
    Export citation  
     
    Bookmark