لوئیس کرول در مقاله «لاک پشت به آشیل چه گفت؟» یکی از بنیان های منطق را زیر سؤال می برد و در گفت وگویی خیالی این مسئله را مطرح می کند که اصولاً چرا باید از مقدمات یک استدلال به نتیجه رسید. آیا منطق به تنهایی می تواند توجیه کننده استفاده از منطق نیز باشد یا باید کاربرد منطق را در خارج از علم منطق توجیه کرد. در این مقاله، به دو رویکرد کلی در پاسخ به این سؤال توجه می شود. نخست، رویکردی کاملاً منطقی ک...

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

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

در آغاز ، قیاس ، دیدگاه کانت دربارۀ قیاس صوری و شکل های چهارگانه آن می آید؛ و اینکه تنهاشکل شکل اول قیاس صوری اهمیت دارد و شک ل های دیگر به شکل اول م ی توانند برگرداندهشوند. پس از آن شکل های گوناگون و قاعده های منطق کلاسیک - ارسطویی معرفی می گردند؛در پایان کوشش می شود با الگو گرفتن از زبان صوری منطق جدید، نظریۀ مجموع ه ها، به ویژهنمودار وِن، ثابت شود که چطور همۀ شکل های گوناگون قیاس ب ه شکل اول ...

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

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

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

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

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

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