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

دیدگاه فرگه درباره این همانی با التفات به کتاب «مفهوم نگاشت» و رساله «در باب معنا و دلالت»(مقاله علمی وزارت علوم)

نویسنده:

کلید واژه ها: فرگه این همانی محتوا دلالت معنا

حوزه های تخصصی:
تعداد بازدید : ۸۶۱ تعداد دانلود : ۴۷۷
«این همانی» یکی از مهم ترین و در عین حال بحث برانگیزترین مسائل مطرح شده در آثار فرگه است. در این مقاله به بررسی دیدگاه او در باب این موضوع و شرح و نقد تفسیرهای مختلف از آن خواهیم پرداخت. پرسش اصلی ما این است که این همانی بین چه عناصری برقرار می شود. ابتدا دیدگاه فرگه را نسبت به این همانی در « مفهوم نگاشت » توضیح می دهیم. از آنجا که تأملات نهایی فرگه راجع به این همانی در دیگر اثر شناخته شده اش یعنی « معنا و دلالت » مطرح می شوند، در بخش بعدی مفهوم این همانی را در این مقاله شرح می دهیم. در نوشته ی کنونی هدف نقد نظر فرگه نیست، بلکه پیش از آن مقصود ما فهم نظر فرگه است، زیرا تنها در این صورت می توان مسائل مهمی همچون ماهیت عدد در « مبانی علم حساب » و تناقض نماهای مطرح شده از سوی راسل در نسبت با اصل موضوعه ی پنجم فرگه در « قوانین علم حساب » را دریافت.
۱۲۲.

بررسی و نقد سه دیدگاه در کیفیت حمل ذاتیات بر ذات و بر یکدیگر(مقاله علمی وزارت علوم)

نویسنده:

کلید واژه ها: حمل اولی ذاتی حمل شایع صناعی نوع جنس فصل

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

تحلیل دلالت شناسانه ی منطق شهودی I(مقاله علمی وزارت علوم)

نویسنده:

کلید واژه ها: منطق شهودی دلالت شناسی سوئل کریپکی آرند هیتینگ اخبرتوس یان برآوئر

حوزه های تخصصی:
تعداد بازدید : ۳۵۲ تعداد دانلود : ۲۷۷
از زمان انتشار مقاله ی سوئل کریپکی با عنوان تحلیل دلالت شناسانه ی منطق شهودی I ، در سال 1965، تمام آنچه پیش از آن در دلالت شناسی منطق شهودی نگاشته شده بود، تفسیر برآوئر-هیتینگ-کولموگروف(BHK)، تفسیر توپولوژیک و مدل های بث تحت سایه ی تنقیح و پالودگی اش قرار گرفت و دلالت شناسی استاندارد برای منطق شهودی برآوئر-هیتینگ قلمداد شد. تا به امروز جهت تفسیر، مقابله و بِه فهمی، ادبیات و مطالعات کلانی حول این مقاله شکل گرفته است. کریپکی این مقاله را در پایان قریب به یک دهه تفکر بارور راجع به منطق موجهات، دلالت شناسی آن و انتشار تحقیقاتش مشتمل بر روشی خلاقانه برای دلالت شناسی منطق موجهات در 6 مقاله، نوشت و منتشر کرد و در آن برای طراحی تفسیری از دلالت شناسی منطق شهودی از تحقیقات خودش در منطق موجهات و اخذ مفهوم فورسینگ از ریاضیدان آمریکایی پل کوئن سود جست. دراین نوشته پس از بررسی جایگاه تاریخی-فنّی مقاله ی کریپکی در ادبیات شهودگرایی، ترجمه مقاله ی وی آمده است.
۱۲۴.

ارزیابی دیدگاه اثیر الدین ابهری در خصوص شکل چهارم قیاس اقترانی(مقاله علمی وزارت علوم)

کلید واژه ها: قیاس اقترانی شکل چهارم ابهری شرایط انتاج

حوزه های تخصصی:
تعداد بازدید : ۷۲۲
ارسطو با معرفی سه شکل از قیاس اقترانی آغازگر مباحث پردامنه ای در این حوزه شده است. شکل چهارم بعدها به اشکال قیاس اقترانی اضافه شد. در سه قسم اول قیاس اقترانی اختلاف نظری دیده نمی شود بحث بر سر شکل چهارم قیاس و شرایط انتاج آن می باشد. در شکل چهارم قیاس سه اختلاف عمده دیده می شود: 1- جایگاه شکل چهار 2- شرایط انتاج 3- ضروب منتج. گروهی از متقدمان که منطق دانان قبل اثیر الدین ابهری را در بر می گیرد ( ابن صلاح همدانی تا افضل الدین خونجی) با شرایطی، پنج ضرب منتج را برای شکل چهار قائل اند و گروهی از متأخران که در برگیرنده برخی از منطق دانان بعد اثیر الدین ابهری می باشند با شرایط دیگری قائل به هشت ضرب منتج برای آن هستند. قابل ذکر است که اثیرالدین ابهری با شرایطی سه ضرب دیگر به ضروب منتج شکل چهار افزود و به مرور برخی منطق دانان(تفتازانی،حاج ملاهادی سبزواری و ..) بدون توجه به شرایط سه ضرب ارائه شده از سوی ابهری ، به طورکلی قائل به هشت ضرب منتج شدند.در این مجال به بررسی پیشینه شکل چهارم قیاس اقترانی و شرایط انتاج آن می پردازیم. ضمن اثبات درستی نظر متقدمان؛ به ریشه یابی نظر برخی از متأخرین پرداخته شده که مشخص می شود بدفهمی از عبارات اثیر الدین ابهری صورت گرفته و نظر وی در خصوص موجهات(مختلطات) به قیاس های غیرموجه(مطلقات) تسری داده شده است. در این پژوهش علاوه بر بیان روشن این خلط به چرایی این اشتباه نیز پرداخته شده است.
۱۲۵.

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

نویسنده:

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

حوزه های تخصصی:
تعداد بازدید : ۲۰۴۲ تعداد دانلود : ۱۴۹۳
کوبرروز و دیگران (2012) نظریه ای در باب ابهام پرورانده اند که طی آن مدلی برای رواداری ارائه کنند. قصد بر این است که در این مدل رواداری معتبر باشد؛ چنین نباشد که یک محمول مبهم بر هر چیزی حمل شود؛ و نیز استدلال های پارادوکس خرمن معتبر نباشند. در این مقاله استدلال خواهد شد که اولا، تحدید ایشان از اصل رواداری از آنچه در ادبیات مربوط به ابهام مورد توافق است فاصله می گیرد. و ثانیا، نظریه ایشان جمله ای قوی تر از رواداری را معتبر می انگارد؛ که این جمله مثال های نقض روشن دارد. و ثالثا، نظریه ایشان تنها می تواند رواداری را به معنای ضعیفی معتبر بداند. این نتیجه پایانی نظریه ایشان را به نظریه های غالب در باب ابهام که رواداری را درست قلمداد نمی کنند شبیه خواهد کرد.
۱۲۶.

بازتعریف مادی و مجرد با استفاده از منطق فازی(مقاله علمی وزارت علوم)

کلید واژه ها: منطق فازی مجرد مادی حرکت جوهری اشتدادی تعریف مادی و مجرد

حوزه های تخصصی:
تعداد بازدید : ۲۹۸۹ تعداد دانلود : ۲۰۴۴
بیشتر تعاریف ارائه شده برای مادی و مجرد به گونه ای هستند که ابتدا امر مادی تعریف می گردد سپس امر مجرد به گونه سلبی (سلب ماده، خواص ماده یا وابستگی به ماده) تعریف می شود: مجرد آن چیزی است که مادی نیست. ایراد وارد به اینگونه تعاریف سلبی این است که دیگر نمی توان بین شی اول و سلب آن شی، حدواسط و شی سومی تعریف کرد. لذا بر اساس این گونه تعاریف نمی توان بین ماده صرف و مجرد تام دسته دیگری از امور (مثلا مجرد برزخی) تعریف کرد. در این مقاله سعی شده ابتدا تعاریف موجود در خصوص مادی و مجرد بررسی گردد، سپس نشان داده شود که با توجه به نظر صدرالمتالهین در خصوص حرکت جوهری اشتدادی نفس ناطقه، لازم است بین مادی صرف و مجرد تام طیفی از امور داشته باشیم، طیفی شامل مادی محض، اندک تجرد نفس نباتی، تجرد مثالی، تجرد عقلی و فوق تجرد و همچنین مراتبی باید بین این مراتب ذکر شده وجود داشته باشد. آنگاه نشان می دهیم که این نگاه طیف گونه به اشیاء با تعاریف مبتنی بر حصر عقلی و به طریق اولی با تعریف سنتی مادی-مجرد (تعریف دوگانه ایجابی - سلبی) سازگار نمی باشد. نهایتاً بیان می کنیم که نمی شود تعریفی جامع برای امری که واحد شخصی ذومراتب است، ارائه داد؛ و در پایان با اشاره مختصر به منطق فازی بیان می کنیم که باید به گونه ای فازی به مسئله نگاه کرد؛ و تعریف جدیدی با استفاده از منطق فازی ارائه می دهیم.
۱۲۷.

متن گرایی در مقابل حداقل گرایی در سمانتیک(مقاله علمی وزارت علوم)

کلید واژه ها: متن گرایی حداقل گرایی سمانتیک پراگماتیک متن

حوزه های تخصصی:
تعداد بازدید : ۱۱۴۱ تعداد دانلود : ۸۷۵
متن گرایی، رقیب اصلی حداقل گرایی است. نزاع میان این دو رویکرد سمانتیکی، ریشه در نزاع قدیمی تعیین مرز میان سمانتیک و پراگماتیک دارد. متن گرایان مدعی اند که جملات زبان طبیعی، قبل از غنی سازی پراگماتیکی، قابل ارزش دهی نیستند. در مقابل، از نظر حداقل گرایان، محتوای سمانتیکی حداقلی وجود دارد که معنای قابل ارزش دهی جمله را به دست می دهد که متن اظهار، اثر محدودی روی آن دارد. این تقابل ناشی از شیوه و اندازه ای است که متن بر محتوای سمانتیکی تأثیر می گذارد. در این مقاله، پس از معرفی این دو رویکرد، استدلال های اصلی متن گرایان علیه حداقل گرایان را مطرح می کنیم. سپس نشان می دهیم که سمانتیک های حداقل گرایانه از قبیل سمانتیک اشاره ای کاپلان، با تفسیر عینی از متن نمی تواند مدل مناسبی حتی برای جملات حاوی ارجاع اول شخص ارائه کنند و برپایه ی تفسیری ذهنی از متن، تمایز نمایه ای از غیرنمایه ای واضح نیست و سایر عبارت های زبان نسبت به متن ها، به معنای عام می توانند نمایه ای باشند.
۱۲۸.

واکاویِ ملاک های احتمالاتی در استنتاج بهترین تبیین(مقاله علمی وزارت علوم)

کلید واژه ها: استنتاج بهترین تبیین تبیین احتمال بیز تأیید مزیت های تبیین گر

حوزه های تخصصی:
تعداد بازدید : ۸۱۳ تعداد دانلود : ۴۸۶
طبق رویکرد رایج به استنتاج بهترین تبیین (IBE)، فرضیه ای که بهترین تبیین را برای پدیده های در دستِ بررسی ارائه می دهد، احتمالاً صادق است. یکی از مهم ترین چالش های پیش روی این نحوه استدلال” ایراد وُلتِر “ است. مطابق این اشکال، دلیلی نداریم که ملاک های انتخاب بهترین تبیین، موسوم به مزیت های تبیین گر، محتمل ترین تبیین- یعنی تبیینی که نسبت به دیگر تبیین های رقیب از احتمال صدق بیش تری برخوردار است- را به دست دهند. هدف اصلیِ این نوشتار، واکاویِ ملاک های احتمالاتیِ مرتبط با IBE در مواجهه با ایراد وُلتِراست. به بیان دقیق تر، در پی آنیم که چنان چه ضابطه های احتمالاتیِ ارائه شده برای ارزیابیِ فرضیه های تبیین گر، ملاک انتخاب بهترین تبیین قرار گیرند، آیا این اطمینان وجود خواهد داشت که محتمل ترین تبیین به دست آید؟ در این راستا، ملا ک های احتمالاتیِ مرتبط با IBE را در سه دسته ملاک های معطوف به قضیه بیز، ملاک های معطوف به نظریه تأیید و ملاک های معطوف به مزیت های تبیین گر بررسی می کنیم. این واکاوی نشان می دهد که هیچ یک از ضابطه های ارائه شده از پس تحدید بهترین تبیین - به گونه ای که محتمل ترین تبیین را به دست دهد- بر نمی آیند.
۱۲۹.

از دلیل افتراض تا معرّفی و حذف سور وجودی(مقاله علمی وزارت علوم)

نویسنده:

کلید واژه ها: دلیل افتراض عکس سالبه ی کلیه حذف سور وجودی معرفی سور وجودی

حوزه های تخصصی:
  1. حوزه‌های تخصصی فلسفه و منطق منطق صوری سنتی منطق ارسطو
  2. حوزه‌های تخصصی فلسفه و منطق منطق صوری سنتی منطق ارسطویی منطق عالم اسلام
تعداد بازدید : ۲۲۴۹ تعداد دانلود : ۱۵۵۸
هدف این مقاله تحریر و تحلیل بخشی از تاریخ دلیل افتراض (به طور خاصّ) و تاریخ منطق دوره ی اسلامی (به طور عامّ) است. ارسطو دلیل افتراض را در چندین موضع از دستگاه قیاسی اش، از جمله در اثبات عکس سالب کلّی، به کار می گیرد. مسئله ی مقاله ی کنونی همین کاربرد اخیر است. از زمان تئوفراستوس چالش های فراوانی فراروی این دلیل افتراض نهاده شده است. اسکندر افرودیسی به رفع این چالش ها همّت می گمارد و به این منظور دو تفسیر از افتراض یادشده به دست می دهد که، بر پایه ی تحلیل ما، دومین تفسیر یک برهان خلف است که در آن از حذف و معرّفی سور وجودی و جابه جایی عاطف استفاده شده است و بنابراین نشان می دهد که این بخش از منطق ارسطو هم به منطق گزاره ها و هم به منطق محمول ها وابسته است. نیز این تفسیر، دلیل افتراض را به خاطر استفاده از حدّ شخصی، دلیلی غیرقیاسی می شمارد و آشکار می سازد که اسکندر به درستی قیاس ارسطو را منطق حدّهای کلّی می داند. در جهان اسلام، ابن سینا، خونجی، و خواجه نصیر از همین تفسیر پیروی می کنند و حتّی درک روشن تری نسبت به قواعد یادشده از خود نشان می دهند؛ به گونه ای که ابن سینا و خواجه نصیر آشکارا از تمایزی سخن می گویند که امروزه میان نام خاصّ و نام فرضی نهاده می شود. سهروردی و فخر رازی، امّا، با اثرپذیری از تفسیر نخست اسکندر، تیزبینی چندانی از خود به نمایش نمی گذارند، نه در فهم منطق ارسطو به عنوان منطق حدّهای کلّی و نه در فهم آن دسته از قواعد منطق گزاره ها و محمول ها که در فرآیند افتراض دخیل اند.
۱۳۰.

دلالت ثابت کلمات کلی و مشکل بی مایگی(مقاله علمی وزارت علوم)

کلید واژه ها: دلالت ثابت ترمهای کلی مشکل بی مایگی اشیاء وافر اشخاص دفتری

حوزه های تخصصی:
تعداد بازدید : ۲۱۰۸ تعداد دانلود : ۱۳۶۰
کریپکی در کتاب مشهور «نامگذاری و ضرورت» مفهوم دلالت ثابت(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) عبارات صورتبندی شده از ثقلِ مهمی در منابعِ فلسفیِ چند دهه اخیر برخودار بوده است. هدفِ اصلی این مقاله بررسی و سپس نقدِ دفاعیاتِ گرایس در خصوصِ تابعِ ارزش بودنِ شرطی ها در زبانِ طبیعی است.
۱۳۷.

تاملی در مقاله ی «نقش عوامل اجتماعی در معرفت ریاضی و منطقی»(مقاله علمی وزارت علوم)

نویسنده:

کلید واژه ها: اصل تناقض قاعده وضع مقدم قرارداد شرطی مصادره به مطلوب

حوزه های تخصصی:
تعداد بازدید : ۱۰۰۷ تعداد دانلود : ۴۷۱
در مقاله ی «نقش عوامل اجتماعی در معرفت ریاضی و منطقی»، نشان داده می شود که عوامل اجتماعی در پیدایش و ضروری انگاری علوم بنیادینی چون ریاضی و منطق نقش دارند؛ از جمله مهمترین دلایل مطروحه در این مقاله می توان به موارد زیر اشاره کرد: اختلاف ریاضی دان ها، تنوع تناقض در براهین خلف، ساختارشکنی در مقادیر بی نهایت، تحلیل ویتگنشتاین از عمل جمع، تغییر مفهوم بداهت در طول تاریخ، دوری بودن اثبات اصول بدیهی، دوری بودن توجیه قواعد منطقی از طریق جداول ارزش، استدلال پرایور در مقابل صورت گرایان، عدم ترجیح توجیهات روان شناختی بر توجیهات جامعه شناختی، پارادوکس های استلزام مادی، توسل به شهود به جای استدلال، نقد استدلال دوری، قراردادی بودن اصول منطقی، پارادوکس خرمن و ... ما نیز در ارزیابی این شواهد ضمن تعیین و تحلیل اصول بدیهی حداقلی چون اصل تناقض، قاعده وضع مقدم و برهان خلف، به تحلیل موارد زیر پرداخته ایم: بی نهایت ها، دیدگاه ویتگنشتاین، جداول ارزش، استدلال پرایور، قرارداد، عدم لزوم بداهت تصورات در تصدیق های بدیهی، مفاهیم نامعین و ...؛ و در نهایت نشان داده ایم که علوم بنیادینی چون ریاضی و منطق، ضرورت خود را مدیون عوامل اجتماعی نیستند.
۱۳۸.

تبارشناسی نسبت های چهارگانه(مقاله علمی وزارت علوم)

نویسنده:

کلید واژه ها: منطق قدیم نسبت های چهارگانه منطق دانان مسلمان

حوزه های تخصصی:
  1. حوزه‌های تخصصی فلسفه و منطق منطق صوری سنتی منطق ارسطویی منطق عالم اسلام
  2. حوزه‌های تخصصی علوم اسلامی منطق، فلسفه و کلام اسلامی فلسفه اسلامی کلیات فلاسفه اسلامی
تعداد بازدید : ۱۲۹۲ تعداد دانلود : ۱۱۷۴
نسبت های چهارگانه میان مفاهیم، هرچند پیشینه اش به ارسطو و فرفوریوس می رسد، اما به عنوان یک تقسیم منطقیاز نوآوری های منطق دانان مسلمان بوده و برای نخستین بار، در آثار فارابی، غزالی، فخر رازی و خونجی و به صورت های متفاوت به علم منطق معرفی شده است. از آنجا که تقسیم های فارابی، غزالی و فخر رازی، به ترتیب، دچار مغالطه های «عدم انسجام»، «عدم مانعیت» و «تداخل اقسام» بودند مورد پذیرش منطق دانان بعدی قرار نگرفتند؛ اما تقسیم خونجی، چون از این مغالطه ها به دور بود، به کتاب های درسی منطق راه یافت و در منطق اسلامی تثبیت شد. با اینکه این تقسیم در همان آغاز با شبهه ها و پارادوکس های مهمی روبرو شد، اما توانست در برابر آنها ایستادگی کند و به جای گاه رفیع و تثبیت شدهامروزیخود دست یابد. این مقاله در صدد کاویدن پیشینه نسبت های چهارگانه و تعیین سهم هر یک از منطق دانان قدیم در پیش برد این بحث است.
۱۳۹.

هایک و بازسازی برهان وجودی گودل(مقاله علمی وزارت علوم)

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

حوزه های تخصصی:
  1. حوزه‌های تخصصی فلسفه و منطق فلسفه غرب رویکرد موضوعی فلسفه های مضاف فلسفه دین
  2. حوزه‌های تخصصی فلسفه و منطق منطق فرامنطق تصمیم پذیری (گودل و...)
تعداد بازدید : ۱۱۱۸ تعداد دانلود : ۸۷۷
از زمانی که گودل تلاش کرد صورت بندی ای منطقی از برهان وجودی ارائه دهد، بحث های قابل توجهی درباره اعتبار برهان وی صورت گرفته است. برای مثال، سوبل تلاش می کند کاستی های برهان گودل را نشان دهد. پتر هایک، منطق دان و ریاضی دان اهل جمهوری چک، تلاش می کند برهان وجودی گودل را به نحوی بازسازی کند که از انتقادات سوبل در امان باشد. به باور او، اگر برهان در سیستم موجهه S5 با اندکی تفاوت بازسازی شود، می تواند از انتقادات سوبل در امان بماند. در عین حال، هایک معتقد است اثبات اعتبار برهان وجودی ارتباطی به اثبات وجود خداوند ندارد. در این نوشته، ابتدا شرحی از بازسازی هایک از برهان وجودی ارائه و این نکته نشان داده می شود که چگونه این نسخه هایک از برهان مسئله شکست وجهی برهان را که نسخه گودل با آن مواجه است حل می کند. آنگاه تلاش می شود ادعای اخیر هایک درباره بی ارتباطی الهیاتی برهان در قالب دعاوی فیلسوفانی نظیر ویلیام رو و باس ون فراسن فهمیده و ارزیابی شود. در اینجا نشان خواهیم داد که در فرض خاصی می توان نشان داد که چنین برهانی می تواند به اثبات وجود خدا مرتبط باشد.
۱۴۰.

نقد و بررسی تلازم شرطیات متصل در آثار منطق دانان مسلمان(مقاله علمی وزارت علوم)

نویسنده:

کلید واژه ها: انعکاس لزوم تلازم متصل شرطی

حوزه های تخصصی:
  1. حوزه‌های تخصصی فلسفه و منطق منطق صوری
  2. حوزه‌های تخصصی فلسفه و منطق منطق صوری سنتی منطق ارسطویی منطق عالم اسلام
  3. حوزه‌های تخصصی فلسفه و منطق منطق فلسفه منطق شرطی ها
تعداد بازدید : ۱۱۱۹ تعداد دانلود : ۹۸۴
بحث تلازم شرطیات از جهات گوناگون دارای اهمیت است در این بحث بخوبی می توان به درک درستی از آراء منطق دانان مسلمان در زمینه قضیه ها و استدلال های شرطی دست یافت و در مقام مقایسه این آراء با دیدگاه منطق دانان دیگر بدرستی قضاوت کرد. منطق دانانی که به بحث تلازم شرطیات پرداخته اند هر یک به تعدادی از تلازم ها اشاره کرده اند و قضایای متلازم نیز با معیارها و ملاک های متفاوتی دسته بندی شده اند. در این مقاله ابتدا تلازم های قضایای متصل که در مهمترین آثار منطقی آمده است، شمارش شده و چگونگی تبیین و اثبات آنها در این آثار ارایه شده است. سپس با بررسی و نقد این مباحث، و با بهره گیری از نمادهادسته بندی دیگری از تلازم قضایای شرطی ارایه می شود.

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

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

درجه علمی

مجله

سال

زبان