Loading article…
メルビン・フィッティング（1942年1月24日生まれ）は、哲学論理学とタブロー証明システムに特に関心を持つ論理学者である。 [ 1 ]彼は1968年から2013年まで、リーマン大学とニューヨーク市立大学大学院センターの教授を務めた。 [ 2 ]大学院センターではコンピュータ科学、哲学、数学の各学科に所属し、リーマン大学では数学とコンピュータ科学の学科に所属していた。現在は名誉教授である。
フィッティングはニューヨーク州トロイで生まれた。レンセラー工科大学で学士号を、イェシーバー大学で博士号を、いずれも数学の分野で取得した。博士論文の指導教官はレイモンド・スムリアンであった。
2012年6月、メルビン・フィッティングは、自動控除への顕著な貢献により、自動控除に関する会議からハーブランド賞を授与された。[ 3 ]
メルビン・フィッティングの多くの研究の根底にある漠然とした動機は、次のように簡潔に表現できる。論理には多くの種類がある。私たちの推論原理は、文脈や主題によって変化する。多様性は、現代形式論理の大きな利点の一つである。論理を結びつける共通の糸は、何が言えるか（構文）、それが何を意味するか（意味論）、そして両者の関係性への関心である。形式論理に具体化できる哲学的立場は、首尾一貫していることは証明されているが、正しいとは限らない。論理は道具であって、主人ではないが、使うのが楽しい道具である。