«منطق به صورت نامحدود ... صوری نیست. اگر چنین بود، بدون محتوا می‌بود ... هیچ علمی کاملاً صوری نیست» (Frege, 1971:109). در ۱۸۹۹، دیوید هیلبرت نظام اصلِ موضوعیِ منقحی برای هندسة اقلیدسی عرضه کرد و با اثبات مشروط ...

گنتزن قواعد سیستم منطقی را به دو دستة «قواعد عمل‌گری» و «قواعد ساختاری» تقسیم می‌کند. مقصود وی از قواعد عمل‌گری، قواعد معرفی و حذف یک ثابت منطقی است. قواعد ساختاری بیان‌کنندة ویژگی‌های مبنایی یک استدلال است به‌‌ گونه‌ای ...

مطابق دیدگاه اسمیت ارغنون کاربرد ویژه‌ای برای ارسطو دارد و آن اثبات این امر است که فلسفة اولی ممکن است. به نظر وی، انتظار اشتباهی است که هدف ارغنون را طرح نظریه‌های روش‌شناسی ارسطو تلقی کنیم. ارسطو در ...

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

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

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