Logicality of second-order logic: A critical inquiry on the related debates<p>İkinci seviye mantığın mantıksallığı: İlgili tartışmalar üzerine eleştirel bir değerlendirme
Journal Title: Journal of Human Sciences - Year 2015, Vol 12, Issue 2
Abstract
Being the pioneer of modern logic, Frege, with his quantification theory, was the pioneer of not only first-order logic, but also second-order logic. But today, as it may be seen from the recent pedagogical works clearly, learning modern logic has become almost equivalent to learning first-order logic. In the other words, first-order logic appears as the most natural, paradigmatic and central system of logic. However second-order logic either doesn’t appear in recent pedagogical works or appears as an interesting detail of the history of logic. Moreover, today even the logicality of second-order logic has become controversial. In this controversy, two of the criticisms against the logicality of second-order logic have become more apparent than the others: (1) the logical incompleteness criticism, and (2) the ontological commitments criticism. In this study, these two criticisms, which was put forward as a justification of the claim that second order logic is not a purely-logical system, and several responses to these criticisms are tried to be clarified in a simple and untechnical manner. Additionally it is argued that, while these two criticisms are strong and justified, several responses to these criticisms are weak. ÖzetModern mantığın öncüsü Frege niceleme kuramıyla, yalnızca birinci seviye mantığın değil, aynı zamanda ikinci seviye mantığın da öncüsüydü. Ancak günümüz pedagojik yapıtlarında da açıkça görülebileceği gibi bugün modern mantığı öğrenmek bunlardan birinci seviye mantığı öğrenmekle eşdeğer hale gelmiştir. Diğer bir deyişle birinci seviye mantık, mantığın en doğal, paradigmatik ve merkezi sistemi olarak kendini göstermektedir. Diğer taraftan ikinci seviye mantık ise günümüz pedagojik yapıtlarında ya yer almamakta ya da bu yapıtlarda mantık tarihinin ilginç bir ayrıntısı olarak yer almaktadır. Dahası bugün ikinci seviye mantığın mantıksallığı dahi tartışmalı hale gelmiştir. Bu tartışmalarda ikinci seviye mantığın mantıksallığına getirilen eleştirilerden ikisi diğerlerine göre daha belirgin hale gelmiştir. (1) Mantık sistemsel eksiklik eleştirisi ve (2) gizli ontolojik kabuller eleştirisi. Bu çalışmada ikinci seviye mantığın saf-mantıksal bir sistem olmadığı iddiasına gerekçe olarak ileri sürülen bu iki eleştiri ve bu eleştirilere getirilen çeşitli yanıtlar, basit ve teknik olmayan bir dille açık kılınmaya çalışılmıştır. Ek olarak bu iki eleştirinin güçlü ve haklı eleştiriler olduğu ve bu eleştirilere getirilen çeşitli yanıtların ise güçsüz olduğu savunulmuştur.
Authors and Affiliations
Ali Bilge Öztürk
Keywords
Related Articles
- EP ID EP643775
- DOI -
- Views 42
- Downloads 0
The development of Irrational Romantic Relationship Beliefs Inventory<p>Romantik İlişkilerde Akılcı Olmayan İnançlar Ölçeği’nin geliştirilmesi
In this study, the Irrational Romantic Relationship Beliefs Scale (RAINO) was developed and the validity and reliability of the scale were investigated. The scale was developed based on the theories of Ellis (1986) and B...
Examining superstitious behavior usage frequencies in sport<p>Sporda batıl davranış kullanım sıklıklarının incelenmesi
The purpose of this study was to examine superstitious behavior usage frequencies according to gender, sport branch, active sport life duration and sport achievement importance in athletes. The sample consists of a total...
Cognitive analysis of the (Bingol Anti Terror Police Department) BATPD Buddy Program
Buddy programs help newcomers to smooth transition. The programs also try to increase the performance of the new personnel, give them a moral support and provide a proper atmosphere. This study aims to figure out the def...
Collective trust as a social indicator of the instructional capacity: A qualitative research<p>Öğretim kapasitesinin sosyal bir göstergesi olarak kolektif güven: Nitel bir araştırma
Instructional capacity at school has two interconnected basic characteristics. These are: resources which enable increase of teaching efficiency at schools and social processes which would enable occupational learning th...
A generalizability Analysis: The reliability of measurements: “Let’s circuit electric”<p>Bir genellenebilirlik kuramı analizi: Değerlendirmede kullanılan ölçme araçlarının güvenirliği “Haydi Elektriği İletelim”
The study’s purpose was to compare the results of G&K studies of some measurement instruments, used in the current study and also check their reliability. These are a multiple-choice test, a structured grid, and a pe...