CEVAP:

sıkı gerektirme

Kipli önermeleri yorumlamasına bakarak, Diodorus’un yorumunun bugünkü
sıkı gerektirme tanımına benzediği düşünülebilir. Buna göre, “A ise B” önermesinin Diodorus anlamında doğru olması, “A ise B” önermesinin her zaman Philo
anlamında doğru olması demektir. Bu durumda, Dioadorus’un tanımına göre,
koşullu önermelerin doğruluk değeri zamana göre değişmez: “A ise B” önermesinin t1 anında Diodorus anlamında doğru olmasının, t2 anında doğru olmasının
da anlamı “A ise B” önermesinin her zaman Philo anlamında doğru olmasıdır.
Dolayısıyla, Diodorus Philo’nun tanımının doğurduğu birbirine bağlı (1) ve (2)
güçlüklerini aşmış olur. Ancak Didorus’un tanımı (3) güçlüğünü engelleyemez.
Eğer B her zaman doğru bir önerme ise, A önermesi ne olursa olsun, “A ise B”
önermesi her zaman Philo anlamında doğru bir koşullu önerme olur. Dolayısıyla,
“A ise B” önermesi Diodorus anlamında doğru bir koşullu önerme olur. Eğer A
her zaman yanlış bir önerme ise, B önermesi ne olursa olsun, “A ise B” önermesi
de Philo anlamında her zaman doğru olur. Dolayısıyla, “A ise B” de önermesi Diodorus anlamında doğru bir koşullu önerme olur. Sonuç olarak, Diodorus koşul
önermelerinin doğru olması için önbileşen ile ardbileşen arasında bir ilgi bulunmasını gerektirmemektedir