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

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

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

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

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

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

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

زمینه: پزشکی سیستمی یک تغییر پارادایمی در پزشکی است که از دست مایه های تفکر بیولوژی سیستمی تغذیه کرده و با رهیافتی سیستمی به سلامت و بیماری نظر می کند. رهیافت سیستمی که در قالب پزشکی سیستمی تجلی یافته است تلاش می نماید تا با کاربرد فناوری های نوپدید و تصویر برداری های ملکولی از پیچیدگی های نهفته در بیماری ها پرده بردارد و از این رو ابزارهای ریاضیاتی و محاسبه گرایانه برای ظهور این انقلاب در پزشک...

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

زمینه: پزشکی سیستمی یک تغییر پارادایمی در پزشکی است که از دست مایه‌های تفکر بیولوژی سیستمی تغذیه کرده و با رهیافتی سیستمی به سلامت و بیماری نظر می‌کند. رهیافت سیستمی که در قالب پزشکی سیستمی تجلی یافته است تلاش می‌نماید تا با کاربرد فناوری‌های نوپدید و تصویر برداری‌های ملکولی از پیچیدگی‌های نهفته در بیماری‌ها پرده بردارد و از این رو ابزارهای ریاضیاتی و محاسبه گرایانه برای ظهور این انقلاب در پزشک...