6 개의 주요 논리 유형



몇 가지가있다. 논리의 유형 추론을 이해하고 옳거나 틀린시기를 식별하는 데 모든 연구 목표를 집중합니다..

논리에 대한 연구는 그리스 철학자 아리스토텔레스의 시대부터 현재까지 발전되어 왔으며, 이것은보다 구체적이고 동시에 인간의 일상 생활에보다 적합하도록 의도되어 조정되었다. 다른 분야에서보다 확실한 응용.

논리는 논증과 명제에 대한 체계적인 연구를 추구하며 논리의 여러 유형은 이러한 진술의 순전히 공식적인 구조, 내용과 관련이있는 내용 및 상기 내용의 힘을 연구하는 것이 가능합니다.

논리는 진술의 연구를 기반으로하지만 자연 언어 (우리가 알고있는 언어)에 초점을 맞추지는 못하지만 그 유용성은 수학과 같은 다른 영역과 다양한 구조에 도달했습니다. 컴퓨팅.

가장 관련있는 유형의 논리

정식

고전 논리 또는 아리스토텔레스 논리라고도 알려진 형식 논리는 구조적 관점에서 명제, 주장, 진술 또는 문장을 연구합니다.

생각을 구조화하고 특정 접근법의 정확하거나 부정확 한 형태를 결정하는 방법입니다.

형식 논리는 특정 주장 내용의 진실성이나 거짓에 초점을 맞추지 않지만 형식의 구성의 타당성에 초점을 맞추고있다.

즉, 형식 논리에 대한 연구의 목적은 경험적이지 않다. 논리학 자에게는 제시된 주장이 실제적이고 입증되었는지를 결정하는 것은 적절하지 않다. 그러나 그의 연구는 논쟁의 구조에 분명히 초점을 맞추고있다..

공식 논리에는 두 가지 매우 중요한 분류가 있습니다. 연역 논리와 유도 논리.

연역 논리는 일반적인 개념에서 생성 된 특정 진술을 나타냅니다. 이러한 유형의 논리 추론을 통해 이미 존재하는 개념이나 이론으로부터 추론 할 수 있습니다.

예를 들어, 연역 논리에서 사람이 다리가 있고 클라라가 인간이면 클라라가 다리를 가지고 있다고 말할 수 있습니다..

귀납적 논리의 경우 논증의 구성은 반대로 일어난다. 즉, 일반 개념은 특정 인수에서 생성됩니다..

예를 들어 귀납적 논리에서 한 고양이가 물고기를 좋아하고 다른 고양이도 고양이를 좋아하고 다른 고양이도 물고기를 좋아하면 고양이가 물고기를 좋아한다면.

비공식적 인

비공식 논리는 의미 론적 구성과 논증에서 나오는 언어와 메시지에 초점을 맞춘 연구의 한 분야입니다.

이 논리는 형식 논리가 문장과 명제의 구조를 연구한다는 점에서 형식 논리와 다릅니다. 비공식 논리는 전송 된 메시지의 배경에 중점을 둡니다..

그 연구 대상은 원하는 결과를 얻기 위해 논쟁하는 방법입니다. 비공식 논리는 논증적인 구조가 약한 논리적 인 논증을 검증합니다.

고전이 아니다.

비 고전적 논리 또는 현대 논리는 19 세기에 시작되었으며 고전 논리의 진술에 반대하여 발생합니다.

논리의 고전적 접근법을 통해 포괄 할 수있는 것보다 더 많은 측면을 포괄 할 수있는 다른 형태의 분석을 수립합니다.

이것은 수학적 및 상징적 요소가 포함되는 방식이며, 공식적인 논리 시스템의 결함을 보완하기 위해 만들어진 새로운 진술 또는 정리입니다..

비 고전적인 논리에는 모달, 수학, 3가 등과 같은 논리의 하위 유형이 있습니다..

이러한 유형의 모든 논리는 공식 논리와 어느 정도 다른 점이 있거나 보완적인 새로운 요소를 통합하여 특정 진술에 대한 논리적 연구가 일상 생활에서보다 정확하고 적응되도록 허용합니다.

상징적 인

기호 논리는 1 차 논리 또는 수학 논리라고도하며 인수를 "번역"하는 새로운 언어를 구성하는 기호를 사용하는 것이 특징입니다.

상징적 논리의 의도는 추상적 사고를보다 형식적인 구조로 전환시키는 것이다..

사실 자연 언어 (언어)는 사용하지 않지만 문장을 자연어로 적용 할 수있는 것보다 더 정확한 규칙을 적용 할 수있는 요소로 변환하는 기술 언어를 사용합니다..

그런 다음, 기호 논리는 혼동이나 부정확을 피하기 위해 계산법을 통해 명제를 처리 할 수 ​​있습니다.

그것은 형식 논리 구조의 분석에 수학적 요소를 통합하고자합니다. 수학 분야에서 논리는 정리를 증명하는 데 사용됩니다..

즉, 상징적 또는 수학적 논리는 수학적 언어를 통해 인간의 생각을 표현하고자합니다.

이 논리의 수학적 응용은 논증과 구조가보다 정확해질 수있게합니다.

모달

모달 논리는 논쟁의 연구에 초점을 맞추지 만 문제의 진술이 참 또는 거짓이라는 가능성과 관련된 요소를 추가합니다.

모달 논리는 인간의 사고와 더욱 모순되는 것처럼 보이므로 "할 수있다", "아마도", "때로는", "어쩌면", "아마", "있을 것 같다", "어쩌면"과 같은 구조의 사용을 포함한다. ", 그 중에서도.

모달 논리에서는 논리적 관점에서 존재할 수있는 모든 가능성을 고려하는 경향이있는 시나리오를 고려해야합니다.

전산

전산 논리는 기호 논리 또는 수학 논리에서 파생 된 논리의 한 유형으로, 컴퓨팅 영역에만 적용됩니다..

컴퓨터 프로그램은 개발을 위해 프로그래밍 언어를 사용하며, 논리를 통해 해당 언어 시스템에서 작업하고, 특정 작업을 할당하고, 검증 작업을 실행할 수 있습니다..

참고 문헌

  1. 브리태니커 백과 사전의 "논리". 위에 만회하는 8 월 4 일 2017 백과 사전 브리태니커에서 : britannica.com
  2. 브리태니커 백과 사전의 "공식 논리". 위에 만회하는 8 월 4 일 2017 백과 사전 브리태니커에서 : britannica.com
  3. Hernández, F. National Autonomous University of Mexico의 "Computational Logic" 멕시코 자치 대학 (National Autonomous University of Mexico)에서 2017 년 8 월 4 일에 검색 함 : unam.mx
  4. Muñoz, C. Complutense University of Madrid의 C. "Non-Classical Logics". Universidad Complutense de Madrid에서 검색 한 8 월 4 일 2017 : ucm.es
  5. Julia, J. "상징적 인 논리는 무엇입니까?"eHow en Español. 위에 만회하는 8 월 4 일 2017에서 eHow en Español : ehowenespanol.com
  6. Oller, C. La Plata 국립 대학교의 "공식 논리와 논증"(2006). 라 플라 타 국립 대학교에서 2017 년 8 월 4 일 검색 함 : rfytp.fahce.unlp.edu.ar
  7. Junta de Extremadura의 "Deductive and inductive inferences". 위에 만회하는 8 월 4 일 2017 in Junta de Extremadura : educarex.es.