ملفين فيتنج ، المنطق الأمريكي
ملفين فيتنج (ولد في 24 يناير 1942) هو عالم منطقي له اهتمامات خاصة بالمنطق الفلسفي وأنظمة إثبات التابلوه. كان أستاذًا في جامعة مدينة نيويورك ، وكلية ليمان ومركز الدراسات العليا: 723-724 من 1968 إلى 2013. في مركز الدراسات العليا كان في أقسام علوم الكمبيوتر والفلسفة والرياضيات ، وفي كلية ليمان كان في قسم الرياضيات وعلوم الكمبيوتر. وهو الآن أستاذ فخري.
Fitting ولد في تروي ، نيويورك. شهادته الجامعية من معهد Rensselaer Polytechnic ، وشهادة الدكتوراه من جامعة Yeshiva ، وكلاهما في الرياضيات. كان مستشار أطروحته ريموند سموليان.
في يونيو 2012 ، حصل Melvin Fitting على جائزة Herbrand من قبل CADE ، لمساهماته المتميزة في الخصم الآلي. يمكن صياغة دافع فضفاض لكثير من أعمال Melvin Fitting بإيجاز على النحو التالي. هناك العديد من المنطق. تختلف مبادئ التفكير لدينا باختلاف السياق والموضوع. التعدد هو أحد أمجاد المنطق الرسمي الحديث. الخيط المشترك الذي يربط المنطق معًا هو مصدر قلق لما يمكن قوله (بناء الجملة) ، وما يعنيه ذلك (الدلالات) ، والعلاقات بين الاثنين. لقد ثبت أن الموقف الفلسفي الذي يمكن تجسيده في منطق رسمي متماسك وليس صحيحًا. المنطق أداة ، وليس بارعًا ، لكنها أداة ممتعة للاستخدام.