ข้อตั้ง (อังกฤษ: premise) คือข้อความที่ถูกกล่าวอ้างในการให้เหตุผลที่จะพิสูจน์ว่าข้อสรุปเป็นจริงหรือเท็จ
คำอธิบาย
ในตรรกศาสตร์ การอ้างเหตุผล (argument) ต้องการเซตของ (อย่างน้อย) สองประโยค (หรือ "ประพจน์") เรียกว่า "ข้อตั้ง" พร้อม ๆ กับ (categorical proposition) อีกประโยค (หรือ "ประพจน์") เรียกว่าข้อสรุป โครงสร้างของข้อตั้งสองข้อและข้อสรุปหนึ่งข้อนี้คือโครงสร้างพื้นฐานของการอ้างเหตุผล การอ้างเหตุผลที่ซับซ้อนกว่านี้สามารถใช้ลำดับของกฏต่าง ๆ เพื่อเชื่อมต่อข้อตั้งหลายข้อเข้ากับข้อสรุปข้อเดียว หรือเพื่อหาข้อสรุปจำนวนหนึ่งจากข้อตั้งชุดเดิมที่จะทำตัวเป็นข้อตั้งของข้อสรุปชุดต่อมา ตัวอย่างเช่นการใช้ที่มีอยู่ใน
แอริสตอเติลถือว่าการอ้างเหตุผลเชิงตรรกะใด ๆ สามารถลดรูปจนเหลือข้อตั้งสองข้อและข้อสรุปหนึ่งข้อได้ ข้อตั้งบางครั้งถูกละไว้ ในกรณีนั้นจะเรียกว่าข้อตั้งที่หายไป ตัวอย่างเช่น:
- โสกราตีสเป็นมรรตัยเพราะมนุษย์ทุกคนเป็นมรรตัย
ชัดเจนว่าการกล่าวอ้างที่เข้าใจกันโดยปริยายคือการที่โสกราตีสเป็นมนุษย์ การให้เหตุผลฉบับเต็มจึงเป็น:
- เพราะมนุษย์ทุกคนเป็นมรรตัยและโสกราตัสเป็นมนุษย์ โสกราตีสเป็นมรรตัย
ในตัวอย่างนี้ (clause (logic)) อิสระที่อยู่ก่อนเว้นวรรค (คือ "มนุษย์ทุกคนเป็นมรรตัย" และ "โสกราตีสเป็นมนุษย์") เป็นข้อตั้ง ในขณะที่ "โสกราตีสเป็นมรรตัย" เป็นข้อสรุป
การพิสูจน์ข้อสรุปนี้ขึ้นอยู่กับทั้งความจริงของข้อตั้ง และ (validity (logic)) ของการให้เหตุผล นอกจากนั้น เราต้องการข้อมูลเกี่ยวกับความหมายของข้อตั้งเพิ่มเติมเพื่อพิจารณาว่าความหมายเต็มของข้อสรุปตรงกับข้อสรุปที่ได้มาหรือไม่
ยุคลิดถือว่าสองในสามประพจน์ใน (syllogism) คือข้อตั้ง และประพจน์ที่สามคือข้อสรุป ประพจน์แบบจัดกลุ่มเหล่านี้ประกอบด้วยสามพจน์: ประธานและภาคแสดงของข้อสรุปและพจน์ที่อยู่ตรงกลาง ประธานของข้อสรุปจะเรียกว่าพจน์รองในขณะที่ภาคแสดงเป็นพจน์หลัก ข้อตั้งที่ประกอบด้วยพจน์กลางและพจน์หลักเรียกว่าข้อตั้งหลัก และข้อตั้งที่ประกอบด้วยพจน์กลางและพจน์รองเรียกว่าข้อตั้งรอง ในกรณีของการอ้างเหตุผลก่อนหน้านี้ พจน์หลักคือโสกราตีส พจน์รองคือ(เป็น)มรรตัย และพจน์กลางคือ(เป็น-/-ทุกคน)มนุษย์
ข้อตั้งสามารถเป็นคำบ่งชี้ได้ถ้าข้อความเหล่านั้นถูกรวมเป็นการอ้างเหตุผลเชิงตรรกะ คำจำพวกนี้ทำหน้าที่บ่งชี้บทบาทของข้อความแต่ละข้อ เช่นบ่งชี้ว่าข้อความที่มีคำนั้นอยู่เป็นข้อตั้ง
ดูเพิ่ม
- เหตุภาพ
- (Corresponding conditional)
- (False premise)
อ้างอิง
- Audi, Robert, บ.ก. (1999). The Cambridge Dictionary of Philosophy (2nd ed.). Cambridge: Cambridge University Press. p. 43. ISBN .
Argument: a sequence of statements such that some of them (the premises) purport to give reasons to accept another of them, the conclusion
- (1997). Mathematics : From the Birth of Numbers. New York: W. W. Norton & Company. p. 216. ISBN .
- Byrne, Patrick Hugh (1997). Analysis and Science in Aristotle. New York: State University of New York Press. p. 43. ISBN .
- Ryan, John (2018). Studies in Philosophy and the History of Philosophy, Volume 1. Washington, D.C.: CUA Press. p. 178. ISBN .
- Potts, Robert (1864). Euclid's Elements of Geometry, Book 1. London: Longman, Green, Longman, Roberts, & Green. p. 50.
- Luckhardt, C. Grant; Bechtel, William (1994). How to Do Things with Logic. Hillsdale, NJ: Lawrence Erlbaum Associates, Publishers. p. 13. ISBN .
แหล่งข้อมูลอื่น
wikipedia, แบบไทย, วิกิพีเดีย, วิกิ หนังสือ, หนังสือ, ห้องสมุด, บทความ, อ่าน, ดาวน์โหลด, ฟรี, ดาวน์โหลดฟรี, mp3, วิดีโอ, mp4, 3gp, jpg, jpeg, gif, png, รูปภาพ, เพลง, เพลง, หนัง, หนังสือ, เกม, เกม, มือถือ, โทรศัพท์, Android, iOS, Apple, โทรศัพท์โมบิล, Samsung, iPhone, Xiomi, Xiaomi, Redmi, Honor, Oppo, Nokia, Sonya, MI, PC, พีซี, web, เว็บ, คอมพิวเตอร์
khxtng xngkvs premise khuxkhxkhwamthithukklawxanginkarihehtuphlthicaphisucnwakhxsrupepncringhruxethckhaxthibayintrrksastr karxangehtuphl argument txngkarestkhxng xyangnxy sxngpraoykh hrux praphcn eriykwa khxtng phrxm kb categorical proposition xikpraoykh hrux praphcn eriykwakhxsrup okhrngsrangkhxngkhxtngsxngkhxaelakhxsruphnungkhxnikhuxokhrngsrangphunthankhxngkarxangehtuphl karxangehtuphlthisbsxnkwanisamarthichladbkhxngkttang ephuxechuxmtxkhxtnghlaykhxekhakbkhxsrupkhxediyw hruxephuxhakhxsrupcanwnhnungcakkhxtngchudedimthicathatwepnkhxtngkhxngkhxsrupchudtxma twxyangechnkarichthimixyuin aexristxetilthuxwakarxangehtuphlechingtrrkaid samarthldrupcnehluxkhxtngsxngkhxaelakhxsruphnungkhxid khxtngbangkhrngthuklaiw inkrninncaeriykwakhxtngthihayip twxyangechn oskratisepnmrrtyephraamnusythukkhnepnmrrty chdecnwakarklawxangthiekhaicknodypriyaykhuxkarthioskratisepnmnusy karihehtuphlchbbetmcungepn ephraamnusythukkhnepnmrrtyaelaoskratsepnmnusy oskratisepnmrrty intwxyangni clause logic xisrathixyukxnewnwrrkh khux mnusythukkhnepnmrrty aela oskratisepnmnusy epnkhxtng inkhnathi oskratisepnmrrty epnkhxsrup karphisucnkhxsrupnikhunxyukbthngkhwamcringkhxngkhxtng aela validity logic khxngkarihehtuphl nxkcaknn eratxngkarkhxmulekiywkbkhwamhmaykhxngkhxtngephimetimephuxphicarnawakhwamhmayetmkhxngkhxsruptrngkbkhxsrupthiidmahruxim yukhlidthuxwasxnginsampraphcnin syllogism khuxkhxtng aelapraphcnthisamkhuxkhxsrup praphcnaebbcdklumehlaniprakxbdwysamphcn prathanaelaphakhaesdngkhxngkhxsrupaelaphcnthixyutrngklang prathankhxngkhxsrupcaeriykwaphcnrxnginkhnathiphakhaesdngepnphcnhlk khxtngthiprakxbdwyphcnklangaelaphcnhlkeriykwakhxtnghlk aelakhxtngthiprakxbdwyphcnklangaelaphcnrxngeriykwakhxtngrxng inkrnikhxngkarxangehtuphlkxnhnani phcnhlkkhuxoskratis phcnrxngkhux epn mrrty aelaphcnklangkhux epn thukkhn mnusy khxtngsamarthepnkhabngchiidthakhxkhwamehlannthukrwmepnkarxangehtuphlechingtrrka khacaphwknithahnathibngchibthbathkhxngkhxkhwamaetlakhx echnbngchiwakhxkhwamthimikhannxyuepnkhxtngduephimehtuphaph Corresponding conditional False premise xangxingAudi Robert b k 1999 The Cambridge Dictionary of Philosophy 2nd ed Cambridge Cambridge University Press p 43 ISBN 0 521 63136 X Argument a sequence of statements such that some of them the premises purport to give reasons to accept another of them the conclusion 1997 Mathematics From the Birth of Numbers New York W W Norton amp Company p 216 ISBN 0 393 04002 X Byrne Patrick Hugh 1997 Analysis and Science in Aristotle New York State University of New York Press p 43 ISBN 0791433218 Ryan John 2018 Studies in Philosophy and the History of Philosophy Volume 1 Washington D C CUA Press p 178 ISBN 9780813231129 Potts Robert 1864 Euclid s Elements of Geometry Book 1 London Longman Green Longman Roberts amp Green p 50 Luckhardt C Grant Bechtel William 1994 How to Do Things with Logic Hillsdale NJ Lawrence Erlbaum Associates Publishers p 13 ISBN 0805800751 aehlngkhxmulxunwikikhakhmmikhakhmekiywkb khxtng bthkhwamprchya hrux namthrrmniyngepnokhrng khunsamarthchwywikiphiediyidodykarephimetimkhxmuldkhk