جازمیت و معنای عبارات حساب
|
|
|
|
|
|
|
|
نویسنده
|
فروغی پارسا
|
|
منبع
|
يازدهمين همايش ساليانه انجمن منطق ايران - 1402 - دوره : 11 - یازدهمین همایش سالیانه انجمن منطق ایران - کد همایش: 02231-26538 - صفحه:0 -0
|
|
چکیده
|
یکی از نتایج جازم نبودن حساب این است که متاسمنتیک‌های طبیعت‌گرایانه راهی برای تبیین متعین بودن ارزش صدق جملات تصمیم‌ناپذیر حساب ندارند. فیلسوفان و منطق‌دانان با اهداف مرتبط اما متفاوت تلاش کرده‌اند برای جازمیت حساب استدلال کنند. در این مقاله تاریخچه‌ی تلاش‌ها را برای تبیین جازمیت حساب به هدف هم‌خوان کردن متاسمنتیک‌های طبیعت‌گرایانه با متعین بودن ارزش صدق جملات حساب توضیح داده و نقد خواهم کرد و از این طریق تبیین اصلاح‌شده‌ای را پیش‌نهاد خواهم داد.
|
|
کلیدواژه
|
معنا، جازمیت، حساب، متعین بودن، نظریه‌برهان، متاسمنتیک، طبیعت‌گرایی
|
|
آدرس
|
, iran
|
|
پست الکترونیکی
|
parsa.foroughi@modares.ac.ir
|
|
|
|
|
|
|