تفکیک «تصور» و «تصدیق» از تمایزهای اصلی است که متقدمین در منطق و متأخرین در معرفت­شناسی از آن بهره برده­اند، هر دو گروه مقسم این دو را «علم حصولی» می دانند، این تقسیم در «معرفت­شناسی نوصدرایی» برای اقسام معرفت به کار رفته است، اما نمی­توان «تصدیق» را در اصطلاح معرفت­شناسی بنا بر تعریف فلسفۀ اسلامی «علم­حصولی» دانست. این تحقیق با مرور ادبیات فیلسوفان مسلمان به ویژه نوصدراییان، مدعی است که تفکیک ...

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

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

ترکیب تابع ارزشی p  با ماتریس [1011] که از آن در منطق جدید به استلزام مادّی تعبیر می‌شود و کذب مقدّم یا صدق تالی شرط لازم و کافی صدق آن به شمار می‌آید، معادل ترکیب‌های تابع ارزشی  و  در منطق جدید است که دارای همان ماتریس می‌باشد. این ترکیب اساسی‌ترین مفهوم منطق جدید محسوب می‌شود و در استدلال‌های پیچیدۀ ریاضی نتایج رضایت‌بخشی داده است. آگاهی یا عدم آگاهی منطق‌دانان قدیم از شروط صدق این ترکیب سئوا...

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

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

تفکیک «تصور» و «تصدیق» از تمایزهای اصلی است که متقدمین در منطق و متأخرین در معرفت­شناسی از آن بهره برده­اند، هر دو گروه مقسم این دو را «علم حصولی» می‌دانند، این تقسیم در «معرفت­شناسی نوصدرایی» برای اقسام معرفت به کار رفته است، اما نمی­توان «تصدیق» را در اصطلاح معرفت­شناسی بنا بر تعریف فلسفۀ اسلامی «علم­حصولی» دانست. این تحقیق با مرور ادبیات فیلسوفان مسلمان به ویژه نوصدراییان، مدعی است که تفکیک ...

تعریف که در جواب ماهیّت و چیستی اشیاء و پدیده­ها می­آید، بیش­تر در فلسفه و منطق شناخته شده است. امّا در ادبیات نیز از تعریف برای کارکردهای گوناگونی، از جمله تعلیم، طنز و بیان هنری استفاده شده است. تعریف در شعرِ معاصر نوعی اسلوبِ بیان است که در     کتاب­های بلاغت سنتی و جدید توجّه چندانی بدان نشده است. هر چند تعریف­های هنری در شعر معاصر خالی از ارزش زیبایی­شناختی و تصویر­گری نیستند، امّا اهمیت این شیو...

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