ดูต้นฉบับสำหรับ การให้เหตุผลแบบจารนัย

[[ไฟล์:Mastermind beispiel.svg|thumb|150px|ผู้เล่นเกมกระดาน[[มาสเตอร์ไมนด์ (เกมกระดาน)|มาสเตอร์ไมนด์]] (Mastermind (board game)) ใช้การจารนัยเพื่ออนุมานหาลำดับสีที่ถูกต้อง ''(บน)'' จากหมุดที่บอกถึงความแตกต่าง ''(ซ้ายล่าง)'' ระหว่างลำดับสีที่ผู้เล่นเดา ''(ขวาล่าง)'' และลำดับที่ผู้เล่นอีกคนกำหนดไว้]] 
'''การให้เหตุผลแบบจารนัย''' ({{langx|en|'''Abductive reasoning'''}} หรือบ้างก็ว่า '''abduction'''<ref name="Josephson">เช่น: {{cite book |editor1-last=Josephson |editor1-first=John R. |editor2-last=Josephson |editor2-first=Susan G. |date=1994 |title=Abductive Inference: Computation, Philosophy, Technology |location=Cambridge, UK; New York |publisher=Cambridge University Press |isbn=978-0521434614 |oclc=28149683 |doi=10.1017/CBO9780511530128|url=https://books.google.com/?id=uu6zXrogwWAC&pg=PA1&dq=%22Abductive+Inference:+Computation,+Philosophy,+Technology%22#v=onepage&q=%22Abductive%20Inference%3A%20Computation%2C%20Philosophy%2C%20Technology%22&f=false}}</ref> '''abductive inference'''<ref name="Josephson"/> หรือ '''retroduction'''<ref>{{Cite web|url = http://www.commens.org/dictionary/term/retroduction|title = <nowiki>Retroduction | Dictionary | Commens</nowiki>|date = |accessdate = 2014-08-24|website = Commens – Digital Companion to C. S. Peirce|publisher = Mats Bergman, Sami Paavola & João Queiroz|archive-url = https://web.archive.org/web/20140826115846/http://www.commens.org/dictionary/term/retroduction|archive-date = 2014-08-26|url-status = dead}}</ref>) เป็น[[การอนุมาน|การอนุมานเชิงตรรกะ]]รูปแบบหนึ่งซึ่งถูกบัญญัติและพัฒนาโดย[[นักปราชญ์]]ชาวอเมริกัน [[ชารลส์ แซนเดอรส์ เพิร์ซ]] (Charles Sanders Peirce) เริ่มต้นในช่วงปลายคริสต์ศตวรรษที่ 19 โดยเริ่มจากการสังเกตการณ์ชุดหนึ่ง แล้วพยายามหาข้อสรุปที่ง่ายและควรจะเป็นมากที่สุดจากการสังเกตการณ์ชุดนั้น กระบวนการนี้ผลิตข้อสรุปที่เป็นไปได้แต่ไม่ได้ยืนยันว่าเป็นจริงซึ่งต่างจาก[[การให้เหตุผลแบบนิรนัย]] การให้เหตุผลแบบจารนัยนั้นจึงมีความไม่แน่นอนหรือเคลือบแคลงซึ่งสามารถแสดงออกมาด้วยคำหลีกต่าง ๆ เช่น ''หาง่ายที่สุด'' หรือ ''ควรจะเป็นมากที่สุด'' เรายังสามารถมองการให้เหตุผลแบบจารนัยได้ว่าเป็น '''การอนุมานสู่คำอธิบายที่ดีที่สุด''' (IBE) <ref>{{cite book |last=Sober |first=Elliott |authorlink=Elliott Sober |date=2013 |title=Core Questions in Philosophy: A Text with Readings |url=https://archive.org/details/corequestionsinp0000sobe_s4g8 |edition=6th |location=Boston |publisher=Pearson Education |isbn=9780205206698 |oclc=799024771 |page=[https://archive.org/details/corequestionsinp0000sobe_s4g8/page/n51 28] |quote=I now move to abduction—inference to the best explanation.}}</ref> ถึงแม้การใช้คำว่า ''การจารนัย'' และ ''การอนุมานสู่คำอธิบายที่ดีที่สุด'' อาจไม่สมมูลกันทุกครั้งเสมอไป<ref>{{cite journal |last=Campos |first=Daniel G. |date=June 2011 |title=On the distinction between Peirce's abduction and Lipton's inference to the best explanation |url=https://archive.org/details/sim_synthese_2011-06_180_3/page/n106 |journal=[[Synthese]] |volume=180 |issue=3 |pages=419–442 |doi=10.1007/s11229-009-9709-3 |quote={{quote|I argue against the tendency in the philosophy of science literature to link abduction to the inference to the best explanation (IBE), and in particular, to claim that Peircean abduction is a conceptual predecessor to IBE. [...] In particular, I claim that Peircean abduction is an in-depth account of the process of generating explanatory hypotheses, while IBE, at least in [[Peter Lipton]]'s thorough treatment, is a more encompassing account of the processes both of generating and of evaluating scientific hypotheses. There is then a two-fold problem with the claim that abduction is IBE. On the one hand, it conflates abduction and induction, which are two distinct forms of logical inference, with two distinct aims, as shown by Charles S. Peirce; on the other hand it lacks a clear sense of the full scope of IBE as an account of scientific inference.}}}}<br>'''แปล''': ผมไม่เห็นด้วยกับแนวโน้มในวรรณกรรมปรัชญาวิทยาศาสตร์ที่มีการเชื่อมโยงการจารนัยกับการอนุมานสู่คำอธิบายที่ดีที่สุด (IBE) โดยเฉพาะคำกล่าวอ้างว่าการจารนัยแบบเพิร์ซนั้นเป็นบรรพบุรุษของ IBE [...] ในรายละเอียด ผมยืนยันว่าการจารนัยแบบเพิร์ซนั้นเป็นการบรรยายเชิงลึกของกระบวนการสร้างสมมติฐานเชิงอธิบาย ในขณะที่ IBE อย่างน้อยในการปฏิบัติต่อมันอย่างละเอียดของ [[ปีเตอร์ ลิปตัน]] เป็นการบรรยายที่ครอบคลุมกระบวนการสร้างและประเมินสมมติฐานทางวิทยาศาสตร์มากกว่า การอ้างว่าการจารนัยคือ IBE นั้นจึงเป็นคำกล่าวอ้างที่มีปัญหาในสองด้าน ในด้านหนึ่ง มันเป็นการจับรวมการจารนัยเข้ากับการอุปนัยแม้ทั้งสองจะเป็นการอนุมานเชิงตรรกะคนละรูปแบบซึ่งมีเป้าหมายที่ต่างกันอย่างที่ ชารลส์ เอส เพิร์ซ ได้แสดงให้เห็นแล้ว ในอีกด้านหนึ่ง มันไม่เข้าใจในขอบเขตเต็มของ IBE ในฐานะของวิธีการอธิบายการอนุมานทางวิทยาศาสตร์</ref><ref>{{cite journal |last=Walton |first=Douglas |authorlink=Douglas N. Walton |date=2001 |title=Abductive, presumptive and plausible arguments |journal=[[Informal Logic (journal)|Informal Logic]] |volume=21 |issue=2 |pages=141–169 |doi=10.22329/il.v21i2.2241 |quote={{quote|Abductive inference has often been equated with inference to the best explanation. [...] The account of abductive inference and inference to the best explanation presented above has emphasized the common elements found in the analyses given by Peirce, Harman, and the Josephsons. It is necessary to add that this brief account may be misleading in some respects, and that a closer and more detailed explication of the finer points of the three analyses could reveal important underlying philosophical differences. Inferences to the best explanation, as expounded by Harman and the Josephsons, can involve deductive and inductive processes of a kind that would be apparently be excluded by Peirce's account of abduction}}|citeseerx=10.1.1.127.1593 }}<br>'''แปล''': การอนุมานแบบจารนัยมักถูกจับมาเท่ากันกับการอนุมานสู่คำอธิบายที่ดีที่สุด [...] คำอธิบายการอนุมานแบบจารนัยและการอนุมานสู่คำอธิบายที่ดีที่สุดด้านบนนั้นได้เน้นองค์ประกอบร่วมกันที่พบในบทวิเคราะห์โดยเพิร์ซ, ฮาร์แมน และโจเซฟสันกับโจเซฟสัน มันจำเป็นที่จะต้องกล่าวว่าคำอธิบายนี้อาจทำให้เข้าใจผิดได้ในบางประเด็น และการอธิบายที่ละเอียดและลึกกว่าเดิมถึงจุดต่าง ๆ ในบทวิเคราะห์ทั้งสามสามารถเผยให้เห็นถึงความแตกต่างเชิงปรัชญาที่อยู่เบื้องหลังที่สำคัญได้ การอนุมานสู่คำอธิบายที่ดีที่สุดอย่างที่ฮาร์แมนและโจเซฟสันกับโจเซฟสันได้อธิบายไว้นั้นสามารถรวมถึงกระบวนการแบบนิรนัยและอุปนัยชนิดที่จะไม่ถูกรวมอยู่ในคำอธิบายการจารนัยของเพิร์ซได้</ref>

ขณะที่ความสามารถในการคำนวณของคอมพิวเตอร์ได้เพิ่มขึ้นในช่วงคริสต์ทศวรรษที่ 1990 งานวิจัยในสาขา[[กฎหมาย]]<ref>ดูที่ อาทิ ''Analysis of Evidence, 2d ed.'' โดย Terence Anderson (สำนักพิมพ์มหาวิทยาลัยเคมบริดจ์, 2005)</ref>, [[วิทยาการคอมพิวเตอร์]] และ[[ปัญญาประดิษฐ์]]<ref>ตัวอย่างเช่น ดูที่ "[https://web.archive.org/web/20110720020440/http://www.cse.ohio-state.edu/lair/Projects/Abduction/abduction.html 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).</ref>ได้กระตุ้นความสนใจในประเด็นเรื่องการจารนัยขึ้นมาใหม่<ref>
{{cite book | editor1-last=Flach | editor1-first=P. A. | editor1-link= Peter Flach | editor2-first= A. C. | editor2-last= Kakas |date=2000 |title=Abduction and Induction: Essays on their Relation and Integration |url={{google books |plainurl=y |id=E7fnCAAAQBAJ|page=13}} |publisher=Springer |page=xiii |isbn= |access-date=31 October 2016|quote=This book grew out of a series of workshops on this topic. [Budapest 1996; Nagoya 1997; Brighton 1998] 
}}</ref> [[ระบบผู้เชี่ยวชาญ]]วินัจฉัยก็นำการจารนัยมาใช้บ่อยครั้ง<ref>Reggia, James A., et al. "[http://www.cs.umd.edu/~nau/papers/reggia1985answer1.pdf Answer justification in diagnostic expert systems-Part I: Abductive inference and its justification]." IEEE transactions on biomedical engineering 4 (1985): 263-267.</ref>

== การนิรนัย อุปนัย และจารนัย==
{{Main|การให้เหตุผลเชิงตรรกะ}}
({{langx|en|Logical reasoning}})

=== การนิรนัย ===
{{Main|การให้เหตุผลแบบนิรนัย}}
การให้เหตุผลแบบนิรนัยอนุญาตให้อนุพัทธ์ (derive) <math>b</math> จาก <math>a</math> ก็ต่อเมื่อ <math>b</math> เป็น[[ผลพวงเชิงตรรกะ]]เชิงรูปนัยของ <math>a</math> หรือ''เป็นไปตาม'' (follows from) <math>a</math> พูดอีกแบบคือ การนิรนัยคือการอนุพัทธ์ให้ได้มาซึ่งผลพวงต่าง ๆ ของข้อสันนิษฐาน เมื่อข้อสันนิษฐานเป็นจริง การนิรนัยที่สมเหตุสมผลจะรับรองความเป็นจริงของข้อสรุป เช่นหากกำหนดว่า "วิกิสามารถแก้ไขโดยใครก็ได้" (<math>a_1</math>) และ "วิกิพีเดียเป็นวิกิ" (<math>a_2</math>) แล้วแสดงว่า "วิกิพีเดียสามารถแก้ไขโดยใครก็ได้" (<math>b</math>) ก็ตรงตาม[[ข้อตั้ง]]ทั้งสองข้อที่กำหนด

=== การอุปนัย ===
{{Main|การให้เหตุผลแบบอุปนัย}}
การให้เหตุผลแบบอุปนัยอนุญาตให้อนุมาน <math>b</math> จาก <math>a</math> ได้ โดย <math>b</math> ไม่จำเป็นต้องเป็นผลพวงตรรกะของ <math>a</math> หรือไม่จำเป็นต้อง''เป็นไปตาม'' <math>a</math> และ <math>a</math> อาจเป็นเหตุผลที่ดีพอที่จะให้ยอมรับ <math>b</math> แต่ไม่ได้รับรองว่า <math>b</math> เป็นจริง เช่น ถ้าหงส์ทุกตัวที่เคยเจอมาถึงตอนนี้สีขาวทุกตัว เราอาจอุปนัยได้ว่าความเป็นไปได้ที่หงส์ทุกตัวจะมีสีขาวนั้นก็พอมีเหตุผล เรามีเหตุผลที่จะเชื่อข้อสรุปจากข้อตั้ง แต่ไม่ได้มีการรับรองว่าข้อสรุปจะเป็นจริง (ซึ่งแน่นอน หงส์บางตัวก็มี[[หงส์ดำ|สีดำ]])

=== การจารนัย ===
การให้เหตุผลแบบจารนัยอนุญาตให้อนุมาน <math>a</math> เป็นคำอธิบายของ <math>b</math> ผลของการอนุมานแบบนี้คือการอนุญาตให้สามารถจารนัยเงื่อนไขก่อน <math>a</math> จากผลพวง <math>b</math> ได้ การให้เหตุผลแบบนิรนัยกับแบบจารนัยจึงแตกต่างกันตรงที่ฝั่งไหนของข้อความว่า "<math>a</math> [[ผลพวงเชิงตรรกะ|แสดงว่า]] (entail) <math>b</math>" เป็นข้อสรุป

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

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

* <math>O</math> เป็นไปตาม <math>E</math> และ <math>T</math>;
* <math>E</math> สอดคล้องกับ <math>T</math>

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

:<math>T \cup E \models O;</math>
:<math>T \cup E</math> สอดคล้องกัน.

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

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

===การจารนัยแบบปกคลุมเซต===
การจารนัยสามารถถูกกำหนดรูปอีกแบบเป็นการการผกผันของฟังก์ชันที่คำนวณหาผลลัพธ์ของสมมติฐานต่าง ๆ กำหนดให้เซตของสมมติฐานคือ <math>H</math> และเซตของผลลัพธ์คือ <math>M</math> ทั้งสองเกี่ยวโยงกันผ่านความรู้เฉพาะสาขาที่แทนด้วยฟังก์ชัน <math>e()</math> ที่มีเซตของสมมติฐานเป็นอาร์กิวเมนต์และมีผลลัพธ์เป็นเซตของผลลัพธ์ที่สอดคล้องกัน พูดอีกแบบคือ สำหรับเซตย่อยของเซตของสมมติฐานทุกเซต <math>H' \subseteq H</math> ผลลัพธ์ของเซตย่อยของสมมติฐานเซตนั้นคือ <math>e(H')</math>

การจารนัยคือการหาเซต <math>H' \subseteq H</math> ซึ่งมีผลลัพธ์เป็น <math>M \subseteq e(H')</math> พูดอีกแบบคือ การจารนัยเป็นการหาเซตของสมมติฐาน <math>H'</math> ที่มีผลลัพธ์เป็น <math>e(H')</math> ซึ่งรวมการสังเกตการณ์ <math>M</math> ทั้งหมด

โดยทั่วไป ให้สมมุติว่าผลลัพธ์ของสมมติฐานแต่ละข้อเป็นอิสระจากกัน นั่นคือสำหรับ <math>H' \subseteq H</math> ทุกเซต <math>e(H') = \bigcup_{h \in H'} e(\{h\})</math> เป็นจริง หากเป็นไปตามเงื่อนไขนี้ สามารถถือได้ว่าการจารนัยเป็น[[ปัญหาการปกคลุมเซต|การปกคลุมเซต]]รูปแบบหนึ่ง

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

<blockquote>
เมื่อมองออกนอกหน้าต่างในเช้าวันฤดูใบไม้ผลินี้ ผมเห็น[[กุหลาบพันปี|ดอกอาซาเลีย]]บานสะพรั่ง ไม่ ไม่! ผมไม่ได้เห็นสิ่งนั้น แต่ว่านั่นเป็นทางเดียวที่ผมจะพรรณนาสิ่งที่ผมเห็นได้ มันเป็นประพจน์ ประโยค หรือข้อเท็จจริง แต่สิ่งที่ผมรับรู้นั้นไม่ใช่ประพจน์ ไม่ใช่ประโยค และไม่ใช่ข้อเท็จจริง แต่เป็นเพียงภาพที่ผมทำให้เข้าใจได้ด้วยวิธีการกล่าวข้อเท็จจริง ข้อความนั้นเป็นนามธรรม แต่สิ่งที่ผมเห็นเป็นรูปธรรม ผมจารนัยทุกครั้งที่ผมแสดงออกสิ่งที่เห็นในรูปของประโยค ความจริงแล้วเนื้อผ้าของความรู้ทั้งหมดของเราคือผ้าขนสัตว์ด้าน ๆ ของสมมติฐานล้วน ๆ ที่ถูกยืนยันแหละกลั่นกรองโดยการอุปนัย ไม่มีทางที่ความรู้จะก้าวหน้าไปกว่าการเพ่งมองอย่างว่างเปล่าหากไม่จารนัยในทุก ๆ ขั้นตอน<ref>แปลจาก "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) "[http://www.visual-memory.co.uk/b_resources/abduction.html You Know My Method]" ใน Sebeok, T., ''The Play of Musement'', Bloomington, IA: Indiana, หน้า 24.</ref>
</blockquote>

"เราไม่สามารถอธิบายข้อเท็จจริงได้ด้วยสมมติฐานที่วิเศษวิโสกว่าข้อเท็จจริงเอง และจะต้องรับเอาสมมติฐานที่พิเศษน้อยที่สุดมาใช้" เป็นคติบทของเพิร์ซเอง<ref>แปลจาก "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) "[http://www.visual-memory.co.uk/b_resources/abduction.html You Know My Method]" ใน Sebeok, T., ''The Play of Musement'', Bloomington, IA: Indiana, หน้า 31.</ref> หลังจากได้สมมติฐานต่าง ๆ ที่เป็นไปได้ซึ่งอาจสามารถอธิบายข้อเท็จจริงนั้นมา การตรวจสอบความสมเหตุสมผลแบบจารนัยเป็นวิธีการระบุสมมติฐานที่ควรจะเป็นมากที่สุดและควรยอมรับมาใช้มากที่สุด

===การจารนัยแบบตรรกศาสตร์อัตวิสัย===
[[ตรรกศาสตร์อัตวิสัย]] (subjective logic) วางนัยทั่วไป[[ตรรกศาสตร์ความน่าจะเป็น]] (probabilistic logic) ด้วยการรวมระดับของความไม่แน่นอนทางความรู้ไว้ในอาร์กิวเมนต์เข้า นั่นคือ นักวิเคราะห์สามารถแสดงอาร์กิวเมนต์ในรูปของ[[ตรรกศาสตร์อัตวิสัย|ความคิดเห็นที่เป็นอัตวิสัย]]แทนความน่าจะเป็นได้ การจารนัยในตรรกศาสตร์อัตวิสัยนั้นจึงเป็นการวางนัยทั่วไปของการจารนัยเชิงความน่าจะเป็น<ref name="Josang2016-SL" /> ในตรรกศาสตร์อัตวิสัย อาร์กิวเมนต์เข้าเป็นความคิดเห็นอัตวิสัย ซึ่งสามารถเป็นทวินามเมื่อความคิดเห็นนั้นนำมาใช้กับตัวแปรทวิภาค หรือเป็นอเนกนามเมื่อนำมาใช้กับตัวแปร "n"-ภาค ความคิดเห็นอัตวิสัยจึงนำมาใช้กับตัวแปรสถานะ <math>X</math> ซึ่งนำค่าของตัวเองมาจากขอบเขต <math>\mathbf{X}</math> (ปริภูมิสถานะของค่าสถานะ <math>x</math> ที่ครบถ้วนและแยกจากกัน) และถูกแสดงเป็น[[หลายสิ่งอันดับ]] <math>\omega_{X}=(b_{X}, u_{X}, a_{X})\,\!</math> โดย <math>b_{X}\,\!</math> เป็นการกระจายตัวของมวลความเชื่อเทียบกับ <math>\mathbf{X}\,\!</math> <math>u_{X}\,\!</math> เป็นมวลความไม่แน่นอน และ <math>a_{X}\,\!</math> เป็นการกระจายตัว[[อัตราพื้นฐาน]] (base rate) เทียบกับ <math>X\,\!</math> ตัวแปรปัจจัยเหล่านี้สนอง <math>u_{X}+\sum b_{X}(x) = 1\,\!</math> และ <math>\sum a_{X}(x) = 1\,\!</math> และ <math>b_{X}(x),u_{X},a_{X}(x) \in [0,1].\,\!</math>.

สมมุติขอบเขต <math>\mathbf{X}</math> และ <math>\mathbf{Y}</math> พร้อมตัวแปร <math>X</math> และ <math>Y</math> ตามลำดับ เซตของ[[ความน่าจะเป็นมีเงื่อนไข|ความคิดเห็นมีเงื่อนไข]] <math>\omega_{X\mid Y}</math> (นั่นคือ ความคิดเห็นมีเงื่อนไขหนึ่งความคิดเห็นสำหรับค่า <math>y</math> แต่ละค่า) และการกระจายตัวอัตราพื้นฐาน <math>a_{Y}</math> [[ทฤษฎีบทของเบส์]]แบบอัตวิสัยหรือการผกผันซึ่งแสดงออกด้วยตัวดำเนินการ <math>\;\widetilde{\phi}</math> ด้วยตัวแปรปัจจัยเหล่านี้จะได้เซตของความคิดเห็นมีเงื่อนไขผกผัน <math>\omega_{Y\tilde{\mid} X}</math> (นั่นคือความคิดเห็นมีเงื่อนไขผกผันหนึ่งความคิดเห็นสำหรับค่า <math>x</math> แต่ละค่า) สามารถแสดงเป็น:

:<math>\omega_{Y\tilde{|}X}=\omega_{X|Y}\;\widetilde{\phi\,}\;a_{Y}</math>.

เราสามารถจารนัยหาความคิดเห็น <math>\omega_{Y\,\overline{\|}\,X}</math> ด้วย[[การนิรนัย]]อัตวิสัยที่แสดงออกด้วยตัวดำเนินการ <math>\circledcirc</math> ด้วยความคิดเห็นมีเงื่อนไขผกผัน <math>\omega_{Y\tilde{\mid} X}</math> กับความคิดเห็น <math>\omega_{X}</math> สมการของนิพจน์ต่าง ๆ ซึ่งแสดงถึงการจารนัยอัตวิสัยเป็นไปตามดังนี้:

:<math>\begin{align}
\omega_{Y\,\widetilde{\|}\,X} 
&=  \omega_{X\mid Y} \;\widetilde{\circledcirc}\; \omega_{X}\\
&= (\omega_{X\mid Y} \;\widetilde{\phi\,}\; a_{Y}) \;\circledcirc\;\omega_{X}\\
&= \omega_{Y\widetilde{|}X} \;\circledcirc\;\omega_{X}
\end{align}</math>

สัญกรณ์สำหรับการจารนัยอัตวิสัยคือ "<math>\widetilde{\|}</math>" และตัวดำเนินการแทนด้วย "<math>\widetilde{\circledcirc}</math>" ตัวดำเนินการสำหรับทฤษฎีบทของเบส์แบบอัตวิสัยคือ "<math>\widetilde{\phi\,}</math>" และตัวดำเนินการสำหรับการนิรนัยอัตวิสัยคือ "<math>\circledcirc</math>"<ref name="Josang2016-SL">A. Jøsang. ''Subjective Logic: A Formalism for Reasoning Under Uncertainty'', Springer 2016, {{ISBN|978-3-319-42337-1}}.</ref>

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

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

นอกจากการเป็นด่านสองด่านของการพัฒนา การขยาย ฯลฯ ของสมมติฐานใน[[การสอบสวน]] (inquiry) ทางคณิตศาสตร์แล้ว การจารนัยและก็[[การอุปนัย]]มักจะถูกยุบรวมเป็นมโนภาพเดียวที่ครอบคลุมทั้งสอง — [[สมมติฐาน]] นั่นเป็นเหตุผลว่าทำไมใน[[ระเบียบวิธีแบบวิทยาศาสตร์]]ที่รู้จาก[[กาลิเลโอ กาลิเลอี|กาลิเลโอ]]และ[[ฟรานซิส เบคอน|เบคอน]]ขั้นตอนเชิงจารนัยของ[[ระเบียบวิธีแบบวิทยาศาสตร์#การตั้งสมมติฐาน|การตั้งสมมติฐาน]]ถึงถูกเรียกจำกัดกรอบความคิดเป็นการอุปนัย ดังนั้นการยุบรวมกันนี้ถูกเสริมในคริสศตวรรษที่ยี่สิบโดย[[ตัวแบบสมมติฐาน-นิรนัย]] (Hypothetico-deductive model) ของ[[คาร์ล พอปเปอร์]] (Karl Popper) ที่ซึ่งสมมติฐานถูกนับว่าเป็นเพียง "การเดา"<ref>{{cite book|last=Popper|first=Karl|title=Conjectures and Refutations: The Growth of Scientific Knowledge|url=https://archive.org/details/nlsiu.121.pop.34742|location=London|publisher=Routledge|edition=2|date=2002|page=[https://archive.org/details/nlsiu.121.pop.34742/page/n555 536]}}</ref> (ในจิตวิญญาณของเพิร์ซ) แต่ทว่าเมื่อการก่อสมมติฐานได้รับการพิจารณาเป็นผลลัพธ์ของกระบวนการหนึ่ง ก็เห็นได้ชัดว่า "การเดา" นี้ผ่านการทดสอบและทำให้ทนทานในความคิดแล้วและเป็นขั้นตอนที่จำเป็นในการที่จะถือว่ามีสถานะเป็นสมมติฐานได้ ซึ่งแน่นอน การจารนัยหลายครั้งถูกปฏิเสธหรือแก้ไขอย่างหนักหน่วงโดยการจารนัยตามลำดับก่อนที่จะได้มาถึงขั้นตอนนี้

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

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

ในปีต่อ ๆ มาทัศนะของเขาได้กลายเป็น:
* การจารนัยคือการเดา<ref name="guess">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.
(ดูข้างใต้ "[http://www.helsinki.fi/science/commens/terms/abduction.html Abduction]" และ "[http://www.helsinki.fi/science/commens/terms/retroduction.html Retroduction]" ที่ ''Commens Dictionary of Peirce's Terms''.)</ref> มัน "ถูกกีดขวางเล็กน้อย" โดยกฎของตรรกศาสตร์<ref name="HL">Peirce, C. S. (1903), Harvard lectures on pragmatism, ''Collected Papers'' v. 5, [http://www.textlog.de/7664-2.html ย่อหน้าที่ 188–189].</ref> แม้แต่การเดาของสติปัญญาที่เตรียมตัวมาอย่างดีก็ยังผิดถี่กว่าถูก<ref>Peirce, C. S. (1908), "[[s:A Neglected Argument for the Reality of God|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.</ref> แต่ความสำเร็จของการเดาของเรานั้นเกินไปกว่าคำว่าดวงสุ่ม ๆ และดูเหมือนจะเกิดจากการเข้ากับธรรมชาติโดย[[อัชฌัตติกญาณ]]<ref name="NA">Peirce, C. S. (1908), "[[s:A Neglected Argument for the Reality of God|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, และที่อื่น ๆ.</ref> (บางคนก็เรียกว่า [[การรู้เองเชิงตรรกะ]] (logical intuition) ในบริบทเช่นนั้น<ref>เพิร์ซใช้คำว่า "intuition" หรืออัชฌัตติกญาณไม่ใช่ในความหมายของการอนุมานตามสัญชาตญาณหรืออย่างกึ่งรู้สึกตัวแบบที่คนทำทั่วไป ณ ตอนนี้ แต่ทว่าใช้ในความหมายของการรับรู้ที่ไร้การตัดสินเชิงตรรกะด้วย[[ก่อนประสบการณ์และหลังประสบการณ์|การรับรู้ก่อน ๆ]] (a priori and a posteriori) เขาว่า "เราไม่มีพลังของอัชฌัตติกญาณ" ในความหมายนั้น ดู "Some Consequences of Four Incapacities" (1868) ของเขา, [http://www.peirce.org/writings/p27.html Eprint] {{Webarchive|url=https://web.archive.org/web/20110514094121/http://www.peirce.org/writings/p27.html |date=2011-05-14 }}.</ref>)
* การจารนัยคาดเดาแนวคิดใหม่หรือนอกเหนือจากเดิมเพื่ออธิบายปรากฏการณ์ที่ซับซ้อนหรือน่าประหลาดใจในวิธีที่เป็นไปได้ ตามสัญชาตญาณ และประหยัด ซึ่งนั่นเป็นเป้าหมายโดยประมาณของมัน<ref name="NA" />
* เป้าหมายที่ยาวกว่าคือเพื่อทำให้[[การสอบสวน]] (inquiry) นั้นประหยัดขึ้น เหตุผลของมันนั้นเป็นอุปนัย: มันใช้ได้บ่อยพอ เป็นแหล่งกำเนิดเดียวของแนวคิดใหม่ และไม่มีตัวแทนในการกระตุ้นการค้นพบความจริงใหม่ ๆ<ref>สำหรับการสนทนาที่เกี่ยวข้องของเพิร์ซและจุดมุ่งหมายของการอนุมานแบบจารนัย ดู McKaughan, Daniel J. (2008), "[https://muse.jhu.edu/article/252833/summary 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.</ref> เหตุผลของมันรวมโดยเฉพาะหน้าที่ของมันในการประสานงานกับวิธีการอนุมานอื่น ๆ ในการสอบสวน มันเป้นการอนุมานสู่สมมติฐานการอธิบายสำหรับการเลือกวิธีที่ดีที่สุดที่จะลองใช้
* [[ปฏิบัตินิยม]] (Pragmatism) เป็นตรรกะของการจารนัย ในกระบวนการสร้างคำอธิบาย (ซึ่งเขาได้ถือว่าถูกนำโดยสัญชาตญาณ) [[คติบทเชิงปฏิบัติ]] (pragmatic maxim) ให้กฏทางตรรกศาสตร์ที่จำเป็นและพอเพียงสำหรับการจารนัยโดยทั่วไป สมมติฐานนั้นซึ่งสั่นคลอนจำเป็นต้องมีนัยยะที่เป็นไปได้<ref>คำว่า "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): {{quote|It allows any flight of imagination, provided this imagination ultimately alights upon a possible practical effect; and thus many hypotheses may seem at first glance to be excluded by the pragmatical maxim that are not really so excluded.}} '''แปล''': มันอนุญาตให้จินตนาการใด ๆ โผยบิน ซึ่งจากจินตนาการนี้ก็จะในที่สุดลุกโชนเป็นผลในทางปฏิบัติที่เป็นไปได้ และดังนั้นสมมติฐานหลายข้ออาจเหมือนไม่รวมอยู่ในคติบทเชิงปฏิบัติในตอนแรกที่เห็นซึ่งแท้จริงแล้วไม่ได้ไม่ถูกรวมเท่าไรนัก</ref>สำหรับการปฏิบัติที่มีข้อมูล เพื่อให้ทดสอบได้<ref name="L75">Peirce, C. S., Carnegie Application (L75, 1902, ''New Elements of Mathematics'' v. 4, pp. 37–38. ดูใต้ "[http://www.helsinki.fi/science/commens/terms/abduction.html Abduction]" ที่ ''Commens Dictionary of Peirce's Terms'': {{quote|Methodeutic has a special interest in Abduction, or the inference which starts a scientific hypothesis. For it is not sufficient that a hypothesis should be a justifiable one. Any hypothesis which explains the facts is justified critically. But among justifiable hypotheses we have to select that one which is suitable for being tested by experiment.}} '''แปล''': เมโธดิวติก (Methodeutic) มีความสนใจเป็นพิเศษในการจารนัย หรือการอนุมานซึ่งเริ่มสมมติฐานทางวิทยาศาสตร์ เพราะมันไม่พอที่สมมติฐานหนึ่งควรเป็นสมมติฐานที่สมเหตุสมผลเพียงเท่านั้น สมมติฐานใด ๆ ที่อธิบายข้อเท็จจริงล้วนสมเหตุสมผลอย่างยิ่ง แต่ในสมมติฐานที่สมเหตุสมผลนั้นเราต้องเลือกข้อที่เหมาะสมสำหรับนำมาทดสอบในการทดลองได้</ref><ref name="prag">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, [http://www.textlog.de/7663.html Eprint] และแบบเต็มใน ''Essential Peirce'' v. 2, pp. 226–241 (ดูส่วนที่ III และ IV). {{quote|.... What is good abduction? What should an explanatory hypothesis be to be worthy to rank as a hypothesis? Of course, it must explain the facts. But what other conditions ought it to fulfill to be good? .... Any hypothesis, therefore, may be admissible, in the absence of any special reasons to the contrary, provided it be capable of experimental verification, and only insofar as it is capable of such verification. This is approximately the doctrine of pragmatism.}} '''แปล''': .... อะไรคือการจารนัยที่ดี? สมมติฐานการอธิบายควรเป็นแบบใดจึงควรค่าแก่การภูกจัดเป็นสมมติฐาน? แน่นอน มันต้องอธิบายข้อเท็จจริง แต่เงื่อนไขอื่นใดอีกที่จำเป็นต้องบรรลุจึงจะดี? .... สมมติฐานใด ๆ จึงอาจยอมรับได้ในกรณีที่ไม่มีเหตุพิเศษที่จะไปตรงกันข้าม ก็ต่อเมื่อมันมีความสามารถในการถูกตรวจสอบโดยการทดลอง และตราบเท่าที่สามารถตรวจสอบได้ นี่เป็นหลักการโดยประมาณของปฏิบัตินิยม</ref> และด้วยการทดลองจึงกระตุ้นและมัธยัสถ์การสอบสวน เศรษฐกิจของการวิจัยนั้นเองเป็นสิ่งที่เรียกหาการจารนัยและเป็นตัวควบคุมศิลปะของมัน<ref name="econ">Peirce, C.S. (1902), application to the Carnegie Institution, ดู MS L75.329-330, จาก [http://www.cspeirce.com/menu/library/bycsp/l75/ver1/l75v1-08.htm#m27 Draft D] {{Webarchive|url=https://web.archive.org/web/20110524021101/http://www.cspeirce.com/menu/library/bycsp/l75/ver1/l75v1-08.htm#m27 |date=2011-05-24 }} ของ Memoir 27:
{{quote|Consequently, to discover is simply to expedite an event that would occur sooner or later, if we had not troubled ourselves to make the discovery. Consequently, the art of discovery is purely a question of economics. The economics of research is, so far as logic is concerned, the leading doctrine with reference to the art of discovery. Consequently, the conduct of abduction, which is chiefly a question of [[heuristic]] and is the first question of heuristic, is to be governed by economical considerations.}} '''แปล''': เพราะเหตุนี้ การค้นพบจึงเป็นเพียงการเร่งเหตุการณ์ที่อย่างไรก็จะเกิดไม่ว่าช้าหรือเร็ว ถ้าเราไม่ได้ลำบากตัวเองเพื่อทำการค้นพบสิ่งนั้น และดังนั้นศิลปะของการค้นพบเป็นเพียงปัญหาทางเศรษฐศาสตร์ เศรษฐศาสตร์ของการวิจัยนั้น ในเรื่องที่ตรรกศาสตร์นั้นยุ่งเกี่ยว เป็นหลักการชั้นนำที่อ้างอิงกับศิลปะของการค้นพบ เพราะฉะนั้นการกระทำการจารนัยซึ่งเป็นเพียงปัญหาใน[[วิทยาการศึกษาสำนึก]]และเป็นคำถามแรกของวิทยาการศึกษาสำนึกจึงถูกปกครองโดยการพิจารณาทางเศรษฐศาสตร์</ref>

เพิร์ซเขียนไว้ในปี ค.ศ. 1910 และยอมรับว่า "ในทุกสิ่งที่ผมพิมพ์ไปก่อนศตวรรษนี้เริ่มต้นขึ้นผมก็ได้สับสนคำว่าสมมติฐานกับการอุปนัย"<ref>แปลจาก "in almost everything I printed before the beginning of this century I more or less mixed up hypothesis and induction"</ref>  และเขาได้ตามรอยความสับสนของนักตรรกวิทยาระหว่างการให้เหตุผลสองรูปแบบนี้ว่าเกิดจาก "การเข้าใจการอนุมานในแบบที่แคบและเป็นรูปนัย โดยคือเป็นการที่ได้ทำการตัดสินไปแล้วจากข้อตั้งของมัน" <ref>แปลจาก "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. ดูใน "[http://www.helsinki.fi/science/commens/terms/hypothesis.html Hypothesis]" ที่ ''Commens Dictionary of Peirce's Terms''.</ref>

เริ่มต้นในช่วงปี ค.ศ. 1860s เขาได้ปฏิบัติต่อการอนุมานเชิงสมมติฐานในวิธีหลากหลายซึ่งก็ได้ค่อย ๆ ถูกเลือกออกที่ละวิธีตามความไม่จำเป็นหรือการเข้าใจผิดในบางกรณี:
* เป็นการอนุมานการมีอยู่ของลักษณะหนึ่ง (หรือคุณสมบัติใด ๆ) จากการสังเกตการณ์การมีอยู่รวมกันของลักษณะที่หลากหลายซึ่งจำเป็นต้องมีการมีอยู่ของลักษณะนั้นรวมด้วย<ref name="NCA">(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 [{{google books |plainurl=y |id=nG8UAAAAYAAJ|page=284}} p. 284] in Part III §1. Reprinted in ''Collected Papers v. 2, paragraphs 461–516 and ''Writings'' v. 2, pp. 23–49.''</ref> ตัวอย่างช่นหากการมีอยู่ใด ๆ ของ ''A'' นั้นถูกรู้กันว่าจำเป็นต้องต่อด้วยการมีอยู่ของ ''B, C, D, E'' แล้วโดยเป็นตัวอย่าง การสังเกตพบ ''B, C, D, E'' ก็ชี้แนะการมีอยู่ของ ''A'' (แต่พอในปี ค.ศ. 1878 เขาก็ไม่ได้ถือว่าความหลากหลายนี้เป็นสามัญกับการอนุมานเชิงสมมติฐานทุกอันแล้ว<ref name="DIH">Peirce, C. S. (1878), "Deduction, Induction, and Hypothesis", ''Popular Science Monthly'', v. 13, pp. 470–82, see [{{google books |plainurl=y |id=u8sWAQAAIAAJ|page=472}} 472]. ''Collected Papers'' 2.619–44, see 623.</ref>[https://en.wikisource.org/wiki/Popular_Science_Monthly/Volume_13/August_1878/Illustrations_of_the_Logic_of_Science_VI วิกิซอร์ซ])
* เป็นการมุ่งหาสมมติฐานที่น่าจะเป็นไม่ว่ามากหรือน้อย (ในปี ค.ศ. 1867 และ 1883 แต่ไม่ในปี 1878 อย่างไรก็ดีพอในปี ค.ศ. 1900 การให้เหตุผลนั้นไม่ใช่ความน่าจะเป็นแต่เป็นการไม่มีอยู่ของทางเลือกแทนการคาดเดาและข้อเท็จจริงที่ว่าการเดานั้นให้ผลที่ดี<ref name="L2L">A letter to Langley, 1900, published in ''Historical Perspectives on Peirce's Logic of Science''. See excerpts under "[http://www.helsinki.fi/science/commens/terms/abduction.html Abduction]" at the ''Commens Dictionary of Peirce's Terms''.</ref> จนในปี ค.ศ. 1903 เขาพูดคำว่า "likely" หรือควรจะเป็นในความหมายของการเข้าใกล้ความจริงแบบ "ไม่ได้จำกัดความไว้แน่นอน"<ref>"A Syllabus of Certain Topics of Logic'" (1903 manuscript), ''Essential Peirce'' v. 2, see p. 287. See under "[http://www.helsinki.fi/science/commens/terms/abduction.html Abduction]" at the ''Commens Dictionary of Peirce's Terms''.</ref> ในปี ค.ศ. 1908 เขาถกคำว่า ''plausibility'' หรือความเป็นไปได้เป็นการดึงดูดตามสัญชาตญาณ<ref name="NA" />) ในกระดาษที่ให้วันที่โดยบรรณาธิการไว้ ''ประมาณ'' ปี ค.ศ. 1901 เขาอภิปรายคำว่า "instinct" หรือสัญชาตญาณกับ "naturalness" หรือความเป็นธรรมชาติ ตามไปกับชนิดของการพิจารณา (ราคาของการทดสอบ ความระมัดระวังทางตรรกะ ความกว้าง และความไม่ซับซ้อน) ซึ่งในภายหลังเขาได้เรียกมันว่า methodeutical หรือเมโธดิวติก <ref>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) ([http://www.iupui.edu/~peirce/ep/ep2/headers/ep2headx.htm#8 Eprint] {{Webarchive|url=https://web.archive.org/web/20120905022758/http://www.iupui.edu/~peirce/ep/ep2/headers/ep2headx.htm#8 |date=2012-09-05 }}. The article's discussion of abduction is in CP v. 7, paragraphs 218–31 and in EP v. 2, pp. 107–14.</ref>
* เป็นการอุปนัยจากลักษณะต่าง ๆ (แต่อย่างน้อยในปี ค.ศ. 1900 เขาบรรยายลักษณะการจารนัยเป็นการเดา<ref name="L2L" />)
* เป็นการอ้างอิงกฎที่รู้อยู่ในข้อตั้งมากกว่าการสมมติฐานกฎหนึ่งขึ้นมาในข้อสรุป (แต่ในปี ค.ศ. 1903 เขาอนุญาตได้ทั้งสองวิธี<ref name="HL" /><ref name="newidea">Peirce, C. S., "A Syllabus of Certain Topics of Logic" (1903), ''Essential Peirce'' v. 2, p. 287:
{{quote| The mind seeks to bring the facts, as modified by the new discovery, into order; that is, to form a general conception embracing them. In some cases, it does this by an act of ''generalization''. In other cases, no new law is suggested, but only a peculiar state of facts that will "explain" the surprising phenomenon; and a law already known is recognized as applicable to the suggested hypothesis, so that the phenomenon, under that assumption, would not be surprising, but quite likely, or even would be a necessary result. This synthesis suggesting a new conception or hypothesis, is the Abduction.}} '''แปล''': จิตหาทางที่จะนำข้อเท็จจริงมาซึ่งระเบียบโดยการแก้ไขด้วยการค้นพบใหม่ ๆ นั่นคือ การกำหนดการเข้าใจโดยทั่วไปที่โอบอยู่รอบ ๆ ข้อเท็จจริง ในบางกรณีก็ทำด้วย ''การวางนัยทั่วไป'' ในกรณีอื่น ๆ ไม่มีกฎใหม่ใดที่ถูกนำเสนอ แต่มีเพียงสถานะประหลาดของข้อเท็จจริงที่จะ "อธิบาย" ปรากฏการณ์ที่น่าประหลาดใจนั้น ๆ และกฎที่ถูกรู้อยู่แล้วก็ถูกรับรู้ว่านำมาใช้กับสมมติฐานที่ถูกเสนอได้ ปรากฏการณ์นั้นจึงไม่น่าประหลาดใจเลยภายใต้ฐานคตินั้น แต่เป็นสิ่งที่เป็นไปได้หรือแม้แต่เป็นผลลัพธ์ที่จำเป็น การสังเคราะห์นี้ซึ่งเสนอการเข้าใจหรือสมมติฐานใหม่คือการจารนัย</ref>)
* โดยพื้นฐานเป็นการเปลี่ยนรูปของตรรกบทเด็ดขาดแบบนิรนัย<ref name="DIH" /> (แต่ในปี ค.ศ. 1903 เขาเสนอเภทของ ''กฎการแจงผลตามเหตุ'' แทน<ref name="HL" /> และในปี ค.ศ. 1911 เขาไม่มั่นใจว่ารูปแบบใด ๆ จะครอบคลุมการอนุมานเชิงสมมติฐานได้ทั้งหมด<ref name="kehler">A Letter to J. H. Kehler (1911), ''New Elements of Mathematics'' v. 3, pp. 203–4, ดูใต้ "[http://www.helsinki.fi/science/commens/terms/retroduction.html Retroduction]" ที่ ''Commens Dictionary of Peirce's Terms''.</ref>).

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

<blockquote>
{| cellspacing=1 cellpadding=7 style="background-color:#999"
|- vAlign=top style="background-color:#fff"
|[การนิรนัย]

M [ใด ๆ] เป็น P <br />
S [ใด ๆ] เป็น M <br />
<math>\therefore</math> S [ใด ๆ] เป็น P
| การอุปนัย

''S′, S′′, S′′′'', ฯลฯ ถูกสุ่มเป็น ''M''; <br />
''S′, S′′, S′′′'', ฯลฯ เป็น ''P'': <br />
<math>\therefore</math> ''M'' ใด ๆ น่าจะเป็น ''P''
|สมมติฐาน

''M'' ใด ๆ เป็น ตัวอย่างเช่น ''P′, P′′, P′′′,'' ฯลฯ; <br />
''S'' เป็น ''P′, P′′, P′′′,'' ฯลฯ: <br />
<math>\therefore</math> ''S'' น่าจะเป็น ''M''.
|}
</blockquote>

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

{| cellspacing=1 cellpadding=3 style="background-color:#999"
|- vAlign=top style="background-color:#fff"
|การนิรนัย

''กฎ:'' ถั่วจากถุงนี้ทุกเม็ดมีสีขาว <br />
''กรณี:'' ถั่วกองนี้มาจากถุงนี้ <br />
<math>\therefore</math> ''ผลลัพธ์:'' ถั่วกองนี้สีขาว
|การอุปนัย

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

''กฎ:'' ถั่วจากถุงนี้ทุกเม็ดมีสีขาว <br />
''ผลลัพธ์:'' ถั่วกองนี้สีขาว [ประหลาด] <br />
<math>\therefore</math> ''กรณี:'' ถั่วมาจากถุงนี้
|}

====''A Theory of Probable Inference'' (1883)====
เพิร์ซปฏิบัติต่อการจารนัยเป็นการอุปนัยจากลักษณะต่าง ๆ (ซึ่งมีการถ่วงน้ำหนัก ไม่ได้นับเหมือนวัตถุ) อย่างชัดเจนใน "A Theory of Probable Inference" ปี ค.ศ. 1883 ที่ทรงอิทธิพลของเขา (ทฤษฎีของการอนุมานที่น่าจะเป็น) ที่ซึ่งเขากลับมารวมความน่าจะเป็นไว้ในของสรุปเชิงสมมติฐาน<ref>{{cite book|last=Peirce|first=Charles S.|date=1883|chapter=A Theory of Probable Inference|title=Studies in Logic by Members of the Johns Hopkins University|chapter-url=http://www.commens.org/bibliography/collection_article/peirce-charles-s-1883-theory-probable-inference-studies-logic|location=Boston, MA|title-link=Charles Sanders Peirce bibliography#SIL|access-date=2020-10-01|archive-date=2019-03-08|archive-url=https://web.archive.org/web/20190308080846/http://www.commens.org/bibliography/collection_article/peirce-charles-s-1883-theory-probable-inference-studies-logic|url-status=dead}}</ref> หนังสือเล่นนี้ได้มีคนอ่านจำนวนมากเหมือน "Deduction, Induction, and Hypothesis" ในปี ค.ศ. 1878 (ดูหนังสือประวัติศาสตร์เรื่องสถิติศาสตร์โดย[[สตีเฟน สติกเลอร์]] (Stephen Stigler)) ไม่เหมือนการแก้ไขความคิดเกี่ยวกับการจารนัยอันต่อมาของเขา ปัจจุบันการจารนัยยังคงเข้าใจกันอย่างทั่วไปว่าเป็นการอุปนัยจากลักษณะและการขยายกฎที่รู้อยู่ไปครอบคลุมพฤติการณ์ที่ยังไม่ถูกอธิบาย 

[[เชอร์ล็อก โฮมส์]] ใช้วิธีการให้เหตุผลนี้ในเรื่องของ[[อาร์เธอร์ โคนัน ดอยล์]] ถึงแม้โฮมส์จะเรียกมันว่า "[[การให้เหตุผลแบบนิรนัย]]"<ref>{{cite journal |last1=Sebeok |first1=Thomas A. |authorlink1=Thomas Sebeok |last2=Umiker-Sebeok |first2=Jean |date=1979 |title='You know my method': a juxtaposition of Charles S. Peirce and Sherlock Holmes |journal=[[Semiotica]] |volume=26 |issue=3–4 |pages=203–250 |doi=10.1515/semi.1979.26.3-4.203 |quote=[[Marcello Truzzi]], in a searching article on Holmes's method (1973:93–126), anticipated our present work by pointing to the similarities between the detective's so-called deductions, or inductions, and Peirce's abductions, or conjectures. According to Peirce's system of logic, furthermore, Holmes's observations are themselves a form of abduction, and abduction is as legitimate a type of logical inference as either induction or deduction (Peirce 8.228).}} '''แปล''': [[มาร์เซลโล ตรุตซี]] (Marcello Truzzi) คาดการณ์งาน ณ ปัจจุบันของเราในบทความค้นหาเรื่องวิธีการของโฮมส์ (1973:93–126) โดยการชี้ถึงความคล้ายคลึงระหว่างสิ่งที่นักสืบเรียกว่าการนิรนัยหรือการอุปนัยกับการจารนัยของเพิร์ซหรือข้อความคาดการณ์ มากกว่านั้น จากระบบตรรกะของเพิร์ซ การสังเกตการณ์ของโฮมส์นั้นเองเป็นรูปหนึ่งของการจารนัย และการจารนัยก็เป็นชนิดของการอนุมานเชิงตรรกะที่ชอบธรรมเช่นเดียวกับการอุปนัยและการนิรนัย (Peirce 8.228)</ref><ref>{{cite journal |last=Niiniluoto |first=Ilkka |authorlink=Ilkka Niiniluoto |date=September 1999 |title=Defending abduction |journal=[[Philosophy of Science (journal)|Philosophy of Science]] |volume=66 |issue=Supplement 1 |pages=S436–S451 (S440–S441) |doi=10.1086/392744 |quote=A historically interesting application of abduction as a heuristic method can be found in classical detective stories, as shown by the semiotical and logical essays collected in Eco and Sebeok 1983. [[C. Auguste Dupin]], the hero of [[Edgar Allan Poe]]'s novels in the 1840s, employed a method of 'ratiocination' or 'analysis' which has the structure of retroduction. Similarly, the logic of the 'deductions' of Sherlock Holmes is typically abductive.}} '''แปล''': การนำการจารนัยมาใช้เป็นวิธีการแบบศึกษาสำนึกหนึ่งที่น่าสนใจทางประวัติศาสตร์สามารถพบได้ในเรื่องราวนักสืบตามแบบแผน อย่างที่ได้แสดงโดยความเรียงเชิงสัญศาสตร์และตรรกศาสตร์ที่รวบรวมไว้ใน Eco และ Sebeok 1983 [[ซี. โอกุสต์ ดุแปง]] (C. Auguste Dupin) วีรบุรุษในนิยายของ[[เอดการ์ แอลลัน โพ]] (Edgar Allan Poe) ในช่วงปีคริสตทศวรรษ 1840s ได้นำวิธีการ 'ratiocination' หรือ 'analysis' มาใช้ซึ่งมีโครงสร้างของ retroduction โดยคล้ายกัน ตรรกะของ 'การนิรนัย' ของเชอร์ล็อก โฮมส์นั้นเป็นจารนัยโดยปรกติ</ref><ref>{{cite journal |last=Carson |first=David |date=June 2009 |title=The abduction of Sherlock Holmes |journal=International Journal of Police Science & Management |volume=11 |issue=2 |pages=193–202 |doi=10.1350/ijps.2009.11.2.123 |quote=Sherlock Holmes, although a fictional character, remains renowned as a great detective. However, his methodology, which was abduction rather than deduction, and which is innocently used by many real detectives, is rarely described, discussed or researched. This paper compares and contrasts the three forms of inferential reasoning and makes a case for articulating and developing the role of abduction in the work, and training, of police officers.|url=https://researchportal.port.ac.uk/ws/files/84295/ijps.2009.11.2.pdf }}'''แปล''': ถึงแม้จะเป็นตัวละครสมมติ เชอร์ล็อก โฮมส์ยังคงเป็นที่เลื่องลือว่าเป็นนักสืบผู้ยิ่งใหญ่ แต่ทว่าระเบียบวิธีของเขาซึ่งเป็นการจารนัยมากกว่าการนิรนัยและซึ่งมีนักสืบตัวจริงหลายคนนำมาใช้อย่างไร้เดียงสา การพรรณนา การสนทนาถึง หรืองานวิจัยเรื่องนี้ก็หายาก เอกสารใบนี้เปรียบเทียบและเปรียบต่างรูปแบบสามรูปของการให้เหตุผลเชิงอนุมาน และให้การสำหรับการสื่อสารและการพัฒนาหน้าที่ของการจารนัยในงานและการฝึกของนายตำรวจ</ref>

====''Minute Logic'' (1902) และหลังจากนั้น====
ในปี ค.ศ. 1902 เพิร์ซได้เขียนไว้ว่าตอนนี้เขาถือรูปทางตรรกบทและหลักของการขยายและความเข้าใจ (นั่นคือ วัตถุและลักษณะอย่างที่ถูกอ้างอิงโดยพจน์ต่าง ๆ) ว่าไม่ได้เป็นสิ่งที่เป็นรากฐานมากเท่าที่เคยคิด<ref>In Peirce, C. S., 'Minute Logic' circa 1902, ''Collected Papers'' v. 2, paragraph 102. See under "[http://www.helsinki.fi/science/commens/terms/abduction.html Abduction]" at ''Commens Dictionary of Peirce's Terms''.</ref> ในปี ค.ศ. 1903 เขาเสนอรูปของการจารนัยดังต่อไปนี้:<ref name="HL" /> 
{{quote|ข้อเท็จจริงที่น่าประหลาดใจ C ถูกสังเกต; 
:แต่หาก A เป็นจริง C ก็ย่อมเกิดเป็นเรื่องปกติ,
:ดังนั้น ไม่มีเหตุผลที่จะสงสัยเลยว่า A เป็นจริง}}
สมมติฐานถูกร่างขึ้นมาแต่ไม่ได้ถูกยืนยันในข้อตั้ง แล้วจึงถูกยืนยันว่าน่าสงสัยอย่างมีเหตุผลในข้อสรุป ดังนั้นอย่างในรูปของตรรกบทเด็ดขาดก่อนหน้า ข้อสรุปถูกกำหนดจากข้อตั้งบางข้อ แต่กระนั้นสมมติฐานประกอบด้วยมโนคติที่ใหม่หรืออยู่นอกสิ่งที่รู้หรือสังเกตเห็นอย่างชัดเจนมากกว่าที่เคย การอุปนัยในแง่หนึ่งไปไกลเกินการสังเกตการณ์ที่ได้ประกาศไว้แล้วในข้อตั้ง แต่เพียงขยายมโนคติที่รู้อยู่แล้วว่าแสดงเหตุการณ์หรือทดสอบมโนคติหนึ่งที่ถูกจัดเตรียมโดยสมมติฐาน ทางใดก็ตามก็ต้องการการจารนัยก่อนหน้าเพื่อที่จะให้ได้มโนคติแบบนั้นมาตั้งแต่แรก การอุปนัยตามหาข้อเท็จจริงเพื่อทดสอบสมมติฐาน การจารนัยตามหาสมมติฐานเพื่ออธิบายข้อเท็จจริง 

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

เพิร์ซยังคงไม่ได้ถูกโน้มน้าวมากนักสำหรับรูปใด ๆ เช่นนั้นว่าเป็นรูปของตรรกบทเด็ดขาดหรือรูปของปี ค.ศ. 1903 ในปี ค.ศ. 1911 เขาเขียนว่า "ณ ปัจจุบัน ผมไม่ได้รู้สึกโน้มน้าวใจเท่าใดนักว่ารูปตรรกะใด ๆ สามารถถูกมอบหมายที่จะครอบคลุม 'Retroductions' (การจารนัย) ทุกอัน เพราะสิ่งที่ผมหมายถึง retroduction เป็นอย่างง่าย ๆ คือข้อความคาดการณ์ที่เกิดขึ้นมาในจิต"<ref name="kehler" /><ref>แปลจาก "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." </ref>

====ปฏิบัตินิยม====
ในปี ค.ศ. 1901 เพิร์ซเขียนว่า "มันจะไม่มีตรรกะในการกำหนดกฎขึ้นและในการบอกว่ากฎเหล่านั้นควรจะถูกทำตาม จนกว่าจะเข้าใจว่าจุดประสงค์ของสมมติฐานต้องการมัน"<ref>แปลจาก "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 "[http://www.helsinki.fi/science/commens/terms/abduction.html Abduction]" ที่ ''Commens Dictionary of Peirce's Terms''.</ref> ในปี ค.ศ. 1903 เพิร์ซเรียก[[ปฏิบัตินิยม]] (pragmatism) ว่า "the logic of abduction" (ตรรกะของการจารนัย) และบอกว่า[[คติบทปฏิบัตินิยม]] (pragmatic maxim) ให้กฏตรรกะที่จำเป็นและเพียงพอสำหรับการจารนัยโดยทั่วไป<ref name="prag" /> คติบทปฏิบัตินิยมคือ:

<blockquote>พิจารณาผลกระทบที่อาจมีผลในทางปฏิบัติอย่างเป็นไปได้ใด ๆ ที่เราเข้าใจว่าวัตถุในมโนภาพของเรามี แล้วมโนภาพของผลกระทบเหล่านี้ของเราเป็นมโนภาพของวัตถุนั้นทั้งหมดของเรา<ref>แปลจาก "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."</ref></blockquote>

เป็นวิธีการเพื่อทำให้มโนภาพกระจ่างอย่างเป็นผลโดยเทียบความหมายของมโนภาพนั้นกับนัยยะทางปฏิบัติที่เป็นไปได้ของผลกระทบที่วัตถุนั้นมี เพิร์ซถือว่ามันเข้ากับจุดประสงค์ของการจารนัยในการสอบสวนอย่างแม่นยำ คือการสร้างมโนคติที่อาจก่อร่างการปฏิบัติอย่างมีความรู้อย่างเป็นไปได้ ในงานเขียนหลากหลายในช่วงปี ค.ศ. 1900s<ref name="econ" /><ref>Peirce, "On the Logic of Drawing Ancient History from Documents", ''Essential Peirce'' v. 2, see pp. 107–9.</ref> เขาพูดว่าการปฏิบัติการจารนัย (หรือ retroduction) ถูกควบคุมโดยการพิจารณาเศรษฐกิจ โดยเฉพาะที่เป็นของเศรษฐศาสตร์ของการวิจัย เขาถือเศรษฐศาสตร์ว่าเป็นศาสตร์เชิงบรรทัดฐาน ซึ่งส่วนวิเคราะห์ของมันอาจเป็นส่วนหนึ่งของเมโธดิวติกเชิงตรรกะ (นั่นคือ ทฤษฎีของการสอบสวน)<ref>Peirce, Carnegie application, L75 (1902), Memoir 28: "On the Economics of Research", scroll down to Draft E. [http://www.cspeirce.com/menu/library/bycsp/l75/ver1/l75v1-08.htm#m28 Eprint] {{Webarchive|url=https://web.archive.org/web/20110524021101/http://www.cspeirce.com/menu/library/bycsp/l75/ver1/l75v1-08.htm#m28 |date=2011-05-24 }}.</ref>

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

=====การจำแนกประเภทของสัญญะ=====
ภายในปี ค.ศ. 1866<ref>Peirce, C. S., the 1866 Lowell Lectures on the Logic of Science, ''[[Charles Sanders Peirce bibliography#W|Writings of Charles S. Peirce]]'' v. 1, p. 485. See under "[http://www.helsinki.fi/science/commens/terms/hypothesis.html Hypothesis]" at ''Commens Dictionary of Peirce's Terms''.</ref> เพิร์ซถือว่า:

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

ในปี ค.ศ. 1902 เพิร์ซเขียนว่าในการจารนัย: "เป็นที่รู้จักว่าปรากฏการณ์นั้น ''เหมือนกับ'' หรือประกอบเป็นสัญรูปของสำเนาของมโนภาพทั่วไป หรือสัญลักษณ์" <ref>แปลจาก "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 ''[[Charles Sanders Peirce bibliography#EP|The Essential Peirce]]'' v. 2, p. 287. Quote viewable under "[http://www.helsinki.fi/science/commens/terms/abduction.html Abduction]" at ''Commens Dictionary of Peirce's Terms''.</ref>

=====บทวิจารณ์ของการอ้างเหตุผล=====
ในระดับคริติก เพิร์ซตรวจสอบรูปของการอ้างเหตุผลแบบจารนัย (แบบที่อภิปรายไปด้านบน) และได้กลายมาถือว่าสมมติฐานควรอธิบายความฟังขึ้นอย่างประหยัดในด้านของความเป็นไปได้และความเป็นธรรมชาติ ในปี ค.ศ. 1908 เพิร์ซพรรณนาความเป็นไปได้ (plausibility) นี้ในรายละเอียด<ref name="NA" /> ความเป็นไปได้ที่อยู่บนการสังเกตการณ์ไม่ได้มีส่วนด้วย (ซึ่งจะกลายเป็นการประเมินผลแบบอุปนัยของสมมติฐานแทน) แต่เป็นความเรียบง่ายเหมาะที่สุดในความหมายของความ "ง่าย และเป็นธรรมชาติ" แทน เช่นแบบ
แสงแห่งเหตุผลธรรมชาติ (natural light of reason) ของกาลิเลโอ และต่างจาก "ความเรียบง่ายเชิงตรรกะ" (logical simplicity) (เพิร์ซไม่ได้มองข้ามความเรียบง่ายเชิงตรรกะทั้งหมดแต่มองว่ามีหน้าที่ที่เป็นรอง หากนำมาใช้อย่างสุดโต่งก็เป็นการสนับสนุนให้ไม่ต้องหาคำอธิบายของการสังเกตการณ์เลย) แม้แต่การเดาของสติปัญญาที่เตรียมตัวมาอย่างดีก็ยังผิดถี่กว่าถูก แต่ความสำเร็จที่จะหาความจริงหรืออย่างน้อยเดินหน้าการสอบสวนของการเดาของเรานั้นเกินไปกว่าคำว่าดวงสุ่ม ๆ และนั่นชี้ให้เพิร์ซเห็นว่าการเดาเหล่านั้นอยู่บนการเข้ากับธรรมชาติโดยอัชฌัตติกญาณ หรือความสัมพันธ์ที่ใกล้ชิดระหว่างกระบวนการในจิตและกระบวนการในความเป็นจริงซึ่งจะเป็นเหตุผลอย่างน่าดึงดูดว่าทำไมการเดา "โดยธรรมชาติ" จะเป็นอันที่สำเร็จบ่อย (หรือไม่บ่อย) ที่สุด และเพิร์ซจึงได้อ้างเหตุผลว่าควรชอบการเดาแบบนั้นมากกว่าเพราะเมื่อไม่มี "a natural bent like nature's" (ความเอนเอียงตามธรรมชาติอย่างที่ธรรมชาติมี) ก็จะไม่มีความหวังใดในการที่ผู้คนจะเข้าใจธรรมชาติ ในปี ค.ศ. 1910 เพิร์ซได้แยกแยะเป็นสามทางระหว่างความน่าจะเป็น (probability) ความละม้ายจริง (verisimilitude) และความเป็นไปได้ (plausibility) และนิยามคำว่าความเป็นไปได้ด้วยคำว่า "ought" (ควรจะ): "คำว่าความเป็นไปได้นี้ ผมหมายถึงระดับที่ทฤษฎีหนึ่งควรจะแนะนำตัวเองสู่ความเชื่อของเราโดยปราศจากหลักฐานใด ๆ นอกจากสัญชาตญาณตัวเองที่ผลักดันให้เราสนับสนุนมัน"<ref>แปลจาก "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.</ref> สำหรับเพิร์ซ ความเป็นไปได้ (plausibility) ไม่ได้ขึ้นอยู่กับความถี่ที่สังเกตเห็นหรือความน่าจะเป็น หรือความละม้ายจริง หรือแม้แต่ความทดสอบได้ (testability) ซึ่งไม่ใช่เรื่องของบทวิจารณ์ว่าการอนุมานเชิงสมมติฐานเป็นการอนุมาน แต่เป็นเรื่องของความสัมพันธ์ของสมมติฐานต่อกระบวนการสอบสวน

วลีว่า "การอนุมานสู่คำอธิบายที่ดีที่สุด" (ซึ่งเพิร์ซไม่ใช้แต่มักจะถูกนำมาใช้เรียกการอนุมานเชิงสมมติฐาน) ไม่ได้ถูกเข้าใจว่าหมายถึงสมมติฐานที่เรียบง่ายและเป็นธรรมชาติที่สุดเสมอ (ดังเช่นพวกที่มี[[มีดโกนอ็อกคัม|ข้อสมมติฐานน้อยที่สุด]]) อย่างไรก็ตาม ความหมายอื่น ๆ ของคำว่า "ดีที่สุด" เช่น "ผ่านการทดสอบได้ดีที่สุด" ก็ยากที่จะรู้ว่าจะสร้างคำอธิบายไหนดีที่สุดในเมื่อมันยังไม่ได้ถูกทดสอบ สำหรับเพิร์ซแล้ว การให้เหตุผลการอนุมานแบบจารนัยใด ๆ ว่าดียังคงไม่สมบูรณ์แค่เพราะถูกสร้างเป็นการอ้างเหตุผล (ต่างจากการอุปนัยและการนิรนัย) และขึ้นอยู่กับหน้าที่ในระเบียบวิธีและความมั่นสัญญาว่าจะดำเนินหน้าการสอบสวน (เช่นความทดสอบได้) แทน<ref name="L75" /><ref name="prag" /><ref>Peirce, C. S. (1902), Application to the Carnegie Institution, Memoir 27, [http://www.cspeirce.com/menu/library/bycsp/l75/ver1/l75v1-08.htm#m27 Eprint] {{Webarchive|url=https://web.archive.org/web/20110524021101/http://www.cspeirce.com/menu/library/bycsp/l75/ver1/l75v1-08.htm#m27 |date=2011-05-24 }}: "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) แล้ว ก็ยังเหลือที่จะสอบสวนว่ามันเป็นประโยชน์หรือไม่</ref>

=====ระเบียบวิธีของการสอบสวน=====
ในระดับเมโธดิวติก เพิร์ซถือว่าสมมติฐานจะได้รับเลือกและถูกตัดสินไปทดสอบ<ref name="L75" />ก็เพราะมันเสนอที่จะเร่งและทำให้กระบวนการ[[การสอบสวน|สอบสวน]]ประหยัด (inquiry) ในการหาความจริงด้วยการทดสอบมัน อย่างแรกเลยคือด้วยการทดสอบได้ และก็ด้วยเรื่องเศรษฐกิจเพิ่มเติม<ref name="econ" /> ไม่ว่าในด้านราคา (cost) มูลค่า (value) และความสัมพันธ์ท่ามกลางการเดาต่าง ๆ (สมมติฐาน) การพิจารณาดังเช่นความน่าจะเป็นซึ่งไม่มีในการปฏิบัติของการจารนัยในระดับคริติกก็จะมีส่วนร่วมในระดับนี้ ตัวอย่างเช่น: 
* ราคา (cost) : ถ้าการเดาที่เรียบง่ายและเป็นไปได้สูงนั้นมีราคาในการทดสอบความเท็จที่ต่ำก็อาจเป็นอันแรก ๆ ที่เอามาทดสอบเพื่อเบิกทางก่อน ถ้ามันผ่านการทดสอบอย่างน่าประหลาดใจ มันก็คุ้มที่จะรู้ตั้งแต่แรกเริ่มในการสอบสวน ไม่อย่างนั้นอาจจะต้องเสียเวลานานไปกับแนวทางที่ดูเป็นไปได้มากกว่าแต่ความจริงแล้วผิด 
* มูลค่า (value) : การเดาหนึ่งนั้นคุ้มค่าที่จะทดสอบในตัวมันเองถ้ามีความเป็นไปได้โดยสัญชาตญาณหรือความน่าจะเป็นอย่างรูปธรรมที่มีเหตุผล ในขณะที่[[ความน่าจะเป็นแบบเบส์|ความควรจะเป็นอัตวิสัย]]ไม่น่าไว้วางใจแม้จะมีเหตุผล
* อันตรสัมพันธภาพ (interrelationships) : สามารถเลือกการเดามาทดลองอย่างมีกลยุทธ์ได้ด้วยสิ่งเหล่านี้
** ''ความรอบคอบ'' (caution) ตัวอย่างที่เพิร์ซให้คือเกม[[ยี่สิบคำถาม]] (Twenty Questions)
** ''ความกว้าง'' (breadth) ของการนำไปใช้อธิบายปรากฏการณ๋ได้หลากหลาย และ
** ''ความไม่ซับซ้อน'' (incomplexity) ของสมมติฐานที่ดูเรียบง่ายและเมื่อทดสอบแล้วจะปูทางไปสู่การไล่ตามสมมติฐานที่หลากหลายและขัดแย้งกันและเรียบง่ายน้อยกว่า<ref name="econ2">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 2<sup>20</sup> or 1,048,576 objects, and goes on to say: {{quote|Thus, twenty skillful hypotheses will ascertain what 200,000 stupid ones might fail to do. The secret of the business lies in the caution which breaks a hypothesis up into its smallest logical components, and only risks one of them at a time.}} '''แปล''': ดังนั้น การสมมติฐานอย่างชำนาญเพียงยี่สิบครั้งจะสืบพบสิ่งที่สมมติฐานโง่ ๆ 200,000 ข้อหาไม่เจอ ความลับทางธุรกิจก็คือความรอบคอบที่จะแยกสมมติฐานเป็นส่วนที่เล็กที่สุดในเชิงตรรกะ และเสี่ยงลองแค่รอบละหนึ่งส่วน</ref>

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

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

=== แพทยศาสตร์ ===
ใน[[แพทยศาสตร์]] สามารถมองการจารนัยเป็นส่วนประกอบในการประเมินผลและการตัดสินใจทางคลินิก<ref name="Rapezzi2005">{{cite journal|last=Rapezzi|first=C|author2=Ferrari, R|author3= Branzi, A|title=White coats and fingerprints: diagnostic reasoning in medicine and investigative methods of fictional detectives|journal=BMJ (Clinical Research Ed.)|date=24 December 2005| volume=331| issue=7531| pages=1491–4| pmid=16373725|pmc=1322237| doi=10.1136/bmj.331.7531.1491}}</ref><ref name="Rejon2012">{{cite journal|last=Rejón Altable|first=C|title=Logic structure of clinical judgment and its relation to medical and psychiatric semiology| journal=Psychopathology|date=October 2012| volume=45| issue=6| pages=344–51| pmid=22854297| url=http://www.karger.com/Article/Pdf/337968| accessdate=17 January 2014| doi=10.1159/000337968| doi-access=free}}</ref>

=== การวางแผนของเครื่อง ===
การจารนัยสามารถนำมาใช้โมเดล[[การวางแผนของเครื่อง]]ได้<ref>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, {{ISBN|0-262-61056-6}}</ref> หากมีทฤษฎีของตรรกะที่แสดงความสัมพันธ์ระหว่างเหตุการณ์ของการกระทำและผลของมัน (ตัวอย่างเช่น สูตรของ[[แคลคูลัสเหตุการณ์]] (event calculus)) ก็จะสามารถโมเดลปัญหาของการหาแผนการสำหรับการไปถึงสภาวะหนึ่งให้เป็นปัญหาของการจารนัยหาชุดของสัญพจน์ (literal) ที่แสดงนัยว่าสภาวะสุดท้ายเป็นสภาวะเป้าหมาย (goal state)

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

=== ปรัชญาวิทยาศาสตร์ ===
ใน[[ปรัชญาวิทยาศาสตร์]] (philosophy of science) การจารนัยเป็นวิธีการอนุมานที่สำคัญที่สนับสนุนมุมมอง[[สัจนิยมทางวิทยาศาสตร์]] (scientific realism) และการถกเถียงของสัจนิยมทางวิทยาศาสตร์ส่วนมากเป็นเรื่องเกี่ยวกับว่าการจารนัยเป็นวิธีการอนุมานที่ยอมรับได้หรือไม่<ref>Lipton, Peter. (2001). Inference to the Best Explanation, London: Routledge. {{ISBN|0-415-24202-9}}.</ref>

=== ภาษาศาสตร์เชิงประวัติ ===
ใน[[ภาษาศาสตร์เชิงประวัติ]] การจารนัยในระหว่าง[[การรู้ภาษา]] (language acquisition) มักถูกถือว่าเป็นส่วนที่จำเป็นในกระบวนการ[[การเปลี่ยนแปลงภาษา]] ดังเช่น[[นิรุกติศาสตร์พื้นบ้าน|การวิเคราะห์ใหม่]] (folk etymology) และ[[แนวเทียบ]]<ref>April M. S. McMahon (1994): Understanding language change. Cambridge: Cambridge University Press. {{ISBN|0-521-44665-1}}</ref> (analogy)

=== ภาษาศาสตร์ประยุกต์ ===
ในการวิจัย[[ภาษาศาสตร์ประยุกต์]] (applied linguistics) การให้เหตุผลแบบจารนัยกำลังถูกเริ่มใช้เป็นคำอธิบายทางเลือกแทนการให้เหตุผลแบบอุปนัยในการรู้จำผลลัพธ์ที่คาดไว้ของการสอบสวนเชิงคุณภาพ ทำให้มีส่วนในกำหนดทิศทางของการวิเคราะห์ มันถูกนิยามเป็น "การใช้ข้อตั้งที่ไม่ชัดเจนจากการสังเกตการณ์ และไล่ตามทฤษฎีต่าง ๆ เพื่ออธิบายมัน"
("The use of an unclear premise based on observations, pursuing theories to try to explain it" (Rose et al., 2020, p.&nbsp;258))<ref>{{cite book |last1=Rose, McKinley, & Briggs Baffoe-Djan |title=Data Collection Research Methods in Applied Linguistics |date=2020 |publisher=Bloomsbury |isbn=9781350025851}}</ref><ref>{{cite book |last1=McKinley |first1=J |editor1-last=McKinley & Rose |title=The Routledge Handbook of Research Methods in Applied Linguistics |publisher=Routledge |location=Abingdon |isbn=9780367824471 |pages=1–13 |chapter-url=https://www.englishappliedlinguistics.com/uploads/2/4/1/9/2419477/mckinley__2020__theorizing_applied_linguistics_research.pdf |chapter=Introduction: Theorizing research methods in the ‘golden age’ of applied linguistics research |date=2019-12-06 |access-date=2020-10-08 |archive-date=2020-02-15 |archive-url=https://web.archive.org/web/20200215113328/https://www.englishappliedlinguistics.com/uploads/2/4/1/9/2419477/mckinley__2020__theorizing_applied_linguistics_research.pdf |url-status=dead }}</ref>

=== มานุษยวิทยา ===
ในสาขา[[มานุษยวิทยา]] [[อัลเฟรด เกลล์]] (Alfred Gell) นิยามการจารนัย (ต่อจาก[[อุมแบร์โต เอโก|เอโก]]<ref>{{cite book|last=Eco |first= Umberto |date=1976|title =A Theory of Semiotics|publisher = Indiana University Press|page= 131|isbn =9780253359551|url = https://books.google.com/books?id=BoXO4ItsuaMC&lpg=PP1&pg=PA131}}</ref>) ในหนังสือทรงอิทธิพลของเขาชื่อ ''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{{'"}})<ref name="Gell, A 1984, p 14">{{cite book|last=Gell|first= A.|date = 1998|title = Art and Agency|url=https://archive.org/details/artagencyanthrop0000gell|location = Oxford |publisher = Clarendon Press|page =[https://archive.org/details/artagencyanthrop0000gell/page/n39 14]|isbn = 9780191037450}}</ref> เกลล์วิจารณ์งานศึกษา "ทางมานุษยวิทยา" เรื่องศิลปะ ณ ตอนนั้นว่าหมกมุ่นกับคุณค่าทางสุนทรียภาพ และหมกมุ่นกับภาระหลักของมานุษยวิทยาในการเปิดเผย "ความสัมพันธ์ทางสังคม" ไม่พอ โดยเฉพาะบริบททางสังคมที่งานศิลปะได้ถูกสร้างสรรค์ หมุนเวียน และรับ<ref>Bowden, R. (2004) A critique of Alfred Gell on Art and Agency. Retrieved Sept 2007 from: [https://web.archive.org/web/20050327073225/http://www.findarticles.com/p/articles/mi_qa3654/is_200406/ai_n9453295 Find Articles at BNET]</ref> การจารนัยถูกใช้เป็นกลไกในการเคลื่อนจากศิลปะเป็นผู้กระทำการ นั่นคือการจารนัยสามารถอธิบายวิธีที่ศิลปะสามารถดล ''[[สามัญสำนึก]]'' (sensus communis) ขึ้นมา ซึ่งคือมุมมองที่มีร่วมกันระหว่างสมาชิกของสังคมหนึ่ง ซึ่งแสดงลักษณะ (characterize) ของสังคมนั้น ๆ<ref name="University of California, Berkeley">Whitney D. (2006) "Abduction the agency of art". Retrieved May 2009 from: [http://arthistory.berkeley.edu/davis/Gell.pdf University of California, Berkeley] {{webarchive |url=https://web.archive.org/web/20081120152801/http://arthistory.berkeley.edu/davis/Gell.pdf |date=2008-11-20 }}</ref>

คำถามที่เกลล์ถามในหนังสือคือ "มัน 'บอก' อะไรกับคนในตอนแรก?" ("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.")<ref name="Gell, A 1984, p 14" /> แต่ทว่าเขาปฏิเสธทุกข้อกล่าวหาที่บอกว่าการสร้างความหมายสามารถมองเป็นภาษาได้ เพราะเช่นนั้นแล้วเขาจำต้องยอมรับการมีอยู่ของ "สามัญสำนึก" ที่มีมาอยู่ก่อนแล้วซึ่งเขาต้องการบอกว่ามันเกิดขึ้นต่อมาทีหลังจากศิลปะเท่านั้น การจารนัยเป็นคำตอบต่อปริศนานี้เพราะธรรมชาติความเป็นคร่าว ๆ ของแนวคิดการจารนัย (ที่เพิร์ซเปรียบเหมือนกับการเดา) แปลว่านอกจากจะใช้งานนอกโครงข่ายที่มีอยู่ก่อนได้แล้ว แต่มากกว่านั้นยังสามารถประกาศการมีอยู่ของโครงข่ายหนึ่งได้ด้วย อย่างที่เกลล์ให้เหตุผลไว้ในการวิเคราะห์ของเขา การมีอยู่ทางกายภาพของงานศิลปะนั้นเองที่กระตุ้นให้ผู้ชมกระทำการจารนัยและใส่เจตนารมณ์ของงานศิลปะเข้าไปเอง ตัวอย่างเช่นรูปปั้นเทพธิดา ในแง่หนึ่งก็ได้กลายเป็นเทพธิดาของจริงในสมองของผู้ชม และไม่ได้เป็นแค่ตัวแทนรูปของเทพองค์หนึ่งเท่านั้นแต่ยังแสดงถึงเจตนาของเธอด้วย (ซึ่งถูกจารนัยจากความรู้สึกถึงการมีอยู่ของเธอ) เพราะฉะนั้นเกลล์อ้างว่าศิลปะสามารถมีความเป็นผู้กระทำ (agency) ในชนิดที่เหมือนกับเมล็ดพันธุ์ที่หยั่งรากและเติบโตไปเป็นตำนานทางวัฒนธรรม พลังของความเป็นผู้กระทำเป็นพลังที่จะผลักดันการกระทำต่าง ๆ และท้ายที่สุดก็ดลใจให้เกิดความเข้าใจร่วมกัน ซึ่งเป็นสิ่งที่แสดงลักษณะของสังคม<ref name= "University of California, Berkeley" />

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

เทคนิคหนึ่งเรียกว่า bi-abduction ซึ่งรวมการจารนัยและ[[ปัญหากรอบ]] (frame problem) ถูกใช้ขยายเทคนิคการให้เหตุผลของคุณสมบัติความจำให้สามารถให้เหตุผลเป็นรหัสหรือโค้ดหลายล้านบรรทัด<ref>{{Cite journal|last=CalcagnoCristiano|last2=DistefanoDino|last3=W|first3=O’HearnPeter|last4=YangHongseok|date=2011-12-01|title=Compositional Shape Analysis by Means of Bi-Abduction|journal=Journal of the ACM|volume=58|issue=6|pages=1–66|language=EN|doi=10.1145/2049697.2049700}}</ref> การจารนัยที่อยู่บนตรรกศาสตร์ถูกใช้เพื่ออนุมาน[[เงื่อนไขก่อน]] (precondition) ของฟังก์ชันแต่ละอันในโปรแกรมหนึ่งและลดภาระที่มนุษย์ต้องทำ นี่ทำให้เกิดบริษัทสตาร์ทอัพที่รับตรวจสอบโปรแกรมซึ่งถูกซื้อไปโดยเฟสบุ๊ก<ref>{{Cite web|url=http://social.techcrunch.com/2013/07/18/facebook-monoidics/|title=Facebook Acquires Assets Of UK Mobile Bug-Checking Software Developer Monoidics|website=TechCrunch|language=en-US|access-date=2020-02-22}}{{ลิงก์เสีย|date=กรกฎาคม 2023 |bot=InternetArchiveBot |fix-attempted=yes }}</ref> และอุปกรณ์วิเคราะห์โปรแกรม Infer ซึ่งได้ป้องกัน[[ฐานรหัส]] (Codebase) อุตสาหกรรมจาก[[บั๊กซอฟต์แวร์|จุดบกพร่อง]]หลายพันจุด<ref>{{Cite journal|last=DistefanoDino|last2=FähndrichManuel|last3=LogozzoFrancesco|last4=W|first4=O'HearnPeter|date=2019-07-24|title=Scaling static analyses at Facebook|journal=Communications of the ACM|volume=62|issue=8|pages=62–70|language=EN|doi=10.1145/3338112|doi-access=free}}</ref>

นอกจากการจารนัยหาเงื่อนไขก่อนของฟังก์ชันแล้ว การจารนัยยังถูกใช้เพื่อทำการอนุมานตัวยืนยง (invariant) ของลูปโปรแกรม (program loop) <ref>{{Cite journal|last=DilligIsil|last2=DilligThomas|last3=LiBoyang|last4=McMillanKen|date=2013-10-29|title=Inductive invariant generation via abductive inference|url=https://dl.acm.org/doi/abs/10.1145/2544173.2509511|journal=ACM SIGPLAN Notices|pages=443–456|language=EN|doi=10.1145/2509136.2509511|isbn=9781450323741}}</ref> การอนุมานข้อกำหนดของโค้ดที่ไม่รู้จัก<ref>{{Cite journal|last=Giacobazzi|first=Roberto|date=1998-08-01|title=Abductive Analysis of Modular Logic Programs|url=https://academic.oup.com/logcom/article/8/4/457/1063792|journal=Journal of Logic and Computation|language=en|volume=8|issue=4|pages=457–483|doi=10.1093/logcom/8.4.457|issn=0955-792X}}</ref> และการสังเคราะห์ตัวโปรแกรมเอง ให้เป็นอัตโนมัติ<ref>{{Cite journal|last=Polikarpova|first=Nadia|last2=Sergey, Ilya|date=2019-01-02|title=Structuring the synthesis of heap-manipulating programs|journal=Proceedings of the ACM on Programming Languages|language=EN|volume=3|pages=1–30|doi=10.1145/3290385|doi-access=free}}</ref>

==ดูเพิ่ม==
{{สถานีย่อย2|ปรัชญา}}
{{div col}}
*[[การคิดวิเคราะห์]]
*[[การทดสอบเป็ด]] (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)
{{div col end}}

==อ้างอิง==
{{รายการอ้างอิง}}
{{refbegin}}
*{{FOLDOC|abduction|new=yes}}
{{refend}}

==บรรณานุกรม==
{{Refbegin|colwidth=25em}}
* {{citation | author-last= Akaike | author-first= Hirotugu | author-link= Hirotugu Akaike | chapter= Implications of informational point of view on the development of statistical science | title= Proceedings of the First US/JAPAN Conference on The Frontiers of Statistical Modeling: An Informational Approach—Volume 3 | editor-first= H. | editor-last= Bozdogan | publisher= [[Kluwer Academic Publishers]] | year= 1994 | pages= 27–38}}.
*Awbrey, Jon, and Awbrey, Susan (1995), "Interpretation as Action:  The Risk of Inquiry", ''Inquiry:  Critical Thinking Across the Disciplines'', 15, 40–52.  [https://web.archive.org/web/20071006102012/http://www.chss.montclair.edu/inquiry/fall95/awbrey.html Eprint]
*Cialdea Mayer, Marta and Pirri, Fiora (1993) "First order abduction via tableau and sequent calculi" Logic Jnl IGPL 1993 1: 99–117; {{doi|10.1093/jigpal/1.1.99}}. [http://jigpal.oxfordjournals.org/content/vol1/issue1/index.dtl#ARTICLES Oxford Journals]
*Cialdea Mayer, Marta and Pirri, Fiora (1995) "Propositional Abduction in Modal Logic", Logic Jnl IGPL 1995 3: 907–919; {{doi|10.1093/jigpal/3.6.907}} [http://jigpal.oxfordjournals.org/content/vol3/issue6/ Oxford Journals]
*Edwards, Paul (1967, eds.), "The Encyclopedia of Philosophy," Macmillan Publishing Co, Inc. & The Free Press, New York. Collier Macmillan Publishers, London.
*{{Not a typo|Eiter}}, T., and Gottlob, G. (1995), "[http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.37.2425&rep=rep1&type=pdf 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.  {{ISBN|978-0-521-09261-6}}.
*{{cite journal | last1 = Harman | first1 = Gilbert | year = 1965 | title = The Inference to the Best Explanation | url = | journal = The Philosophical Review | volume = 74 | issue = 1| pages = 88–95 | doi=10.2307/2183532| jstor = 2183532 }}
*Josephson, John R., and Josephson, Susan G. (1995, eds.), ''[https://books.google.com/books?hl=en&lr=&id=uu6zXrogwWAC&oi=fnd&pg=PA1&dq=%22Abductive+Inference:+Computation,+Philosophy,+Technology%22&ots=6OwsO3V6xw&sig=BQOYHluwmreecOCn4_kh83l04AM#v=onepage&q=%22Abductive%20Inference%3A%20Computation%2C%20Philosophy%2C%20Technology%22&f=false Abductive Inference:  Computation, Philosophy, Technology]'', Cambridge University Press, Cambridge, UK.
*Lipton, Peter.  (2001).  ''Inference to the Best Explanation'', London: Routledge.  {{ISBN|0-415-24202-9}}.
*[[Lorenzo Magnani|Magnani, Lorenzo]] (2014), "Understanding abduction", ''Model-Based Reasoning in Science and Technology: Theoretical and Cognitive Issues'' (editor—Magnani L.) Springer, p.&nbsp;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. [http://inscribe.iupress.org/doi/abs/10.2979/TRA.2008.44.3.446 Abstract]{{dead link|date=June 2017 |bot=InternetArchiveBot |fix-attempted=yes }}.
*{{cite journal | last1 = Menzies | first1 = T | year = 1996 | title = Applications of Abduction: Knowledge-Level Modeling | url = http://menzies.us/pdf/96abkl.pdf | journal = International Journal of Human-Computer Studies | volume = 45 | issue = 3| pages = 305–335 | doi=10.1006/ijhc.1996.0054| citeseerx = 10.1.1.352.8159 }}
*Queiroz, Joao & Merrell, Floyd (guest eds.). (2005). "Abduction - between subjectivity and objectivity". (special issue on abductive inference) ''[[Semiotica]]'' 153 (1/4). [http://www.degruyter.com/view/j/semi.2005.2005.issue-153-1-4/issue-files/semi.2005.2005.issue-153-1-4.xml].
*Santaella, Lucia (1997) "The Development of Peirce's Three Types of Reasoning: Abduction, Deduction, and Induction", 6th Congress of the [[IASS]]. [http://www.pucsp.br/~lbraga/epap_peir1.htm 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.  [http://www.creative-wisdom.com/pub/Peirce/Logic_of_EDA.html Website of Dr. Chong Ho (Alex) Yu]
{{Refend}}

==แหล่งข้อมูลอื่น==
{{Wiktionary|การให้เหตุผลแบบจารนัย}}
{{Wiktionary|จารนัย|การให้เหตุผลแบบจารนัย}}
*{{cite SEP |url-id=abduction |title=Abduction |last=Douven |first=Igor}}
*{{InPho|idea|5421|การให้เหตุผลแบบจารนัย}}
*{{PhilPapers|category|inference-to-the-best-explanation|การให้เหตุผลแบบจารนัย}}
*"[https://web.archive.org/web/20131214005416/http://www.cse.ohio-state.edu/lair/research.html Abductive Inference]" (ถึงแล้วเลื่อนลง), John R. Josephson, Laboratory for Artificial Intelligence Research, Ohio State University. ([https://web.archive.org/web/20110720020440/http://www.cse.ohio-state.edu/lair/Projects/Abduction/abduction.html Former webpage] via the Wayback Machine.)
*"[http://plato.stanford.edu/entries/peirce/#dia Deduction, Induction, and Abduction]", Chapter 3 in article "[http://plato.stanford.edu/entries/peirce/ Charles Sanders Peirce]" by Robert Burch, 2001 and 2006, in the [http://plato.stanford.edu/ Stanford Encyclopedia of Philosophy].
*"[https://web.archive.org/web/20100609064615/http://carbon.ucdenver.edu/~mryder/itc/abduction.html Abduction]", links to articles and websites on abductive inference, [https://web.archive.org/web/20100914010915/http://carbon.ucdenver.edu/~mryder/martin.html Martin Ryder].
*[https://web.archive.org/web/20091028001425/http://user.uni-frankfurt.de/~wirth/ 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 [[University of Gießen|U. of Gießen]], Germany, and set up [https://archive.today/20130210054159/http://www.abduktionsforschung.de/ Abduktionsforschung], home page not in English but see Artikel section there. [https://translate.google.com/translate?js=n&layout=2&eotf=1&sl=de&tl=en&u=http%3A%2F%2Fwww.abduktionsforschung.de%2Fabduktionsforschung.html Abduktionsforschung home page via Google translation].
*"[http://www.visual-memory.co.uk/b_resources/abduction.html '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.&nbsp;17–52.
*[http://www.helsinki.fi/science/commens/dictionary.html 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]".

{{Navboxes
|list=
{{Learning}}
{{Logic}}
{{Philosophical logic}}
}}

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