نویسنده محترم مقاله « قضیه معدوله و محصله » ( مقالات و بررسیها ، 61 ، ص 81-103 ) « درصدد اثبات این مدعا است که در کتب منطقی – از ترجمه کتاب ارسطو گرفته تا کتب منطقی اخیر در سه مورد [ تقسیم قضیه به معدوله و محصله ، تقسیم لفظ به معدول و محصل و گفتگو درباره ملکه و عدم ] ، در هر سه مورد اشتباه رخ داده است (ص 81 ). نوشتار حاضر ابتدا با تفکیک شناخت امر واقع از تبیین آن ، خطای « اخذ مالیس بعلة علة » ...

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

«منطق به صورت نامحدود ... صوری نیست. اگر چنین بود، بدون محتوا می بود ... هیچ علمی کاملاً صوری نیست» (frege, 1971:109). در ۱۸۹۹، دیوید هیلبرت نظام اصلِ موضوعیِ منقحی برای هندسه اقلیدسی عرضه کرد و با اثبات مشروط فراقضیه های سازگاری و استقلال برای این نظام، راه حلی برای یکی از مسائل دیرپای ریاضیات (مشهور به مسئله خطوط موازی) ارائه داد. گوتلوب فرگه، پایه گذار منطق صوری جدید، مخالفت های بنیادینی با روی...

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

هدف این مقاله توصیفی، آشناکردن علاقه مندان با نمونه هایی از تلاش هایی است که در جهت استفاده از سیستم های منطقی برای ماشینی سازی اثبات در دست انجام است. اهداف این مقاله عبارتند از (1) ارائه الگوریتیم که با استفاده از ایده کاربر و ادامه روند اثبات توسط رایانه، اثباتی در سیستم گنسنی ارائه دهد. (2) ارائه الگوریتمی که با استفاده از ایده کاربر و ادامه اثبات با رایانه، اثباتی متنی در سیستم استنتاج طبی...

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

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

تمرکز مقاله بر بیان اثبات های متعدد قضیه مشهور پروانه در هندسه اقلیدسی است.

چکیده: این پایان نامه اولین مطالعه ی نظریه اثباتی و نظریه مدلی از ترکیب منطق های با زمان محدود و منطق های ساختی است. ابتدا به منظور فراهم کردن یک پایه نظری مفید برای استدلال های زمانی که دارای خاصیت ساختی و فراسازگارند، دو منطق ib[l] و pb[l] معرفی می شود. این منطق ها دو مدل محدود و ساختی از ltl و توسیع هایی از منطق شهودی یا منطق فراسازگار نلسون هستند که تحت عنوان حساب های رشته ای گنتسنی b[l] و...