در این پایان نامه نقش اگاهی در سیستم های چند عاملی بر پایه منطق مرتبه اول مورد بررسی قرار می گیرد.این کار در گذشته بر پایه منطق گزاره ای انجام شده است.در این پایان نامه سیستم های حالات سراسری معرفی می گردند.

 در پاسخ به مثال­های نقضی «ادموند گتیه» در باب کافی نبودن اجزای سه‌گانه در تعریف سه جزیی معرفت، «آلوین گلدمن»، معرفت­شناس معاصر، جزو چهارمی را به اجزای سه‌گانه‌ی تعریف می‌افزاید که به «شرط علّی معرفت» معروف است. بر مبنای این شرط، باور به یک گزاره باید معلول مستقیم یا نامستقیم محکی خارجی آن گزاره باشد. در این مقاله، از طریق مطالعه‌ی تطبیقی میان تقسیم گزاره‌ی مسوّره به حقیقیه و خارجیه از یک سو و شر...

فهم گزاره ها و مسائل هر علمى بر مبانى و قواعد خاصى استوار است که در اصطلاح، «منطق فهم» نامیده مى شود. پژوهش حاضر که درصدد بررسى منطق فهم روایات تفسیرى در المیزان است، آن را از نظرگاه مفسّر بزرگ، علامه طباطبایى(ره)، در بعد مبانى عقلى به تحقیق کشیده و منطق مذکور را در حوزه عصمت اهل بیت(علیهم السلام) در فهم و تفسیر قرآن، عدم تعارض آن با مسلمات عقلى، زبان عرفى داشتن روایات تفسیرى، وحدت منشأ در آیات ...

نظامهای معرفتی را می توان در قالب مجموعه ای از گزاره ها تنظیم کرد، گزاره هایی که خود از مجموعه ای از اصطلاحات پدید آمده اند. در هر نظام معرفتی بعضی گزاره ها از بعضی دیگر استنتاج شده و برخی اصطلاحات به کمک اصطلاحات دیگر تعریف می شوند. کاربرد روش هندسی در یک معرفت، گزینش مجموعه ای از گزاره ها و استنتاج گزاره های دیگر از آنها و انتخاب مجموعه ای از اصطلاحات و تعریف اصطلاحات دیگر بر مبنای آنهاست. در...

منطق پیوسته گسترشی از منطق مرتبه ی اول می باشد که برای مطالعه ی ساختارهای جبری مجهز به یک متریک طراحی شده است. منطق پیوسته بر مبنای فضای متریک، از نظر صورت بندی شباهت بسیار با منطق مرتبه اول دارد. هدف از این پایان نامه بررسی قضیه ی تمامیت در این منطق می باشد. صورت مرتبه اول این قضیه بیان می کند که جمله ای برهان پذیر است اگروتنها اگر خرسندپذیر باشد. صورت منطق پیوسته این قضیه تفاوت هایی با صورت ...

فهم گزاره ها و مسائل هر علمی بر مبانی و قواعد خاصی استوار است که در اصطلاح، «منطق فهم» نامیده می شود. پژوهش حاضر که درصدد بررسی منطق فهم روایات تفسیری در المیزان است، آن را از نظرگاه مفسّر بزرگ، علامه طباطبایی(ره)، در بعد مبانی عقلی به تحقیق کشیده و منطق مذکور را در حوزه عصمت اهل بیت(علیهم السلام) در فهم و تفسیر قرآن، عدم تعارض آن با مسلمات عقلی، زبان عرفی داشتن روایات تفسیری، وحدت منشأ در آیات ...

استدلال قضایی استنتاجی است که دادگاه از وقایع موضوع مورد رسیدگی و از خلال دلایل ابراز شده توسط طرفین دادگاه به عمل می آورد. از این تعریف چند نتیجه به دست می آید: نخست این که، این شیوه شباهت تامی با روشی منطقی دارد که در آن با موضوع و محمول که مقدمات قضیه هستند، استنتاج حاصل می شود؛ ثانیاً، استدلال قضایی دارای مبانی انکارناپذیری است که تمام مراحل دادرسی را معطوف به خود می داند و هر گزاره ای بدون ...

افضل‌الدین خونجی، برای نخستین بار در تاریخ منطق، در میان گزاره‌های حقیقیه و خارجیه، گزاره‌های همیشه‌صادق و گزاره‌های همیشه‌کاذب را یافته است. این گزاره‌ها پیش از این در منطق مرتبۀ اول صورت‌بندی شده و مورد بررسی قرار گرفته‌اند و نشان داده شده است که صدق همیشگی این گزاره‌ها نیازمند پیش‌فرض «وجود فرضی معدومات» است. در این مقاله، این گزاره‌ها را در منطق مرتبۀ دوم بررسی کرده و نشان داده‌ایم که در ای...

ویتگنشتاین در خصوص فلسفه نظرگاه کاملا متفاوتی دارد. او در رساله گزاره های فلسفه را مهمل می خواند و از این رو، برای فهم سیر تلقی او را از فلسفه، باید به نوشته های اولیه او رجوع کرد (او خود علاقه مند بود که رساله و پژوهشها با هم منتشر شوند.)ویتگنشتاین با طرح این دیدگاه پیشینی که زبان تصویر واقعیت است ، مجبور شد توابع و لوازم این نظرگاه را نیز بپذیرد: یعنی اینکه فقط گزاره های علوم تجربی با معنا خو...

ابن‌سینا شرطی لزومی با مقدّم ممکن و شرطی لزومی با مقدّم ممتنع را لزومی به‌حسب نفس‌الامر و لزومی به حسب الزام نامیده، و قسم دوم را در واقع و نفس‌الامر کاذب دانسته است. این حکمْ شگفت بلکه خلاف شهود است و، از این‌رو، نزاع‌های بسیاری در ردّ و قبول آن درگرفته است. در این مقاله، با گزارش انتقادی نزاع‌های یادشده، لزومی حقیقی و لفظی را به زبان منطق جدید و به کمک منطق موجّهات و منطق ربط تحلیل کرده‌ایم و نشان...