행동을 하나의 논리 연산자로 다룰 수 있을까? 세계를 바꾸는 행동과 실행 결과의 보장을 어떻게 논리식으로 나타내는가? 공개 원자료의 방법·결과·한계와 LTCT 적용 제안을 분리해 살펴봅니다.
연구를 읽는 두 가지 질문
연구 질문
세계를 바꾸는 행동과 실행 결과의 보장을 어떻게 논리식으로 나타내는가? [1]
자료와 방법
Segerberg, Meyer, Kracht는 프로그램을 상태 관계로 보는 동적논리, 행위자의 보장을 묻는 STIT, 사전·사후조건을 잇는 호어 논리를 정리했습니다. [1]
핵심 결과
[α]P는 모든 실행 결과, ⟨α⟩P는 적어도 한 결과에서 P가 참이라는 뜻입니다. {P}S{Q}는 정상 종료 조건부 보장입니다. [1]
결과의 범위
체계마다 시간·종료 가정이 다르고 형식 보장은 명세가 정확하다는 조건부 결과입니다. 직접 말할 수 있는 범위는 저자가 사용한 설계와 측정에 한정됩니다. 측정하지 않은 장기 행동, 다른 연령·언어·과목까지 같은 결과가 난다고 확장할 수 없습니다. 통계적 차이와 교육적 중요성도 같지 않으므로 효과의 방향·크기·불확실성과 실제 과제를 함께 읽습니다. 한계가 있다고 결과가 무의미한 것은 아닙니다. 개념 연구는 구분과 반례를, 실험은 조작한 조건의 평균 차이를, 메타분석은 여러 연구의 평균과 이질성을 제공합니다. 자료 유형에 맞춰 확인된 증거와 후속 가설을 분리합니다. [1]
구체적으로 생각해 보기
도서 대출을 회원 확인, 재고 확인, 기록 증가로 적습니다. 순서가 바뀌면 경합 상태가 생겨 각 전이 조건이 필요합니다.
예시에서 한 조건만 바뀌었는지 확인하고 본문 숫자·비교 방향과 그림의 카드가 일치하는지 대조합니다. 같은 결론도 분모나 기준 시점이 다르면 다른 주장입니다.
답을 고른 뒤 사용한 전제와 남는 불확실성을 적습니다. 이 예시는 원 연구의 추가 결과가 아니라 LTCT가 만든 교육용 사례입니다.
어디까지 말할 수 있을까요?
- 체계마다 시간·종료 가정이 다르고 형식 보장은 명세가 정확하다는 조건부 결과입니다.
- 공개본에서 확인한 범위를 넘어 저자나 참가자의 속성을 추측하지 않았고 발행일과 개정일을 구분했습니다.
원문에 근거한 한계와 LTCT의 적용 범위 검토입니다. [1]
교육 현장과 연결해 보면
교실에서 문이 열리고 닫힌 상황을 카드로 표현한 뒤 ‘문을 잠근다’와 같은 행동 전후의 가능한 상태를 화살표로 연결합니다.
학생은 행동이 실행되기 전과 후에 참인 문장을 각각 표시하고, 어떤 상태가 사라지거나 새로 생겼는지 변화 규칙을 설명합니다.
[S]Q가 참이면 S는 반드시 실행 가능한가요?
생각을 비교할 해설 펼치기
실행 경로가 없을 때 공허하게 참일 수 있어 실행 가능성을 따로 봐야 합니다.
원문과 출처 정보
한국어 제목은 이해를 돕기 위한 LTCT 번역입니다. 한글 제목 뒤 괄호에 원제를 함께 표기했습니다. 저자·학술지·원문 버전은 원문 서지정보를 기준으로 확인할 수 있습니다.
행동의 논리 (The Logic of Action)
Krister Segerberg, John-Jules Meyer, Marcus Kracht (2024). The Stanford Encyclopedia of Philosophy, Summer 2024 Edition.
- 자료 성격
- 해외 대학 공개 전문 학술자료
- 읽은 버전
- 2009-03-31 최초 공개, 2013-04-02 실질 개정, 2024-03-21 기록 갱신
- 확인 범위
- 공개 항목 전체의 동적논리, STIT, 호어 논리
- 원문 확인일
- 영구 식별
- DOI 미기재 · 아래 보존판 주소로 안내
이 글은 한국어 해설이며 원문 전문 번역이 아닙니다. 도식과 활동의 제작·재구성 범위는 각 그림과 본문에 표시했습니다. 자료 선정과 출처 기준
같은 연구 흐름에서 이어 읽기
같은 원문, 저자·연구 흐름, 공통 개념 태그를 기준으로 연결한 관련 해설입니다.