هنجارمندی منطق

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

Normativity of logic

Logic tells us what come from a set of propositions, as premises; it tells us when our arguments are valid. And logic can show us the inconsistency of our theories. The claim is that, in addition, logic requires us to believe in the implications of our beliefs and to disregard inconsistent beliefs. So, it seems that logic, except for studying the validity of the arguments, have special merit. This particular position, which is called normativity of logic, issues requirements for thinking as such, and distinguishes it from other sciences. Frege is one of the advocates normativity of logic, which sees logic, as Ethics, as normative science; but Harman argues that logic does not interfere in the evaluation and guidance of everyday human reasoning. Meanwhile, MacFarlane, with the exact expression of the problem of normativity of logic, seeks to make the slightest form of the problem, but Field with an essentially normative conception of the implication tries to avoid any barrier to the normativity of logic.