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

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

یکی از پرسش های اساسی در منطق این است که چرا ارسطو به «منطقِ شرطی» نپرداخته است؟ او که به عنوان مدوّن منطق شناخته می شود چگونه ممکن است به این بحث مهم توجهی نداشته باشد؟ آیا این بی توجهی فقط یک غفلت است یا عمدی است و ارسطو دلیلی برای آن دارد؟ ما در این مقاله پس از بررسی منطق شرطی (قضایا و قیاس های شرطی) از دیدگاه رواقیون و بیان اهمیت آن نزد منطق دانان جدید، به مبانی نظری و فلسفی دو نظام منطق حملی...

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

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

در این پایان نامه، ابتدا ثابت میکنیم تحت(zfc) در زبانی که برای هر رابطه روی rشامل یک نمادرابطه ای ا ست، یک توسیع شمارای آکنده تعریف پذیر *rازrوجود دارد. بدین منظور ابتدا مجموعهa شامل فرافیلترهای غیر اصلی n را مرتب میکنیم. سپس یک فرافیلتر d میسازیم که از آن برای ساخت یک فراتوان از r استفاده میشود. همچنین برای ساختن یک زنجیره استقرایی از توسیع های مقدماتی بکار میرود که، ساختارگام های اردینال...

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

پژوهش حاضر با هدف مقایسۀ تأثیر آموزش به شیوۀ الگوی راهبردی تفکر استقرایی و شیوۀ روش‌های تدریسی سنتی بر پیشرفت تحصیلی دانش‌آموزان کم‏توان ذهنی صورت پذیرفته است. روش پژوهش نیمه آزمایشی، با طرح پیش‌آزمون- پس آزمون با گروه کنترل است. بدین منظور 60 نفر از دانش‌آموزان دختر و پسر کم‏توان ذهنی پایۀ پنجم ابتدایی شهر همدان به صورت تصادفی انتخاب شدند. افراد گروه نمونه به طور تصادفی در دو گروه آزمایشی و دو...

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

لوئیس کرول در مقاله «لاک پشت به آشیل چه گفت؟» یکی از بنیان های منطق را زیر سؤال می برد و در گفت وگویی خیالی این مسئله را مطرح می کند که اصولاً چرا باید از مقدمات یک استدلال به نتیجه رسید. آیا منطق به تنهایی می تواند توجیه کننده استفاده از منطق نیز باشد یا باید کاربرد منطق را در خارج از علم منطق توجیه کرد. در این مقاله، به دو رویکرد کلی در پاسخ به این سؤال توجه می شود. نخست، رویکردی کاملاً منطقی ک...