형식 논리 추론의 유효하고 올바른 형태를 결정 또한 논리적 인 이론 또는 수학적 논리라고는 있습니다. 이 관행을 통해 우리는 올바른 것과 잘못된 것을 구별하려고합니다.
형식 논리에서 기호는 조작 할 수 없도록 명확하고 가능한 가장 명확한 방법으로 사용됩니다. 이 연습 덕분에 자신의 아이디어를 개발할 수 있습니다.
Alfred North Whitehead는 형식 논리의 지지자 중 한 사람이었습니다. 출처 : Wellcome Trust
"논리"라는 단어는 고대 그리스어 λογικήlogik ḗ에서 유래했습니다. 이는 "지적, 변증법, 논증 적 이유를 부여 받았다"는 의미입니다. 논리는 철학과 수학의 한 분야이며 이러한 학문 분야에서 매우 유용하게 사용되는 것으로 간주됩니다.
일반적으로 논리는 사고의 형태를 연구합니다. 논리와 관련하여 수행 된 첫 번째 작업은 그리스 철학자 아리스토텔레스에 기인하며, 이것이 그가이 사고 영역의 창시자로 알려진 이유입니다.
역사를 통틀어 다양한 철학자, 수학자, 논리 학자들이 형식 논리를 옹호 해 왔습니다. 그중에서 우리는 수학자이자 논리학자인 Alonzo Church를 지명 할 수 있습니다. 철학자, 수학자 및 논리 학자 Gottlob Frege; 수학자이자 철학자 인 Alfred North Whitehead도 있습니다.
Alfred Tarski, KurtGödel, Bertrand Russell, Willard Van Orman Quine 등도 훌륭한 수비수였습니다.
연구 대상
형식 논리는 추론, 개념, 판단 및 시연과 같은 측면을 연구 대상으로 사용합니다. 이러한 요소들로부터 그는 결론에 도달하기 위해 언어와 의미론의 모든 자원을 분석하고 연구합니다.
이러한 의미에서 형식 논리 추론은 그 타당성 또는 무효 성에서 구조화 된 관점에서 연구된다는 것이 입증되었습니다.
형식 논리는 추론 과정에 대한 경험적 연구가 아닙니다. 결론을 얻기 위해 주장의 구조를 취하기 때문에 설득과 혼동해서는 안됩니다.
이 논리는 이론적 또는 순수 논리로도 알려져 있으며 연역적 논증, 진술, 명제 및 단정적으로 사용 된 문장의 내용 또는 논리적 형태에 대한 추상적 인 연구를 수행합니다.
형식 논리의 패턴에 대한 철저한 연구를 수행하면 각 개인이 사고와 관련된 절차를 정확히 알 수 있습니다.
형질
다음은 형식 논리를 다른 유형의 논리와 구별하는 가장 특별한 특성입니다.
-재료만을 연구하는 다른 유형의 논리와 달리 전제의 형태를 연구하는 과학입니다.
-문제가없는 구조입니다.
-정식 시스템의 하위 집합 아래에 설정됩니다.
-정식 논리를 통해 잘못된 것과 옳은 것을 구별 할 수있는 매우 효율적인 방법을 적용합니다.
-정확한 추론 또는 타당성의 결론은 실제 건물의 구조를 분석하기 때문에 발생합니다.
-사람들을 연구하고 분석하여 생각에 직접 들어가서 각 개인의 마음에 새로운 패턴을 설정할 수 있습니다.
-상징적 인 것이 특징입니다.
-정형 과학의 관점에서 수학, 철학, 컴퓨터 과학 및 통계에서 중요한 역할을합니다.
-의미론 연구로 인해 문법과 관련이 있습니다.
-연구 구조, 이것이 수학과 비교되는 이유입니다.
-각 개인의 생각에 대한 연구에 초점을 맞추기 때문에 심리학과도 관련이 있습니다.
종류
Deontic 논리
고대 그리스어 δέον déon에서 유래했으며 "무엇이 필요한지"또는 "필요한 것"을 의미합니다. 오스트리아의 논리학자인 Alois Höffler는 규범의 연구와 분석을 언급하는이 개념의 선구자입니다.
2가 논리
참 및 거짓 값만 지원하는 논리 유형입니다. 그는 그늘을 믿지 않으며 모든 것이 흑백입니다. 이런 종류의 논리에서는 회색조가 불가능합니다.
그 원칙은 정체성, 비 모순 및 배제 된 제 3자인 아리스토텔레스의 논리를 기반으로합니다.
다가 또는 다목적 논리
이러한 유형의 논리는 철학자 Jan Łukasiewicz와 Emil Post가 수행 한 연구의 결과로 탄생했습니다. 그들은 이미 일반적인 "참"과 "거짓"이 아닌 다른 가치를 인정할 수 있으며 이러한 가치가 실제로 도달 할 수 있다고 말합니다. 무한대.
이러한 의미에서 두 가지 값만 허용하는 2가 논리와 다릅니다. 연구에 따르면 다가 또는 다가 논리는 가능성, 필요성, 필요 없음, 진실, 거짓 및 불가능과 같은 값을 처리합니다.
마찬가지로, 이러한 유형의 형식 논리는 논쟁의 철학적 및 구조적 측면을 연구하는 역할도 담당합니다.
예
공식 논리를 통해 특정 추론에 진실 또는 거짓의 가치를 추가 할 수 있습니다.
이전에 설명했듯이 형식 논리는 인수에서 추출 할 수있는 모든 가능성에 초점을 맞추지 않습니다. 이것이 참인지 거짓인지에만 초점을 맞 춥니 다. 그런 의미에서 공식 논리를 기반으로 한 몇 가지 예를 아래에 나열합니다.
-부에노스 아이레스는 아르헨티나의 수도입니다. 그렇다면 부에노스 아이레스에서 태어난 사람들은 모두 아르헨티나 인입니다.
-Joao는 포르투갈어를 사용합니다. Joao는 포르투갈에서 태어났습니다. 포르투갈의 모든 사람들은 포르투갈어를 사용합니다.
-젖소는 우유를줍니다. 소는 포유류입니다. 모든 포유류는 우유를 제공합니다.
-Pedro는 흰색이고 María는 갈색 머리이므로 흰색과 갈색의 사람들이 있습니다.
-María는 록 오케스트라에서 연주합니다. 뮤지션은 록 오케스트라에서 연주하는 사람들입니다. 마리아는 음악가입니다.
-호세는 검은 머리를 가지고 있습니다. 엘레나는 갈색 머리를 가지고 있습니다. 그들의 딸은 검은 색 또는 갈색 머리로 태어날 수 있습니다.
-발에는 발가락이 5 개 있습니다. 인간에게는 오른발과 왼발이 있습니다. 각 사람은 10 개의 발가락을 가지고 있습니다.
-스페인은 국가입니다. 스페인은 유럽에 남아 있습니다. 모든 스페인 사람은 유럽인입니다.
-아나는 살아있는 존재입니다. 아나는 필사자입니다. 모든 생명체는 필사자입니다.
-호세는 물에 젖었습니다. 물이 젖는다.
-마리아는 뜨거운 음식을 먹었습니다. 마리아는 뜨거운 음식을 먹고 화상을 입었습니다. 뜨거운 음식은 화상을 입습니다.
-지구는 우주의 일부입니다. 우주에는 행성이 있습니다. 지구는 행성입니다.
-전등이 켜집니다. 거리에 전등이 있습니다. 전등이 거리를 비 춥니 다.
참고 문헌
- 신세계 백과 사전의 "형식 논리". 2019 년 4 월 21 일 New world encyclopedia : newworldencyclopedia.org에서 검색 함.
- Morton L. Schagrin Ge Hughes "Formal logic"in Britannica : britannica.com에서 2019 년 4 월 21 일 검색.
- 아카데미의 "논리와 분류". Academia : academia.edu에서 2019 년 4 월 23 일에 검색 함.
- 철학 사전의 "형식 논리". Philosophical Dictionary : philosophy.org에서 2019 년 4 월 23 일에 검색 함.
- 철학 사전의 "다가 논리". Philosophical Dictionary : philosophy.org에서 2019 년 4 월 23 일에 검색 함.
- 클럽 에세이의 "논리의 일반 측면"(2013 년 8 월 18 일). 2019 년 4 월 23 일 클럽 평가판에서 검색 : clubensayos.com.
- wikipedia의 "Deontic logic" . 2019 년 4 월 23 일 Wikipedia에서 검색 : es.wikipedia.org.
- wikipedia의 "다목적 논리" . 2019 년 4 월 23 일 Wikipedia에서 검색 : es.wikipedia.org.
- wikipedia의 "이가 논리" . 2019 년 4 월 23 일 Wikipedia에서 검색 : es.wikipedia.org