جستجوي پيشرفته | کتابخانه مجازی الفبا

ترجمه ماشینی: این سوال که چگونه احتمال و منطق را با یادگیری ترکیب کنیم، در چندین رشته مانند بازنمایی دانش، استدلال در مورد عدم قطعیت، داده کاوی و یادگیری ماشین به طور شبیه سازی توجه بیشتری را به خود جلب کرده است. این امر منجر به ایجاد زیرشاخه تازه در حال ظهور می شود که با نام های یادگیری رابطه ای آماری و برنامه ریزی منطق استقرایی احتمالی شناخته می شود. این کتاب مقدمه ای بر این رشته با تاکید بر روش های مبتنی بر اصول برنامه نویسی منطقی ارائه می دهد. با فرمالیسم ها و سیستم ها، پیاده سازی ها و کاربردها و همچنین با نظریه برنامه ریزی منطق استقرایی احتمالی سروکار دارد. 13 فصل این بررسی پیشرفته با مقدمه ای بر برنامه ریزی منطق استقرایی احتمالی آغاز می شود. علاوه بر این، این کتاب یک مرور کلی از مهم‌ترین فرمالیسم‌ها و سیستم‌های یادگیری منطق احتمالی مانند تکنیک‌های یادگیری توالی رابطه‌ای، با استفاده از هسته‌هایی با نمایش‌های منطقی، منطق مارکوف، سیستم PRISM، CLP(BN)، برنامه‌های منطق بیزی و انتخاب مستقل ارائه می‌کند. منطق. بخش سوم شرح مفصلی از برخی کاربردهای نمایشی برنامه نویسی منطق استقرایی احتمالی ارائه می دهد. بخش پایانی به برخی تحقیقات نظری می‌پردازد و شامل فصل‌هایی در مورد مقایسه رفتاری نمایش‌های برنامه‌ریزی منطق احتمالی و تحلیل بیانی مدل-نظری است.

بيزگرايان، يا طرفداران نظريه‌ي تأييد بيزي، بر اين باورند كه راه‌حلي براي مسأله‌اي قابل‌توجه در فلسفه‌ي علم دارند؛ و آن مسأله، همان تعيين منطق حاكم بر شواهد و استقراي دربردارنده‌ي آن است؛ اين مسأله از اهميت ويژه‌اي در فلسفه‌ي علم برخوردار است؛ چراكه در نهايت، آن‌چه كه موجب تمايز افسانه و علم مي‌شود، اين‌ست كه ما گواه و شاهد خوبي براي محتوا و مضمون علم و يا لااقل علومي كه به كمال رسيده‌اند، داريم. ايده‌هاي اصلي مشترك در تمام نسخه‌هاي گوناگون نظريه‌ي تأييد بيزي، اين‌ست كه باور‌هاي دانشمند با يك اندازه‌ي احتمال تأييد مي‌شوند يا بايد با يك اندازه‌ي احتمال تأييد شوند؛ و اين‌كه الحاق شاهد جديد، به‌وسيله‌ي شرطي‌سازي با استفاده از نظريه‌ي بيز صورت مي‌پذيرد. خوش‌آيندترين خواص رويكرد بيزي سه چيز است:اول اين‌كه اين نظريه، مفهوم مبهم از منطقِ استقراء را به يك حساب غيرمبهم و واحد، يعني حساب احتمالات، تحويل مي‌كند. دوم اين‌كه، اين نظريه‌ي جامع، قابليت جالب‌توجه‌اي براي نظام‌مند ساختن پشتيباني مشاهدات از فرضيه را دارد. سومين خاصيت كه مهم‌ترين آن‌هاست، اطمينان از سازگاري است. در بيش‌تر رويكرد‌هايي كه با شواهد سروكار دارند، هيچ اطميناني از سازگاري در رفتار آن‌ها با دسته‌اي وسيع‌تر از مشاهدات، ديده نمي‌شود. نظريه‌ي تأييد بيزي، براي ما تصوير ساده‌اي را تهيه مي‌كند: رفتار كلي شواهد در هر لحظه، به‌وسيله‌ي يك توزيع احتمال ضبط مي‌شود. تا زماني‌كه باور‌هايمان را مطابق حساب احتمالات شكل مي‌دهيم و بهنگام مي‌كنيم، نبايد در مقام داوري‌هاي وابسته به شواهد، به سمت تناقض‌ها سوق داده شويم. شايد به‌خاطر همين خصوصيات باشد كه هم‌اكنون نظريه‌ي تأييد بيزي، از جايگاه پيشتاز در ميان رويكرد‌هاي مختلف از استقراء و تأييد در ادبيات فلسفه‌ي علم، برخوردارست.بيز‌گرايان بر اين باورند که محاسبات احتمالي بيزي را مي‌توان براي حل پارادوكس‌هاي تأييد به‌كار برد. آن‌ها همگي در اين عقيده متفق‌اند كه رويكرد‌هاي كيفي نسبت به نظريه‌ي تأييد، از جمله رويكرد فرضي‌استنتاجي و تأييد نمونه‌ايِ همپل، نااميد كننده‌اند و يك رويكرد مناسب در روشي كه شاهد از فرضيه‌ها و نظريه‌ها پشتيباني مي‌كند، بايد كمّي باشد؛ كه رويكرد كمّي، مستلزم استفاده از اصول حساب احتمالات است. هدف از اين تحقيق، بحث و بررسي در زمينه‌ي بيزگرايي و پاسخ به چالش‌هاي وارد به آن است.

سوئينبرن فيلسوف دين معاصر در آثار خود تلاش كرده است تقرير جديدي از براهين اثبات وجود خدا ارائه دهد. بر اين اساس، وي بايسته هاي معرفتي ويژه اي در خصوص اين ادله بيان ميكند كه از ميان آن ها ميتوان به اقناعي بودن، پسيني بودن، استقرايي بودن و انباشتي بودن اين ادله اشاره كرد. در اين پژوهش سعي كردهايم كه رويكردهاي مزبور به براهين را تبيين و سپس مورد بررسي و نقد قرار دهيم

طبق نظریه علّی معرفت، باید بین معلوم (مُدرَک) و فاعل شناسا (مُدرِک) یک رابطه‌ى علّی برقرار باشد. از سوی دیگر، افلاطو ن­گرایی مستلزم قبول هستی­مندهایی است که فاقد قدرت علّی­ اند و بنابراین نمی­ توانند مدرَک و معلوم ما باشند. این تعارض را اصطلاحاً «مسأله دسترسی‌پذیری معرفتی» می­ نامند. جیمز رابرت براون، فیلسوف معاصر آمریکایی، مدعی است که این مسأله را حل کرده است. او نخست با توسّل به مثال نقض EPR استدلال می‌کند که نظریه علّی معرفت معتبر نیست و بنابراین لازم بودن شرط قدرت علّی برای حصول معرفت منتفی است (دلیل نقضی). سپس با فرض وجود یک قوه ادراکی به نام «چشمِ ذهن» تلاش می‌کند تا دسترسی غیرعلّی به هستی­مندهای ریاضیاتی را معقول جلوه دهد (دلیل حلّی). اما هیچ‌کدام از دو استدلالِ براون قابل دفاع نیستند و مشکل دسترسی ­پذیری هم‌چنان باقی است. زیرا این مدعا که «نتایج آزمایش EPR را نمی ­توان بر اساس رابطه علّی بین مدرِک و مدرَک تبیین کرد»، مستلزم اِفراز دامنه مصادیق معرفت علمی به دو زیر مجموعه معرفت علّی و کوانتومی است، نه بی اعتباری نظریه علّی معرفت. یعنی دسترسی به نتایج EPR را شاید با رابطه علّی و فیزیک نسبیت نتوان تبیین کرد اما به هر حال یک پشتوانه علمی دیگر دارد: نظریه کوانتوم. در حالی‌که نظریه علمی مشابهی وجود ندارد که هستی­مندهای ریاضیاتی را در دسترس علمی ما قرار دهد. از سوی دیگر، استعاره‌ى چشم ذهن صرفاً ارزش تبیینی دارد نه توجیهی. روشن است که مشکل دسترسی را نمی ­توان با توسّل به وجود ناموجه یک قوه‌ى شناختی حل کرد.

نسبت میان علم و دین از مسائلی است که در هر دو حوزه فلسفۀ علم و فلسفۀ دین مطمح نظر پاره­ای از اندیشمندان این دو حوزه بوده است. کتاب علم، عقل و دین نوشتۀ درک استینزبی تلاشی است برای جمع علم و دین و انعکاس پیامدهای نظریات علمی و نظریات فیلسوفان علم برای دین. وی که خود روحانی مسیحی است معتقد است که علم و دین را نباید دو فرهنگ یا جهان­بینی مجزا و مستقل از هم تلقی کرد که یکی عقلانی و دیگری غیرعقلانی است. این دو یکی هستند و هر دو می­کوشند جهان و جایگاه انسان را در آن بفهمند. وی در این کتاب به بررسی نظریات پاره­ای از فیلسوفان علم، پوزیتیویست­ها، پوپر، کوون، فایرابند و یکی از فیلسوفان بزرگ معاصر ویتگنشتاین پرداخته است و البته در این میان با پوپر همدلی بیشتری دارد و حجم بیشتری از کتاب را به تحلیل اندیشه­های او اختصاص می­دهد. وی در بحث از اندیشه­های هر یک از این فیلسوفان تأثیرات اندیشه ایشان را بر فلسفه دین ردیابی و تحلیل می­کند. در این مقاله به معرفی این کتاب و ذکر برخی کاستی­های آن خواهیم پرداخت.