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

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

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

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

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

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

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

در سال ‎۱۹۰۶‎، برتراند راسل در مقاله خود نشان داد که تقریباً تمامی پارادکس های نظریه مجموعه ها دارای یک شکل مشترک می باشند. در سال ‎۱۹۶۹‎، لاوور با استفاده از زبان نظریه رسته ها، به یک وحدت و یکپارچگی عمیق تر دست یافت که نه تنها پارادکس های نظریه مجموعه ها، بلکه پدیده ناتمامیت را نیز شامل می شد. در واقع لاوور طرحی مشترک ارایه داد که موضوعات بسیار همچون قضیه کانتور در مورد مجموعه های توانی، پاراد...

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

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