우리는 논리가 무엇인지,철학적,아리스토텔레스 적,수학적,계산 적,형식적 및 비공식적 논리의 특성을 설명합니다.
¿논리 란 무엇입니까?
논리는 철학과 수학의 한 부분인 형식적인 과학이다. 그것은 유효하고 유효하지 않은 사고 절차,즉 시연,추론 또는 추론과 같은 과정과 오류,역설 및 진리와 같은 개념에 대한 연구에 중점을 둡니다.
논리는 중국,그리스 또는 인도와 같은 위대한 고전 및 고대 문명의 사상가들 사이에서 독립적으로 태어난 매우 오래된 분야입니다. 처음부터,그것은 공식적인 타당성을 확인하기 위해 생각을 판단하는 방법,즉 추론의 이상적인 절차,실제로 진리로 인도하는 것이 무엇인지 인식하는 방법으로 이해되었습니다.
그러나,20 세기 이후 그것은 수학에 더 관련 된 분야로 간주 되었습니다,후자의 응용 프로그램 큰 산업,사회 및 기술 중요성 되었다.
“논리”라는 단어는 헬라어 로직(“이성을 부여 받았다”)에서 유래되었으며,”단어”또는”생각”에 해당하는 로고라는 용어에서 유래되었습니다.
그러나 일상 언어에서 우리는이 단어를”상식”의 동의어,즉 각각의 가능한 맥락에서 가치 있거나 가치있는 사고 방식으로 사용합니다. 또한”스포츠 논리”,”군사 논리”등을 언급 할 때와 같이”사고 방식”의 동의어로 사용됩니다.
참조: 수학적 사고
철학적 논리
이 용어는 논리의 방법이 특정 철학적 딜레마를 해결하거나 발전시키는 데 사용되는 철학의 영역을 말하며,고려 된 전통적 논리 또는 반대로 비 고전적 논리 내에서 관리 될 수 있습니다. 즉,철학의 틀 안에서 논리.
그것은 언어의 철학에 매우 가까운 분야이며,본질적으로 생각과 자연 언어를 중심으로 고대의 논리의 연속이다. 우리는 일반적으로이 이름을 사용하여 더 최근의 수학적 논리와 구별합니다.
아리스토텔레스 논리
철학적 논리 내에서 아리스토텔레스 논리는 그리스 철학자 아리스토텔레스(기원전 384-322 년)의 저술로 시작되는 사상의 전통으로 알려져 있으며,서구의 논리 창시자이자 세계의 철학적 전통의 가장 중요한 저자로 간주됩니다.
논리에 대한 아리스토텔레스의 주요 작품은 글쓰기 후 몇 세기 동안 로도스의 안드로니쿠스가 편집 한 그의 오르간(그리스어”악기”에서 유래)에 모여 있습니다. 그들은 중세 이후까지 유럽과 중동에서 매우 영향력이 있었다 전체 논리 시스템을 표시합니다.
이 작품에서 아리스토텔레스는 논리의 기본 공리를 가정했다:
- 비 모순의 원칙. 어떤 것에 따르면 어떤 것은 동시에 존재할 수 없고 동시에 존재할 수 없다(그리고 어떤 것은 동시에 진실일 수 없다).
- 정체성의 원칙. 에 따르면 어떤 것은 항상 자신과 동일합니다(ㅏ 항상 같습니다 에이).
- 제외 된 제 3 자 원칙. 에 따르면 어떤 것이 사실이거나 사실이 아니며 가능한 그라데이션(또는 그 다음)이 없습니다.
수학 논리
기호 논리,형식 논리,이론 논리 또는 물류라고도하는 수학 논리는 수학 및 과학의 특정 영역에 논리적 사고를 적용하는 것입니다.
이것은 명제 논리,모달 논리 또는 1 차 논리와 같은 형식적 표현 시스템을 통한 추론 과정의 연구를 포함하며,이는 엄격한 시연을 개발하기 위해 자연어를 수학적 언어로”번역”할 수있게합니다.
수학 논리는 다음과 같은 네 가지 주요 영역을 포함합니다:
- 모델 이론. 이는 그룹,본문 또는 그래프로 알려진 수학적 구조를 통해 공리 이론과 수학적 논리에 대한 연구를 제안하여 의미 론적 내용을 순수하게 형식적인 논리 구조에 기인합니다.
- 증명 이론. 또한 증명 이론,논리적 문제를 확인하는 방법으로 수학적 대상과 수학적 기술을 사용하여 증명을 제안합니다. 따라서 모델 이론이 논리의 형식 구조에 의미(의미)를 부여하는 것과 관련이있는 경우 증명 이론은 오히려 구문(순서)과 관련이 있습니다.
- 세트 이론. 객체의 추상적 인 컬렉션의 연구에 초점을 맞추고,객체로서 그 자체로 이해,뿐만 아니라 기본 작업 및 상호 관계. 이 수학적 논리의 한 부분은 존재하는 가장 근본적인 것 중 하나이며,그래서 그것은 어떤 수학적 이론의 기본 도구를 구성합니다.
- 계산 가능성 이론. 수학과 컴퓨팅 사이의 공유 영역,그것은 알고리즘(튜링 기계에 해당)이 직면 할 수있는 결정 문제를 연구합니다. 이를 위해 그는 집합 이론을 사용하여 계산 가능 또는 비 계산 가능한 집합으로 이해합니다.
계산 논리
계산 논리는 동일한 수학적 논리이지만 계산 분야,즉 계산 회로,논리 프로그래밍 및 알고리즘 관리와 같은 다양한 기본 수준의 컴퓨팅에 적용됩니다. 또한 인공 지능,이 지역에서 비교적 최근의 필드를 포함한다.
광범위하게 말하면,계산 논리는 수학적 언어로 인간 사고의 다양한 가능성을 표현하는 논리적 구조를 통해 컴퓨터 시스템을 공급하여 지능형 컴퓨터 시스템을 만드는 것을 목표로한다고 말할 수 있습니다.
공식 및 비공식 논리
또한 진술이 표현되는 언어에 대한 접근 방식에 따라 공식 및 비공식 논리의 두 가지 개별 필드 사이에서 종종 구별됩니다.
- 형식 논리. 공식적인 언어,즉 모호하지 않고 엄격하게 사용하여 내용을 표현하는 방식에 참석하여 연역적 경로를 형식(따라서 이름)의 유효성으로부터 분석 할 수 있도록하는 것입니다.
- 비공식 논리. 대신,그는 자신의 주장을 논리적 형식이나 형식 언어에 관계없이 주어진 정보와 유효하고 유효하지 않은 형태를 구별하는 사후 연구를 연구합니다. 이 변종은 20 세기 중반에 철학 내의 한 분야로 등장했습니다.
따라가기: 인식론
참고 문헌:
- “위키 백과에서”논리”.
- “논리란 무엇인가?”(비디오)학교 구역.
- “논리란 무엇인가?”(비디오)에듀카티나.
- “소개하고 논리에”는 카를로스 Muñoz 구티에레스 Universidad Complutense 공합니다.
- “논리는 무엇이며 무엇을 위한 것인가?”남부 과학에서.
- 브리태니커 백과 사전의”논리”.
마지막 편집:2020 년 9 월 22 일. 인용 방법:”논리”. 저자:월 제 2 차 에스텔라 라피노. 부터:아르헨티나. 에:Concepto.de. 사용 가능:https://concepto.de/logica/. 검색:2021 년 3 월 25 일.