스피노자의 철학 체계를 하나의 건축물에 비유할 때 『에티카』 1부의 정리 5, 이른바 속성의 공유불가능성 정리(이하 ‘공유불가능성 정리’로 약칭)는 스피노자 철학 전체를 떠받치는 주줏돌 역할을 한다고 할 수 있다. 다수의 실체가 존재할 가능성을 배제함으로써 실체 일원론을 입증하기 위한 근거 역할을 하기 때문이다. 라이프니쯔는 ‘상이한 속성의 문제’를 통해 공유불가능성 정리를 비판한다. 상이한 속성의 문제란 여럿의 실체들이 속성들의 차이에 의해 서로 구별된다는 것으로부터 어떻게 같은 속성의 단 하나의 실체만 있다는 결론을 이끌어낼 수 있는가라는 물음으로 요약할 수 있다. 가령, 실체 A가 속성 c와 d를 가지고 있고 실체 B는 속성 d와 e를 가지고 있다면, A와 B는 다른 실체가 가지고 있지 않은 속성, 이를 테면 A는 속성 c에 의해 B와 구별되고, B는 속성 e에 의해 A와 구별된다고 말할 수 있을 것처럼 보인다. 하지만 스피노자는 이런 가능성을 인정하지 않기 때문에 이러한 가능성이 왜 논리적으로 배제되어야 하는가라는 문제가 제기될 수 있는데, 이것이 ‘상이한 속성의 문제’라고 할 수 있다. 필자는 충족이유율과 속성의 인과적. 개념적 자립성 논제를 토대로 스피노자의 철학을 재구성함으로써 라이프니쯔가 제기한 문제에 다음처럼 답했다. 실체 A와 B가 어떤 속성은 공유하지만 또 다른 속성은 공유하지 않을 수 있다면, 어떤 한 실체가 가진 속성을 왜 또 다른 실체는 갖지 못하는가에 대한 충분한 설명이 각 실체의 본성이나 속성들 및 또 다른 실체의 본성을 통해 설명될 수 있어야 한다. 그러나 어떤 한 실체가 가진 속성을 왜 또 다른 실체는 갖지 못하는가에 대한 충분한 설명은 각 실체의 본성이나 속성들 및 또 다른 실체의 본성을 통해 제시될 수 없다. 따라서 스피노자의 존재론적 체계 안에서 실체 A와 B가 어떤 속성은 공유하지만 또 다른 속성은 공유하지 않는 상황이란 있을 수 없다. 필자의 재구성이 맞다면, 이제 자신이 설정한 논리적 상황이 스피노자의 철학 안에서 성립할 수 있음을 입증해야 할 책임은 오히려 라이프니쯔에게 있다고 할 수 있을 것이다.

If we compare Spinoza`s philosophical system to a building, we can say that the proposition of IP5, namely the `No Shared Attribute Proposition` is the foundation of his philosophical system, Since that proposition lays the foundations of his substance monism by ruling out the possibility that there are many substances, Leibniz criticizes the no shared attribute proposition on the basis of the Different Attributes Problem. That problem can be summarized like this.: how can we infer from the proposition that two substances can be differentiated by a difference in some attributes that there is only one substance of the same attribute. For examle, suppose that substance A has attribute c and attribute d. Further, suppose that substance B has attribute d and e. From those suppositions, we seems to say that substance A and B are differentiated by the fact that one has attribute c and the other does not. This is a case of attribute sharing. However, Spinoza rejects that situation, so we can ask why he rules out such a logical possibility. This is the different attributes problem. I responded to the different attributes problem by reconstructing spinoza`s philosophy through the principle of sufficient reason and the conceptual and causal separation thesis between the attributes. If we accept the possibility that substance A shares one attribute with substance B and doesn`t share the other attribute, we should explain why this is so through the attribute of each substance or the nature of one substance or the nature of the other substance. But we cannot explain why this is so in any way. There is no situation that two substances can be individuated by a difference in some attributes while sharing some others in spinoza`s ontological system. If my answer is correct, the burden of proof is on Leibniz to prove that two substances share attributes in Spinoza`s ontological system.