فیلتر های جستجو:
فیلتری انتخاب نشده است.
نمایش ۱۲۱ تا ۱۴۰ مورد از کل ۵۵۶ مورد.
حوزه های تخصصی:
در این مقاله مدل توجیهی را که گیرسون در مقاله «تخیل پذیری و توجیهِ وجهیِ الغاءپذیر» (2005) برای توجیهِ باورهای وجهی ارائه می کند بررسی می کنم. مدل توجیه پیشنهادی گیرسون مبتنی بر تخیل پذیری است. گیرسون تخیل پذیری را بر اساسِ تصور تحلیل می کند. گیرسون با پذیرشِ شباهت هایِ برخی از مولفه های شرح اش با مدل یبلو (1993)، ادعا می کند که از چند جهت بحث را پیش برده است. یکی از این پیشرفت ها از نظر گیرسون این است که او از تصور گزاره ای در توجیه باور وجهی استفاده می کند. در این مقاله نشان می دهم که گیرسون کمک چندانی به پیشبرد بحث نکرده است. از جمله به این دلیل که تصور گزاره ای به گونه ای که گیرسون تعریف می کند، هیچ کمکی به توجیه باور وجهی نخواهد کرد. علاوه بر آن گیرسون به این سوال که «تصور کردنِ گزاره ای دقیقاً یعنی چه؟» نمی تواند جوابی بدهد که مطابق آن آنچه را که قابل تصور گزاره ای دانسته، مثل نقیض حدس گلدباخ، قابل تصور باشد ولی گزاره های غیرممکن متافیزیکی و حتی گزاره های غیرممکن منطقی قابل تصورِگزاره ای نباشند.
تحلیل دلالت شناسانه ی منطق شهودی I(مقاله علمی وزارت علوم)
حوزه های تخصصی:
از زمان انتشار مقاله ی سوئل کریپکی با عنوان تحلیل دلالت شناسانه ی منطق شهودی I ، در سال 1965، تمام آنچه پیش از آن در دلالت شناسی منطق شهودی نگاشته شده بود، تفسیر برآوئر-هیتینگ-کولموگروف(BHK)، تفسیر توپولوژیک و مدل های بث تحت سایه ی تنقیح و پالودگی اش قرار گرفت و دلالت شناسی استاندارد برای منطق شهودی برآوئر-هیتینگ قلمداد شد. تا به امروز جهت تفسیر، مقابله و بِه فهمی، ادبیات و مطالعات کلانی حول این مقاله شکل گرفته است. کریپکی این مقاله را در پایان قریب به یک دهه تفکر بارور راجع به منطق موجهات، دلالت شناسی آن و انتشار تحقیقاتش مشتمل بر روشی خلاقانه برای دلالت شناسی منطق موجهات در 6 مقاله، نوشت و منتشر کرد و در آن برای طراحی تفسیری از دلالت شناسی منطق شهودی از تحقیقات خودش در منطق موجهات و اخذ مفهوم فورسینگ از ریاضیدان آمریکایی پل کوئن سود جست. دراین نوشته پس از بررسی جایگاه تاریخی-فنّی مقاله ی کریپکی در ادبیات شهودگرایی، ترجمه مقاله ی وی آمده است.
ارزیابی دیدگاه اثیر الدین ابهری در خصوص شکل چهارم قیاس اقترانی(مقاله علمی وزارت علوم)
حوزه های تخصصی:
ارسطو با معرفی سه شکل از قیاس اقترانی آغازگر مباحث پردامنه ای در این حوزه شده است. شکل چهارم بعدها به اشکال قیاس اقترانی اضافه شد. در سه قسم اول قیاس اقترانی اختلاف نظری دیده نمی شود بحث بر سر شکل چهارم قیاس و شرایط انتاج آن می باشد. در شکل چهارم قیاس سه اختلاف عمده دیده می شود: 1- جایگاه شکل چهار 2- شرایط انتاج 3- ضروب منتج. گروهی از متقدمان که منطق دانان قبل اثیر الدین ابهری را در بر می گیرد ( ابن صلاح همدانی تا افضل الدین خونجی) با شرایطی، پنج ضرب منتج را برای شکل چهار قائل اند و گروهی از متأخران که در برگیرنده برخی از منطق دانان بعد اثیر الدین ابهری می باشند با شرایط دیگری قائل به هشت ضرب منتج برای آن هستند. قابل ذکر است که اثیرالدین ابهری با شرایطی سه ضرب دیگر به ضروب منتج شکل چهار افزود و به مرور برخی منطق دانان(تفتازانی،حاج ملاهادی سبزواری و ..) بدون توجه به شرایط سه ضرب ارائه شده از سوی ابهری ، به طورکلی قائل به هشت ضرب منتج شدند.در این مجال به بررسی پیشینه شکل چهارم قیاس اقترانی و شرایط انتاج آن می پردازیم. ضمن اثبات درستی نظر متقدمان؛ به ریشه یابی نظر برخی از متأخرین پرداخته شده که مشخص می شود بدفهمی از عبارات اثیر الدین ابهری صورت گرفته و نظر وی در خصوص موجهات(مختلطات) به قیاس های غیرموجه(مطلقات) تسری داده شده است. در این پژوهش علاوه بر بیان روشن این خلط به چرایی این اشتباه نیز پرداخته شده است.
بررسی و نقد سه دیدگاه در کیفیت حمل ذاتیات بر ذات و بر یکدیگر(مقاله علمی وزارت علوم)
حوزه های تخصصی:
در رابطه با کیفیت حمل ذاتیات بر ذات و بر یکدیگر سه نظریه مطرح است. مشهور حمل جنس و فصل بر نوع و بر یکدیگر را حمل شایع صناعی دانسته اند. لیکن به اعتقاد علامه طباطبایی جنس همان نوع مبهم و فصل همان نوع محصل است و نوع ماهیتی تامه است فارغ از ابهام و تحصل. از اینرو ایشان بر خلاف مشهور حمل جنس و فصل بر نوع را اولی ذاتی می داند، اگرچه حمل جنس و فصل بر یکدیگر را شایع صناعی قلمداد نموده است. اما آیت الله جوادی آملی یک گام جلوتر از علامه طباطبایی نه تنها حمل جنس و فصل بر نوع را که حمل آن دو بر یکدیگر را اولی ذاتی معرفی کرده است. به اعتقاد ایشان هر حملی که در مدار مفهوم باشد، حمل اولی ذاتی است و حمل این سه مفهوم بر یکدیگر از این قبیل است. در این مقاله ضمن تبیین هر سه دیدگاه، به نقد و بررسی آنها پرداخته و در نهایت به این نتیجه دست یافته ایم که نظریه مشهور صحیح است.
بازتعریف مادی و مجرد با استفاده از منطق فازی(مقاله علمی وزارت علوم)
حوزه های تخصصی:
بیشتر تعاریف ارائه شده برای مادی و مجرد به گونه ای هستند که ابتدا امر مادی تعریف می گردد سپس امر مجرد به گونه سلبی (سلب ماده، خواص ماده یا وابستگی به ماده) تعریف می شود: مجرد آن چیزی است که مادی نیست. ایراد وارد به اینگونه تعاریف سلبی این است که دیگر نمی توان بین شی اول و سلب آن شی، حدواسط و شی سومی تعریف کرد. لذا بر اساس این گونه تعاریف نمی توان بین ماده صرف و مجرد تام دسته دیگری از امور (مثلا مجرد برزخی) تعریف کرد. در این مقاله سعی شده ابتدا تعاریف موجود در خصوص مادی و مجرد بررسی گردد، سپس نشان داده شود که با توجه به نظر صدرالمتالهین در خصوص حرکت جوهری اشتدادی نفس ناطقه، لازم است بین مادی صرف و مجرد تام طیفی از امور داشته باشیم، طیفی شامل مادی محض، اندک تجرد نفس نباتی، تجرد مثالی، تجرد عقلی و فوق تجرد و همچنین مراتبی باید بین این مراتب ذکر شده وجود داشته باشد. آنگاه نشان می دهیم که این نگاه طیف گونه به اشیاء با تعاریف مبتنی بر حصر عقلی و به طریق اولی با تعریف سنتی مادی-مجرد (تعریف دوگانه ایجابی - سلبی) سازگار نمی باشد. نهایتاً بیان می کنیم که نمی شود تعریفی جامع برای امری که واحد شخصی ذومراتب است، ارائه داد؛ و در پایان با اشاره مختصر به منطق فازی بیان می کنیم که باید به گونه ای فازی به مسئله نگاه کرد؛ و تعریف جدیدی با استفاده از منطق فازی ارائه می دهیم.
رواداری در نظریه ی ST(مقاله علمی وزارت علوم)
حوزه های تخصصی:
کوبرروز و دیگران (2012) نظریه ای در باب ابهام پرورانده اند که طی آن مدلی برای رواداری ارائه کنند. قصد بر این است که در این مدل رواداری معتبر باشد؛ چنین نباشد که یک محمول مبهم بر هر چیزی حمل شود؛ و نیز استدلال های پارادوکس خرمن معتبر نباشند. در این مقاله استدلال خواهد شد که اولا، تحدید ایشان از اصل رواداری از آنچه در ادبیات مربوط به ابهام مورد توافق است فاصله می گیرد. و ثانیا، نظریه ایشان جمله ای قوی تر از رواداری را معتبر می انگارد؛ که این جمله مثال های نقض روشن دارد. و ثالثا، نظریه ایشان تنها می تواند رواداری را به معنای ضعیفی معتبر بداند. این نتیجه پایانی نظریه ایشان را به نظریه های غالب در باب ابهام که رواداری را درست قلمداد نمی کنند شبیه خواهد کرد.
واکاویِ ملاک های احتمالاتی در استنتاج بهترین تبیین(مقاله علمی وزارت علوم)
حوزه های تخصصی:
طبق رویکرد رایج به استنتاج بهترین تبیین (IBE)، فرضیه ای که بهترین تبیین را برای پدیده های در دستِ بررسی ارائه می دهد، احتمالاً صادق است. یکی از مهم ترین چالش های پیش روی این نحوه استدلال” ایراد وُلتِر “ است. مطابق این اشکال، دلیلی نداریم که ملاک های انتخاب بهترین تبیین، موسوم به مزیت های تبیین گر، محتمل ترین تبیین- یعنی تبیینی که نسبت به دیگر تبیین های رقیب از احتمال صدق بیش تری برخوردار است- را به دست دهند. هدف اصلیِ این نوشتار، واکاویِ ملاک های احتمالاتیِ مرتبط با IBE در مواجهه با ایراد وُلتِراست. به بیان دقیق تر، در پی آنیم که چنان چه ضابطه های احتمالاتیِ ارائه شده برای ارزیابیِ فرضیه های تبیین گر، ملاک انتخاب بهترین تبیین قرار گیرند، آیا این اطمینان وجود خواهد داشت که محتمل ترین تبیین به دست آید؟ در این راستا، ملا ک های احتمالاتیِ مرتبط با IBE را در سه دسته ملاک های معطوف به قضیه بیز، ملاک های معطوف به نظریه تأیید و ملاک های معطوف به مزیت های تبیین گر بررسی می کنیم. این واکاوی نشان می دهد که هیچ یک از ضابطه های ارائه شده از پس تحدید بهترین تبیین - به گونه ای که محتمل ترین تبیین را به دست دهد- بر نمی آیند.
متن گرایی در مقابل حداقل گرایی در سمانتیک(مقاله علمی وزارت علوم)
حوزه های تخصصی:
متن گرایی، رقیب اصلی حداقل گرایی است. نزاع میان این دو رویکرد سمانتیکی، ریشه در نزاع قدیمی تعیین مرز میان سمانتیک و پراگماتیک دارد. متن گرایان مدعی اند که جملات زبان طبیعی، قبل از غنی سازی پراگماتیکی، قابل ارزش دهی نیستند. در مقابل، از نظر حداقل گرایان، محتوای سمانتیکی حداقلی وجود دارد که معنای قابل ارزش دهی جمله را به دست می دهد که متن اظهار، اثر محدودی روی آن دارد. این تقابل ناشی از شیوه و اندازه ای است که متن بر محتوای سمانتیکی تأثیر می گذارد. در این مقاله، پس از معرفی این دو رویکرد، استدلال های اصلی متن گرایان علیه حداقل گرایان را مطرح می کنیم. سپس نشان می دهیم که سمانتیک های حداقل گرایانه از قبیل سمانتیک اشاره ای کاپلان، با تفسیر عینی از متن نمی تواند مدل مناسبی حتی برای جملات حاوی ارجاع اول شخص ارائه کنند و برپایه ی تفسیری ذهنی از متن، تمایز نمایه ای از غیرنمایه ای واضح نیست و سایر عبارت های زبان نسبت به متن ها، به معنای عام می توانند نمایه ای باشند.
از دلیل افتراض تا معرّفی و حذف سور وجودی(مقاله علمی وزارت علوم)
حوزه های تخصصی:
هدف این مقاله تحریر و تحلیل بخشی از تاریخ دلیل افتراض (به طور خاصّ) و تاریخ منطق دوره ی اسلامی (به طور عامّ) است. ارسطو دلیل افتراض را در چندین موضع از دستگاه قیاسی اش، از جمله در اثبات عکس سالب کلّی، به کار می گیرد. مسئله ی مقاله ی کنونی همین کاربرد اخیر است. از زمان تئوفراستوس چالش های فراوانی فراروی این دلیل افتراض نهاده شده است. اسکندر افرودیسی به رفع این چالش ها همّت می گمارد و به این منظور دو تفسیر از افتراض یادشده به دست می دهد که، بر پایه ی تحلیل ما، دومین تفسیر یک برهان خلف است که در آن از حذف و معرّفی سور وجودی و جابه جایی عاطف استفاده شده است و بنابراین نشان می دهد که این بخش از منطق ارسطو هم به منطق گزاره ها و هم به منطق محمول ها وابسته است. نیز این تفسیر، دلیل افتراض را به خاطر استفاده از حدّ شخصی، دلیلی غیرقیاسی می شمارد و آشکار می سازد که اسکندر به درستی قیاس ارسطو را منطق حدّهای کلّی می داند. در جهان اسلام، ابن سینا، خونجی، و خواجه نصیر از همین تفسیر پیروی می کنند و حتّی درک روشن تری نسبت به قواعد یادشده از خود نشان می دهند؛ به گونه ای که ابن سینا و خواجه نصیر آشکارا از تمایزی سخن می گویند که امروزه میان نام خاصّ و نام فرضی نهاده می شود. سهروردی و فخر رازی، امّا، با اثرپذیری از تفسیر نخست اسکندر، تیزبینی چندانی از خود به نمایش نمی گذارند، نه در فهم منطق ارسطو به عنوان منطق حدّهای کلّی و نه در فهم آن دسته از قواعد منطق گزاره ها و محمول ها که در فرآیند افتراض دخیل اند.
دلالت ثابت کلمات کلی و مشکل بی مایگی(مقاله علمی وزارت علوم)
حوزه های تخصصی:
کریپکی در کتاب مشهور «نامگذاری و ضرورت» مفهوم دلالت ثابت(rigid designation) را برای کلمات مفرد(singular terms) و به منظور رد نظریه های وصفی معرفی کرد؛ به این مضمون که یک کلمه دلالتگر، ثابت است اگر و تنها اگر در همه جهانهای ممکن بر یک چیز دلالت کند. او در سخنرانی سوم این مفهوم را به کلماتی که برای انواع طبیعی مورد استفاده قرار می گیرند تعمیم داد.در باب اینکه این تعمیم چگونه خواهد بود بحثهای بسیاری در گرفته است که می توان آنها را به دو دسته کلی قائلین به همسانی در دلالت(sameness in designation) و ذاتگرایان(essentialists) تقسیم کرد؛ لیکن یک مشکل اساسی بر سر راه قائلین به همسانی در دلالت تحت عنوان «مشکل بی مایگی»""(trivialization problem) وجود دارد که می گوید اگر ثبات برای کلمات کلی(general terms) به معنای همسانی در دلالت در میان جهانهای ممکن باشد ،آنگاه علاوه بر کلمات مربوط به انواع طبیعی بقیه کلمات کلی هم ثابت خواهند شد؛ زیرا آنها نیز دلالت بر یک خصوصیت یکسان خواهند کرد.در این مقاله ما یک روش استدلالی را برای دفع مشکل بی مایگی نقد می کنیم.این روش استدلالی بر این اساس است که اوصاف معین می توانند دلالت بر اشیاء وافر(abundant) بکنند و با استفاده از تناظر(parallelism) بین کلمات کلی و کلمات مفرد نتیجه می گیرد عبارات حملی وصفی نیز می توانند دلالت بر خصوصیات وافر بکنند؛ اما به نظر می رسد این ادعا با بعضی اصولی که رفتار سمانتیکی کلمات را توضیح می دهند و شهودهای ما در مورد صدق عبارات شامل این کلمات، همخوانی ندارد.
نسبت ارزش شرطی لزومی و ارزش مقدم و تالی آن در منطق سینوی(مقاله علمی وزارت علوم)
حوزه های تخصصی:
در منطق شرطیات نزد مسلمین این اجماع وجود دارد که ارزش شرطی لزومی بر اساس رابطه میان مقدم و تالی و نه ارزش مقدم و تالی معین می شود. با این همه در نظرات آنان بحث هایی درباره امکان صدق و کذب شرطی بر پایه ارزش مقدم و تالی وجود دارد. در این میان، در بعضی از متون منطق دانان مسلمان در کنار صدق و کذب از وضعیت دیگری با واژه های گوناگون مانند محتمل صدق و کذب، مجهول الصدق و الکذب و... نام برده می شود. بررسی چیستی این وضعیت پرسش اصلی متن حاضر است. در مقاله حاضر با بررسی آراء متفاوت منطق دانان سینوی نشان داده می شود که این تقسیم بندی ناظر به مباحث مرتبط با شرطیات پیش از معرفی شرطی مسور توسط ابن سینا است و منطق دانان سینوی تلاش کرده اند که آن را با شرطی مسور هماهنگ کنند. همچنین نشان داده ایم که از میان آراء مختلف منطق دانان سینوی نظراتی که وضعیت سوم را قسیمی برای صدق و کذب نمی دانند به مبانی منطق سینوی نزدیک تر هستند.
محمول وجود در منطق فرگه ای(مقاله علمی وزارت علوم)
حوزه های تخصصی:
یکی از مقدماتی ترین مطالبی که در هر کتاب آموزشیِ منطقِ فرگه ای در بحث منطق محمولات به چشم می خورد، این است که «وجود داشتن» نمی تواند در هیچ گزاره ای محمول واقع شود؛ بلکه جایگاه «وجودْ» سور گزاره ی جزئی است. هدف من در این مقاله این است که نشان دهم بنیان گذاران منطق فرگه ای چه دیدی به ساختار گزاره داشتند و چرا وجود در این ساختار نمی تواند محمول واقع شود. سپس تبیین و راه حل این منطق دانان از گزاره های وجودی را بیان می کنم؛ و در پی آن، اشکالات و نارسایی های تحلیل ارائه شده را بررسی خواهم کرد. بسیاری از فیلسوفان تحلیلی، چون مور (Moore, 1936)، نیل (Kneale, 1936)، ویزدم (Wisdom, 1931)، اِیِر (Ayer, 1947) و دیگران، بیش تر در بحث های مربوط به برهان وجودی برای اثبات خدا، به محمول نبودن وجود اشاره کرده اند. اما من در این مقاله تنها به فرگه، راسل، و کواین خواهم پرداخت. آرای فیلسوفان نامبرده با اندکی مسامحه ذیل رای این سه می گنجد.
منطق فازی در قرآن: خلط مستنبط و منصوص(مقاله علمی وزارت علوم)
حوزه های تخصصی:
علی وحیدیان کامیاد در مقاله ای با عنوان «روش شناسی کاربرد منطق فازی در بینش اسلامی» مدعی است که منطق فازی بخشی از منطق والای قرآن است. این ادعا از سوی برخی از محققان نیز مورد تأیید قرار گرفته است. این در حالی است که به نظر می رسد شواهد ارائه شده در باب این ادعا، شواهدی ناقص اند و لازم می نماید تا اصل ادعا مجدداً مورد کنکاش قرار گیرد. در تحقیق حاضر پاره ای از نقدها نسبت به اصل ادعای منطق فازی در قرآن با توجه به شواهد قرآنی ارائه شده از سوی مدعیان آن است. علاوه بر نقدهای جزئی که به عدم انطباق مثال های قرآنی ذیل الگوی فازی ارائه شده از سوی مدعیان بر می گردد، این نیز نشان داده خواهد شد که اساساً طرح ادعای وجود منطق فازی در قرآن، با خلط آنچه صراحتاً به عنوان استدلال در متن آمده است (استدلال منصوص) و آنچه از سوی مخاطب ممکن است به متن نسبت داده شود (استدلال مستنبط) همراه است.
نقدِ انتقاداتِ شباهت خانوادگیِ ویتگنشتاین به تعاریفِ ارسطویی(مقاله علمی وزارت علوم)
حوزه های تخصصی:
نظریة "شباهت خانوادگیِ" ویتگنشتاین تأثیرگذارترین نظریة معاصر در باب "تعریف"، یا، به عبارت بهتر، در مقابلِ "تعریف" است. مقابلة اصلی این نظریة با "تعاریف ذاتی" است که ارسطو به عنوان سردمدار آن شناخته می شود. این نظریة را در دوران معاصر چالشی برای ذات گرایی در نظر گرفته اند. در این جستار، بعد از بیان نگرة شباهت خانوادگی و زمینه های بروز آن در تقابل با تعاریف ارسطویی، با استخراج انتقاداتِ این نگره بر تعاریف ذاتیِ ارسطو و یافتن پاسخ این انتقادات با توجه به متن آثار ارسطو، سعی دارم نشان دهم که طرح چنین انتقاداتی به تعاریف ارسطویی ناشی از فهم نادرست و ناآگاهی ویتگنشتاین نسبت به نگرة "تعاریف ذاتیِ" مدنظر ارسطو است. برای دست یابی به این مطلوب از دو روش پدیدارشناسی و تحلیلی بهره خواهم برد. بررسی آثار دست اولِ فلاسفة مذکور از اولویت های این پژوهش به شمار می آید.
بررسى اندیشه هاى منطقى اثیرالدین ابهرى(مقاله علمی وزارت علوم)
حوزه های تخصصی:
اثیرالدین ابهرى، حکیم و منطق دان برجسته قرن هفتم هجرى، نقش بسیار مؤثرى در رشد و تکامل منطق سینوى داشته است. شناخت آراى منطقى او، در فهم آراء و روش هاى منطقى منطق دانان پس از وى، حایز اهمیت است. پیروى از نظام منطق نگارى دو بخشى ابن سینا، کشف قضیه طبیعیه و اعتبار مستقل آن به عنوان قضیه اى خاص، کشف انعکاس سالبه جزئیه در خاصتین، افزودن سه ضرب بر ضروب منتج شکل چهارم قیاس در موجهات مرکبه، حکم به بداهت مرکب بودن تصدیق، نفى بدیهى انگارى همه تصورات، نفى تلازم طرفینى دلالت مطابقه و التزام، تقسیم قضیه حملیه محصوره بر سه قسم ذهنیه، خارجیه و حقیقیه از آراى منطقى ابهرى است که ما در این نوشتار با روش تحلیلى توصیفى به ذکر و بررسى آنها مى پردازیم.
پژوهشی نقادانه در باب تبیین گرایس از تابع ارزش بودن شرطی ها در زبان طبیعی بر اساسِ مفهومِ اظهارپذیری(مقاله علمی وزارت علوم)
حوزه های تخصصی:
اداتِ منطقی در منطقِ کلاسیکِ گزاره ها بنا بر تعریف تابع ارزش (truth function)هستند. فیلسوفانِ منطق و زبانِ معاصر دو نظر عمده در بابِ تابعِ ارزش بودنِ اداتِ متناظر با اداتِ منطقی در زبانِ طبیعی (که عبارتند از "چنین نیست که"، "و"، "یا" و "اگر...آنگاه...") مطرح نموده اند. برخی استدلال کرده اند که اداتِ متناظر با اداتِ منطقی در زبانِ طبیعی تابعِ ارزش نیستند و در مقابل برخی نیز استدلال هایی به نفع تابعِ ارزش بودنِ اداتِ مذکور ارائه نموده اند. در این میان، دفاعیاتِ گرایس (1975) از تابعِ ارزش بودنِ شرطی ها ("اگر...آنگاه...") در زبانِ طبیعی که بر اساسِ مفهومِ اظهارپذیری (assertibility) و معنای ضمنیِ (implicature) عبارات صورتبندی شده از ثقلِ مهمی در منابعِ فلسفیِ چند دهه اخیر برخودار بوده است. هدفِ اصلی این مقاله بررسی و سپس نقدِ دفاعیاتِ گرایس در خصوصِ تابعِ ارزش بودنِ شرطی ها در زبانِ طبیعی است.
تاملی در مقاله ی «نقش عوامل اجتماعی در معرفت ریاضی و منطقی»(مقاله علمی وزارت علوم)
حوزه های تخصصی:
در مقاله ی «نقش عوامل اجتماعی در معرفت ریاضی و منطقی»، نشان داده می شود که عوامل اجتماعی در پیدایش و ضروری انگاری علوم بنیادینی چون ریاضی و منطق نقش دارند؛ از جمله مهمترین دلایل مطروحه در این مقاله می توان به موارد زیر اشاره کرد: اختلاف ریاضی دان ها، تنوع تناقض در براهین خلف، ساختارشکنی در مقادیر بی نهایت، تحلیل ویتگنشتاین از عمل جمع، تغییر مفهوم بداهت در طول تاریخ، دوری بودن اثبات اصول بدیهی، دوری بودن توجیه قواعد منطقی از طریق جداول ارزش، استدلال پرایور در مقابل صورت گرایان، عدم ترجیح توجیهات روان شناختی بر توجیهات جامعه شناختی، پارادوکس های استلزام مادی، توسل به شهود به جای استدلال، نقد استدلال دوری، قراردادی بودن اصول منطقی، پارادوکس خرمن و ... ما نیز در ارزیابی این شواهد ضمن تعیین و تحلیل اصول بدیهی حداقلی چون اصل تناقض، قاعده وضع مقدم و برهان خلف، به تحلیل موارد زیر پرداخته ایم: بی نهایت ها، دیدگاه ویتگنشتاین، جداول ارزش، استدلال پرایور، قرارداد، عدم لزوم بداهت تصورات در تصدیق های بدیهی، مفاهیم نامعین و ...؛ و در نهایت نشان داده ایم که علوم بنیادینی چون ریاضی و منطق، ضرورت خود را مدیون عوامل اجتماعی نیستند.
هایک و بازسازی برهان وجودی گودل(مقاله علمی وزارت علوم)
حوزه های تخصصی:
از زمانی که گودل تلاش کرد صورت بندی ای منطقی از برهان وجودی ارائه دهد، بحث های قابل توجهی درباره اعتبار برهان وی صورت گرفته است. برای مثال، سوبل تلاش می کند کاستی های برهان گودل را نشان دهد. پتر هایک، منطق دان و ریاضی دان اهل جمهوری چک، تلاش می کند برهان وجودی گودل را به نحوی بازسازی کند که از انتقادات سوبل در امان باشد. به باور او، اگر برهان در سیستم موجهه S5 با اندکی تفاوت بازسازی شود، می تواند از انتقادات سوبل در امان بماند. در عین حال، هایک معتقد است اثبات اعتبار برهان وجودی ارتباطی به اثبات وجود خداوند ندارد. در این نوشته، ابتدا شرحی از بازسازی هایک از برهان وجودی ارائه و این نکته نشان داده می شود که چگونه این نسخه هایک از برهان مسئله شکست وجهی برهان را که نسخه گودل با آن مواجه است حل می کند. آنگاه تلاش می شود ادعای اخیر هایک درباره بی ارتباطی الهیاتی برهان در قالب دعاوی فیلسوفانی نظیر ویلیام رو و باس ون فراسن فهمیده و ارزیابی شود. در اینجا نشان خواهیم داد که در فرض خاصی می توان نشان داد که چنین برهانی می تواند به اثبات وجود خدا مرتبط باشد.
پارادوکس کرول از منظر ویتگنشتاین، ابن سینا، و خواجه نصیر(مقاله علمی وزارت علوم)
حوزه های تخصصی:
- حوزههای تخصصی فلسفه و منطق فلسفه غرب رویکرد تاریخی دوره معاصر (قرون 20 و 21) فلسفه تحلیلی
- حوزههای تخصصی فلسفه و منطق منطق صوری سنتی منطق ارسطو
- حوزههای تخصصی فلسفه و منطق منطق صوری سنتی منطق ارسطویی منطق عالم اسلام
- حوزههای تخصصی علوم اسلامی منطق، فلسفه و کلام اسلامی فلسفه اسلامی کلیات فلاسفه اسلامی
پارادوکس کَرول بنیادی ترین مفهوم منطق، یعنی مفهوم استنتاج را به چالش می کشد و چنین می نمایاند که در هیچ استنتاجی نمی توان از مقدّمات به نتیجه رسید. مقاله ی پیش رو این پارادوکس را بر سه اندیشمند بزرگ، ویتگنشتاین، ابن سینا، و خواجه نصیر، عرضه می کند و می کوشد تا راه حلّی را از سخنان آنان فرا چنگ آورد. ویتگنشتاین از یک وضع مقدّم «بیان ناپذیر» ولی «نشان دادنی» در همه ی استنتاج ها سخن می گوید که سرانجام به تفکیک «قاعده» از «مقدّمه» می انجامد. ابن سینا نیز اصول منطقی را «مکیال» می داند نه «مادّه»، که این دقیقاً همان تفکیک یادشده است. و خواجه نصیر از نیازمندی هر قیاس اقترانی به یک وضع مقدّمِ «معاون» و «مقارن» سخن می راند که بیان دیگری از «وضع مقدّم بیان ناپذیرِ نشان دادنیِ» ویتگنشتاین است که باز به تفکیک یادشده منتهی می شود. و تفکیک «قاعده» از «مقدّمه» و نارواییِ تبدیل اوّلی به دومی کلید حلّ پارادوکس کرول است. این دقیقاً همان تفکیک یادشده است. و خواجه نصیر از نیازمندی هر قیاس اقترانی به یک وضع مقدّمِ «معاون» و «مقارن» سخن می راند که بیان دیگری از «وضع مقدّم بیان ناپذیرِ نشان دادنیِ» ویتگنشتاین است که باز به تفکیک یادشده منتهی می شود. و تفکیک «قاعده» از «مقدّمه» و نارواییِ تبدیل اوّلی به دومی کلید حلّ پارادوکس کرول است.
بررسی رویکرد هاریچ به انتقادات کریپکی بر تئوری کاربردی معنی داری(مقاله علمی وزارت علوم)
حوزه های تخصصی:
هدف اصلی این مقاله بررسی و تحلیل استدلال های هاریچ در مقاله «معنی، کاربرد و صدق» است که در مجله Mind در سال 1995 منتشرشده است. وی در این مقاله به دفاع از ایده ویتگنشتاین، یعنی تئوری کاربردی معنی ، در مقابل استدلال هایی برآمده که علیه این رویکرد ارائه شده اند. تمرکز هاریچ خصوصاً بر انتقادهای کریپکی است. کریپکی در کتاب مشهور خود با عنوان ""دیدگاه ویتگنشتاین درباره قواعد و زبان خصوصی"" سعی دارد نشان دهد کاربرد نمی تواند ارائه دهنده معنی باشد. مفهومی که کریپکی به نقد آن می پردازد تمایل گرایی است. او معتقد است معنای یک واژه نمی تواند معادل با تمایلات یا قابلیت های انسان برای کاربرد آن واژه باشد. هاریچ استدلال کریپکی را نادرست می داند. برای این منظور ابتدا دو تفسیر قوی و ضعیف از مقدمات استدلال کریپکی ارائه می دهد و سپس به نقد هر دو می پردازد. از نظر او لازمه استدلال کریپکی در تفسیر قوی پذیرش رویکرد انبساطی به صدق است و چنین رویکردی باطل است. در تفسیر ضعیف نیز مثال کریپکی نادرست است. پس از بررسی انتقادات هاریچ بر کریپکی انتقادات وی مورد ارزیابی قرار گرفته است.