برنامۀ سخنراني‌هاي همايش «منطق رياضي و كاربردهاي آن» اعلام شد. اين همايش در روزهاي چهارشنبه و پنجشنبه ۲۷ و ۲۸ آذر ۱۳۹۲ برگزار خواهد شد. اين جانب هم مقاله‌اي دارم كه در آخرين سخنراني نوبت صبح روز نخست ارائه خواهم كرد.
عنوان مقالۀ بنده: A Second Pretabular Classical Relevant Logic .
به نقل از سايت همايش
نشريۀ آينۀ معرفت شماره ۳۵ (تابستان ۹۲) منتشر شد. مقاله اين‌جانب با عنوان «استنتاج از دو ممكن نزد ابن سينا و رابطه آن با دو تعريف از قضاياي حقيقيه و خارجيه» یکي از مقالات اين شماره است كه چكيدۀ آن را در اينجا مي‌بينيد:
استنتاج قضيه ممكنه از دو قضيه ممكنه يكي از نزاع هاي پردامنه در منطق قديم است كه ارسطو، ابن سينا، فخر رازي، خواجه نصير و قطب رازي بر آن مهر تاييد زده اند، در حالي كه خونَجي، ابهري، ارموي و كاتبي آن را مردود شمرده اند. شگفت اين است كه منطق جديد در اين نزاع جانب گروه دوم را مي گيرد. از سوي ديگر، اخيراً معلوم شده است كه منطق دانان قديم هر يك از قضيه حقيقيه و خارجيه را به اشتراك لفظ در دو معنا به كار برده اند بدون اينكه از اين اشتراك لفظ آگاه باشند: ملاك تقسيم، در يك معنا، رابطه عقدالوضع و عقدالحمل است و در ديگري، ظرف وجود موضوع. بنا به ملاك نخست، قضاياي حقيقيه به صورت موجهاتي و با ادات هاي ضرورت و امكان تفسير مي شوند؛ در حالي كه بنا به ملاك دوم، اين قضايا فاقد هر گونه جهتي هستند و در برابر، قضاياي خارجيه با محمول وجود تحليل مي شوند. در اين مقاله، پس از گزارش نزاع ياد شده درباره استنتاج از دو ممكن، نظرات، ايرادات و دفاعيه ها را به زبان منطق جديد صورت بندي كرده و نشان داده ايم كه طرفين نزاع تصور يكساني از قضاياي حقيقيه و خارجيه نداشته اند: موافقان استنتاج از دو ممكن، تفسير نخست و مخالفان، تفسير دوم را در ذهن داشته اند.
کليدواژگان: قضيه ممكنه، استنتاج، حقيقيه
مشاهده متن
PDF 1767KBپي‌نوشت: پيوند اخير مربوط به سايت مگيران است كه براي دانلود مقاله، نياز به ثبت نام و پرداخت آنلاين دارد. براي دانلود رايگان بايد منتظر انتشار نشريه در سايت اختصاصي نشريۀ آينۀ معرفت بود.
نشريۀ «فلسفه و كلام اسلامي» (دانشكدة الهيات دانشگاه تهران) سال 46 شماره 2 (پاييز و زمستان 92) منتشر شد. در اين شماره، دو مقاله آمده است كه يكي به مغالطه‌هاي موجود در براهين «ابطال تسلسل نامتناهي» مي‌پردازد و ديگري به نادرستي قاعدۀ «نقض موضوع».
بررسي شرايط سه گانه تسلسل محال وحيد خادم زاده*، محمد سعيدي مهر ص 41
چکيده مشاهده متن [PDF 210KB]
حكما با توسل به شرايط سه گانه «فعليت اجزاء»، «اجتماع در وجود» و «ترتب حقيقي»، كوشيده اند تا وجود نامتناهي در مجموع هايي همانند سلسله اعداد، حوادث زماني و نفوس مفارق را توجيه كنند و آن ها را از گزند برهان هاي ابطال تسلسل مصون دارند.
در اين مقاله نشان داده مي شود كه توسل به شرايط مذكور براي خروج سلسله اعداد، حوادث زماني، و نفوس مفارق از دايره نامتناهي بالفعل با موفقيت همراه نبوده است. تلازم عدد با كثرت در شرط اول، فقدان معناي مناسب براي اصطلاح «معيت» در شرط دوم، و لحاظ محدوديت هاي ذهن انساني در توجيه شرط سوم سبب مي گردد كه كارآيي اين شروط با چالشي جدي روبه رو گردد.
کليدواژگان: نامتناهي، تسلسل، فعليت، معيت، ترتب
نقضِ «نقض موضوع» مهدي عظيمي * ص 83
چکيده مشاهده متن [PDF 210KB]
در كتاب هاي منطق اسلاميِ دوره معاصر، «نقض موضوع» را قاعده اي برشمرده اند كه بر پايه آن مي توان از يك گزاره كليِ صادق، گزاره صادق ديگري را به دست آورد كه موضوع اش نقيض موضوع گزاره نخستين باشد و كم و كيف اش نيز دگرگون شده باشد. بنابراين، با كاربست اين قاعده بر موجَبي كلي مانند «هر الف ب است» سالبي جزئي همچون «برخي از نه ـ الف ب نيست» به دست مي آيد. در اين جستار، اما، نمايان خواهد شد كه همواره چنين نيست، بل كه گاه نتيجه نيز مانند مقدمه، موجبي كلي مثل «هر نه ـ الف ب است» از آب درمي آيد؛ و آن هنگامي است كه موضوع گزاره اصلي اخص مطلق از محمول، و محمول برابر با عام ترين مفهوم كلي باشد. بدين سان آشكار خواهد شد كه قاعده نقض موضوع كليت ندارد و تخصيص بَردار است.
کليدواژگان: نقض موضوع، نقض الموضوع، تخصيص، عام ترين مفهوم كلي
پي‌نوشت: پيوندهاي «مشاهدۀ متن» مربوط به سايت مگيران است كه براي دانلود مقاله‌ها، نياز به ثبت نام و پرداخت آنلاين دارد. براي دانلود رايگان بايد منتظر انتشار مقالاه‌ها در سايت اختصاصي نشريۀ فلسفه و كلام اسلامي بود.
انجمن منطق ايران برگزار مي کند
عقلانيت و منطق
دکتر حسين شيخ رضايي
استاديار موسسة پژوهشى حكمت و فلسفه ايران
مکان: تهران ، خيابان ولي عصر ، خيابان نوفل لوشاتو ، خيابان آراكليان ، شماره 4.
موسسة پژوهشى حكمت و فلسفه ايران
زمان: چهارشنبه، 29 آبان 1392، ساعت 4 بعد از ظهر
با همکاري موسسة پژوهشى حكمت و فلسفه ايران
پوستر نشست انجمن منطق ایران و برگزاری انتخابات هیئت مدیره چهارشنبه ۱/۸/۹۲
پوستر نشست نقد کتاب آشنایی با منطق ربط چهارشنبه ۱/۸/۹۲
پژوهشگاه دانشهاي بنيادي ـــــــــــــــــــــــــــــــــــــ پژوهشکده فلسفه تحليلي
سمينارهاي فلسفه تحليلي پاييز 92
|
15/7/92 |
آيا عقلانيت مفهومي هنجاري است؟ |
امير صائمي پژوهشگاه دانشهاي بنيادي. |
|
29/7/92 |
فلسفه و رياضيات: نگاهي تاريخي . |
حسين معصومي همداني ﻣﺆسسة پژوهشي حکمت و فلسفة ايران |
|
13/8/92 |
باور، بايد و نبايد |
سيد علي کلانتري دانشگاه اصفهان |
|
27/8/92 |
فلسفة حقوق فلسفه زندگي است |
. هادي وحيد دانشگاه شهيد بهشتي |
|
11/9/92 |
ملاحظاتي پيرامون نظرية فاين دربارة ذات |
هاشم مرواريد پژوهشگاه دانشهاي بنيادي. |
|
25/9/92 |
متناقضنماي ويتگنشتاين متقدم |
رضا مثمر دانشگاه برمينگام |
|
9/10/92
|
بعداً اعلام مي‌شود
|
حميد وحيد پژوهشگاه دانشهاي بنيادي. |
|
23/10/92 |
ملاحظاتي دربارة آموزه يکتايي معرفتي |
اميد کريمزاده پژوهشگاه دانشهاي بنيادي |
شرکت براي عموم آزاد است.
چکيده هر سمينار، دو روز پيش از برگزاري آن در سايت پژوهشکده فلسفه
(به آدرس http://philosophy.ipm.ac.ir/) قابل دسترسي است.
مکان: تهران- ميدان نياوران- پژوهشگاه دانشهاي بنيادي (مرکز تحقيقات فيزيک نظري و رياضيات) پژوهشکده فلسفه تحليلي- تالار شماره 1
زمان: دوشنبه‌ها ، ساعت: 18-16 تلفن: 22803669
شرکت براي عموم آزاد است.(به آدرس http://philosophy.ipm.ac.ir/) قابل دسترسي است.
|
8/7/1392 |
ترم‌های کلی و مساله بی‌مایگی |
رضا سلطانی |
|
|
|
دانشگاه تربیت مدرس تهران |
|
22/7/1392 |
آراء محموده در اندیشه ابن‌سینا |
فاطمه ذوالحسنی |
|
|
|
دانشگاه تربیت مدرس تهران |
|
6/8/1392 |
منطقهای ربط پیش‌جدولی |
اسدالله فلاحی |
|
|
|
مؤسسه پژوهشي حکمت و فلسفه ایران |
|
20/8/1392 |
عینیت مفهومی صفات واجب‌الوجود |
سیاوش اسدی |
|
|
از نظر ابن‌سینا |
دانشگاه تربیت مدرس تهران |
|
4/9/1392 |
واقعا کمی تغییر تفاوتی نمی‌کند؟ |
داود حسینی |
|
|
دفاعی از رواداری |
دانشگاه تربیت مدرس تهران |
|
18/9/1392 |
نظریه موجهات زمانی ابن‌سینا |
لطف‌الله نبوی |
|
|
بنیادهای یونانی و گسترش‌های ایرانی |
دانشگاه تربیت مدرس تهران |
|
9/10/1392 |
سمنتیک بر پایه نظریه برهان |
مرتضی مزگی‌نژاد |
|
|
|
دانشگاه تربیت مدرس تهران |
زمان: دوشنبه ساعت 13 تا 15
مکان: دانشگاه تربیت مدرس، دانشکده علوم انسانی، سالن 122
سخنرانان:
ضیا موحد، استاد و مدیر گروه منطق مؤسسه پژوهشی حکمت و فلسفه ایران، افتتاحیه،
لطف‌الله نبوی؛، دانشیار دانشگاه تربیت مدرس مباني منطقي - فلسفي «ضرورت بتاته»،
داوود حسینی، استادیار دانشگاه تربیت مدرس، سهروردی در باب علم به خود،
مهدی عظیمی، استادیار دانشگاه تهران، سهروردی و دلیل افتراض،
اسدالله فلاحی؛ استادیار مؤسسه پژوهشی حکمت و فلسفه ایران، کلیت بتاته نزد سهروردی
چهار شنبه،17 /7 /92 ساعت 15 الی 18
مؤسسۀ حكمت و فلسفۀ ايران
قبلا درس‌نامه منطق تطبيقي را در وبلاگ معرفي كرده بودم. اينك نسخۀ به‌روز شدۀ آن را با عنوان زير تقديم مي‌كنم:
در اين نسخه كه تقريبا دو برابر نسخۀ پيشين است برخي مدخل‌ها با تفصيل بيشتري بحث شده و منابع نيز به روز رساني گرديده است. اميد است كه سودمند بيفتد.
پی‌نوشت:
در خصوص گلايۀ برخي دوستان از سايت پرشين‌گيگ كه فايل‌هاي دانلودي اين وبلاگ در آن سايت ذخيره مي‌شود، بايد بگويم كه گاهي مرورگر اينترنت اكسپلورر براي امنيت كاربران در يك نوار زردرنگ بالاي صفحۀ مرورگر عبارت زير را به نمايش مي‌گذارد:
To Help Protect Your Security, Internet Explorer has blocked this website from displaying content with security certificate errors. Click here for options ...
در اين مواقع، كافي است روي اين نوار زرد كليك كنيد و گزينۀ اول (دانلود فايل) را انتخاب كنيد. پس از اين، روي آيكن (دريافت) در پرشين گيگ مجددا كليك كنيد تا دانلود فايل آغاز شود.
نشریه معارف عقلی فصل‌نامه‌اي در حوزۀ علوم عقلي اسلامي است كه از چهار شمارۀ خود در سال، يكي را به منطق اختصاص مي‌دهد. در شمارۀ اخير اين نشريه، از متخصصان منطق جديد خواسته شده است كه مقالات پژوهشي خود را در اين زمينه به اين نشريه بفرستند. بخشي از سخن جانشين سردبير (محمدباقر ملكيان) در شماره ۲۵ نشريه چنين است:
همكاران فصلنامه معارف عقلي، با انتشار شماره‌هاي ويژۀ منطق بر آنند كه با ارائۀ پژوهش‌هاي نو در مباحث منطقي گامي هرچند كوتاه در گسترش آموزه‌هاي صحيح منطقي بردارند. البته گفتني است كه قصد ما محدود شدن و بسنده كردن به مقاله‌هاي مرتبط با منطق سنتي ارسطويي نيست، بلكه چشم‌انداز ما ارائه مقاله‌هاي مربوط به منطق جديد و رياضي و نيز تحقيقات تطبيقي بين ارسطو و ديگر منطق‌ها است. با همين انگيزه، از فرهيختگان عزيزي كه در زمينۀ منطق جديد اطلاعات ارزشمندي دارند دعوت مي‌كنيم كه با ارسال مقاله‌هاي خود در زمينۀ منطق‌هاي جديد و يا مسائل مشترك ميان منطق ارسطويي و منطق غيرارسطويي و نيز با نقد عالمانۀ مقالات انتشار يافته در اين نشريه، ما را وامدار كوشش‌هاي خود سازند و بر غناي محتواي علمي مجله بيفزايند.
جانشين سردبير
)
فصلنامه معارف عقلي
فصلنامه اجتماعي ، اطلاع رساني داراي رتبه علمي - ترويجي (حوزوي)
سال هفتم، شماره 25، زمستان 1391
منطق
*سخن نخست ص 5
*مباني منطقي استقرا و تطبيقات معرفت شناختي آن در انديشه شهيد صدر
محمدعلي اسماعيلي ص 7
*چگونگي پيدايش علم حصولي نظري از ديدگاه قرآن
مجيد شمس كلاهي ص 43
*يقين؛ مفهوم شناسي و ارزيابي (گزارش، نقد و بررسي مدخل يقين از دائرهْْ المعارف معرفت شناسي)
عباس عارفي ص 71
*تاملي در نگاره هاي برهان ستيزانه صدرالدين قونوي
عباس فتحيه ص 83
*سورهاي محمول در گزاره هاي منحرفه (احكام قضايا و قواعد قياس)
اسدالله فلاحي ص 107
*نقدي بر مقاله «روشي جديد در استنتاج صوري با كمترين قاعده»
اسدالله فلاحي ص 139
با سپاس از همه عزيزاني كه در بخش نظرات پست پيشين با لطف و محبت خود مرا دلگرم ساختند و با پوزش از همه دوستان بابت تاخير در به‌روزرساني وبلاگ.
در پست قبل وعده داده بودم كه اطلاعات بيشتري درباره كتاب در دسترس قرار دهم و اينك مقدمه كتاب «منطق خونجي» را به شما گراميان تقديم مي‌كنم. اميدوارم در اين مقدمه كوتاه توانسته باشم معرفي خوبي از كتاب ارائه كنم.
کـتاب «منطق خونجي» اثر نگارنده اين سطور به همت انتشارات مؤسسۀ پژوهشي حكمت و فلسفۀ ايران منتشر شد. در اين كتاب، نوآوري‌هاي منطقي افضل الدين خونجي (۵۹۰-۶۴۶ق.) كه در كتاب «كشف الاسرار عن غوامض الافكار» انعكاس يافته است به زبان منطق جديد مورد بررسي و نقد قرار گرفته است.
کـتاب «منطق خونجي» در چهار بخش زير سامان يافته است:
۱. قضاياي حقيقيه و خارجيه
۲. قضاياي هميشه‌صادق
۳. موجهات
۴. عكس مستوي
نوآوري‌هاي خونجي در چهار بحث بالا نقطۀ عطف مهمي در تاريخ منطق در جهان اسلام است كه پيچ تاريخي ميان قدما و متأخران منطق سينوي را به خوبي نشان مي‌دهد. از اين رو كتاب «منطق خونجي» افزون بر اثري در منطق تطبيقي مي‌تواند گامي در نگارش تاريخ منطق سينوي به شمار آيد.
اطلاعات بيشتر دربارۀ كتاب در پست‌هاي بعدي ارائه خواهد شد.
كتاب حل پارادوکس‌های منطقی اثر عبدالله گيلاني و ترجمه و شرح سعيد رحيميان منتشر شد.
متن عربي اين كتاب در سال ۱۳۵۳ از سوي علي شيخ‌الاسلامي تصحيح و در مجموعه «منطق و مباحث الفاظ» به اهتمام مهدي محقق و توشيكو ايزوتسو از سوي انتشارات دانشگاه تهران به چاپ رسيده بود و اينك پس از سي سال ترجمۀ آن به زبان فارسي به نشر رسيده است.
اين كتاب يكي از بهترين كتاب‌ها و شايد تنها كتاب معرفي كنندۀ «پارادوکس‌هاي منطقي» در نظام منطق قديم است. در اين كتاب مي‌توان چكيده‌اي از نزاع‌هاي مهم ميان منطقدانان قديم به ويژه در قرن هفتم را مشاهده كرد كه متأسفانه چهرۀ تاريخي خود را از دست داده است؛ به اين معني كه نويسندۀ كتاب نامي از طراحان پارادوكس‌ها نمي‌برد و پاسخ‌هاي گوناگون منطقدانان قديم را گزارش نمي‌كند و تنها به پاسخ‌هاي خود بسنده ميكند. البته مترجم كتاب در بيش از سي مورد پاسخ‌هاي نويسنده را نپسنديده و پاسخ خود را به ترجمۀ كتاب افزوده است.
با سپاس از آقاي عليرضا دارابي براي معرفي كتاب
دوست گرامي آقاي سياوش اسدي لطف كردند و پايان‌نامۀ ارشدشان را كه درباره منطق كوانتومي است در اختيار بنده گذاشتند تا در دسترس دوستان علاقه‌مند به اين شاخۀ منطق جديد باشد. از ايشان بابت لطف‌شان سپاس‌گزارم.
آقاي سياوش اسدي دانش‌آموخته كارشناسي ارشد منطق فلسفي از دانشگاه تربيت مدرس و هم‌اكنون دانشجوي دكتراي فلسفۀ اسلامي در همان دانشگاه هستند.
|
علي اوجبي |
||
|
مژگان حقاني |
||
|
ضياء موحد، فرشته ابوالحسني نياركي، هاشم قرباني |
||
|
حميدرضا صادقي نياركي |
||
|
فاطمه يازرلو |
||
|
رضا محمدي نسب |
||
|
منصور غريبي |
دومین مدرسه تابستانی فلسفه تحلیلی در پژوهشگاه دانش های بنیادین در سال ۱۳۹۲ برگزار خواهد شد. برای اطلاعات ثبت نام روی پیوند بالا کلیک کنید.
با سپاس از آقای دکتر محمود مروارید و آقای یاسر پوراسماعیل بابت اطلاع رسانی
مجله فلسفه و كلام اسلامي شماره بهار و تابستان 1392 (سال ۴۶ شماره ۱) منتشر شد.
این شماره چهار مقاله منطقی زیر را در بردارد:
مقسم تصور و تصدیق از منظر معرفتشناسی نوصدرایی صفحه 55-77
عبدالحسین خسروپناه؛ مهدی عاشوری مشاهده مقاله | اصل مقاله (398 K)
راهکار متمایز ملاصدرا از ابن سینا در رفع "اجتماع دو مقوله" در وجود ذهنی و کارایی آن
صفحه 79-91
محمود زراعت‌پیشه؛ احد فرامرز قراملکی مشاهده مقاله | اصل مقاله (411 K)
گزاره های همیشه صادق نزد خونجی در منطق مرتبۀ دوم صفحه 93-112
اسداللّه فلاحی مشاهده مقاله | اصل مقاله (281 K)
برهان وجودی آنسلم به تقریر زالتا و نقد آن صفحه 113-131
حامد قدیری؛ داود حسینی مشاهده مقاله | اصل مقاله (301 K)
نشریه جاويدان خرد شماره ۲۰ بهار و تابستان ۹۰ منتشر شد. این شماره دو مقالۀ منطقي از عسکری سلیمانی امیری و مهدی عظیمی در بردارد كه چكيدۀ آن را در ادامه مي‌بينيد:
«نقد نظریهء تحویل قضایا به موجبهء کلیه بتّاته در منطق اشراقی»
عسکری سلیمانی امیری، استادیار مؤسسه آموزشی و پژوهشی امام خمینی (ره))
چکیده:
شیخ اشراق با بیان تحویل همه قضّایای شرطی، همه حملیهای سالبه و همه حملیهای جزئیه به کلیه و همه موجهات غیر ضروری به موجبه کلیه ضروریه مدعی منطق اشراقی در حوزه منطق صورت است. او با روش افتراض، تمام ضروب جزئیه را به کلیه و با روش عدول، تمام سالبه‌ها را به موجبه معدوله و با روش اشراب موجهات در محمول تمام موجهات را به ضروریه بر گرداند. طبق این روش هر شکلی تنها یک ضرب بیشتر نخواهد داشت. شیخ اشراق در روش اشراقی خود سایر اشکال را به شکل اول تحویل نبرد و نیز قیاس‌های استثنایی را به اقترانی حملی برنگرداند، ولی با این روش به ضمیمه عکس یا عکس نقیض می‌توان سایر اشکال را به شکل اول و نیز قیاس‌های استثنایی را به شکل اول برگرداند و در این مقاله این دو مهم به انجام رسید. بر این اساس با اعمال روش اشراقی و تحویل همه قضایا به موجبه کلیه ضروریه (بتاته) و تحویل همه قیاس‌هاس استثنایی به اقترانی و همة اقترانی به شکل اول و همه ضروب شکل اول به ضرب اول شکل اول، تمام استدلالها منحصرا به ضرب اول شکل اول بر می‌گردد. تنها مشکل در روش اشراقی تحویل سالبه به انتفای موضوع در کلیه‌ها به معدوله است که البته این اشکال مانع از اعمال این روش در استدلالها در علوم نمی‌شود؛ زیرا سالبه‌های علوم معمولا ناظر به امور موجودند. بنابراین می‌توان روش اشراقی را در خصوص سالبه‌های به انتفای محمول جاری دانست.
کلیدواژه‌ها: شیخ اشراق، منطق اشراقی، اشکال اربعه، شکل اول، قیاس استثنایی، قیاس اقترانی، افتراض، عدول، موجهات، ضروریه
«دشواره‌ٔ تعریف «جنس» و «نوع اضافی»،و دیگر مفاهیم متضایف: ارسطو، فرفوریوس، فارابی، ابن‌سینا»
مهدی عظیمی، استادیار دانشکده الهیّات دانشگاه تهران
چكيده:
دور و تعریف به‌مساوی ازجمله مغالطه‌های منطق تعریف در دستگاه ارسطویی‌اند. با وجود این، شگفتی‌آور است که این هر دو مغالطه را در تعریف‌های سنّتیِ «جنس» و «نوع اضافی» می‌توان دید؛ و حتّی برخی از عبارت‌های ارسطو آشکارا بیان‌گر آن هستند که وی تعریف دوری را نه تنها برای «جنس» و «نوع اضافی»، که برای همه‌ٔ متضایفان روا می‌شمارد. فرفوریوس در این زمینه‌ها یک‌سره پیرو ارسطو است و ایساگوگه‌ٔ او چیزی جز بازگفت این نکته‌ها را ندارد. فارابی در تعریف‌های پیشنهادی خویش این مغالطه‌ها را می‌پیراید و از این رهگذر زمینه را برای ابن‌سینا فراهم می‌کند. ابن‌سینا با اشارت‌های فارابی همه‌ٔ این دشواره‌ها و مغالطه‌ها را بازمی‌شناسد و برای گشودن و زدودن آنها، چه در تعریف جنس و نوع اضافی، به‌سان ویژه، و چه در تعریف متضایفان، به‌سان کلّی، راه‌کارهایی نوپدید و هوشمندانه پیش می‌نهد. برپایه‌ٔ راهکار او برای رهاسازی تعریف متضایفان از مغالطه‌های دور و تعریف به مساوی باید (1) متضایفان را از اضافه برهنه کرد، (2) علّت تضایف را ذکر کرد، (3) با افزودن قید «از آن‌روی که چنین است» تعریف را به متضایف مطمح نظر مختص کرد. جستار پیش رو با روشن‌داشت و تبیین این نکته‌ها بخشی از روند دگردیسی مدخل فرفوریوس در منطق اسلامی و، از این رهگذر، گوشه‌ای از تاریخ منطق اسلامی را روشن می‌کند.
مقاله «جريان شناسي و مباني منطقي نسبتهاي چهارگانه نزد منطقدانان مسلمان» از دوست گرامي آقاي دكتر علي اصغر جعفري ولني در نشريۀ خردنامۀ صدرا شماره 71، بهار 1392 ص 55-۷۰ منتشر شده است.
منطقدانان مسلمان به مسئله نسبت و ارائه تحليلي منطقي از آن توجه داشته اند و بكارگيري قواعد استنتاجي متضمن نسبت براي آنها امري مسلم بنظر ميرسد؛ طرح تدريجي رابطه مصداقي بموازات رابطه مفهومي، از چنين توجهي حكايت ميكند. درحاليكه تبيين مدون نسب اربعه در ارسطو ديده نميشود، منطقدانان قرن هفتم ببعد، علاوه بر بحث از نسبت مفهومي كه در مبحث كليات خمس مي آورند، تحت عنوان نسب اربع بنحو مفصل به بحث از نسبت مصداقي ميپردازند؛ و البته طرح آن را وامدار كساني چون غزالي بوده اند. واپسين تحليلهاي منطقدانان مسلمان از روابط منطقي در راستاي نظريه مجموعه ها، اساساً نظريه يي مصداقي است نه مفهومي؛ بنابرين نميتوان گفت كه منطقدانان مسلمان، تفسير مفهومي را به تفسير مصداقي ترجيح داده اند.
پيدايش نسب اربع نزد منطقدانان مصداق محور، مولود توجهي است كه آنها به مصاديق يا افراد كليات داشتند؛ آنها نظام منطقي كه صرفاً بر كليات خمس (ماهيات) مبتني باشد را ناكافي ميدانند، لذا علاوه بر ايساغوجي، از مجموعه ها و نسبت بين آنها و قواعد حاكم بر نسبتهاي مصداقي سخن بميان مي آورند و مبحث نسبتهاي چهارگانه را طرح ميكنند كه ناظر به مصاديق و مجموعه هاست.
کليدواژگان: نسب اربع، كليات خمس، تساوي، تباين، عموم و خصوص مطلق، عموم و خصوص من وجه
مقاله نقد و بررسی تقسیم سه گانه حمل نزد میرداماد از دوست عزيز دكتر محمود زراعت پيشه اخيرا در نشريۀ تاريخ فلسفه منتشر شده است.
با سپاس از ايشان بابت اطلاع‌رساني و تهيۀ فايل مقاله در قالب صفحات نشريه
۱. بررسي منطقي تعارضات اخلاقي /زينت آيت اللهي/ اصل مقاله (273 K)
۲. فراساختني‌بودگي و انگارپذيربودگي /مجتبي اميرخانلو/ اصل مقاله (293 K)
۳. دربارۀ چند استدلال هستي‌شناسيك گودلي /مهدي رعنائي/ اصل مقاله (282 K)
۴. عكس مستوي قضاياي حقيقيه نزد خونجي /اسداله فلاحي/ اصل مقاله (251 K)
۵. وجود و ضرورت با تكيه بر آراي تيموتي ويليامسون /لطف‌الله نبوي و اميرحسين يراقچي/ اصل مقاله (270 K)
۶. تحليل و اثبات قياس مساوات با تكيه بر مبحث نسب اربعه در منطق قديم /حميدرضا نيتي/ اصل مقاله (269 K)
نخستین همایش انجمن منطق ایران در تاریخ ۲۶/۲/۹۲ در دانشکدۀ رياضي دانشگاه شريف برگزار شد و سخنراني‌هاي خوبي ارائه شد كه به دليل موازي بودن سخنراني‌هاي منطق رياضي و منطق فلسفي، امكان استفاده از هر دو بخش به صورت كامل ميسر نبود. جاي سپاس از انجمن منطق ايران و شخص دكتر ضيا موحد و همكاران ايشان دارد كه با تلاش و هم‌دلي خود جوي صميمانه و پرنشاط فراهم آوردند تا استادان و دانشجويان ضمن آشنايي با يك‌ديگر به طرح بحث‌هاي مورد علاقه بپردازند و به كالبد خشك منطق روحي تازه بدمند.
فايل پاورپوينت سخنراني بنده نيز با عنوان سه تفسير از مشروطۀ عامه از اين پيوند قابل دانلود است.
همچنين، فايل دو سخنراني پيشين بنده كه فرصت معرفي آنها را نيافته بودم از پيوندهاي زير قابل دانلود است:
قضاياي حقيقيه و خارجيه در دوم ارديبهشت ۹۲ در پژوهشگاه دانشهاي بنيادي
خواجه نصير و مكتب خونجي در پنجم اسفند ۹۱ در مؤسسۀ پژوهشي حكمت و فلسفۀ ايران.
|
51-55 |
مرضيه ابوالحسني نياركي | |
|
56-60 |
هاشم قرباني | |
|
نگاهي بر استدلال هاي دونالد ديويدسون در باب ضرورت زبان براي انديشه |
66-77 |
علي حسين خاني |
انتشارات حكمت به تازگي كتاب فلسفه منطق نوشته هیلاری پاتنم را با ترجمه مازیار چیت ساز به عرصه نشر هديه كرده است.
توضيحات اين كتاب در خبرگزاري فارس:
این کتاب که اولین بار در 1971 منتشر شد، به مسئله هستی‌شناختی در فلسفه منطق و ریاضیات می‌پردازدـ یعنی این مسئله که آیا موجودات انتزاعی که در منطق و ریاضیات از آنها سخن گفته می‌شود، واقعاً وجود دارند یا خیر. همچنین او متوجه این پرسش است که آیا ارجاع به این موجودات انتزاعی در منطق، واقعاً گریزناپذیر است و آیا ارجاع به آنها به‌طور کلی در علوم فیزیکی ضروری است یا نه.
انتشارات حكمت همچنين كتاب خاستگاه فلسفه تحلیلی نوشته مایکل دامت با ترجمه عبدالله نیک سیرت را نيز به بازار نشر فرستاده است.
معرفي كتاب در همان خبرگزاري:
نزدیک به یک قرن است که فلسفه تحلیلی، فلسفه غالب بر دنیای انگلیسی زبان بوده است. هنگامی که این فلسفه در مقابل فلسفه «قاره‌ای» قرار می‌گیرد، اغلب فلسفه‌ای «آمریکایی ـ انگلیسی» تلقی می‌شود. اما، مایکل دامت در کتاب خاستگاه‌های فلسفه تحلیلی استدلال می‌کند که این تلقی نادرست است. به نظر وی، عنوان «انگلیسی ـ اتریش»" برای فلسفه تحلیلی که در واقع، در محیط پیدایش رقیب اصلی‌اش یعنی پدیدارشناسی ظهور یافته، دقیق‌تر است. از نظر دامت، این دو مکتب ریشه‌های مشترکی دارند و با بررسی مجدد خاستگاه‌های مشترک این دو سنت فلسفی، می‌توانیم دریابیم که چرا این دو مکتب بعدها این چنین از هم فاصله گرفتند و سپس، گام اول را برای آشتی دادن آنها برداریم. کتاب دامت یکی از شاخص‌ترین آثار در معرفی فلسفه تحلیلی است که امروزه اثری کلاسیک به‌شمار می‌آید.
نوآوري‌هاي زين الدين كشي در منطق - دوشنبه شانزدهم مرداد 1391
زين الدين كشي و نقيض جزئيه مركبه - یکشنبه پانزدهم مرداد 1391
نخستين كسي كه نقيض جزئية مركبه را كشف كرد - جمعه سیزدهم مرداد 1391
يكي از خوانندگان محترم وبلاگ به نام «كريميان» در بخش نظرات يكي از اين پست‌ها لطف كرده و اطلاع دادند كه سید محمد عمادی حائری در سال گذشته كتابي با عنوان از نسخه های استانبول (دستنویس هایی در فلسفه، کلام و عرفان) منتشر كرده و به معرفي تفصيلي زين الدين كشي و كتاب حدائق الحدائق او در منطق پرداخته است. البته من كتاب را نديده‌ام ولي آقا يا خانم كريميان معرفي تفصيلي او را مفيد دانسته‌اند.
با سپاس از ايشان بابت اطلاع‌رساني، گفتني است كه آقاي عمادي اخيرا يادداشتي با عنوان زير بر يكي از پي‌نوشت‌هاي خود در اين كتاب در نشريه گزارش ميراث منتشر كرده‌اند:
فخر رازی، زین الدین کشی و «فاضل من فضلاء خراسان»
پي دي اف يادداشت آقاي عماديي از اين پيوند قابل دانلود است.
انجمن منطق ايران انجمن منطق ایران نخستین همایش سالانۀ خود را به همراه سمينار سالانۀ انجمن منطق در ۲۶ ارديبهشت ۹۲ در دانشگاه صنعتي شريف برگزار ميكند. جدول سخنراني‌ها و راهنماي شركت در سمينار در پيوندهاي زير آمده است:
رنگ آبي: ارائه مقالات در سالن شماره 2 (هم‌زمان با سالن شماره 1)
|
ساعت و مکان |
برنامه |
|
8 - 8:30 |
دریافت کارت سمینار |
|
8 - 8:30 |
هماهنگی و دریافت فایل پاورپوینت سخنرانان |
|
سالن شماره 1 |
|
|
8:30 - 9 |
افتتاحیه سمینار |
|
|
سخنرانی ریاست محترم انجمن منطق ایران، ضیا موحد |
|
9 - 9:40 |
حمید وحید دستجردی |
|
|
از معرفت ریاضی به معرفت منطقی |
|
9:45 - 11:45 |
سخنرانی های موازی صبح |
|
سالن شماره 1 |
ریاست جلسه: لطف الله نبوی |
|
9:45 - 10:15 |
محمد علی حجتی – مرتضی مزگی نژاد |
|
|
بررسی رویکرد هارویچ به انتقادات کریپکی برتئوری کاربردی معناداری |
|
10:30 - 11:00 |
مرتضی حاج حسینی |
|
|
مقایسه رفتار ثابتهای منطقی در منطق قدیم و جدید و لوازم آن در صورتبندی استدلالها |
|
11:15 - 11:45 |
اسدالله فلاحی |
|
|
سه تفسيرازمشروطةعامه نزد خونجي |
|
سالن شماره 2 |
ریاست جلسه: محمد اردشیر |
|
9:45 - 10:15 |
مقداد قاری |
|
|
منطقهای توجیه و مسایل معرفتی |
|
10:30 - 11:00 |
سید مجتبی مجتهدی |
|
|
منطق اثبات پذیری |
|
11:15 - 11:45 |
امیرحسین اکبرطباطبایی |
|
|
نظریه ی مدل برای مفهوم برهان |
|
11:45 - 12:15 |
پذیرائی |
|
سالن شماره 1 |
ریاست جلسه: محمد اردشیر |
|
12:20 - 13 |
مجید علیزاده |
|
|
منطق زیر ساختی و درون یابی یکنواخت |
|
13 - 14:30 |
صرف ناهار |
|
سالن شماره 1 |
ریاست جلسه: سید نصر الله موسویان |
|
14:30 - 15:10 |
شهرام محسنی پور |
|
|
ارنست زرملو و نظریه ی مجموعه ها |
|
15:15 - 17:15 |
سخنرانی های موازی عصر |
|
سالن شماره 1 |
ریاست جلسه: مجید علیزاده |
|
15:15 - 15:45 |
محمد صالح زارع پور |
|
|
راه حلی مبتنی بر توجیه معرفتی برای پارادکس امتحان غیر منتظره |
|
16 - 16:30 |
خانم فرزانه درخشان |
|
|
درونیابی یکنواخت برای منطق پایه |
|
16:45 - 17:15 |
خانم راحله جلالی کشاورز |
|
|
نظریه ی ساختی مجموعه ها |
|
سالن شماره 2 |
ریاست جلسه: محمدعلی اژه ای |
|
15:15 - 15:45 |
داود حسینی |
|
|
استدلال ایونز درباب ابهام در جهان |
|
16 - 16:30 |
مهدی اخوان |
|
|
سازگاری، پلی برای گذار از منطق صوری به اخلاق صوری |
|
16:45 - 17:15 |
مازیار چیت ساز |
|
|
نقد ردّیه هوسرل برروانشناسی گرایی |
|
17:15 - 17:45 |
پذیرائی |
|
17:45 - 18:30 |
مجمع عمومی سالیانه انجمن منطق ایران - اختتامیه سمینار |
مقالۀ «اعتبار منطق ارسطو در تفکر معاصر غرب» از سید حسن اسلامی در نشريۀ «پژوهش‌هاي فلسفي-كلامي» دانشگاه قم شمارۀ ۴۷ منتشر شده است. مقاله را در اينجا مي‌توانيد ببينيد و دانلود كنيد.
با سپاس از آقاي محسن اسلامي بابت معرفي مقاله
قابل توجه دوستاني كه از پخش كتاب «آشنايي با منطق ربط» سؤال مي‌كردند، اين كتاب به تازگي در فروشگاه مؤسسۀ پژوهشي حكمت و فلسفۀ ايران عرضه شده است.
آدرس: تهران، خ. ولي‌عصر، چهارراه اميراكرم، خ. نوفل لوشاتو پلاك 87 (واقع در ضلع جنوبي مؤسسه).
شمارۀ تلفن: 02166970806
آقاي رجايي فرد
به گفتۀ آقاي رجايي، از آنجا كه مؤسسه كارمندان خود را براي كارهاي پستي به كار نمي‌گيرد، طبيعتا ارسال تك‌نسخه براي افراد مقدور نيست. شايد بهترين راه هماهنگي با كتاب‌فروشي‌هاي بزرگ شهرستان‌ها باشد. دوستاني كه در شهرستان هستند مي‌توانند از كتاب‌فروشي‌هاي شهرشان بخواهند كه براي تهيۀ كتاب با شمارۀ یاد شده با آقای رجایی هماهنگي كنند.
سخنرانی اين جانب با عنوان «قضاياي حقيقيه و خارجيه» در پژوهشگاه دانشهاي بنيادي گروه فلسفۀ تحليلي در روز دوشنبه ۲/۲/۹۲ ساعت ۱۶ برگزار مي‌شود.
در اين سخنراني تلاش خواهم كرد تاريخچۀ بحث از ارسطو و ابن‌سينا تا فخر رازي و خونجي را بيان كنم و به معرفي صورت‌بندي‌هاي بسيار متنوعي كه از اين قضايا در منطق جديد ارائه شده است بپردازم. آخرين صورت‌بندي ارائه شده از پل تام از دانشگاه سيدني است كه در تاريخ منطق آثار مهمي دارد. تام در اين صورت‌بندي از سورهاي مرتبۀ دوم براي تحليل قضاياي حقيقيه نزد اثير الدين ابهري استفاده كرده است.
سلسله سخنراني هاي انجمن منطق ایران
ضرورت متافیزیکی و شرطی های خلاف واقع
سخنران: دکتر ضیاء موحد چهارشنبه 92/1/28 ساعت 17
مکان: انجمن حکمت و فلسفه
|
26/1/92 |
برون‌گرایی علیه شکاکیت |
حمید علایی‌نژاد |
|
|
|
دانشگاه تربیت مدرس تهران |
|
2/2/92 |
علم و وجود ذهنی |
محمد سعیدی‌مهر |
|
|
|
دانشگاه تربیت مدرس تهران |
|
9/2/92 |
اختیار و پارادوکس‌های معرفتی |
محمدصالح زارع‌پور |
|
|
|
دانشگاه تربیت مدرس تهران |
|
16/2/92 |
منطق شرطی سینوی |
علیرضا دارابی |
|
|
|
دانشگاه تربیت مدرس تهران |
|
23/2/92 |
لیکاف و استعاره نور بودن وجود |
وحید خادم‌زاده |
|
|
|
دانشگاه تربیت مدرس تهران |
|
30/2/92 |
دیوید لوئیس و نومینالیسم مجموعه‌ای |
مهدی رعنایی |
|
|
|
پژوهشگاه دانشهای بنیادی |
|
6/3/92 |
کیهان، افقی برای اندیشه فلسفی |
لطف‌الله نبوی |
|
|
|
دانشگاه تربیت مدرس تهران |
|
|
|
|
زمان: دوشنبه ها ساعت 13:30 تا 15:30
مکان: دانشگاه تربیت مدرس، دانشکده علوم انسانی، سالن 122
با سپاس از آقای محسن اسلامی بابت اطلاع‌رساني
درآمدی به منطق تکلیف
تالیف فرشته نباتی
انتشارات دانشگاه علامه طباطبایی
1391.
مروري اجمالي بر «درآمدي به منطق تكليف» به قلم مؤلف در بررسي ارتباط منطقي ميان مفاهيم هنجاري در كتاب «در آمدي به منطق تكليف» در وبلاگ فلسفه اخلاق
اخلاق صوری
نويسنده: هری گنسلر
مترجم:مهدی اخوان
ناشر: علمی و فرهنگی
قيمت: 9,000 تومان
منطق جديد - كمال راد - ترم چهارم - سه‌شنبه‌ها ساعت ۱۷
منطق اشارات - احد فرامرز قراملكي - ترم ششم - دوشنبه‌ها ساعت ۱۷
فلسفه زبان - سيد نصر الله موسويان - ترم سوم - پنج‌شنبه‌ها ساعت ۱۰
معرفت‌شناسي - منصور شمس - ترم دوم - شنبه‌ها ساعت ۱۸
فلسفه اخلاق - محسن جوادي - ترم اول - چهارشنبه‌ها ساعت ۱۶
فيلسوفان تحليلي و معناي زندگي - كاوه لاجوردي - ترم اول - يك‌شنبه‌ها ساعت ۱۸
براي اطلاعات بيشتر بخش اخبار پنجره را ببينيد. همچنين بخش اساتيد پنجره
آدرس: میدان توحید،خیابان ستارخان،نبش کوثر دوم،پلاک 2،طبقه اول
ایمیل موسسه : info@panjere-hekmat.com شماره تلفن : 66570956 - 66570945
كتاب «آشنايي با منطق ربط» از اين جانب در انتشارات مؤسسۀ پژوهشي حكمت و فلسفۀ ايران منتشر شد.
این کتاب که نخستین کتاب آموزشی در منطق ربط به زبان فارسی است به نظريه برهان و سمانتيك منطق ربط R مي‌پردازد. پيش‌نياز اين كتاب آشنايي با كتاب درآمدي به منطق جديد اثر استاد ضياء موحد است.
اطلاعات بيشتر دربارۀ كتاب را در مقدمۀ كتاب آشنايي با منطق ربط ببينيد.
دوست گرامی آقای حسن مسعود دانشجوی دکترای فلسفه در دانشگاه آلبرتای کانادا درباره «فرهنگ‌نامۀ فلسفه کمبریج» و دعوت به همکاری درباره بازبینی و و یرایش مربوط به فلسفه و منطق ایران و اسلام متنی را فرستاده است که عین آن را در اينجا براي اطلاع دوستان مي‌گذارم:
اخیرا چندین بار دکتر جان کرکران در ایمیلهایی یادآور شده است که کتاب پراستفاده دیکشنری فلسفه کمبریج در حال بازبینی و ویرایش مجدد است و تا حدود 2014 ویراست جدید آن منتشر خواهد شد. در این پروژه کرکران هم همکاری فعال دارد. ایشان از من خواسته است که در صورتی که نکته ای انتقادی یا پیشنهادی در مورد این کتاب، بویژه مدخلهایی که به نحوی با فلسفه و منطق ایران و اسلام مرتبط است داشتم، به اطلاع او برسانم، و نیز از دیگر دوستان ایرانی بخواهم که چنین کنند. (البته اگر خود رابرت آئودی سرویراستار کتاب هم چنین فراخوانی داده است، من در جریان نیستم.) لذا خواهشمندم این نکته را به ترتیبی در وبلاگ خود منعکس کنید و از اهالی منطق و فلسفه بخواهید انتقادات و پیشنهادات خود را به ایمیل ایشان corcoran@buffalo.edu ارسال کنند.
The Cambridge Dictionary of Philosophy: Robert Audi - Amazon.com
مشخصات کتاب
به گزارش همشهری آنلاین، اين كتاب به همراه كتابي از آقاي عسكري سليماني اميري كتاب شايسته تقدير در جايزه كتاب فصل جمهوري اسلامي ايران (پاييز ۹۱) معرفي شده‌اند:
ـ درآمدی به منطق تکلیف، تالیف فرشته نباتی، تهران: انتشارات دانشگاه علامه طباطبایی، 1391.
ـ معیار دانش، تالیف عسکری سلیمانی امیری، قم: موسسه آموزشی و پژوهشی امام خمینی(ره)، 1391.
انتشار و كسب عنوان شايستۀ تقدير را به نويسندگان اين دو كتاب تبريك مي‌گوييم.
مقاله‌هاي اين شماره در پي دي اف‌هاي جدا جدا و به صورت يك‌پارچه در يك پي دي اف قابل دانلود است.
به گزارش پایگاه خبری مؤسسه پژوهشی حکمت و فلسفه ایران، در این همایش دو روزه، منظومه فکری خواجه نصیر در حوزه های علم، منطق، فلسفه،کلام،اخلاق،سیاست بررسی خواهد داشت.
روز اول بخش علم
حسین معصومی همدانی؛ «خواجه نصیر و عدد بی‌نهایت»،
یونس مهدوی؛ «جایگاه خواجه نصیر در تاریخ مثلثات»،
امیرمحمد گمینی؛ «خواجه‌نصیر و قطب‌الدین شیرازی: در آثار نجومی و ریاضی».
روز اول بخش منطق
مهدی عظیمی؛ « خواجه‌نصیر و پارادوکس کرول»
اسدالله فلاحی؛ « خواجه‌نصیر و مکتب منطقی خونجی».
زمان: ۵ و ۶ اسفندماه از ساعت ۱۴:۳۰ تا ۱۸
پنجاه و نهمين جلسه منطق و فلسفه رياضي (دانشگاه شريف) با ارائۀ دكتر شهرام محسني پور در دانشگاه شريف برگزار مي‌شود.
عنوان سخنراني: قضاياي لوونهايم - اسكولم براي منطق موستوفسكي با سورهاي تعميم يافته
دانشگاه شريف، دانشكده رياضي، اتاق ۴۰۳
يكشنبه ۲۹ بهمن ۹۱ ساعت ۱۷
با سپاس از خانم رمضاني بابت اطلاع رساني
پژوهشگاه دانشهاي بنيادي
پژوهشکده فلسفه تحليلي
سمينارهاي فلسفه تحليلي
زمستان 91- بهار 92
|
7/12/91 |
برهان وجودي گودل |
مهدي رعنائي پژوهشگاه دانشهاي بنيادي |
|
21/12/91 |
جبرگرايي الهياتي |
محمدصالح زارع‌پور دانشگاه تربيت مدرس |
|
19/1/92 |
انديشه مفرد، انديشيدن مفرد |
پژوهشگاه دانشهاي بنيادي |
|
2/2/92 |
قضاياي حقيقيه و خارجيه |
اسدالله فلاحي ﻣﺆسسة حکمت و فلسفه |
|
216/2/92 |
رابطة تصورپذيري و امکان: بررسي يک مدل پيشنهادي |
مسعود ضياءعلي نسب‌پور پژوهشگاه دانشهاي بنيادي |
|
30/2/92 |
مي‌خواهم زنده بمانم |
احمدرضا همتي مقدم دانشگاه آزاد واحد علوم و تحقيقات |
|
13/3/92 |
تأملاتي در نظريات صدق |
محمد معارفي دانشگاه امام صادق (ع) |
|
27/3/92 |
آيا برون‌گرايي در محتوا با درون‌گرايي در توجيه سازگار است؟ |
پژوهشگاه دانشهاي بنيادي |
شرکت براي عموم آزاد است.
مکان: تهران- ميدان نياوران- پژوهشگاه دانشهاي بنيادي (مرکز تحقيقات فيزيک نظري و رياضيات) پژوهشکده فلسفه تحليلي- تالار شماره 1
زمان: دوشنبه‌ها ، ساعت: 18-16 تلفن: 22803669
آقاي دكتر سعيد انواري مجموعه‌اي از سوال‌هاي منطق در آزمون‌هاي كارشناسي ارشد و دكتري رشتۀ فلسفه در فاصلۀ سال‌هاي 1381-139۱ را گرد آورده‌اند كه براي شركت‌كنندگان اين آزمون‌ها بسيار سودمند است.
سپاس از تلاش ارزشمندشان
|
دوره و شماره: دوره 3، شماره 5، صفحه 1-148 (تابستان 1391) |
|
| |
|
1 |
کواین در برابر کریپکی |
صفحه 1-25 | |
|
|
علی‌اکبر احمدی افرمجانی؛ علی صادقی* |
· |
· |
|
2 |
منطق فازی، ابهام و پارادوکس خرمن |
صفحه 27-51 | |
|
|
داود حسینی |
· |
· |
|
3 |
استدلالِ هستی‌شناسیکِ گودل |
صفحه 53-76 | |
|
|
مهدی رعنائی |
· |
· |
|
4 |
پارادوکس اخبار از مجهول مطلق: تحلیل مفهوم «خبر» |
صفحه 77-95 | |
|
|
رحمان شریف‌زاده*؛ سید محمد علی حجتی |
· |
· |
|
5 |
بررسی نظریة معنای کواین با محوریت تز عدم تعین ترجمه |
صفحه 97-136 | |
|
|
فراز عطار |
· |
· |
|
6 |
سیر تاریخی نسبت‌های چهارگانه در منطق اسلامی |
صفحه 137-148 | |
|
|
سیده‌زهرا موسوی؛ مهناز امیرخانی |
· |
· |
منطق شهودي معرفت (يا منطق معرفت از ديدگاه منطق شهودي)
دكتر رسول رمضانيان
دانشگاه شريف، دانشكده رياضي، اتاق ۴۰۳ يكشنبه ۱۵ بهمن ۹۱ ساعت ۱۷ تا ۱۸:۳۰
با سپاس از خانم رمضاني بابت اطلاع رساني
The 58th Session of Weekly Seminars on Mathematical Logic and Philosophy of Mathematics 1
An Intuitionistic Epistemic Public Announcement Logic
Rasool Ramezanian
2Department of mathematical sciences, Sharif University of Technology
Sunday, February 3, 2013 (Bahman 15, 1391)
Sharif University of Technology, Department of Mathematical Sciences Room No. 403, 17 -18:30
Abstract:
We argue that what an Epistemic logic could be from intuitionistic point of view. Then we propose an intuitionistic Epistemic Logic with public announcement operator, denoted by IEPAL, and prove soundness and com- pleteness theorems of the logic. To declare the signi cance of our proposed logic, we introduce a solution for the well-known surprise exam paradox regard-ing IEPAL.58. An intuitionistic Epistemic Public Announcement Logic، By Rasool Ramezanian;
Thursday, February 03, 2013 (Bahman 15, 1391).
