Skip to main content
فهرست مقالات

نگاهی نو بر مبانی منطق ریاضی

نویسنده:

کلید واژه های ماشینی : گزاره، راسل، قضیه، گزاره اتمی، سقراط، اسم، علاقه، قضایای حملیه، رمز، واقع

خلاصه ماشینی:

"در این خلط، منطق کلاسیک نیز سهیم می‌باشد، مبحث موجهات Modalities را از ویژگیهای قضایا می‌داند، در حالی که این مبحث در واقع از ویژگیهای گزاره‌نماهاست * ، زیرا قضیه بیش از دو حالت ندارد:یا صادق است و یا کاذب (5) بنابراین در نظر راسل، «مردی را دیدم»قضیه نیست، بلکه گزاره‌نماست که صورت منطقی آن چنین می‌باشد«x را دیدم، x مرد است»و لااقل یک ارزشی هست که این گزاره‌نما را صادق قرار می‌دهد، لذا این گزاره‌نما ممکن است، اما گزاره‌نمای«اگر س انسان باشد پس س میراست»همیشه صادق است چه«س»انسان باشد و چه نباشد، پس این گزاره‌نما ضروری است. اینکه گزاره اتمی بایستی مشتمل بر اسم علم باشد بدین علت است که وقایع خارجی که برای تعیین صدق و کذب گزارهها به آنها رجوع می‌کنیم، حالات جزئی هستند که با رابطه‌های مختلفی به یکدیگر مرتبط شده‌اند، لذا ساده‌ترین گزارهها هم گزارههایی هستند که مشتمل بر اسم علم‌اند، اما گزارههایی مانند«تهرانی فارسی سخن می‌گوید»از نظر ظاهر بسیط است، ولی از نظر منطقی بسیط نیست، زیرا«تهرانی»اسمی نیست که بر یک حالت جزئی اطاق شده باشد، بلکه بر هر فرد تهرانی منطبق می‌باشد. وقتی می‌گوییم«سقراط»، آنچه در ذهن خودمان می‌یابیم عبارت است از«استاد افلاطون»، یا فیلسوفی که سم خورد، یا«شخصی که منطق دانان می‌گویند میراست، پس ما در واقع اوصافی را بکار برده‌ایم، اینجا سقراط را بعنوان اسم به معنای دقیق آن بکار نبرده‌ایم، چون نامگذاری منوط به معرفت بیواسطه و شناخت مستقیم است، حال اگر اسمایی مانند«سقراط»و«افلاطون»در واقع اسم علم نیستند و مجموعه‌ای از اوصاف می‌باشند، اسماء اعلام چه چیزهایی هستند؟ شاید با این بیان که در مورد اسم علم بایستی شناخت بیواسطه داشته باشیم بتوان گفت دادههای حس و مدرکات حسی همان اسماء اعلام می‌باشند، ولی راسل با اینکه می‌گوید یافتن اسم علم به این معنا دشوار است در عین حال بیان می‌کند که اسمایی که بر اشاره دلالت می‌کنند، مانند، «این»و «آن»بعنوان اسم علم بکار می‌روند."

  • دانلود HTML
  • دانلود PDF

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