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

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

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

فرانتس برنتانو ‌Franz Brentano (1838-1917))) یکی از فیلسوفان نیمة دوم قرن نوزدهم و اوایل قرن بیستم است. جایگاه ویژة وی را می‌شود از دو جنبه نشان داد. یکی آن پیوند یا پلی است که می‌توان به واسطة او بین فلسفة تحلیلی و قاره‌ای برقرار کرد و دیگری آن که آموزه‌ها و تحلیل‌های او هم چنان می‌تواند سرچشمة بسیاری از پژوهش‌های فلسفی باشد، همچنان که یک قرن پیش چنین بود، اما سایة سنگین شاگردان مستقیم و غیرمس...

هدف ما در این پایان نامه مطالعه ی منطق اثبات ها و برخی گسترش های آن است. منطق اثبات ها (cp) ابتدا توسط آرتموف در سال 1994 مطرح گردید. یکی از انگیزه های شکل گیری منطق اثبات هاارایه ی یک معنا شناسی اثبات پذیری دقیق برای s4 و صوری کردن تعبیر bhk برای منطق شهودی بود. cp گسترشی از منطق گزاره ای کلاسیک است که زبان آن علاوه بر نمادهای منطق گزاره ای شامل عملگرهای اثبات می باشد. در این پایان نامه ضمن بی...

الف. موضوع و طرح مسئله: زبان همچون تمامی نظامها، دارای لایه های مختلف ساختاری است که کارکردی مخصوص به خود دارند و افزون بر این، در تعامل با یکدیگرند. دستیابی به الگوهای عملکرد این نظامهای درون زبانی برای درک کارکرد زبان و ایجاد امکان مدلسازی آن حائز اهمیّت است، به ویژه الگوهایی که بتوانند عملکرد سطوح مختلف را فارغ از نظام یک زبان خاص توضیح دهند. ریاضیات به عنوان علمی که روابط و مفاهیم پیچیده را...

قواعد قیاس حملی، که معمولاً تحت عنوان “the rules of the categorical syllogism” در منابع آموزشی منطق به زبان انگلیسی مطرح می شود، روش مفیدی است که جهت تشخیص اعتبار قیاس های حملی، به منطق آموزان، در کتاب های عمومی آموزش منطق، ارائه می شود. استفاده از این قواعد به تقلید از آثار آموزشی غربی در کشور ما نیز متداول گشته و با اندک تغییراتی، در آثار مؤلفان منطقی در داخل کشور، بازنویسی شده است. این تغییرا...

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

«منطق به صورت نامحدود ... صوری نیست. اگر چنین بود، بدون محتوا می‌بود ... هیچ علمی کاملاً صوری نیست» (Frege, 1971:109). در ۱۸۹۹، دیوید هیلبرت نظام اصلِ موضوعیِ منقحی برای هندسة اقلیدسی عرضه کرد و با اثبات مشروط فراقضیه‌های سازگاری و استقلال برای این نظام، راه‌حلی برای یکی از مسائل دیرپای ریاضیات (مشهور به مسئلة خطوط موازی) ارائه داد. گوتلوب فرگه، پایه‌گذار منطق صوری جدید، مخالفت‌های بنیادینی با روی...

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