논리학 기초

전제를 한 번 쓰고 버려야 하는 논리도 있을까?

선형논리는 전제를 무한히 복제하거나 버릴 수 있다는 구조 규칙을 제한해, 명제를 소비되는 자원처럼 추적합니다.

그림에서 무엇을 볼까요?

선형논리, 자원, 수축·약화의 관계와 검토 지점을 설명하는 LTCT 교육용 도식.

‘입장권 한 장’과 ‘입장권이 있으면 한 명이 입장한다’를 사용해 입장 상태를 만들고, 같은 표를 두 사람에게 중복 적용할 수 없는 이유를 전제 토큰으로 표시합니다.

그림은 선형논리 → 자원 → 수축·약화의 관계를 원 논문의 도표를 복사하지 않고 LTCT가 새로 구성했습니다. 화살표와 합류점은 조건이 어디에서 결론으로 연결되는지 보여 줍니다.

SEP 항목은 논리 체계와 연구사를 종합한 전문 해설이며 단일 정리의 새 증명이나 사용자 실험이 아닙니다. 자원 해석은 강력한 직관이지만 선형논리의 모든 의미론을 대체하지 않습니다.

이 연구만으로 ‘전제를 한 번 쓰고 버려야 하는 논리도 있을까?’에 관한 LTCT 교육·시험 효과를 확인할 수 없습니다. 본문의 수업·평가 아이디어는 별도 비교와 측정이 필요한 적용 제안입니다.

선형논리에서는 모든 전제를 정확히 한 번만 써야 하나요?