Switch to: Citations

Add references

You must login to add references.
  1. (3 other versions)The Web as A Tool For Proving.Ioannis M. Vandoulakis Petros Stefaneas - 2012 - Metaphilosophy 43 (4):480-498.
    The Web may critically transform the way we understand the activity of proving. The Web as a collaborative medium allows the active participation of people with different backgrounds, interests, viewpoints, and styles. Mathematical formal proofs are inadequate for capturing Web‐based proofs. This article claims that Web provings can be studied as a particular type of Goguen's proof‐events. Web‐based proof‐events have a social component, communication medium, prover‐interpreter interaction, interpretation process, understanding and validation, historical component, and styles. To demonstrate its claim, the (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • The scope of hermeneutics in natural science.Patrick A. Heelan - 1998 - Studies in History and Philosophy of Science Part A 29 (2):273-298.
    Hermeneutics, or interpretation, is concerned with the generation, transmission, and acceptance of meaning within the lifeworld, and was the original method of the human sciences stemming, from F. Schleiermacher and W. Dilthey. The `hermeneutic philosophy' refers mostly to Heidegger. This paper addresses natural science from the perspective of Heidegger's analysis of meaning and interpretation. Its purpose is to incorporate into the philosophy of science those aspects of historicality, culture, and tradition that are absent from the traditional analysis of theory and (...)
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  • Mathematical Proof as a Form of Appeal to a Scientific Community.Valentin A. Bazhanov - 2012 - Russian Studies in Philosophy 50 (4):56-72.
    The author analyzes proof and argumentation as a form of appeal to a scientific community with deep ethical meaning. He presents proof primarily as an effort to persuade a scientific community rather than a search for true knowledge, as an instrument by which responsibility is taken for the correctness of the thesis being proved, which usually originates in a sudden flash of insight.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • The Problem of Historical Consciousness.Hans Fantel - 1975 - Graduate Faculty Philosophy Journal 5 (1):8-52.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • (3 other versions)The Web as A Tool For Proving.Petros Stefaneas & Ioannis M. Vandoulakis - 2012 - Metaphilosophy 43 (4):480-498.
    The Web may critically transform the way we understand the activity of proving. The Web as a collaborative medium allows the active participation of people with different backgrounds, interests, viewpoints, and styles. Mathematical formal proofs are inadequate for capturing Web-based proofs. This article claims that Web provings can be studied as a particular type of Goguen's proof-events. Web-based proof-events have a social component, communication medium, prover-interpreter interaction, interpretation process, understanding and validation, historical component, and styles. To demonstrate its claim, the (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • (3 other versions)The Web as a Tool for Proving.Petros Stefaneas & Ioannis M. Vandoulakis - 2014 - In Harry Halpin & Alexandre Monnin (eds.), Philosophical Engineering: Toward a Philosophy of the Web. Wiley-Blackwell. pp. 149-167.
    This is the first interdisciplinary exploration of the philosophical foundations of the Web, a new area of inquiry that has important implications across a range of domains. - Contains twelve essays that bridge the fields of philosophy, cognitive science, and phenomenology. - Tackles questions such as the impact of Google on intelligence and epistemology, the philosophical status of digital objects, ethics on the Web, semantic and ontological changes caused by the Web, and the potential of the Web to serve as (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Despite pyhsicists, proof is essential in mathematics.Saunders Mac Lane - 1997 - Synthese 111 (2):147-154.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Was Euclid's Approach to Arithmetic Axiomatic?Ioannis M. Vandoulakis - 1998 - Oriens - Occidens 2:141-181.
    The lack of specific arithmetical axioms in Book VII has puzzled historians of mathematics. It is hardly possible in our view to ascribe to the Greeks a conscious undertaking to axiomatize arithmetic. The view that associates the beginnings of the axiomatization of arithmetic with the works of Grassman [1861], Dedekind [1888] and Peano [1889] seems to be more plausible. In this connection a number of interesting historical problems have been raised, for instance, why arithmetic was axiomatized so late. This question (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations