څېښتوونکی استدلال

څېښتوونکی (یا احتمالي) استدلال (په انګلیسي: Abductive Reasoning؛ چې د څېښتونې، څېښتوونکي استنتاج او بیاراګرځونې په نامه هم یادېږي) د منطقي استنتاج یوه بڼه ده چې د نولسمې پېړۍ د وروستۍ درېیمې په پیل کې د امریکایي فیلسوف – چارلز ساندرز پیرس – له‌خوا فورمولیزه او وپنځول شو. دغه استدلال د یوې مشاهدې یا د مشاهداتو له یوې ټولګې څخه پیلېږي، وروسته بیا له مشاهداتو څخه تر ټولو ساده او احتمالي پایلې اخېستلو په لټه کې دی. دغه بهیر، له استنتاجي استدلال سره په توپیر کې، یوه د منلو وړ پایله په لاس ورکوي خو په مثبته توګه یې نه‌تاییدوي. څېښتوونکې پایلې داسې تعریفېږي چې ګنې شکمن یا ناباوره اړخونه په کې پاتې دي، چې د ناپرېکړندو ګړنو له‌لارې، لکه «غوره پایله» یا «تر ټولو احتمالي پایله»، بیانېږي. کېدای شي څېښتوونکی استدلال د «تر ټولو غوره بیان استنتاج» په څېر وانګېرل شي، که څه هم د «څېښتونې» او «تر ټولو غوره بیان استنتاج» ګړنې کټ‌مټ سره معادلې نه‌دي.For example: 

په ۱۹۹۰ ز لسیزه کې، د شمېرنې او محاسبې د پیاوړتیا له ودې سره سم، د څېښتونې سکالو ته بیاځلي د حقوقو، کمپیوټر ساینس او مصنوعي ځیرکتیا څانګو لېوالتیا راوپارېدله. تشخیصي تخصصي سیسټمونه ډېري وخت له څېښتوونکي استدلال څخه ګټه اخلي.See, e.g. Analysis of Evidence, 2d ed. by Terence Anderson (Cambridge University Press, 2005)For examples, see "Abductive Inference in Reasoning and Perception", John R. Josephson, Laboratory for Artificial Intelligence Research, Ohio State University, and Abduction, Reason, and Science. Processes of Discovery and Explanation by Lorenzo Magnani (Kluwer Academic/Plenum Publishers, New York, 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.

 استنتاج، استقرا او څېښتونه 

 استنتاج 
استنتاجي (قیاسي) استدلال په مرسته کولای شو له یوې a پایلې څخه یوه b پایله ترلاسه کړو، یوازې هغه مهال چېb د a یوه بڼه‌ییزه منطقي پایله وي. په بله وینا، استنتاج موږ ته انګېرل شوې پایلې په لاس راکوي. د انګېرنو د سموالي به پام کې نیولو سره، یو باوري استنتاج د پایلې له سموالي څخه بشپړ ډاډ وړاندې کوي. د بېلګې په توګه: «پوهنغونډونه هر څوک اېډېټ کولای شي» (a1) او «ویکي‌پېډیا یو پوهنغونډ دی» (a2)، نو پایله ترلاسه کوو چې، «ویکي‌پېډيا د هر چا له‌لورې اېډېټ کېدلای شي» (b).

 استقرا 
استقرایی استدلال، د a له یوې مجموعي پوهې څخه د b د یوشمېر ټولیزو اصولو استنتاج ته ویل کېږي، کله چې له a څخه د b تابعیت اړین نه‌دی. کېدای شي a موږ ته د b د منلو لپاره خورا ښه دلیل وړاندې کړي، خو د b له سموالي څخه ډاډ نه‌ورکوي. د بېلګې په توګه: که چېرې ټولې هغې زاڼې چې تر اوسه مو لېدلې دي، سپینې وي، کېدای شي داسې استنباط وکړو چې ګنې په سپین رنګ کې د ټولو زاڼو د راڅرګندېدلو احتمال منطقي برېښي. موږ د دغې قضیې څخه د لاس‌ته راغلې پایلې د منلو په اړه ښه دلیل په لاس کې لرو، خو دا د پایلې د سموالي تضمین کولو لپاره، نابشپړه دی (په حقیقت کې، داسې ښکاري چې ځینې زاڼې تورې دي).

 څېښتونه 
د څېښتوونکي استدلال په ترڅ کې، دا امکان برابروي ترڅو a د b د یوه بیان په توګه استنباط شي. د دغه استنباط په پایله کې، څېښتونه له b پایلې څخه د a مخکې-شرط د څېښتولو امکان رامنځ‌ته کوي. په دې توګه، استنتاجي استدلال او څېښتوونکی استدلال په دې کې سره توپیر لري، چې د «a، b ته منتج کېږي» قضیې کوم اړخ، ښي یا کیڼ، د یوې پایلې په څېر راڅرګندېږي.

په دې توګه، د b لپاره د ګڼ‌شمېر ممکنو بیانونو له امله، څېښتونه، په بڼه‌ییز ډول، د پایلې د تایید له منطقي تېراېستنې (مغالطې) سره معادله ده. د بېلګې په توګه: د بیلیارد په لوبه کې، د کیو توپ له ویشتلو وروسته ګورو چې اتم شمېره توپ موږ خوا ته را روان دی، کېدای شي داسې یو څېښتوونکی اټکل ووهو چې د کیو توپ پر اتم توپ لګېدلی دی. د اتم شمېره توپ حرکت، کیو توپ سره د ټکر له امله انګېرل کېږي. دا انګېرنه د یوې فرضیو په توګه پېژندل کېږي چې زموږ مشاهدات بیانوي. د اتم شمېره توپ د حرکت لپاره د ګڼ‌شمېر ممکنو بیانونو د شتون په پام کې نیولو سره، څېښتونه مو ډاډمنولای نه‌شي چې په واقعیت سره، د کیو توپ پر اتم توپ لګېدلی دی، خو سره له‌دې، څېښتونه مو لا هم ګټوره ده، کېدای شي په شاوخوا چاپېریال کې لاره راوښیي. زموږ د هر مشاهده کېدونکي فزیکي بهیر لپاره د ګڼ‌شمېر ممکنو بیانونو له شتون سره، سره، بیا هم د یوه بهیر لپاره د یوازې یوه بیان (یا لږشمېر بیانونو) څېښتولو ته لېواله یو او تمه لرو چې په اړوند چاپېریال کې په لا ښه توګه خپله یون ومومو او ځیني احتمالات له پامه وغورځوو. څېښتوونکی استدلال، چې په سمه توګه کارول کېږي، کېدای شي په بایېزي احصائیه کې د ړومبنیو ارقامو لپاره یوه ګټوره سرچینه وي.

 د څېښتوونکي استنتاج فورمولیزه کول 

 د منطق پر بنسټ څېښتونه 
په منطق کې، یو بیان د T په څېر یوې داسې منطقي تیورۍ د کارولو له‌لارې بشپړېږي، چې یوه زمینه او د O په څېر د مشاهداتو یوه ټولګه ښکاره کوي. څېښتونه، د T په پام کې نیولو سره، O ته د اړوند بیانونو یوې ټولګې رااېستلو او له هغو څخه د یوه بیان غوره کولو بهیر دی. د دې لپاره چې د T په پام کې نیولو سره، E د O یوه بیان په توګه وګڼل شي، نو باید دوه شرطونه پوره کړي:

 O د E او T تابع وي؛
 E له T سره موافق وي. 

په صوري منطق کې، O او E د الفاظو د یوې ټولګې په توګه انګېرل کېږي. د E لپاره یاد دوه شرطونه، چې هغه، د T په پام کې نیولو سره، د O یو بیان ښیي، په لاندې بڼه لیکل کېږي:

 T ⋃ E ⊨ O؛
 T ⋃ E بې‌تناقضه دی.

د E ممکنه بیانونو په منځ کې، چې نوموړي دوه شرطونه پورې کوي، په ټولیزه توګه، د حداقلیت بل شرط هم کېښودل کېږي ترڅو بیانونو ته د نااړوندو واقعیتونو (نه هغه چې د O منتج کېدنې پورې تړاو لري) له شاملېدو څخه مخنیوی وشي. نو وروسته له‌دې، څېښتونه داسې یوه بهیر دی چې د E له منځه یو عنصر رااخلي. له هغه ځایه چې رااخېستل شوی عنصر «تر ټولو غوره» بیان وړاندې کوي، نو د ټاکلو پر مهال یې د څرګندوالي، ړومبنی احتمال او د بیان د څرګندولو پیاوړتیا په څېر معیارونه په پام کې نیول کېږي.

 مخینه 

 د پیرس له‌لورې د څېښتوونکي استدلال معرفي او پنځونه 
ټولیزه کتنه

امریکایي فیلسوف – چارلز ساندرز پیرس – د نومهال منطق په ترڅ کې، څېښتونه معرفي کړه. د کلونو په اوږدو کې یې دغه استنتاج د «فرضیې»، «څېښتونې»، «اټکل» او «بیاراګرځونې» په نومونو یاد کړ. هغه دا استدلال، په منطق (نه په کره صوري یا ریاضیکي منطق) کې د فلسفې د یوې معیاري څانګې په څېر یوه سکالو، او په پای کې یې په اقتصاد کې د څېړنې یوې سکالو په توګه پېژندله.

تر ۱۹۰۰ ز کال دمخه، پیرس د یوې مشاهدې د بیانولو لپاره له څېښتونې څخه د یوه پېژندل شوې قاعدې په توګه کار اخېسته. د بېلګې په ډول: دا یو پېژندل شوې قاعده ده چې، که چېرې باران وورېږي، نو شنه بوټي لمدېږي؛ نو د دې لپاره چې د دغه چمن د شنو بوټو د لمدېدنې واقعیت بیان کړو، داسې ګومان کېږي چې ګواکې باران ورېدلی دی. که چېرې د مشاهدې نور بیانوونکي ممکنه قواعد په پام کې ونه‌نیول شي، کېدای شي څېښتونه ناسمې پایلې ولري؛ د بېلګې په توګه: شنه بوټي کېدای شي د پرخې (شبنم) له امله لامده شوي وي. دا په ټولنیزو علومو او مصنوعي ځیرکتیا کې د «څېښتونې» ګړنې متداولې کارَونې په توګه پاتې شوې ده. 

پیرس، په پرله‌پسې توګه، څېښتونه د استنتاج د داسې یو ډول په توګه څرګنده کړې چې ګنې په یوه بیان کې د پایلې اخېستنې له‌لارې (که څه هم د ډاډ وړ نه‌وي)، د ځینو خورا تلوسناکو یا هېښتیاوړو (غیرعادي) مشاهدو لپاره یوه فرضیه پنځوي. د ۱۸۶۵ ز په لومړیو کې، هغه لیکي چې، «د علت او ځواک واړه مفهومونه د فرضي استنتاج له‌لارې خپرېږي»؛ په ۱۹۰۰ ز لسیزې کې لیکي چې، «د تیوري‌ګانو د څرګندونې واړه منځپانګه د څېښتونې له‌لارې خپرېږي». په نورو اړخونو کې، پیرس د څېښتونې په هکله خپل الواک، د کلونو په تېرېدو سره بیا، بیا تر کتنې لاندې نیولی دی.See Santaella, Lucia (1997) "The Development of Peirce's Three Types of Reasoning: Abduction, Deduction, and Induction", 6th Congress of the IASS. Eprint.

 سرچینې