가장 중요한 4가지 유형의 논리(및 특성)

논리는 추론과 추론의 연구입니다. 유효한 논증이 오류와 어떻게 다른지, 그리고 우리가 오류에 도달하는 방법을 이해할 수 있게 해주는 일련의 질문과 분석입니다.

이를 위해서는 서로 다른 시스템과 연구 형태의 개발이 필수적이었고, 그 결과 네 가지 주요 유형의 논리가 탄생했습니다. 아래에서 각각에 대해 알아보겠습니다.

추천 기사: "논리적 오류와 논증 오류의 10가지 유형"

논리란 무엇인가?

"논리"라는 단어는 다른 방식으로 번역될 수 있는 그리스어 "로고스"에서 유래했습니다. 단어, 생각, 논증, 원칙 또는 이성이 주요 것들 중 일부입니다. 이러한 의미에서 논리는 원리와 추론에 대한 연구입니다.

이 연구는 다양한 추론 기준을 이해하고 무효 증명과 대조적으로 유효한 증명에 도달하는 방법을 이해하는 것을 목적으로 합니다. 따라서 논리의 기본 질문은 올바른 생각이 무엇이며 유효한 논증과 오류를 어떻게 구별할 수 있습니까?

이 질문에 답하기 위해 논리학은 진술과 논증이 형식 체계에서 발생하든 자연어에서 발생하든 다양한 분류 방법을 제안합니다. 구체적으로 참 또는 거짓이 될 수 있는 명제(선언문)를 분석하고, 오류, 역설, 인과관계를 포함하는 주장 및 일반적으로 입론.

일반적으로 시스템을 논리적으로 간주하려면 다음 세 가지 기준을 충족해야 합니다.

일관성 (시스템을 구성하는 정리들 사이에는 모순이 없다)
견고 (테스트 시스템에는 잘못된 추론이 포함되지 않음)
완전성 (모든 참 문장은 테스트 가능해야 함)

논리의 4가지 유형

우리가 보았듯이, 논리는 우리가 무언가를 정당화하기 위해 사용하는 추론을 이해하기 위해 다른 도구를 사용합니다. 전통적으로 네 가지 주요 유형의 논리가 인식되며, 각각은 일부 하위 유형과 특수성을 가지고 있습니다. 아래에서 각각에 대해 알아보겠습니다.

1. 형식 논리

전통적인 논리 또는 철학적 논리라고도 하며, 그것은 순전히 형식적이고 명시적인 내용을 가진 추론에 대한 연구입니다.. 그것은 의미가 본질적인 것이 아니라 주어진 유용한 응용으로 인해 그 상징이 의미가 있는 형식적 진술(논리적 또는 수학적)을 분석하는 것에 관한 것입니다. 후자가 파생된 철학적 전통을 정확히 "형식주의"라고 합니다.

instagram story viewer

차례로, 형식 시스템은 하나 이상의 전제에서 결론을 도출하는 데 사용되는 시스템입니다. 후자는 공리(자명한 명제) 또는 정리(고정된 일련의 추론 및 공리 규칙의 결론)일 수 있습니다.

형식논리를 통해 얻은 결론, 유효한 전제를 기반으로 하고 논리 연산에 오류가 없으면 그 자체로 참입니다.. 사실, 이것은 형식 논리가 과학의 세계에 속하는지 여부에 대한 공개 토론으로 이어집니다. 또는 그들은 현실을 기술하는 것이 아니라 자신의 규칙을 기술하기 때문에 다른 지식 분야에 속합니다. 작동.

2. 비공식 논리

그 부분에서 비공식 논리는 보다 최근의 학문이며, 자연어나 일상어로 전개된 주장을 연구, 평가 및 분석합니다.. 따라서 "비공식" 범주를 받습니다. 그것은 구어와 서면 언어가 될 수도 있고, 무언가를 전달하는 데 사용되는 모든 유형의 메커니즘과 상호 작용이 될 수도 있습니다. 예를 들어 컴퓨터 언어의 연구 및 개발에 적용되는 형식 논리와 달리; 공식 언어는 언어와 언어를 나타냅니다.

따라서 비공식 논리는 개인적인 추론과 논쟁에서 정치적 논쟁에 이르기까지 모든 것을 분석할 수 있습니다. 신문, 텔레비전, 인터넷, 기타

3. 기호 논리

이름에서 알 수 있듯이 기호 논리는 기호 간의 관계를 분석합니다. 때로는 복잡한 수학적 언어를 사용하는데, 이는 전통적인 형식 논리가 해결하기 복잡하거나 어려운 문제를 연구하기 때문입니다. 일반적으로 두 가지 하위 유형으로 나뉩니다.

예측 논리 또는 1차 논리: 공식과 수량화 가능한 변수로 구성된 형식적 체계
제안: "논리 접속사"라는 연결자를 통해 다른 명제를 생성할 수 있는 명제로 구성된 형식 체계입니다. 여기에는 수량화할 수 있는 변수가 거의 없습니다.

4. 수학적 논리

그것을 기술하는 저자에 따라 수학적 논리는 형식 논리의 일종으로 간주 될 수 있습니다. 다른 사람들은 수학적 논리가 수학에 형식 논리를 적용하는 것과 형식 논리에 수학적 추론을 적용하는 것을 모두 포함한다고 생각합니다.

넓게 말해서, 인간의 마음을 재현하는 것을 가능하게 하는 것은 논리 시스템의 구성에 수학적 언어를 적용하는 것입니다. 예를 들어, 이것은 인공 지능의 발전과 인지 연구의 계산 패러다임에 매우 존재했습니다.

일반적으로 두 가지 하위 유형으로 나뉩니다.

논리주의: 수학에 논리를 적용하는 것에 관한 것입니다. 이러한 유형의 예로는 증명 이론, 모델 이론, 집합 이론 및 재귀 이론이 있습니다.
직관주의: 논리와 수학 모두 복잡한 정신 구성을 수행하기 위해 일관되게 적용되는 방법이라고 주장합니다. 그러나 그는 논리와 수학만으로는 분석하는 요소의 깊은 속성을 설명할 수 없다고 말합니다.

귀납적, 연역적, 모달적 추론

한편, 논리적 시스템으로도 간주될 수 있는 세 가지 유형의 추론이 있습니다.. 이것들은 전제로부터 결론을 이끌어낼 수 있는 메커니즘입니다. 연역적 추론은 이러한 추출을 일반 전제에서 특정 전제로 만듭니다. 고전적인 예는 아리스토텔레스가 제안한 것입니다. 모든 인간은 죽습니다(이것이 일반적인 전제입니다). 소크라테스는 인간이고(이것이 주요 전제), 마지막으로 소크라테스는 죽는다(이것이 결론).

귀납적 추론은 결론이 반대 방향, 즉 특수한 것에서 일반적인 것으로 도출되는 과정입니다. 이에 대한 예는 "내가 볼 수 있는 까마귀는 모두 검다"(특정 전제)입니다. 그래서 모든 까마귀는 검은색입니다(결론).

마지막으로 추론 또는 모달 논리는 확률론적 논증을 기반으로 합니다. 즉, 가능성(모달리티)을 표현합니다. "할 수 있다", "할 수 있다", "해야 한다", "결국에는"과 같은 용어를 포함하는 형식 논리 시스템입니다.

참고 문헌:

그로아크, L. (2017). 비공식 논리. 스탠포드 철학 백과사전. 2018년 10월 2일에 확인함. 가능 https://plato.stanford.edu/entries/logic-informal/
논리(2018). 철학의 기초. 2018년 10월 2일에 확인함. 가능 https://www.philosophybasics.com/branch_logic.html
마그나니, L. (2001). 납치, 이성, 과학: 발견과 설명의 과정. 뉴욕: Kluwer 아카데믹 플레넘 출판사.
맥긴, C. (2000). 논리적 속성: 동일성, 존재, 술어, 필연성, 진실. 옥스포드: Clarendon Press.
콰인, W.V.O. (1986) (1970). 논리의 철학. 캠브리지, MA.: Harvard University Press.
샤피로, S. 및 Kouri, S. (2018). 고전 논리. 2018년 10월 2일에 확인함. 로직(2018)에서 사용할 수 있습니다. 철학의 기초. 2018년 10월 2일에 확인함. 가능 https://www.philosophybasics.com/branch_logic.html
가슨, J. (2018). 모달 로직. 스탠포드 철학 백과사전. 2018년 10월 2일에 확인함. 가능 https://plato.stanford.edu/entries/logic-modal/