تبليغاتX
منطق در ايران

منطق در ايران

منطق‌آموزي، منطق‌پژوهي و منطق‌انديشي

 

مروری کلی بر ایده های تارسکی درباب مفهوم صدق

 

آلفرد تارسکی یکی از ریاضی-منطقدانان بزرگ قرن بیستم بوده استTarski. متداول است که نظریه ی صدق تارسکی را « نظریه ی معناشناختی یا سمنتیکی صدق » بنامند، هرچند خود تارسکی ترجیح می داد آن را « درک یا مفهوم سازی[1] معناشناختی از صدق » بنامد، که به باور وی این مفهوم سازی، اساس نظریه ی تطابقی صدق را تشکیل می دهد ( Kirkham, 2001, p. 141 ).

   مهمترین سهم فلسفی تارسکی، تعریف « معناشناختی » صدق او است. معناشناسی ( یا سمنتیک )، معنا را به عنوان رابطه ای درنظر می گیرد میان یک عبارت زبانی و آنچه که عبارت مذکور بیان می کند یا نمایش می دهد یا جانشین آن است، یعنی، اشیاء. بنابراین، « دلالت دارد »[2]، « می نامد »[3]، « ارجاع می دهد »، « بیان می کند »[4] و « اشباع می سازد »[5]، الفاظ یا عبارات معناشناختی هستند. تارسکی در کارهای خود، صدق را بر اساس مفهوم اشباع شدگی تعریف می کند (Martinich and Sosa, 2005, p. 124).


ادامه مطلب
+ نوشته شده در  شنبه 16 آبان1388ساعت 15:51  توسط علی حسین خانی  | 

منبع خبر: سایت انجمن حکمت
 
همايش بين‌المللي «فلسفه اسلامي و چالش هاي جهان امروز» برگزار مي شود
 
همايش «فلسفه اسلامي و چالش‌هاي جهان امروز» از 19 تا 22 آبان‌ماه در تهران و همدان برگزار مي شود.
 
در اين همايش چهار روزه، كه از سوي مؤسسه پژوهشي حكمت و فلسفه ايران و با همكاري بنياد بوعلي‌سينا همدان، سازمان فرهنگ و ارتباطات اسلامي و انجمن حكمت و فلسفه ايران برگزار مي‌شود اساتيد و صاحب‌نظران داخلي و خارجي درباره موضوعات گوناگون حوزه فلسفه اسلامي به ارائه بحث‌هاي خود خواهند پرداخت. نسبت ميان نظر و عمل در فلسفه اسلامي، چالش‌هاي جهان معاصر، فلسفه اسلامي و علم، هنر، حقوق و اخلاق از جمله موضوعاتي هستند كه در اين همايش مورد بحث قرار خواهند گرفت.
 
افتتاحيه اين همايش در بعد از ظهر سه‌شنبه، 19 آبان‌ماه، در سالن آمفي‌تئاتر هتل سيمرغ برگزار مي­شود. در طول روز دوم اين همايش، نيز سخنراني‌ها و ميزگردهايي در محل مؤسسه پژوهشي حكمت و فلسفه ايران برگزار خواهند شد و پس از آن روز سوم اين برنامه در همدان ادامه خواهد يافت.
 
ابن‌سينا و جهان معاصر دو موضوعي هستند كه در روز سوم در همدان و با مشاركت بنياد بوعلي سينا مورد بحث قرار مي‌گيرند.
 
در آخرين روز اين همايش هم جوايزي از سوي بنياد بوعلي‌سينا به برگزيدگان ارائه خواهد شد.
 
در اين همايش بيش از 30 نفر از اساتيد و انديشمندان فلسفه از كشورهايي چون از کشورهای انگلیس، اندونزی، مالزی، پاکستان، ترکیه، تاجیکستان، قزاقستان، بنگلادش، بوسنی، مجارستان، لبنان، نیجریه، ژاپن، امریکا، افریقای جنوبی، هند و آلمان و 60 سخنران ايراني شركت خواهند داشت.
 
در بخش جوايز بين‌المللي بنياد علمي و فرهنگي بوعلي‌سينا همدان، جايزه‌ ابن‌سيناپژوهي براي فعاليت‌هاي برجسته در شناخت، تعريف و تبيين مكتب سينوي، جايزه  پزشكي اين‌سينا براي فعاليت‌هاي برجسته پيش‌برنده پزشكي، جايزه فلسفي ابن‌سينا براي فعاليت‌هاي برجسته در پيشرفت علم، جايزه حكمتانه ابن‌سينا براي فعاليتهاي برجسته هم‌بستگي‌ساز دانش و معنويت در ارتقاء كيفيت زندگي و جايزه مفاخر بوعلي‌سينا براي فعاليت‌هاي برجسته در معرفي و بزرگداشت عالمان و متفكران عرصه فرهنگ و تمدن اسلام و ايران به برگزيدگان اهداء خواهند شد.
ثبت‌نام براي شركت در همايش «فلسفه اسلامي و چالش‌هاي جهان امروز» ضروري است
 
براي شركت در همايش «فلسفه اسلامي و چالش‌هاي جهان امروز» كه از 19 تا 22 آبان‌ماه در تهران و همدان برگزار مي شود ثبت نام كردن ضروري است.
 
كليه دانشجويان و اساتيد فلسفه در ايران كه مايل به شركت در اين همايش هستند مي‌توانند جهت ثبت‌نام از تاريخ 10 تا 16 آبان‌ماه به دفتر روابط عمومي مؤسسه واقع در خيابان ولي‌عصر، چهارراه امير اكرم، خيابان نوفل لوشاتو، خيابان اراكليان، شماره 4 مراجعه كنند يا جهت كسب اطلاعات بيشتر درباره شرايط ثبت نام با شماره تلفن 66965630 تماس بگيرند.
 
شرايط ثبت‌نام بدين شرح است: ارائه كارت دانشجويي، يك قطعه عكس و پرداخت شهريه.
 
در پايان به شركت‌كنندگان گواهينامه حضور در همايش اعطاء خواهد شد.
 
ثبت نام از شركت­كنندگان صرفاً براي دو روز اول همايش كه در تهران برگزار مي­شود خواهد بود.
 
علاقه­مندان به شركت در اين همايش بايد شهريه  150000ريال معادل 15 هزار تومان را به حساب سيباي بانك ملي به شماره 0105962761004 ( شعبه چهارراه اميراكرم كد 503 ) به نام موسسه پژوهشي حكمت و فلسفه ايران واريز كنند.
+ نوشته شده در  دوشنبه 11 آبان1388ساعت 11:21  توسط اسداله فلاحي  | 

 

قبلا مقاله صورت‌بندي جديدي از قضاياي حقيقيه و خارجيه را كه در نشريه آينه معرفت شماره ۱۱ تابستان ۸۶ منتشر شده بود تقديم كرده بودم. و حالا، مقاله تحليل قضاياي خارجيه با محمول وجود را تقديم حضورتان مي‌كنم. اين مقاله در نشريه "معرفت فلسفي" شماره ۲۳ بهار ۸۸ منتشر شده است. متاسفانه فايل چاپ و منتشر شده مقاله اخير در دسترسم نبود و بنابراين، شماره صفحات مقاله در نشريه در اين فايل مراعات نشده است.

مقاله نخست، قضاياي حقيقيه و خارجيه را در منطق‌ وجهي تحليل و صورت‌بندي مي‌كرد اما مقاله اخير، به بررسي اين قضايا در منطق محمول‌ها و منطق آزاد پرداخته و نشان داده است كه اين دو منطق توانايي تفكيك اين دو نوع قضيه را ندارند. بنابراين، دو منطق جديد ارائه كرده‌ايم تا تفاوت قضاياي حقيقيه و خارجيه را بدون كمك گرفتن از ادات‌هاي وجهي نشان دهيم.

اين دو مقاله، سرآغاز سلسله‌اي از مقالات است كه از چشم‌اندازهاي گوناگون به اين قضايا نظر افكنده است. فهرست برخي از اين مقالات كه به رشته تحرير درآمده و براي ارزيابي به نشريات فرستاده شده‌اند:

۳. ابهام‌زدايي از قضاياي حقيقيه، خارجيه، معدوليه و سالبه المحمول

۴. قضاياي حقيقيه و خارجيه در منطق مرتبه دوم هنكين و منطق حذف اينهماني

۵. قضيه ذهنيه

و اما چكيده مقاله حاضر:

چكيده

تفاوت قضاياي حقيقيه و خارجيه در اين است كه قضاياي خارجيه تنها در مورد موجودات سخن مي‌گويد اما قضاياي حقيقيه موجودات فرضي را نيز كه در عالم واقع، موجود نيستند دربرمي‌گيرد. فيلسوفان و منطق‌دانان، نظرات گوناگوني در تحليل وجود ارائه كرده‌اند. در اين مقاله، بدون اينكه بخواهيم وارد اين نزاع شده، نظر خاصي را بپذيريم، محمول وجود را تعريف ناشده در نظر گرفته، با افزودن آن به منطق محمول‌ها، به معرفي سه منطق پرداخته‌ايم: منطق آزاد كه از ديرباز شناخته شده است و دو منطق ديگر كه براي آنها، نام‌هاي «منطق محمول‌ها و وجود» و «منطق وجود همگاني» را برگزيده‌ايم. نشان داده‌ايم كه منطق آزاد نمي‌تواند ابزار خوبي براي تحليل و بررسي منطق قديم باشد و قضاياي حقيقيه را از خارجيه تفكيك كند اما دو منطق اخير قادر به چنين كاري هستند. همچنين، نشان داده‌ايم كه منطق محمول‌ها و وجود، منطق قضاياي حقيقيه است و منطق وجود همگاني، منطق قضاياي خارجيه است؛ به علاوه، منطق محمول‌ها و وجود اين توانايي را دارد كه به تنهايي تفاوت اين دو نوع قضيه را به خوبي نشان دهد.

واژگان كليدي: قضيه حقيقيه، قضيه خارجيه، منطق محمول‌ها، منطق آزاد، منطق محمول‌ها و وجود، منطق وجود همگاني

+ نوشته شده در  شنبه 2 آبان1388ساعت 17:27  توسط اسداله فلاحي  | 

دوست عزیز آقای امیرخانلو مقاله Truth by Convention از کواین را در مقاله صدق از طریق قرارداد ترجمه کرده اند که به درخواست ایشان مقاله اصل و ترجمه هر دو در وبلاگ قرار گرفت. ایشان با شماره گذاری  متن انگلیسی و ترجمه امکان مقابله و چک کردن ترجمه را نیز به خوانندگان داده اند. امیدوارم سودمند افتد و نظرات اصلاحی دوستان در بهبود هرچه بیشتر آن موثر واقع  شود.

با تشکر از ایشان

+ نوشته شده در  سه شنبه 28 مهر1388ساعت 18:12  توسط اسداله فلاحي  | 

دوست عزيزم آقاي مجتبي اميرخانلو، دانشجوي دكتراي منطق در دانشگاه تربيت مدرس، مقاله‌اي را به همراه استاد محترم دكتر لطف اله نبوي به نشريه نامه مفيد فرستاده و لطفشان را شامل حال وبلاگ كرده‌اند. مقاله را از اينجا مي‌توانيد دانلود كنيد.

از ايشان كه مقاله را برايم فرستادند و از استاد عزيز دكتر نبوي كه همواره لطفشان شامل حال ما بوده سپاس‌گذارم.

و اين هم چكيده:

چكيده

واقعي‌گرايي يک برنهاده هستي‌شناسانه‌است که براساس آن "دامنه اشيا موجود با دامنه اشيا واقعي، هم‌مصداق[i] است". قرائت‌ها و رويکردهاي مختلفي به واقعي‌گرايي وجود دارد که يكي از آن‌ها رويکردي‌است كه به واقعي‌گرايي کلاسيک معروف شده و فيلسوفاني نظير پلانتينگا, فاين, سَمُن, داتش و مِنزِل از آن حمايت مي کنند. دامنه مدل واقعي‌گرايي کلاسيک متغير و سورهاي آن جهان - محدود[ii] است. پلانتينگا، در قرائت خود، ذوات را، به‌عنوان اشيا موجود واقعي، به‌دامنه جهان‌هاي ممکن اضافه‌کرده، سعي‌مي‌کند تا نقش اشيا ممکن را به‌ذوات بسپارد. قرائت پلانتينگا از واقعي‌گرايي، دومشکل عمده دارد: نخست اينكه ذوات, صفات کيفي محض نيستند و دوم آنكه, اين قرائت نمي‌تواند فرمولهاي "باركان" و "وجود ضروري" را توجيه‌کند.

 

واژگان كليدي: واقعي‌گرايي، SQML، پلانتينگا، باركان، عكس باركان، وجود ضروري، امكانهاي تودرتو, موجودات غريبه.



[i]. Co-Exemplified

[ii]. World - Restricted

+ نوشته شده در  دوشنبه 27 مهر1388ساعت 19:50  توسط اسداله فلاحي  | 

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

مقاله بنده هم كه در ابتداي نشريه هست، با عنوان "شرطي لزومي در منطق جديد" نخستين مقاله از سري مقالاتي است كه درباره شرطي نوشته‌ام. مقالات بعدي نگاهي از منظر منطق جديد هست به

۱. دو نوع از شرطي لزومي به نام "لزومي حقيقي" و "لزومي لفظي" كه به نشريه ديگري براي ارزيابي فرستاده‌ام؛

۲. رابطه ضرورت و لزوم، كه براي كتابي فرستاده‌ام كه قرار است به نام ابن‌سينا منتشر شود.

۳. انواع شرطي‌هاي اتفاقي،

۴. لزوم سلب و سلب لزوم،

و ...

+ نوشته شده در  یکشنبه 18 مرداد1388ساعت 12:2  توسط اسداله فلاحي  | 

اين نشريه به همت گروه فلسفه دانشگاه زنجان منتشر مي‌شود. اولين شماره «تاملات فلسفي» مربوط به بهار 1388 كه اوائل مرداد همين سال از زير چاپ بيرون آمد. و اما صفحه روي جلد اين نشريه:

http://fallahy.persiangig.com/Copy%20of%20DSC09233.JPG

+ نوشته شده در  سه شنبه 6 مرداد1388ساعت 11:28  توسط اسداله فلاحي  | 

 

اين سمينار در دو روز گذشته، ۳۰ و ۳۱ ارديبهشت ۸۸، با حضور اساتيد، دانشجويان و علاقه‌مندان به رياضيات، فلسفه و منطق در دانشگاه شريف برگزار شد، و برنامه‌ و چكيده آن را كه قبلا معرفي كرده بودم در اينجا مي‌توان ديد

مقاله بنده هم كه درباره تعهد وجودي نزد منطق‌دانان جديد بود به بررسي و دسته‌بندي آراء مربوطه اختصاص داشت كه فايل پاورپوينت آن تقديم مي‌گردد:

پاور پوينت سمينار تعهد وجودي، نزاعي بي‌پايان

اصل مقاله البته نياز به اصلاحات و تكميل دارد كه اميدوارم به زودي در اختيار دوستان قرار دهم

+ نوشته شده در  جمعه 1 خرداد1388ساعت 16:18  توسط اسداله فلاحي  | 

 سايت گيگاپديا هر از چندگاه تغييراتي در ظاهر خود ايجاد مي‌كند كه دوستان بسياري از غيرقابل استفاده شدن آن شكايت داشتند. نحوه ورود به سايت با تغييرات جديد به شرح زير است:

 

  • وارد سايت زير شويد

http://gigapedia.org

 

  • سپس با نام كاربري ghoghnos777 و اسم رمز 123qqq456 لوگين كنيد.
  • در كادر  search سمت راست بالا كلمه‌ يا عبارتي را براي جستجو در ميان كتاب‌ها تايپ كنيد و گزينه item search زير آن را انتخاب كنيد و در كادر سمت چپ آن كه عبارت google درج شده است، كليك كرده عبارت gigapedia را انتخاب كنيد و دكمه search را بزنيد.
  • وارد لينك يكي از كتاب‌هاي معرفي شده بشويد و گزينه Links را در بالاي صفحه انتخاب كنيد.
  • يك يا چند سايت حاوي كتاب مورد نظر به شما معرفي مي‌شويد.
  • وارد يكي از اين سايت‌ها شويد و گزينه request در بالاي سمت چپ صفحه را كليك كنيد (گاهي از شما وارد كردن عبارتي را مي‌طلبد آن را وارد كنيد)
  • اكنون، اين گزينه به گزينه download تبديل مي‌شود آن را كليك كنيد و آدرسي را براي ذخيره فايل معرفي كنيد تا فايل مورد نظر برايتان ذخيره شود.
  • فايل‌ها در فرمت‌هاي گوناگوني مانند pdf، djvo، rar، و غيره هستند. براي فايل‌هاي djvo نرم‌افزار آن را نصب كنيد.

 

+ نوشته شده در  سه شنبه 29 اردیبهشت1388ساعت 7:47  توسط اسداله فلاحي  | 

اين سمينار به همت گروه منطق دانشگاه شريف با رياست دكتر اردشير برگزار مي‌شود.

برنامه سمینار

در این سمینار مقاله‌اي را با عنوان "تعهد وجودي" ارائه خواهم كرد كه زمان آن چهارشنبه ۳۰/۲/۸۸ ساعت ۱۱ تا ۱۱:۳۰ خواهد بود.

سایت سمینار
گروه منطق دانشگاه شریف

ــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــ

توجه:

بروشور و برنامه کامل سمینار (شامل چکیده سخنرانی‌ها) که کمی با تاخیر به دستم رسید.

 و نیز چکیده سخنرانی‌ها به صورت مرتب از خود سايت


+ نوشته شده در  یکشنبه 27 اردیبهشت1388ساعت 22:30  توسط اسداله فلاحي  |