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

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

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

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

کتاب «مبانی منطق و روش شناسی» را به‌عنوان مقدمه‌ای لازم و عام برای همه رشته‌ها و مقدمه‌ای خاص برای فراگیری منطق جدید (به‌ویژه کتاب‌های پیش گفته) بشمار می‌آورند. این کتاب از دو مبحث اصلی شامل شش بخش فرعی به ترتیب زیر تشکیل یافته است: مبحث اول: علم منطق بخش اول، منطق در زبان: 1- مطالعات زبانشناختی، 2- تعریف منطقی بخش دوم، منطق قیاسی: 3- منطق گزاره‌ها، 4- منطق محمولات کلاسیک 5- منطق محمولات جد...

بدون تردید ابن سینا یکی از چهره های بارز و شاید بارزترین چهره فرهنگ و تمدن اسلامی- ایرانی است.ابن سینا به اذعان خود(در مقدمه منطق المشرقیین) پس از عمری تلاش در تشریح ، تبیین و تکمیل میراث عقلی یو نان، به ساحتی از فلسفه دست یافته است که از آن به « فلسفه مشرقی » تعبیر می نماید . « منطق مشرقی » ابن سینا نیز بدون تردید، چه به لحاظ روش و چه به لحاظ محتوا در قیاس و در تناظر و تناسب با همین فلسفه مشرق...

نگاره­ی درخت، از کهن­ترین نگاره­های رایج در هنر هند است که پیوستگی قابل ملاحظه­ای با باورهای مذهبی و اسطوره­ای رایج در این سرزمین دارد. کهن­ترین تجلیات درخت در فرهنگ و هنر هندی بیش­تر در قالب سه شکل: درخت کیهانی (واژگون)، درخت زندگی و درخت بودهی (درخت تنویر بودا) دیده می­شود. این پژوهش با توجه به مساله ارتباط قابل ملاحظه­ی باورهای مذهبی رایج در هند با نگاره­ی درخت و بنا به اهمیت آن در نگارگری و...

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

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

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