Niceleme (mantık)

Mantıkta, niceleme,^[1] 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^[1] 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çedeki örnekleri her, bazı, birçok, biraz ve hiçtir.

Ayrıca bakınız

• Matematiksel mantık
• Önerme
• Anlambilim
• Mantık bağlacı