Yıl: 2016 Cilt: 0 Sayı: 7 Sayfa Aralığı: 45 - 69 Metin Dili: Türkçe İndeks Tarihi: 29-07-2022

SAF GÖRÜ, BİÇİMSEL DİZGE, TURİNG MAKİNESİ VE FREGE'NİN KAVRAM-YAZISI

Öz:
Bu incelemenin amacı, Gottlob Frege'nin projesinin ilk aşamasını, yani sıral anlamda sayının temsil edilmesini sağlayacak biçimde bir ideografinin geliştirilmesini tarihsel bir bağlamda ele almaktır. Bu yazı, Frege'nin projesinin bu ilk aşamasını yorumlayabilmek üzere bir taraftan Alman filozofu Immanuel Kant'ın saf görü anlayışını ve matematiksel nesnelerin saf görüde inşa etme projesini; bir diğer taraftan da, bir grup matematikçi ve felsefecinin, Frege'nin ideografisine dayanarak, matematiksel ispatların kesin bir biçimde temsil edilebileceği biçimsel dizgeleri geliştirme projesini incelemektedir. Frege'nin projesinin ilk aşamasının, bu suretle öncesi ve sonrasıyla birlikte ele alınması ve tarihsel bir bağlama oturtulması, bize eleştirel bir değerlendirme yapma imkânı sağlamaktadır. Frege'nin matematiği mantığa indirgeme projesinin ilk safhası sıranın (daha doğrusu bir dizideki sıra kavramının) kesin bir surette temsil edilebileceği biçimsel bir dizgenin inşa edilmesini içermektedir. Frege böyle bir dizge inşa ederek, kendi anladığı biçimiyle "görü"nün sızmadığı bir mekân teşkil etmeyi murat etmiştir. Ancak, böyle bir mekânın inşası birimlerin ardarda işleme tabi tutulması zorunluluğundan dolayı ardardalığın en başta varsayılmasını gerektirmektedir. Yani, en baştan, bir biçimde, ardardalık varsayılmaksızın biçimsel bir dizge inşa edilememektedir. Öyleyse Kant, sayının (sayı şemasının) tüm nicel inşa faaliyetlerinde varsayılması gerektiğini söylerken haklı görünmektedir. Bu itibarla, Frege'nin aritmetiği mantığa indirgeme projesi görünürde iş görür gibi olsa da varlıksal anlamda bir döngüsellik içermektedir. Sayılara ilişkin doğru önermeleri temsil etmek üzere kurulmaya çalışılan biçimsel dizge bizatihi sayıya ve bilhassa sayının sırasına dayanmak durumunda kalmaktadır. Başka bir deyişle, Frege'nin dizgesi ontolojik bir döngüsellik barındırmaktadır.
Anahtar Kelime:

Konular: Felsefe

PURE INTUITION, FORMAL SYSTEM, TURING MACHINE AND FREGE'S CONCEPT-WRITING

Öz:
The aim of this investigation is a consideration, in a historical context, of the first phase of Gottlob Frege's Project of reducing arithmetic to logic, that is, the development of an ideography to represent number in the ordinal sense. In this article, to provide a context for interpreting this phase of Frege's project, two separate investigations are carried out: firstly, Immanuel Kant's view of pure intuition and his project of constructing mathematical objects in pure intuition are evaluated; secondly, the project of a number of mathematicians and philosophers of developing formal systems as a sequel to Frege's concept-writing to represent mathematical proofs in a rigorous manner is presented. A positioning of Frege's project in view of its predecessors and pursuers provides us grounds to make a critical assessment. The initial phase of Frege's project of reducing arithmetic to logic comprises the construction of a formal system within which the concept of ordering (in a sequence) can be rigorously represented. Frege desires in this way to constitute a medium into which nothing intuitive penetrates in an unnoticed manner. Nevertheless, since the constitution of such a medium requires the treatment of units successively, the existence of a relation of succession or subordination should be assumed at the outset. That is to say, a formal system relies on subordination of its elements for its proper constitution. Therefore, Kant seems to be right when he claims that the number (the schema of number) should be presupposed in each and every activity of quantitative construction. In a way Frege's project of reducing arithmetic to logic seems to work at its outward appearance involves some circularity. A formal system constructed to represent all the true propositions of arithmetic rests on number itself and its order in an ontological sense. In other words Frege's system is subject to an ontological circularity.
Anahtar Kelime:

Konular: Felsefe
Belge Türü: Makale Makale Türü: Araştırma Makalesi Erişim Türü: Bibliyografik
  • Boolos, George ve Richard Jeffrey. Computability and Logic. London: Cambridge University Press, 1974.
  • Çitil, Ahmet Ayhan. Matematik ve Metafizik, Birinci Kitap: Sayı ve Nesne. İstanbul: Alfa Yayınları, 2012.
  • Feferman, Solomon et al. (Hazırlayan) Kurt Gödel Collected Works. 2 cilt. New York: Oxford University Press, 1986.
  • Frege, Gottlob. Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens. Halle a. S.: Louis Nebert, 1879. İngilizceye çevirisi: Frege, Gottlob. Concept Script, a formal language of pure thought modelled upon that of arithmetic. Çeviren S. Bauer-Mengelberg, 1967. van Heijenoort, Jean (haz.) From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931 içerisinde yayımlanmıştır.
  • Frege, Gottlob. Die Grundlagen der Arithmetik: eine logisch- mathematische Untersuchung über den Begriff der Zahl. Breslau: W. Koebner. 1884. İngilizceye çevirisi: Frege, Gottob. The Foundations of Arithmetic: A logico-mathematical enquiry into the concept of number. Çeviren J. L. Austin, 2. baskı, Oxford: Blackwell, 1975. Türkçeye çevirisi: Frege, Gottlob. Aritmetiğin Temelleri. Çeviren Bülent Gözkân. İstanbul: Yapı Kredi Yayınları, 2007.
  • Frege, Gottlob. Grundgesetze der Arithmetik, Band I. Jena: Verlag Hermann Pohle, 1896 ve Band II, 1903. İngilizceye kısmen çevirisi: M. Furth. The Basic Laws of Arithmetic. University of California Press, 1964.
  • Kant, Immanuel. Kritik der Reinen Vernunft, nach der 1. und 2. orig. Ausg. hrsg. von Raymond Schmidt. 3. Aufl. Hamburg: Meiner, 1990. İngilizce çevirisi: Kant, Immanuel Critique of Pure Reason. Çevirenler ve Hazırlayanlar Paul Guyer ve Allen W. Wood. Cambridge: Cambridge University Press, 1998.
  • van Heijenoort, Jean (Hazırlayan) From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931. Boston: Harvard University Press, 1986.
  • Whitehead, Alfred North ve Bertrand Russell. Principia Mathematica. Vols.I-III. Cambridge, England: Cambridge University Press, 1910- 1913.
APA ÇİTİL A (2016). SAF GÖRÜ, BİÇİMSEL DİZGE, TURİNG MAKİNESİ VE FREGE'NİN KAVRAM-YAZISI. , 45 - 69.
Chicago ÇİTİL AHMET AYHAN SAF GÖRÜ, BİÇİMSEL DİZGE, TURİNG MAKİNESİ VE FREGE'NİN KAVRAM-YAZISI. (2016): 45 - 69.
MLA ÇİTİL AHMET AYHAN SAF GÖRÜ, BİÇİMSEL DİZGE, TURİNG MAKİNESİ VE FREGE'NİN KAVRAM-YAZISI. , 2016, ss.45 - 69.
AMA ÇİTİL A SAF GÖRÜ, BİÇİMSEL DİZGE, TURİNG MAKİNESİ VE FREGE'NİN KAVRAM-YAZISI. . 2016; 45 - 69.
Vancouver ÇİTİL A SAF GÖRÜ, BİÇİMSEL DİZGE, TURİNG MAKİNESİ VE FREGE'NİN KAVRAM-YAZISI. . 2016; 45 - 69.
IEEE ÇİTİL A "SAF GÖRÜ, BİÇİMSEL DİZGE, TURİNG MAKİNESİ VE FREGE'NİN KAVRAM-YAZISI." , ss.45 - 69, 2016.
ISNAD ÇİTİL, AHMET AYHAN. "SAF GÖRÜ, BİÇİMSEL DİZGE, TURİNG MAKİNESİ VE FREGE'NİN KAVRAM-YAZISI". (2016), 45-69.
APA ÇİTİL A (2016). SAF GÖRÜ, BİÇİMSEL DİZGE, TURİNG MAKİNESİ VE FREGE'NİN KAVRAM-YAZISI. Felsefi Düşün - Akademik Felsefe Dergisi, 0(7), 45 - 69.
Chicago ÇİTİL AHMET AYHAN SAF GÖRÜ, BİÇİMSEL DİZGE, TURİNG MAKİNESİ VE FREGE'NİN KAVRAM-YAZISI. Felsefi Düşün - Akademik Felsefe Dergisi 0, no.7 (2016): 45 - 69.
MLA ÇİTİL AHMET AYHAN SAF GÖRÜ, BİÇİMSEL DİZGE, TURİNG MAKİNESİ VE FREGE'NİN KAVRAM-YAZISI. Felsefi Düşün - Akademik Felsefe Dergisi, vol.0, no.7, 2016, ss.45 - 69.
AMA ÇİTİL A SAF GÖRÜ, BİÇİMSEL DİZGE, TURİNG MAKİNESİ VE FREGE'NİN KAVRAM-YAZISI. Felsefi Düşün - Akademik Felsefe Dergisi. 2016; 0(7): 45 - 69.
Vancouver ÇİTİL A SAF GÖRÜ, BİÇİMSEL DİZGE, TURİNG MAKİNESİ VE FREGE'NİN KAVRAM-YAZISI. Felsefi Düşün - Akademik Felsefe Dergisi. 2016; 0(7): 45 - 69.
IEEE ÇİTİL A "SAF GÖRÜ, BİÇİMSEL DİZGE, TURİNG MAKİNESİ VE FREGE'NİN KAVRAM-YAZISI." Felsefi Düşün - Akademik Felsefe Dergisi, 0, ss.45 - 69, 2016.
ISNAD ÇİTİL, AHMET AYHAN. "SAF GÖRÜ, BİÇİMSEL DİZGE, TURİNG MAKİNESİ VE FREGE'NİN KAVRAM-YAZISI". Felsefi Düşün - Akademik Felsefe Dergisi 7 (2016), 45-69.