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

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

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

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

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

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

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

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

¯ چکیده زمینه : دردهای مزمن در بین نوجوانان باعث افزایش غیبت از مدرسه، اختلال در خواب، اختلال در انجام فعالیتهای جسمانی و ورزشی، اختلال در تفکر، مشکل در اشتها، محدودیت در زندگی اجتماعی و در نتیجه کاهش کیفیت زندگی میشود. هدف : مطالعه به منظور تعیین شیوع دردهای مزمن و مشکلات ناشی از آن در زندگی روزمره نوجوانان شهر قزوین انجام شد. مواد و روشها : در این مطالعه تحلیلی که در سال 1384 در شهر قزوین انج...

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