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

«خوانش» ادبی دارای دو بعد است: اول رویکردها و نظریه‌ها و دوم منطق خوانش. این مقاله درصدد است تا منطق خوانش را، که در تحقیقات و مطالعات ادبی به‌ندرت به عنوان موضوعی مستقل مورد توجه قرار گرفته‌است، تبیین نماید. طرح تحقیق سرفصل‌های زیر را در بر می‌گیرد: 1- معرفی خوانش به عنوان برداشت دیگری از ادبیت متن؛ 2- بررسی شیوه‌های متداول خوانش؛ 3- معرفی خوانش دیالکتیک به عنوان برابرنهاد روش‌های دیگر؛ 4- نقد...

از زمانی که منسر اُلسُن کتاب منطق کنش جمعی را در سال 1965 به چاپ رساند، تا کنون، نظریة نوآورانة او دربارة گروه‌ها نفوذ چشمگیری در علوم اجتماعی، از اقتصاد تا علم سیاست و جامعه‌شناسی داشته است. او که از مفروضات نظریة انتخاب عمومی، به ویژه فردگرایی روش‌شناختی آغاز می‌کند، تأثیر نهادها بر رفتار و کنش‌های فردی را نیز در نظر می‌گیرد و کنش گروهی را، اگر بتوان گفت، برآیند رابطة فرد و نهاد (به عنوان ق...

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

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

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

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