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

تطور تاریخی تقسیم گزاره حملی از حیث موضوع(مقاله علمی وزارت علوم)

کلید واژه ها: شخصی مهمل علامه حلی تقسیم¬بندی قضیه مسور عقدین

حوزه های تخصصی:
  1. حوزه‌های تخصصی فلسفه و منطق منطق صوری سنتی منطق ارسطویی منطق عالم اسلام
  2. حوزه‌های تخصصی علوم اسلامی منطق، فلسفه و کلام اسلامی منطق قضایا و احکام آن
تعداد بازدید : ۲۱۳۸ تعداد دانلود : ۱۰۴۲
ارسطو در آغاز کتاب قیاس (تحلیل اولی) گزارة حملی را به دو قسم مسور و مهمل طبقه¬بندی می¬کند. منطق¬دانان پیشین در دورة اسلامی، طبقه¬بندی گزارة حملی را در "کتاب عبارت"طرح و آن را به سه قسم شخصی، مسور و مهمل افزایش دادند. منطق¬دانان دو بخشی متأخر (از سده هفتم به بعد) طبیعیه را نیز بر آنها افزودند. علامه حلی طبقه¬بندی پنج¬گانه¬ای را ارائه می¬دهد. امروزه یدگاه رایج از آن منطق¬دانان دو بخشی متأخر است. اما دیدگاه علامه حلی نزد اصولیان مؤثر افتاد. تبیین تطور تاریخی طبقه¬بندی گزارة حملی و نقد و تحلیل این دیدگاه مسأله تحقیق حاضر است. در پرتو نقد ملاک تقسیم¬بندی و با توجه به اصل ارجاع مهمل به جزیی و طبیعیه به شخصی می¬توان به تقسیم¬بندی دوگانه¬ای رسید. قضیه یا شخصی و در حکم شخصی، یا مسور و در حکم مسور است. همچنین ملاک تقسیم در این طبقه¬بندی قابل نقد است. در پرتو این نقد روشن می¬شود که این طبقه¬بندی فراتر از ملاک موضوع بر تمایز ساختاری استوار است.
۳۸۶.

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

نویسنده:

کلید واژه ها: منطق الاهیات منطق موجهات (Modal Logic) منطق آزاد (Free Logic) گزاره ضرور ازلی برهان پذیری نحو ( Syntax ) معنا ( Semantic )

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

نکاتی در باب قضیه دروغگو

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

دیدگاه ارجاعی در پازل فرگه و کریپکی(مقاله پژوهشی حوزه)

۳۹۲.

منطق فازی و کاربردهای آن در نظام بهره برداری کشاورزی

۳۹۴.

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

کلید واژه ها: منطق منطق قدیم منطق جدید فلسفة منطق فرامنطق

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

مفهوم صدق از دیدگاه ویتگنشتاین(مقاله علمی وزارت علوم)

۳۹۸.

پارادوکس های منطقی(مقاله علمی وزارت علوم)

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

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

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

درجه علمی

مجله

سال

زبان