자유변항과 속박변항 (Free and Bound Variables)
쉽게 풀면
'∀x(x는 사람이면 x는 죽는다)'에서 x는 전칭양화사 ∀에 묶여 있는 속박변항이다. 반면 'x는 사람이다'처럼 양화사 없이 x가 그냥 나오면, 이 x는 자유변항이며 이 문장은 x에 무엇이 들어가는지 정해지기 전까지는 참거짓이 확정되지 않는다.
왜 중요한가
술어논리에서 양화사에 의해 묶인 변항(속박변항)과 그렇지 않은 변항(자유변항)을 구분하는 개념으로, 논리식의 진리치와 의미를 정확히 해석하는 데 필수적인 형식논리학의 기초 개념이다.
논문에서는 이렇게 쓰입니다
논리식에서 어떤 변항이 자유롭게 남아있는지 아니면 양화사에 묶여 있는지를 정확히 구별하는 것이, 그 변항에 다른 값을 대입할 때 오류를 피하기 위해 반드시 필요하다는 것을 설명한다.
양화사를 붙이기 전에는 값이 정해지지 않아 참도 거짓도 아니던 식이, 양화사가 붙으면서 확정된 진리값을 가지는 문장으로 바뀐다는 뜻입니다.
조금 더 깊게 보면
자유변항을 포함한 식은 그 자체로 진리치를 갖지 않는 명제함수인 반면, 모든 변항이 속박된 문장만이 참거짓을 가질 수 있다는 점에서 두 개념의 구분이 논리식 해석에 결정적이다. 자유변항을 포함한 논리식에 다른 식을 대입할 때, 대입되는 항 안의 변항이 우연히 기존 양화사에 새로 묶여버리는 '변항 포획' 문제를 피하기 위해 속박변항의 이름을 미리 바꿔주는 알파 변환 규칙이 형식논리 체계에서 별도로 요구된다. 이 규칙은 프로그래밍 언어의 함수 스코프 규칙과도 밀접한 유사성을 가져, 컴퓨터과학의 람다 계산법에서도 동일한 형태의 문제와 해법이 다루어진다.
주의할 점
같은 변항 기호(예: x)가 한 논리식 안에서 어떤 곳에서는 자유롭게, 어떤 곳에서는 속박되어 나타날 수 있으므로 기호 자체가 아니라 각 '출현'을 개별적으로 살펴야 한다는 점에 유의해야 한다. 같은 변항 기호(예: x)가 한 논리식 안에서 어떤 곳에서는 자유롭게, 어떤 곳에서는 속박되어 나타날 수 있으므로 기호 자체가 아니라 각 '출현'을 개별적으로 살펴야 한다는 점에 유의해야 하며, 자유변항을 포함한 식은 그 자체로 진리치를 갖지 않는 명제함수에 불과하다는 점도 함께 기억해야 한다.