ในตรรกศาสตร์ค่าคงที่ทางตรรกศาสตร์หรือสัญลักษณ์คงที่ของภาษา คือสัญลักษณ์ ที่มี ค่าความหมายเดียวกัน ภายใต้ การตีความทุกรูปแบบ ค่าคงที่ทางตรรกศาสตร์ที่สำคัญสองประเภท ได้แก่ตัวเชื่อมทางตรรกศาสตร์และตัวบ่งปริมาณ 述语ความเท่าเทียมกัน (มักเขียนว่า '=') ก็ถือเป็นค่าคงที่ทางตรรกศาสตร์ในระบบตรรกศาสตร์ หลายระบบ เช่น กัน${\displaystyle {\mathcal {L}}}$${\displaystyle {\mathcal {L}}}$

หนึ่งในคำถามพื้นฐานในปรัชญาตรรกศาสตร์คือ "ค่าคงที่ทางตรรกศาสตร์คืออะไร" ^{[ 1 ]}กล่าวคือ คุณสมบัติพิเศษใดของค่าคงที่บางอย่างที่ทำให้ค่าคงที่เหล่านั้นมีลักษณะเป็นตรรกศาสตร์^{[ 2 ]}

สัญลักษณ์บางอย่างที่โดยทั่วไปถือว่าเป็นค่าคงที่ทางตรรกะ ได้แก่:

เครื่องหมาย	ความหมายในภาษาอังกฤษ
ที	"จริง"
เอฟ, ⊥	" เท็จ "
¬	" ไม่ "
∧	" และ "
∨	" หรือ "
→	" หมายความว่า " "ถ้า...แล้ว"
∀	" สำหรับทุกคน "
∃	" มีอยู่จริง " "สำหรับบางคน"
=	" เท่ากับ "
${\displaystyle \Box }$	"จำเป็น"
${\displaystyle \Diamond }$	"เป็นไปได้"

ค่าคงที่เชิงตรรกะเหล่านี้จำนวนมากบางครั้งอาจใช้สัญลักษณ์อื่นแทน (ตัวอย่างเช่น การใช้สัญลักษณ์ "&" แทน "∧" เพื่อแสดงถึงการดำเนินการทางตรรกะ "และ ")

การกำหนดค่าคงที่เชิงตรรกะเป็นส่วนสำคัญของงานของGottlob FregeและBertrand Russell Russell กลับมาพูดถึงเรื่องค่าคงที่เชิงตรรกะอีกครั้งในคำนำของหนังสือThe Principles of Mathematics ฉบับพิมพ์ครั้งที่สอง (1937) โดยสังเกตว่าตรรกะกลายเป็นภาษา: "ถ้าเราจะพูดอะไรที่แน่นอนเกี่ยวกับค่าคงที่เหล่านี้ [พวกมัน] จะต้องได้รับการปฏิบัติเสมือนเป็นส่วนหนึ่งของภาษา ไม่ใช่เป็นส่วนหนึ่งของสิ่งที่ภาษาพูดถึง" ^{[ 3 ]}ข้อความในหนังสือเล่มนี้ใช้ความสัมพันธ์R ความสัมพันธ์ผกผันและความสัมพันธ์เติมเต็มเป็นแนวคิดพื้นฐานซึ่งถือเป็นค่าคงที่เชิงตรรกะในรูปแบบaRb เช่น กัน

• ตัวเชื่อมตรรกะ
• ค่าตรรกะ
• สัญลักษณ์ที่ไม่ใช่ตรรกะ

• บทความเรื่องค่าคงที่ทางตรรกะในสารานุกรมปรัชญาของสแตนฟอร์ด

บทความเกี่ยวกับตรรกศาสตร์นี้ ยัง ไม่สมบูรณ์คุณสามารถช่วยวิกิพีเดียได้โดยการเพิ่มข้อมูลที่ขาดหายไป

• วี
• ที
• อี