기관회원 [로그인]
소속기관에서 받은 아이디, 비밀번호를 입력해 주세요.
개인회원 [로그인]

비회원 구매시 입력하신 핸드폰번호를 입력해 주세요.
본인 인증 후 구매내역을 확인하실 수 있습니다.

회원가입
서지반출
반 멕기의 반례와 해결책
[STEP1]서지반출 형식 선택
파일형식
@
서지도구
SNS
기타
[STEP2]서지반출 정보 선택
  • 제목
  • URL
돌아가기
확인
취소
  • 반 멕기의 반례와 해결책
저자명
최원배,Choi. Won-Bae
간행물명
논리연구= Korean journal of logic
권/호정보
2008년|11권 1호|pp.67-89 (23 pages)
발행정보
한국논리학회
파일정보
정기간행물|
PDF텍스트
주제분야
기타
이 논문은 한국과학기술정보연구원과 논문 연계를 통해 무료로 제공되는 원문입니다.
서지반출

기타언어초록

반 멕기는 전건긍정규칙의 반례라고 하는 것을 제시하였다. 지금까지 그것이 과연 진정한 반례인지를 두고 많은 논의가 있었다. 이 논문에서 나의 목적은 조금 다르다. 나는 여기서 반 멕기의 반례가 생겨나는 구조를 밝히고자 한다. 우선 나는 내 자신이 구성한 반례를 하나 제시할 것이다. 그런 다음 반례가 생겨나는 기본 구조를 찾아내고, 이런 분석이 다른 반례에도 그대로 적용된다는 점을 보임으로써 나의 제안이 옳은 분석이라는 점을 확증하기로 한다. 이를 통해 최종적으로 우리는 반례가 만들어지는 메커니즘을 분명히 할 수 있을 것이다. 나는 석기에는 조건문에 대한 특정한 이해가 들어 있다는 점을 보일 것이다. 반례가 생겨나는 구조를 파악하고 나면 반례의 해결책을 마련하는 일은 그다지 어렵지 않다. 끝에서 나는 그런 해결책을 간단히 언급하고자 한다.