Import-export(로직)

논리학에서 import-export는 (P ${\displaystyle \to }$ ( ${\displaystyle Q}$ ${\displaystyle \to R}$) ${\displaystyle \leftrightarrow }$( ( ${\displaystyle P}$) ${\displaystyle Q}$ )$→$ R ) ( $displaystyle$( P \ $rightarrow$ ( Q \ rightarrow R ) \ $left$ rightarrow ( ($Q$ \ $rightarrow$ R ) \ $（$ ( ( $P$\ $land$Q ) \ $rightarrow$R ) \ r ) \ r ) \ r ) ） \ right $）$${\displaystyle }$（ ( ( ( ( ( ( ( ( ( ( ( P \ r ) ) ) ) ) ） ） ） ） ） ar R )

1. 만약 메리가 집에 없다면, 샐리가 집에 없다면, 그 집은 비어 있는 것이다.
2. 메리가 집에 없고 샐리가 집에 없다면 집은 비어 있는 것이다.

수출입은 조건 연산자 $→(\displaystyle\rightarrow)$가 중요한 함축으로 간주되는 고전적 논리에 부합한다.그러나 논리가 성립하지 않는 논리도 있고 논리의 참된 원칙이라는 지위는 논란의 여지가 있다.이 원칙에 대한 논란은 이 원칙을 충족하는 조건부 운영자가 특정 다른 원칙과 결합할 때 물질적 함의로 붕괴될 것이라는 사실에서 비롯된다.이 결론은 자연어 조건들이 물질적 ^[2][3][4]함의가 아니라는 것을 보여주는 것으로 일반적으로 받아들여지는 물질적 함의의의 역설들을 고려할 때 문제가 있을 것이다.

이러한 문제의 결론은 동적 의미론의 틀 안에서 피할 수 있다. 표현력은 다른 ^[3][5]원칙과 함께 수입-수출에 부합하는 비물질 조건부 연산자를 정의할 수 있게 해준다.그러나 다른 접근법은 다음과 같은 경우에 동기부여가 되어 성냥을 모닥불에 던져 불을 붙일 가능성이 가장 높지만, 그것을 쳐서 불을 붙일 수 있는 상황에서 말하는 일반적인 원칙으로서 수출입을 거부한다.이 맥락에서 첫 번째 문장은 직관적으로 참이지만 두 번째 문장은 직관적으로 ^[5][6][7]거짓이다.

1. 성냥을 긋고 불이 들어오면 불이 켜집니다.
2. 성냥불이 켜지면 불을 붙여요.

「 」를 참조해 주세요.

• 반팩트론자
• 모두스 포넨
• 물질적 함축의 역설
• 엄격한 조건
• 카레잉

레퍼런스