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

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

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

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

در این رساله نظریه مدل فضاهای احتمالاتی و متغییرهای تصادفی را در قالب منطق انتگرال ?l مورد مطالعه قرار می دهیم. مفهوم هایی از قبیل ناوابستگی احتمالاتی، تابع های توزیع متغیرهای تصادفی و فرآیندهای تصادفی را بررسی می کنیم. نشان می دهیم که بسیاری از مفهوم های احتمالاتی از جمله داشتن تابع توزیع (u)f، ناوابستگی احتمالاتی، ویژگی مارتینگل و فرآیند وینر در این منطق بنداشت پذیر هستند. همچنین اثباتی از قض...

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

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

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

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

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