Zobrazeno 1 - 10
of 21
pro vyhledávání: '"Ioannis M. Vandoulakis"'
Autor:
Ioannis M. Vandoulakis
Publikováno v:
Philosophia Scientiæ, Vol 19, Iss 1, Pp 143-158 (2015)
The paper examines Andre 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 ap
Externí odkaz:
https://doaj.org/article/9a2111ecbef949ff8aefc420b1de7234
Publikováno v:
Philosophia Scientiæ, Vol 18, Iss 3, Pp 111-125 (2014)
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-ba
Externí odkaz:
https://doaj.org/article/30006eca3bdc4accb375ac77ba9fad2d
Publikováno v:
Logica Universalis. 14:7-26
In this paper, we would show how the logical object “square of opposition”, viewed as semiotic object (articulated in textual or/and diagrammatic code), has been historically transformed since its appearance in Aristotle’s texts until the works
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7bf51d30119e38c8ab45f1547dd9989b
https://doi.org/10.1007/s11787-020-00248-z
https://doi.org/10.1007/s11787-020-00248-z
Autor:
Ioannis M. Vandoulakis
Publikováno v:
Outstanding Contributions to Logic ISBN: 9783031068423
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::02d9aa0c72dd2f867ef500afd8bb9e1f
https://doi.org/10.1007/978-3-031-06843-0_10
https://doi.org/10.1007/978-3-031-06843-0_10
Autor:
Ioannis M. Vandoulakis
Publikováno v:
Outstanding Contributions to Logic ISBN: 9783031068423
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f5e9a07dd42dfb1ca6decb062afcc964
https://doi.org/10.1007/978-3-031-06843-0_12
https://doi.org/10.1007/978-3-031-06843-0_12
Autor:
Alex Citkin, Ioannis M. Vandoulakis
This book is dedicated to V.A. Yankov's seminal contributions to the theory of propositional logics. His papers, published in the 1960s, are highly cited even today. The Yankov characteristic formulas have become a very useful tool in propositional,
Autor:
Ioannis M. Vandoulakis
Publikováno v:
The European Proceedings of Social and Behavioural Sciences.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::28871e18b5832f755722e484053fd1b8
https://doi.org/10.15405/epsbs.2019.09.02.107
https://doi.org/10.15405/epsbs.2019.09.02.107
Autor:
Ioannis M. Vandoulakis
Publikováno v:
The European Proceedings of Social and Behavioural Sciences.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8de688261202849f2477abe7a542bfb1
https://doi.org/10.15405/epsbs.2018.09.02.102
https://doi.org/10.15405/epsbs.2018.09.02.102
Publikováno v:
Journal of Artificial General Intelligence. 6:130-149
This paper outlines a logical representation of certain aspects of the process of mathematical proving that are important from the point of view of Artificial Intelligence. Our starting-point is the concept of proof-event or proving, introduced by Go
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::41e4647d82fb389dec6715d7cce9c9d4
https://doi.org/10.1515/jagi-2015-0007
https://doi.org/10.1515/jagi-2015-0007
Autor:
Ioannis M. Vandoulakis
Publikováno v:
European Proceedings of Social and Behavioural Sciences.
The concept of style started to be systematically used in history and philosophy of science in the works of Thomas Kuhn (with his concept of ‘paradigm’) and Alistair Cameron Crombie in his Styles of Scientific Thinking in the European Tradition (
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::20d65a56e4747bdffe8c382d6787b50c
https://doi.org/10.15405/epsbs.2017.08.67
https://doi.org/10.15405/epsbs.2017.08.67