فیلتر های جستجو:
فیلتری انتخاب نشده است.
نمایش ۲۰۱ تا ۲۲۰ مورد از کل ۵۵۶ مورد.
حوزه های تخصصی:
در منطق و فلسفة ارسطویی و اسلامی، محالات ذاتی دارای مفهوم و معنا تلقی می شوند، هرچند در خارج محقق نمی شوند و نمی توانند بشوند. محالات، احکامی فلسفی دارند که در امور عامة فلسفه مورد بحث قرار می گیرند. در این نوشتار، ضمن رد دلایل اندکی که بر معنا داری محالات ذاتی آورده اند، چند دلیل فلسفی و منطقی بر بی معنایی محالات ذاتی اقامه خواهیم کرد. به نظر می رسد مبحث منطقی «عدم و ملکه»، مبنای خوبی برای تشخیص بی معنایی جملات و مرکبات به دست می دهد. بر این اساس و توضیحاتی که در متن آمده است، محالات ذاتی را باید الفاظ مرکبی دانست که از طریق بازی با الفاظ ایجاد شده اند و هیچ مفهومی را به ذهن نمی آورند، بلکه صرفاً ذهن را به توهم معنایابی می اندازند؛ محالات ذاتی «مفهوم نما» هستند. پیامدهای مهم این نظریه در این نوشتار به اجمال مورد اشاره قرار گرفته اند.
انتقال ضرورت در موجهات ارسطو؛ نگاهی ارسطویی(مقاله علمی وزارت علوم)
حوزه های تخصصی:
یکی از مسائل اساسی و مهم، راجع به موجهات ارسطو ناهم خوانی آرای وی در باب ضرورت، با آموزه های وی در حالت قیاس های مطلقه است. این مسئله از زمان خود ارسطو تاکنون مناقشات بسیاری را ایجاد کرده و تا امروز بیش تر محققان را به این نتیجه رسانده که ارسطو در موجهات خود دچار تناقض است. در این مقاله سعی شده تا با قرائتی جدید ولی تا جای ممکن منطبق با آرای ارسطو، از متن آثار خود وی و همچنین آثار شارحان نزدیک تر به وی مانند اسکندر افرودیسی، تفسیری ارائه شود تا مسئلة انتقال ضرورت از یک مقدمة ضروری به نتیجه توضیح داده شده و دیدگاه و استدلال ارسطو که چنین موردی را ممکن می سازد روشن شود.
گزاره های همیشه صادق نزد خونجی در منطق مرتبه دوم(مقاله علمی وزارت علوم)
حوزه های تخصصی:
افضل الدین خونجی، برای نخستین بار در تاریخ منطق، در میان گزاره های حقیقیه و خارجیه، گزاره های همیشه صادق و گزاره های همیشه کاذب را یافته است. این گزاره ها پیش از این در منطق مرتبه اول صورت بندی شده و مورد بررسی قرار گرفته اند و نشان داده شده است که صدق همیشگی این گزاره ها نیازمند پیش فرض «وجود فرضی معدومات» است. در این مقاله، این گزاره ها را در منطق مرتبه دوم بررسی کرده و نشان داده ایم که در این منطق، نیازی به پیش فرض یادشده نیست و گزاره های همیشه صادق خونجی بدون هر گونه پیش فرضی در منطق مرتبه دوم به عنوان قضیه اثبات پذیرند. اما تحلیل این گزاره ها در منطق مرتبه دوم نیز کاستی های خود را دارد. برای نمونه، صورت بندی موجبه جزئیه در گزاره های خارجیة الطرفین بسیاری از گزاره های کاذب را صادق می سازد. این نشان می دهد که تحلیل این گزاره ها، چه در منطق مرتبه اول و چه در منطق مرتبه دوم، کاستی هایی دارد و نیازمند زدودن است.
مقایسةآرای منطقدانان قرن سیزدهم میلادی و گلنبوی در طرح قیاس(مقاله علمی وزارت علوم)
حوزه های تخصصی:
تفسیر منطقدانان سنتی از قیاس حملی به گونه ای است که آنها را در تحلیل قیاس مساوات و سایر قیاس های متضمن نسبت، با مشکل روبرو می کند. منطقدانان قرن سیزدهم میلادی برای بیرون رفتن از این مشکل دو شیوه را بکار می بندند. یک شیوه، همان شیوة ابن سینا است یعنی اضافه کردن یک مقدمه به قیاس و شیوه دوم، راه حل فخررازی و کاتبی است که بدون اضافه کردن مقدمه ای و با تکیه بر حدوسط شرایط انتاج قیاس را فراهم می کنند. کلنبوی در قرن هجدهم سعی می کند با تحلیل دیگری از قیاس های متضمن نسبت، راهی را برای توجیه دقیق تر این قیاس ها باز کند.
هنجاری بودن معنا(مقاله علمی وزارت علوم)
حوزه های تخصصی:
بسیاری از فیلسوفان مدعی هستند که معنا و محتوای سمانتیکی زبان، امری هنجاری است، یعنی معنای یک کلمه تعیین کنندة الگوی درست کاربرد بوده و این الگو را تجویز می کند. مهم ترین استدلال هایی که فیلسوفانی مانند کریپکی و بوقوسیان به نفع هنجاری بودن معنا ارائه داده اند بر مفاهیمی مانند «قواعد»، «کاربردهای صحیح»، و «امکان خطای سمانتیکی» استوار است. اما برخی فلاسفه، ادعای هنجاری بودن معنا را زیر سؤال برده و انتقاداتی به آن وارد کرده اند. در این مقاله از این نظریه که هنجارهای زبانی ریشه در جنبة اجتماعی زبان دارند دفاع می شود؛ یعنی معنای کلمات به خودی خود، در مورد کاربردهای صحیح و ناصحیح بی طرف است، اما قوانین اخلاقی یا اجتماعی هر جامعه هنجارهایی را به زبان تحمیل می کند.
تعریف قضایای اولی از منظر محمدتقی مصباح یزدی(مقاله علمی وزارت علوم)
حوزه های تخصصی:
در میان فلاسفة اسلامی معاصر محمدتقی مصباح یزدی دارای نظریه ای در باب ماهیت قضایای اولی است. وی قائل است که قضایای اولی قضایایی اند که اولاً تحلیلی اند و ثانیاً مفاهیم تشکیل دهندة آن ها، معقولات ثانیة فلسفی اند. در مقالة حاضر ابتدا نظریة مصباح یزدی دربارة ماهیت قضایای اولی را شرح می دهیم و سپس با توجه به تعریف رایج از قضیة اولی نشان می دهیم که قضایای اولی ای وجود دارند که طبق نظریة وی اولی محسوب نمی شوند؛ مثال های اولی ای که ارائه خواهد شد فاقد یکی از شروطی هستند که مصباح یزدی برای قضایای اولی قرار می دهد. برخی از این مثال های اولی، حملی و برخی دیگر شرطی هستند. مثال های حملی با این مشکل مواجه اند که مفاهیم به کاررفته در آن ها، معقولات ثانیة فلسفی نیستند و مثال های شرطی با این مشکل مواجه اند که نه اجزای آن ها از معقولات ثانیة فلسفی تشکیل شده است و نه تحلیلی اند.[i] نتیجه این خواهد شد که دو شرطی که مصباح یزدی برای قضایای اولی قرار می دهد خدشه پذیر است.
نقد و بررسی روش شناسی ارسطو از منظر هینتیکا(مقاله علمی وزارت علوم)
حوزه های تخصصی:
نه تنها نزد همگان پذیرفته شده است که ارسطو مدون علم منطق است، بلکه اغلب بر این باورند که آن چه او تدوین کرد نه فقط «علم منطق»، بلکه «منطق علم» یا روش شناسی نیز به شمار می آید. تاکنون ارسطوپژوهان، از میان مؤلفه های روش شناسی ارسطویی، نقش اصلی و محوری را به نظریة برهان و روش قیاسی وی داده اند و سایر اجزای منطق وی، مانند جدل، را در حاشیه قرار داده اند. اما برخی معاصرین مانند یاکو هینتیکا علیه چنین دیدگاهی استدلال کرده اند و نشان داده اند که دیالکتیک در روش شناسی ارسطو نقشی هم تراز نظریة قیاس دارد و یکی از سه ضلع اصلی ساختار روش شناسی ارسطوست. هینتیکا در پرتو نگاهی متوازن به اجزای دستگاه منطقی ارسطو، سازگاری و هماهنگی میان روش مطرح شده در ارغنون، با مسائل متافیزیکی و با روش غالب زمانة او را نمایان می کند. علاوه بر این هینتیکا نشان می دهد که این روش شناسی از نتایج نظریة روان شناسی شناخت ارسطویی است.
بررسی شرایط سه گانه تسلسل محال(مقاله علمی وزارت علوم)
حوزه های تخصصی:
حکما با توسل به شرایط سهگانه «فعلیت اجزاء»، «اجتماع در وجود» و «ترتب حقیقی»، کوشیدهاند تا وجود نامتناهی در مجموعهایی همانند سلسله اعداد، حوادث زمانی و نفوس مفارق را توجیه کنند و آن ها را از گزند برهانهای ابطال تسلسل مصون دارند.
در این مقاله نشان داده میشود که توسل به شرایط مذکور برای خروج سلسله اعداد، حوادث زمانی، و نفوس مفارق از دایره نامتناهی بالفعل با موفقیت همراه نبوده است. تلازم عدد با کثرت در شرط اول، فقدان معنای مناسب برای اصطلاح «معیت» در شرط دوم، و لحاظ محدودیتهای ذهن انسانی در توجیه شرط سوم سبب میگردد که کارآیی این شروط با چالشی جدی روبه رو گردد.
صورت بندی گزاره های موجهه نزد خونجی در منطق موجهات زمانی جدید(مقاله علمی وزارت علوم)
حوزه های تخصصی:
اگر به دسته بندی بی نظیر گزارة موجهة خونجی در کتاب کشف الأسرار، مراجعه کنیم با مجموعه ای 34 عضوی مواجه خواهیم شد. 15 گزاره از این مجموعه توسط منطق دانان پیش از خونجی بیان شده، اما 19 گزارة دیگر را او افزوده است. پیگیری چگونگی صورت بندی این گزاره ها توسط خونجی این گونه می نماید که وی در صورت بندی خود 2 گزاره را از قلم انداخته و 32 گزارة دیگر را که به دو دستة اصلی(دارای 13 عضو) و فرعی ( دارای 19 عضو) دسته بندی می شوند، صورت-بندی کرده است. در بخش نخست این مقاله، به شرح و توضیح این گزاره ها پرداخته شده است.
منطق دانان جدید پس از مواجهه با گزارة موجهه، سعی کردند جهت گزاره را به صورت نمادین نمایش دهند. از جمله تلاش های صورت گرفته در این راستا، مساعی نیکولاس رشر است. اینکه می گوییم ""تقریباً موفق بوده"" به دلیل وجود کاستی هایی است که در این صورت بندی و دیگر صورت بندی ها وجود دارد؛ زیرا در گزارة موجهه علاوه بر ""جهت""، قید دیگری نیز وجود دارد ( در این مقاله آن را ""قید زمانی"" نامیده ایم) که این صورت بندی ها در نمایش آن ناموفق بوده اند. در این مقاله طرحی نو درانداخته و با نظر به اینکه "" زمان در قیود زمانی متغیر است، پس از تعریف متغیر""t"" ، صورت بندی ای به مراتب گویاتر از دیگران ارائه کرده ایم.
دستگاه منطقی قرآن کریم در افق منطق صوری(مقاله علمی وزارت علوم)
حوزه های تخصصی:
هر چیزی که ساختار منسجم و معقولی دارد، دارای ساختار و دستگاهی منطقی است. قرآن کریم نیز در مقام کتاب آسمانی ای که بر پیامبر اکرم(ص) نازل شده، دارای ساختار و دستگاهی منطقی است. از آنجا که قرآن کریم بر انسان ها نازل شده و قصد خروج انسان ها از ظلمت ها به نور را دارد باید دارای ساختاری بر وفق ادراک انسان ها باشد. ساختار فکری و ادراکی انسان ها بر ساختار منطق ارسطویی ـ که چیزی جز ساختار ادراکی و فکری نوع بشر نیست ـ مبتنی است. از این روی، ساختار قرآن کریم نیز ـ به این دلیل که خطاب به انسان هاست ـ باید براساس ساختار منطق ارسطویی باشد. ساختار منطق ارسطویی مبتنی بر برهان و خطابه و جدل و شعر و سفسطه است. ساختار قرآن کریم نیز مبتنی بر منطق ارسطویی ـ یعنی منطق نوع بشر ـ است، منتهی از آنجا که قصد قرآن کریم خروج آدمی از ظلمت ها به نور است، با دوری جستن از تعابیر شعری (خیالی) و سفسطی (کاذب)، به برهان و خطابه و جدل اکتفا نموده است.
نقضِ «نقض موضوع»(مقاله علمی وزارت علوم)
حوزه های تخصصی:
در کتاب های منطق اسلامیِ دوره معاصر، «نقض موضوع» را قاعده ای برشمرده اند که بر پایه آن می توان از یک گزاره کلّیِ صادق، گزاره صادق دیگری را به دست آورد که موضوع اش نقیض موضوع گزاره نخستین باشد و کمّ و کیف اش نیز دگرگون شده باشد. بنابراین، با کاربست این قاعده بر موجَبی کلّی مانند «هر الف ب است» سالبی جزئی همچون «برخی از نه ـ الف ب نیست» به دست می آید. در این جستار، امّا، نمایان خواهد شد که همواره چنین نیست، بل که گاه نتیجه نیز مانند مقدّمه، موجبی کلّی مثل «هر نه ـ الف ب است» از آب درمی آید؛ و آن هنگامی است کهموضوع گزاره اصلی اخصّ مطلق از محمول، و محمول برابر با عام ترین مفهوم کلّی باشد. بدین سان آشکار خواهد شد که قاعده نقض موضوع کلّیت ندارد و تخصیص بَردار است.
صدق های منطقی غیرضروری از منظر زالتا(مقاله علمی وزارت علوم)
حوزه های تخصصی:
رأی سنتی درباره صدق های منطقی، آن ها را ضروری می داند اما به ضروری بودن این صدق ها از منظرهای مختلف انتقادهایی وارد شده است. دیوید کاپلان و ادوارد زالتا با معرفی عملگرهایی منطقی مدعی اند که می توان جملاتی ساخت که بنا بر تعریفِ متعارف صدق منطقی باشند، با این حال در همه جهان ها صادق نباشند. ویلیام هانسن مثال های زالتا را مبتنی بر پیش فرض هایی ناموجه می داند و به ویژه مفهوم اعتبار جهان بالفعل را تلقی درستی از اعتبار در صدق های منطقی نمی داند اما زالتا و نلسن در مقاله ای به انتقادهای او پاسخ می دهند و آن انتقادات را مبتنی بر آرائی دفاع ناپذیر می دانند. در این مقاله ابتدا صدق منطقی و تبیین تارسکی از آن را معرفی می کنیم سپس به ارائه مثال های کاپلان و زالتا می پردازیم. آنگاه انتقادات هانسن و پاسخ هایی را که به آن ها داده شده ذکر می کنیم و در انتها می کوشیم ریشه این اختلاف را در مبانی ما بعد الطبیعی طرفین بحث نشان دهیم.
معضل مثال نقض در قیاس ارسطو تحلیل و نقد روش اوکاسیویچ(مقاله علمی وزارت علوم)
حوزه های تخصصی:
منطق ارسطو از دیرباز یکی از سیستم های منطقی مورد توجه فلاسفه و حکما بوده است. از آن جا که لازمة داشتن نگاهی کاربردی به منطق ارسطو، فهم قیاس و اشکال سه گانه اش است، در این مقاله به بحث قیاس به طور جدی پرداخته خواهد شد. یکی از مباحث مهم قیاس ارسطو ضرب های منتج و عقیم است، با این حال نکتة جالب این است که در اعصار گذشته آن چنان که به ضرب های منتج توجه می شده است به ضرب های عقیم توجه نمی شد. در این پژوهش تلاش می شود در کنار تشریح ضرب های منتج به ضرب های عقیم به عنوان مسئله ای اصلی در منطق ارسطو پرداخته شود.
تحلیل و اثبات قیاس مساوات با تکیه بر مبحث نسب اربعه در منطق قدیم(مقاله علمی وزارت علوم)
حوزه های تخصصی:
«دو چیز مساوی با یک چیز، خود با هم مساوی اند»؛ این جملة معروف از دوران یونان باستان و شاید پیش از آن به مثابة اصلی بدیهی، در میان عام و خاص پذیرفته شده است. با ورود منطق به حوزة اسلامی، ابن سینا و پس از او اغلب منطق دانان مسلمان می کوشند تا آن را به مدد قیاس ارسطویی و یا روش های دیگر اثبات کنند، که به نظر می آید کوشش آن ها چندان ثمری نداشته است و مورد نقد و ایراد است. بحث پیرامون این قیاس و انواع مشابه آن که به تدریج مطرح شد، در میان معاصران نیز ادامه دارد. به نظر می آید عدم توجه به محتوای مقدمات این قیاس موجب ناکام ماندن تلاش ها بوده است. با بهره گیری از مبحث نسب اربعه، در تحلیل آن مقدمات، قیاس مساوات به راحتی اثبات می شود، با این پیش فرض که حدود وارد شده در این قیاس، مفاهیمی کلی هستند. علاوه بر این از درهم آمیختن دو مبحث قیاس و نسب اربعه، علاوه بر حل قیاس مساوات، قیاس های متعدد دیگری که متضمن نسبت هستند پدید می آیند که همگی با روش قبلی و در داخل منطق قدیم قابل اثبات هستند.
استدلالِ هستی شناسیکِ گودل(مقاله علمی وزارت علوم)
حوزه های تخصصی:
کورت گودل در فوریة ۱۹۷۰ با دِینا اسکات دربارة استدلال هستی شناسیک خود به بحث نشست و اسکات در پاییز همان سال روایتی تا حدی متفاوت از آن را در سمیناری در دانشگاه پرینستون ارائه کرد. نظام منطقی استدلال، منطق موجهات مرتبة دوم در نظام S5 است، با این همانی و یک اصل انتزاع ویژگی ها. به شرط پذیرش نظام منطقی، نتیجة گودل، این که ضرورتاً موجودی خدای ـ گونه وجود دارد ( ) از مقدمات به دست می آید، اما سوبل نشان داد که استدلال با شکست وجهی مواجه است؛ یعنی از سیستم قابل استنتاج است. اندرسون در پاسخ به سوبل تلاش کرد با ضعیف ترکردن برخی مقدمات، راه را بر استنتاج سوبل ببندد.
در این مقاله تلاش خواهم کرد استدلال هستی شناسیک گودل (روایت اسکات) و همچنین انتقاد سوبل را از دیدگاهی منطقی توضیح دهم. مقاله با بیان اصلاحات اندرسون پایان خواهد یافت.
سیر تاریخی نسبت های چهارگانه در منطق اسلامی(مقاله علمی وزارت علوم)
حوزه های تخصصی:
این مقاله از زاویه ای تاریخی به بحث پیرامون «نسب اربع» یا رابطة میان مفاهیم کلی می پردازد. منطق دانان بزرگ پیش ـ ابن سینایی نظیر ارسطو و فارابی و همچنین شیخ الرئیس ابوعلی سینا به موضوع «نسبت های چهارگانه» بین مفاهیم کلی از حیث صدق و انطباق تفطنی نداشته اند. غزالی نخستین فیلسوفی است که این موضوع را در چهار نسبت به حصر عقلی، و بدون ذکر رابطة تباین مطرح می کند. افضل الدین خونجی و سراج الدین ارموی به تبعیت از خونجی، نخستین منطق دانان پس از غزالی هستند که موضوع نسبت های چهارگانه به شکل کنونی آن و نیز نسبت بین نقایض آن ها را تبیین کرده اند.
بررسی نظریة معنای کواین با محوریت تز عدم تعین ترجمه(مقاله علمی وزارت علوم)
حوزه های تخصصی:
نظریة معنای کواین را می توان از چند جنبه بررسی کرد. این مقاله بر یکی از مهم ترین جوانب آن، یعنی تز عدم تعین ترجمه، تمرکز می کند. در تز مذکور چند وجه از فلسفة کواین با هم ادغام شده اند و همین باعث شده است که بررسی و تفسیر آن بسیار پیچیده شود. تز عدم تعین ترجمه می گوید که در انتخاب بین دو یا چند دستورالعمل ترجمة با هم ناسازگار، که هرکدام با تمام معیارهای رفتارشناختی افراد بومی تطابق داشته باشد، واقع امری برای ترجیح یکی بر دیگری وجود ندارد. این مقاله با تکیه بر تمایز، یا دقیق تر عدم تقارن، بین عدم تعین ترجمه و نامتعین بودن نظریة ناظر به طبیعت، سعی می کند نشان دهد که محتوای خاص این تز ادعایی وجودشناختی دربارة معناست. از این رو ابتدا به توضیح درک کواین از معنا، بررسی وجودشناسی مورد نظر او، و ارتباط بین این دو می پردازیم و سپس عدم تقارن بین دو تز پیش گفته را محل بحث قرار می دهیم. از رهگذر این مباحث می توان به درک جدیدی از نظریة معنا رسید.
کواین در برابر کریپکی(مقاله علمی وزارت علوم)
حوزه های تخصصی:
ما در این مقاله ضمن بررسی انتقادات مشهورتر کواین به منطق موجهات، تلاش می کنیم نشان دهیم که سوای ابعاد سمنتیکی مخالفت کواین با منطق موجهات، می توان دیدگاه او در معرفت شناسی را به مثابة لایه ای عمیق تر برای رد و طرد منطق موجهات در نظر گرفت، گرچه خود کواین تصریحی به این نحوة انتقاد از منطق موجهات نکرده است. در این میان اشاراتی به نظرات کریپکی، که یکی از جدی ترین مدافعین منطق موجهات است می کنیم و بر این باوریم که آرای کواین و انتقادات او به منطق موجهات را در تقابل با آرای کریپکی بهتر می توان فهمید.
دربارة چند استدلال هستی شناسیک گودلی(مقاله علمی وزارت علوم)
حوزه های تخصصی:
جردن هوارد سوبل در مقالة ۱۹۸۷، و سپس در کتاب ۲۰۰۴ خود، نشان داد که استدلال هستی شناسیک جدیدی که گودل در سال ۱۹۷۰ پیشنهاد کرد با شکست وجهی مواجه است و درواقع صحیح نیست. سی. انتونی اندرسون در سال ۱۹۹۰ اصلاحاتی پیشنهاد کرد و در آن راه را بر اثبات قضایای سوبل بست و نشان داد که می توان روایتی از استدلال گودل داشت که با شکست وجهی مواجه نباشد. اما گراهام آپی با نقیضه ای که در سال ۱۹۹۶، و سپس ۲۰۰۰، مطرح ساخت نشان داد که استدلال هنوز نتایج نامطلوبی دارد و همچنان می توان در صحت آن شک داشت. الکساندر پراس نیز در مقالة ۲۰۰۹ خود از چند استدلال هستی شناسیک گودلی دفاع کرد که در برابر این نقیضه مصون هستند. در این مقاله، پس از اشاره ای کوتاه به استدلال هستی شناسیک گودل (روایت اسکات)، به انتقادات سوبل، اصلاحات اندرسون، نقیضة آپی و درنهایت استدلال هایی که پراس مطرح کرده است خواهم پرداخت.