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

월 28, 2024

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

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

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

논리 란 무엇입니까?

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

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

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

일반적으로 시스템을 논리적으로 간주하려면 세 가지 기준을 충족해야합니다.

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

4 가지 유형의 논리

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

1. 공식 논리

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

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

2. 비공식 논리

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

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

3. 기호 논리

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

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

4. 수학 논리

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

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

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

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

유도, 연역 및 모달 추론

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

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

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

서지 참고 문헌 :

Groarke, L. (2017). 비공식 논리. Stanford Encyclopedia of Philosophy. 2018 년 10 월 2 일 검색 됨. //plato.stanford.edu/entries/logic-informal/에서 이용 가능
논리 (2018). 철학의 기초. 2018 년 10 월 2 일 검색 됨. //www.philosophybasics.com/branch_logic.html에서 다운로드 가능
Shapiro, S. and Kouri, S. (2018). 고전 논리. 2018 년 10 월 2 일 검색 됨. Logic (2018)에서 사용 가능. 철학의 기초. 2018 년 10 월 2 일 검색 됨. //www.philosophybasics.com/branch_logic.html에서 다운로드 가능
Garson, J. (2018). 모달 논리. Stanford Encyclopedia of Philosophy. 2018 년 10 월 2 일 검색 됨. //plato.stanford.edu/entries/logic-modal/에서 이용 가능