5 found
See also
Ioannis Vandoulakis
University of Thessaly
  1.  16
    On the Historical Transformations of the Square of Opposition as Semiotic Object.Ioannis M. Vandoulakis & Tatiana Yu Denisova - 2020 - Logica Universalis 14 (1):7-26.
    In this paper, we would show how the logical object “square of opposition”, viewed as semiotic object, has been historically transformed since its appearance in Aristotle’s texts until the works of Vasiliev. These transformations were accompanied each time with a new understanding and interpretation of Aristotle’s original text and, in the last case, with a transformation of its geometric configuration. The initial textual codification of the theory of opposition in Aristotle’s works is transformed into a diagrammatic one, based on a (...)
    Direct download (2 more)  
    Export citation  
    Bookmark   1 citation  
  2.  26
    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 (4 more)  
    Export citation  
    Bookmark   2 citations  
  3.  26
    On A.A. Markov’s Attitude Towards Brouwer’s Intuitionism.Ioannis M. Vandoulakis - 2015 - Philosophia Scientae 19:143-158.
    The paper examines Andrei A. Markov’s critical attitude towards L.E.J. Brouwer’s intuitionism, as is expressed in his endnotes to the Russian translation of Heyting’s Intuitionism, published in Moscow in 1965. It is argued that Markov’s algorithmic approach was shaped under the impact of the mathematical style and values prevailing in the Petersburg mathematical school, which is characterized by the proclaimed primacy of applications and the search for rigor and effective solutions.
    Direct download (3 more)  
    Export citation  
  4.  38
    The Readings of Apollonius' On the Cutting Off of a Ratio.Ioannis M. Vandoulakis - 2012 - Arabic Sciences and Philosophy 22 (1):137-149.
    ExtractDuring the second half of the twentieth century an attention of historians of mathematics shifted to mathematics of the Late Antiquity and its subsequent development by mathematicians of the Arabic world. Many critical editions of works of mathematicians of the Hellenistic era have made their appearance, giving rise to a new, more detailed historical picture. Among these are the critical editions of the works of Diophantus, Apollonius, Archimedes, Pappus, Diocles, and others.Send article to KindleTo send this article to your Kindle, (...)
    Direct download (9 more)  
    Export citation  
  5.  15
    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