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

مبانی: فلسفی:1- فلسفه منطق فرگه (نظریه فرگه)2-فلسفه منطق راسل (نظریات توصیفات معین، نظریه طبقات ساده و انشعابی منطقی: منطق کلاسیک (مرتبه اول و بالاتر) منطق موجهات پیش فرض ها: کلیات نظریه ‏‎sence‎‏ را می پذیریم. ( این نظر را که وجود محمول نیست. کنار می گذاریم)از حیث هستی شناسی، ‏‎sense‎‏ را به مثابه اشیا انتزاعی تلقی می کنیم.مسائل: اگر ‏‎‏‎sense‎‏ را به مثابه شی انتزاعی در یک مدل تعبیر کنیم، آیا...

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

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

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

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

«منطق به صورت نامحدود ... صوری نیست. اگر چنین بود، بدون محتوا می بود ... هیچ علمی کاملاً صوری نیست» (frege, 1971:109). در ۱۸۹۹، دیوید هیلبرت نظام اصلِ موضوعیِ منقحی برای هندسه اقلیدسی عرضه کرد و با اثبات مشروط فراقضیه های سازگاری و استقلال برای این نظام، راه حلی برای یکی از مسائل دیرپای ریاضیات (مشهور به مسئله خطوط موازی) ارائه داد. گوتلوب فرگه، پایه گذار منطق صوری جدید، مخالفت های بنیادینی با روی...

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