Bound Variable

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

ตัวแปรผูกพัน

อ้างถึงวาทะของ ไควน์ ที่ว่า "การมีอยู่คือการเป็นค่าของตัวแปรผูกพัน" หมายความว่าเรายอมรับการมีอยู่ของสิ่งใดก็ตามที่ทฤษฎีของเราจำเป็นต้องใช้ตัวบ่งปริมาณ (Quantifier) อ้างถึง

English Definition

Referring to W.V.O. Quine's dictum "To be is to be the value of a bound variable," meaning we are committed to the existence of whatever our theories require to be quantified over.

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

การบ่งปริมาณ

วิธีการในตรรกศาสตร์สัญลักษณ์ที่ใช้แสดงข้ออ้างเรื่องการมีอยู่; การถกเถียงทางอภิปรัชญามักเน้นว่าการใช้ตัวบ่งปริมาณยืนยันการมีอยู่จริงหรือไม่ (เช่น สำหรับวัตถุนามธรรม)

English Definition

The method in formal logic used to express existence claims; metaphysical debates often center on whether using a quantifier entails real existence (e.g., for abstract objects).