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

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

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

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

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

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

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

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

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