두 사람이 “이 장치는 검사 대상이다”라고 말합니다. 한 사람은 최신 검사 규정과 장치 분류표를 확인했고, 다른 사람은 어제 들은 이야기를 옮겼습니다. 결론 문장만 모으면 두 답은 같습니다. 하지만 규정이 바뀌거나 분류가 수정되었을 때 어느 답을 다시 점검해야 하는지는 서로 다릅니다. 결론 옆에 근거의 경로를 남기는 방식이 이 차이를 드러냅니다.
연구를 읽는 두 가지 질문
무엇을 명시적으로 표현하는가?
아르테모프·피팅·슈투더의 학술 해설은 정당화 논리를 소개합니다. ‘명제를 안다’는 표현에 더해 ‘어떤 근거가 그 명제를 정당화하는가’를 형식 언어에 넣는 접근입니다. 근거를 나타내는 항에는 결합 연산이 있습니다. 조건문을 뒷받침하는 근거와 그 조건의 성립 근거를 결합하여 결론의 근거를 구성합니다. 이 자료는 이론과 역사를 정리한 전문 해설로, 사람을 모집한 교육 실험은 아닙니다. [1]
근거를 붙인다는 것의 의미
핵심은 근거의 이름을 장식처럼 붙이는 데 있지 않습니다. 어떤 근거들을 어떤 연산으로 연결했는지를 구분할 수 있다는 점입니다. 같은 명제를 지지하는 서로 다른 항을 보존하면, 한 경로의 약점이 다른 경로까지 자동으로 무너뜨리는 것으로 처리되지 않습니다. 다만 근거가 있는 믿음이 모두 참인지 여부는 채택한 논리의 추가 조건에 달립니다. 기호를 붙였다는 사실만으로 자료의 사실성이 보장되지는 않습니다. [1]
검사 규정과 장치 기록을 함께 보관하기
다음은 LTCT가 구성한 가상 사례입니다. 규정 문서 가에는 ‘고압 장치는 정기검사 대상’이라고 적혀 있습니다. 장치 기록 나에는 ‘장치 온은 고압 장치’라고 적혀 있습니다. 두 문서를 함께 쓰면 ‘장치 온은 정기검사 대상’이라는 결론을 얻습니다. 그림의 합류점은 가와 나가 함께 필요하다는 뜻입니다.
소문 다도 같은 결론을 말한다고 합시다. 이때 가와 나를 결합한 경로, 소문 다에 의존한 경로를 따로 기록합니다. 다가 근거 없는 말로 밝혀져도 가와 나가 여전히 유효하면 첫 경로는 남습니다. 반대로 나가 다른 장치의 기록이었다면 첫 경로는 점검 대상입니다. 결론이 같다는 이유로 자료의 출처를 서로 바꾸어 끼울 수는 없습니다.
기록에는 문서 번호와 적용 날짜도 붙일 수 있습니다. 오래된 규정이 특정 시점에는 유효했을 가능성이 있기 때문입니다. 이런 날짜 관리는 아래 논리 도식의 실제 운영을 위한 LTCT 제안이며, 원문이 문서 관리 프로그램의 효과를 시험했다는 뜻은 아닙니다.
어디까지 말할 수 있을까요?
- 형식적 근거 항과 현실의 믿을 만한 증거는 구분해야 합니다. 문서의 진위와 규정의 적용 범위는 별도로 확인해야 합니다.
- 이 글은 근거 결합의 입문 원리를 다룹니다. 정당화 논리의 모든 체계가 같은 사실성·내성 원리를 채택하는 것은 아닙니다.
원문에 근거한 한계와 LTCT의 적용 범위 검토입니다. [1]
교육 현장과 연결해 보면
논증 지도에서 결론 노드와 근거 노드에 서로 다른 식별자를 부여하고, 어느 자료가 바뀌면 어느 결론 경로를 재검토할지 찾게 할 수 있습니다. 정답 선택 외에 ‘다시 확인할 문서’를 고르는 문항도 구성할 수 있습니다.
수업에서는 출처 하나를 무효화한 뒤 남는 경로를 설명하게 합니다. 채점은 결론 유지 여부, 의존 자료의 확인, 결합 규칙 설명으로 나누는 방식이 적절합니다.
소문 다가 틀렸다면, 장치 온이 검사 대상이라는 결론도 반드시 철회해야 할까요?
생각을 비교할 해설 펼치기
가와 나의 경로가 유효한지 먼저 살펴야 합니다. 다의 실패는 다에 의존한 정당화를 약화시키지만 독립적으로 남은 경로까지 없애지는 않습니다. 결론의 참·거짓과 특정 근거 경로의 성공·실패를 구별하는 것이 중요합니다.
원문과 출처 정보
한국어 제목은 이해를 돕기 위한 LTCT 번역입니다. 한글 제목 뒤 괄호에 원제를 함께 표기했습니다. 저자·학술지·원문 버전은 원문 서지정보를 기준으로 확인할 수 있습니다.
정당화 논리 (Justification Logic)
Sergei Artemov; Melvin Fitting; Thomas Studer (2011). Stanford Encyclopedia of Philosophy · Stanford University.
- 자료 성격
- 대학 발행 전문 학술 해설
- 읽은 버전
- 최초 2011-06-22; 실질 개정 2024-07-17
- 확인 범위
- 도입과 1.1절, 2절의 근거 항·적용 연산·사실성 구분 확인; 전체 형식체계 증명 재검증은 하지 않음
- 원문 확인일
- 영구 식별
- DOI 미기재 · 아래 보존판 주소로 안내
이 글은 한국어 해설이며 원문 전문 번역이 아닙니다. 도식과 활동의 제작·재구성 범위는 각 그림과 본문에 표시했습니다. 자료 선정과 출처 기준
같은 연구 흐름에서 이어 읽기
같은 원문, 저자·연구 흐름, 공통 개념 태그를 기준으로 연결한 관련 해설입니다.