Mantık Felsefesi 2021 Final

1) Aşağıdakilerden hangisi mantıkla ayrıntılı bir biçimde ingilenmemiştir?

A) Frege
B) Hegel
C) Venn
D) Kopernik
E) Peirce

Cevap : D) Kopernik

2)Aşağıdakilerden hangisi bir önerme cümlesidir?

A) Bugün nasılsınız?

B) Dünya gezegendir.
C) Bazı kuşları hiç sevmem!
D) Aristoteles’in pek çok kitabı var.
E) Ah bir çocuk olsam!

Cevap : B) Dünya gezegendir.

3) Mantığın Matematiksel Analizi adlı eser kime aittir?

A) Öklid
B) John Wallis
C) Boole
D) Saccheri
E) Labochevsky

Cevap : C) Boole

4)Teoremlerinde tam sayı aritmetiğini içerecek kadar karmaşık herhangi bir sistemin içinde, sistemin aksiyomlarından yola çıkarak doğruluğu veya yanlışlığı kanıtlanamayacak önermeler bulunacağını ispatlayan Avusturyalı – Amerikan mantıkçı ve matematikçi kimdir?

A) Frege
B) Venn
C) Gödel
D) Peirce
E) Tarski

Cevap : C) Gödel

5)Önermelerin doğruluk – koşullarını göstermek için çakışan alanlara sahip şemalar (yani, topolojik modeller) kullanan mantıkçı ve matematikçi kimdir?

A) Venn
B) Tarski
C) Gödel
D) Peirce
E) Frege

Cevap : A) Venn

6)Aşağıdakilerden hangisi tekil terime örnektir?

A) İnsanlık
B) Şehir
C) Tüm şehirler
D) İstanbul
E) Bazı şehirler

Cevap : D) İstanbul

7)Aşağıdakilerden hangisi “Cebrin Temelleri” adlı makale dizisinin yazarıdır?

A) Sir William Rowan Hamilton
B) H. Grassmann
C) D. F. Gregory
D) Boole
E) De Morgan

Cevap : E) De Morgan

8)Aritmetiğin mantık ile özdeşliğini detaylı olarak göstermeye çalışan kişi aşağıdakilerden hangisidir?

A) Boole
B) Tarski
C) Frege
D) Leibniz
E) Cantor

Cevap : C) Frege

9)Aşağıdakilerden hangisi Montucla’nın bir eseridir?

A) Geometrinin Temelleri
B) Geometrinin Temelinde Yatan Hipotezler Üzerine
C) Öklid’in Tüm Öğeleri ile iddia Ettikleri
D) Paralellik Teorisini Kanıtlama Çabalarının Yorumu
E) Matematik Tarihi

Cevap : E) Matematik Tarihi

10)Frege’nin mantığını geleneksel Aristoteles mantığından ayıran en önemli özellik, aşağıdakilerden hangisinde doğru olarak verilmiştir?

A) Karşıtlıklar karesinin oluşturulması
B) Çelişmezlik ilkesi ile üçüncü halin imkansızlığı ilkesini formüle etme
C) Kategorik önermelerin biçimselleştirilmesi
D) Değişkenleri bağlayacak şekilde niceleyicilerin kullanımı
E) Kategorik önermeler arasındaki doğruluk olanaklarının açıklanması

Cevap : B) Çelişmezlik ilkesi ile üçüncü halin imkansızlığı ilkesini formüle etme

11)Willard Van Orman Quine, mantığı aşağıdakilerden hangisiyle sınırlamıştır?

A) Klasik iki değerli birinci – dereceden mantıklar
B) Yönelim kavramları barındıran formel sistemler, özellikle modalite
C) İkinci – dereceden mantık
D) Kümeler kuramı
E) Principia Mathematica’da mantık olarak yazılanların çoğu

Cevap : A) Klasik iki değerli birinci – dereceden mantıklar

12)Frege, Kavram Yazısı eserindeki ‘≡’ imi hariç tüm sembolleri korumuştur; ‘≡’ imi yerine de basit matematik imi olan ……… imini koymuştur.
Yukarıda boş bırakılan yere getirilmesi gereken ifade hangisidir?

A) Parantez
B) Eşitlik
C) Artı
D) Eksi
E) Çarpı

Cevap : B) Eşitlik

13)Mantıksal Tipler Kuramı aşağıdakilerden hangisine aittir?

A) Berry
B) Burali – Forti
C) Cantor
D) Russell
E) Poincare

Cevap : D) Russell

14)Küme paradokslarının ortaya çıkma nedeni aşağıdakilerden hangisinde verilmiştir?

A) Matematik
B) Kısırdöngü
C) Mantık
D) Sayılar
E) Özellikler düşüncesi

Cevap : B) Kısırdöngü

15)Frege, kendi sistemine tanım ile yeni ifadeler sokulacağında gözlemlenecek yedi ilke koyarak bu tehlikeye karşı korunmaya çalışmıştır. Aşağıdakilerden hangisi bu yedi ilkeden biri değildir?

A) Tanımlanmış bir ad basit olmalıdır yani diğer adlardan meydana gelmemelidir
B) Aynı im iki farklı şekilde tanımlanabilir
C) Tanımlanmış adlardan doğru bir şekilde oluşturulan her adın bir gönderimi olmalıdır
D) Birinci dereceden tek savlı bir fonksiyon için öne sürülen bir adın sadece tek sav alanı bulunması gerekir
E) Tanın ile ileri sürülen bir özel ad her ortaya çıkışında tanımlayanlarınca değiştirilebilir olmalıdır ve hiçbir zaman bir fonksiyon adı olarak kullanılmamalıdır

Cevap : A) Tanımlanmış bir ad basit olmalıdır yani diğer adlardan meydana gelmemelidir

16)Aşağıdaki önermelerden hangisi “Ayşe Aylin’in arkadaşıdır.” önermesinin çevrilmiş halidir?

A) Aylin Ayşe’nin arkadaşıdır.
B) Aylin Ayşe’nin arkadaşı değildir.
C) Aylin ve Ayşe arkadaştır.
D) Ayşe ve Aylin arkadaştır
E) Ayşe Aylin’in arkadaşı değildir.

Cevap : A) Aylin Ayşe’nin arkadaşıdır.

17)Modal mantığa modern ilgi aşağıdakilerden hangisinin çalışmaları ile başlamıştır?

A) Boole
B) Lewis
C) O. Becker
D) C. H. Langford
E) Frege

Cevap : B) Lewis

18)Frege’nin mantık notasyonu ayrıntılı ve karmaşık bir yapıda olduğu için az sayıda sembolden oluşturulmuş sistemlerin kullanımına geçilmiştir. Aşağıdakilerden hangisi bu sistemlerden en yaygın kabul görenidir?

A) Philon
B) Lukasiewicz
C) Aristoteles
D) Peano
E) Hilbert

Cevap : D) Peano

19)Yüklemler mantığının yaratıcısı kimdir?

A) Peirce
B) Venn
C) Gödel
D) Frege
E) Tarski

Cevap : D) Frege

20)Aşağıdakilerden hangisi analitik felsefenin kurucularındandır?

A) Bertrand Russell
B) Peano
C) Schröder
D) Boole
E) Dedekind

Cevap : A) Bertrand Russell

21)Alfred Tarski tarafından 1936’da yayınlanan “Matematiksel Sonuç Kavramı Üzerine” adlı makalede aşağıdakilerden hangisi iddia edilmiştir?

A) Bir çıkarımın sonucu öncüllerden olumsal olarak çıkar.
B) Bir çıkarımın sonucu öncüllerden mantıksal olarak çıkar ancak ve ancak öncüllerin her modeli sonucun da modeli değil ise.
C) Bir çıkarımın sonucu öncüllerden mantıksal olarak çıkmaz.
D) Bir çıkarımın sonucu öncüllerden mantıksal olarak çıkar ancak ve ancak öncüllerin her modeli sonucun da modeli ise.
E) Bir çıkarımın sonucu öncüllerden mantıksal olarak çıkmaz ancak ve ancak öncüllerin her modeli sonucun da modeli ise.

Cevap : D) Bir çıkarımın sonucu öncüllerden mantıksal olarak çıkar ancak ve ancak öncüllerin her modeli sonucun da modeli ise.

22)Mantıksal sonuç için aksiyomlar üretmiştir. 1936’da “Mantıksal Sonuç Kavramı Üzerine” adlı bir makale yayınlamıştır. 1937’de dedüktif metodun doğası ve amacı üzerine görüşlerini ve bilim çalışmalarında mantığın rolünü anlatan bir makale yayınlamıştır.
Yukarıda hakkında bilgi verilen matematikçi ve mantıkçı kimdir?

A) Gödel
B) Frege
C) Peirce
D) Venn
E) Tarski

Cevap : E) Tarski

Mantık Felsefesi 2021 Final

23)Frege, Russell’in ortaya koyduğu küme paradoksundan kurtulmak için ne yapmıştır?

A) Mantığı bırakmıştır.
B) Aritmetiğin mantıkla temellendirilemeyeceğini kabul etmiştir.
C) Sistemdeki beşinci aksiyomu değiştirmiştir.
D) Küme kuramından vazgeçmiştir.
E) Paradoksu kabul etmemiştir.

Cevap : B) Aritmetiğin mantıkla temellendirilemeyeceğini kabul etmiştir.

24) Aşağıdakilerden hangisi “Sembolik Mantık Araştırması” kitabının yazarıdır?

A) Boole
B) Tarski
C) Lewis
D) Frege
E) Gödel

Cevap : C) Lewis

Cevap : Lesniewski

Cevap : Russell paradoksu

28) Hangisi postulat’ın tanımıdır?

A) kanıtlanabilen bilimsel önermedir
B) verilmiş iki önermeden, bu önermelerin içerdiğini içinde bulunduran üçüncü bir önermeyi çıkarma işlemidir
C) geometride ispatına gerek duyulmadan, doğruluğu kendiliğinden apaçık olduğu düşünülen önermedir
D) mantıksal usavurma ile kanıtlanan önermenin ya da özelliğin bildirimi
E) bir olgunun sürekli olarak doğrulanmış gözlem ve deneyler baz alınarak yapılan bir açıklamasıdır

Cevap : C) geometride ispatına gerek duyulmadan, doğruluğu kendiliğinden apaçık olduğu düşünülen önermedir

29) Aşağıdakilerden hangisinde tüm işlemler sınırlama olmadan yapılabilir?

A) reel sayılar
B) işaretli tam sayılar
C) kesirli sayılar
D) rasyonel sayılar
E) karmaşık sayılar

Cevap : E) karmaşık sayılar

30) “mantıksal olarak mükemmel bir dilde özel ad gibi iş görmek üzere oluşturulmuş her ifadenin de aslında gönderimi olacaktır.” frege’ye göre bunun nedeni aşağıdakilerden hangisinde doğru olarak verilmiştir?

A) Özel adların anlamları ve gönderimleri aynı olduğu için
B) adlar aslında gönderim oldukları için
C) varlıksal ifadelerin doğruluğunun ispatlanması gerektiği için
D) gönderim ifadenin adlandırılmasını sağladığı için
E) özel adların anlamları değil gönderimleri olduğu için

Cevap : C) varlıksal ifadelerin doğruluğunun ispatlanması gerektiği için

31) Russell paradoksları ortadan kaldırmak için hangi kuralı koymuştur?

A) bir topluluğun tümünü içeren şey, topluluktan biri olmamalıdır
B) bir topluluğun bazı üyelerini içeren şey, topluluktan biri olmalıdır
C) bir topluluğun tümünü içeren şey, topluluktan biri olmalıdır
D) bir topluluuğn tümünü içerme fikri ortadan kaldırılmalıdır
E) bir topluluğun tümünü içerenler ancak önermeler olabilir

Cevap : D) bir topluluuğn tümünü içerme fikri ortadan kaldırılmalıdır

32) Aşağıdaki filozoflardan hangisinin frege’nin mantık ve anlam-gönderim kuramlarından etkilenmediği söylenebilir?

A) r. carnap
B) f. Nietzsche
C) L. wittgenstein
D) b russell
E) a. Church

Cevap : B) f. Nietzsche

33) Küme paradokslarının çıkma nedeni?

A) Mantık
B) Sayılar
C) Matematik
D) Kısırdöngü
E) Özellikler döngüsü hangisi

Cevap : D) Kısırdöngü

34) Aşağıdakilerden hangisi willard van orman quine’ın mantık üzerine yazdığı eserlerden biri değildir?

A) mantık yöntemleri (methods of logic)
B) matematiğin ilkeleri (principia mathematica)
C) metamatiksel mantık (mathematical logic)
D) temel mantık (elementary logic)
E) mantık felsefesi (philosophy of logic)

Cevap : B) matematiğin ilkeleri (principia mathematica)

35) Hangisi principia mathematica eserinin yazarıdır?

A) Whitehead ve Russell
B) Laplace
C) Frege
D) Leibniz
E) Lagrage

Cevap : A) Whitehead ve Russell

36) “varyasyon hesabındaki belirli teoremler üzerine” adlı makaleyi yazan matematikçi aşağıdakilerden hangisidir?

A) Boole
B) Öklid
C) Saccheri
D) John wallis
E) Labochevsky

Cevap : A) Boole

37) Aşağıdakilerden hangisi alfred tarski’nin, hem gödel’in eksiklik kuramını hem de kendisinin tanımlanamazlık kuramını ele aldığı 1969 yılında yayımlanan makalesidir?

A) doğruluk ve ispat
B) mantıksal sonuç kavramı üzerine
C) begriffsschrift
D) geometrinin temelleri üzerine bir deneme
E) nesnelerin doğası üzerine

Cevap : A) doğruluk ve ispat

38) Aşağıdakilerden hangisi geniş açı hipotezini geliştirmiştir?

A) Labochevsky
B) Boole
C) Saccheri
D) Riemann
E) John Wallis

Cevap : D) Riemann

39) Aşağıdaki görüşlerden hangisi willard van orman quine’ın savunduğu düşüncelerden biri değildir?

A) analitik önermeler deney sonucu düzeltilebilir.
B) sentetik önermeler deney sonucu düzeltilebilir
C) anlamlı her önermenin doğrudan ve aracısız deneylerden hareketle oluşturulmuş bir yapım olduğu fikri doğru değildir
D) analitik önermeler düzeltilemezdir
E) analitik önermelerle sentetik önermeler arasında temelli bir ayrım vardır

Cevap : A) analitik önermeler deney sonucu düzeltilebilir.

40) Aşağıdakilerden hangisi modal farklılıkları kendi amacı için alakasız bularak reddetmiştir?

A) Boole
B) O. Becker
C) Frege
D) C. H. Langford
E) Lewis

Cevap : C) Frege

41) Aşağıdaki mantıkçılardan hangisinin paradoksu on dokuz heceden daha az heceyle adlandırılamayan en küçük tam sayı ile ilgilidir?

A) cantor
B) poincare
C) berry
D) burali-forti
E) russell

Cevap : C) berry

42) Aşağıdakilerden hangisi, frege’nin nesnelere ilişkin görüşlerinden biri olamaz?

A) nesnelerin yalnızca algılanabilir şeyler olduklarını düşünmek insan doğasının bir zayıflığıdır
B) nesneler hem düşünsel hem de algılanabilir yapıda olabilmektedir
C) nesneler yalnızca algılanabilir somut cisimlere işaret etmektedir
D) nesneler fonksiyon değildir
E) nesneler eksiksiz yapılardır

Cevap : C) nesneler yalnızca algılanabilir somut cisimlere işaret etmektedir