여러 유형의 논리가 있으며 모두 추론을 이해하고 그것이 정확하거나 잘못된 때를 식별하는 데 연구 대상을 집중합니다. 논리에 대한 연구는 그리스 철학자 아리스토텔레스 시대부터 오늘날까지 발전해 왔습니다.
윤리는 더 구체적이고 동시에 인간의 일상 생활에 더 적응하려는 의도로 조정되어 다른 영역에서 더 눈에 띄게 적용 할 수 있습니다.
논리의 아버지로 알려진 아리스토텔레스.
논리는 논증과 명제에 대한 체계적인 연구를 추구하며, 다양한 유형의 논리를 통해 이러한 진술의 단순한 형식적 구조뿐만 아니라 내용과 관련이있는 내용 및 해당 내용의 힘을 모두 연구 할 수 있습니다.
논리는 진술 연구를 기반으로하지만 자연어 (우리가 알고있는 언어)에 명확하게 초점을 맞추지는 않지만 그 유용성은 다른 영역에 도달하고 수학 및 컴퓨팅.
가장 관련성이 높은 논리 유형
형식 논리
고전 논리 또는 아리스토텔레스 논리라고도 알려진 형식 논리는 구조적 관점에서 명제, 논증, 진술 또는 문장을 연구하는 것입니다. 사고를 구조화하고 특정 접근 방식의 정확하거나 잘못된 형태를 결정하는 방법입니다.
형식 논리는 특정 논증 내용의 진실성 또는 허위성에 초점을 맞추지 않고 오히려 형식 구성의 타당성 여부에 집중합니다.
즉, 형식 논리 연구의 대상은 경험적이지 않습니다. 논리 학자에게는 제시된 주장이 실제적이고 입증 된 것인지를 결정하는 것은 관련이 없습니다. 오히려 그의 연구는 분명히 말한 주장의 구조에 초점을 맞추고있다.
형식 논리에는 연역 논리와 귀납 논리라는 두 가지 매우 중요한 분류가 있습니다.
연역 논리는 일반적인 개념에서 생성되는 특정 진술을 나타냅니다. 이러한 유형의 논리를 통해 이미 존재하는 개념이나 이론에서 추론을 할 수 있습니다.
예를 들어, 연역 논리에서 인간에게는 다리가 있고 클라라가 인간이라면 클라라는 다리가 있다고 말할 수 있습니다.
귀납 논리의 경우, 인수 구성은 반대의 방식으로 발생합니다. 즉, 일반적인 개념은 특정 인수에서 만들어집니다.
예를 들어, 귀납 논리에서는 한 고양이가 물고기를 좋아하고 다른 고양이도 그것을 좋아하고 다른 고양이도 물고기를 좋아한다면 모든 고양이가 물고기를 좋아한다고 말할 수 있습니다.
비공식 논리
비공식 논리는 의미 구조와 인수에서 나오는 메시지와 언어에 초점을 맞춘 연구 분야입니다.
이 논리는 형식 논리가 문장과 명제의 구조를 연구한다는 점에서 형식 논리와 다릅니다. 비공식적 논리는 전달 된 메시지의 본질에 초점을 맞 춥니 다.
연구의 목적은 원하는 결과를 얻기 위해 논쟁하는 방법입니다. 비공식 논리는 논증 적 구조가 약한 논리 논증에 타당성을 부여합니다.
비고 전적인 논리
비 고전적 논리 또는 현대 논리는 19 세기에 시작되었으며 고전 논리의 진술에 반대하여 발생합니다. 논리에 대한 고전적인 접근 방식을 통해 다룰 수있는 것보다 더 많은 측면을 다룰 수있는 다른 형태의 분석을 설정합니다.
이것은 공식 논리 시스템의 결함을 보완하기 위해 온 새로운 진술 또는 정리, 수학적 및 상징적 요소가 포함되는 방법입니다.
비 고전적 논리에는 모달, 수학적, 3가 등과 같은 다른 하위 유형의 논리가 있습니다.
이러한 모든 유형의 논리는 형식 논리와 어느 정도 다르거 나 보완적인 새로운 요소를 통합하고 특정 진술에 대한 논리적 인 연구가 일상 생활에서 유용하고 유용하게 적용되도록합니다.
상징적 논리
기호 논리는 1 차 논리 또는 수학적 논리라고도하며 인수가 "번역"되는 새로운 언어를 구성하는 기호를 사용하는 것이 특징입니다.
상징적 논리의 의도는 추상적 인 생각을보다 형식적인 구조로 변환하는 것입니다. 실제로 자연어 (관용어)를 사용하지 않고 문장을 자연어에서 적용 할 수있는 것보다 더 정확한 규칙을 적용하기 쉬운 요소로 바꾸는 기술 언어를 사용합니다.
따라서 상징적 논리는 혼란이나 부정확성을 피하기 위해 미적분 법칙을 통해 명제를 처리 할 수있게합니다.
형식 논리의 구조 분석에 수학적 요소를 통합하려고합니다. 수학적 영역에서 논리는 정리를 증명하는 데 사용됩니다.
요컨대, 상징적 또는 수학적 논리는 수학적 언어를 통해 인간의 생각을 표현하려고합니다.
논리를 수학적으로 적용하면 인수와 구성이 더 정확 해집니다.
모달 논리
모달 논리는 논증 연구에 초점을 맞추지 만 문제의 진술이 참 또는 거짓 일 가능성과 관련된 요소를 추가합니다.
모달 논리는 인간의 생각과 더 조화를 이루려고합니다. 따라서 "가능하다", "아마도", "때로", "아마도", "아마도", "가능성이 있음", "아마도"와 같은 구성의 사용을 포함합니다. ", 무엇보다도.
모달 논리에서는 가능성이있는 시나리오를 고려하는 것이며, 논리적 관점에서 존재할 수있는 모든 가능성을 고려하는 경향이 있습니다.
계산 논리
계산 논리는 기호 또는 수학적 논리에서 파생 된 논리의 한 유형으로 컴퓨팅 영역에만 적용됩니다.
컴퓨터 프로그램은 개발을 위해 프로그래밍 언어를 사용하며 논리를 통해 해당 언어 시스템에서 작업하고 특정 작업을 할당하고 확인 작업을 실행할 수 있습니다.
참고 문헌
- 브리태니커 백과 사전의 "논리". Britannica 백과 사전 : britannica.com에서 2017 년 8 월 4 일 검색
- 브리태니커 백과 사전의 "형식 논리". Britannica 백과 사전 : britannica.com에서 2017 년 8 월 4 일 검색
- Hernández, F. 멕시코 국립 자치 대학교의 "전산 논리". 멕시코 국립 자치 대학교에서 2017 년 8 월 4 일 검색 : unam.mx
- Muñoz, C. Complutense University of Madrid의 "Non-Classic Logic". Complutense University of Madrid에서 2017 년 8 월 4 일 검색 : ucm.es
- Julia, J. "상징 논리가 무엇입니까?" 스페인어로 eHow에서. 2017 년 8 월 4 일 eHow에서 스페인어로 검색 : ehowenespanol.com
- Oller, C. "형식 논리 및 논증"(2006), 라 플라 타 국립 대학교. 2017 년 8 월 4 일 La Plata 국립 대학교에서 검색 : rfytp.fahce.unlp.edu.ar
- Junta de Extremadura의 "연역적 및 귀납적 추론". 2017 년 8 월 4 일 Junta de Extremadura에서 검색 : educarex.es.