Question

Difficulty: MediumÖnermeler Mantığında Sembolleştirme ve Temel Kavramlar

Zihin felsefesinde fizikselcilik ile düalizm arasındaki tartışmada şu iddia ileri sürülmektedir:

'Zihinsel durumların fiziksel durumlara indirgenmesi mümkün değildir veya insan zihni maddeden bağımsız bir tözdür; ancak ve ancak bilincin yapay bir sistemde ortaya çıkması imkansızdır.'

Bu iddiada yer alan basit önermeler şu şekilde tanımlanmıştır:
pp: Zihinsel durumların fiziksel durumlara indirgenmesi mümkündür.
qq: İnsan zihni maddeden bağımsız bir tözdür.
rr: Bilincin yapay bir sistemde ortaya çıkması mümkündür.

Buna göre, verilen iddiaya ait bileşik önermenin önermeler mantığındaki sembolik karşılığı ve ana eklemi aşağıdakilerin hangisinde doğru verilmiştir?

  1. (pq)r(\sim p \vee q) \leftrightarrow \sim r ve karşılıklı koşul eklemi (\leftrightarrow)Answer
  2. B
    p(qr)\sim p \vee (q \leftrightarrow \sim r) ve tikel evetleme eklemi (\vee)
  3. C
    (pq)r(\sim p \wedge q) \leftrightarrow \sim r ve karşılıklı koşul eklemi (\leftrightarrow)
  4. D
    (pq)r(\sim p \vee q) \rightarrow \sim r ve koşul eklemi (\rightarrow)
  5. E
    (pq)r\sim (p \vee q) \leftrightarrow \sim r ve karşılıklı koşul eklemi (\leftrightarrow)

Answer

(pq)r(\sim p \vee q) \leftrightarrow \sim r sembolleştirmesi ve karşılıklı koşul eklemi (\leftrightarrow)
Zihinsel durumların fiziksel durumlara indirgenmesinin mümkün olmaması p\sim p, insan zihninin bağımsız bir töz olması qq ile sembolleştirilir. Bu iki önerme 'veya' bağlacıyla bağlanarak (pq)(\sim p \vee q) bileşik önermesini oluşturur. Cümlenin devamındaki 'ancak ve ancak' bağlacı bu yapıyı bilincin yapay bir sistemde ortaya çıkmasının imkansız olmasına (r\sim r) bağlar. Bu durumda ifadenin sembolik formu (pq)r(\sim p \vee q) \leftrightarrow \sim r olur. Önermenin tamamını denetleyen en dıştaki eklem karşılıklı koşul eklemi (\leftrightarrow) olduğundan ana eklem de budur.

Step-by-Step Solution

1
Basit önermeleri belirleme ve olumsuzluk durumlarına göre sembolleştirme
'Zihinsel durumların fiziksel durumlara indirgenmesi mümkün değildir' ifadesi p\sim p, 'insan zihni maddeden bağımsız bir tözdür' ifadesi qq, 'bilincin yapay bir sistemde ortaya çıkması imkansızdır' ifadesi r\sim r şeklinde sembolleştirilir.
Günlük dildeki ifadelerin mantıksal değerlerini ve yapılarını kaybetmeden sembolik dildeki karşılıklarını bulmak gerekir.
2
Bileşik önermedeki bağlaçları analiz ederek parantezleri ve ana eklemi saptama
İlk grup 'veya' bağlacıyla (pq)(\sim p \vee q) şeklinde birleşir. Bu grup diğer önermeye 'ancak ve ancak' ile bağlandığından ifadenin tamamı (pq)r(\sim p \vee q) \leftrightarrow \sim r olur. Bütün önermeyi kapsayan ana eklem ise \leftrightarrow sembolüdür.
Cümledeki noktalama işaretlerini ve bağlaçların öncelik sırasını gözeterek doğru mantıksal yapıyı kurmak ve ana eklemi bulmak gerekir.

Key Concept

Önermeler Mantığında Sembolleştirme ve Ana Eklem Belirleme
Estimated Time:1m 30s
Rate this question