4 가지 가장 중요한 유형의 로직 (및 기능)

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

이를 위해 네 가지 주요 유형의 논리를 이끌어 낸 다양한 시스템 및 연구 형태의 개발이 필수적입니다. 우리는 그들 각각이 무엇인지 아래에서 볼 것입니다..

• 추천 기사 : [논리적 및 논리적 오류의 10 가지 유형] (논리 및 논리적 오류의 10 가지 유형)

논리 란 무엇인가??

"논리"라는 단어는 여러 가지 방법으로 번역 될 수있는 그리스어 "로고"에서 비롯됩니다. 단어, 생각, 주장, 원리 또는 이유가 주요 단어 중 일부입니다. 이 의미에서, 논리는 원리와 추론의 연구이다..

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

이 질문에 답하기 위해 논리는 공식 체계 또는 자연 언어에서 발생하는지 여부에 관계없이 진술과 논증을 분류하는 다양한 방법을 제안합니다. 구체적으로 말하자면 거짓이거나 틀릴 수있는 명제 (선언적 문장), 오류, 역설, 인과 관계 및 일반적으로 논증 이론을 포함하는 주장을 분석합니다..

일반적으로 시스템을 논리적이라고 생각하면 세 가지 기준을 충족해야합니다.

• 일관성 (시스템을 구성하는 정리 사이에는 모순이 없다)
• 힘 (시험 시스템은 잘못된 추론을 포함하지 않는다)
• 완료 (모든 진실한 문장은 증명 될 수 있어야합니다)

4 가지 유형의 논리

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

1. 공식 논리

전통적인 논리 또는 철학적 논리라고도합니다., 순전히 형식적이고 명백한 내용으로 추론을 연구하는 것입니다.. 그것은 의미가 본질적이지는 않지만 공식적인 문장 (논리 또는 수학)을 분석하는 것에 관한 것입니다. 그러나 그 기호는 주어진 유용한 응용 프로그램에 의해 의미가 있습니다. 후자가 유래 한 철학적 전통은 정확하게 "형식주의"라고 불린다..

차례 차례로, 형식적인 체계는 하나 이상의 전제로부터 결론을 도출하는 데 사용되는 체계입니다. 후자는 공리 (자명 한 명제) 또는 정리 (추론과 공리의 고정 된 규칙의 결론) 일 수있다..

2. 비공식 논리

비공식 논리는보다 최근의 규율이다. 자연 언어 또는 일상 언어로 표시되는 논점을 연구, 평가 및 분석합니다.. 그러므로, 그것은 "비공식적 인"범주를받습니다. 그것은 구어체 또는 문어체 일 수도 있고, 어떤 종류의 메커니즘과 상호 작용을 통해 어떤 것을 전달할 수도 있습니다. 예를 들어 컴퓨터 언어의 연구 및 개발에 적용되는 공식 논리와는 달리, 공식 언어는 언어와 언어를 나타냅니다..

따라서 비공식 논리는 개인적인 추론과 정치 논쟁, 신문, 텔레비전, 인터넷 등과 같은 언론에 의해 전파되는 법적 근거 또는 구내에 대한 분석을 할 수있다..

3. 기호 논리

이름에서 알 수 있듯이 기호 논리는 기호 간의 관계를 분석합니다. 때로는 공식적인 논리가 다루기 힘들거나 어려운 문제를 연구하는 책임이 있기 때문에 복잡한 수학 언어를 사용하기도합니다. 대개 두 가지 하위 유형으로 나뉩니다.

• 술어 논리 또는 첫 번째 순서: 공식과 정량화 가능한 변수로 구성된 공식적인 체계이다.
• 명제: 논리적 결합이라고 불리는 커넥터를 통해 다른 명제를 생성 할 수있는 명제로 구성된 공식적인 체계이다. 여기에는 정량화 가능한 변수가 거의 없습니다..

4. 수학 논리

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

대체로 말하자면, 논리 시스템을 구축 할 때 수학적 언어를 적용하면 인간의 마음을 재현 할 수 있습니다. 예를 들어, 이것은 인공 지능의 발달과인지 연구의 계산 패러다임에 매우 존재한다.

대개 두 가지 하위 유형으로 나뉩니다.

• 논리주의: 그것은 수학 논리의 응용에 관한 것입니다. 이 유형의 예로는 시험 이론, 모형 이론, 집합 이론 및 재귀 이론이 있습니다.
• 직관주의: 논리와 수학은 복합적인 정신 구조를 수행하는 데 응용이 일관된 방법이라고 주장한다. 그러나 그는 논리와 수학은 분석하는 요소의 깊은 특성을 설명 할 수 없다고 말했습니다.

유도, 연역 및 모달 추론

반면에, 논리 시스템으로 간주 될 수있는 3 가지 유형의 추론이 있습니다. 이것들은 우리가 전제로부터 결론을 내릴 수있게 해주는 메커니즘입니다. Deductive reasoning은 일반적인 전제에서 특정 전제로 그러한 추출을한다. 고전적인 예는 아리스토텔레스가 제안한 것입니다 : 모든 인간은 필사자입니다 (이것은 일반적인 전제입니다). 소크라테스는 인간이다 (주요 전제). 마침내 소크라테스는 필사자이다 (결론이다).

반면에, 귀납적 추론은 결론에서 반대 방향으로 결론을 이끌어내는 과정이다. 예를 들어 "내가 볼 수있는 까마귀는 모두 검은 색"(특정 전제) 일 것입니다. 그렇다면 모든 까마귀는 검은 색 (결론).

마지막으로, 추론 또는 모달 논리는 확률 론적 주장에 근거한다. 즉, 가능성 (모달)을 나타낸다. 그것은 "can", "can", "should", "결국"과 같은 용어를 포함하는 공식적인 논리 시스템입니다..

서지 참고 문헌 :

• Groarke, L. (2017). 비공식 논리. 스탠포드 철학 백과 사전. 2018 년 10 월 2 일 검색 됨. https://plato.stanford.edu/entries/logic-informal/에서 사용 가능
• 논리 (2018). 철학의 기초. 2018 년 10 월 2 일 검색 됨. https://www.philosophybasics.com/branch_logic.html에서 다운로드 할 수 있습니다.
• Shapiro, S. and Kouri, S. (2018). 고전 논리. 2018 년 10 월 2 일 검색 됨. Logic (2018)에서 사용 가능. 철학의 기초. 2018 년 10 월 2 일 검색 됨. https://www.philosophybasics.com/branch_logic.html에서 다운로드 할 수 있습니다.
• Garson, J. (2018). 모달 논리. 스탠포드 철학 백과 사전. 2018 년 10 월 2 일 검색 됨. https://plato.stanford.edu/entries/logic-modal/에서 사용 가능