SORU: Kırmızı bir renktir. Özne-yüklem önermesini ele alıp inceleyiniz.
CEVAP: (1)Kırmızı bir renktir özne-yüklem önermesini ele alalım. Sıkı adcı (1) önermesini (2) Tüm kırmızı şeyler rengi olan şeylerdir önermesine dönüştürecektir. Burada (1) önermesinin, (2) önermesini mantıksal olarak içerdiği açıktır; yani (1) doğru ise, (2) de mutlaka doğrudur. Ancak dönüştürmenin başarılı olması için (1) ve (2)’nin eşdeğer olması gerekir. Bu nedenle sıkı adcı, bu eşdeğerliği göstermek için, (2)’nin (1)’i mantıksal olarak içerdiğini de göstermek durumundadır. Bunun yürümediği şöyle ortaya konulmuştur. Doğru olan (3) Tüm kırmızı şeyler uzanımı olan şeylerdir. Önermesini ele alalım. O zaman, tam eşitlik (tam benzerlik, muadillik) gereği, (1) önermesi, (2) önermesini mantıksal olarak içeriyorsa, (3) önermesinin de (4) Kırmızı (ya da Kırmızılık) bir uzanımdır önermesini mantıksal olarak içermesi beklenir. Ancak (3), (4)’ü mantıksal olarak içermez. Çünkü (3) doğru iken, (4) yanlıştır. Bu nedenle (2), (1)’in bir dönüştürmesi sayılamaz.
