논리적 필연성 (Logical Necessity)
한 줄 정의: 순전히 논리 법칙과 논리적 형식만으로 그것을 부정하면 모순이 발생하는, 가장 강한 종류의 필연성이다.
쉽게 풀면
논리적 필연성은 '삼각형은 세 변을 가진 도형이다'처럼, 그것을 부정하면 곧바로 논리적 모순이 생기는 진리를 말한다. 논리 법칙 자체(예: 동일률, 무모순율)나 그로부터 순수하게 도출되는 명제들이 이 범주에 속하며, 필연성의 여러 종류 중 가장 엄격하고 강력한 형태로 여겨진다.
논문에서는 이렇게 쓰입니다
"이 논문은 형이상학적 필연성이 논리적 필연성보다 더 넓은 범위를 포괄한다는 크립키의 구분을 전제로 논의를 전개한다."
논리적 필연성이 필연성의 한 하위 종류에 불과하며, 형이상학적 필연성이 이를 포함하되 더 넓은 범주라는 현대 양상 형이상학의 표준적 구분을 소개한다.
주의할 점
논리적 필연성은 형이상학적 필연성보다 좁은 범위를 가지므로, 형이상학적으로 필연적인 모든 명제가 논리적으로도 필연적인 것은 아니라는 점을 혼동하지 않아야 한다.