دیرپاترین صورت‌بندی نظری در قلمرو برنامه درسی "منطق تایلر" است که در کتاب معروف "اصول اساسی برنامه درسی و آموزش" منعکس شده است. این مقاله که با روش تحلیلی انجام شده، در صدد پاسخگویی به دو سؤال محوری است: 1) چه مضامینی از منطق تایلر هنوز هم موجه و قابل اعتناست؟ 2) مضامین مغفول این منطق کدامند؟ در این راستا ویژگی‌ها و عناصر اساسی منطق تایلر از قبیل اهداف آموزشی؛ منابع تعیین اهداف (فراگیران،...

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

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

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

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

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

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

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

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