اگر کسی فیلسوف باشد و بخواهد مشکل فلسفی حل کند، باید دید که آن مشکل عبارت از چیست؟ تصور رایج قدیمی این است که احساس باید تابع عقل باشد. بنابر قضاوت قدیمی معرفت و به‌ویژه اخلاق در بستر تاریخ یا به‌مثابه پیشین، صوری و عقلی و یا به‌مثابه نسبی، تجربی و عاطفی بوده است. از این‌رو بود که فیلسوفی مانند امانوئل کانت عقل صوری را از میان تقسیم‌بندی صورت-ماده،[1] یگانه راه رسیدن به معرفت قطعی و یقینی دانست...

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

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

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

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

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

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

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

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

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