در این پایان نامه ابتدا مقدمه ای از منطق و نحوه جبری کردن منطق مخصوصا منطق موجهات را بیان می کنیم و به ریشه عملگر موجه در منطق موجهات می پردازیم. سپس به تعریف مشبکه باقیمانده صحیح جابجایی کراندار و ‎$‎ -‎r ell $‎ تکواره می پردازیم و عملگر موجه را روی آنها تعریف می کنیم و بعد به بررسی قضیه ها و ویژگی های دیگر عملگر موجه می پردازیم و در بخش بعدی مطالب روی ‎$‎ -‎mv $‎ جبرها را بررسی کرده و در ...

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

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

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

      دیرپاترین صورت‌بندی نظری در قلمرو برنامه درسی "منطق تایلر" است که در کتاب معروف "اصول اساسی برنامه درسی و آموزش" منعکس شده است. این مقاله که با روش تحلیلی انجام شده، در صدد پاسخگویی به دو سؤال محوری است: 1) چه مضامینی از منطق تایلر هنوز هم موجه و قابل اعتناست؟ 2) مضامین مغفول این منطق کدامند؟ در این راستا ویژگی‌ها و عناصر اساسی منطق تایلر از قبیل اهداف آموزشی؛ منابع تعیین اهداف (فراگیران،...

در این پایان نامه ابتدا مشبکه های مانده و ساختارهای جبری bl و mv جبرها و جبر هایتینگ معرفی می شوند. مشبکه های مانده ای بازه ی مقدار (ivrl) و جبرهای مثلثی را با دو عملگر یکتایی ?,? و یک ثابت غیر قطعی u متفاوت از 0 و 1 را تعریف می کنیم و ثابت می کنیم که یک نگاشت یک به یک بین کلاسی از (ivrl) ها و کلاسی از جبرهای مثلثی وجود دارد و نشان می دهیم هر (ivrl ) توسیع یافته یک جبر مثلثی است و بر عکس هر جب...

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

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

در این رساله به بررسی منطقهای توجیه و ارتباط آنها با منطقهای موجهات می پردازیم. نتایج این رساله به سه گروه قابل تقسیم هستند. ارایه منطقهای توجیه جدید، از جمله: ‎ jb (صورت صریح منطق موجه براوری ‎ kb)، ‎ jgl (صورت صریح منطق اثبات پذیری گودل لوب ‎ gl)‎ و jld (صورتهای صریح منطقهای دانشی توزیعی). بررسی ارتباط منطقهای توجیه ارایه شده با منطقهای موجهات متناظر آنها بوسیله ارایه قضیه تحقق، از جمله: اثبا...

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