محمدمحسن حائری؛ داوود حسینی
چکیده
در سالهای اخیر توجه خاصی به مساله تکثرگرایی منطقی شده است؛ عمده این مباحث در عکسل العمل به نظریه بیل و رستال درباره چگونگی تحقق بیش از یک منطق بوده است. نظریه ایشان این است که عدم تعین معنای اعتبار منطقی فراتر از تمایز میان اعتبار استنتاجی و اعتبار استقرایی است. مفهوم اعتبار استنتاجی نیر نامتعین است. این عدم تعین ریشه در عدم تعین امر ...
بیشتر
در سالهای اخیر توجه خاصی به مساله تکثرگرایی منطقی شده است؛ عمده این مباحث در عکسل العمل به نظریه بیل و رستال درباره چگونگی تحقق بیش از یک منطق بوده است. نظریه ایشان این است که عدم تعین معنای اعتبار منطقی فراتر از تمایز میان اعتبار استنتاجی و اعتبار استقرایی است. مفهوم اعتبار استنتاجی نیر نامتعین است. این عدم تعین ریشه در عدم تعین امر بنیادین دیگری است: عدم تعین حالت. حالتها همان صادق کننده مقدمات و نتیجه یک استدلال هستند. مثال روشن برای حالت، همان مدلهای تارسکی برای منطق کلاسیک است. ارتباط میان اعتبار استنتاجی و حالت چنین است: استدلالی معتبر است که در همه حالتها صدق-نگهدار باشد. حال، چون حالت امری نامتعین است، اعتبار منطقی نیز امری نامعین خواهد بود. در این مقاله استدلال خواهیم کرد که اگر نظریه بیل و رستال با تببینی درباره چگونگی جواز وقوع حالتهای هم-تراز تکمیل نگردد، چیزی بیش از توضیحی متعارف درباره چگونگی ساختن منطقهای مختلف نیست.