Quantification

การบ่งปริมาณ (ควอนติฟิเคชัน)

หมวดหมู่: Logic
แหล่งอ้างอิง: Frege, G., 1952, Translations from the philosophical writings of Gottlob Frege
อัปเดตล่าสุด: 1 month ago

คำจำกัดความภาษาไทย

การบ่งปริมาณ (ควอนติฟิเคชัน)

ในทางตรรกศาสตร์ คือวิธีการระบุขอบเขตของคุณสมบัติโดยใช้ตัวดำเนินการ เช่น "ทั้งหมด" (ตัวบ่งปริมาณสากล) และ "บางส่วน" (ตัวบ่งปริมาณอัตถิภาวะ) งานของเฟรเกเรื่องการบ่งปริมาณถือเป็นรากฐานของตรรกะภาคแสดงสมัยใหม่

English Definition

In logic, a method for indicating the scope of a property using operators like "all" (universal quantifier) and "some" (existential quantifier). Frege's work on quantification laid the foundation for modern predicate logic.

คำศัพท์และคำจำกัดความทั้งหมดได้รับการตรวจสอบและอนุมัติโดยผู้ดูแลระบบของ Dictionary of Philosophy.