Niceleme (mantık)

Mantıkta, niceleme, bir açık önermeyi sağlayan örneklerin niceliğini belirten bir yapıdır.

Örneğin, aritmetikte, niceleme sayesinde her doğal sayının bir ardılı olduğu ifadesi kurulabilir. Nicelik belirten bir dil öğesi ("her" gibi) niceleyici olarak adlandırılır. Biçimsel dillerde, niceleyiciler verilen bir önermeden yeni bir önerme yaratmak için kullanılır. Yaratılan önerme dilin kurallarına göre yorumlanır.

Sembolik mantıkta kullanılan iki temel niceleme türü evrensel (tümel) ve varoluşsal (tikel) nicelemedir. Evrensel niceleme için geleneksel olarak kullanılan sembol ters çevrilmiş A'dır, "∀". Varoluşsal niceleme için geleneksel olarak kullanılan sembol ters çevrilmiş E'dir, "∃". Bu niceleyicilerin genelleştirilmesi Mostowski ve Lindström'ün çalışmalarıyla başlar.

Niceleyiciler doğal dillerde de kullanılır; Türkçe'deki örnekleri her, bazı, birçok, biraz ve hiçtir.

Ayrıca bakınız
 Matematiksel mantık
 Önerme
 Anlambilim
 Mantık bağlacı

Kaynakça

Anlambilim
Mantık