فیلترهای جستجو:
فیلتری انتخاب نشده است.
نمایش ۲۴۱ تا ۲۶۰ مورد از کل ۵۵۶ مورد.
صدق های منطقی غیرضروری از منظر زالتا(مقاله علمی وزارت علوم)
حوزه‌های تخصصی:
رأی سنتی درباره صدق های منطقی، آن ها را ضروری می داند اما به ضروری بودن این صدق ها از منظرهای مختلف انتقادهایی وارد شده است. دیوید کاپلان و ادوارد زالتا با معرفی عملگرهایی منطقی مدعی اند که می توان جملاتی ساخت که بنا بر تعریفِ متعارف صدق منطقی باشند، با این حال در همه جهان ها صادق نباشند. ویلیام هانسن مثال های زالتا را مبتنی بر پیش فرض هایی ناموجه می داند و به ویژه مفهوم اعتبار جهان بالفعل را تلقی درستی از اعتبار در صدق های منطقی نمی داند اما زالتا و نلسن در مقاله ای به انتقادهای او پاسخ می دهند و آن انتقادات را مبتنی بر آرائی دفاع ناپذیر می دانند. در این مقاله ابتدا صدق منطقی و تبیین تارسکی از آن را معرفی می کنیم سپس به ارائه مثال های کاپلان و زالتا می پردازیم. آنگاه انتقادات هانسن و پاسخ هایی را که به آن ها داده شده ذکر می کنیم و در انتها می کوشیم ریشه این اختلاف را در مبانی ما بعد الطبیعی طرفین بحث نشان دهیم.
نقدی بر مبانی منطق
شرایط صورى تعریف(مقاله علمی وزارت علوم)
حوزه‌های تخصصی:
تعریف، به ادعاى منطق دانان، راهکارى است براى تحصیل مجهول تصورات؛ به گونه اى که براى شناخت حقیقى برخى از امور، هیچ راهى نداریم جز توسل به تعریف. اکنون پرسش آن است که در کجا و در چه صورتى، تعریف مى تواند کارایىِ این چنین داشته باشد؟ یافتن بخشى از پاسخ، ما را به بحث درباره شرایط تعریف سوق مى دهد که بخشى از آنها، شرایط صورى تعریف است. از مهم ترین شرایط صورى تعریف، ترکیب و نحوه چینش اجزاى تعریف است؛ اما پذیرش این شرط مستلزم بحث هاى بیشترى است که حاکى از درهم تنیدگى این بحث بوده و پیگیرى آنها ما را به نتیجه مى رساند که تعریف صرفا یک بحث منطقى نیست، بلکه هویت فلسفى و معرفت شناختى نیز دارد، همان گونه که ابعاد زبانى دارد.
نقدِ انتقاداتِ شباهت خانوادگیِ ویتگنشتاین به تعاریفِ ارسطویی(مقاله علمی وزارت علوم)
حوزه‌های تخصصی:
نظریة "شباهت خانوادگیِ" ویتگنشتاین تأثیرگذارترین نظریة معاصر در باب "تعریف"، یا، به عبارت بهتر، در مقابلِ "تعریف" است. مقابلة اصلی این نظریة با "تعاریف ذاتی" است که ارسطو به عنوان سردمدار آن شناخته می شود. این نظریة را در دوران معاصر چالشی برای ذات گرایی در نظر گرفته اند. در این جستار، بعد از بیان نگرة شباهت خانوادگی و زمینه های بروز آن در تقابل با تعاریف ارسطویی، با استخراج انتقاداتِ این نگره بر تعاریف ذاتیِ ارسطو و یافتن پاسخ این انتقادات با توجه به متن آثار ارسطو، سعی دارم نشان دهم که طرح چنین انتقاداتی به تعاریف ارسطویی ناشی از فهم نادرست و ناآگاهی ویتگنشتاین نسبت به نگرة "تعاریف ذاتیِ" مدنظر ارسطو است. برای دست یابی به این مطلوب از دو روش پدیدارشناسی و تحلیلی بهره خواهم برد. بررسی آثار دست اولِ فلاسفة مذکور از اولویت های این پژوهش به شمار می آید.
گزاره های همیشه صادق نزد خونجی در منطق مرتبه دوم(مقاله علمی وزارت علوم)
حوزه‌های تخصصی:
افضل الدین خونجی، برای نخستین بار در تاریخ منطق، در میان گزاره های حقیقیه و خارجیه، گزاره های همیشه صادق و گزاره های همیشه کاذب را یافته است. این گزاره ها پیش از این در منطق مرتبه اول صورت بندی شده و مورد بررسی قرار گرفته اند و نشان داده شده است که صدق همیشگی این گزاره ها نیازمند پیش فرض «وجود فرضی معدومات» است. در این مقاله، این گزاره ها را در منطق مرتبه دوم بررسی کرده و نشان داده ایم که در این منطق، نیازی به پیش فرض یادشده نیست و گزاره های همیشه صادق خونجی بدون هر گونه پیش فرضی در منطق مرتبه دوم به عنوان قضیه اثبات پذیرند. اما تحلیل این گزاره ها در منطق مرتبه دوم نیز کاستی های خود را دارد. برای نمونه، صورت بندی موجبه جزئیه در گزاره های خارجیة الطرفین بسیاری از گزاره های کاذب را صادق می سازد. این نشان می دهد که تحلیل این گزاره ها، چه در منطق مرتبه اول و چه در منطق مرتبه دوم، کاستی هایی دارد و نیازمند زدودن است.
تشکیک فازی/ نقد و بررسی گذار از تشکیک گسسته به پیوسته و از پیوسته به متداخل
حوزه‌های تخصصی:
ساختار نحوی و معنایی منطق موجهات محمولی از دیدگاه کریپکی
حوزه‌های تخصصی:
سول کریپکی برای تبیین منطق موجهات محمولی دو نظام جداگانه (در سال های 1959م و 1963م) طراحی کرده است. در این مقاله با بررسی اجمالی ساختار نحوی و ساختار معنایی دو نظام مذکور، به مقایسه آن ها و میزان کارآیی هرکدام در تبیین منطق موجهات محمولی پرداخته شده است.
تاثیر منطق رواقی - مگاری بر منطق ابن سینا
حوزه‌های تخصصی:
صورت بندی گزاره های موجهه نزد خونجی در منطق موجهات زمانی جدید(مقاله علمی وزارت علوم)
حوزه‌های تخصصی:
اگر به دسته بندی بی نظیر گزارة موجهة خونجی در کتاب کشف الأسرار، مراجعه کنیم با مجموعه ای 34 عضوی مواجه خواهیم شد. 15 گزاره از این مجموعه توسط منطق دانان پیش از خونجی بیان شده، اما 19 گزارة دیگر را او افزوده است. پیگیری چگونگی صورت بندی این گزاره ها توسط خونجی این گونه می نماید که وی در صورت بندی خود 2 گزاره را از قلم انداخته و 32 گزارة دیگر را که به دو دستة اصلی(دارای 13 عضو) و فرعی ( دارای 19 عضو) دسته بندی می شوند، صورت-بندی کرده است. در بخش نخست این مقاله، به شرح و توضیح این گزاره ها پرداخته شده است.
منطق دانان جدید پس از مواجهه با گزارة موجهه، سعی کردند جهت گزاره را به صورت نمادین نمایش دهند. از جمله تلاش های صورت گرفته در این راستا، مساعی نیکولاس رشر است. اینکه می گوییم ""تقریباً موفق بوده"" به دلیل وجود کاستی هایی است که در این صورت بندی و دیگر صورت بندی ها وجود دارد؛ زیرا در گزارة موجهه علاوه بر ""جهت""، قید دیگری نیز وجود دارد ( در این مقاله آن را ""قید زمانی"" نامیده ایم) که این صورت بندی ها در نمایش آن ناموفق بوده اند. در این مقاله طرحی نو درانداخته و با نظر به اینکه "" زمان در قیود زمانی متغیر است، پس از تعریف متغیر""t"" ، صورت بندی ای به مراتب گویاتر از دیگران ارائه کرده ایم.
کتابشناسی دکتر عزت الله فولادوند
حوزه‌های تخصصی:
نگاهی به تفسیر و انتقادات دامت از آموزه های فرگه پیرامون مباحث معناشناسی
حوزه‌های تخصصی:
تطبیقی پیرامون قضایای کلی و جزئی در منطق جدید و قدیم
حوزه‌های تخصصی:
ابن سینا و گودل:«عدم برهان بر امتناع» یا «برهان بر عدم امتناع»؟(مقاله علمی وزارت علوم)
حوزه‌های تخصصی:
- حوزه‌های تخصصی فلسفه و منطق فلسفه غرب رویکرد تاریخی دوره معاصر (قرون 20 و 21) فلسفه تحلیلی
- حوزه‌های تخصصی فلسفه و منطق منطق فرامنطق تصمیم پذیری (گودل و...)
- حوزه‌های تخصصی علوم اسلامی منطق، فلسفه و کلام اسلامی منطق کلیات
- حوزه‌های تخصصی علوم اسلامی منطق، فلسفه و کلام اسلامی فلسفه اسلامی کلیات مکتب های فلسفی فلسفه مشاء
گودل امکان فرضیه تعمیم یافته پیوستار را از رهگذر برهان بر عدم امتناعِ آن ثابت می کند؛ این در حالی است که بر پایه سخن ابن سینا در بند ما قبل آخرِ اشارات، عدم برهان بر امتناعِ چیزی برای اثبات امکان آن بسنده است. اکنون شایسته است بپرسیم که آیا کار گودل بیهوده است، یا سخن ابن سینا نادرست؟ پاسخ این جستار گزینه سوم است: هیچ کدام. «امکان» در فلسفه اسلامی دست کم هشت معنا دارد:1 امکان عام؛ 2 امکان خاص؛ 3 امکان اخص؛ 4 امکان استقبالی؛ 5 امکان استعدادی؛ 6 امکان وقوعی؛ 7 امکان فقری؛ 8 احتمال. در سخن ابن سینا امکان به معنای احتمال است که امری ذهنی، انفسی، و سوبژکتیو است، و از این رو به چیزی بیش از عدم برهان بر امتناع نیاز ندارد؛ امّا امکان در کلام گودل امری عینی، آفاقی، و اُبژکتیو است که نیازمند برهان بر عدم امتناع است. بنابراین، نه کار گودل بیهوده است و نه سخن ابن سینا نادرست.
تعریف قضایای اولی از منظر محمدتقی مصباح یزدی(مقاله علمی وزارت علوم)
حوزه‌های تخصصی:
در میان فلاسفة اسلامی معاصر محمدتقی مصباح یزدی دارای نظریه ای در باب ماهیت قضایای اولی است. وی قائل است که قضایای اولی قضایایی اند که اولاً تحلیلی اند و ثانیاً مفاهیم تشکیل دهندة آن ها، معقولات ثانیة فلسفی اند. در مقالة حاضر ابتدا نظریة مصباح یزدی دربارة ماهیت قضایای اولی را شرح می دهیم و سپس با توجه به تعریف رایج از قضیة اولی نشان می دهیم که قضایای اولی ای وجود دارند که طبق نظریة وی اولی محسوب نمی شوند؛ مثال های اولی ای که ارائه خواهد شد فاقد یکی از شروطی هستند که مصباح یزدی برای قضایای اولی قرار می دهد. برخی از این مثال های اولی، حملی و برخی دیگر شرطی هستند. مثال های حملی با این مشکل مواجه اند که مفاهیم به کاررفته در آن ها، معقولات ثانیة فلسفی نیستند و مثال های شرطی با این مشکل مواجه اند که نه اجزای آن ها از معقولات ثانیة فلسفی تشکیل شده است و نه تحلیلی اند.[i] نتیجه این خواهد شد که دو شرطی که مصباح یزدی برای قضایای اولی قرار می دهد خدشه پذیر است.
روش منطقی و فطری در روایات
حوزه‌های تخصصی: