「形式的」とは何だろう

「形式的」とは何だろう

「形式的手法」、「形式言語」、「形式的体系」などの言葉には、「形式 （的）」という形容詞が登場する...概要を表示 「形式的手法」、「形式言語」、「形式的体系」などの言葉には、「形式 （的）」という形容詞が登場する。この「形式的」とはどういうことなのだろ うか。主に、形式的体系について解説することによって、形式的な発想に慣れ るキッカケを提供したい。 1. はじめに このキマイラ・サイトや他のところの記事で僕が扱っている話題には、形式 的手法、形式言語、形式的体系など、「形式（的）;formal」という形容詞が つくものが多い。同じ「形式的」という言葉でも、使われる文脈で異なる意味 あいがあるのだが、まー、共通する面もあるね。この記事では特に、「『形式 的体系』における『形式的』」について取り上げてみる。「形式的（なもの）」 に対する嫌悪感やアレルギーを取り除ければいいな、というのが僕の希望であ る。 この記事から他の記事への参照はあるが、それらの参照をたどらなくても、 この記事単独でも読める。また、他

• 数学