- ต้นกำเนิด
- นิรุกติศาสตร์
- คำอธิบาย
- ตัวอย่าง
- ตัวอย่างแรก
- ตัวอย่างที่สอง
- ตัวอย่างที่สาม
- ตัวแปรและตัวอย่าง
- ตัวแปร 1
- ตัวอย่างแรก
- ตัวอย่างที่สอง
- ตัวอย่างที่สาม
- ตัวแปร 2
- ตัวอย่างแรก
- ตัวอย่างที่สอง
- ตัวอย่างที่สาม
- ตัวแปร 3
- ตัวอย่างแรก
- ตัวอย่างที่สอง
- ตัวอย่างที่สาม
- ตัวแปร 4
- ตัวอย่างแรก
- ตัวอย่างที่สอง
- ตัวอย่างที่สาม
- อ้างอิง
วิธี ponens ponendoเป็นประเภทของการโต้แย้งตรรกะของการอนุมานเหตุผลที่อยู่ในระบบอย่างเป็นทางการของกฎหักที่รู้จักกันดีแคลคูลัสเชิงประพจน์ โครงสร้างอาร์กิวเมนต์นี้เป็นแนวทางเริ่มต้นที่ถ่ายทอดในตรรกะเชิงประพจน์และเกี่ยวข้องโดยตรงกับอาร์กิวเมนต์ที่มีเงื่อนไข
อาร์กิวเมนต์ modus ponendo ponens สามารถมองได้ว่าเป็น syllogism แบบสองขาซึ่งแทนที่จะใช้คำที่สามที่ทำหน้าที่เป็นตัวเชื่อมแทนที่จะใช้ประโยคเงื่อนไขที่เกี่ยวข้องกับองค์ประกอบก่อนหน้ากับองค์ประกอบที่ตามมา
อริสโตเติลบิดาแห่งตรรกะทางปรัชญา
ออกจากแบบแผนเราสามารถเห็น modus ponendo ponens เป็นขั้นตอน (วิธีการ) ของกฎการหักซึ่งผ่านการยืนยัน (วาง) ของก่อนหน้าหรือการอ้างอิง (องค์ประกอบก่อนหน้า) สามารถยืนยัน (ponens) ต่อผลลัพธ์ที่ตามมาได้ หรือข้อสรุป (องค์ประกอบที่ตามมา)
การกำหนดที่สมเหตุสมผลนี้เริ่มต้นจากสองข้อเสนอหรือสถานที่ มันพยายามที่จะสามารถสรุปผ่านข้อสรุปเหล่านี้ว่าแม้จะมีความหมายโดยนัยและเงื่อนไขภายในข้อโต้แย้ง แต่ก็ต้องการการยืนยันสองครั้ง - ทั้งสองคำที่นำหน้ามันและของตัวมันเอง - เพื่อที่จะได้รับการพิจารณาผลที่ตามมา
ต้นกำเนิด
โหมดยืนยันนี้ซึ่งเป็นส่วนหนึ่งของการประยุกต์ใช้ตรรกศาสตร์นิรนัยมีต้นกำเนิดในสมัยโบราณ ปรากฎจากมือของนักปรัชญาชาวกรีก Aristotle de Estagira จากศตวรรษที่ 4 ก่อนคริสต์ศักราช ค.
อริสโตเติลเสนอด้วย modus ponens - เรียกอีกอย่างว่า - ได้รับข้อสรุปที่มีเหตุผลผ่านการตรวจสอบความถูกต้องของทั้งแบบอย่างและผลที่ตามมาในหลักฐาน ในกระบวนการนี้สิ่งที่เกิดขึ้นก่อนหน้าจะถูกกำจัดทิ้งไว้เพียงผลที่ตามมา
นักคิดชาวเฮลเลนิกต้องการวางรากฐานของการใช้เหตุผลเชิงพรรณนาเชิงพรรณนาเพื่ออธิบายและกำหนดแนวความคิดของปรากฏการณ์ทั้งหมดที่ใกล้เคียงกับการดำรงอยู่ของมนุษย์ซึ่งเป็นผลมาจากปฏิสัมพันธ์ของเขากับสิ่งแวดล้อม
นิรุกติศาสตร์
modus ponendo ponens มีรากฐานมาจากภาษาละติน ในภาษาสเปนมีความหมายว่า: "วิธีการที่ยืนยัน (ยืนยัน) ยืนยัน (ยืนยัน)" เนื่องจากตามที่ระบุไว้ข้างต้นประกอบด้วยสององค์ประกอบ (ก่อนหน้าและผลที่ตามมา) ที่ยืนยันในการจัดโครงสร้าง
คำอธิบาย
โดยทั่วไปแล้ว modus ponendo ponens มีความสัมพันธ์กับสองประพจน์คือเงื่อนไขก่อนหน้านี้ที่เรียกว่า "P" และผลที่ตามเงื่อนไขที่เรียกว่า "Q"
เป็นสิ่งสำคัญที่หลักฐาน 1 จะมีรูปแบบเงื่อนไข "if-then" เสมอ "if" อยู่ก่อนหน้าและ "แล้ว" จะอยู่ก่อนผลที่ตามมา
สูตรมีดังนี้:
สถานที่ 1: ถ้า "P" แล้ว "Q"
สถานที่ 2: "ป".
สรุป: "Q".
ตัวอย่าง
ตัวอย่างแรก
สถานที่ 1: "ถ้าพรุ่งนี้คุณอยากสอบให้ผ่านก็ต้องตั้งใจเรียน"
สถานที่ 2: "พรุ่งนี้คุณอยากสอบให้ผ่าน"
บทสรุป: "ดังนั้นคุณต้องตั้งใจเรียน"
ตัวอย่างที่สอง
สถานที่ 1: "ถ้าอยากไปโรงเรียนเร็วก็ต้องไปตามนั้น"
สถานที่ 2: "คุณอยากไปโรงเรียนเร็ว"
สรุป: "ดังนั้นคุณต้องใช้เส้นทางนั้น"
ตัวอย่างที่สาม
สถานที่ 1: "ถ้าอยากกินปลาก็ไปซื้อของที่ตลาด"
สถานที่ 2: "คุณอยากกินปลา"
สรุป: "เพราะฉะนั้นต้องไปซื้อในตลาด"
ตัวแปรและตัวอย่าง
ponens 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 จะหลีกเลี่ยงการรวมตัวกันอย่างกว้างขวางและการเรียงต่อกันขององค์ประกอบเมื่อทำการหักเงิน สำหรับคุณภาพนี้เรียกอีกอย่างว่า "กฎแห่งการแยก"
modus ponendo ponens เป็นทรัพยากรที่ขาดไม่ได้สำหรับความรู้เต็มรูปแบบเกี่ยวกับตรรกะของอริสโตเติล
อ้างอิง
- เฟอร์ราเทอร์โมราเจ (2512). พจนานุกรมปรัชญา. บัวโนสไอเรส: Hispanoteca ดึงมาจาก: hispanoteca.eu.
- โมดัสวางม้า (ส. ฉ.). สเปน: Webnode กู้คืนจาก: law-de-inferencia5.webnode.es.
- โมดัสวางม้า (ส. ฉ.). (n / a): Wikipedia สืบค้นจาก: wikipedia.org.
- กฎของการอนุมานและความเท่าเทียมกัน (ส. ฉ.). เม็กซิโก: UPAV กู้คืนจาก: universidadupav.edu.mx.
- Mazón, R. (2015). การใส่ม้า เม็กซิโก: Super Mileto สืบค้นจาก: supermileto.blogspot.com.