From Socratic Behaviourism to Digital Constructivism
نویسندگان
چکیده
منابع مشابه
From Constructivism to Computer Science
My eld is mathematical logic, with a special interest in constructivism, and I would not dare to call myself a computer scientist. But some computer scientists regard my work as a contribution to their eld; and in this text I shall try to explain how this is possible, by taking a look at the history of ideas. I want to describe how two interrelated ideas, connected with the con-structivistic tr...
متن کاملTowards Coalgebraic Behaviourism
In this paper we show that it is possible to model observable behaviour of coalgebras independently from their internal dynamics, but within the general framework of representing behaviour by a map into a “final” coalgebra. In the first part of the paper we characterise Set-endofunctors F with the property that bisimilarity of elements of F -coalgebras coincides with having the same observable ...
متن کاملFrom constructivism to computer science 1
Preamble My ÿeld is mathematical logic, with a special interest in constructivism, and I would not dare to call myself a computer scientist. But some computer scientists regard my work as a contribution to their ÿeld; and in this text I shall try to explain how this is possible, by taking a look at the history of ideas. I want to describe how two interrelated ideas, connected with the construct...
متن کاملBehaviourism Is Back !
It was not long ago that behaviourism was almost a contemptuous epithet, if not a contretemps career epitaph, and few theorists wished to be mistaken for behaviourists. However, there has been a recent shift of alliances with the emergence of a new breed of researchers that openly advocate the incorporation of behaviourism into the study of consciousness. This critical essay is therefore devote...
متن کاملSocratic Trees
We consider the method of Socratic proofs (SP-method). SP-method enables a formal explication of the idea of solving logical problems (i.e problems of entailment/ derivability/ theoremhood) by pure questioning, that is, by transforming the relevant initial question into consecutive questions without making any use of answers to the questions just transformed. Our aim is to give a method of tran...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Research in E-learning
سال: 2018
ISSN: 2543-6155
DOI: 10.31261/ijrel.2018.4.1.02