لطف الله نبوی

لطف الله نبوی

مدرک تحصیلی: دانشیار فلسفه دانشگاه تربیت مدرس، تهران، ایران.

مطالب
ترتیب بر اساس: جدیدترینپربازدید‌ترین

فیلتر های جستجو: فیلتری انتخاب نشده است.
نمایش ۶۱ تا ۶۵ مورد از کل ۶۵ مورد.
۶۱.

نظریه صدق تارسکی(مقاله علمی وزارت علوم)

نویسنده:
منبع: اندیشه فلسفی دوره ۳ بهار ۱۴۰۲ شماره ۲ (پیاپی ۱۰) 159-141

کلید واژه ها: تارسکی نظریه صدق فرازبان سمانتیک

حوزه های تخصصی:
تعداد بازدید : ۱۱۱ تعداد دانلود : ۱۰۷
نظریه سمانتیکی صدق تارسکی برای اولین بار در مقاله "مفهوم صدق در زبان های صوری شده" معرفی شد. در این مقاله نظریه صدق تارسکی را با جزییات آن، براساس مقاله مذکور، معرفی خواهیم کرد و موضع تارسکی را در مقابل پرسش های اساسی ای که با آن روبه رو بود را روشن خواهیم ساخت. همچنین استدلال خواهیم کرد که پذیرش نظریه صدق تارسکی منتج به افلاطون گرایی در ریاضیات خواهد شد.
۶۳.

Time and Modality in Avicennan Logic

نویسنده:
منبع: فصلنامه حکمت و فلسفه ۱۳۸۵ شماره ۶ 61 - 84

کلید واژه ها: Avicennan logic temporal modalities time and modality

حوزه های تخصصی:
تعداد بازدید : ۹۵ تعداد دانلود : ۴۸
One ef the most important innovations in the history ef traditional logic is the Avicena's Theory ef Temporal Modalities (.ATM). Althottgh) the basic concepts and elements ef this theory are fottnded in Aristotelian and Stoic-lvlegarian !0 gic) but as a independent lo,gical system, are devised on/y fry Avicenna and were later developed and completed fry his followers. The ATM theory contains the h(ghest de._gree of logical complexiry in the allperiods of the traditional lo,gic. In this article) with a historical and comparative approach, we s!ttcfy the theory of temporal modalities(.A TM) based on the logical heritage o] Avicenna and later logicians in such a ivqy that 1ve can sbou! their relation 1vith modern logical concepts
۶۴.

علیه پریست؛ در ماینونگ گراییِ وجهی(مقاله علمی وزارت علوم)

نویسنده:
منبع: منطق پژوهی سال ۱۳ پاییز و زمستان ۱۴۰۰ شماره ۲ (پیاپی ۲۶) 185-209

کلید واژه ها: پریست اصل سرشتار ماینونگ گرایی وجهی پارادکس کلارک بی مایگی

حوزه های تخصصی:
تعداد بازدید : ۸۶ تعداد دانلود : ۱۰۵
بنا به ماینونگ گراییِ وجهیِ پریست، متناظر با مطلقاً هر شرطِ قابل بیان که روی خاصیت ها گذاشته شود، می توان شیئی سرِشت که آن شرط را، حال در جهانِ واقع یا در جهانی دیگر، برآورده کند. تعهد به چنین نسخه ی نامقیدی از اصل سرشتار (اصل فراگیر)، ماینونگ گرایانِ رقیب را به پارادکس کلارک مبتلا می کند. نشان می دهیم که نشتِ میان جهانیِ اطلاعات در نظام پریست می تواند مشکلات مشابهی بیافریند. سپس با کاربست ظرفیت های معناشناختیِ هیچ گرا، راهکاری برای حصول نشتِ میان جهانیِ اطلاعات پیش می نهیم که فراتر از تناقض، به بی مایگی منجر می شود. پریست ناگزیر است اصل سرشتار را مقید کند. بنا به ماینونگ گراییِ وجهیِ پریست، متناظر با مطلقاً هر شرطِ قابل بیان که روی خاصیت ها گذاشته شود، می توان شیئی سرِشت که آن شرط را، حال در جهانِ واقع یا در جهانی دیگر، برآورده کند. تعهد به چنین نسخه ی نامقیدی از اصل سرشتار (اصل فراگیر)، ماینونگ گرایانِ رقیب را به پارادکس کلارک مبتلا می کند. نشان می دهیم که نشتِ میان جهانیِ اطلاعات در نظام پریست می تواند مشکلات مشابهی بیافریند. سپس با کاربست ظرفیت های معناشناختیِ هیچ گرا، راهکاری برای حصول نشتِ میان جهانیِ اطلاعات پیش می نهیم که فراتر از تناقض، به بی مایگی منجر می شود. پریست ناگزیر است اصل سرشتار را مقید کند.
۶۵.

نظریه های صدق عرفی فراسازگار و پارادوکس کری(مقاله علمی وزارت علوم)

نویسنده:
منبع: منطق پژوهی سال ۱۴ بهار و تابستان ۱۴۰۲ شماره ۱ (پیاپی ۲۷) 1 - 21

کلید واژه ها: منطق های فراسازگار پارادوکس کری نظریه صدق تارسکی نظریه ی صدق عرفی قاعده انقباض

حوزه های تخصصی:
تعداد بازدید : ۵۰ تعداد دانلود : ۳۸
صدق عرفی، T(x)، محمولی است که در خود زبان بر تمام جمله های زبان حمل می شود و در ضمن برای هر جمله ی مانند A در زبان T(˹A˺)↔A نتیجه می شود. تارسکی برای اجتناب از پارادوکس دروغگو و تریویال شدن زبان (نظریه) مجبور شد از مفهوم عرفی صدق دست بکشد و صدق هر زبان را در یک فرازبان تعریف کند. طرفداران منطق های فراسازگار ادعا دارند با پذیرش منطق های فراسازگار می توان محمول صدق عرفی را حفظ کرد. منطق های فراسازگار به منطق هایی گفته می شود که در آن ها از تناقض هر چیزی نتیجه گرفته نمی شود. اما پارادوکس دیگری به نام کری وجود دارد که مربوط به ادات شرطی است و بدون استفاده از قاعده ی انفجار می تواند نظریه های صدق عرفی را تریویال کند. در این مقاله استدلال خواهیم کرد با وجود این که اگر به منطق های فراسازگار اصول حساب و محمول صدق عرفی را اضافه کنیم نظریه ای غیرتریویال خواهیم داشت اما این نظریه ها به دلیل قدرت استنتاجی پایین، از دست رفتن برخی خواص مورد انتظار از محمول صدق عرفی و همچنین نشت ناسازگاری به قسمت های خالص حسابی موجه نخواهند بود.

کلیدواژه‌های مرتبط

پدیدآورندگان همکار

تبلیغات

پالایش نتایج جستجو

تعداد نتایج در یک صفحه:

درجه علمی

مجله

سال

حوزه تخصصی

زبان