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

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

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

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

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

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