SORU: Tümel önermelerin varlıksal ve hipotetik yorumunu açıklayınız.
CEVAP: Klasik mantık, tümel önermelerin özne terimlerinin gösterdiği kümelerin boş olmadığını, var olan en az bir şeye uygulandığını varsayar. Bu varsayıma göre Bütün S’ler P’dir. (örneğin, Bütün çiçekler güzeldir.) önermesi, S’lerin (çiçeklerin) var olduğunu ima eder. Fakat peri, dev, Mars’ta yaşayan insanlar, gibi bazı mitolojik veya hayali varlıkları gösteren terimler de vardır. Varlıksal yoruma göre periler, devler kümelerinin boş olmadığı varsayılır ve örneğin, Bütün periler güzeldir. önermesinden En az bir şey vardır ki onlar peridir ve güzeldir anlamında Bazı periler güzeldir. önermesi meşru olarak çıkarılabilir.
