چکیده: در این پایان نامه بعد از تعریف مفهوم کنترل، روابط و قضایای مربوطه را بررسی و به معرفی سیستم dcl-pc می پردازیم که منطقی برای استدلال درباره توانایی عوامل و ائتلافی از عوامل با استفاده از انتقال کنترل بین عوامل می باشد. پایه منطقی dcl-pc سیستم cl-pc می باشد. این سیستم منطقی است برای همکاری بین عوامل که عوامل مجموعه ای از متغییرهای گزاره ای را کنترل می کنند و توانایی ارزشدهی به متغییرها ر...

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

  در این مجال، به دنبال کشف مبانی و ویژگی‌های اصلی «فلسفۀ تحلیلی دین» هستیم؛ رویکردی که می‌کوشیم آن را به عنوان واکنش متفکران تحلیلی دین‌باور، نسبت به فضای الحادی و لاادری‌گرایانه نیمۀ دوم قرن بیستم معرفی کنیم. جهت‌گیری اصلی این مقاله، به سمت اثبات سه ویژگی عمده برای این رویکرد است: 1. تلاش برای وضوح حداکثری کلمات و در نظر گرفتن ارزش معرفتی برای فهم عرفی به جای اتمیسم منطقی؛ 2. توجه به دستاورده...

در این مجال، به دنبال کشف مبانی و ویژگی های اصلی «فلسفۀ تحلیلی دین» هستیم؛ رویکردی که می کوشیم آن را به عنوان واکنش متفکران تحلیلی دین باور، نسبت به فضای الحادی و لاادری گرایانه نیمۀ دوم قرن بیستم معرفی کنیم. جهت گیری اصلی این مقاله، به سمت اثبات سه ویژگی عمده برای این رویکرد است: 1. تلاش برای وضوح حداکثری کلمات و در نظر گرفتن ارزش معرفتی برای فهم عرفی به جای اتمیسم منطقی؛ 2. توجه به دستاوردهای...

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

این پایان نامه نامه از هفت فصل تشکیل شده است؛ فصل اول: ادعای تناقض باوری تناقض باور مدعی است که برخی از تناقض ها صادق اند. در باب این ادعا باید به سه نکته توجه کرد: 1- ادعای تناقض باوری چیزی فراتر از امکان تناقض است، تناقض باور مدعی است که در همین عالم واقع برخی از تناقض ها صادق هستند. 2- تناقض باور تنها صدق برخی از تناقض ها را تصدیق می کند. 3- نباید تعریف ما از تناقض کذب تناقض باوری پی...

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

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

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