전제의 순서를 바꾸거나 같은 전제를 두 번 써도 된다는 규칙도 논리의 일부일까?

부분구조논리는 교환·축약·약화 같은 구조 규칙을 선택적으로 제한해, 전제의 순서·수량·관련성이 추론에 미치는 영향을 드러냅니다.

개념·이론 학습중급 · 약 9분원문: 학술 백과 해설 · 2024

해설·교육용 구성: LTCT 편집부 · 게시 2026.09.13 · 최종 수정 2026.09.13

‘표 한 장’을 두 번 복사해 두 과제에 동시에 제출해도 되는가와 ‘일회용 인증번호’를 두 번 써도 되는가는 다릅니다. 고전논리에서는 전제의 배열과 중복을 대개 자유롭게 다루지만, 자원·순서·관련성을 추적하는 논리에서는 그 자유 자체가 검토 대상입니다.

학술 자료의 내용

연구를 읽는 두 가지 질문

Restall의 2024년 개정 해설은 교환, 축약, 약화, 절단 같은 규칙을 전제와 결론의 일반적 배치 규칙으로 설명합니다. 예컨대 축약은 A를 두 번 가진 맥락을 한 번 가진 맥락처럼 다루고, 약화는 쓰지 않는 전제를 더해도 추론을 보존합니다. [1]

선형논리는 축약과 약화를 제한해 자원을 몇 번 썼는지 추적하고, Lambek 계산은 순서를 중요하게 다루며, 관련논리는 결론과 무관한 전제가 공짜로 끼어드는 일을 막으려 합니다. 같은 기호라도 배경 구조 규칙이 다르면 허용되는 증명이 달라집니다. [1]

X에서 A를 증명하고 A와 Y에서 B를 증명하면 X와 Y에서 B를 얻는 것이 절단입니다. 해설은 증명과 모형 양쪽에서 이 규칙을 설명하고, 절단이나 동일성을 제한하는 최근 논리가 메타추론 수준에서 고전논리와 어떻게 달라지는지도 다룹니다. [1]

부분구조논리는 철학의 관련논리, 언어학의 범주문법, 증명이론의 선형논리가 독립적으로 발전한 뒤 통합적으로 연구된 분야입니다. 자료는 실험 보고가 아니라 규칙·대수·모형·역사를 종합한 전문가 해설이므로 교육 효과 수치로 읽을 수 없습니다. [1]

그림으로 생각하기

전제 T를 ‘한 번만 사용할 수 있는 인증 토큰’으로 읽고, T로 방 A를 열거나 방 B를 열 수 있다고 합시다. T 하나로 두 문을 모두 열었다고 쓰면 전제를 복제하는 축약에 해당하는 움직임이 숨어 있습니다.

고전적 문맥에서는 같은 사실을 여러 추론에서 재사용해도 되지만, 자원 민감 문맥에서는 T의 소비를 표시해야 합니다. 그림은 T가 한 갈래를 선택한 뒤 남은 토큰 수가 0이 되는 과정을 보여줍니다.

LTCT 문항은 결론의 참·거짓보다 ‘어느 단계에서 전제가 복제·삭제·재배열됐는가’를 묻게 할 수 있습니다. 규칙 이름을 제시하지 않고 두 증명 흔적을 비교하게 하면 구조 읽기 능력을 평가할 수 있습니다.

원문에 근거한 한계와 LTCT의 적용 범위 검토입니다. [1]

배운 내용을 수업에 적용하기

전제를 카드로 놓고 같은 카드를 복사하거나 순서를 바꿀 수 있는 활동과 한 번만 순서대로 쓰는 활동을 비교합니다. 학생은 각 규칙 아래에서 가능한 결론을 만들어 봅니다.

증명 줄마다 사용한 카드와 남은 카드를 기록합니다. 교사는 답의 차이가 계산 실수에서 생겼는지, 전제의 재사용·순서에 관한 허용 규칙에서 생겼는지 구별하게 합니다.

한 번 더 생각하기

생각을 비교할 해설 펼치기

약화가 허용되면 B의 증명에 사용하지 않은 A를 전제 목록에 추가해도 A에서 B가 따른다고 기록할 수 있습니다. 관련성이나 자원을 추적하는 체계는 이 이동을 제한할 수 있습니다.

한국어 제목은 이해를 돕기 위한 LTCT 번역입니다. 한글 제목 뒤 괄호에 원제를 함께 표기했습니다. 저자·학술지·원문 버전은 원문 서지정보를 기준으로 확인할 수 있습니다.

이 글은 한국어 해설이며 원문 전문 번역이 아닙니다. 도식과 활동의 제작·재구성 범위는 각 그림과 본문에 표시했습니다. 자료 선정과 출처 기준