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

حساب هتینگ ha صورت شهودگرایانه حساب پئانو pa است که با حذف اصل طرد شق ثالث pem از آن حاصل می شود. در این پایان نامه توصیفی از نتایج wehmeier درباره ارضاء (زیرنظریه های) pa در جهانهای مدلهای کریپکی ha آورده می شود. برای مثال، هر قضیه ii2 از pa (که در ha نیز برهان پذیر خواهد بود) در هر مدل کریپکی ha موضعا صادق است . به علاوه، مدلهای کریپکی توسیع انتهایی برای ha قالب - 1 گردایه را نیز (که در ha بر...

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

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

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

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