마스크맨 오류

철학 논리학에서, 마스크맨 오류는 ^[1]논쟁에서 라이프니츠의 법칙을 부정하게 사용할 때 저질러진다.라이프니츠의 법칙에 따르면 A와 B가 같은 물체라면 A와 B는 구별되지 않는다(즉, 모두 같은 속성을 가진다).modus tollens에 따르면 한 객체가 특정 속성을 가지고 있는 반면 다른 객체는 동일한 속성을 가지고 있지 않으면 두 객체가 동일할 수 없습니다.오류는 대상과 대상 자체에 대한 대상의 지식 사이에 즉각적인 동일성을 가정하고 라이프니츠의 법칙이 집중적인 맥락을 설명할 수 없다는 것을 인식하지 못하기 때문에 "epistemic"이다.

예

오류의 이름은 다음 예에서 유래합니다.

• 전제 1: 나는 클라우스가 누군지 안다.
• 전제 2: 나는 복면을 한 남자가 누구인지 모른다.
• 결론:그러므로, 클로스는 복면을 한 남자가 아니다.

만약 클라우스가 복면을 쓴 남자이고 화자가 그것을 모른다면 전제는 사실일 수 있고 결론은 틀릴 수 있다.그러므로 그 주장은 잘못된 ^{[clarification needed]}것이다.

심볼 형식에서 위의 인수는 다음과 같습니다.

• 전제 1: X가 누군지 알고 있습니다.
• 전제 2: 나는 Y가 누군지 모른다.
• 결론:따라서 X는 Y가 아니다.

그러나, 이 삼단논법은 화자 "나"에 의한 추론에 발생한다는 것을 유념하십시오. 따라서, 형식적인 모달 논리 형태에서, 그것은

• 전제 1: 화자는 X가 누구인지 알고 있다고 믿는다.
• 전제 2: 화자는 Y가 누구인지 모른다고 믿는다.
• 결론:따라서 화자는 X가 Y가 아니라고 생각한다.

전제 1 ${\displaystyle {B\mathcal{}}_{}}$ ${\displaystyle {}_{}\mathrm{}t}$ ( ${\displaystyle t}$ ${\displaystyle =}$ ${\displaystyle X}$ ${\displaystyle \to }$ ${\displaystyle {}_{}{s}_{}}$ ( ${\displaystyle t}$ $){style {mathcal {B_{s}}\forall$ t$(t=X\rightarrow K_{s}(t$${\displaystyle =}$$X$)})는$$ ${\displaystyle {논리적}_{}}$으로 ${\displaystyle B{}_{}\mathrm{}(}$ t(${\displaystyle t}$=${\displaystyle {}_{}{S}_{}}$)와 동등하기 때문에 매우 강력하다.$이$는 잘못된 믿음일 가능성이 매우 높습니다.${\displaystyle \mathrm{}{}_{}}$ ${\displaystyle t_{}}$t t ( ${\displaystyle t{}_{}=}$ ${\displaystyle X}$ )$$t${\displaystyle }$→ ${\displaystyle X}$ ) ($displaystyle \forall$ t ( \$neg$ K _ {s （ t$= X$） \ $rightarrow$t \ $not$=$X$） is$$ is is is is x x x x x $x = display$t $style$ t style t$$ .

또 다른 예는 다음과 같습니다.

• 전제 1: 로이스 레인은 슈퍼맨이 날 수 있다고 생각한다.
• 전제 2: Lois Lane은 Clark Kent가 날 수 없다고 생각한다.
• 결론:그러므로 슈퍼맨과 클라크 켄트는 같은 사람이 아니다.

위의 삼단 논리로 표현되는 삼단 논리는 다음과 같다.

• 전제 1: $(\displaystyle\mathcal {B}}_{Lois})Fly_{(슈퍼맨)}}$
• 전제 2: $({displaystyle {B}}_{Lois}\neg Fly_{(Clark)})}$
• 결론: $"디스플레이 스타일 슈퍼맨&neq 클라크"$

위의 논리는 일관성이 없다(진실을 유지하지 않는다).일관된 $결론$은 B ${\displaystyle L_{}}$ ${\displaystyle o_{}}$ i${\displaystyle {}_{}{s}_{}}$ ( ${\displaystyle S}$ ${\displaystyle u}$ ${\displaystyle p}$ e ${\displaystyle r}$ ${\displaystyle m}$ ${\displaystyle a}$ n${\displaystyle c}$ C ${\displaystyle l}$ ${\displaystyle a}$ ${\displaystyle rk}$) ( $display$style { $mathcal${ $B$} $_${ $Lois$} ( $Superman$\$neq$ Clark $)$） 。

다음과 같은 유사한 인수가 유효합니다.

• X는 Z다
• Y는 Z가 아니다
• 따라서 X는 Y가 아닙니다.

이것은 무엇인가가 무엇인가를 아는 것(또는 믿는 것 등)과 다르기 때문에 유효하다.유효하지 않은 공식 추론을 살펴볼 때 유효한 추론과 잘못된 추론을 비교할 수 있습니다.

• X는 Z다
• Y가 Z이거나 Y가 Z가 아닙니다.
• 따라서 X는 Y가 아니다.

인텐션('s' 포함)은 단어 또는 구를 나타내는 것으로, 단어 또는 구가 적용되는 확장과 대조됩니다.집중형 문장은 종종 의도적인 ('t'가 있는) 문장으로, 개념, 감각 등에서 사물을 향해 향하는 정신에 고유한 관계를 포함한다.

「 」를 참조해 주세요.

• 블랙박스
• 에우불리데스의 두 번째 역설
• 식별 불능의 동일성
• 오류 목록
• 불투명한 컨텍스트
• 정체성의 이동성
• 용도-멘션의 구별
• 메타니미

레퍼런스

추가 정보