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

اینهمانی یکی از اصول اولیه ذهن است و از زمان‌های قدیم مورد توجه فلاسفه و منطق‌دانان بوده است. ارسطو اولین و بزرگ-ترین منطق‌دانی است که در اثر ماندگار خود به نام ارگانون از اینهمانی سخن به میان آورده است. اما اینکه آیا در منطق ارسطو اینهمانی وجود دارد؟ مراد ارسطو از اینهمانی چیست؟ و از آن چه بهره‌هایی می‌برد؟ آیا وی اینهمانی را به عنوان یک ثابت منطقی معرفی کرده است یا خیر؟ از جمله مسائلی است که ...

اینهمانی یکی از اصول اولیه ذهن است و از زمان های قدیم مورد توجه فلاسفه و منطق دانان بوده است. ارسطو اولین و بزرگ-ترین منطق دانی است که در اثر ماندگار خود به نام ارگانون از اینهمانی سخن به میان آورده است. اما اینکه آیا در منطق ارسطو اینهمانی وجود دارد؟ مراد ارسطو از اینهمانی چیست؟ و از آن چه بهره هایی می برد؟ آیا وی اینهمانی را به عنوان یک ثابت منطقی معرفی کرده است یا خیر؟ از جمله مسائلی است که ...

منطق اِحراز هویت باروز ابدی و نیدهام (ban) گام های مهمی در جهت تحلیل پروتکل های امنیت بر می دارد‏‏، و دارای چندین بازبینی پی در پی پیشرفته است. در این پایان نامه منطق های vo و svo را مطالعه می کنیم. vo یک گسترش از منطق های خانواده ban می باشد که برای اولین بار‏، بررسی کلید عمومی مبتنی بر پروتکل های ایجاد کلید اِحراز هویتی که هر دو عامل در اشتقاق کلید (یعنی‏، پروتکل های توافق-کلید) همکاری دارند را...

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

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

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

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