จากข้อมูลรูปธรรมสู่แบบรูปและกฎนามธรรม
ความหมายและองค์ประกอบของการคิดเชิงนามธรรม — การคิดเชิงนามธรรมคือความสามารถในการแยกโครงสร้าง ความสัมพันธ์ กฎ และคุณสมบัติที่สําคัญออกจากรายละเอียดเฉพาะหน้า แล้วใช้ตัวแทน เช่น คํา สัญลักษณ์ แผนภาพ หรือแบบจําลอง เพื่อพิจารณาสถานการณ์หลายรูปแบบด้วยหลักเดียวกัน ความสามารถนี้ไม่ใช่การละทิ้งข้อเท็จจริง แต่เป็นการเลือกว่าองค์ประกอบใดจําเป็นต่อการให้เหตุผลและองค์ประกอบใดสามารถพักไว้ชั่วคราวได้ การทําให้อยู่ในรูปนามธรรม มักประกอบด้วยการระบุหน่วยที่ต้องพิจารณา คุณลักษณะของแต่ละหน่วย ความสัมพันธ์ระหว่างหน่วย เงื่อนไขหรือข้อจํากัด และผลที่ต้องอธิบาย จากนั้นแทนรายละเอียดด้วยตัวแปร หมวดหมู่ หรือรูปแบบที่จัดการได้ การลดรายละเอียดมากเกินไปอาจทําให้แบบจําลองไม่ตรงสถานการณ์ ส่วนการเก็บทุกอย่างไว้พร้อมกันทําให้ไม่เห็นโครงสร้างหลัก การคิดประเภทนี้เชื่อมการรับรู้ภาษา ตรรกะ คณิตศาสตร์ มิติสัมพันธ์ ความจําใช้งาน และการควบคุมกระบวนการคิด บุคคลต้องแปลข้อมูลจากรูปแบบหนึ่งไปยังอีกแบบหนึ่ง รักษาความหมายเดิม เปรียบเทียบทางเลือก และตรวจว่าข้อสรุปเป็นผลจากข้อมูลจริงหรือจากสิ่งที่ตนเติมเข้าไป การได้คําตอบตรงโดยบังเอิญจึงต่างจากการมีเหตุผลที่ตรวจสอบและใช้ซ้ําได้
กรอบ OECD แยกวงจรการแก้ปัญหาเป็นการสร้างรูปแทน ใช้แนวคิดหรือวิธีดําเนินการ และตีความพร้อมประเมินผลกลับสู่บริบท กระบวนการนี้เน้นว่าคําตอบเชิงสัญลักษณ์ต้องได้รับการตรวจความสมเหตุสมผลกับสถานการณ์เดิมเสมอ แบบจําลองทุกชนิดมีขอบเขต เพราะเน้นคุณสมบัติบางด้านและละเว้นบางด้านเพื่อให้วิเคราะห์ได้ หน่วยข้อมูล คุณลักษณะ ความสัมพันธ์ และกฎ — หน่วยข้อมูลอาจเป็นคํา บุคคล วัตถุ ตําแหน่ง เหตุการณ์ หรือรูปภาพ แต่ละหน่วยมีคุณลักษณะ เช่น ประเภท จํานวน สี ทิศ หรือสถานะ และเชื่อมกันด้วยความสัมพันธ์ เช่น เป็นส่วนหนึ่งของ เป็นสาเหตุของ อยู่ก่อน ตรงข้าม คล้าย หรือแปลงไปเป็น การแยกหน่วยออกจากความสัมพันธ์ช่วยไม่ให้คุณสมบัติของสิ่งหนึ่งถูกนําไปปนกับความสัมพันธ์ระหว่างสองสิ่ง ความสัมพันธ์แบบมีทิศทาง เช่น มากกว่า อยู่เหนือ เป็นสาเหตุ หรือมาก่อน ต้องรักษาลําดับของสมาชิก การกลับตําแหน่งทําให้ความหมายเปลี่ยน ส่วนความสัมพันธ์แบบสมมาตร เช่น เท่ากัน เป็นพี่น้อง หรือขนาน อาจสลับสมาชิกแล้วความสัมพันธ์ยังคงอยู่ การจําแนกคุณสมบัตินี้มีผลต่อการอนุมานว่าความสัมพันธ์ใดกลับทิศหรือส่งต่อได้ ความสัมพันธ์บางชนิดมีสมบัติส่งผ่าน เช่น ถ้า A มากกว่า B และ B มากกว่า C ย่อมได้ว่า A มากกว่า C แต่ความใกล้ชิด ความชอบ หรือการเป็นเพื่อนมักไม่ส่งผ่านโดยอัตโนมัติ
ความสัมพันธ์บางอย่างสะท้อนตนเองหรือไม่สะท้อนตนเอง และบางอย่างกําหนดให้สมาชิกอยู่ร่วมกันไม่ได้ การใช้สมบัติเหล่านี้ต้องพิจารณาความหมายจริง ไม่ใช่อนุมานจากรูปประโยคที่คล้ายกัน กฎคือข้อความทั่วไปที่กําหนดการเปลี่ยนแปลงหรือข้อจํากัด อาจเป็นกฎเดี่ยว กฎประกอบ กฎสลับตามตําแหน่ง หรือกฎที่ทํางานพร้อมกันหลายมิติ กฎที่ดีต้องอธิบายข้อมูลที่ปรากฏครบ มีข้อยกเว้นน้อย และไม่เพิ่มเงื่อนไขเกินจําเป็น แต่ความเรียบง่ายไม่รับรองความจริงเสมอ จึงต้องตรวจว่ามีกฎอื่นซึ่งสอดคล้องกับข้อมูลเท่ากันหรือไม่ ความสัมพันธ์เชิงคําและการจัดหมวดความหมาย — ความสัมพันธ์ระหว่างคําอาจเป็นชนิดกับสมาชิก หมวดใหญ่กับหมวดย่อย สิ่งของกับส่วนประกอบ วัตถุกับหน้าที่ ผู้กระทํากับการกระทํา เครื่องมือกับผลผลิต สาเหตุกับผล ระดับความเข้ม ตําแหน่ง เวลา หรือคําตรงข้าม การระบุเพียงว่าคําสองคําเกี่ยวข้องกันยังไม่พอ ต้องบอกชนิด ทิศทาง และระดับความเฉพาะของความสัมพันธ์ให้ชัด ความหมายของคําขึ้นกับบริบท คําเดียวอาจเป็นคํานาม กริยา คําเฉพาะทาง หรือมีความหมายเชิงเปรียบเทียบ จึงต้องตรวจชนิดคํา ขอบเขตความหมาย และระดับภาษา ก่อนจัดความสัมพันธ์
คําที่ดูคล้ายกันทางเสียงหรือมักปรากฏร่วมกันไม่ได้หมายความว่ามีโครงสร้างเชิงความหมายเดียวกัน การเชื่อมโยงจากความคุ้นเคยอาจทําให้ละเลยความสัมพันธ์ที่แม่นกว่า การจัดหมวดหมู่ ต้องกําหนดเกณฑ์ร่วมที่สมาชิกทุกตัวมีและแยกออกจากสิ่งที่ไม่อยู่ในหมวด เกณฑ์อาจอิงคุณสมบัติจําเป็น คุณสมบัติเด่น หน้าที่ หรือความคล้ายกับต้นแบบ หมวดบางประเภทมีขอบเขตแน่น เช่น จํานวนคู่ ส่วนหมวดธรรมชาติและสังคมอาจมีสมาชิกชายขอบ การสรุปจึงต้องแยกว่ากําลังใช้คํานิยามตายตัวหรือการจําแนกตามความคล้าย ความสัมพันธ์ลําดับชั้นต้องรักษาระดับให้เทียบกัน เช่น ประเภทกับตัวอย่าง หรือองค์รวมกับส่วนย่อย หากคู่หนึ่งเป็นประเทศกับเมืองหลวง แต่อีกคู่เป็นทวีปกับประเทศ แม้คําทั้งหมดเกี่ยวข้องทางภูมิศาสตร์ก็ไม่ใช่ความสัมพันธ์ระดับเดียวกัน การตรวจระดับนามธรรมช่วยแยกความสอดคล้องเชิงโครงสร้างออกจากความเกี่ยวข้องแบบกว้าง อุปมานและการถ่ายโอนโครงสร้าง — อุปมาน เป็นการจับคู่ระหว่างระบบต้นทางกับระบบเป้าหมาย โดยรักษาความสัมพันธ์ที่สําคัญระหว่างองค์ประกอบ ไม่ใช่เพียงหาคําหรือภาพที่มีลักษณะผิวคล้ายกัน โครงสร้างพื้นฐานอาจเป็นวัตถุกับหน้าที่ เหตุกับผล ลําดับชั้น การเปลี่ยนสถานะ หรือความสัมพันธ์หลายชั้น การจับคู่ที่ถูกต้องต้องรักษาบทบาทและทิศทางของสมาชิกในทั้งสองระบบ
การประเมินอุปมานพิจารณาความเกี่ยวข้องของความเหมือน จํานวนและความสําคัญของความต่าง ความรู้พื้นฐานเกี่ยวกับทั้งสองระบบ และความแข็งแรงของข้อสรุป ความเหมือนจํานวนมากแต่ไม่เกี่ยวกับคุณสมบัติที่สรุปอาจให้น้ําหนักน้อยกว่าความเหมือนเชิงเหตุหรือโครงสร้างเพียงไม่กี่ประการ ความเหมือนเชิงโครงสร้าง จึงมักสําคัญกว่าความเหมือนด้านรูปลักษณ์ อุปมานช่วยสร้างสมมติฐานและถ่ายโอนแนวทางแก้ปัญหา แต่ข้อสรุปโดยทั่วไปไม่ได้ตามมาด้วยความจําเป็นทางตรรกะ ต้องตรวจความแตกต่างที่อาจหักล้าง ความสัมพันธ์เบื้องหลัง และตัวอย่างตรงข้าม ยิ่งระบบเป้าหมายมีเงื่อนไขที่ไม่มีในระบบต้นทาง ยิ่งต้องลดความมั่นใจหรือจํากัดข้อสรุปให้แคบลง เมื่ออุปมานอยู่ในรูป A สัมพันธ์กับ B เช่นเดียวกับ C สัมพันธ์กับสิ่งใด การวิเคราะห์ควรบอกความสัมพันธ์ของคู่แรกเป็นประโยคที่ชัด แล้วใช้ประโยคเดียวกับคู่ที่สอง หากมีหลายความสัมพันธ์ที่เป็นจริง ให้เลือกความสัมพันธ์ที่เฉพาะ สม่ําเสมอ และอธิบายองค์ประกอบครบ การเลือกจากความเชื่อมโยงทางหัวข้ออย่างเดียวอาจได้คู่ที่ดูคุ้นแต่ไม่รักษากฎ แบบรูป ลําดับ และการสร้างกฎทั่วไป — แบบรูปคือความสม่ําเสมอของค่าหรือคุณลักษณะที่เปลี่ยนตามตําแหน่ง อาจเกิดจากการเพิ่ม ลด คูณ หาร สลับกลุ่ม ซ้อนสองลําดับ เปลี่ยนตามผลต่าง
หรือดําเนินการกับหลายมิติพร้อมกัน การวิเคราะห์ต้องแยกข้อมูลตามตําแหน่ง ตรวจหน่วยและทิศทาง แล้วพิจารณาว่ากฎเดียวอธิบายสมาชิกทั้งหมดหรือจําเป็นต้องมีกฎย่อยที่ระบุได้ชัด ผลต่างและอัตราส่วน เป็นเครื่องมือค้นโครงสร้าง ไม่ใช่ข้อสรุปล่วงหน้า ลําดับที่ผลต่างไม่คงที่อาจมีผลต่างชั้นที่สองคงที่ มีอัตราส่วนคงที่ หรือเกิดจากการสลับสองชุด สัญลักษณ์และคําก็อาจเข้ารหัสจํานวน ลําดับอักษร หมวดความหมาย หรือการแปลงรูป จึงต้องตรวจสมมติฐานมากกว่าหนึ่งแบบก่อนยืนยัน ข้อมูลจํานวนจํากัดสามารถสอดคล้องกับกฎได้หลายกฎเสมอ หลักความเรียบง่ายช่วยเลือกกฎที่ใช้การดําเนินการสม่ําเสมอและเงื่อนไขน้อย แต่ต้องใช้ร่วมกับบริบทและชนิดข้อมูล กฎที่สร้างขึ้นเฉพาะเพื่อให้ผ่านทุกตําแหน่งโดยไม่มีเหตุผลอิสระเป็นการปรับเกินข้อมูล และไม่ควรถูกมองว่าเป็นการค้นพบโครงสร้างที่น่าเชื่อถือ การตรวจแบบรูปควรคํานวณย้อนจากค่าที่คาดไปยังค่าก่อนหน้า ตรวจตําแหน่งอื่นซึ่งยังไม่ได้ใช้ และดูว่ากฎคงอยู่เมื่อเปลี่ยนรูปแทนหรือไม่ หากมีกฎสลับ ต้องระบุเกณฑ์สลับ เช่น ตําแหน่งคี่กับคู่ หรือรอบสามขั้นอย่างแน่นอน ไม่ใช้คําอธิบายกว้างที่เปลี่ยนวิธีดําเนินการทุกครั้งเพื่อรักษาคําตอบเดิม
- 1อ่านคำสั่งและระบุสิ่งที่ต้องหาให้ชัด
- 2กำหนดหน่วยข้อมูลกับคุณลักษณะที่อาจเปลี่ยน
- 3เปรียบเทียบตำแหน่งหรือคู่ที่สัมพันธ์กัน
- 4สร้างกฎอย่างน้อยหนึ่งแบบโดยไม่เติมข้อมูลภายนอก
- 5ทดสอบกฎกับทุกตัวอย่างและหากรณีที่หักล้างได้
- 6ใช้กฎกับตำแหน่งเป้าหมายแล้วตรวจตัวเลือกย้อนกลับ
ตรรกะประพจน์ ตัวบ่งปริมาณ และการนิรนัย
ประพจน์และตัวเชื่อมทางตรรกะ — ประพจน์ คือข้อความที่มีค่าความจริงเป็นจริงหรือเท็จได้ คําถาม คําสั่ง และถ้อยคําคลุมเครืออาจยังไม่เป็นประพจน์จนกว่าจะกําหนดความหมาย ตัวแปรประพจน์ใช้แทนข้อความทั้งประโยคเพื่อแสดงโครงสร้างโดยไม่ให้เนื้อหาเฉพาะรบกวน การแปลต้องรักษาขอบเขตของนิเสธ ตัวเชื่อม และเงื่อนไขให้ตรงกับภาษาต้นทาง นิเสธกลับค่าความจริงของข้อความ สันธาน “และ” เป็นจริงเมื่อทั้งสองส่วนจริง ส่วน “หรือ” ในตรรกศาสตร์โดยทั่วไปเป็นแบบรวม คือเป็นจริงเมื่ออย่างน้อยหนึ่งส่วนจริง เว้นแต่บริบทระบุว่าเลือกได้เพียงอย่างเดียว นัย “ถ้า P แล้ว Q” เป็นเท็จตามการแจกแจงค่าความจริงเมื่อ P จริงแต่ Q เท็จ และสมมูล “ก็ต่อเมื่อ” ต้องมีนัยทั้งสองทิศ ลําดับขอบเขตของตัวเชื่อม เปลี่ยนความหมาย เช่น ไม่ใช่ว่า P และ Q ต่างจาก ไม่ใช่ P และ Q วงเล็บหรือการเขียนประโยคใหม่ช่วยให้เห็นส่วนที่นิเสธครอบคลุม ประโยคภาษาธรรมชาติอาจใช้คําว่า เว้นแต่ เฉพาะเมื่อ ถ้าเพียงแต่ หรือไม่ทั้งสอง ซึ่งต้องแปลงอย่างระมัดระวัง ไม่ควรยึดตําแหน่งคําโดยไม่ดูความหมาย ข้อความสองรูปสมมูลกันเมื่อมีค่าความจริงตรงกันทุกการกําหนดค่า การใช้กฎของเดอมอร์แกน การตัดนิเสธซ้อน และการเขียนนัยใหม่ช่วยลดโครงสร้างซับซ้อน อย่างไรก็ดี
ตรรกะของประพจน์แบบสองค่าเป็นแบบจําลองของเงื่อนไขบางชนิดเท่านั้น ภาษาธรรมชาติอาจมีเวลา เหตุผล ความเป็นไปได้ และความเกี่ยวข้องซึ่งต้องใช้บริบทหรือระบบตรรกะที่ละเอียดขึ้น เงื่อนไข ความจําเป็น และความเพียงพอ — ในข้อความ “ถ้า P แล้ว Q” นั้น P เป็น เงื่อนไขเพียงพอ สําหรับ Q และ Q เป็นเงื่อนไขจําเป็นสําหรับ P ความเพียงพอหมายถึงเมื่อ P เกิดแล้วยืนยัน Q ได้ ส่วนความจําเป็นหมายถึง P เกิดไม่ได้หากไม่มี Q แต่การมี Q ไม่รับรองว่า P เกิด เพราะ Q อาจเกิดจากเงื่อนไขเพียงพออื่น ความสับสนระหว่างสองคําทําให้กลับทิศนัยโดยไม่มีเหตุผล Modus ponens เป็นรูปที่สมเหตุสมผล: P นําไปสู่ Q และ P จริง จึงสรุป Q ส่วน modus tollens ใช้ P นําไปสู่ Q และ Q เท็จ จึงสรุปว่า P เท็จ ทั้งสองรูปคงค่าความจริงของนัย แต่การยืนยันผลแล้วสรุปเหตุ และการปฏิเสธเหตุแล้วสรุปผลเป็นรูปที่ไม่สมเหตุสมผล เพราะยังอาจมีสาเหตุหรือเส้นทางอื่น รูปกลับของ P นําไปสู่ Q คือ Q นําไปสู่ P ซึ่งไม่สมมูลกับข้อความเดิม รูปผกผันคือไม่ P นําไปสู่ไม่ Q ก็ไม่สมมูลเช่นกัน ส่วนรูปแย้งคือไม่ Q นําไปสู่ไม่ P และสมมูลกับข้อความเดิม การแปลงเงื่อนไขต้องทําทั้งการสลับและนิเสธตามกฎ ไม่ใช้ความรู้สึกว่าประโยคฟังใกล้เคียงกัน
คําว่า “ก็ต่อเมื่อ” ระบุทั้งความจําเป็นและความเพียงพอ จึงเขียนเป็น P นําไปสู่ Q และ Q นําไปสู่ P ส่วน “เฉพาะเมื่อ” มักแนะนําเงื่อนไขจําเป็น และ “ถ้า” มักแนะนําเงื่อนไขเพียงพอ แต่ภาษาจริงอาจมีความกํากวม ต้องตรวจว่าผู้กล่าวกําลังนิยาม กําหนดกฎ หรืออธิบายความน่าจะเป็น ไม่ควรนําระบบค่าความจริงไปแทนความหมายเชิงเหตุโดยอัตโนมัติ ตัวบ่งปริมาณ นิเสธ และความสัมพันธ์ของเซต — ตัวบ่งปริมาณสากล เช่น “ทุก” กําหนดเงื่อนไขแก่สมาชิกทั้งหมดในขอบเขต ส่วนตัวบ่งปริมาณมีอยู่ เช่น “มีบาง” ยืนยันอย่างน้อยหนึ่งสมาชิก การนิเสธ “ทุก A เป็น B” คือ “มี A อย่างน้อยหนึ่งตัวที่ไม่เป็น B” มิใช่ “ไม่มี A ใดเป็น B” และการนิเสธ “มี A ที่เป็น B” คือ “ไม่มี A ใดเป็น B” ความต่างนี้สําคัญต่อระดับความแข็งแรงของข้อสรุป ข้อความ “ไม่มี A เป็น B” กําหนดให้เซต A กับ B ไม่ทับกัน ส่วน “บาง A เป็น B” กําหนดให้ส่วนตัดมีสมาชิกอย่างน้อยหนึ่งตัว และ “ทุก A เป็น B” กําหนดว่า A เป็นสับเซตของ B แต่ไม่ได้บอกว่า A มีสมาชิกจริงเสมอในตรรกศาสตร์สมัยใหม่ การอนุมานการมีอยู่จึงต้องมีข้อความที่ยืนยันสมาชิกหรือใช้ระบบที่สมมติการมีอยู่โดยชัดแจ้ง
แผนภาพเซตช่วยแสดงการรวม การทับซ้อน และการแยก โดยพื้นที่ว่างแสดงข้อห้ามและเครื่องหมายสมาชิกแสดงการมีอยู่ จุดสําคัญคือวางข้อจํากัดสากลก่อน แล้วจึงวางข้อความมีอยู่ในทุกตําแหน่งที่ยังเป็นไปได้ หากข้อมูลไม่กําหนดว่าสมาชิกอยู่ในส่วนใดเพียงส่วนเดียว ต้องรักษาหลายความเป็นไปได้ไว้ ไม่เลือกตําแหน่งตามความเคยชิน ลําดับของตัวบ่งปริมาณ เปลี่ยนความหมาย เช่น ทุกคนรู้จักบางคน ไม่ได้หมายความว่ามีคนคนเดียวที่ทุกคนรู้จัก ขอบเขตของคําว่าไม่ บาง ทุก และเพียง ต้องถูกกําหนดก่อนอนุมาน ภาษาที่ละประธานหรือใช้สรรพนามอาจทําให้ขอบเขตคลุมเครือ จึงควรเขียนใหม่ด้วยตัวแปรหรือแผนภาพก่อนตัดสินข้อสรุป การนิรนัย พยางค์ และผลตามทางตรรกะ — การนิรนัย ประเมินว่าหากข้อตั้งทั้งหมดจริง ข้อสรุปจําเป็นต้องจริงหรือไม่ ความสมเหตุสมผลเชิงรูปแบบพิจารณาโครงสร้าง ไม่พิจารณาว่าข้อตั้งเป็นจริงในโลกจริง ส่วน argument ที่ sound ต้องทั้งมีรูปแบบสมเหตุสมผลและข้อตั้งจริง การแยกสองระดับนี้ป้องกันการปฏิเสธเหตุผลที่มีรูปแบบถูกเพียงเพราะไม่เห็นด้วยกับเนื้อหา หรือยอมรับเหตุผลผิดเพราะข้อสรุปบังเอิญจริง
พยางค์เชิงหมวดใช้ข้อความทุก บาง และไม่มีเชื่อมหมวดสามหมวด โดยหมวดกลางทําหน้าที่เชื่อมข้อตั้งแต่ไม่ปรากฏเป็นความสัมพันธ์ใหม่โดยไม่มีฐาน การตรวจอาจใช้แผนภาพเซตหรือสร้างตัวอย่างที่ข้อตั้งจริงแต่ข้อสรุปเท็จ หากสร้างได้ รูปเหตุผลนั้นไม่รับรองข้อสรุป แม้ตัวอย่างเฉพาะที่นึกออกในตอนแรกจะสนับสนุนข้อสรุปก็ตาม ผลตามทางตรรกะ หมายถึงไม่มีแบบตีความใดที่ทําให้ข้อตั้งทั้งหมดจริงและข้อสรุปเท็จ แนวคิดนี้ทําให้การตรวจเหตุผลเป็นการพิจารณาทุกแบบที่สอดคล้องกับข้อมูล ไม่ใช่แบบเดียวที่ดูเป็นธรรมชาติ การเพิ่มข้อตั้งทําให้ข้อจํากัดมากขึ้น แต่อาจทําให้ระบบขัดแย้ง หากข้อตั้งขัดกันต้องระวังการอนุมานในตรรกะคลาสสิกและกลับไปตรวจข้อมูลก่อน การพิสูจน์ตรงเริ่มจากข้อตั้งและใช้กฎที่ยอมรับไปยังข้อสรุป การพิสูจน์โดยขัดแย้งสมมตินิเสธของข้อสรุปแล้วแสดงว่าเกิดความขัดแย้ง ส่วนการแยกกรณีครอบคลุมทางเลือกทั้งหมดแล้วพิสูจน์ผลในแต่ละทาง วิธีเหล่านี้ต้องระบุแต่ละขั้นและฐานกฎชัด เพื่อให้ตรวจได้ว่าไม่ได้แทรกสมมติฐานหรือข้ามความเป็นไปได้สําคัญ การอุปนัยและการให้เหตุผลภายใต้ความไม่แน่นอน — การอุปนัย ขยายจากข้อมูลเฉพาะไปสู่ข้อสรุปทั่วไปหรือการคาดการณ์ จึงให้ระดับการสนับสนุน ไม่ใช่ความจําเป็นเชิงตรรกะ
ความแข็งแรงขึ้นกับความเป็นตัวแทนของข้อมูล ขนาดและวิธีเลือกตัวอย่าง ความสม่ําเสมอของรูปแบบ ความรู้พื้นฐาน และความเป็นไปได้ของคําอธิบายอื่น ตัวอย่างใหม่สามารถเพิ่ม ลด หรือหักล้างความมั่นใจได้ การพบหลายเหตุการณ์ต่อเนื่องไม่ได้พิสูจน์ว่ารูปแบบต้องดําเนินต่อ โดยเฉพาะเมื่อข้อมูลถูกเลือกภายหลังหรือมีจํานวนจํากัด ต้องแยกความเป็นไปได้ออกจากความน่าจะเป็นและความแน่นอน เหตุการณ์ที่เป็นไปได้อาจมีโอกาสต่ํา และเหตุการณ์ที่มีโอกาสสูงก็ยังไม่จําเป็นต้องเกิด ภาษาเช่น อาจ น่าจะ ส่วนใหญ่ และเสมอจึงแสดงระดับข้อสรุปต่างกัน การสรุปจากตัวอย่างต้องตรวจความเอนเอียงในการเลือก การไม่ตอบ การรอดชีวิต การวัด และช่วงเวลา ตัวอย่างจํานวนมากจากกลุ่มเดียวอาจด้อยกว่าตัวอย่างน้อยกว่าที่เป็นตัวแทนของประชากรเป้าหมาย การขยายข้อสรุปต้องไม่เกินขอบเขตบุคคล สถานที่ เวลา และเงื่อนไขที่ข้อมูลรองรับ และควรระบุความไม่แน่นอนกับข้อจํากัดอย่างเปิดเผย การปรับความเชื่อ ควรตอบสนองต่อคุณภาพของหลักฐาน ไม่ใช่เพียงจํานวนแหล่ง หากหลายแหล่งคัดลอกจากต้นทางเดียวก็ไม่เป็นหลักฐานอิสระ เมื่อพบข้อมูลสวนทางต้องพิจารณาความน่าเชื่อถือและความเกี่ยวข้อง ไม่เลือกทิ้งเฉพาะข้อมูลที่ขัดกับความเชื่อเดิม การสรุปที่ดีอาจอยู่ในรูปมีเงื่อนไขหรือระดับความมั่นใจแทนคํายืนยันเด็ดขาด
| รูป | ตัวอย่างโครงสร้าง | สถานะ |
|---|---|---|
| Modus Ponens | ถ้า P แล้ว Q; P; จึง Q | สมเหตุสมผลเมื่อข้อตั้งเป็นจริง |
| Modus Tollens | ถ้า P แล้ว Q; ไม่ Q; จึงไม่ P | สมเหตุสมผลเพราะผลลัพธ์ไม่เกิดย่อมหักเงื่อนไขต้น |
| ยืนยันผล | ถ้า P แล้ว Q; Q; จึง P | ไม่รับรอง เพราะ Q อาจเกิดจากเหตุอื่น |
| ปฏิเสธเหตุ | ถ้า P แล้ว Q; ไม่ P; จึงไม่ Q | ไม่รับรอง เพราะ Q อาจเกิดได้แม้ไม่มี P |
เนื้อหาสรุปนี้จัดทำขึ้นเพื่อการศึกษาส่วนบุคคล ห้ามคัดลอก ทำซ้ำ หรือนำไปใช้เพื่อวัตถุประสงค์ทางการค้าโดยไม่ได้รับอนุญาต