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