Matematiksel ( ? ) Mantık
Felsefe Dünyası, cilt.0, sa.49, ss.81-89, 2009 (TRDizin)
- Yayın Türü: Makale / Tam Makale
- Cilt numarası: 0 Sayı: 49
- Basım Tarihi: 2009
- Dergi Adı: Felsefe Dünyası
- Derginin Tarandığı İndeksler: TR DİZİN (ULAKBİM)
- Sayfa Sayıları: ss.81-89
- Anadolu Üniversitesi Adresli: Evet
Özet
-
Based on a distinction according to each philosopher's choice, while a part of contemporary logic named "symbolic logic" is accepted as a tool for philosophy, another part called "mathematical logic", is regarded as a part of mathematics. Although mathematician-logicians agree upon the issues that mathematical logic should cover, that they do not have a reliable definition of mathematical logic can be seen in the two 'definitions' provided by Crossley and Shoenfield.