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

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

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

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

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

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

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

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