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

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

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

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

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

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

برای گروه آبلی توپولوژیک g، مجموعة تمام همومورفیسم های پیوسته از g بتوی گروه دایره ای t همراه با توپولوژی فشرده- باز و عمل ضرب نقطه ای توابع که یک گروه آبلی توپولوژیک هاسدورف است بعنوان دوگان pontryagin این گروه شناخته می شود. فضای دوگان یک گروه آبلی توپولوژیک از لحاظ جبری ایزومورف با فضای دوگان هر زیرگروه چگال خود می باشد.“l. außenhofer” و “ m. j. chesco” مستقل از هم نشان دادند که فضای دوگان ی...

یکی از مسائلی که هیدگر از همان سال‌های اوّلیّة تحصیل دانشگاهی خود و بعد از آن در سال‌های تدریس به آن پرداخته است مسألة منطق است. البته هر کجا او از منطق سخن می‌گوید منظورش منطق فرادادی (سنّتی) است و نه منطق ریاضى- سمبلیک که اصطلاحاً به آن منطق جدید مى‏گویند. آنچه او دربارة منطق جدید گفته و نوشته است بسیار کم و غالباً همراه با توصیفاتی منفى است. در منطق فرادادی (سنّتی) نیز او به دنبال دستیابی به روش‏ه...