공식적인 오류

그런 것 때문에 생각
논리와 수사학
아이콘 logic.svg
주요 기사
일반 논리
잘못된 논리
혼동하지 마십시오 따르지 않는다 — 논쟁이 타당 할 수 있지만 약한 전제 때문에 결론이 나오지 않는 경우.

형식적인 오류 이다 논리적 오류 다음과 같이 명 제적 미적분의 특정 규칙을 위반하는 한계를두기 . 이러한 오류는 논증의 형식이나 구조를 조사하는 것만으로도 유효하지 않은 것으로 판단 할 수 있습니다.따르지 않는다. 이것은 반드시 결론이잘못된하지만 결론을 내리기 위해서는 더 나은 이유나 주장이 필요하다는 뜻입니다.


형식적 오류는 명 제적, 정량적, 단조로운 , 모달 또는 오류 오류 .

내용

예를 들어 다음과 같은 삼단 문자가 주어집니다.

P1 : X는 Y를 의미합니다.
P2 : Y는 Z를 의미합니다.
씨: X 그러므로 Z.

X, Y, Z는 중요하지 않습니다.실제로는. X, Y 또는 Z의 내용으로 인해 설명이 잘못된 경우 비공식적 오류 , 논리가 작동하기 때문에 공식적인 오류가 아닙니다. 논쟁의 내용을 형식에서 분리하는 데 어려움이있을 수 있기 때문에 차이점을 찾기 어려울 수 있습니다.

다음 제안을 고려하십시오.


P1 : 어떤 남자는 의사입니다.
P2 : 일부 의사는 키가 큽니다.
씨: 따라서 일부 남성은 키가 큽니다.

어떤 사람들은 이에 대해 즉시 '예'라고 말하고 이것이 현실이 반영하는 것이기 때문에 그 명제를 옳다고 받아들이기를 원합니다. 그러나 이것은 실제로 논리적 설정이 우리가 만들 수있는 것 이상의 추론입니다.의사는 누구입니까키가 크거나 키가 큰 남자의사입니까, 의사의 키와 성별은 별개의 특성이기 때문에; 둘 다 논쟁이 다른 것보다 더 유효하게 만들지 않습니다. 팬텀 구별 모드 III 또는 IEE는 가능한 결론을 이끌어 낼 수 있지만 분산되지 않은 중간을 가지므로 두 구문 사이에 있습니다. '어떤 남자는 키가 크다'라고 말하거나 기술적으로는몇몇 남자 의사는 누구입니까 키가 크다또는키가 큰 남자 의사입니까 처음 두 건물은형식적인논리적 오류. 이것이 왜 그렇게되었는지는 'tall'을 'are women'과 같은 다른 속성으로 대체하여 더 쉽게 강조 할 수 있습니다.



P1 : 어떤 남자는 의사입니다.
P2 : 일부 의사는 여성입니다.
씨: 따라서 일부 남성은 여성입니다.

이것은 변경되지 않습니다논리적 구조내용이 더 명백한 어리 석음으로 바뀌고 논리적 설정이 우리가 할 수있는 범위 내에 있다고하더라도 여전히 오류를 발견하기가 더 쉽습니다.


보다 공식적으로 이것은아니술어 논리에서 유효한 추론 규칙 :

 cfrac { exists x (P (x)  and Q (x))  qquad  exists x (Q (x)  and R (x))} { exists x (P (x)  and R (x ))}

이 동안이다:


 cfrac { exists x (P (x)  및 Q (x))  qquad  exists x (Q (x)  및 R (x))} { exists x (P (x)  및 Q (x )  및 R (x))}

첫 번째와 두 번째엑스다른 바운드 변수입니다.

하위 오류

이 주제에 대한 주요 기사를 참조하십시오. 논리적 오류 § 공식