CEVAP:

Mantık Sistemi’nde Mill önermeleri gerçek önermeler ve sözel önermeler olarak ayırır. Bu ayırım bir yandan görünüşte ve gerçek çıkarımlar ayrımına dayanır. Görünüşte çıkarımlar sonucun öncüller arasında açıkça yer aldığı çıkarımlardır. Bu türden çıkarımlarda yeni bir sav ortaya konmadığı için sözeldir. Sözel önerme, bir görünüşte çıkarıma karşılık gelen koşul önermesidir.  Sözel önerme özne konumundaki terimin anlamı hakkında önermeler olup dünya hakkında bilgi vermezler. Bunun nedeni adların ve o adların anlamının bizim tarafımızdan rastgele belirlenmiş olmasıdır. Bir gerçek önermede, bir şey hakkında, önermede o şeyden söz ederken kullanılan adın anlamında bulunmayan bir olgu yüklenir. Çelişmezlik ilkesi (Bir şey hem Ahem de A-olmayan olamaz) ve üçüncü halin olmazlığı ilkesi (Bir şey ya A ya daA-olmayandır) gibi ‘mantık ilkelerinin’ de dayanağı varolan şeyler ve varolanların nitelikleri hakkında önermelerdir.