SORU: Niceleyici kavramını ve gündelik dildeki niceleme önermelerini açıklayınız.
CEVAP: Niceleme mantığında iki niceleyici temel olarak kabul edilir: Her kelimesiyle ifade edilen tümelniceleyici ve bazı kelimesiyle ifade edilen tikelniceleyici. Bu niceleyiciler farklı biçimlerde de ifade edilebilir. Gündelik dilde en basit nicelemeli önermeler Her şey F dir, Her F G’dir, Bazı şeyler F’dir, Bazı F G’dir biçimindeki önermelerdir. Daha karmaşık nicelemeli önermeler elde etmek için, bir önermede niceleyici ifadeleri birlikte kullanabilir ya da, bir niceleyici ifadeyi birden çok kez uygulayabiliriz. Ayrıca nicelemeli önermeleri önerme eklemleri ile birleştirebilir veya önerme eklemleri içeren bileşik önermelere niceleyici ifadeleri uygulayabiliriz. Her F G dir önermesinin değili Bazı F G değildir önermesidir. Bazı F G’dir önermesinin değili ise, Hiçbir F G değildir önermesidir. Nicelemeli önermelerin değillenmesinde değilleme kurallarına uyulmalıdır: Bir önerme doğru ise değili yanlış, bir önerme yanlış ise değili doğru olmalıdır. Önerme eklemleri mantığı niceleyici ifadeler içeren çoğu gündelik dil çıkarımını doğru biçimde değerlendirmekte yetersiz kaldığından, bu çıkarımları değerlendirmek için niceleme mantığı geliştirilmiştir.
