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

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

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

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

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

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

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

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

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

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