까마귀·검음의 두 속성으로 가능한 네 칸과 반례의 위치를 표시했다.
생각그림 3 · 까마귀·검음의 두 속성으로 가능한 네 칸과 반례의 위치를 표시했다.
그림에서 무엇을 볼까요?
생각그림 3 · 까마귀·검음의 두 속성으로 가능한 네 칸과 반례의 위치를 표시했다.
가설 H를 “모든 까마귀는 검다”로 두자. 술어 R(x)는 x가 까마귀라는 뜻이고 B(x)는 x가 검다는 뜻이다. 그러면 H는 ∀x(R(x)→B(x))로 쓸 수 있다. 이 명제의 반례는 까마귀이면서 검지 않은 대상, 곧 R(a)∧¬B(a) 하나다. 검은 까마귀는 가설과 맞고, 검지 않은 까마귀는 가설을 거짓으로 만든다. 검은 비까마귀와 검지 않은 비까마귀는 모두 H와 양립한다. 먼저 네 칸을 구분해야 사과가 어느 자리에 놓이는지 보인다.
1945년 헴펠의 논문과 그 논문이 다룬 확증 관계를 구분했다.
니코의 기준에서 양성 사례, 반례, 선행조건 밖 사례를 나눴다.
“모든 까마귀는 검다”와 그 대우가 같은 진리조건을 가짐을 보였다.