การให้เหตุผลแบบจารนัย

การให้เหตุผลแบบจารนัย ( หรือบ้างก็ว่า abductionเช่น:  abductive inference หรือ retroduction) เป็นการอนุมานเชิงตรรกะรูปแบบหนึ่งซึ่งถูกบัญญัติและพัฒนาโดยนักปราชญ์ชาวอเมริกัน ชารลส์ แซนเดอรส์ เพิร์ซ (Charles Sanders Peirce) เริ่มต้นในช่วงปลายคริสต์ศตวรรษที่ 19 โดยเริ่มจากการสังเกตการณ์ชุดหนึ่ง แล้วพยายามหาข้อสรุปที่ง่ายและควรจะเป็นมากที่สุดจากการสังเกตการณ์ชุดนั้น กระบวนการนี้ผลิตข้อสรุปที่เป็นไปได้แต่ไม่ได้ยืนยันว่าเป็นจริงซึ่งต่างจากการให้เหตุผลแบบนิรนัย การให้เหตุผลแบบจารนัยนั้นจึงมีความไม่แน่นอนหรือเคลือบแคลงซึ่งสามารถแสดงออกมาด้วยคำหลีกต่าง ๆ เช่น หาง่ายที่สุด หรือ ควรจะเป็นมากที่สุด เรายังสามารถมองการให้เหตุผลแบบจารนัยได้ว่าเป็น การอนุมานสู่คำอธิบายที่ดีที่สุด (IBE) ถึงแม้การใช้คำว่า การจารนัย และ การอนุมานสู่คำอธิบายที่ดีที่สุด อาจไม่สมมูลกันทุกครั้งเสมอไปแปล: ผมไม่เห็นด้วยกับแนวโน้มในวรรณกรรมปรัชญาวิทยาศาสตร์ที่มีการเชื่อมโยงการจารนัยกับการอนุมานสู่คำอธิบายที่ดีที่สุด (IBE) โดยเฉพาะคำกล่าวอ้างว่าการจารนัยแบบเพิร์ซนั้นเป็นบรรพบุรุษของ IBE [...] ในรายละเอียด ผมยืนยันว่าการจารนัยแบบเพิร์ซนั้นเป็นการบรรยายเชิงลึกของกระบวนการสร้างสมมติฐานเชิงอธิบาย ในขณะที่ IBE อย่างน้อยในการปฏิบัติต่อมันอย่างละเอียดของ ปีเตอร์ ลิปตัน เป็นการบรรยายที่ครอบคลุมกระบวนการสร้างและประเมินสมมติฐานทางวิทยาศาสตร์มากกว่า การอ้างว่าการจารนัยคือ IBE นั้นจึงเป็นคำกล่าวอ้างที่มีปัญหาในสองด้าน ในด้านหนึ่ง มันเป็นการจับรวมการจารนัยเข้ากับการอุปนัยแม้ทั้งสองจะเป็นการอนุมานเชิงตรรกะคนละรูปแบบซึ่งมีเป้าหมายที่ต่างกันอย่างที่ ชารลส์ เอส เพิร์ซ ได้แสดงให้เห็นแล้ว ในอีกด้านหนึ่ง มันไม่เข้าใจในขอบเขตเต็มของ IBE ในฐานะของวิธีการอธิบายการอนุมานทางวิทยาศาสตร์แปล: การอนุมานแบบจารนัยมักถูกจับมาเท่ากันกับการอนุมานสู่คำอธิบายที่ดีที่สุด [...] คำอธิบายการอนุมานแบบจารนัยและการอนุมานสู่คำอธิบายที่ดีที่สุดด้านบนนั้นได้เน้นองค์ประกอบร่วมกันที่พบในบทวิเคราะห์โดยเพิร์ซ, ฮาร์แมน และโจเซฟสันกับโจเซฟสัน มันจำเป็นที่จะต้องกล่าวว่าคำอธิบายนี้อาจทำให้เข้าใจผิดได้ในบางประเด็น และการอธิบายที่ละเอียดและลึกกว่าเดิมถึงจุดต่าง ๆ ในบทวิเคราะห์ทั้งสามสามารถเผยให้เห็นถึงความแตกต่างเชิงปรัชญาที่อยู่เบื้องหลังที่สำคัญได้ การอนุมานสู่คำอธิบายที่ดีที่สุดอย่างที่ฮาร์แมนและโจเซฟสันกับโจเซฟสันได้อธิบายไว้นั้นสามารถรวมถึงกระบวนการแบบนิรนัยและอุปนัยชนิดที่จะไม่ถูกรวมอยู่ในคำอธิบายการจารนัยของเพิร์ซได้

ขณะที่ความสามารถในการคำนวณของคอมพิวเตอร์ได้เพิ่มขึ้นในช่วงคริสต์ทศวรรษที่ 1990 งานวิจัยในสาขากฎหมายดูที่ อาทิ Analysis of Evidence, 2d ed. โดย Terence Anderson (สำนักพิมพ์มหาวิทยาลัยเคมบริดจ์, 2005), วิทยาการคอมพิวเตอร์ และปัญญาประดิษฐ์ตัวอย่างเช่น ดูที่ "Abductive Inference in Reasoning and Perception", John R. Josephson, Laboratory for Artificial Intelligence Research, มหาวิทยาลัยโอไฮโอสเตต, และ Abduction, Reason, and Science. Processes of Discovery and Explanation โดย Lorenzo Magnani (Kluwer Academic/Plenum Publishers, นิวยอร์ก, 2001). ได้กระตุ้นความสนใจในประเด็นเรื่องการจารนัยขึ้นมาใหม่ ระบบผู้เชี่ยวชาญวินัจฉัยก็นำการจารนัยมาใช้บ่อยครั้งReggia, James A., et al. "Answer justification in diagnostic expert systems-Part I: Abductive inference and its justification." IEEE transactions on biomedical engineering 4 (1985): 263-267.

 การนิรนัย อุปนัย และจารนัย

()

 การนิรนัย 

การให้เหตุผลแบบนิรนัยอนุญาตให้อนุพัทธ์ (derive)  จาก  ก็ต่อเมื่อ  เป็นผลพวงเชิงตรรกะเชิงรูปนัยของ  หรือเป็นไปตาม (follows from)  พูดอีกแบบคือ การนิรนัยคือการอนุพัทธ์ให้ได้มาซึ่งผลพวงต่าง ๆ ของข้อสันนิษฐาน เมื่อข้อสันนิษฐานเป็นจริง การนิรนัยที่สมเหตุสมผลจะรับรองความเป็นจริงของข้อสรุป เช่นหากกำหนดว่า "วิกิสามารถแก้ไขโดยใครก็ได้" () และ "วิกิพีเดียเป็นวิกิ" () แล้วแสดงว่า "วิกิพีเดียสามารถแก้ไขโดยใครก็ได้" () ก็ตรงตามข้อตั้งทั้งสองข้อที่กำหนด

 การอุปนัย 

การให้เหตุผลแบบอุปนัยอนุญาตให้อนุมาน  จาก  ได้ โดย  ไม่จำเป็นต้องเป็นผลพวงตรรกะของ  หรือไม่จำเป็นต้องเป็นไปตาม  และ  อาจเป็นเหตุผลที่ดีพอที่จะให้ยอมรับ  แต่ไม่ได้รับรองว่า  เป็นจริง เช่น ถ้าหงส์ทุกตัวที่เคยเจอมาถึงตอนนี้สีขาวทุกตัว เราอาจอุปนัยได้ว่าความเป็นไปได้ที่หงส์ทุกตัวจะมีสีขาวนั้นก็พอมีเหตุผล เรามีเหตุผลที่จะเชื่อข้อสรุปจากข้อตั้ง แต่ไม่ได้มีการรับรองว่าข้อสรุปจะเป็นจริง (ซึ่งแน่นอน หงส์บางตัวก็มีสีดำ)

 การจารนัย 
การให้เหตุผลแบบจารนัยอนุญาตให้อนุมาน  เป็นคำอธิบายของ  ผลของการอนุมานแบบนี้คือการอนุญาตให้สามารถจารนัยเงื่อนไขก่อน  จากผลพวง  ได้ การให้เหตุผลแบบนิรนัยกับแบบจารนัยจึงแตกต่างกันตรงที่ฝั่งไหนของข้อความว่า " แสดงว่า (entail) " เป็นข้อสรุป

การจารนัยนั้นจึงเหมือนกับเหตุผลวิบัติเชิงตรรกะที่เรียกว่าการยืนยันผล (affirming the consequent) (หรือ post hoc ergo propter hoc) เพราะ  สามารถมีคำอธิบายที่หลากหลาย อย่างเช่นในเกมบิลเลียด เมื่อเราเห็นลูกบิลเลียดเลขแปดเคลื่อนที่มาหาเรา เราอาจจารนัยได้ว่าลูกคิวได้ชนลูกแปด การชนของลูกคิวสามารถอธิบายการเคลื่อนที่ของลูกแปดได้ ซึ่งเป็นสมมุติฐานที่อธิบายการสังเกตการณ์ของเรา ในเมื่อมีคำอธิบายอื่น ๆ ที่เป็นไปได้มากมายสำหรับการเคลื่อนที่ของลูกแปด ข้อสรุปจากการจารนัยของเราไม่ได้ทำให้เรารู้อย่างแน่นอนว่าลูกคิวได้ชนลูกแปดจริงหรือไม่ แต่การจารนัยนี้ก็ยังมีประโยชน์และหน้าที่เพื่อทำให้เราสามารถเข้าใจและปรับตัวในสภาพแวดล้อมรอบตัวได้ แม้จะมีคำอธิบายที่เป็นไปได้สำหรับแต่ละกระบวนการทางกายภาพที่เราสังเกตเห็นอยู่หลายคำอธิบาย เรามักจะจารนัยหาคำอธิบายเดียว (หรือสองสามคำอธิบาย) สำหรับกระบวนการนั้น ๆ ด้วยความคาดหวังว่าเราจะสามารถนำมันมาใช้เพื่อปรับตัวในสภาพแวดล้อม และปัดความเป็นไปได้อื่น ๆ ทิ้งไป หากนำการให้เหตุผลแบบจารนัยมาใช้ได้อย่างเหมาะสม มันสามารถเป็นแหล่งของความน่าจะเป็นก่อน (prior probability) ที่มีประโยชน์ในสถิติแบบเบส์ (Bayesian statistics)

การกำหนดรูปของการจารนัย
การจารนัยบนฐานของตรรกศาสตร์
ในตรรกศาสตร์ เราสามารถอธิบาย (explanation) ได้ด้วยทฤษฎีเชิงตรรกะ (Theory (mathematical logic))  ซึ่งแทนขอบเขต (domain of discourse) และเซตของการสังเกตการณ์  การจารนัยเป็นกระบวนการอนุพัทธ์หาเซตของคำอธิบายของ  ตามทฤษฎี  และเลือกหยิบคำอธิบายหนึ่งในนั้นมา และ  จะเป็นคำอธิบายของ  ตามทฤษฎี  ได้หรือไม่ มันจะต้องสนองต่อเงื่อนไขสองข้อ:

  เป็นไปตาม  และ ;
  สอดคล้องกับ 

ในตรรกศาสตร์รูปนัย สมมุติให้  และ  เป็นเซตของสัญพจน์ (Literal (Mathematical logic) เงื่อนไขทั้งสองแบบรูปนัยคือ:

 สอดคล้องกัน

ท่ามกลางคำอธิบาย ทั้งหมดที่สนองเงื่อนไขทั้งสองข้อ เงื่อนไขด้านความเรียบง่ายข้ออื่น ๆ ก็ถูกนำมาพิจารณาด้วยเพื่อหลีกเลี่ยงข้อเท็จจริงที่ไม่เกี่ยวข้อง (นั่นคือ ข้อเท็จจริงที่ไม่มีส่วนทำให้เกิด ) การจารนัยจึงเป็นกระบวนการเลือกหยิบสมาชิกของ  ออกมา ซึ่งต้องผ่านเกณฑ์ในการคัดเลือกคำอธิบาย "ที่ดีที่สุด" ซึ่งรวมไปถึงความเรียบง่าย (simplicity) ความน่าจะเป็นก่อน และพลังในการอธิบายของคำอธิบายนั้น

การโปรแกรมตรรกะเชิงจารนัย (Abductive logic programming) เป็นขอบข่ายการคำนวณที่ขยายการเขียนโปรแกรมเชิงตรรกะแบบปกติด้วยการจารนัย โดยแยกทฤษฎี  เป็นสองส่วน ส่วนหนึ่งเป็นโปรแกรมเชิงตรรกะปกติที่ถูกใช้เพื่อหาคำอธิบาย  ผ่านวิธีการให้เหตุผลย้อนหลัง (backward reasoning) และอีกส่วนเป็นชุดของเกณฑ์ด้านบูรณภาพ (integrity) ซึ่งจะถูกนำมาใช้เพื่อคัดกรองหาเซตคำอธิบายที่เป็นไปได้

การจารนัยแบบปกคลุมเซต
การจารนัยสามารถถูกกำหนดรูปอีกแบบเป็นการการผกผันของฟังก์ชันที่คำนวณหาผลลัพธ์ของสมมติฐานต่าง ๆ กำหนดให้เซตของสมมติฐานคือ  และเซตของผลลัพธ์คือ  ทั้งสองเกี่ยวโยงกันผ่านความรู้เฉพาะสาขาที่แทนด้วยฟังก์ชัน  ที่มีเซตของสมมติฐานเป็นอาร์กิวเมนต์และมีผลลัพธ์เป็นเซตของผลลัพธ์ที่สอดคล้องกัน พูดอีกแบบคือ สำหรับเซตย่อยของเซตของสมมติฐานทุกเซต  ผลลัพธ์ของเซตย่อยของสมมติฐานเซตนั้นคือ 

การจารนัยคือการหาเซต  ซึ่งมีผลลัพธ์เป็น  พูดอีกแบบคือ การจารนัยเป็นการหาเซตของสมมติฐาน  ที่มีผลลัพธ์เป็น  ซึ่งรวมการสังเกตการณ์  ทั้งหมด

โดยทั่วไป ให้สมมุติว่าผลลัพธ์ของสมมติฐานแต่ละข้อเป็นอิสระจากกัน นั่นคือสำหรับ  ทุกเซต  เป็นจริง หากเป็นไปตามเงื่อนไขนี้ สามารถถือได้ว่าการจารนัยเป็นการปกคลุมเซตรูปแบบหนึ่ง

การตรวจสอบความสมเหตุสมผลแบบจารนัย
การตรวจสอบความสมเหตุสมผลแบบจารนัย ()  เป็นกระบวนการตรวจสอบความสมเหตุสมผลของสมมุติฐานหนึ่งด้วยการให้เหตุผลแบบจารนัย ภายใต้หลักการนี้ คำอธิบายสมเหตุสมผลก็ต่อเมื่อเป็นคำอธิบายเซตของข้อมูลที่รู้อยู่ที่ดีที่สุดที่เป็นไปได้ คำอธิบายที่ดีที่สุดที่เป็นไปได้มักมีนิยามในแง่ของความเรียบง่ายและความงดงาม (ดูมีดโกนอ็อกคัม) การตรวจสอบความสมเหตุสมผลแบบจารนัยถูกใช้เป็นการทั่วไปในการก่อสมมุติฐานในวิชาวิทยาศาสตร์ มากไปกว่านั้น เพิร์ซอ้างว่ามันเป็นแง่มุมของกระบวนการคิดที่พบได้ทั่วไป

เมื่อมองออกนอกหน้าต่างในเช้าวันฤดูใบไม้ผลินี้ ผมเห็นดอกอาซาเลียบานสะพรั่ง ไม่ ไม่! ผมไม่ได้เห็นสิ่งนั้น แต่ว่านั่นเป็นทางเดียวที่ผมจะพรรณนาสิ่งที่ผมเห็นได้ มันเป็นประพจน์ ประโยค หรือข้อเท็จจริง แต่สิ่งที่ผมรับรู้นั้นไม่ใช่ประพจน์ ไม่ใช่ประโยค และไม่ใช่ข้อเท็จจริง แต่เป็นเพียงภาพที่ผมทำให้เข้าใจได้ด้วยวิธีการกล่าวข้อเท็จจริง ข้อความนั้นเป็นนามธรรม แต่สิ่งที่ผมเห็นเป็นรูปธรรม ผมจารนัยทุกครั้งที่ผมแสดงออกสิ่งที่เห็นในรูปของประโยค ความจริงแล้วเนื้อผ้าของความรู้ทั้งหมดของเราคือผ้าขนสัตว์ด้าน ๆ ของสมมติฐานล้วน ๆ ที่ถูกยืนยันแหละกลั่นกรองโดยการอุปนัย ไม่มีทางที่ความรู้จะก้าวหน้าไปกว่าการเพ่งมองอย่างว่างเปล่าหากไม่จารนัยในทุก ๆ ขั้นตอนแปลจาก "Looking out my window this lovely spring morning, I see an azalea in full bloom. No, no! I don't see that; though that is the only way I can describe what I see. That is a proposition, a sentence, a fact; but what I perceive is not proposition, sentence, fact, but only an image, which I make intelligible in part by means of a statement of fact. This statement is abstract; but what I see is concrete. I perform an abduction when I so much as express in a sentence anything I see. The truth is that the whole fabric of our knowledge is one matted felt of pure hypothesis confirmed and refined by induction. Not the smallest advance can be made in knowledge beyond the stage of vacant staring, without making an abduction at every step." Peirce MS. 692, ถูกยกคำพูดไว้ใน Sebeok, T. (1981) "You Know My Method" ใน Sebeok, T., The Play of Musement, Bloomington, IA: Indiana, หน้า 24.

"เราไม่สามารถอธิบายข้อเท็จจริงได้ด้วยสมมติฐานที่วิเศษวิโสกว่าข้อเท็จจริงเอง และจะต้องรับเอาสมมติฐานที่พิเศษน้อยที่สุดมาใช้" เป็นคติบทของเพิร์ซเองแปลจาก "Facts cannot be explained by a hypothesis more extraordinary than these facts themselves; and of various hypotheses the least extraordinary must be adopted." Peirce MS. 696, ถูกยกคำพูดไว้ใน Sebeok, T. (1981) "You Know My Method" ใน Sebeok, T., The Play of Musement, Bloomington, IA: Indiana, หน้า 31. หลังจากได้สมมติฐานต่าง ๆ ที่เป็นไปได้ซึ่งอาจสามารถอธิบายข้อเท็จจริงนั้นมา การตรวจสอบความสมเหตุสมผลแบบจารนัยเป็นวิธีการระบุสมมติฐานที่ควรจะเป็นมากที่สุดและควรยอมรับมาใช้มากที่สุด

การจารนัยแบบตรรกศาสตร์อัตวิสัย
ตรรกศาสตร์อัตวิสัย (subjective logic) วางนัยทั่วไปตรรกศาสตร์ความน่าจะเป็น (probabilistic logic) ด้วยการรวมระดับของความไม่แน่นอนทางความรู้ไว้ในอาร์กิวเมนต์เข้า นั่นคือ นักวิเคราะห์สามารถแสดงอาร์กิวเมนต์ในรูปของความคิดเห็นที่เป็นอัตวิสัยแทนความน่าจะเป็นได้ การจารนัยในตรรกศาสตร์อัตวิสัยนั้นจึงเป็นการวางนัยทั่วไปของการจารนัยเชิงความน่าจะเป็น ในตรรกศาสตร์อัตวิสัย อาร์กิวเมนต์เข้าเป็นความคิดเห็นอัตวิสัย ซึ่งสามารถเป็นทวินามเมื่อความคิดเห็นนั้นนำมาใช้กับตัวแปรทวิภาค หรือเป็นอเนกนามเมื่อนำมาใช้กับตัวแปร "n"-ภาค ความคิดเห็นอัตวิสัยจึงนำมาใช้กับตัวแปรสถานะ  ซึ่งนำค่าของตัวเองมาจากขอบเขต  (ปริภูมิสถานะของค่าสถานะ  ที่ครบถ้วนและแยกจากกัน) และถูกแสดงเป็นหลายสิ่งอันดับ  โดย  เป็นการกระจายตัวของมวลความเชื่อเทียบกับ   เป็นมวลความไม่แน่นอน และ  เป็นการกระจายตัวอัตราพื้นฐาน (base rate) เทียบกับ  ตัวแปรปัจจัยเหล่านี้สนอง  และ  และ .

สมมุติขอบเขต  และ  พร้อมตัวแปร  และ  ตามลำดับ เซตของความคิดเห็นมีเงื่อนไข  (นั่นคือ ความคิดเห็นมีเงื่อนไขหนึ่งความคิดเห็นสำหรับค่า  แต่ละค่า) และการกระจายตัวอัตราพื้นฐาน  ทฤษฎีบทของเบส์แบบอัตวิสัยหรือการผกผันซึ่งแสดงออกด้วยตัวดำเนินการ  ด้วยตัวแปรปัจจัยเหล่านี้จะได้เซตของความคิดเห็นมีเงื่อนไขผกผัน  (นั่นคือความคิดเห็นมีเงื่อนไขผกผันหนึ่งความคิดเห็นสำหรับค่า  แต่ละค่า) สามารถแสดงเป็น:

.

เราสามารถจารนัยหาความคิดเห็น  ด้วยการนิรนัยอัตวิสัยที่แสดงออกด้วยตัวดำเนินการ  ด้วยความคิดเห็นมีเงื่อนไขผกผัน  กับความคิดเห็น  สมการของนิพจน์ต่าง ๆ ซึ่งแสดงถึงการจารนัยอัตวิสัยเป็นไปตามดังนี้:

สัญกรณ์สำหรับการจารนัยอัตวิสัยคือ "" และตัวดำเนินการแทนด้วย "" ตัวดำเนินการสำหรับทฤษฎีบทของเบส์แบบอัตวิสัยคือ "" และตัวดำเนินการสำหรับการนิรนัยอัตวิสัยคือ ""A. Jøsang. Subjective Logic: A Formalism for Reasoning Under Uncertainty, Springer 2016, .

ความได้เปรียบของการใช้การจารนัยตรรกศาสตร์อัตวิสัยเมื่อเปรียบเทียบกับการจารนัยเชิงความน่าจะเป็นคือ ความไม่แน่นอนทั้งด้านความรู้และด้านความน่าจะเป็นของความน่าจะเป็นของอาร์กิวเมนต์เข้าถูกแสดงออกและนำมาพิจารณาในการวิเคราะห์โดยตรง เราจึงสามารถกระทำการวิเคราะห์แบบจารนัยได้ในกรณีที่มีอาร์กิวเมนต์ซึ่งมีความไม่แน่นอน ซึ่งจะให้ผลลัพธ์เป็นข้อสรุปที่มีระดับของความไม่แน่นอนอยู่เป็นธรรมดา

ประวัติ
การนำเสนอและการพัฒนาโดยเพิร์ซ
ภาพรวม
นักปรัชญาชาวอเมริกัน ชารลส์ แซนเดอรส์ เพิร์ซ เป็นผู้นำเสนอการจารนัยเข้าสู่ตรรกศาสตร์สมัยใหม่ ในช่วงเวลาหลายปีเขาเรียกการอนุมานแบบนี้เป็น hypothesis "สมมติฐาน", abduction "การจารนัย", presumption "การสันนิษฐาน", และ retroduction "การเสนอใหม่" เขานับมันเป็นหัวข้อหนึ่งในวิชาตรรกศาสตร์ที่เป็นสาขาเชิงบรรทัดฐานในวิชาปรัชญา ไม่ใช่ในตรรกศาสตร์เชิงคณิตหรือรูปนัยแบบบริสุทธิ์ และในที่สุดก็เป็นหัวข้อในเศรษฐศาสตร์ของการวิจัย

นอกจากการเป็นด่านสองด่านของการพัฒนา การขยาย ฯลฯ ของสมมติฐานในการสอบสวน (inquiry) ทางคณิตศาสตร์แล้ว การจารนัยและก็การอุปนัยมักจะถูกยุบรวมเป็นมโนภาพเดียวที่ครอบคลุมทั้งสอง — สมมติฐาน นั่นเป็นเหตุผลว่าทำไมในระเบียบวิธีแบบวิทยาศาสตร์ที่รู้จากกาลิเลโอและเบคอนขั้นตอนเชิงจารนัยของการตั้งสมมติฐานถึงถูกเรียกจำกัดกรอบความคิดเป็นการอุปนัย ดังนั้นการยุบรวมกันนี้ถูกเสริมในคริสศตวรรษที่ยี่สิบโดยตัวแบบสมมติฐาน-นิรนัย (Hypothetico-deductive model) ของคาร์ล พอปเปอร์ (Karl Popper) ที่ซึ่งสมมติฐานถูกนับว่าเป็นเพียง "การเดา" (ในจิตวิญญาณของเพิร์ซ) แต่ทว่าเมื่อการก่อสมมติฐานได้รับการพิจารณาเป็นผลลัพธ์ของกระบวนการหนึ่ง ก็เห็นได้ชัดว่า "การเดา" นี้ผ่านการทดสอบและทำให้ทนทานในความคิดแล้วและเป็นขั้นตอนที่จำเป็นในการที่จะถือว่ามีสถานะเป็นสมมติฐานได้ ซึ่งแน่นอน การจารนัยหลายครั้งถูกปฏิเสธหรือแก้ไขอย่างหนักหน่วงโดยการจารนัยตามลำดับก่อนที่จะได้มาถึงขั้นตอนนี้

ก่อนปี ค.ศ. 1900 เพิร์ซปฏิบัติต่อการจารนัยเป็นการใช้กฎที่รู้เพื่ออธิบายการสังเกตการณ์หนึ่ง กรณีเช่น: เป็นกฎที่รู้กันดีว่าถ้าฝนตกหญ้าจะเปียก ดังนั้นเพื่ออธิบายข้อเท็จจริงที่หญ้าบนสนามนี้เปียก เราจารนัยได้ว่าฝนพึ่งตกไป การจารนัยสามารถนำไปสู่ข้อสรุปที่เป็นเป็นเท็จถ้ากฎอื่น ๆ ที่อาจอธิบายการสังเกตการณ์ได้เช่นเดียวกันไม่ถูกนำมาพิจารณาด้วยเช่นหญ้าอาจเปียกเพราะน้ำค้าง (dew) นี่ยังคงเป็นนิยามสามัญที่ใช้กันของคำว่า "การจารนัย" ในวิชาสังคมศาสตร์และปัญญาประดิษฐ์.

เพิร์ซบรรยายคุณลักษณะของมันอย่างสม่ำเสมอว่าเป็นชนิดของการอนุมานที่ให้กำเนิดสมมติฐานโดยการสรุปในคำอธิบายของการสังเกตการณ์ที่น่าสงสัยหรือน่าประหลาดใจ (ผิดปรกติ) ที่ถูกกล่าวไว้ในข้อตั้งแม้คำอธิบายจะไม่ถูกรับประกันว่าใช่ เขาเขียนเก่าสุดในปี ค.ศ. 1865 ว่าการสร้างมโนคติทั้งหมดของเหตุและแรงจะสัมฤทธิ์ผ่านการอนุมานสมมติฐาน ในคริสต์ศตวรรษที่ 20 เขาเขียนว่าเนื้อหาการอธิบายทั้งหมดของทฤษฎีจะสัมฤทธิ์ด้วยการจารนัย ในแง่อื่น ๆ เพิร์ซได้แก้ไขทัศนะต่อการจารนัยของเขาเมื่อแต่ละปีผ่านไปดู Santaella, Lúcia (1997) "The Development of Peirce's Three Types of Reasoning: Abduction, Deduction, and Induction", ที่การประชุมครั้งที่ 6 ของ IASS. Eprint.

ในปีต่อ ๆ มาทัศนะของเขาได้กลายเป็น:
 การจารนัยคือการเดาPeirce, C. S. 
 "On the Logic of drawing History from Ancient Documents especially from Testimonies" (1901), Collected Papers v. 7, ย่อหน้าที่ 219.
 "PAP" ["Prolegomena to an Apology for Pragmatism"], MS 293 c. 1906, New Elements of Mathematics v. 4, pp. 319–320.
 A Letter to F. A. Woods (1913), Collected Papers v. 8, ย่อหน้าที่ 385–388.
(ดูข้างใต้ "Abduction" และ "Retroduction" ที่ Commens Dictionary of Peirce's Terms.) มัน "ถูกกีดขวางเล็กน้อย" โดยกฎของตรรกศาสตร์Peirce, C. S. (1903), Harvard lectures on pragmatism, Collected Papers v. 5, ย่อหน้าที่ 188–189. แม้แต่การเดาของสติปัญญาที่เตรียมตัวมาอย่างดีก็ยังผิดถี่กว่าถูกPeirce, C. S. (1908), "A Neglected Argument for the Reality of God", Hibbert Journal v. 7, pp. 90–112, ดู §4. ใน Collected Papers v. 6, ดูย่อหน้าที่ 476. ใน The Essential Peirce v. 2, ดู p. 444. แต่ความสำเร็จของการเดาของเรานั้นเกินไปกว่าคำว่าดวงสุ่ม ๆ และดูเหมือนจะเกิดจากการเข้ากับธรรมชาติโดยอัชฌัตติกญาณPeirce, C. S. (1908), "A Neglected Argument for the Reality of God", Hibbert Journal v. 7, pp. 90–112. ดูทั้ง part III และ part IV. พิมพ์ใหม่โดยรวมส่วนที่เดิมไม่ได้ตีพิมพ์ใน Collected Papers v. 6, ย่อหน้าที่ 452–85, Essential Peirce v. 2, pp. 434–50, และที่อื่น ๆ. (บางคนก็เรียกว่า การรู้เองเชิงตรรกะ (logical intuition) ในบริบทเช่นนั้นเพิร์ซใช้คำว่า "intuition" หรืออัชฌัตติกญาณไม่ใช่ในความหมายของการอนุมานตามสัญชาตญาณหรืออย่างกึ่งรู้สึกตัวแบบที่คนทำทั่วไป ณ ตอนนี้ แต่ทว่าใช้ในความหมายของการรับรู้ที่ไร้การตัดสินเชิงตรรกะด้วยการรับรู้ก่อน ๆ (a priori and a posteriori) เขาว่า "เราไม่มีพลังของอัชฌัตติกญาณ" ในความหมายนั้น ดู "Some Consequences of Four Incapacities" (1868) ของเขา, Eprint .)
 การจารนัยคาดเดาแนวคิดใหม่หรือนอกเหนือจากเดิมเพื่ออธิบายปรากฏการณ์ที่ซับซ้อนหรือน่าประหลาดใจในวิธีที่เป็นไปได้ ตามสัญชาตญาณ และประหยัด ซึ่งนั่นเป็นเป้าหมายโดยประมาณของมัน
 เป้าหมายที่ยาวกว่าคือเพื่อทำให้การสอบสวน (inquiry) นั้นประหยัดขึ้น เหตุผลของมันนั้นเป็นอุปนัย: มันใช้ได้บ่อยพอ เป็นแหล่งกำเนิดเดียวของแนวคิดใหม่ และไม่มีตัวแทนในการกระตุ้นการค้นพบความจริงใหม่ ๆสำหรับการสนทนาที่เกี่ยวข้องของเพิร์ซและจุดมุ่งหมายของการอนุมานแบบจารนัย ดู McKaughan, Daniel J. (2008), "From Ugly Duckling to Swan: C. S. Peirce, Abduction, and the Pursuit of Scientific Theories", Transactions of the Charles S. Peirce Society, v. 44, no. 3 (summer), 446–468. เหตุผลของมันรวมโดยเฉพาะหน้าที่ของมันในการประสานงานกับวิธีการอนุมานอื่น ๆ ในการสอบสวน มันเป้นการอนุมานสู่สมมติฐานการอธิบายสำหรับการเลือกวิธีที่ดีที่สุดที่จะลองใช้
 ปฏิบัตินิยม (Pragmatism) เป็นตรรกะของการจารนัย ในกระบวนการสร้างคำอธิบาย (ซึ่งเขาได้ถือว่าถูกนำโดยสัญชาตญาณ) คติบทเชิงปฏิบัติ (pragmatic maxim) ให้กฏทางตรรกศาสตร์ที่จำเป็นและพอเพียงสำหรับการจารนัยโดยทั่วไป สมมติฐานนั้นซึ่งสั่นคลอนจำเป็นต้องมีนัยยะที่เป็นไปได้คำว่า "conceivable" หรือเป็นไปได้นี้เพิร์ซหมายความอย่างกว้าง ๆ ดู Collected Papers v. 5, ย่อหน้าที่ 196, หรือ Essential Peirce v. 2, p. 235, "Pragmatism as the Logic of Abduction" (Lecture VII of the 1903 Harvard lectures on pragmatism):  แปล: มันอนุญาตให้จินตนาการใด ๆ โผยบิน ซึ่งจากจินตนาการนี้ก็จะในที่สุดลุกโชนเป็นผลในทางปฏิบัติที่เป็นไปได้ และดังนั้นสมมติฐานหลายข้ออาจเหมือนไม่รวมอยู่ในคติบทเชิงปฏิบัติในตอนแรกที่เห็นซึ่งแท้จริงแล้วไม่ได้ไม่ถูกรวมเท่าไรนักสำหรับการปฏิบัติที่มีข้อมูล เพื่อให้ทดสอบได้Peirce, C. S., Carnegie Application (L75, 1902, New Elements of Mathematics v. 4, pp. 37–38. ดูใต้ "Abduction" ที่ Commens Dictionary of Peirce's Terms:  แปล: เมโธดิวติก (Methodeutic) มีความสนใจเป็นพิเศษในการจารนัย หรือการอนุมานซึ่งเริ่มสมมติฐานทางวิทยาศาสตร์ เพราะมันไม่พอที่สมมติฐานหนึ่งควรเป็นสมมติฐานที่สมเหตุสมผลเพียงเท่านั้น สมมติฐานใด ๆ ที่อธิบายข้อเท็จจริงล้วนสมเหตุสมผลอย่างยิ่ง แต่ในสมมติฐานที่สมเหตุสมผลนั้นเราต้องเลือกข้อที่เหมาะสมสำหรับนำมาทดสอบในการทดลองได้Peirce, "Pragmatism as the Logic of Abduction" (Lecture VII of the 1903 Harvard lectures on pragmatism), ดู parts III และ IV. ตีพิมพ์เป็นบางส่วนใน Collected Papers v. 5, ย่อหน้าที่ 180–212 (ดู 196–200, Eprint และแบบเต็มใน Essential Peirce v. 2, pp. 226–241 (ดูส่วนที่ III และ IV).  แปล: .... อะไรคือการจารนัยที่ดี? สมมติฐานการอธิบายควรเป็นแบบใดจึงควรค่าแก่การภูกจัดเป็นสมมติฐาน? แน่นอน มันต้องอธิบายข้อเท็จจริง แต่เงื่อนไขอื่นใดอีกที่จำเป็นต้องบรรลุจึงจะดี? .... สมมติฐานใด ๆ จึงอาจยอมรับได้ในกรณีที่ไม่มีเหตุพิเศษที่จะไปตรงกันข้าม ก็ต่อเมื่อมันมีความสามารถในการถูกตรวจสอบโดยการทดลอง และตราบเท่าที่สามารถตรวจสอบได้ นี่เป็นหลักการโดยประมาณของปฏิบัตินิยม และด้วยการทดลองจึงกระตุ้นและมัธยัสถ์การสอบสวน เศรษฐกิจของการวิจัยนั้นเองเป็นสิ่งที่เรียกหาการจารนัยและเป็นตัวควบคุมศิลปะของมันPeirce, C.S. (1902), application to the Carnegie Institution, ดู MS L75.329-330, จาก Draft D  ของ Memoir 27:
 แปล: เพราะเหตุนี้ การค้นพบจึงเป็นเพียงการเร่งเหตุการณ์ที่อย่างไรก็จะเกิดไม่ว่าช้าหรือเร็ว ถ้าเราไม่ได้ลำบากตัวเองเพื่อทำการค้นพบสิ่งนั้น และดังนั้นศิลปะของการค้นพบเป็นเพียงปัญหาทางเศรษฐศาสตร์ เศรษฐศาสตร์ของการวิจัยนั้น ในเรื่องที่ตรรกศาสตร์นั้นยุ่งเกี่ยว เป็นหลักการชั้นนำที่อ้างอิงกับศิลปะของการค้นพบ เพราะฉะนั้นการกระทำการจารนัยซึ่งเป็นเพียงปัญหาในวิทยาการศึกษาสำนึกและเป็นคำถามแรกของวิทยาการศึกษาสำนึกจึงถูกปกครองโดยการพิจารณาทางเศรษฐศาสตร์

เพิร์ซเขียนไว้ในปี ค.ศ. 1910 และยอมรับว่า "ในทุกสิ่งที่ผมพิมพ์ไปก่อนศตวรรษนี้เริ่มต้นขึ้นผมก็ได้สับสนคำว่าสมมติฐานกับการอุปนัย"แปลจาก "in almost everything I printed before the beginning of this century I more or less mixed up hypothesis and induction"  และเขาได้ตามรอยความสับสนของนักตรรกวิทยาระหว่างการให้เหตุผลสองรูปแบบนี้ว่าเกิดจาก "การเข้าใจการอนุมานในแบบที่แคบและเป็นรูปนัย โดยคือเป็นการที่ได้ทำการตัดสินไปแล้วจากข้อตั้งของมัน" แปลจาก "narrow and formalistic a conception of inference, as necessarily having formulated judgments from its premises." Peirce, A Letter to Paul Carus circa 1910, Collected Papers v. 8, ย่อหน้าที่ 227–228. ดูใน "Hypothesis" ที่ Commens Dictionary of Peirce's Terms.

เริ่มต้นในช่วงปี ค.ศ. 1860s เขาได้ปฏิบัติต่อการอนุมานเชิงสมมติฐานในวิธีหลากหลายซึ่งก็ได้ค่อย ๆ ถูกเลือกออกที่ละวิธีตามความไม่จำเป็นหรือการเข้าใจผิดในบางกรณี:
 เป็นการอนุมานการมีอยู่ของลักษณะหนึ่ง (หรือคุณสมบัติใด ๆ) จากการสังเกตการณ์การมีอยู่รวมกันของลักษณะที่หลากหลายซึ่งจำเป็นต้องมีการมีอยู่ของลักษณะนั้นรวมด้วย(1867), "On the Natural Classification of Arguments", Proceedings of the American Academy of Arts and Sciences v. 7, pp. 261–287. Presented April 9, 1867. See especially starting at [ p. 284] in Part III §1. Reprinted in Collected Papers v. 2, paragraphs 461–516 and Writings v. 2, pp. 23–49. ตัวอย่างช่นหากการมีอยู่ใด ๆ ของ A นั้นถูกรู้กันว่าจำเป็นต้องต่อด้วยการมีอยู่ของ B, C, D, E แล้วโดยเป็นตัวอย่าง การสังเกตพบ B, C, D, E ก็ชี้แนะการมีอยู่ของ A (แต่พอในปี ค.ศ. 1878 เขาก็ไม่ได้ถือว่าความหลากหลายนี้เป็นสามัญกับการอนุมานเชิงสมมติฐานทุกอันแล้วPeirce, C. S. (1878), "Deduction, Induction, and Hypothesis", Popular Science Monthly, v. 13, pp. 470–82, see [ 472]. Collected Papers 2.619–44, see 623.วิกิซอร์ซ)
 เป็นการมุ่งหาสมมติฐานที่น่าจะเป็นไม่ว่ามากหรือน้อย (ในปี ค.ศ. 1867 และ 1883 แต่ไม่ในปี 1878 อย่างไรก็ดีพอในปี ค.ศ. 1900 การให้เหตุผลนั้นไม่ใช่ความน่าจะเป็นแต่เป็นการไม่มีอยู่ของทางเลือกแทนการคาดเดาและข้อเท็จจริงที่ว่าการเดานั้นให้ผลที่ดีA letter to Langley, 1900, published in Historical Perspectives on Peirce's Logic of Science. See excerpts under "Abduction" at the Commens Dictionary of Peirce's Terms. จนในปี ค.ศ. 1903 เขาพูดคำว่า "likely" หรือควรจะเป็นในความหมายของการเข้าใกล้ความจริงแบบ "ไม่ได้จำกัดความไว้แน่นอน""A Syllabus of Certain Topics of Logic'" (1903 manuscript), Essential Peirce v. 2, see p. 287. See under "Abduction" at the Commens Dictionary of Peirce's Terms. ในปี ค.ศ. 1908 เขาถกคำว่า plausibility หรือความเป็นไปได้เป็นการดึงดูดตามสัญชาตญาณ) ในกระดาษที่ให้วันที่โดยบรรณาธิการไว้ ประมาณ ปี ค.ศ. 1901 เขาอภิปรายคำว่า "instinct" หรือสัญชาตญาณกับ "naturalness" หรือความเป็นธรรมชาติ ตามไปกับชนิดของการพิจารณา (ราคาของการทดสอบ ความระมัดระวังทางตรรกะ ความกว้าง และความไม่ซับซ้อน) ซึ่งในภายหลังเขาได้เรียกมันว่า methodeutical หรือเมโธดิวติก Peirce, C. S., "On the Logic of Drawing History from Ancient Documents", dated as circa 1901 both by the editors of Collected Papers (see CP v. 7, bk 2, ch. 3, footnote 1) and by those of the Essential Peirce (EP) (Eprint . The article's discussion of abduction is in CP v. 7, paragraphs 218–31 and in EP v. 2, pp. 107–14.
 เป็นการอุปนัยจากลักษณะต่าง ๆ (แต่อย่างน้อยในปี ค.ศ. 1900 เขาบรรยายลักษณะการจารนัยเป็นการเดา)
 เป็นการอ้างอิงกฎที่รู้อยู่ในข้อตั้งมากกว่าการสมมติฐานกฎหนึ่งขึ้นมาในข้อสรุป (แต่ในปี ค.ศ. 1903 เขาอนุญาตได้ทั้งสองวิธีPeirce, C. S., "A Syllabus of Certain Topics of Logic" (1903), Essential Peirce v. 2, p. 287:
 แปล: จิตหาทางที่จะนำข้อเท็จจริงมาซึ่งระเบียบโดยการแก้ไขด้วยการค้นพบใหม่ ๆ นั่นคือ การกำหนดการเข้าใจโดยทั่วไปที่โอบอยู่รอบ ๆ ข้อเท็จจริง ในบางกรณีก็ทำด้วย การวางนัยทั่วไป ในกรณีอื่น ๆ ไม่มีกฎใหม่ใดที่ถูกนำเสนอ แต่มีเพียงสถานะประหลาดของข้อเท็จจริงที่จะ "อธิบาย" ปรากฏการณ์ที่น่าประหลาดใจนั้น ๆ และกฎที่ถูกรู้อยู่แล้วก็ถูกรับรู้ว่านำมาใช้กับสมมติฐานที่ถูกเสนอได้ ปรากฏการณ์นั้นจึงไม่น่าประหลาดใจเลยภายใต้ฐานคตินั้น แต่เป็นสิ่งที่เป็นไปได้หรือแม้แต่เป็นผลลัพธ์ที่จำเป็น การสังเคราะห์นี้ซึ่งเสนอการเข้าใจหรือสมมติฐานใหม่คือการจารนัย)
 โดยพื้นฐานเป็นการเปลี่ยนรูปของตรรกบทเด็ดขาดแบบนิรนัย (แต่ในปี ค.ศ. 1903 เขาเสนอเภทของ กฎการแจงผลตามเหตุ แทน และในปี ค.ศ. 1911 เขาไม่มั่นใจว่ารูปแบบใด ๆ จะครอบคลุมการอนุมานเชิงสมมติฐานได้ทั้งหมดA Letter to J. H. Kehler (1911), New Elements of Mathematics v. 3, pp. 203–4, ดูใต้ "Retroduction" ที่ Commens Dictionary of Peirce's Terms.).

The Natural Classification of Arguments (1867)
ใน "The Natural Classification of Arguments" ของเพิร์ซ (การจำแนกตามธรรมชาติของการอ้างเหตุผล) ปี ค.ศ. 1867 การอนุมานเชิงสมมติฐานจัดการกับกลุ่มของลักษณะเสมอ (เรียกเป็น P′, P′′, P′′′, ฯลฯ) ซึ่งถูกรู้ว่ามีอยู่อย่างน้อยเมื่อใดที่ลักษณะหนึ่ง (M) มีอยู่ หมายเหตุว่าตามเดิมแล้วตรรกบทเด็ดขาดมีองค์ประกอบที่เรียกว่าตัวกลาง (middles) ภาคแสดง (predicates) และประธาน (subjects) ตัวอย่างเช่น: "มนุษย์ [ตัวกลาง] ทุกคนเป็น มรรตัย [ภาคแสดง]; โสกราตีส [ประธาน] เป็น มนุษย์ [ตัวกลาง]; เพราะฉะนั้น โสกราตีส [ประธาน] เป็น มรรตัย [ภาคแสดง]" ข้างใต้ 'M' หมายถึงตัวกลาง 'P' เป็นภาคแสดง และ 'S' เป็นประธาน เพิร์ซถือว่าการนิรนัยทุกอันสามารถถูกจัดอยู่ในรูปแบบของตรรกบทเด็ดขาด Barbara (AAA-1) (Syllogism Modus Barbara)

[การนิรนัย]

M [ใด ๆ] เป็น P 
S [ใด ๆ] เป็น M 
 S [ใด ๆ] เป็น P การอุปนัย

S′, S′′, S′′′, ฯลฯ ถูกสุ่มเป็น M; 
S′, S′′, S′′′, ฯลฯ เป็น P: 
 M ใด ๆ น่าจะเป็น Pสมมติฐาน

M ใด ๆ เป็น ตัวอย่างเช่น P′, P′′, P′′′, ฯลฯ; 
S เป็น P′, P′′, P′′′, ฯลฯ: 
 S น่าจะเป็น M.

Deduction, Induction, and Hypothesis (1878)
ใน "Deduction, Induction, and Hypothesis" ของเพิร์ซ (การนิรนัย การอุปนัย และสมมติฐาน) ปี ค.ศ. 1878 การอนุมานไม่จำเป็นต้องมีลักษณะหรือภาคแสดงหลายอันเพื่อเป็นสมมติฐานแล้วแต่ถ้ามีก็เป็นประโยชน์ มากกว่านั้นเพิร์ซไม่ทำการอนุมานเชิงสมมติฐานเป็นการสรุปในสมมติฐาน น่าจะเป็น อีกแล้ว มันไม่ได้ชัดเจนในรูปของตัวมันเองแต่ก็เข้าใจกันว่าการอุปนัยมีการเลือกสุ่มและการอนุมานเชิงสมมติฐานมีการตอบสนองต่อ "พฤติการณ์ที่น่าประหลาดใจมาก" เพียงแต่รูปของมันเน้นว่าวิธีการการอนุมานเป็นการจัดเรียงใหม่ของประพจน์ของการอนุมานแต่ละรูปแบบ (โดยไม่มีคำใบ้ในวงเล็บด้านล่าง)

การนิรนัย

กฎ: ถั่วจากถุงนี้ทุกเม็ดมีสีขาว 
กรณี: ถั่วกองนี้มาจากถุงนี้ 
 ผลลัพธ์: ถั่วกองนี้สีขาวการอุปนัย

กฎ: ถั่วถูก [สุ่ม] เลือกจากถุงนี้ 
กรณี: ถั่วกองนี้สีขาว 
 ผลลัพธ์: ถั่วจากถุงนี้ทุกเม็ดมีสีขาวสมมติฐาน

กฎ: ถั่วจากถุงนี้ทุกเม็ดมีสีขาว 
ผลลัพธ์: ถั่วกองนี้สีขาว [ประหลาด] 
 กรณี: ถั่วมาจากถุงนี้

A Theory of Probable Inference (1883)
เพิร์ซปฏิบัติต่อการจารนัยเป็นการอุปนัยจากลักษณะต่าง ๆ (ซึ่งมีการถ่วงน้ำหนัก ไม่ได้นับเหมือนวัตถุ) อย่างชัดเจนใน "A Theory of Probable Inference" ปี ค.ศ. 1883 ที่ทรงอิทธิพลของเขา (ทฤษฎีของการอนุมานที่น่าจะเป็น) ที่ซึ่งเขากลับมารวมความน่าจะเป็นไว้ในของสรุปเชิงสมมติฐาน หนังสือเล่นนี้ได้มีคนอ่านจำนวนมากเหมือน "Deduction, Induction, and Hypothesis" ในปี ค.ศ. 1878 (ดูหนังสือประวัติศาสตร์เรื่องสถิติศาสตร์โดยสตีเฟน สติกเลอร์ (Stephen Stigler)) ไม่เหมือนการแก้ไขความคิดเกี่ยวกับการจารนัยอันต่อมาของเขา ปัจจุบันการจารนัยยังคงเข้าใจกันอย่างทั่วไปว่าเป็นการอุปนัยจากลักษณะและการขยายกฎที่รู้อยู่ไปครอบคลุมพฤติการณ์ที่ยังไม่ถูกอธิบาย 

เชอร์ล็อก โฮมส์ ใช้วิธีการให้เหตุผลนี้ในเรื่องของอาร์เธอร์ โคนัน ดอยล์ ถึงแม้โฮมส์จะเรียกมันว่า "การให้เหตุผลแบบนิรนัย" แปล: มาร์เซลโล ตรุตซี (Marcello Truzzi) คาดการณ์งาน ณ ปัจจุบันของเราในบทความค้นหาเรื่องวิธีการของโฮมส์ (1973:93–126) โดยการชี้ถึงความคล้ายคลึงระหว่างสิ่งที่นักสืบเรียกว่าการนิรนัยหรือการอุปนัยกับการจารนัยของเพิร์ซหรือข้อความคาดการณ์ มากกว่านั้น จากระบบตรรกะของเพิร์ซ การสังเกตการณ์ของโฮมส์นั้นเองเป็นรูปหนึ่งของการจารนัย และการจารนัยก็เป็นชนิดของการอนุมานเชิงตรรกะที่ชอบธรรมเช่นเดียวกับการอุปนัยและการนิรนัย (Peirce 8.228) แปล: การนำการจารนัยมาใช้เป็นวิธีการแบบศึกษาสำนึกหนึ่งที่น่าสนใจทางประวัติศาสตร์สามารถพบได้ในเรื่องราวนักสืบตามแบบแผน อย่างที่ได้แสดงโดยความเรียงเชิงสัญศาสตร์และตรรกศาสตร์ที่รวบรวมไว้ใน Eco และ Sebeok 1983 ซี. โอกุสต์ ดุแปง (C. Auguste Dupin) วีรบุรุษในนิยายของเอดการ์ แอลลัน โพ (Edgar Allan Poe) ในช่วงปีคริสตทศวรรษ 1840s ได้นำวิธีการ 'ratiocination' หรือ 'analysis' มาใช้ซึ่งมีโครงสร้างของ retroduction โดยคล้ายกัน ตรรกะของ 'การนิรนัย' ของเชอร์ล็อก โฮมส์นั้นเป็นจารนัยโดยปรกติแปล: ถึงแม้จะเป็นตัวละครสมมติ เชอร์ล็อก โฮมส์ยังคงเป็นที่เลื่องลือว่าเป็นนักสืบผู้ยิ่งใหญ่ แต่ทว่าระเบียบวิธีของเขาซึ่งเป็นการจารนัยมากกว่าการนิรนัยและซึ่งมีนักสืบตัวจริงหลายคนนำมาใช้อย่างไร้เดียงสา การพรรณนา การสนทนาถึง หรืองานวิจัยเรื่องนี้ก็หายาก เอกสารใบนี้เปรียบเทียบและเปรียบต่างรูปแบบสามรูปของการให้เหตุผลเชิงอนุมาน และให้การสำหรับการสื่อสารและการพัฒนาหน้าที่ของการจารนัยในงานและการฝึกของนายตำรวจ

Minute Logic (1902) และหลังจากนั้น
ในปี ค.ศ. 1902 เพิร์ซได้เขียนไว้ว่าตอนนี้เขาถือรูปทางตรรกบทและหลักของการขยายและความเข้าใจ (นั่นคือ วัตถุและลักษณะอย่างที่ถูกอ้างอิงโดยพจน์ต่าง ๆ) ว่าไม่ได้เป็นสิ่งที่เป็นรากฐานมากเท่าที่เคยคิดIn Peirce, C. S., 'Minute Logic' circa 1902, Collected Papers v. 2, paragraph 102. See under "Abduction" at Commens Dictionary of Peirce's Terms. ในปี ค.ศ. 1903 เขาเสนอรูปของการจารนัยดังต่อไปนี้: 

สมมติฐานถูกร่างขึ้นมาแต่ไม่ได้ถูกยืนยันในข้อตั้ง แล้วจึงถูกยืนยันว่าน่าสงสัยอย่างมีเหตุผลในข้อสรุป ดังนั้นอย่างในรูปของตรรกบทเด็ดขาดก่อนหน้า ข้อสรุปถูกกำหนดจากข้อตั้งบางข้อ แต่กระนั้นสมมติฐานประกอบด้วยมโนคติที่ใหม่หรืออยู่นอกสิ่งที่รู้หรือสังเกตเห็นอย่างชัดเจนมากกว่าที่เคย การอุปนัยในแง่หนึ่งไปไกลเกินการสังเกตการณ์ที่ได้ประกาศไว้แล้วในข้อตั้ง แต่เพียงขยายมโนคติที่รู้อยู่แล้วว่าแสดงเหตุการณ์หรือทดสอบมโนคติหนึ่งที่ถูกจัดเตรียมโดยสมมติฐาน ทางใดก็ตามก็ต้องการการจารนัยก่อนหน้าเพื่อที่จะให้ได้มโนคติแบบนั้นมาตั้งแต่แรก การอุปนัยตามหาข้อเท็จจริงเพื่อทดสอบสมมติฐาน การจารนัยตามหาสมมติฐานเพื่ออธิบายข้อเท็จจริง 

โปรดทราบว่าสมมติฐาน ("A") อาจเป็นกฏ และไม่จำเป็นแม้แต่จะต้องเป็นกฏที่บังคับการสังเกตการณ์ที่น่าประหลาดใจ ("C") ซึ่งจำเป็นที่จะตามมาแค่เป็น "เรื่องปกติ" หรือความ "ปกติ" เองนั้นอาจเปรียบเสมือนกฏที่รู้จัก ถูกพาดพิงถึงเท่านั้น และก็ไม่จำเป็นจะต้องเป็นกฎเพราะความจำเป็นอย่างเดียว ในปีเดียวกันเพิร์ซเขียนว่าการไปถึงสมมติฐานอาจมีส่วนของการวางการสังเกตการณ์ที่น่าประหลาดใจไว้ภายใต้กฎที่สมมติฐานขึ้นมาอย่างใหม่หรือการรวมกันที่ถูกสมมติฐานของกฎที่รู้จักต่าง ๆ กับสถานะแปลก ๆ ของข้อเท็จจริง เพื่อให้ปรากฏการณ์ไม่ได้น่าประหลาดใจแต่เป็นนัยอย่างจำเป็นหรืออย่างน้อยควรจะเป็นแทน

เพิร์ซยังคงไม่ได้ถูกโน้มน้าวมากนักสำหรับรูปใด ๆ เช่นนั้นว่าเป็นรูปของตรรกบทเด็ดขาดหรือรูปของปี ค.ศ. 1903 ในปี ค.ศ. 1911 เขาเขียนว่า "ณ ปัจจุบัน ผมไม่ได้รู้สึกโน้มน้าวใจเท่าใดนักว่ารูปตรรกะใด ๆ สามารถถูกมอบหมายที่จะครอบคลุม 'Retroductions' (การจารนัย) ทุกอัน เพราะสิ่งที่ผมหมายถึง retroduction เป็นอย่างง่าย ๆ คือข้อความคาดการณ์ที่เกิดขึ้นมาในจิต"แปลจาก "I do not, at present, feel quite convinced that any logical form can be assigned that will cover all 'Retroductions'. For what I mean by a Retroduction is simply a conjecture which arises in the mind." 

ปฏิบัตินิยม
ในปี ค.ศ. 1901 เพิร์ซเขียนว่า "มันจะไม่มีตรรกะในการกำหนดกฎขึ้นและในการบอกว่ากฎเหล่านั้นควรจะถูกทำตาม จนกว่าจะเข้าใจว่าจุดประสงค์ของสมมติฐานต้องการมัน"แปลจาก "There would be no logic in imposing rules, and saying that they ought to be followed, until it is made out that the purpose of hypothesis requires them." Peirce, "On the Logic of drawing History from Ancient Documents", 1901 manuscript, Collected Papers v. 7, ย่อหน้าที่ 164–231, see 202, reprinted in Essential Peirce v. 2, pp. 75–114, see 95. See under "Abduction" ที่ Commens Dictionary of Peirce's Terms. ในปี ค.ศ. 1903 เพิร์ซเรียกปฏิบัตินิยม (pragmatism) ว่า "the logic of abduction" (ตรรกะของการจารนัย) และบอกว่าคติบทปฏิบัตินิยม (pragmatic maxim) ให้กฏตรรกะที่จำเป็นและเพียงพอสำหรับการจารนัยโดยทั่วไป คติบทปฏิบัตินิยมคือ:

พิจารณาผลกระทบที่อาจมีผลในทางปฏิบัติอย่างเป็นไปได้ใด ๆ ที่เราเข้าใจว่าวัตถุในมโนภาพของเรามี แล้วมโนภาพของผลกระทบเหล่านี้ของเราเป็นมโนภาพของวัตถุนั้นทั้งหมดของเราแปลจาก "Consider what effects, that might conceivably have practical bearings, we conceive the object of our conception to have. Then, our conception of these effects is the whole of our conception of the object."

เป็นวิธีการเพื่อทำให้มโนภาพกระจ่างอย่างเป็นผลโดยเทียบความหมายของมโนภาพนั้นกับนัยยะทางปฏิบัติที่เป็นไปได้ของผลกระทบที่วัตถุนั้นมี เพิร์ซถือว่ามันเข้ากับจุดประสงค์ของการจารนัยในการสอบสวนอย่างแม่นยำ คือการสร้างมโนคติที่อาจก่อร่างการปฏิบัติอย่างมีความรู้อย่างเป็นไปได้ ในงานเขียนหลากหลายในช่วงปี ค.ศ. 1900sPeirce, "On the Logic of Drawing Ancient History from Documents", Essential Peirce v. 2, see pp. 107–9. เขาพูดว่าการปฏิบัติการจารนัย (หรือ retroduction) ถูกควบคุมโดยการพิจารณาเศรษฐกิจ โดยเฉพาะที่เป็นของเศรษฐศาสตร์ของการวิจัย เขาถือเศรษฐศาสตร์ว่าเป็นศาสตร์เชิงบรรทัดฐาน ซึ่งส่วนวิเคราะห์ของมันอาจเป็นส่วนหนึ่งของเมโธดิวติกเชิงตรรกะ (นั่นคือ ทฤษฎีของการสอบสวน)Peirce, Carnegie application, L75 (1902), Memoir 28: "On the Economics of Research", scroll down to Draft E. Eprint .

ตรรกะด้านการจารนัยสามระดับ
ระหว่างเวลาที่แล้วมา เพิร์ซแบ่งตรรกะ (เชิงปรัชญา) (Classification of the sciences (Peirce)) เป็นสามแผนก: 
 สเตคิโอโลจี (Stechiology) หรือไวยากรณ์สเป็กคูเลทีฟ เป็นเรื่องของเงื่อนไขสำหรับความหมาย และการจำแนกประเภทของสัญญะ (รูปลักษณ์ เครื่องแสดง สัญลักษณ์ ฯลฯ) และการรวมกันของพวกมัน (ตลอดจนวัตถุและความแปลของพวกมัน (interpretant))
 คริติกเชิงตรรกะ (Logical critic) หรือตรรกะแท้ (logic proper) เป็นเรื่องของความสมเหตุสมผลหรือความอ้างเหตุผลได้ของการอนุมาน หรือเงื่อนไขสำหรับการแทนจริง และบทวิจารณ์ของการอ้างเหตุผลในวิธีต่าง ๆ (แบบนิรนัย อุปนัย และจารนัย)
 เมโธดิวติก (Methodeutic) หรือวาทศาสตร์สเป็กคูเลทีฟ (speculative rhetoric) เป้นเรื่องของเงื่อนไขเพื่อพิจารณากำหนดการแปลความหมาย และระเบียบวิธีของการสอบสวนในปฏิกิริยากันและกันของวิธีต่าง ๆ ของมัน
ตั้งแต่เริ่ม เพิร์ซได้เห็นวิธีของการอนุมานถูกประสานเข้ากันในการสอบสวนทางวิทยาศาสตร์ และภายในช่วงปี ค.ศ. 1900s เขาถือว่าการอนุมานเชิงสมมติฐานโดยเฉพาะนั้นไม่ถูกปฏิบัติต่อในระดับของบทวิจารณ์ของการอ้างเหตุผลอย่างเหมาะสม เพื่อเพิ่มความเชื่อมั่นในข้อสรุปเชิงสมมติฐาน จะต้องนิรนัยว่าพบเจอนัยยะเกี่ยวกับหลักฐาน นั่นคือการคาดการณ์ซึ่งการอุปนัยสามารถทดสอบการสังเกตการณ์เพื่อประเมินผลสมมติฐานนั้น นี่คือสังเขปความระเบียบวิธีทางวิทยาศาสตร์ของการสอบสวนของเพิร์ซ (Charles Sanders Peirce) อย่างที่ครอบคลุมไว้ในระเบียบวิธีการสอบสวนของเขาซึ่งรวมปฏิบัตินิยม หรืออย่างที่เขาเรียกทีหลังว่าแพรกแมติสิซึม (pragmaticism) คือคำอธิบายของมโนคติในด้านของนัยยะที่เป็นไปได้ของการปฏิบัติอย่างมีความรู้ 

การจำแนกประเภทของสัญญะ
ภายในปี ค.ศ. 1866Peirce, C. S., the 1866 Lowell Lectures on the Logic of Science, Writings of Charles S. Peirce v. 1, p. 485. See under "Hypothesis" at Commens Dictionary of Peirce's Terms. เพิร์ซถือว่า:

 สมมติฐาน (การอนุมานแบบจารนัย) เป็นการอนุมานผ่าน สัญรูป (icon) (ก็เรียกว่า likeness หรือความเหมือนกับ). 
 การอุปนัยเป็นการอนุมานผ่าน ดรรชนี (index) (สัญญะโดยการเชื่อมโยงกับข้อเท็จจริง) ตัวอย่างเป็นดรรชนีของจำนวนทั้งหมดที่เลือกมาจาก
 การนิรนัยเป็นการอนุมานผ่าน สัญลักษณ์ (symbol) (สัญญะโดยการตีความโดยไม่คำนึงถึงความคล้ายคลึงหรือการเชื่อมโยงกับวัตถุ).

ในปี ค.ศ. 1902 เพิร์ซเขียนว่าในการจารนัย: "เป็นที่รู้จักว่าปรากฏการณ์นั้น เหมือนกับ หรือประกอบเป็นสัญรูปของสำเนาของมโนภาพทั่วไป หรือสัญลักษณ์" แปลจาก "It is recognized that the phenomena are like, i.e. constitute an Icon of, a replica of a general conception, or Symbol." Peirce, C. S., "A Syllabus of Certain Topics of Logic", written 1903. See The Essential Peirce v. 2, p. 287. Quote viewable under "Abduction" at Commens Dictionary of Peirce's Terms.

บทวิจารณ์ของการอ้างเหตุผล
ในระดับคริติก เพิร์ซตรวจสอบรูปของการอ้างเหตุผลแบบจารนัย (แบบที่อภิปรายไปด้านบน) และได้กลายมาถือว่าสมมติฐานควรอธิบายความฟังขึ้นอย่างประหยัดในด้านของความเป็นไปได้และความเป็นธรรมชาติ ในปี ค.ศ. 1908 เพิร์ซพรรณนาความเป็นไปได้ (plausibility) นี้ในรายละเอียด ความเป็นไปได้ที่อยู่บนการสังเกตการณ์ไม่ได้มีส่วนด้วย (ซึ่งจะกลายเป็นการประเมินผลแบบอุปนัยของสมมติฐานแทน) แต่เป็นความเรียบง่ายเหมาะที่สุดในความหมายของความ "ง่าย และเป็นธรรมชาติ" แทน เช่นแบบ
แสงแห่งเหตุผลธรรมชาติ (natural light of reason) ของกาลิเลโอ และต่างจาก "ความเรียบง่ายเชิงตรรกะ" (logical simplicity) (เพิร์ซไม่ได้มองข้ามความเรียบง่ายเชิงตรรกะทั้งหมดแต่มองว่ามีหน้าที่ที่เป็นรอง หากนำมาใช้อย่างสุดโต่งก็เป็นการสนับสนุนให้ไม่ต้องหาคำอธิบายของการสังเกตการณ์เลย) แม้แต่การเดาของสติปัญญาที่เตรียมตัวมาอย่างดีก็ยังผิดถี่กว่าถูก แต่ความสำเร็จที่จะหาความจริงหรืออย่างน้อยเดินหน้าการสอบสวนของการเดาของเรานั้นเกินไปกว่าคำว่าดวงสุ่ม ๆ และนั่นชี้ให้เพิร์ซเห็นว่าการเดาเหล่านั้นอยู่บนการเข้ากับธรรมชาติโดยอัชฌัตติกญาณ หรือความสัมพันธ์ที่ใกล้ชิดระหว่างกระบวนการในจิตและกระบวนการในความเป็นจริงซึ่งจะเป็นเหตุผลอย่างน่าดึงดูดว่าทำไมการเดา "โดยธรรมชาติ" จะเป็นอันที่สำเร็จบ่อย (หรือไม่บ่อย) ที่สุด และเพิร์ซจึงได้อ้างเหตุผลว่าควรชอบการเดาแบบนั้นมากกว่าเพราะเมื่อไม่มี "a natural bent like nature's" (ความเอนเอียงตามธรรมชาติอย่างที่ธรรมชาติมี) ก็จะไม่มีความหวังใดในการที่ผู้คนจะเข้าใจธรรมชาติ ในปี ค.ศ. 1910 เพิร์ซได้แยกแยะเป็นสามทางระหว่างความน่าจะเป็น (probability) ความละม้ายจริง (verisimilitude) และความเป็นไปได้ (plausibility) และนิยามคำว่าความเป็นไปได้ด้วยคำว่า "ought" (ควรจะ): "คำว่าความเป็นไปได้นี้ ผมหมายถึงระดับที่ทฤษฎีหนึ่งควรจะแนะนำตัวเองสู่ความเชื่อของเราโดยปราศจากหลักฐานใด ๆ นอกจากสัญชาตญาณตัวเองที่ผลักดันให้เราสนับสนุนมัน"แปลจาก "By plausibility, I mean the degree to which a theory ought to recommend itself to our belief independently of any kind of evidence other than our instinct urging us to regard it favorably." Peirce, A Letter to Paul Carus 1910, Collected Papers v. 8, see paragraph 223. สำหรับเพิร์ซ ความเป็นไปได้ (plausibility) ไม่ได้ขึ้นอยู่กับความถี่ที่สังเกตเห็นหรือความน่าจะเป็น หรือความละม้ายจริง หรือแม้แต่ความทดสอบได้ (testability) ซึ่งไม่ใช่เรื่องของบทวิจารณ์ว่าการอนุมานเชิงสมมติฐานเป็นการอนุมาน แต่เป็นเรื่องของความสัมพันธ์ของสมมติฐานต่อกระบวนการสอบสวน

วลีว่า "การอนุมานสู่คำอธิบายที่ดีที่สุด" (ซึ่งเพิร์ซไม่ใช้แต่มักจะถูกนำมาใช้เรียกการอนุมานเชิงสมมติฐาน) ไม่ได้ถูกเข้าใจว่าหมายถึงสมมติฐานที่เรียบง่ายและเป็นธรรมชาติที่สุดเสมอ (ดังเช่นพวกที่มีข้อสมมติฐานน้อยที่สุด) อย่างไรก็ตาม ความหมายอื่น ๆ ของคำว่า "ดีที่สุด" เช่น "ผ่านการทดสอบได้ดีที่สุด" ก็ยากที่จะรู้ว่าจะสร้างคำอธิบายไหนดีที่สุดในเมื่อมันยังไม่ได้ถูกทดสอบ สำหรับเพิร์ซแล้ว การให้เหตุผลการอนุมานแบบจารนัยใด ๆ ว่าดียังคงไม่สมบูรณ์แค่เพราะถูกสร้างเป็นการอ้างเหตุผล (ต่างจากการอุปนัยและการนิรนัย) และขึ้นอยู่กับหน้าที่ในระเบียบวิธีและความมั่นสัญญาว่าจะดำเนินหน้าการสอบสวน (เช่นความทดสอบได้) แทนPeirce, C. S. (1902), Application to the Carnegie Institution, Memoir 27, Eprint : "Of the different classes of arguments, abductions are the only ones in which after they have been admitted to be just, it still remains to inquire whether they are advantageous." แปล: จากหมวดหมู่ต่าง ๆ ของการอ้างเหตุผล การจารนัยเป็นอันเดียวที่หลังจากยอมรับว่าสมเหตุสมผล (just) แล้ว ก็ยังเหลือที่จะสอบสวนว่ามันเป็นประโยชน์หรือไม่

ระเบียบวิธีของการสอบสวน
ในระดับเมโธดิวติก เพิร์ซถือว่าสมมติฐานจะได้รับเลือกและถูกตัดสินไปทดสอบก็เพราะมันเสนอที่จะเร่งและทำให้กระบวนการสอบสวนประหยัด (inquiry) ในการหาความจริงด้วยการทดสอบมัน อย่างแรกเลยคือด้วยการทดสอบได้ และก็ด้วยเรื่องเศรษฐกิจเพิ่มเติม ไม่ว่าในด้านราคา (cost) มูลค่า (value) และความสัมพันธ์ท่ามกลางการเดาต่าง ๆ (สมมติฐาน) การพิจารณาดังเช่นความน่าจะเป็นซึ่งไม่มีในการปฏิบัติของการจารนัยในระดับคริติกก็จะมีส่วนร่วมในระดับนี้ ตัวอย่างเช่น: 
 ราคา (cost) : ถ้าการเดาที่เรียบง่ายและเป็นไปได้สูงนั้นมีราคาในการทดสอบความเท็จที่ต่ำก็อาจเป็นอันแรก ๆ ที่เอามาทดสอบเพื่อเบิกทางก่อน ถ้ามันผ่านการทดสอบอย่างน่าประหลาดใจ มันก็คุ้มที่จะรู้ตั้งแต่แรกเริ่มในการสอบสวน ไม่อย่างนั้นอาจจะต้องเสียเวลานานไปกับแนวทางที่ดูเป็นไปได้มากกว่าแต่ความจริงแล้วผิด 
 มูลค่า (value) : การเดาหนึ่งนั้นคุ้มค่าที่จะทดสอบในตัวมันเองถ้ามีความเป็นไปได้โดยสัญชาตญาณหรือความน่าจะเป็นอย่างรูปธรรมที่มีเหตุผล ในขณะที่ความควรจะเป็นอัตวิสัยไม่น่าไว้วางใจแม้จะมีเหตุผล
 อันตรสัมพันธภาพ (interrelationships) : สามารถเลือกการเดามาทดลองอย่างมีกลยุทธ์ได้ด้วยสิ่งเหล่านี้
 ความรอบคอบ (caution) ตัวอย่างที่เพิร์ซให้คือเกมยี่สิบคำถาม (Twenty Questions)
 ความกว้าง (breadth) ของการนำไปใช้อธิบายปรากฏการณ๋ได้หลากหลาย และ
 ความไม่ซับซ้อน (incomplexity) ของสมมติฐานที่ดูเรียบง่ายและเมื่อทดสอบแล้วจะปูทางไปสู่การไล่ตามสมมติฐานที่หลากหลายและขัดแย้งกันและเรียบง่ายน้อยกว่าPeirce, "On the Logic of Drawing Ancient History from Documents", Essential Peirce v. 2, see pp. 107–9 and 113. On Twenty Questions, p. 109, Peirce has pointed out that if each question eliminates half the possibilities, twenty questions can choose from among 220 or 1,048,576 objects, and goes on to say:  แปล: ดังนั้น การสมมติฐานอย่างชำนาญเพียงยี่สิบครั้งจะสืบพบสิ่งที่สมมติฐานโง่ ๆ 200,000 ข้อหาไม่เจอ ความลับทางธุรกิจก็คือความรอบคอบที่จะแยกสมมติฐานเป็นส่วนที่เล็กที่สุดในเชิงตรรกะ และเสี่ยงลองแค่รอบละหนึ่งส่วน

การประยุกต์ใช้

 ปัญญาประดิษฐ์ 
การประยุกต์ใช้ในปัญญาประดิษฐ์มีการวินิจฉัยความผิดพร่อง (Diagnosis (artificial intelligence)) การปรับปรุงความเชื่อ (belief revision) และการวางแผนของเครื่อง (automated planning) การประยุกต์ใช้โดยตรงที่สุดของการจารนัยคือการตรวจจับความผิดพร่องโดยอัตโนมัติในระบบ: เมื่อมีทฤษฎีที่ว่าด้วยความสัมพันธ์ระหว่างความผิดพร่องกับผลกระทบและชุดผลกระทบที่สังเกตเห็น จะสามารถจารนัยหาชุดความผิดพร่องที่อาจจะเป็นสาเหตุของปัญหา

 แพทยศาสตร์ 
ในแพทยศาสตร์ สามารถมองการจารนัยเป็นส่วนประกอบในการประเมินผลและการตัดสินใจทางคลินิก

 การวางแผนของเครื่อง 
การจารนัยสามารถนำมาใช้โมเดลการวางแผนของเครื่องได้Kave Eshghi. Abductive planning with the event calculus. In Robert A. Kowalski, Kenneth A. Bowen editors: Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, August 15–19, 1988. MIT Press 1988,  หากมีทฤษฎีของตรรกะที่แสดงความสัมพันธ์ระหว่างเหตุการณ์ของการกระทำและผลของมัน (ตัวอย่างเช่น สูตรของแคลคูลัสเหตุการณ์ (event calculus)) ก็จะสามารถโมเดลปัญหาของการหาแผนการสำหรับการไปถึงสภาวะหนึ่งให้เป็นปัญหาของการจารนัยหาชุดของสัญพจน์ (literal) ที่แสดงนัยว่าสภาวะสุดท้ายเป็นสภาวะเป้าหมาย (goal state)

 การวิเคราะห์ข่าวกรอง 
มีการใช้การให้เหตุผลแบบจารนัยเชิงความน่าจะเป็นในการวิเคราะห์ข่าวกรอง (intelligence analysis), การวิเคราะห์สมมติฐานคู่แข่ง (analysis of competing hypotheses) และ โครงข่ายแบบเบส์ อย่างกว้างขวาง การวินิจฉัยทางการแพทย์และการให้เหตุผลทางกฎหมายก็มีใช้วิธีการนี้เช่นเดียวกัน แต่มีหลายตัวอย่างของข้อผิดพลาดโดยเฉพาะพวกที่เกิดจากเหตุผลวิบัติโดยอัตราพื้นฐานและเหตุผลวิบัติของพนักงานอัยการ (prosecutor's fallacy)

 ปรัชญาวิทยาศาสตร์ 
ในปรัชญาวิทยาศาสตร์ (philosophy of science) การจารนัยเป็นวิธีการอนุมานที่สำคัญที่สนับสนุนมุมมองสัจนิยมทางวิทยาศาสตร์ (scientific realism) และการถกเถียงของสัจนิยมทางวิทยาศาสตร์ส่วนมากเป็นเรื่องเกี่ยวกับว่าการจารนัยเป็นวิธีการอนุมานที่ยอมรับได้หรือไม่Lipton, Peter. (2001). Inference to the Best Explanation, London: Routledge. .

 ภาษาศาสตร์เชิงประวัติ 
ในภาษาศาสตร์เชิงประวัติ การจารนัยในระหว่างการรู้ภาษา (language acquisition) มักถูกถือว่าเป็นส่วนที่จำเป็นในกระบวนการการเปลี่ยนแปลงภาษา ดังเช่นการวิเคราะห์ใหม่ (folk etymology) และแนวเทียบApril M. S. McMahon (1994): Understanding language change. Cambridge: Cambridge University Press.  (analogy)

 ภาษาศาสตร์ประยุกต์ 
ในการวิจัยภาษาศาสตร์ประยุกต์ (applied linguistics) การให้เหตุผลแบบจารนัยกำลังถูกเริ่มใช้เป็นคำอธิบายทางเลือกแทนการให้เหตุผลแบบอุปนัยในการรู้จำผลลัพธ์ที่คาดไว้ของการสอบสวนเชิงคุณภาพ ทำให้มีส่วนในกำหนดทิศทางของการวิเคราะห์ มันถูกนิยามเป็น "การใช้ข้อตั้งที่ไม่ชัดเจนจากการสังเกตการณ์ และไล่ตามทฤษฎีต่าง ๆ เพื่ออธิบายมัน"
("The use of an unclear premise based on observations, pursuing theories to try to explain it" (Rose et al., 2020, p. 258))

 มานุษยวิทยา 
ในสาขามานุษยวิทยา อัลเฟรด เกลล์ (Alfred Gell) นิยามการจารนัย (ต่อจากเอโก) ในหนังสือทรงอิทธิพลของเขาชื่อ Art and Agency (ศิลปะและผู้กระทำการ) ว่าเป็น "หนึ่งกรณีของการอนุมานเชิงสังเคราะห์ 'ที่ซึ่งเราพบพฤติการณ์ที่น่าฉงนซึ่งจะสามารถอธิบายได้ด้วยข้อสมมุติว่ามันเป็นหนึ่งกรณีของกฎทั่วไปกฎหนึ่ง และเหตุฉะนั้นจึงนำข้อสมมุตินั้นมาใช้ ("a case of synthetic inference 'where we find some very curious circumstances, which would be explained by the supposition that it was a case of some general rule, and thereupon adopt that supposition) เกลล์วิจารณ์งานศึกษา "ทางมานุษยวิทยา" เรื่องศิลปะ ณ ตอนนั้นว่าหมกมุ่นกับคุณค่าทางสุนทรียภาพ และหมกมุ่นกับภาระหลักของมานุษยวิทยาในการเปิดเผย "ความสัมพันธ์ทางสังคม" ไม่พอ โดยเฉพาะบริบททางสังคมที่งานศิลปะได้ถูกสร้างสรรค์ หมุนเวียน และรับBowden, R. (2004) A critique of Alfred Gell on Art and Agency. Retrieved Sept 2007 from: Find Articles at BNET การจารนัยถูกใช้เป็นกลไกในการเคลื่อนจากศิลปะเป็นผู้กระทำการ นั่นคือการจารนัยสามารถอธิบายวิธีที่ศิลปะสามารถดล สามัญสำนึก (sensus communis) ขึ้นมา ซึ่งคือมุมมองที่มีร่วมกันระหว่างสมาชิกของสังคมหนึ่ง ซึ่งแสดงลักษณะ (characterize) ของสังคมนั้น ๆWhitney D. (2006) "Abduction the agency of art". Retrieved May 2009 from: University of California, Berkeley 

คำถามที่เกลล์ถามในหนังสือคือ "มัน 'บอก' อะไรกับคนในตอนแรก?" ("how does it initially 'speak' to people?") เขาตอบว่า "ไม่มีคนมีเหตุผลคนไหนจะนึกไม่ได้ว่าความสัมพันธ์แบบศิลปะระหว่างผู้คนและสิ่งของจะมีการสร้างความหมาย (semiosis) เป็นอย่างน้อย" ("No reasonable person could suppose that art-like relations between people and things do not involve at least some form of semiosis.") แต่ทว่าเขาปฏิเสธทุกข้อกล่าวหาที่บอกว่าการสร้างความหมายสามารถมองเป็นภาษาได้ เพราะเช่นนั้นแล้วเขาจำต้องยอมรับการมีอยู่ของ "สามัญสำนึก" ที่มีมาอยู่ก่อนแล้วซึ่งเขาต้องการบอกว่ามันเกิดขึ้นต่อมาทีหลังจากศิลปะเท่านั้น การจารนัยเป็นคำตอบต่อปริศนานี้เพราะธรรมชาติความเป็นคร่าว ๆ ของแนวคิดการจารนัย (ที่เพิร์ซเปรียบเหมือนกับการเดา) แปลว่านอกจากจะใช้งานนอกโครงข่ายที่มีอยู่ก่อนได้แล้ว แต่มากกว่านั้นยังสามารถประกาศการมีอยู่ของโครงข่ายหนึ่งได้ด้วย อย่างที่เกลล์ให้เหตุผลไว้ในการวิเคราะห์ของเขา การมีอยู่ทางกายภาพของงานศิลปะนั้นเองที่กระตุ้นให้ผู้ชมกระทำการจารนัยและใส่เจตนารมณ์ของงานศิลปะเข้าไปเอง ตัวอย่างเช่นรูปปั้นเทพธิดา ในแง่หนึ่งก็ได้กลายเป็นเทพธิดาของจริงในสมองของผู้ชม และไม่ได้เป็นแค่ตัวแทนรูปของเทพองค์หนึ่งเท่านั้นแต่ยังแสดงถึงเจตนาของเธอด้วย (ซึ่งถูกจารนัยจากความรู้สึกถึงการมีอยู่ของเธอ) เพราะฉะนั้นเกลล์อ้างว่าศิลปะสามารถมีความเป็นผู้กระทำ (agency) ในชนิดที่เหมือนกับเมล็ดพันธุ์ที่หยั่งรากและเติบโตไปเป็นตำนานทางวัฒนธรรม พลังของความเป็นผู้กระทำเป็นพลังที่จะผลักดันการกระทำต่าง ๆ และท้ายที่สุดก็ดลใจให้เกิดความเข้าใจร่วมกัน ซึ่งเป็นสิ่งที่แสดงลักษณะของสังคม

 การเขียนโปรแกรมคอมพิวเตอร์ 
ในวิธีการรูปนัย (formal methods) ตรรกะถูกใช้ระบุและตรวจสอบคุณสมบัติของโปรแกรมคอมพิวเตอร์ การจารนัยถูกนำไปใช้ในอุปกรณ์ให้เหตุผลกล (mechanized reasoning tool) เพื่อเพิ่มระดับอัตโนมัติกรรม (automation) ของกิจกรรมการตรวจสอบ 

เทคนิคหนึ่งเรียกว่า bi-abduction ซึ่งรวมการจารนัยและปัญหากรอบ (frame problem) ถูกใช้ขยายเทคนิคการให้เหตุผลของคุณสมบัติความจำให้สามารถให้เหตุผลเป็นรหัสหรือโค้ดหลายล้านบรรทัด การจารนัยที่อยู่บนตรรกศาสตร์ถูกใช้เพื่ออนุมานเงื่อนไขก่อน (precondition) ของฟังก์ชันแต่ละอันในโปรแกรมหนึ่งและลดภาระที่มนุษย์ต้องทำ นี่ทำให้เกิดบริษัทสตาร์ทอัพที่รับตรวจสอบโปรแกรมซึ่งถูกซื้อไปโดยเฟสบุ๊ก และอุปกรณ์วิเคราะห์โปรแกรม Infer ซึ่งได้ป้องกันฐานรหัส (Codebase) อุตสาหกรรมจากจุดบกพร่องหลายพันจุด

นอกจากการจารนัยหาเงื่อนไขก่อนของฟังก์ชันแล้ว การจารนัยยังถูกใช้เพื่อทำการอนุมานตัวยืนยง (invariant) ของลูปโปรแกรม (program loop) การอนุมานข้อกำหนดของโค้ดที่ไม่รู้จัก และการสังเคราะห์ตัวโปรแกรมเอง ให้เป็นอัตโนมัติ

ดูเพิ่ม

การคิดวิเคราะห์
การทดสอบเป็ด (Duck test)
การประมาณค่าควรจะเป็นสูงสุด (Maximum likelihood estimation)
การให้เหตุผลเชิงตรรกะ (Logical reasoning)
การให้เหตุผลแบบเพิกถอนได้ (Defeasible reasoning)
การอนุมานสาเหตุ (Attribution (Psychology))
การอ้างเหตุผล (Argument)
เกร็กกอรี่ เบตสัน (Gregory Bateson)
ความน่าจะเป็นแบบอุปนัย (Inductive probability)
การสร้างความเข้าใจ (Sensemaking)
ดักลาส เอ็น. วอลตัน (Douglas N. Walton)
ทฤษฎีวิธีการให้เหตุผล (Argumentation Theory)
บรรณานุกรมชารลส์ แซนเดอรส์ เพิร์ซ (Charles Sanders Peirce bibliography)
แบบจำลองทางสถิติ (Statistical model)
ศึกษาสำนึก
สัญสัมพันธ์ (Sign relation)

อ้างอิง

บรรณานุกรม

 .
Awbrey, Jon, and Awbrey, Susan (1995), "Interpretation as Action:  The Risk of Inquiry", Inquiry:  Critical Thinking Across the Disciplines, 15, 40–52.  Eprint
Cialdea Mayer, Marta and Pirri, Fiora (1993) "First order abduction via tableau and sequent calculi" Logic Jnl IGPL 1993 1: 99–117; . Oxford Journals
Cialdea Mayer, Marta and Pirri, Fiora (1995) "Propositional Abduction in Modal Logic", Logic Jnl IGPL 1995 3: 907–919;  Oxford Journals
Edwards, Paul (1967, eds.), "The Encyclopedia of Philosophy," Macmillan Publishing Co, Inc. & The Free Press, New York. Collier Macmillan Publishers, London.
, T., and Gottlob, G. (1995), "The Complexity of Logic-Based Abduction, Journal of the ACM, 42.1, 3–42.
Hanson, N. R. (1958). Patterns of Discovery: An Inquiry into the Conceptual Foundations of Science, Cambridge: Cambridge University Press.  .

Josephson, John R., and Josephson, Susan G. (1995, eds.), Abductive Inference:  Computation, Philosophy, Technology, Cambridge University Press, Cambridge, UK.
Lipton, Peter.  (2001).  Inference to the Best Explanation, London: Routledge.  .
Magnani, Lorenzo (2014), "Understanding abduction", Model-Based Reasoning in Science and Technology: Theoretical and Cognitive Issues (editor—Magnani L.) Springer, p. 173-205.
McKaughan, Daniel J. (2008), "From Ugly Duckling to Swan: C. S. Peirce, Abduction, and the Pursuit of Scientific Theories", Transactions of the Charles S. Peirce Society, v. 44, no. 3 (summer), 446–468. Abstract.

Queiroz, Joao & Merrell, Floyd (guest eds.). (2005). "Abduction - between subjectivity and objectivity". (special issue on abductive inference) Semiotica 153 (1/4). .
Santaella, Lucia (1997) "The Development of Peirce's Three Types of Reasoning: Abduction, Deduction, and Induction", 6th Congress of the IASS. Eprint.
Sebeok, T. (1981) "You Know My Method". In Sebeok, T. "The Play of Musement". Indiana. Bloomington, IA.
Yu, Chong Ho (1994), "Is There a Logic of Exploratory Data Analysis?", Annual Meeting of American Educational Research Association, New Orleans, LA, April, 1994.  Website of Dr. Chong Ho (Alex) Yu

แหล่งข้อมูลอื่น

"Abductive Inference" (ถึงแล้วเลื่อนลง), John R. Josephson, Laboratory for Artificial Intelligence Research, Ohio State University. (Former webpage via the Wayback Machine.)
"Deduction, Induction, and Abduction", Chapter 3 in article "Charles Sanders Peirce" by Robert Burch, 2001 and 2006, in the Stanford Encyclopedia of Philosophy.
"Abduction", links to articles and websites on abductive inference, Martin Ryder.
International Research Group on Abductive Inference, Uwe Wirth and Alexander Roesler, eds. Uses frames. Click on link at bottom of its home page for English. Wirth moved to U. of Gießen, Germany, and set up Abduktionsforschung, home page not in English but see Artikel section there. Abduktionsforschung home page via Google translation.
"'You Know My Method': A Juxtaposition of Charles S. Peirce and Sherlock Holmes" (1981), by Thomas Sebeok with Jean Umiker-Sebeok, from The Play of Musement, Thomas Sebeok, Bloomington, Indiana: Indiana University Press, pp. 17–52.
Commens Dictionary of Peirce's Terms, Mats Bergman and Sami Paavola, editors, Helsinki U. Peirce's own definitions, often many per term across the decades. There, see "Hypothesis [as a form of reasoning]", "Abduction", "Retroduction", and "Presumption [as a form of reasoning]".

หมวดหมู่:การให้เหตุผล
หมวดหมู่:ญาณวิทยา
หมวดหมู่:การปรับปรุงความเชื่อ
หมวดหมู่:สถิติแบบเบส์
หมวดหมู่:ชารลส์ แซนเดอรส์ เพิร์ซ