Klasik mantıktan sembolik mantığa geçiş süreci
Transition from classical logic to symbolic logic
- Tez No: 909544
- Danışmanlar: DR. ÖĞR. ÜYESİ MEHMETŞİRİN ÇAĞMAR
- Tez Türü: Yüksek Lisans
- Konular: Felsefe, Philosophy
- Anahtar Kelimeler: Analitik felsefe, Klasik mantık, Matematiksel mantık, Modern mantık, Analytical philosophy, Classical logic, Mathematical logic, Modern logic
- Yıl: 2024
- Dil: Türkçe
- Üniversite: Şırnak Üniversitesi
- Enstitü: Lisansüstü Eğitim Enstitüsü
- Ana Bilim Dalı: Felsefe ve Din Bilimleri Ana Bilim Dalı
- Bilim Dalı: Mantık Bilim Dalı
- Sayfa Sayısı: Belirtilmemiş.
Özet
Bu çalışmada klasik mantık düşüncesinden sembolik mantık düşüncesine geçiş süreci, tarihsel bağlamda felsefi bir bakış açısıyla incelenmektedir. Aristoteles'in geliştirdiği klasik mantık anlayışı, insan düşüncesinin temel yapı taşlarından biri olarak karşımıza çıkmaktadır. Ancak klasik mantık soyut yapısı ve anlam belirsizliğinden kaynaklı olarak eleştirilmiş, bu durum da“klasik mantığın yetersizliği”fikrinin ortaya çıkmasına neden olmuştur. 17. Yüzyılda bilimsel devrimlerin başlamasıyla birlikte klasik mantığın yetersizliği karşısındaki alternatif arayışlar elzem bir hal almıştır. Bu bağlamda Descartes ve Leibniz gibi filozoflar felsefeye yeni bir metod getirme düşüncesi ile birlikte mantık bilimine nesnel bir dil kazandırmayı amaçlamışlarıdır. Özellikle de Leibniz mantığa“matematiksel bir dil”oluşturmanın gerekliliği bağlamında, klasik mantıktaki soyut kavramların daha nesnel ve somut bir içeriğe kavuşması yönünde önemli çalışmalar yürütmüştür. 19. Yüzyılda Frege ve Russell gibi düşünürler klasik mantığın ötesine geçerek mantığa nesnel ve sistematik bir yapı sunan“sembolik mantığın”temelini atmışlardır. Bu yeni mantık sistemi dildeki çok anlamlılığı ortadan kaldırılmayı amaçlayarak düşüncelerin matematiksel bir dil ile ifade edilmesine olanak tanımış, böylece mantık bilimi için güvenilir bir dil zemini sağlanmıştır. Böylelikle sembolik mantık, hem felsefi bir devrime tanıklık etmiş hem de mühendislik, bilgisayar bilimi ve yapay zekâ teknolojileri gibi çağdaş bilimsel kullanımların da zeminini hazırlamıştır. Russell'in matematiksel temellere dayanan mantık teorisi sembolik mantığın doğrulanma süreçlerinde ne denli büyük önem taşıdığını gözler önüne sermiştir. Sonuç olarak, sembolik mantık klasik mantığın bilimsel ve gündelik alandaki yetersizlik durumunu aşarak felsefi düşünce ve bilimsel araştırmalara yeni kazanımlar sağlamıştır.
Özet (Çeviri)
In this study, the transition from classical logic to symbolic logic is analyzed from a philosophical perspective in a historical context. The understanding of classical logic developed by Aristotle appears as one of the basic building blocks of human thought. However, classical logic was criticized for its abstract structure and ambiguity of meaning, which led to the emergence of the idea of“the inadequacy of classical logic”. In the 17th century, with the onset of scientific revolutions, the search for alternatives to the inadequacy of classical logic became essential. In this context, philosophers such as Descartes and Leibniz aimed to bring an objective language to the science of logic with the idea of bringing a new method to philosophy. Especially Leibniz, in the context of the necessity of creating a“mathematical language”for logic, carried out important studies in order to give the abstract concepts in classical logic a more objective and concrete content. In the 19th century, thinkers such as Frege and Russell went beyond classical logic and laid the foundation of“symbolic logic”, which offers an objective and systematic structure to logic. This new system of logic aimed to eliminate polysemy in language, allowing thoughts to be expressed in a mathematical language, thus providing a reliable linguistic basis for the science of logic. In this way, symbolic logic not only witnessed a philosophical revolution but also paved the way for contemporary scientific uses such as engineering, computer science and artificial intelligence technologies. Russell's theory of logic based on mathematical foundations demonstrated the importance of symbolic logic in verification processes. As a result, symbolic logic has overcome the inadequacy of classical logic in the scientific and everyday fields and has provided new gains to philosophical thought and scientific research.
Benzer Tezler
- Salih Zeki Bey'in hayatı-eserleri, mantık ve matematik ilimlerine katkısı
The life of Salih Zeki Bey-his works, his contribution to logic and mathematical sciences
KEMAL BALTACIOĞLU
Yüksek Lisans
Türkçe
2021
FelsefeHitit ÜniversitesiFelsefe ve Din Bilimleri Ana Bilim Dalı
PROF. DR. MEVLÜT UYANIK
- Kam yapma aparatı
Cam milling attachment
ORHAN UZUN
Yüksek Lisans
Türkçe
1986
Makine MühendisliğiGazi ÜniversitesiMakine Mühendisliği Ana Bilim Dalı
DOÇ. DR. FEVZİ ERCAN
- Nükleer rezonasta moleküler yapıların incelenmesi (yapısal faz geçiş kuramları üzerine bir inceleme)
Başlık çevirisi yok
ABDURRAHMAN ANDİÇ
Yüksek Lisans
Türkçe
1986
Fizik ve Fizik MühendisliğiUludağ ÜniversitesiFizik Ana Bilim Dalı
PROF. DR. AYTAÇ YALÇINER
- Özel düzenlenmiş plyometrik antrenmanların genç basketbolcuların anaerobik güç performansına etkisi
Effects of regular specific plyometric training on anaerobic power of young basketball players
YÜKSEL SAVUCU
Yüksek Lisans
Türkçe
2001
SporFırat ÜniversitesiBeden Eğitimi ve Spor Ana Bilim Dalı
DOÇ.DR. MEHMET KUTLU