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

اعتبار استقراء یا عدم اعتبار قیاس؟!(مقاله علمی وزارت علوم)

حوزه‌های تخصصی:
تعداد بازدید : ۵۷۰ تعداد دانلود : ۶۴۱
از یونان باستان تا جهان امروز مسأله ی استقراء ذهن اندیشمندان به خصوص منطق دانان و فلاسفه را درگیر خود نموده است. کاربرد استقراء نیز در حوزه های مختلف اهمیت امر را دوچندان نموده است. در پاسخ به این مسأله جواب های متفاوتی داده شده است؛ از آن جا که استقراء همواره در کنار قیاس به عنوان قسم دیگر استدلال مطرح بوده است و قیاس نیز نزد تقریبا تمامی منطق دانان موجه و حجیت آور است، عده ای سعی داشته اند تا استقراء را همانند قیاس موجه سازند؛ از طرف دیگر گروهی نیز با بی اعتبار نمودن و گرفتن حجیت قیاس سعی به شباهت قیاس و استقراء داشته اند. افراد دیگری نیز به شکل متفاوتی به مسئله نگاه کرده اند و عده ای اصل صورت مسئله را منتفی دانسته اند. در این مقاله ضمن بیان مسأله و پاسخ هایی که به آن داده شده است و دسته بندی مطالب، به پاسخی از گروه دوم می پردازیم و مقاله ای از سوزان هاک را مطرح می کنیم که در باب توجیه استدلال قیاسی است. سوزان هاک در مقاله خود ضمن بیان چالش هایی که در برابر استقراء است، سعی بر آن دارد که این چالش ها را متوجه قیاس نماید و نشان دهد که قیاس نیز به موازات استقراء دچار مسائلی است که با پیش فرض گرفته شدن، از آن ها رهایی یافته است و او این پیش فرض ها را مورد بررسی قرار می دهد.
۱۰۲.

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

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

تئوفراستس و قیاس های دارای-حد-اضافه(مقاله علمی وزارت علوم)

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

سنجش تقسیم قضیه به حقیقیه، خارجیه و ذهنیه با تکیه بر رابطه ذهن و زبان(مقاله پژوهشی حوزه)

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

هویت شرطیه متصله در قاب نگاشته های منطقی مسلمانان(مقاله پژوهشی حوزه)

نویسنده:
حوزه‌های تخصصی:
تعداد بازدید : ۶ تعداد دانلود : ۷
شرطیه متصله آن گونه که باید در نگاشته های ارسطو که مدوّن منطق ارسطویی است، مطرح نشده است. منطق دانان پیرو ارسطو در سنّت اسلامی، با دستیابی به آثار رواقیان، به تفصیل از این قضیه بحث کرده اند. در این میان، نقش فارابی و به ویژه ابن سینا بسیار پررنگ است. بیشترین و اساسی ترین مباحث درباره متصله را ابن سینا در نگاشته های خود آورده و تقریباً دیگر منطق دانان پس از وی، مباحث خود درباره متصله را تحت تأثیر سخنان شیخ الرئیس مطرح کرده اند. در نگاشته پیش رو، این ادّعا مستندسازی می شود و افزون برآن، اندیشه منطق دانان مسلمان درباره ساختار و محتوای شرطیه متصله با بهره گیری از روش توصیف و تحلیل شناسایی می گردد. به باور منطق دانان مسلمان، قضیه متصله، مصداق حقیقی شرطیه است که در آن به اتصال یا نفی اتصال میان دو جزء مقدم و تالی که در قوه قضیه هستند، حکم می شود. این حکم گرچه می تواند به گونه اتصال لزومی و استلزام مقدم برای تالی و یا به گونه اتصال اتفاقی بدون وجود استلزام و به صرف تقارن اتفاقی باشد، ولی مصداق حقیقی متصله، لزومیه است که بیانگر اتصال واقعی میان دو نسبت است. هر دوی اتصال لزومی و اتفاقی نیز یا به گونه ایجابی و یا به گونه سلبی اند؛ با این التفات که متصله بودن سالبه به تسامح است؛ زیرا مفاد آن سلب اتصال است، نه اتصال سلب. منطق دانان مسلمان برآنند که ویژگی اصلی قضیه متصله، حکم به اتصال یا نفی اتصال است و همه شرایط و احکام متصله مانند کمیت، کیفیت، جهت و صدق و کذب، به این حکم برمی گردد.
۱۰۶.

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

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

یادداشتی درباره نقاط ثابت در منطق مسور اثبات ها و پارادوکس امتحان غیرمنتظره(مقاله علمی وزارت علوم)

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

ذات گرایی و منطق موجهات ارسطو(مقاله علمی وزارت علوم)

حوزه‌های تخصصی:
تعداد بازدید : ۱۰۶۲ تعداد دانلود : ۷۶۶
ارسطو با معرفی منطق موجهات در کتاب ارگانون خود از یک طرف و ارائه ی نظریه ی ذات گرایی و مفهوم ذاتی در دو کتاب ارگانون و متافیزیک پیش قراول یکی از مهم ترین و چالش برانگیزترین مباحث متافیزیکی و منطقی در تاریخ فلسفه بوده است. ارائه ی تفسیری منسجم از این منطق و منطبق ساختن آن با روایات ذات گرایی ارسطو در ارگانون و متافیزیک، یکی از موضوعات داغ و مهم در بین ارسطو شناسان و مورخان منطق بوده است. این تأویل و تفسیر سخنان ارسطو از طریق نوشته های او و سنجش آن با مباحث جدید فلسفی صورت می گیرد. در این مقاله سعی شده است پس از نقد یکی از این تفاسیر که در منطق موجهات جدید و فلسفه ی منطق به تمایز "جهت جمله" و "جهت شیء" شهره شده است، به معرفی تفسیری جدید از جملات موجه، که توسط ریچارد پترسون ارائه شده است، بپردازیم که دارای دو ویژگی اساسی باشد. ویژگی اول به سازگاری نظام منطق موجهات ارسطو مربوط می شود که با این تفسیر می توان گفت که بهترین تبیین ممکن در این زمینه در بین تفاسیر موجود است. ویژگی دوم به انطباق این تفسیر با ذات گرایی ارائه شده توسط ارسطو در متافیریک اشاره دارد. با آزمون بر روی استدلال های موجه مرکب از دو قضیه ی ضروری به اثبات و تأیید این نظریه که به تمایز گزاره های موسوم به "ضروری قوی" و "ضروری ضعیف" اشاره کرده است، می پردازیم.
۱۰۹.

نقش خُلقیات و تأدیبات صلاحیه در فلسفه اخلاق(مقاله پژوهشی حوزه)

نویسنده:
حوزه‌های تخصصی:
تعداد بازدید : ۵ تعداد دانلود : ۸
دانش منطق با ارائه روش درست اندیشیدن، ابزار سودمندی برای دانش های دیگر، به ویژه فلسفه اخلاق، به شمار می آید. بسیاری از گزاره های اخلاقی، ذیل خلقیات و تأدیبات صلاحیه قرار می گیرند که موضوع بحث منطق و فلسفه اخلاق اند. درنگ در چیستی خلقیات که به مصالح و مفاسد فردی صفات و رفتار اخلاقی توجه دارد و چیستی تأدیبات صلاحیه که به حیثیت تربیتی و اجتماعی صفات و رفتار اخلاقی می نگرد، سبب شده است تا برخی قضایا با توجه به دو حیثیت، هم در ردیف خلقیات و هم در ردیف تأدیبات صلاحیه قرار گیرند. توجه به حیثیات گوناگون قضایا به فهم بهتر جمله های اخلاقی کمک می کند، برای نمونه توجه به واقعیات موجود در قضایای یادشده می تواند برهان پذیری آن ها را تبیین کند، اما از این حیث در زمره مشهورات قرار نمی گیرند و از حیث مشهوری بودن امکان کاربرد در جدل نیز دارند؛ افزون براینکه توجه به لوازم گزاره های اخلاقی، ارتباط منطقی گزاره های حاوی ارزش را با گزاره های حاوی الزام اخلاقی تبیین پذیر خواهد کرد. 
۱۱۰.

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

حوزه‌های تخصصی:
تعداد بازدید : ۵۴۹ تعداد دانلود : ۴۷۵
در این مقاله فعل بودنِ «است» (εστί) در درباره ی عبارت ارسطو و و دلالت هایی که وی صراحتا به «است» نسبت می دهد، بررسی می شود و در موارد متعددی دیدگاه برخی مفسران ارسطو، از جمله آمونیوس، بوئتیوس، فارابی و آکویناس تقریر و نقد می شود. از این رو، ابتدا تعریفِ ارسطو از فعل، از جمله مهمترین ویژگیِ آن، «افزون نشانگریِ زمان»، بررسی می شود. در واقع، «است» به دلیلِ داشتنِ این ویژگی فعل است و به این ترتیب اولین دلالتِ «است» هم روشن می شود. در ادامه درباره ی دو دلالتِ دیگرِ «است» یعنی «افزون نشانگریِ ترکیب» و «تعیین صادق» و رابطه ی این سه دلالت با یکدیگر بحث می شود. و سرانجام نتیجه گرفته می شود که از نظر ارسطو «است» (ثلاثی) یک امر مقولی را نشانگری نمی کند، بلکه فقط افزون نشانگرِ ترکیب است. و با توجه به اینکه «است» افزون نشانگرِ زمان است، می توان گفت که از نظرِ ارسطو در درباره ی عبارت «است» (ثلاثی) افزون نشانگر ترکیب زمان مند است.
۱۱۱.

وجود ذهنی، حافظه و استدلال های پیچیده(مقاله علمی وزارت علوم)

نویسنده:
حوزه‌های تخصصی:
تعداد بازدید : ۷۴۷
برخی از اشکال هایی که اندیشمندان غربی به وجود ذهنی وارد کرده اند نزد فیلسوفان ما تقریباً ناشناخته است و پاسخ کاملی دریافت نکرده است. مثلاً یکی از مهم ترین و دشوارترین اشکال های اندیشمندان غربی در این زمینه اشکال چگونگی تصور امور پیچیده است؛ چراکه ظاهراً هیچ انسانی قادر نیست صورتی از امور پیچیده در ذهن خود تشکیل دهد. مشکلی که امور پیچیده در حالت کلی خود برای وجود ذهنی پدید می آورد اقسام گوناگونی دارد. گاهی باید یک امر پیچیده را به کمک حافظه به یادآوریم و در ذهن تصور نماییم. گاهی نیز باید استدلالی پیچیده و بسیار طولانی را نخست در ذهن خود تصور بکنیم تا سپس بدان یقین منطقی داشته باشیم. و گاهی نیز یک استدلال پیچیده آن قدر طولانی است که هیچ انسان عادی نمی تواند در کل عمر خود جزئیات استدلال را تصور نماید و از این رو صرفاً به یاری رایانه اثبات می شود. ما در این جستار همین سه قسم را – که به حافظه گره خورده اند - بررسی می کنیم و می کوشیم بیش تر بر پایه ی دیدگاه های اندیشمندان مسلمان آن ها را واکاوی نماییم. پس از نقد دیدگاه های بالفعل و بالقوه ی اندیشمندان مسلمان در پایان در مورد هر یک از این سه قسم دیدگاه برگزیده را پیش خواهیم نهاد. به مناسبت به اشکال هایی مقدّر نیز پاسخ خواهیم داد.
۱۱۲.

آیا تارسکی مفهوم عام نتیجه ی منطقی را فراچنگ می آورد؟(مقاله علمی وزارت علوم)

حوزه‌های تخصصی:
تعداد بازدید : ۶۸۰ تعداد دانلود : ۳۳۵
پژوهش حاضر به این مسأله می پردازد که آیا تعریف تارسکی از مفهوم نتیجه ی منطقی در مقاله ی دوران سازش «درباره ی مفهوم نتیجه ی منطقی» (1936) چنان که مدعای این مقاله است مفهوم عام نتیجه ی منطقی را فراچنگ میآورد یا نه. برای آن-که دریافته شود رویکرد غالب به نتیجه ی منطقی در زمان تارسکی (مفهوم نظریه برهانی نتیجه) چه خللی داشت که او را به کوشش برای ارائه ی تعریف جدیدی از نتیجه منطقی سوق داد، نخست رویکرد نظریه برهانی به مفهوم نتیجه ی منطقی را معرفی و ناکارآمدی آن را از نظر تارسکی بررسی خواهیم کرد، سپس دو تفسیر از مفهوم نتیجه ی عامِ مد نظر او را بیان خواهیم نمود. تفسیر نخست از مفهوم عامِ نتیجه نزد تارسکی آن مفهومی است که همه ی انسان های معمولی و غیرمتخصص در فلسفه، منطق و ریاضیات در زبان روزمره بکار می برند؛ تفسیر دوم آن است که مراد تارسکی از مفهوم عام نتیجه آن مفهومی است که برای اهل فن یعنی منطق دان و ریاضی دانان «عمومیت» دارد و در روش اصل موضوعی بکار رفته است. ما از تفسیر دوم دفاع می کنیم و ضمن بررسی توصیفی- تحلیلیِ تعریف پیشنهادی او از این مفهوم و ارائه ی مثالی از آن در نهایت نتیجه می گیریم که کوشش تارسکی برای فراچنگ آوردن مفهوم عام نتیجه قرین موفقیت بوده است.
۱۱۳.

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

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

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

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

بررسی اشکال قیاس اقترانی شرطی و تحلیل دیدگاه سمرقندی در حل آن(مقاله پژوهشی حوزه)

حوزه‌های تخصصی:
تعداد بازدید : ۳ تعداد دانلود : ۸
ابن سینا اشکالی را درباره قیاس اقترانی شرطی طرح می کند؛ به این صورت که در شکل اول مرکب از دو متصله، اگر مقدمه اول مشتمل بر امری محال باشد، قیاس منتج نخواهد بود. در این مقاله، پس از بیان تشکیک و راه حل شیخ، راه حل های تعدادی از منطق دانان سرشناس دوره طلایی منطق اسلامی مورد بررسی قرار می گیرد. شمس الدین سمرقندی (766 ق) در کتاب شرح القسطاس، این آراء را ذکر و داوری و در نهایت راه حلی متفاوت مطرح می کند. حل این تشکیک در گرو تحلیل صدق و کمیت قضیه شرطیه متصله، نوع تلازم متصله لزومیه، تلازم حقیقی و تلازم لفظی (الزام) و... است؛ تا صدق قضیه شرطیه صغرا و کبرا ارزیابی شده و راه حل صحیح مشخص شود. ابن سینا راه حل این اشکال را اختلال در صدق صغرا، به دلیل امتناع مقدم آن، می شمارد. اما ملاک صدق قضیه متصله لزومیه، وجود رابطه تلازم میان مقدم و تالی است؛ چه موجود در خارج باشند، چه صورت ذهنی و مفروض. بنابراین، قضیه صغرا از لحاظ صدق ایرادی ندارد. براساس نظریه ای که خونجی مطرح کرد و سمرقندی آن را بسط داد، قضیه صغرا صادق است و عدم انتاج قیاس ناشی از فقدان شرط کلیت کبرا در شکل اول قیاس اقترانی است. یا باید گفت قضیه کبرا صادق است، اما فاقد کلیت است، یا به عنوان یک قضیه کلیه، کاذب است.
۱۱۶.

قضیه بتّیّه و غیربتّیّه(مقاله پژوهشی حوزه)

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

چیستی قضیه با تأکید بر نقش اغراض تکلم(مقاله پژوهشی حوزه)

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

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

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

کاربردهای منطق در آنالیز ریاضی(مقاله علمی وزارت علوم)

نویسنده:
حوزه‌های تخصصی:
تعداد بازدید : ۴۹۲ تعداد دانلود : ۳۹۹
از ابتدای پیدایش منطق جدید، پیوندهای بنیادی بین منطق و شاخه های مختلف ریاضیات ایجاد شده است که منجر به حل مسایلی در ریاضیات و بلعکس حل مسائل بنیانی در خود منطق گردیده است. یکی از چالش های روش منطقی در مطالعه ساختارهای ریاضی عدم امکان مطالعه بعضی از ساختارهای مهم ریاضیات، از جمله ساختارهای موجود در آنالیز، در قالب زبان و منطق مرتبه اول می باشد. هدف اصلی این مقاله معرفی منطقی مناسب برای مطالعه این ساختارها و سپس حل مسائلی در آنالیز با استفاده از ابزارهای منطقی است. در ابتدای این مقاله مروری کوتاه بر منطق های مناسب برای مطالعه ساختارهای موجود در آنالیز ریاضی خواهیم داشت و برخی از مهمترین کاربردهای منطق در آنالیز را بیان خواهیم کرد. سپس یکی از دستاوردهای اخیر که کاربردی مهم از منطق در آنالیز میباشد را ارائه و اثبات می کنیم. به ویژه، مفهوم تعریف پذیری در منطق و پیوند آن با آنالیز ریاضی را مورد مطالعه قرار می دهیم.
۱۲۰.

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

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

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

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

درجه علمی

مجله

سال

زبان