CEVAP:

Leibniz'in kabul ettiği doğruluk tanımına göre bir önermenin doğru olması önermenin yükleminin öznesinin bir şekilde “içinde” olması (Praedicatum inest subjecto) demektir.  Bu ilkenin doğurduğu güçlüklerin bir kısmı geliştirmeye çalıştığı mantık kalkülü ile ilgili biçimsel güçlüklerdir. Praedicatum inest subjecto ilkesinin yol açtığı güçlüklerin diğer bir kısmı anlambilgisel (semantik) güçlüklerdir. Bunlar söz konusu doğruluk tanımının farklı türden doğrulukların tümünü kapsayıp kapsayamadığı ile ilgilidir.