9 found
Sort by:
  1. Yehuda Rav, Tem: Of.
    Among the aims of the author in this wide-ranging article is to draw attention to the numerous formal sciences which so far have received little scrutiny, if at all, on the part of philosophers of mathematics and of science in general. By the formal sciences the author understands such mathematical disciplines as operations research, control theory, signal processing, cluster analysis, game theory, and so on. First, the author presents a long list of such formal sciences with a detailed discussion of (...)
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  2. Yehuda Rav (2009). Pierre Cassou-Noguès. Les Démons de Gödel: Logique Et Folie . [Gödel's Demons: Logic and Craziness]. Philosophia Mathematica 17 (1):116-120.
  3. Yehuda Rav (2008). The Axiomatic Method in Theory and in Practice. Logique Et Analyse 51 (202):125.
     
    My bibliography  
     
    Export citation  
  4. Yehuda Rav (2007). A Critique of a Formalist-Mechanist Version of the Justification of Arguments in Mathematicians' Proof Practices. Philosophia Mathematica 15 (3):291-320.
    In a recent article, Azzouni has argued in favor of a version of formalism according to which ordinary mathematical proofs indicate mechanically checkable derivations. This is taken to account for the quasi-universal agreement among mathematicians on the validity of their proofs. Here, the author subjects these claims to a critical examination, recalls the technical details about formalization and mechanical checking of proofs, and illustrates the main argument with aanalysis of examples. In the author's view, much of mathematical reasoning presents genuine (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  5. Yehuda Rav (2005). Reflections on the Proliferous Growth of Mathematical Concepts and Tools: Some Case Histories From Mathematicians' Workshops. In Carlo Cellucci & Donald Gillies (eds.), Mathematical Reasoning and Heuristics. College Publications. 49.
    No categories
     
    My bibliography  
     
    Export citation  
  6. Yehuda Rav (1993). On the Interplay Between Logic and Philosophy: A Historical Perspective. Theoria 8 (1):1-21.
    In this historical essay, we examine the reciprocal influences of philosophical doctrines and logic, their interrelations with language, and the place of mathematics in these developments.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  7. Yehuda Rav (1990). Georg Cantor, 1845-1918, par Walter Purkert et Hans-Joachim llgauds. Revue d'Histoire des Sciences 43 (2):325-331.
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  8. Yehuda Rav (1989). Lattice Theoretical Equivalences of the Ultrafilter Principle. Mathematical Logic Quarterly 35 (2):131-136.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  9. Yehuda Rav (1989). Philosophical Problems of Mathematics in the Light of Evolutionary Epistemology. Philosophica 43.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation