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. (∼p∨q)↔∼r(\sim p \vee q) \leftrightarrow \sim r ve karşılıklı koşul eklemi (↔\leftrightarrow)Answer
  2. B
    ∼p∨(q↔∼r)\sim p \vee (q \leftrightarrow \sim r) ve tikel evetleme eklemi (∨\vee)
  3. C
    (∼p∧q)↔∼r(\sim p \wedge q) \leftrightarrow \sim r ve karşılıklı koşul eklemi (↔\leftrightarrow)
  4. D
    (∼p∨q)→∼r(\sim p \vee q) \rightarrow \sim r ve koşul eklemi (→\rightarrow)
  5. E
    ∼(p∨q)↔∼r\sim (p \vee q) \leftrightarrow \sim r ve karşılıklı koşul eklemi (↔\leftrightarrow)

Answer

(∼p∨q)↔∼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 (∼p∨q)(\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 (∼p∨q)↔∼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 (∼p∨q)(\sim p \vee q) şeklinde birleşir. Bu grup diğer önermeye 'ancak ve ancak' ile bağlandığından ifadenin tamamı (∼p∨q)↔∼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