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

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

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

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

با توجه به چارچوب نظری اندیشه اسلام از منظر استاد علامه جوادی آملی که بر چهار مؤلفه اصلی علل غایی، فاعلی، مادی و صوری مبتنی است، بررسی نسبت (باورها و ارزش‎های) فلسفه محض با فلسفه علوم انسانی اسلامی و نیز نسبت فلسفه مضاف اخیر با مجموعه علوم انسانی اسلامی، در تولید علوم انسانی اسلامی دارای اهمیت است. از منظر این اندیشمند، در منظومه یک اندیشه یا دین و یا عینیت، داشتن تبیین، تحریر و تحلیل بهتر از ح...

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

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

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

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

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