Deneme Sınavı Soruları

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

Aşağıdakilerden hangisi Ortaçağ mantıkçıları hakkında doğru bir bilgidir?

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?

Avusturyalı mantıkçı Gödel’in çalışmaları hakkında aşağıdaki ifadelerden hangisi söylenebilir?

Akıl yürütmelerin gelip dayandığı nihai doğruların uylaşıma dayandığı görüşünü ortaya atan düşünür kimdir?

1. ‘Bazı S P dir’
2. ‘Ya p ya da q’
3. ‘p-değil ise q’
4. ‘Her S P dir’

Abelardus’a göre, “Gündüz değilse gecedir.” önermesi yukarıda verilenlerden hangilerine örnek önerme olabilir?

1. ‘Bazı S P dir’
2. ‘Ya p ya da q’
3. ‘p-değil ise q’
4. ‘Her S P dir’

Abelardus’a göre, “Gündüz değilse gecedir.” önermesi yukarıda verilenlerden hangilerine örnek önerme olabilir?

Ortaçağ batı mantığının çıkarımların incelendiği bölümü nedir?

Aristoteles’in üniversite eğitimindeki etkisinin azaltılması gerektiğini savunan düşünür aşağıdakilerden hangisidir?

Aşağıdakilerden hangisi Albertus de Saxonia'nın Sinkategoremata arasında saydığı terimlerden biri değildir?

İkinci eksiklik teoreminde S koşulları sağlayan bir biçimsel sistem olduğunda aşağıdakilerden hangisinin söylenmesi doğrudur?

İslam dünyasında Süryani'lerin etkisiyle Yunanca'dan Arapça'ya çevrilmeye başlanan mantık eserlerinin çevirisine yeni bir anlayış getiren kişi aşağıdakilerden hangisidir?

Stoa mantıkçılarının anlam anlayışına aşağıdakilerin hangisi doğrudur?

İslam dünyasında mantığın bir araç olduğu düşüncesini kendi çalışmasıyla ortaya koyan ilk düşünürlerden biri olan mantıkçı aşağıdakilerden hangisidir?

Stoa mantıkçıları hangi tikel-evetleme önermelerini asıl anlamda tikel-evetleme önermesi kabul etmişlerdir?

1. Mantığını kurarken matematikteki çıkarımları temel alır.
2. Mantık sistemini oluşturan tasımları koşul önermeleri biçiminde sunar.
3. Tasım sistemini geçerli saydığı çıkarım kalıplarını sıralayarak ve önerme değişkenleri kullanarak ortaya koyar.
4. Çıkarım kalıplarında kullanılan değişkenler önerme değişkenleridir.
5. Gündelik yaşamda ve felsefede izlenen çıkarımları temel alır. 

Yukarıda verilenlerden hangileri Aristoteles mantığı için geçerlidir?

Süryani mezheplerinden Nasturiliğin yayıldığı okul aşağıdakilerden hangisidir?