Dergiler / Felsefe Dünyası / 2011 / Cilt: 0 - Sayı: 54
Mantığın zaman tüneli
- Dergi
- Felsefe Dünyası
- Sayfa
- 117–122
- DOI
- —
Özet
Mantık tarihi ondokuzuncu yüzyılın ikinci yarısından bu yana matematiğin temelleriyle ilgili soruların yanıtlanmasına sahne olmuştur. Bugün tarihsel gelişiminin bir sonucu olarak mantık bilgisayar kullanımı aracılığıyla yaşam ile etkileşmektedir. Bu yazıda söz konusu etkileşimin geleceğine ilişkin bilgisel ufukların geçmişte hangi soruları yanıtlamak amacıyla belirlendiği çok kısaca özetlenmektedir.
Abstract
History of logic has been a stage for giving answers to questions concerning the foundations of mathematics since the second half of the nineteenth century. As a result of its historical development, today, logic is interacting with life by way of computer use. In this paper, it is surveyed very shortly, how epistemic horizons concerning the future of the interaction in question were determined in the past.