보통 논리 문제에서는 이미 얻은 전제를 여러 번 써도 되지만, 컴퓨터 과정이나 물질 흐름에서는 ‘한 번 사용한 자원’이 그대로 남지 않습니다. 공개 학술사전은 이 차이를 선형논리의 출발점으로 설명합니다.
연구를 읽는 두 가지 질문
연구 질문과 확인한 자료
Roberto Di Cosmo, Dale Miller의 원자료 공개 전문을 확인했습니다. Roberto Di Cosmo와 Dale Miller는 Girard가 1987년에 제안한 선형논리의 역사, 시퀀트 계산, 가법·승법 연결사, 지수양상, 증명망과 컴퓨터과학 응용을 체계적으로 정리합니다. 구조 규칙인 수축과 약화를 제한할 때 고전논리에서 같던 연결사들이 어떻게 갈라지는지 증명론적으로 비교합니다. [1]
방법과 핵심 결과
수축은 전제를 복제하고 약화는 쓰지 않은 전제를 버리는 규칙입니다. 선형논리에서는 일반 명제에 두 규칙을 자유롭게 적용하지 않아 A와 A⇒B를 조합해 B를 얻으면 해당 증명 자원이 소비된 것으로 해석할 수 있습니다. 다시 쓸 수 있는 자원은 ‘!’ 같은 지수양상으로 표시합니다. 이 설계는 상태 변화, 병렬 처리, 자원 안전성을 표현하는 데 유용하지만 일상 언어의 모든 전제를 실제 물건처럼 읽으라는 뜻은 아닙니다. [1]
해석의 범위와 한계
SEP 항목은 논리 체계와 연구사를 종합한 전문 해설이며 단일 정리의 새 증명이나 사용자 실험이 아닙니다. 자원 해석은 강력한 직관이지만 선형논리의 모든 의미론을 대체하지 않습니다. 발표일과 확인한 버전을 구분했으며 저자 국적은 추정하지 않았습니다. [1]
개념을 직접 점검하는 예시
‘입장권 한 장’과 ‘입장권이 있으면 한 명이 입장한다’를 사용해 입장 상태를 만들고, 같은 표를 두 사람에게 중복 적용할 수 없는 이유를 전제 토큰으로 표시합니다.
그림은 선형논리 → 자원 → 수축·약화의 관계를 원 논문의 도표를 복사하지 않고 LTCT가 새로 구성했습니다. 화살표와 합류점은 조건이 어디에서 결론으로 연결되는지 보여 줍니다.
어디까지 말할 수 있을까요?
- SEP 항목은 논리 체계와 연구사를 종합한 전문 해설이며 단일 정리의 새 증명이나 사용자 실험이 아닙니다. 자원 해석은 강력한 직관이지만 선형논리의 모든 의미론을 대체하지 않습니다.
- 이 연구만으로 ‘전제를 한 번 쓰고 버려야 하는 논리도 있을까?’에 관한 LTCT 교육·시험 효과를 확인할 수 없습니다. 본문의 수업·평가 아이디어는 별도 비교와 측정이 필요한 적용 제안입니다.
원문에 근거한 한계와 LTCT의 적용 범위 검토입니다. [1]
교육 현장과 연결해 보면
수업에서는 같은 전제를 두 번 사용한 풀이를 색으로 표시하고, 그 사용이 허용되는 논리인지 먼저 선언하게 합니다. 정답보다 자원 추적의 일관성을 별도 채점 요소로 둡니다.
활동지는 ‘사용 전’, ‘규칙 적용’, ‘남은 자원’ 세 구역으로 나눕니다. 학생은 입장권·쿠폰·배터리 같은 사례를 명제 토큰으로 옮기고 사라지거나 유지되는 항목을 그립니다.
선형논리에서는 모든 전제를 정확히 한 번만 써야 하나요?
생각을 비교할 해설 펼치기
그렇게 단순하지 않습니다. 일반 자원의 복제·폐기를 제한하지만, 지수양상으로 반복 사용 가능한 전제를 따로 표시할 수 있습니다.
원문과 출처 정보
한국어 제목은 이해를 돕기 위한 LTCT 번역입니다. 한글 제목 뒤 괄호에 원제를 함께 표기했습니다. 저자·학술지·원문 버전은 원문 서지정보를 기준으로 확인할 수 있습니다.
선형논리 (Linear Logic)
Roberto Di Cosmo, Dale Miller (2023). Stanford Encyclopedia of Philosophy, Metaphysics Research Lab, Stanford University.
- 자료 성격
- 해외 대학 학술사전
- 읽은 버전
- 2006-09-06 최초 공개 · 2023-09-16 전면 개정 공개 전문
- 확인 범위
- Stanford Encyclopedia of Philosophy 공개 전문 전체에서 구조 규칙, 가법·승법 연결사, 지수양상, 증명 탐색과 컴퓨터과학 응용을 확인. 2026-09-12 확인
- 원문 확인일
- 영구 식별
- DOI 미기재 · 아래 보존판 주소로 안내
이 글은 한국어 해설이며 원문 전문 번역이 아닙니다. 도식과 활동의 제작·재구성 범위는 각 그림과 본문에 표시했습니다. 자료 선정과 출처 기준
같은 연구 흐름에서 이어 읽기
같은 원문, 저자·연구 흐름, 공통 개념 태그를 기준으로 연결한 관련 해설입니다.