การคิดเรื่อง “กษัตริย์ฝรั่งเศสองค์ปัจจุบัน” ทำให้ต้องมาสนใจความสัมพันธ์ทางตรรกวิทยาอย่างหนึ่ง ได้แก่ “presupposition” ในภาษาอังกฤษ คำๆนี้มีคนพยายามแปลเป็นภาษาไทยจำนวนหนึ่ง ซึ่งผมจำไม่ได้ว่า แปลกันว่าอะไรบ้าง แต่อย่างไรก็ตาม เราก็จะเรียกคำๆนี้ตามความหมายของมัน ได้แก่ “การรับไว้ก่อนว่าเป็นจริง” ความสัมพันธ์แบบ presupposition สามารถแสดงอย่างเป็นแบบแผนได้แบบนี้ สำหรับประพจน์ใดๆ p และ q “p presupposes q” จะเป็นจริงเมื่อและต่อเมื่อ ถ้า q เป็นจริง p จะมีค่าความจริง (คือเป็นจริงหรือเป็นเท็จอย่างใดอย่างหนึ่ง) แต่ถ้า q เป็นเท็จ p จะไม่มีความหมาย ตัวอย่างก็คือ สมมติให้ p แทนประพจน์ “หนวดเต่ายาวห้า ซม.” ส่วน q แทน “มีหนวดเต่า” เราจะเห็นว่า ประพจน์ p ต้องรับไว้ก่อน หรือ presuppose ประพจน์ q เพราะว่า ถ้ามีหนวดเต่าจริง [...]