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

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

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

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

شمس الدین سمرقندی از منطق دانان قرن هفتم، در بحث قیاس شرطی دیدگاهی نو در برابر ابن سینا پیش نهاده است. از نظر ابن سینا، قیاس شرطی دقیقاً مانند قیاس حملی است و در نتیجه، 19 ضرب منتج دارد؛ اما سمرقندی این همانندی را نمی پذیرد و فقط 7 ضرب از قیاس شرطی را معتبر می داند. او در بیان شرایط انتاج فقط شرایط کیفیت را بیان می کند و به شرایط کمیت نمی پردازد و هنگام ارائه مثال نقض برای ضرب های عقیم، تفاوت کم...

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

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

بسیاری از قواعد منطق قدیم نیازمند وجود موضوع هستند و این وجود موضوع را می توان یا در ساختار گزاره ها (محصورات چهارگانه) وارد کرد یا به عنوان مقدمه ای اضافی، جزئی از قواعد دانست. این دو رهیافت را «تعهد درون گزاره ای» و «تعهد درون قاعده ای» می نامیم. نخستین کسانی که به تعهد درون قاعده ای تصریح کرده اند، ابن سینا در قاعده نقض محمول و خواجه نصیر در قاعده عکس نقیض هستند. خواجه نصیر، به وجود موضوع نه...

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