Neden "arka bahçemdeki iki tek boynuzlu at çiçek yiyor" ifadesi boş bir gerçek olamaz?

[Mandıra Filozofu]

Arka bahçemde iki tek boynuzlu at çiçek yiyor".

Arka bahçemde tek boynuzlu atlar olmasa bile bu neden anlamsızca doğru olmasın ki?

Tüm x'ler için, eğer x arka bahçemdeki iki tek boynuzlu atsa, o zaman x çiçek yiyor demektir. Mantıklı geliyor?

Tüm wiki'yi okudum ama nedenini hala bilmiyorum.

 

[Kemal Ayhan]

Çeviriniz biraz eksik.

A. Arka bahçemde iki tek boynuzlu at çiçek yiyor.

mantığa şöyle çevrilebilir:

B. X'in y olmadığı ve x ile y'nin tek boynuzlu at olduğu ve x ile y'nin çiçek yediği x,y vardır.

Bu yanlıştır çünkü hem A hem de B, x ve y'nin var olduğunu ancak x ve y'nin var olmadığını ima eder. Çeviriniz

C. Tüm x'ler için, eğer x arka bahçemdeki iki tek boynuzlu atsa, o zaman x çiçek yiyordur.

normal İngilizcede daha çok şu şekilde oluşturulur:

D. Arka bahçemdeki her tek boynuzlu at çifti çiçek yiyor.

C doğrudur çünkü tek boynuzlu at çiftinin var olduğu anlamına gelmez. D doğru olarak yorumlanabilir çünkü tek boynuzlu atların var olduğuna dair anlamsal bir ima yoktur. Bununla birlikte, tek boynuzlu atların var olduğuna dair pragmatik bir ima var çünkü arka bahçenizde hiç tek boynuzlu at yoksa D demenizin hiçbir anlamı yok, bu yüzden anadili İngilizce olan birçok kişi D'nin yanlış olduğunu söyleyecektir.

BTW, sayı eklemek işleri gereksiz yere karmaşıklaştırır. Bu örnekleri n nesneyle yapmak yerine tek bir nesneyle yapmak daha kolaydır.

 

[Kemal Ayhan]

1. "Arka bahçemde iki tek boynuzlu at çiçek yiyor"

   koşulsuz bir ifadedir. Bu ifade yanlıştır , çünkü arkanızda hiç tek boynuzlu at yoktur, özellikle de çiçek yiyen iki tek boynuzlu at yoktur.

2. "Tüm x'ler için, eğer x arka bahçemdeki iki tek boynuzlu atsa, o zaman x çiçek yiyordur."

   tüm tek boynuzlu at çiftleri üzerinden ölçülen koşullu bir ifade, bir imadır. İfade doğrudur : Tek boynuzlu atlar var olmadığından, imanın öncülü
   

   arka bahçemde x var, bir çift tek boynuzlu at => x çiçek yiyor

   yanlıştır, Dolayısıyla - ex falso sequitur quodlibet - çıkarım doğrudur. Dolayısıyla niceliksel ifadenin tamamı doğrudur, ancak içi boştur.