6 found
Order:
  1.  15
    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 (...)
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  2.  34
    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 (...)
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  3. Discovering Empirical Theories of Modular Software Systems. An Algebraic Approach.Nicola Angius & Petros Stefaneas - 2016 - In Vincent Müller (ed.), Computing and Philosophy: Selected Papers from IACAP 2014 (Synthese Library). Springer. pp. 99-115.
    This paper is concerned with the construction of theories of software systems yielding adequate predictions of their target systems’ computations. It is first argued that mathematical theories of programs are not able to provide predictions that are consistent with observed executions. Empirical theories of software systems are here introduced semantically, in terms of a hierarchy of computational models that are supplied by formal methods and testing techniques in computer science. Both deductive top-down and inductive bottom-up approaches in the discovery of (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  4.  19
    Proofs as Spatio-Temporal Processes.Petros Stefaneas & Ioannis M. Vandoulakis - 2014 - Philosophia Scientae 18:111-125.
    The concept of proof can be studied from many different perspectives. Many types of proofs have been developed throughout history such as apodictic, dialectical, formal, constructive and non-constructive proofs, proofs by visualisation, assumption-based proofs, computer-generated proofs, etc. In this paper, we develop Goguen’s general concept of proof-events and the methodology of algebraic semiotics, in order to define the concept of mathematical style, which characterizes the proofs produced by different cultures, schools or scholars. In our view, style can be defined as (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  5.  7
    Proofs as Spatio-Temporal Processes.Petros Stefaneas & Vandoulakis - 2014 - Philosophia Scientiae 18:111-125.
    Le concept de preuve peut être étudié selon différentes perspectives. Beaucoup de types de preuves ont été développées à travers l’histoire, comme les preuves apodictiques, dialectiques, formelles, constructives et non-constructives, les preuves par la visualisation, les preuves basées sur des hypothèses, les preuves générées par ordinateur, etc. Dans cet article nous développons le concept général des preuves-événements de Goguen et la méthodologie de la sémiotique algébrique, afin de définir le concept de style mathématique, qui caractérise les preuves produites par des (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  6. Syntax, Semantics and the Formalisation of Social Science Theories.Petros Stefaneas, Mark Addis & Maria Dimarogkona - 2019 - In Mark Addis, Fernand Gobet & Peter Sozou (eds.), Scientific Discovery in the Social Sciences. Springer Verlag.
    No categories
     
    Export citation  
     
    Bookmark