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

โดยทั่วไปแล้ว ความจริงเชิงตรรกะถือว่าเป็นความจริงโดยจำเป็นกล่าวคือ ไม่มีสถานการณ์ใดที่จะทำให้ความจริงนั้นไม่เป็นจริงได้ มุมมองที่ว่าข้อความเชิงตรรกะเป็นจริงโดยจำเป็นนั้น บางครั้งถูกมองว่าเทียบเท่ากับการกล่าวว่าความจริงเชิงตรรกะเป็นจริงในทุกโลกที่เป็นไปได้อย่างไรก็ตาม คำถามที่ว่าข้อความใดบ้างที่เป็น จริง โดยจำเป็นยังคงเป็นหัวข้อของการถกเถียงอย่างต่อเนื่อง

หากเราถือว่าความจริงเชิงตรรกะ ความจริงเชิงวิเคราะห์ และความจริงที่จำเป็นนั้นเทียบเท่ากัน ความจริงเชิงตรรกะจึงแตกต่างจากข้อเท็จจริง (ซึ่งอาจเรียกว่าข้ออ้างที่ขึ้นอยู่กับเงื่อนไขหรือข้ออ้างสังเคราะห์ ) ความจริงที่ขึ้นอยู่กับเงื่อนไขนั้นเป็นจริงใน โลก นี้แต่ก็อาจเป็นอย่างอื่นได้ (กล่าวคือ เป็นเท็จในโลกที่เป็นไปได้อย่างน้อยหนึ่งโลก) ประโยค ที่เป็นจริงเชิงตรรกะ เช่น "ถ้า p และ q แล้ว p" และ "คนแต่งงานทุกคนก็แต่งงานแล้ว" เป็นความจริงเชิงตรรกะเพราะเป็นจริงเนื่องจากโครงสร้างภายในของประโยค ไม่ใช่เพราะข้อเท็จจริงใดๆ ในโลก (ในขณะที่ "คนแต่งงานทุกคนมีความสุข" แม้จะเป็นจริง ก็ไม่สามารถเป็นจริงได้เพียงเพราะโครงสร้างเชิงตรรกะของมัน)

นักปรัชญา สายเหตุผลนิยมเสนอว่า การมีอยู่ของความจริงเชิงตรรกะไม่สามารถอธิบายได้ด้วยปรัชญาประสบการณ์นิยมเพราะพวกเขาเชื่อว่า เป็นไปไม่ได้ที่จะอธิบายความรู้ ของเรา เกี่ยวกับความจริงเชิงตรรกะบนพื้นฐานของปรัชญาประสบการณ์นิยม นักปรัชญาประสบการณ์นิยมมักตอบโต้ข้อโต้แย้งนี้โดยกล่าวว่า ความจริงเชิงตรรกะ (ซึ่งพวกเขามักมองว่าเป็นเพียงสัจพจน์) นั้นเป็นเชิงวิเคราะห์ ดังนั้นจึงไม่ได้มีจุดประสงค์เพื่ออธิบายโลก มุมมองหลังนี้ได้รับการสนับสนุนอย่างโดดเด่นจากนักปรัชญาปฏิฐานนิยมเชิงตรรกะในช่วงต้นศตวรรษที่ 20

ความจริงเชิงตรรกะ ซึ่งเป็นข้อความเชิงวิเคราะห์ ไม่ได้มีข้อมูลใดๆ เกี่ยวกับข้อเท็จจริงนอกจากความจริงเชิงตรรกะแล้ว ยังมีข้อความเชิงวิเคราะห์อีกประเภทหนึ่ง เช่น "ไม่มีชายโสดคนใดแต่งงาน" ลักษณะเฉพาะของข้อความดังกล่าวคือ สามารถเปลี่ยนให้เป็นความจริงเชิงตรรกะได้โดยการแทนที่คำที่มีความหมายเหมือนกันด้วยคำที่มีความหมายเหมือนกันเช่น "ไม่มีชายโสดคนใดแต่งงาน" สามารถเปลี่ยนเป็น "ไม่มีชายโสดคนใดแต่งงาน" ได้โดยการแทนที่คำว่า "ชายโสด" ด้วยคำว่า "ชายโสด"

ในบทความเรื่อง " สองหลักการของประสบการณ์นิยม"นักปรัชญาWVO Quineได้ตั้งคำถามถึงความแตกต่างระหว่างข้อความเชิงวิเคราะห์และข้อความเชิงสังเคราะห์ ข้อความเชิงวิเคราะห์ประเภทที่สองนี้เองที่ทำให้เขาตั้งข้อสังเกตว่า แนวคิดเรื่องความเป็นเชิงวิเคราะห์นั้นเองก็ต้องการการชี้แจงให้ชัดเจน เพราะดูเหมือนว่าจะขึ้นอยู่กับแนวคิดเรื่องความหมายเหมือนกัน ซึ่งก็ต้องการการชี้แจงเช่นกัน ในบทสรุป Quine ปฏิเสธว่าความจริงเชิงตรรกะเป็นความจริงที่จำเป็น แต่เขาเสนอว่า ค่าความจริงของข้อความใดๆ ก็สามารถเปลี่ยนแปลงได้ รวมถึงความจริงเชิงตรรกะด้วย โดยการประเมินค่าความจริงของข้อความอื่นๆ ทุกข้อความในทฤษฎีที่สมบูรณ์ของตนใหม่

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

อย่างไรก็ตาม คำว่าตรรก บท (tautology) มักถูกใช้เพื่ออ้างถึงสิ่งที่อาจเรียกได้ว่า ตรรกบทเชิงหน้าที่ของความจริง (tautology-functional tautology) โดยเฉพาะ ในขณะที่ตรรกบทหรือความจริงเชิงตรรกะทั่วไปนั้นเป็นจริงเพียงเพราะคำทางตรรกะที่ประกอบอยู่ (เช่น " ทุกๆ ", " บาง " และ "คือ") ตรรกบทเชิงหน้าที่ของความจริงนั้นเป็นจริงเพราะคำทางตรรกะที่ประกอบอยู่ซึ่งเป็นตัวเชื่อมทางตรรกะ (เช่น " หรือ ", " และ " และ " ไม่ใช่ ") ไม่ใช่ความจริงเชิงตรรกะทั้งหมดจะเป็นตรรกบทประเภทนี้

ค่าคงที่ทางตรรกะ รวมถึงตัวเชื่อมทางตรรกะและตัวบ่งปริมาณสามารถลดทอนในเชิงแนวคิดให้เหลือเพียงความจริงทางตรรกะได้ ตัวอย่างเช่น ข้อความสองข้อความหรือมากกว่านั้นจะไม่สอดคล้องกัน ทางตรรกะ ก็ ต่อเมื่อ การเชื่อมโยง ของข้อความ เหล่านั้นเป็นเท็จทางตรรกะ ข้อความหนึ่งบ่งชี้ถึงอีกข้อความหนึ่งทางตรรกะเมื่อข้อความนั้นไม่สอดคล้องกับการปฏิเสธของอีกข้อความหนึ่งทางตรรกะ ข้อความหนึ่งเป็นจริงทางตรรกะก็ต่อเมื่อข้อความตรงข้ามของข้อความนั้นเป็นเท็จทางตรรกะ ข้อความตรงข้ามต้องขัดแย้งกัน ด้วยวิธีนี้ ตัวเชื่อมทางตรรกะทั้งหมดสามารถแสดงได้ในแง่ของการรักษาความจริงทางตรรกะ รูปแบบทางตรรกะของประโยคถูกกำหนดโดยโครงสร้างทางความหมายหรือไวยากรณ์ และโดยการวางตำแหน่งของค่าคงที่ทางตรรกะ ค่าคงที่ทางตรรกะกำหนดว่าข้อความนั้นเป็นความจริงทางตรรกะหรือไม่ เมื่อค่าคงที่เหล่านั้นถูกรวมเข้ากับภาษาที่จำกัดความหมายของข้อความนั้น ดังนั้น จนกว่าจะมีการกำหนดวิธีการแยกแยะความแตกต่างระหว่างค่าคงที่ทางตรรกะทั้งหมดโดยไม่คำนึงถึงภาษาของค่าคงที่เหล่านั้น จึงเป็นไปไม่ได้ที่จะทราบความจริงทั้งหมดของข้อความหรือข้อโต้แย้ง^{[ 2 ]}

แนวคิดเรื่องความจริงเชิงตรรกะมีความเชื่อมโยงอย่างใกล้ชิดกับแนวคิดเรื่องกฎการอนุมาน^{[ 3 ]}

ลัทธิปฏิฐานนิยมเชิงตรรกะเป็นขบวนการในต้นศตวรรษที่ 20 ที่พยายามลดกระบวนการให้เหตุผลทางวิทยาศาสตร์ให้เหลือเพียงตรรกะล้วนๆ โดยลัทธิปฏิฐานนิยมเชิงตรรกะอ้างว่า ข้อเสนอใดๆ ที่ไม่สามารถพิสูจน์ได้ด้วยหลักฐานเชิงประจักษ์นั้น ไม่ใช่ทั้งจริงหรือเท็จ แต่ เป็นเรื่อง ไร้ สาระ

ตรรกศาสตร์ที่ไม่ใช่แบบคลาสสิกคือชื่อที่ใช้เรียกระบบที่เป็นทางการซึ่งแตกต่างอย่างมีนัยสำคัญจากระบบตรรกศาสตร์มาตรฐาน เช่นตรรกศาสตร์เชิงประพจน์และตรรกศาสตร์เชิงภาคแสดงมีหลายวิธีในการทำเช่นนี้ รวมถึงการขยาย การเบี่ยงเบน และการเปลี่ยนแปลง จุดมุ่งหมายของการเบี่ยงเบนเหล่านี้คือเพื่อให้สามารถสร้างแบบจำลองที่แตกต่างกันของผลลัพธ์เชิงตรรกะและความจริงเชิงตรรกะได้^{[ 4 ]}

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

วิกิมีเดียคอมมอนส์มีสื่อที่เกี่ยวข้องกับความจริงเชิงตรรกะ

• Zalta, Edward N. (บรรณาธิการ). "ความจริงเชิงตรรกะ" . สารานุกรมปรัชญาแห่งสแตนฟอร์ด . ISSN  1095-5054 . OCLC  429049174 .
• ความจริงเชิงตรรกะในโครงการปรัชญาออนโทโลยีแห่งรัฐอินเดียนา
• ความจริงเชิงตรรกะที่PhilPapers