Aof Panel

Soru 1

'Bugün felsefe ve matematik programlarında temel mantık sistemi olarak öğretilmektedir' ifadesi ile genellenen aşağıdakilerden hangisidir?

Soru 2

''Alman matematikçi Gottlob Frege’nin (1848-1925) Beggriffschrift (1879) ve Grundgesetze der Arithmetik (I. cilt 1893, II. cilt 1903) yapıtları ile ortaya koyduğu mantık sistemi bir ....................dir.'' ifadesini doğru tamamlayacak aşağıdakilerden hangisidir?

Soru 3

Principia Mathematica kime aittir?

Soru 4

Bugün felsefe ve matematik programlarında temel mantık sistemi olarak öğretilmekte olan aşağıdakilerden hangisidir?

Soru 5

Alman matematikçidir. 8 Kasım 1848-26 Temmuz 1925 arasında yaşamış olan bu kişi, çağdaş mantığın kurucusudur.

Soru 6

Aritmetiği içerecek yeterlilikte tutarlı hiçbir biçimsel sistemde, aritmetiğin tutarlı olduğunu belirten önerme kanıtlanamaz, önermesi hangisine aittir?

Soru 7

Her S kümesi üzerinde, bu kümenin her boş-olmayan T alt-kümesinin bir R-minimum elemanı (yani, “her t
∈ T için t0Rt” şartını sağlayan bir t0 ∈ T elemanı) olacak şekilde bir R kısmi sıralama bağıntısı vardır. ifadesi hangisine aitti?

Soru 8

Koşul ekleminin farklı yorumlanması gerektiği düşüncesini temel alarak bir mantık sistemi geliştiren ilk çağdaş mantıkçı kimdir?

Soru 9

“Tipler Kuramı Üzerine Kurulmuş Olarak Matematiksel Mantık” kime ait bir çalışmadır?

Soru 10

Lewis kipli mantık sistemleri üzerine o zamana kadar yaptığı ve farklı tarihlerde yayımladığı çalışmalarının sonuçlarını hangi araştırmasında toplamıştır?

Soru 11

....... ...... ...... Roma İmparatorluğu'nun Latince konuşulan Batı Roma ile Yunanca konuşulan Doğu Roma olarak ikiye ayrıldığı 5. yüzyıldan Rönesans'a kadar geçen dönemde Latin dünyasındaki mantık çalışmalarını kapsar.

Yukarıda bırakılan boşluğa aşağıdakilerden hangisi gelecektir?

Soru 12

Ortaçağ İslam coğrafyasında olduğu gibi Latin coğrafyasında da mantık çalışmaları ilk önce hangi kaynaklara yönelmiştir?

Soru 13

Aristoteles Organon'unun Kategoriler ve Önerme Üstüne kitapları ve hangi düşünürün yorumları Logica Vetus'u olusturmaktadır?

Soru 14

Ortaçağın ilk büyük mantıkçısı Petrus Abelardus Aristoteles mantığını yorumlamanın yanı sıra, bağımsız bir mantık çalışması olan hangi eseri yazmıştır?

Soru 15

Abelardus kipli önermelerin yorumlanmasında de-re ve de-dicto olarak ayırımını açıkça ortaya koymuştur. De-dicto söyleme ilişkin demekse de-re neye ilişkin demektir?

Soru 16

Zaman kipli önermelerin yorumlanmasına olanak vereceğini fark ederek Abelardus önermelerle ilgili hangi kavramı ortaya atmıştır?

Soru 17

Bir terimin bir şeyi (bir bireyi ya da tümeli) göstermek üzere atanmış olması, en azından bir şeyi gösterebilme özelliğine sahip olmasına ne ad verilir?

Soru 18

Ortaçağ mantıkçıları arasında göndermenin üç biçimde bölümlenmesi yaygındır. Birincisi Maddi gönderme, ikincisi Basit gönderme. Üçüncüsü aşağıdakilerden hangisidir?

Soru 19

Appellation sözcüğünün türediği appellare fiili Latincede ne anlama gelmektedir?

Soru 20

Çağdaş mantık formalizminde iki tür ifade ayırt edilmektedir.Değişkenler ve mantık değişmezleri. Bu formalizimdeki değişkenler kategorematik terimlere karşılık gelirken, değişmezler hangi terimlere karşılık gelir?

MANTIĞIN GELİŞİMİ - Deneme Sınavı - 9