نوشته اصلی از سوی
مهربد
به بیان دیگر، در این کتاب و تا جایی که من خواندم (که زیاد هم نبوده) اینگونه آمده که چیزی که ما به نام منطق absolute می‌شناسیم در حقیقت وجود خارجی نداشته و ریشه خود را از فرگشت و زیست‌شناسی می‌گیرد. در آن نویسنده تلاش می‌کند که نشان دهد نگره‌های کنونی درباره ریاضیات و منطق می‌توانند به نگره منطق زیستی (ریشه منطق از زیست‌شناسی) کاهش داده شوند، چنانکه که در نگاره زیر آمده: from bottom to top. Thus the ladder asserts that from general evolutionary theory one can derive a special branch of population biology known as life-history strategy theory. It in turn implies decision theory, which in turn implies inductive logic or probability theory, and so on up through deductive logic and finally general mathematics. The downward-pointing arrows on the right are the corresponding reducibility relationships. Starting at the top, mathematics is represented as reducible to deductive logic, deductive to inductive logic, and so on downward. The term ‘implies’ beside the upward arrows means theory-implies. It is intended in the sense of the Nagel model or one of its generalizations, in which one theory implies another if the terms of the second can be defined within the first and its propositions derived from the first.With this understanding, theory A reduces to theory B if and only if B theory-implies A.Thus the upward-pointing arrows are redundant in the presence of the downward arrows and vice versa.
پاسخ با گفت‌آورد