شماره ركورد كنفرانس :
5261
عنوان مقاله :
جازميت و معناي عبارات حساب
پديدآورندگان :
فروغي پارسا parsa.foroughi@modares.ac.ir دانشگاه تربيت مدرس
كليدواژه :
معنا , جازميت , حساب , متعين بودن , نظريه‌برهان , متاسمنتيك , طبيعت‌گرايي
عنوان كنفرانس :
يازدهمين همايش ساليانه انجمن منطق ايران
چكيده فارسي :
يكي از نتايج جازم نبودن حساب اين است كه متاسمنتيك‌هاي طبيعت‌گرايانه راهي براي تبيين متعين بودن ارزش صدق جملات تصميم‌ناپذير حساب ندارند. فيلسوفان و منطق‌دانان با اهداف مرتبط اما متفاوت تلاش كرده‌اند براي جازميت حساب استدلال كنند. در اين مقاله تاريخچه‌ي تلاش‌ها را براي تبيين جازميت حساب به هدف هم‌خوان كردن متاسمنتيك‌هاي طبيعت‌گرايانه با متعين بودن ارزش صدق جملات حساب توضيح داده و نقد خواهم كرد و از اين طريق تبيين اصلاح‌شده‌اي را پيش‌نهاد خواهم داد.
