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

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

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

بحث دربارة هنر رمانتیک نزد فیلسوفان بسیار چالش برانگیز بوده است. هگل به عنوان فیلسوف و متفکر ایدئالیسم آلمانی از زمانی که با رهیافت خاص خود به تحلیل هنر رمانتیک پرداخت تاکنون همواره نکته گیری های ژرفش، اندیشمندان پس از او را به تأمل واداشته است. هگل به واسطة کتاب «پدیدارشناسی روح» و «علم منطق» مشهور شده است، و متن مستقلی در مورد زیبایی شناسی به طبع نیاورده است، اما این به این معنا نیست، که او د...

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

در این پایان نامه یکی از توسیع های منطق تکلیف به نام منطق ورودی/خروجی مورد بررسی قرار گرفته است. منطق تکلیف یکی از شاخه های منطق موجهات است که به بررسی گزاره های در باره وظیفه، مجوز و ممنوعیت می پردازد و در سال 1951 توسط فون رایت معرفی گردید. اما از همان ابتدا پارادوکسهای زیادی برای آن به وجود آمد. یکی از این توسیع منطق ورودی/خروجی است که در سال 2000 ارائه گردید و تا سال 2003 با ارائه دو مقاله ...

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

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