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

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

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

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

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

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

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

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

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

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