BAI 부정

역자: CLL에서는 modal이라는 용어를 쓰고 있는데 번역을 어떻게 해야할지 몰라서 저는 BAI 축약형이라는 용어를 쓰겠습니다.

9.3에서 BAI 축약형을 이용해서 다양한 의미의 sumti를 만드는 법을 배웠다. 이번에는 BAI 축약형을 부정하는 방법을 배워보자. 로지반의 부정에는 2가지 방식이 있다: Contradictory negation / Scalar negation. 아래의 문장들을 보자.

1. 철수는 서울에 갔다.
2. 철수는 서울에 가지 않았다.
3. 철수는 서울이 아닌 다른 곳에 갔다.

2번 문장과 3번 문장은 모두 1번 문장의 부정형이다. 2번 문장은 문장 전체를 부정하고 있고, 3번 문장은 서울이라는 단어만 부정하고 있다. CLL에서는 2번 문장을 Contradictory negation, 3번 문장을 Scalar negation이라고 한다.

Contradictory Negation

아래의 로지반 문장을 보자.

mi nelcix1이 x2를 좋아한다 do mu'i le nu do nelcix1이 x2를 좋아한다 mi

너가 나를 좋아하기 때문에 나도 너를 좋아한다.

참고로 mu'i는 mukti의 BAI 축약형으로, mukti는 {{x1}}은 {{x2}}의 원인/동기이다라는 뜻이다. 저 문장의 mu'i를 contradictory-negate하기 위해서는 BAI 축약형 뒤에 nai를 붙이면 된다.

mi nelcix1이 x2를 좋아한다 do mu'inai le nu do nelcix1이 x2를 좋아한다 mi

나는 너를 좋아한다. 너가 나를 좋아하기 때문은 아니다.

이 문장에서 mi nelci do (나는 너를 좋아한다)라는 사실은 참이고, do nelci mi (너는 나를 좋아한다)라는 사실은 참일 수도 있고 거짓일 수도 있고, 두 사실 간의 인과관계가 없음을 mu'inai를 통해서 나타내고 있다.

즉, 위 문장을 풀어서 쓰자면 "나는 너를 좋아하고, 너는 나를 좋아하는지 안 좋아하는지 정보가 없고, 너가 나를 좋아하든 안 좋아하든 내가 그 이유로 널 좋아하는 건 아니다."가 된다.

Scalar Negation

아래의 로지반 문장을 보자.

le spatix1은 x2 종의 식물이다 cu banrox1이 자라서 x2(나중 상태)가 되다, x3(원래 상태)에서 mu'i le nu do djacux1은 물이다 dundax1이 x2를 x3에게 주다 fi le spatix1은 x2 종의 식물이다

너가 물을 줬기 때문에 식물이 자랐다.

le nu do djacu dunda fi le spati는 식물에게 물을 주다라는 뜻이고, mu'i를 이용해서 물을 준 행위가 식물이 자란 원인임을 표현하고 있다. 참고로 저 문장은 이상한 문장이다. mu'i는 보통 사람의 행동의 동기(motivation)를 나타내는데, 식물에게는 동기부여를 할 수 없으므로 mu'i를 쓸 수 없다. 이 이상한 문장을 scalar-negate해서 덜 이상한 문장으로 만들어보자.

저 문장의 mu'i를 scalar-negate하기 위해서는 BAI 축약형 앞에 na'e를 붙이면 된다.

le spatix1은 x2 종의 식물이다 cu banrox1이 자라서 x2(나중 상태)가 되다, x3(원래 상태)에서 na'emu'inatfe: x1이 x2(사실)를 부인/부정하다, x3의 논리에서
mukti: x1은 x2의 원인/동기이다 le nu do djacux1은 물이다 dundax1이 x2를 x3에게 주다 fi le spatix1은 x2 종의 식물이다

위 문장에서, le spati cu banro는 참이고 le nu do djacu dunda fi le spati도 참이다. 즉, 식물이 자란 것도 맞고 너가 물을 준 것도 맞다. 하지만 너가 물을 준 것이 식물에게 동기부여를 해준 것은 아니다. 그래서 "동기부여"라는 의미를 부정하기 위해서 na'emui를 썼다.