研究してきて、現代では、述語論理のなかに組み入れられています。関数として考えるということです。一次的とみなす関係主義の考えかたです。個体を一次的として、関係は二次的とする実体主義の考えかたで、どちらかといえば、日常言語の用語です。するほうが自然でしょうね。いざ、個体を定義しようとすれば、なかなか、難しい。鉄・真鍮を個体として考えるのかは、文脈次第でしょうね。して扱い、それらの変項を一義に定立できる関数があるとするのが数学的な考えかたです。問われない事態--すなわち、対称性--も起こります。2つの関係を考えてみて下さい。