Modus Ponone Ponens: คำอธิบายและตัวอย่าง
modon ponendo ponens เป็นประเภทของการโต้แย้งเหตุผลของการอนุมานเหตุผลเป็นของระบบอย่างเป็นทางการของกฎของการหักของตรรกะเชิงประพจน์ที่รู้จักกันดี โครงสร้างการโต้แย้งนี้เป็นรูปแบบเริ่มต้นที่ถูกส่งในตรรกะเชิงประพจน์และเกี่ยวข้องโดยตรงกับข้อโต้แย้งตามเงื่อนไข
อาร์กิวเมนต์ modus ponendo ponens สามารถมองได้ว่าเป็นคำสอง พยางค์ ซึ่งแทนที่จะใช้คำที่สามเพื่อใช้เป็นลิงค์แทนที่จะใช้ประโยคเงื่อนไขที่เกี่ยวข้องกับองค์ประกอบก่อนหน้าด้วยองค์ประกอบที่ตามมา
ออกจากแบบแผนเราจะเห็น วิธีการวาง ponens เป็นขั้นตอน ( modus ) ของกฎของการหักนั่นคือโดยการยืนยัน ( วาง ) ของแบบอย่างหรือการอ้างอิง (องค์ประกอบก่อนหน้า) จัดการเพื่อยืนยัน ( ponens ) เป็นผลมา หรือข้อสรุป (องค์ประกอบที่ใหม่กว่า)
สูตรที่เหมาะสมนี้เริ่มต้นจากข้อเสนอหรือสถานที่สองแห่ง มันพยายามที่จะสรุปผ่านข้อสรุปเหล่านี้ว่าแม้จะมีข้อ จำกัด และเงื่อนไขในการโต้เถียง แต่ก็ต้องมีการยืนยันซ้ำสองครั้ง - ทั้งสองคำที่นำหน้ามันและของตัวเอง - เพื่อให้สามารถพิจารณาผลที่ตามมาได้
การเริ่มต้น
โหมดการยืนยันนี้ซึ่งเป็นส่วนหนึ่งของการประยุกต์ใช้ตรรกะการอนุมาน, มีต้นกำเนิดในสมัยโบราณ ปรากฏขึ้นด้วยมือของนักปรัชญาชาวกรีกอริสโตเติลแห่งเอสตาจิราศตวรรษที่ 4 ซี
อริสโตเติลที่เสนอให้กับ modon ponens - มันยังถูกเรียกว่า - เพื่อให้ได้ข้อสรุปที่สมเหตุสมผลผ่านการตรวจสอบความถูกต้องของทั้งแบบอย่างและผลสืบเนื่องในหลักฐาน ในกระบวนการนี้สิ่งที่เกิดขึ้นก่อนหน้าจะถูกกำจัดออกไป
นักคิดชาวกรีกต้องการวางรากฐานของการใช้เหตุผลเชิงเหตุผลเพื่ออธิบายและสร้างแนวคิดเกี่ยวกับปรากฏการณ์ทั้งหมดใกล้เคียงกับการมีอยู่ของมนุษย์ซึ่งเป็นผลมาจากการมีปฏิสัมพันธ์กับสิ่งแวดล้อม
นิรุกติศาสตร์
ponendo modus ponendo มีรากฐานในภาษาละติน ในภาษาสเปนความหมายของมันคือ: "วิธีการที่ยืนยัน (ยืนยัน), ยืนยัน (ยืนยัน)" เพราะตามที่ระบุไว้ข้างต้นมันประกอบด้วยสององค์ประกอบ (แบบอย่างและเป็นผลสืบเนื่อง) ยืนยันในโครงสร้างของมัน
คำอธิบาย
โดยทั่วไปแล้ว modon ponendo ponens มีความสัมพันธ์สองข้อเสนอ: เงื่อนไขก่อนหน้าซึ่งเรียกว่า "P" และเงื่อนไขแบบมีเงื่อนไขที่ได้รับชื่อ "Q"
มันเป็นสิ่งสำคัญที่สถานที่ตั้ง 1 เสมอนำเสนอรูปแบบปรับอากาศ "if-then" "ถ้า" ไปก่อนที่บรรพบุรุษและ "จากนั้น" ไปก่อนที่จะตามมา
สูตรมันดังต่อไปนี้:
สถานที่ตั้ง 1: ถ้า "P" ดังนั้น "Q"
สถานที่ 2: "P"
สรุป: "Q"
ตัวอย่าง
ตัวอย่างแรก
สถานที่ 1: "ถ้าคุณต้องการผ่านการสอบในวันพรุ่งนี้คุณจะต้องศึกษามาก ๆ "
สถานที่ 2: "คุณต้องการผ่านการสอบในวันพรุ่งนี้"
การสรุป: "ดังนั้นคุณต้องศึกษาให้มาก"
ตัวอย่างที่สอง
สถานที่ 1: "ถ้าคุณต้องการไปโรงเรียนอย่างรวดเร็วคุณต้องใช้เส้นทางนั้น"
สถานที่ 2: "คุณต้องการไปโรงเรียนอย่างรวดเร็ว"
การสรุป: "ดังนั้นคุณต้องใช้เส้นทางนั้น"
ตัวอย่างที่สาม
สถานที่ 1: "ถ้าคุณอยากกินปลาคุณควรไปหาซื้อในตลาด"
สถานที่ 2: "คุณอยากกินปลา"
การสรุป: "ดังนั้นคุณต้องไปซื้อในตลาด"
ตัวแปรและตัวอย่าง
ponendo modus ponendo อาจมีความหลากหลายในสูตรของมัน ถัดไปตัวแปรที่พบมากที่สุดสี่รายการพร้อมตัวอย่างที่เกี่ยวข้องจะถูกนำเสนอ
ตัวแปร 1
สถานที่ตั้ง 1: ถ้า "P" ดังนั้น "Q"
สถานที่ 2: "P"
สรุป: "Q"
ในกรณีนี้สัญลักษณ์ "" คล้ายกับการปฏิเสธของ "Q"
ตัวอย่างแรก
สถานที่ 1: "ถ้าคุณกินต่อไปเรื่อย ๆ คุณจะไม่ได้รับน้ำหนักในอุดมคติ"
สถานที่ 2: "คุณยังคงกินอย่างนั้นอยู่"
สรุป: "ดังนั้นคุณจะไม่ได้รับน้ำหนักในอุดมคติของคุณ"
ตัวอย่างที่สอง
สถานที่ 1: "ถ้าคุณกินเกลือมาก ๆ คุณจะไม่สามารถควบคุมความดันโลหิตสูงได้"
สถานที่ 2: "คุณยังคงกินเกลืออยู่มาก"
สรุป: "ดังนั้นคุณจะไม่สามารถควบคุมความดันโลหิตสูงได้"
ตัวอย่างที่สาม
สถานที่ 1: "ถ้าคุณกำลังดูถนนอยู่คุณจะไม่หลงทาง"
สถานที่ 2: "คุณกำลังดูถนนอยู่"
สรุป: "ดังนั้นคุณจะไม่สูญเสีย"
ตัวแปร 2
สถานที่ตั้ง 1: ถ้า "P" ^ "R" ดังนั้น "Q"
สถานที่ 2: "P" ^
สรุป: "Q"
ในกรณีนี้สัญลักษณ์ "^" หมายถึงการรวมร่วมกัน "และ" ในขณะที่ "R" มาเพื่อเป็นตัวแทนของคนอื่นที่เพิ่มเข้ามาเพื่อตรวจสอบ "Q" นั่นคือเราอยู่ในสภาพที่เป็นสองเท่า
ตัวอย่างแรก
สถานที่ 1: "ถ้าคุณกลับบ้านและนำป๊อปคอร์นมาเราจะดูหนัง"
สถานที่ 2: "คุณกลับบ้านและนำป๊อปคอร์นมาด้วย"
สรุป: "ดังนั้นเราจะดูหนัง"
ตัวอย่างที่สอง
สถานที่ 1: "ถ้าคุณเมาแล้วเห็นโทรศัพท์มือถือคุณจะพัง"
สถานที่ 2: "คุณเมาแล้วเห็นโทรศัพท์มือถือ"
สรุป: "ดังนั้นคุณจะผิดพลาด"
ตัวอย่างที่สาม
สถานที่ 1: "ถ้าคุณดื่มกาแฟและกินช็อคโกแลตคุณจะดูแลหัวใจของคุณ"
สถานที่ 2: "ดื่มกาแฟและกินช็อคโกแลต"
สรุป: "ดังนั้นคุณกำลังดูแลหัวใจของคุณ"
ตัวแปร 3
สถานที่ตั้ง 1: ถ้า "P" ดังนั้น "Q"
สถานที่ 2: "P"
สรุป: "Q"
ในกรณีนี้สัญลักษณ์ "" คล้ายกับการปฏิเสธของ "P"
ตัวอย่างแรก
ข้อสมมติฐานที่ 1: "ถ้าคุณไม่ได้ศึกษาเสียงสระจากสระคุณจะสอบภาษาศาสตร์ไม่ได้"
ข้อ 2: "คุณไม่ได้ศึกษาความสอดคล้องของสระ"
สรุป: "ดังนั้นคุณจะสอบภาษาศาสตร์ไม่ได้"
ตัวอย่างที่สอง
สถานที่ 1: "ถ้าคุณไม่ให้อาหารกับนกแก้วมันก็จะตาย"
สถานที่ 2: "คุณไม่ให้อาหารกับนกแก้ว"
สรุป: "ดังนั้นเขาจะตาย"
ตัวอย่างที่สาม
สถานที่ 1: "ถ้าคุณไม่ดื่มน้ำคุณจะขาดน้ำ"
ข้อ 2: "อย่าดื่มน้ำ"
สรุป: "ดังนั้นคุณจะกลายเป็นขาดน้ำ"
ตัวแปร 4
สถานที่ตั้ง 1: ถ้า "P" ดังนั้น "Q" ^ "R"
สถานที่ 2: "P"
สรุป: "Q" ^ "R"
ในกรณีนี้สัญลักษณ์ "^" หมายถึงการรวมร่วมกัน "และ" ในขณะที่ "R" หมายถึงผลสืบเนื่องที่สองในข้อเสนอ; ดังนั้นสิ่งที่มาก่อนจะยืนยันสองผลลัพธ์ในเวลาเดียวกัน
ตัวอย่างแรก
สถานที่ 1: "ถ้าคุณทำดีต่อคุณแม่คุณพ่อของคุณจะนำกีตาร์และสายของเขามาให้คุณ"
ข้อ 2: "คุณดีกับคุณแม่"
สรุป: "ดังนั้นพ่อของคุณจะนำกีตาร์และสายกีตาร์มาให้คุณ"
ตัวอย่างที่สอง
สถานที่ 1: "ถ้าคุณฝึกว่ายน้ำคุณจะต้องเพิ่มความอดทนและลดน้ำหนัก"
สมมติฐาน 2: "คุณฝึกว่ายน้ำ"
สรุป: "ดังนั้นคุณจะปรับปรุงความอดทนและลดน้ำหนัก"
ตัวอย่างที่สาม
สถานที่ 1: "ถ้าคุณได้อ่านบทความนี้ใน Lifeder คุณจะได้เรียนรู้และเตรียมพร้อมมากขึ้น"
สถานที่ 2: "คุณอ่านบทความนี้ใน Lifeder แล้ว"
สรุป: "ดังนั้นคุณได้เรียนรู้และคุณพร้อมมากขึ้น"
Modus ponens เป็นเส้นทางสู่ตรรกะ
ponens modus แสดงถึงกฎข้อแรกของตรรกะเชิงประพจน์ เป็นแนวคิดที่เริ่มต้นจากสถานที่ที่เข้าใจง่ายเปิดการทำความเข้าใจการใช้เหตุผลอย่างลึกซึ้งยิ่งขึ้น
แม้จะเป็นหนึ่งในทรัพยากรที่ใช้มากที่สุดในโลกของตรรกะก็ไม่สามารถสับสนกับกฎหมายตรรกะ; มันเป็นเพียงวิธีการในการทำรายละเอียดของหลักฐานเชิงอนุมาน
เมื่อระงับประโยคของข้อสรุป modon ponens จะหลีกเลี่ยงการเกาะติดกันและการต่อกันอย่างกว้างขวางขององค์ประกอบเมื่อทำการหัก สำหรับคุณภาพนั้นจะเรียกว่า "กฎการแยก"
modon ponendo ponens เป็นทรัพยากรที่ขาดไม่ได้สำหรับความรู้เต็มรูปแบบของตรรกะ Aristotelian