หุ้น:
คำอธิบายและตัวอย่างของ Modus Ponendo Ponens
วิธีการสมัครสมาชิก มันเป็นชนิดของการโต้แย้งเชิงตรรกะของการอนุมานเหตุผลเป็นของระบบอย่างเป็นทางการของกฎการหักของตรรกะเชิงประพจน์ที่รู้จักกันดี โครงสร้างการโต้แย้งนี้เป็นรูปแบบเริ่มต้นที่ถูกส่งในตรรกะเชิงประพจน์และเกี่ยวข้องโดยตรงกับข้อโต้แย้งตามเงื่อนไข.
ข้อโต้แย้ง วิธีการสมัครสมาชิก มันสามารถถูกมองว่าเป็นสอง - ขา syllogism ซึ่งแทนที่จะใช้คำที่สามเพื่อทำหน้าที่เป็นลิงก์แทนที่จะใช้ประโยคเงื่อนไขที่เกี่ยวข้องกับองค์ประกอบที่สืบเนื่องมาก่อนองค์ประกอบ.
ออกจากแบบแผนเราจะเห็น วิธีการสมัครสมาชิก เป็นขั้นตอน (วิธีการทำงาน) ของกฎการหักเงินซึ่งโดยวิธีการยืนยัน (ponendo) ของอดีตหรือการอ้างอิง (องค์ประกอบก่อนหน้า) จัดการเพื่อยืนยัน (ponens) เป็นผลลัพธ์หรือข้อสรุป (องค์ประกอบภายหลัง).
สูตรที่เหมาะสมนี้เริ่มต้นจากข้อเสนอหรือสถานที่สองแห่ง มันพยายามที่จะสรุปข้อสรุปเหล่านี้ว่าแม้จะมีข้อ จำกัด และเงื่อนไขในการโต้เถียงต้องมีการยืนยันสองครั้ง - ทั้งสองคำที่นำหน้ามันและตัวเอง - เพื่อให้สามารถพิจารณาผลที่ตามมา.
ดัชนี
- 1 ต้นกำเนิด
- 1.1 นิรุกติศาสตร์
- 2 คำอธิบาย
- 3 ตัวอย่าง
- 3.1 ตัวอย่างแรก
- 3.2 ตัวอย่างที่สอง
- 3.3 ตัวอย่างที่สาม
- 4 ตัวแปรและตัวอย่าง
- 4.1 ตัวแปร 1
- 4.2 ตัวแปร 2
- 4.3 ชุดตัวเลือก 3
- 4.4 ตัวแปร 4
- 5 Modus ponens เป็นเส้นทางสู่ตรรกะ
- 6 อ้างอิง
การเริ่มต้น
โหมดการยืนยันนี้ซึ่งเป็นส่วนหนึ่งของการประยุกต์ใช้ตรรกะการอนุมาน, มีต้นกำเนิดในสมัยโบราณ ปรากฏขึ้นด้วยมือของนักปรัชญาชาวกรีกอริสโตเติลแห่งเอสตาจิราศตวรรษที่ 4 C.
อริสโตเติลยกด้วย วิธีการทำงาน -ตามที่เรียกอีกอย่างว่า - เพื่อให้ได้ข้อสรุปที่สมเหตุสมผลผ่านการตรวจสอบความถูกต้องของทั้งแบบอย่างและผลสืบเนื่องในหลักฐาน ในกระบวนการนี้สิ่งที่เกิดขึ้นก่อนหน้าจะถูกกำจัดออกไป.
นักคิดชาวกรีกต้องการวางรากฐานของการใช้เหตุผลเชิงเหตุผลเพื่ออธิบายและสร้างแนวคิดเกี่ยวกับปรากฏการณ์ทั้งหมดใกล้เคียงกับการดำรงอยู่ของมนุษย์ผลิตภัณฑ์ของการมีปฏิสัมพันธ์กับสภาพแวดล้อม.
นิรุกติศาสตร์
วิธีการสมัครสมาชิก มันมีรากเป็นภาษาละติน ในภาษาสเปนความหมายของมันคือ: "วิธีการที่ยืนยัน (ยืนยัน), ยืนยัน (ยืนยัน)" เพราะตามที่ระบุไว้ก่อนหน้านี้มันประกอบด้วยสององค์ประกอบ (ก่อนและผลสืบเนื่อง) ยืนยันในการสร้าง.
คำอธิบาย
โดยทั่วไปแล้ว วิธีการสมัครสมาชิก สหพันธรัฐสองข้อเสนอ: ปรับอากาศก่อนที่จะเรียกว่า "P" และเงื่อนไขที่ได้รับชื่อ "คิว".
มันเป็นสิ่งสำคัญที่สถานที่ตั้ง 1 มักจะนำเสนอรูปแบบปรับอากาศ "if-then"; "ถ้า" ไปก่อนที่บรรพบุรุษและ "จากนั้น" ไปก่อนที่จะตามมา.
สูตรมันดังต่อไปนี้:
สถานที่ตั้ง 1: ถ้า "P" ดังนั้น "Q".
สถานที่ 2: "P".
สรุป: "Q".
ตัวอย่าง
ตัวอย่างแรก
สถานที่ 1: "ถ้าคุณต้องการสอบผ่านพรุ่งนี้คุณต้องเรียนให้มาก".
สถานที่ 2: "คุณต้องการผ่านการสอบในวันพรุ่งนี้".
สรุป: "ดังนั้นคุณต้องศึกษามาก ๆ ".
ตัวอย่างที่สอง
สถานที่ 1: "ถ้าคุณต้องการไปโรงเรียนอย่างรวดเร็วคุณต้องใช้ถนนสายนั้น".
สถานที่ 2: "คุณต้องการไปโรงเรียนอย่างรวดเร็ว".
การสรุป: "ดังนั้นคุณต้องใช้ถนนสายนั้น".
ตัวอย่างที่สาม
สถานที่ 1: "ถ้าคุณต้องการกินปลาคุณควรไปซื้อในตลาด".
สถานที่ 2: "คุณอยากกินปลา".
การสรุป: "ดังนั้นคุณต้องไปซื้อในตลาด"
ตัวแปรและตัวอย่าง
วิธีการสมัครสมาชิก อาจนำเสนอสายพันธุ์เล็ก ๆ ในสูตรของมัน ถัดไปตัวแปรที่พบมากที่สุดสี่รายการพร้อมตัวอย่างที่เกี่ยวข้องจะถูกนำเสนอ.
ตัวแปร 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".
สรุป: "ดังนั้นคุณได้เรียนรู้และเตรียมพร้อมมากขึ้น".
วิธีการทำงาน, เส้นทางสู่ตรรกะ
วิธีการทำงาน แสดงถึงกฎข้อแรกของตรรกะเชิงประพจน์ เป็นแนวคิดที่เริ่มต้นจากสถานที่ที่เข้าใจง่ายเปิดการทำความเข้าใจการใช้เหตุผลอย่างลึกซึ้งยิ่งขึ้น.
แม้จะเป็นหนึ่งในทรัพยากรที่ใช้มากที่สุดในโลกของตรรกะก็ไม่สามารถสับสนกับกฎหมายตรรกะ; มันเป็นเพียงวิธีการสำหรับการทำรายละเอียดของหลักฐานการอนุมาน.
โดยการลบคำตัดสินออกจากข้อสรุป วิธีการทำงาน หลีกเลี่ยงการเกาะติดกันและองค์ประกอบที่ต่อกันเมื่อทำการหัก สำหรับคุณภาพนั้นเรียกว่า "กฎการแยก".
วิธีการสมัครสมาชิก มันเป็นทรัพยากรที่ขาดไม่ได้สำหรับความรู้เต็มรูปแบบของตรรกะ Aristotelian.
การอ้างอิง
- Ferrater Mora, J. (1969) พจนานุกรมปรัชญา บัวโนสไอเรส: สเปน สืบค้นจาก: hispanoteca.eu.
- วิธีการวางลูกม้า (เอส. f.) สเปน: Webnode สืบค้นจาก: ley-de-inferencia5.webnode.es.
- วิธีการวางลูกม้า (เอส. f.) (n / a): Wikipedia สืบค้นจาก: wikipedia.org.
- กฎของการอนุมานและความเท่าเทียม (เอส. f.) เม็กซิโก: UPAV สืบค้นจาก: universidadupav.edu.mx.
- Mazón, R. (2015) วางม้า เม็กซิโก: Super Mileto กู้คืนจาก: supermileto.blogspot.com.