창의적 연구자들이 기존 전통이론을 반박하고 자신의 이론을 증명하기 위해 귀류법을 사용한 경우 가 많았다. 하지만 귀류법은 수학적 증명과정에서 수식 증심으로 사용될 뿐 문제해결과정을 다이어그 램으로 표상하는 시도가 드물었다. 본 연구는 창의적 연구의 모순해결과정에 적용된 귀류법이 어떻게 표상될 수 있는지 나비 다이어그램을 이용하여 설명하였다. 이를 통해 모순을 이해하고 문제해결이 용이하도록 방법을 제시하였다. 예를 들면, 아르키메데스는 금관이 순금으로 만들어졌는지 여부를 직 접 증명하기 힘든 상황에서 귀류법을 적용하여 문제를 해결했다. 또한, 갈릴레이는 아리스토텔레스의 낙하이론을 사고실험으로써 물체의 무게에 상관없이 낙하속도가 동일함을 알아내었다. 아인슈타인 역 시 속력 덧셈의 법칙을 계속 확장시키다보면 광속불변의 원리와 모순되는 점을 발견하고 뉴턴 역학 에 오류가 있음을 알아차렸다. 본 연구는 문제해결을 돕기 위하여 모순해결을 위한 나비 다이어그램 을 이용하여 귀류법의 적용과정을 다이어그램으로 나타내고 진리치표에 의한 타당한 형식을 제시하 였다.
There have been many cases that adopted proof by contradiction for creative researchers to prove their theory and to explore the weak points of the existing theories. However, there has rarely been trials to represent the problem solving process with the proof by contradiction as a diagram. This research explained how to represent creative research’s contradiction resolution process applied with the proof by contradiction as the Butterfly diagram. Archimedes solved the golden crown problem with the proof by contradiction in a situation that was difficult to prove if the golden crown was pure or not. Galileo Galilei proved that Aristotle’s law of falling bodies was wrong from the thought experiment. He proved that the bodies of different weight fell with the same speed by proof by contradiction. Einstein proved that the velocity addition law was contradicted with the law of light speed constancy. From the proof, he discovered an error in Newtonian mechanics. This research represented the application process with the Butterfly diagram for solving contradiction resolution in scientific history. In addition, this research proposed the valid argument by a truth table
1. 서론 2. 나비 다이어그램과 귀류법에 기초한 사고실험 3. 결론 References
