형식논리와 그 기본법칙. 형식적 논리

다른 과학과 마찬가지로 경제 이론도 특정 주제뿐만 아니라 특별한 연구 방법을 가지고 있습니다. "방법"이라는 단어는 그리스어에서 유래되었습니다. 행동 양식,문자 그대로 "무언가로 향하는 길"을 의미합니다. 그렇기 때문에 방법은 가장 넓은 의미에서 목표 달성을 목표로 하는 활동으로 정의될 수 있습니다. . 과학의 방법은 한편으로는 주변 세계의 연구 영역에 대해 이미 알려진 법칙을 반영하고 다른 한편으로는 후속 지식의 수단으로 작용합니다.

따라서 이 방법은 연구 과정의 결과이자 전제 조건입니다. 연구 대상의 속성과 법칙을 유지하는 동시에 그것을 인식하는 주체의 의도적인 활동의 각인을 담고 있습니다.

객관적인 것이 주관적인 것으로 바뀌고 그 반대도 마찬가지입니다. 일반적으로 연구 방법은 세계관 접근 방식, 일반 지식 시스템에서 특정 과학의 주제, 구조 및 위치에 대한 연구, 방법 자체를 포함하는 특정 방법론을 기반으로 형성됩니다.

인지 과정에서 주체와 방법 사이에는 끊임없는 상호 작용이 있습니다. 주제는 어떤 연구 방법을 전제하고, 그 방법이 주제를 형성한다.

경제학이 사용한 첫 번째 방법은 형식논리이다.

형식적 논리 - 이것 구조와 형태의 관점에서 사고를 연구합니다.

형식 논리의 창시자로 간주됩니다. 아리스토텔레스,그는 독특한 형태의 추론(삼단논법)을 발견하고 논리학의 기본 법칙을 공식화했습니다. 아리스토텔레스의 학생들은 이 새로운 책을 "오르가논", 즉 "지식의 도구"라고 불렀습니다. "논리"( "단어", "이성", "법률")라는 용어는 나중에 Stoics 사이에서 등장했으며 17 세기에만 나타났습니다. 변증법적 논리를 창조하는 과정에서 I. Kant에 이어 이 전통적인 논리가 형식적이라고 불리기 시작했습니다.

형식 논리의 가장 간단한 범주는 다음과 같습니다. 개념- 그것 사물에 대한 생각을 포착합니다. 일반적으로 개념은 일반적인 특성에 종 구별을 추가하여 더 넓은 개념을 통해 정의됩니다.

심판 -그것은 어떤 것에 대해 긍정하거나 부정하는 생각입니다. 판단의 상호 연결 형태는 추론입니다.

추론 어떤 초기 지식으로부터 추론적 지식을 얻는 사고방식이다.

추론의 가장 유명한 형태는 삼단 논법.그는 재산이 있다면 아르 자형특정 클래스를 구성하는 각 개체에 속하면 이 속성은 이 클래스에 분류된 개별 개체에도 속하게 됩니다.

이것을 삼단논법의 공리라고 합니다. 형식논리학은 광범위한 인지 방법과 기법을 개발했습니다. 그 중 가장 중요한 것은 분석과 종합, 귀납과 추론, 비교, 유추, 가설, 증명, 특정 사고 법칙입니다.


분석-이것 전체를 구성 부분으로 나누는 것으로 구성된 인식 방법,합성- 개별 부분을 하나의 전체로 결합하는 방법. 가장 간단한 분석 방법도 가장 만족스럽지 않습니다. 이것이 경험주의의 방법이다. 잘못 수행된 분석은 콘크리트를 추상적인 것으로 바꾸고 생명을 죽일 수 있습니다. 개념 형성에 있어 분석의 단점이 어느 정도 제거되었습니다. 합성 . 그러나 분석이나 종합 모두 주체의 내부적 모순을 드러내지 않으며, 따라서 분석 대상의 자기운동과 전개를 반영하지 못한다. 그러므로 이 형이상학적 방법으로는 탐구의 시작을 찾는 길을 제시할 수 없다. 귀납법과 공제법은 비슷한 단점을 가지고 있습니다.

유도 - 이것은 특정(특수)에서 일반에 대한 추론을 기반으로 한 인지 방법입니다.

교육 - 일반적인 것에서 특정한 것(특수)에 대한 추론에 기초한 방법입니다. 귀납의 약점은 전체의 일부를 고려함으로써만 진행되기 때문에 일반을 엄격하게 입증할 수 없다는 것입니다. 연역의 단점은 일반적인 전제를 엄격하게 정당화할 수 없다는 점입니다.

형식논리에서 중요한 역할을 한다. 비교 - 현상과 과정 사이의 유사성이나 차이점을 결정하는 방법. 미지의 것을 알려진 것과 연관시키고 기존 개념과 범주를 통해 새로운 것을 표현할 수 있으므로 개념의 체계화 및 분류에 널리 사용됩니다. 그러나 인지에서 비교의 역할은 아무리 강조해도 지나치지 않으며, 원칙적으로 연구의 첫 단계만을 반영하는 피상적입니다. 동시에 비교는 유추의 전제조건을 마련한다.

유추 - 이것은 알려진 현상의 하나 또는 여러 속성을 알려지지 않은 현상으로 전달하는 것을 기반으로 하는 인지 방법입니다. 일반적인 형태에서는 유추에 의한 추론을 다음과 같이 쓴다. A와 안에공통적인 속성을 가지고 있으며, 속성 C가 있고 B도 속성 C를 갖습니다.

유추는 귀납의 특별한 경우이다. 가정을 하고 새로운 지식을 얻는 데 중요한 역할을 합니다. 정치경제학의 많은 발견은 비유를 통해 이루어졌습니다. 예를 들어 F. Quesnay는 인체의 혈액 순환과 사회 신체의 상품 및 현금 흐름 이동 사이의 유익한 비유를 제안했습니다. 이를 통해 그는 최초의 거시경제적 재생산 모델을 구축할 수 있었습니다. 기계적 평형에 대한 연구는 A. Cournot을 경제적 평형이라는 아이디어로 이끌었습니다. 따라서 유추는 새로운 아이디어를 생성하고 가설을 수립하는 데 중요한 역할을 합니다. 이는 과학적 모델링의 기초가 되는 복잡한 프로세스에 대한 이해를 크게 촉진합니다. 종종 비유를 통해 문제를 올바르게 제기하고 추가 연구 방향을 결정할 수 있습니다.

문제 -이것은 명확하게 공식화 된 질문이거나인지 과정에서 발생한 일련의 질문입니다. 연구 시작 전, 연구 도중, 완료 중에 문제 형성이 가능합니다. 연구가 시작되기 전에 문제가 공식화되면 그러한 문제를 명시적 문제라고 하고, 그렇지 않으면 암시적 문제라고 합니다. 문제를 해결하는 방법은 미리 알 수도 있고, 업무를 진행하면서 찾을 수도 있습니다. 알려진 것(문제의 공식화, 해결 방법 또는 답변)에 따라 문제 상황에 대한 가장 간단한 유형을 제공할 수 있습니다(표 1-1 참조).

첫 번째 경우는 대표적인 문제입니다(문제, 해결 방법 및 답변 등 모든 것이 알려져 있음). 두 번째 경우는 전형적인 학교 문제입니다(답 빼고는 다 알고 있습니다). 세 번째 경우는 수사적 문제, 즉 퍼즐입니다. 네 번째 경우는 고전과학 문제이다. 다섯 번째 사례는 연구가 끝난 후에야 문제 공식화에 대한 올바른 이해가 이루어지는 상황을 보여줍니다. 여섯 번째 경우는 경제학에서 다른 과학의 방법이 사용되는 상황에 해당합니다. 일곱 번째 상황은 모든 문제에 대한 기성 답변을 갖고 있는 독단적 이론을 보여줍니다. 여덟 번째는 궤변, 역설, 이율배반입니다.

문제에 대한 근본적으로 새로운 해결책은 이율배반의 형태로 문제를 제기함으로써 촉진됩니다. 이율 배반 -그것은 정립과 반정립이 동일한 힘을 가지며 동일한 토대 위에 동등하게 기초를 두고 있는 모순입니다. 이율배반의 형태로 문제를 공식화하면 실제 대상과 그에 대한 지식의 모순적인 발전을 반영할 수 있습니다. 그러나 형식논리의 관점에서 볼 때 이율배반은 기본 법칙을 부정하기 때문에 해결할 수 없습니다.

형식 논리의 한계는 다음과 같이 표시됩니다. 아포리아 - 실제 경험과 모순되는 진술.

역설(이율배반, 아포리아, 심지어 궤변)의 형태로 문제를 기술하는 것은 가설의 탄생에 기여합니다. 가설- 이것 현상과 과정의 가능한 원인이나 연결에 대해 과학적 기반의 가정을 제시하는 것으로 구성된 인지 방법입니다. 기존 이론과 모순되는 새로운 요인이 나타날 때 가설이 발생합니다. 과학 이론은 코어와 보호 벨트로 구성됩니다(그림 1-3 참조).

핵심 - 이론의 가장 기본적인 조항; 보호벨트는 이론을 구체화하는 보조가설로 구성되어 적용범위가 확대된다.

입증된 가설은 핵심과 합쳐지고, 입증되지 않은 가설은 반대자들과 논쟁의 대상이 되어 이론의 핵심을 보호합니다. 예를 들어 마르크스주의의 핵심은 노동가치론, 잉여가치론, 자본주의 축적의 일반법칙이며, 그들의 보호벨트는 이윤율 하락 경향의 법칙과 기타 법칙이다.

아래에 증거형식적 논리에서 우리는 다른 생각의 도움을 받아 한 생각의 진실을 입증하는 것을 이해합니다. 형식 논리는 보편적인 증명 구조를 제공합니다. 이는 논문, 증거 기반(논증) 및 증명 방법(시연)으로 구성됩니다.

증거에는 다양한 유형이 있습니다. 목표에 따라 진실과 거짓의 증거(반박)가 구별됩니다. 증거 방법에 따라 - 직접 및 간접; 이론적, 경험적 증거의 기초에 따라.

형식 논리의 기본 법칙(그림 1-6 참조):

1. 동일성의 법칙 (A=A);

2. 모순의 법칙 (A와 A, AΛA);

3. 배제된 중간의 법칙 (A와 A, AVA);

4. 충분한 이유의 법칙.

동일성의 법칙이는 각 생각이 엄격하게 정의된 안정적인 내용을 가져야 함을 의미합니다. 이는 경제적 사고의 모호함과 불확실성에 대한 것입니다. 이 법칙은 한편으로는 동어반복(한 현상을 다른 용어로 부르는 경우)을 금지하고 다른 한편으로는 일부 개념을 다른 개념으로 대체하는 것을 금지합니다. 동일성의 법칙은 범주의 연결과 종속, 즉 일반적인 특성과 특정 특성 간의 명확한 구분에 중점을 둡니다.

모순의 법칙동일한 주제, 동일한 시간, 관계 등에 대해 두 가지 반대되는 생각이 사실일 수 없음을 의미합니다.

제외된 중간의 법칙동일한 대상, 동일한 시간, 관계 등에 대해 서로를 부인하는 두 가지 생각 중 하나가 확실히 참이라고 주장합니다.

충분한 이유의 법칙모든 참된 생각은 이전에 입증된 다른 생각에 의해 정당화되어야 합니다.

소개
제1장. 형식적 논리와 변증법적 논리
제2장. 논리과학 발전의 주요 단계
3장. 논리와 사고문화의 형성
결론
사용된 참고문헌 목록

소개

각 사람은 특정 논리적 문화를 가지고 있으며, 그 수준은 사람이 이해하는 논리적 기술과 추론 방법의 총체성을 특징으로 합니다. 뿐만 아니라 그가 인지 및 실제 활동 과정에서 사용하는 일련의 논리적 수단도 있습니다.

논리적인 교양은 의사소통, 학교와 대학교에서의 공부, 문학을 읽는 과정을 통해 습득됩니다.

논리는 올바른 추론 방법과 추론의 일반적인 오류를 체계화합니다. 그것은 교육에서 연구 작업에 이르기까지 정신 활동이 효과가 없는 것으로 판명되는 생각의 정확한 표현을 위한 논리적 수단을 제공합니다.

논리에 대한 지식은 모든 교육에서 없어서는 안될 부분입니다. 논리의 규칙과 법칙에 대한 지식은 연구의 궁극적인 목표가 아닙니다. 논리학 연구의 궁극적인 목표는 사고 과정에서 논리의 규칙과 법칙을 적용하는 능력입니다.

진실과 논리는 서로 연결되어 있기 때문에 논리의 중요성은 아무리 강조해도 지나치지 않습니다. 논리는 참된 결론을 증명하고 거짓된 결론을 반박하는 데 도움이 되며 명확하고 간결하며 올바르게 생각하도록 가르칩니다. 논리는 모든 사람, 다양한 직업의 근로자에게 필요합니다.

따라서 논리는 인간 사고가 발생하는 형태와 그것이 적용되는 법칙에 대한 철학적 과학입니다.

제1장 형식적 논리와 변증법적 논리

"논리"라는 단어는 "개념", "이성", "추론"으로 번역될 수 있는 고대 그리스 단어 "로고스"에서 유래되었습니다. 현재는 다음과 같은 기본 의미로 사용되고 있습니다.

첫째, 이 단어는 객관적 세계의 사물과 현상의 변화와 발전의 패턴을 나타냅니다. 객관적 세계의 사물과 현상의 변화와 발전의 패턴을 객관적이라고합니다. 논리.

둘째, "논리"라는 단어는 생각의 연결과 발전에 있어서 특별한 패턴을 나타냅니다. 이러한 패턴을 주관적 논리라고 합니다. 연결의 규칙성과 사고의 발전은 객관적인 규칙성을 반영합니다.

논리는 연결 패턴과 사고 발달의 과학이라고도합니다.

논리는 인류의 영적 삶의 복잡하고다면적인 현상입니다. 현재 과학 지식에는 매우 다양한 분야가 있습니다. 연구 대상에 따라 자연과학(자연과학)과 사회과학(사회과학)으로 구분됩니다. 이에 비해 논리의 독창성은 그 대상이 생각이라는 사실에 있습니다.

인간 사고의 법칙과 형태에 관한 과학으로서의 현대 논리학에는 형식 논리학과 변증법적 논리라는 상대적으로 독립적인 두 가지 과학이 포함됩니다.

형식적 논리사고 형태, 형식적 논리 법칙 및 논리적 형태에 따른 사고 간의 기타 연결에 대한 과학입니다. 형식논리학은 올바른 사고의 과학이며, 사고 과정에서 발생하는 전형적인 오류, 즉 전형적인 비논리성을 탐색하고 체계화하기도 한다. 형식적 논리에 의해 개발된 수단을 사용하면 지식 개발이 방해받을 수 있습니다. 형식논리학은 사고의 형태를 연구하여 내용이 다른 사고에 공통적인 구조를 식별합니다. 개념을 고찰할 때, 그녀는 다양한 개념의 구체적인 내용을 연구하는 것이 아니라 사고의 한 형태로서의 개념을 연구한다. 판단을 연구함으로써 논리는 내용이 다른 판단에 대한 공통 구조를 드러냅니다. 형식논리는 사고의 논리적 정확성을 결정하는 법칙을 연구하며, 이것이 없으면 현실에 해당하는 결과에 도달하고 진실을 아는 것이 불가능합니다. 형식논리의 요구사항을 따르지 않는 사고는 현실을 정확하게 반영할 수 없습니다. 그러므로 사고, 사고의 법칙, 형태에 대한 연구는 형식논리에서 시작되어야 합니다.

형식적 논리 외에 다음과 같은 것이 있다. 변증법적 논리, 특별한 연구 주제는 지식 개발의 형태와 패턴입니다. 변증법적 논리의 수단은 지식의 발전에서 주의가 산만해질 수 없는 경우에 사용됩니다. 변증법적 논리는 문제, 가설 등과 같은 지식 발전의 형태, 추상적에서 구체적인 것, 분석 및 종합으로의 상승과 같은 인지 방법을 탐구합니다.

제2장. 논리과학 발전의 주요 단계

형식논리는 가장 오래된 과학 중 하나이다. 기원전 6세기에 논리과학의 개별적인 단편들이 발전하기 시작했습니다. 이자형. 고대 그리스와 인도에서. 인도의 논리적 전통은 나중에 중국과 일본으로 퍼졌습니다. 티베트, 몽골, 실론, 인도네시아, 그리스 - 유럽 및 중동.

처음에는 수사학의 일부로 웅변의 발전 요구와 관련하여 논리가 개발되었습니다. 이 연결은 고대 인도, 고대 그리스 및 로마에서 추적될 수 있습니다. 따라서 논리학에 대한 관심이 대두되던 시기에 고대 인도의 공적 생활에서는 토론이 끊이지 않는 현상이었다. 유명한 러시아 동양학 학자 V. Vasiliev는 이에 대해 다음과 같이 썼습니다. "...보시다시피 인도에서는 웅변의 권리와 논리적 증거가 너무나 부인할 수 없었기 때문에 누구도 감히 논쟁을 피하지 못했습니다."

고대 그리스에서도 토론이 흔했습니다. 뛰어난 연사들은 높은 존경을 받았으며 명예 정부 직책에 선출되었으며 다른 나라에 대사로 파견되었습니다. 때로는 토론의 승자를 결정할 때 참석자들의 의견이 나뉘어졌습니다. 이는 그러한 불일치를 피하고 공통된 의견을 도출할 수 있는 논리 규칙을 개발하는 작업을 의제에 추가했습니다.

논리 발전의 또 다른 자극은 수학의 요구였습니다.

고대 그리스에서는 데모크리토스, 소크라테스, 플라톤이 논리학 문제를 연구했습니다. 그러나 논리학의 창시자는 고대의 가장 위대한 사상가인 플라톤의 제자인 아리스토텔레스로 간주됩니다. 논리적 형식과 사고 규칙을 최초로 철저히 체계화한 사람은 바로 그 사람이었습니다. 그는 논리에 관한 여러 작품을 썼고 나중에 "Organon"이라는 일반 제목으로 통합되었습니다. 아리스토텔레스의 가르침에 기초한 논리학은 20세기 초까지 존재했습니다. 이를 전통적인 형식논리라고 합니다.

형식 논리는 개발 과정에서 두 가지 주요 단계를 거쳤습니다.

첫 번째 단계는 논리를 체계적으로 제시하는 아리스토텔레스의 작품과의 연결입니다. 아리스토텔레스 논리학의 주요 내용은 연역론이며, 여기에는 수학적 논리의 요소도 포함되어 있습니다. 아리스토텔레스는 사고의 기본 법칙인 동일성, 모순, 배타적 중간을 공식화하고, 가장 중요한 논리적 연산을 설명하고, 개념과 판단 이론을 개발하고, 연역적 추론을 철저히 연구했습니다. 삼단논법의 교리는 현대 수학적 논리 분야 중 하나인 술어 논리의 기초를 형성했습니다. 이 가르침에 덧붙여 고대 스토아 학파(Zeno, Chrysippus 등)의 논리도 있었습니다. 스토아학파의 논리는 수학적 논리의 또 다른 방향인 명제 논리의 기초입니다.

아리스토텔레스의 가르침을 발전시킨 다음 사람은 갈레노스(Galen)라고 불려야 합니다. 개념 간의 관계를 보여주는 다이어그램을 개발한 Porfiry; 논리적 보조물을 쓴 작품을 쓴 보에티우스. 논리학도 중세 시대에 발전했지만 스콜라주의는 아리스토텔레스의 가르침을 왜곡하여 종교적 교리를 정당화하기 위해 적용했습니다.

현대에 논리과학이 이룩한 성공은 상당했습니다. 개발에서 가장 중요한 단계는 F. Bacon이 개발한 유도 이론이었습니다. 그는 과학적 발견의 방법이 될 수 없는 연역적 논리를 비판했다. 방법은 유도여야 합니다. 귀납법의 발전은 베이컨의 큰 장점이다. 연역과 귀납의 방법은 상호 배타적이지 않고 상호보완적이다. J. S. Mill은 과학적 귀납법을 체계화했습니다. 아리스토텔레스의 연역논리와 베이컨밀의 귀납논리는 일반교육학문의 기초를 이루었고, 오늘날 논리교육의 기초를 이루고 있다.

20세기 초는 소위 상징적 또는 수학적 논리학 방법의 광범위한 사용과 관련된 논리학의 일종의 과학적 혁명을 의미합니다. 그 아이디어는 독일 과학자 G.W. 라이프니츠: “… "그러면 특별한 절차 없이도 누가 옳은지 알 수 있습니다."

두 번째 단계는 수학적 논리의 출현입니다. 철학자 G. W. 라이프니츠(G. W. Leibniz)가 창시자로 간주됩니다. 그는 사람들 사이의 분쟁을 계산을 통해 해결할 수 있는 보편적인 언어를 구축하려고 했습니다. 수학적 논리는 연역적 추론의 기초가 되는 논리적 연결과 관계를 연구합니다. 출력 구조를 식별하기 위해 다양한 수학적 계산이 구축됩니다.

논리 분할의 또 다른 기초는 연구가 기반이 되는 논리에 적용되는 원리의 차이입니다. 이러한 구분의 결과로 우리는 고전 논리와 비고전 논리를 갖게 됩니다. V.S. Meskov는 고전 논리의 원리를 강조합니다.

  1. 탐구 분야는 일반적인 추론으로 구성됩니다.
  2. 모든 문제는 해결 가능하다는 가정;
  3. 진술 내용과 진술 사이의 의미 연결로부터 주의를 산만하게 합니다.
  4. 진술의 이중 의미의 추상화.

인지 과정에서 형식논리학의 방법은 변증법적 논리의 방법으로 보완되며 그 반대의 경우도 마찬가지입니다. 플라톤과 아리스토텔레스는 변증법적 논리의 발전에 어느 정도 기여했으며, 중세와 현대 철학자들은 특정 사상을 표현했습니다. 칸트, 피히테, 셸링, 헤겔이 고전적 형식을 부여했다. 헤겔의 변증법적 논리는 비록 그것이 객관적 관념론의 관점에서 발전되었음에도 불구하고 체계적인 가르침이다. 유물론적 기반의 변증법적 논리는 K. Marx, F. Engels, V. I. Lenin에 의해 개발되었습니다.

변증법적 논리는 인간 사고의 발전 법칙을 연구합니다. 여기에는 주제 고찰의 객관성과 포괄성, 역사주의의 원리, 전체의 반대 측면으로의 분기 등이 포함됩니다. 변증법적 논리는 객관적 세계의 변증법을 이해하는 방법이다.

형식 논리와 변증법 논리는 인간의 사고라는 동일한 대상을 연구하지만 각각 고유한 연구 주제를 가지고 있습니다. 변증법적 논리는 형식논리를 대체하지 않으며 대체할 수도 없습니다. 이들은 두 가지 사고 과학이며, 형식적 논리 장치와 변증법적 논리에 의해 개발된 수단을 인지 과정에서 사용하는 과학적 및 이론적 사고의 실행에서 명확하게 나타나는 긴밀한 상호 작용으로 발전합니다.

논리는 올바른 결론에 대한 진술의 연결뿐만 아니라 언어 표현의 의미와 의미, 용어 간의 다양한 관계, 정의 작업 및 개념의 논리적 분할, 확률 및 통계 추론, 역설 및 논리 등 많은 다른 문제도 다룹니다. 오류 등이 있습니다. 그러나 논리적 연구의 주요 주제는 추론의 정확성에 대한 분석, 법칙과 원칙의 공식화이며, 추론 과정에서 진정한 결론을 얻기 위해 준수가 필요한 조건입니다. 올바른 추론에서는 논리적 필연성이 있는 전제로부터 결론이 나오며, 그러한 추론의 일반적인 체계는 논리적 법칙을 표현합니다. 논리적으로 올바르게 추론한다는 것은 논리의 법칙에 따라 추론하는 것을 의미합니다.

제3장 사고문화의 논리와 형성

논리학은 인지적 사고를 연구하며 인지의 수단으로 사용됩니다. 인간의 의식에 의한 객관적 세계의 반영 과정으로서의 인지는 감각적 지식과 합리적 지식의 통일성을 나타냅니다.

감각인지는 감각, 지각, 표상이라는 세 가지 주요 형태로 발생합니다. 감각인지는 우리에게 개별 물체와 그 외부 속성에 대한 지식을 제공합니다. 그러나 현상 간의 인과관계에 대한 지식을 제공할 수는 없습니다.

그러나 사람은 주변 세계를 배움으로써 현상의 원인을 규명하고, 사물의 본질을 꿰뚫고, 자연과 사회의 법칙을 밝히려고 노력합니다. 그리고 이것은 특정 논리적 형태로 현실을 반영하는 사고 없이는 불가능합니다.

사고의 주요 특징을 고려해 봅시다.

  1. 사고는 현실을 일반화된 이미지로 반영합니다. 감각적 인지와 달리 사고는 개인을 추상화하고 사물의 일반적이고 반복적이며 본질적인 것을 식별합니다. 추상적 사고는 현실에 더 깊이 침투하여 그 고유한 법칙을 드러냅니다.
  2. 사고는 현실을 간접적으로 반영하는 과정이다. 감각의 도움으로 당신은 무엇이 그들에게 영향을 미치는지 알 수 있습니다.
  3. 사고는 언어와 불가분의 관계가 있습니다. 언어의 도움으로 사람들은 정신적 작업의 결과를 표현하고 통합합니다.
  4. 사고는 현실을 적극적으로 반영하는 과정이다. 활동은 전체인지 과정을 특징으로하지만 무엇보다도 사고를 특징으로합니다.

일반화, 추상화 및 기타 정신 기술을 사용하여 사람은 현실의 대상에 대한 지식을 변형합니다.

현실 반영의 일반화되고 매개된 성격, 언어와의 뗄 수 없는 연결, 성찰의 활동적인 성격-이것이 사고의 주요 특징입니다.

사고는 많은 동질적인 대상을 일반화하고, 가장 중요한 속성을 강조하며, 필수적인 연결을 드러낼 수 있습니다. 사고는 감각 지식에 비해 현실을 반영하는 가장 높은 형태입니다. 감각 지식과 분리되어 생각하는 것을 고려하는 것은 잘못된 것입니다. 인지 과정에서 그들은 뗄래야 뗄 수 없는 통일성을 갖고 있습니다. 감각 인식에는 아이디어뿐만 아니라 인식과 감각의 특징인 일반화 요소가 포함되어 있으며 논리적 인식으로의 전환을 위한 전제 조건을 구성합니다. 아무리 생각의 중요성도 감각을 통해 얻은 데이터에 기초합니다. 사고의 도움으로 사람은 감각 지식으로는 접근할 수 없는 현상을 인식합니다.

개념, 판단, 추론 등 사고의 주요 형태를 고려해 봅시다. 개별 개체 또는 그 조합은 내용이 다른 개념으로 인간의 사고에 반영되며 동일한 방식으로, 즉 본질적인 특징의 특정 연결, 즉 개념의 형태로 인간의 사고에 반영됩니다. 판단의 형태는 사물과 그 속성 사이의 연관성을 반영합니다. 판단은 개념을 연결하는 방법으로, 긍정 또는 부정의 형태로 표현됩니다. 하나 이상의 판단에서 새로운 판단이 도출되는 추론을 고려하면 동일한 유형의 추론에서 결론이 동일한 방식으로 획득된다는 것을 확인할 수 있습니다.

마찬가지로 판단의 연결 덕분에 어떤 내용의 결론도 얻을 수 있다. 내용이 다른 추론에서 공통적으로 나타나는 점은 판단이 연결되는 방식이다. 이러한 연결에 의해 결정되는 사고의 내용은 개념, 판단, 결론과 같은 특정 논리적 형태로 존재합니다. 올바른 결론의 특징은 항상 참된 전제에서 참된 결론으로 ​​이어진다는 것입니다. 이러한 결론을 통해 경험이나 직관 등에 의지하지 않고 순수한 추론을 통해 기존의 진리로부터 새로운 진리를 얻을 수 있습니다. 잘못된 결론은 참인 전제에서 참이거나 거짓인 결론으로 ​​이어질 수 있습니다.

현대 논리에서는 논리적 프로세스를 형식화된 언어 또는 논리적 미적분학으로 표시하여 연구합니다. 현대 논리는 더 많은 수의 논리 시스템으로 구성됩니다. 이러한 시스템은 일반적으로 고전 논리와 비고전 논리로 구분됩니다. 과학으로서의 논리학은 통합되어 있으며 다소간 특정 시스템으로 구성되어 있습니다. 각각은 기호와 공식의 언어를 사용합니다.

논리의 법칙은 오랫동안 경험과 전혀 관련이 없는 절대적인 진리로 제시되어 왔습니다. 논리는 사고의 실천을 통해 발전합니다. 논리 법칙은 인간 경험의 산물입니다. 현대 논리는 다양한 분야에 응용됩니다. 특히 그것은 수학, 주로 집합론, 형식 시스템, 알고리즘, 재귀 함수의 발전에 영향을 미쳤습니다. 논리의 아이디어와 장치는 사이버네틱스, 컴퓨터 기술 및 전기 공학에 사용됩니다.

결론

인간의 사고는 논리 과학에 관계없이 논리적 법칙의 적용을 받으며 논리적 형태로 진행됩니다. 많은 사람들은 규칙을 모르고 논리적으로 생각합니다. 물론 논리를 공부하지 않고도 올바르게 생각할 수는 있지만 이 과학의 실천적 중요성을 과소평가할 수는 없습니다.

논리의 임무는 사람이 사고의 법칙과 형태를 의식적으로 적용하고, 이를 바탕으로 보다 논리적으로 생각하고 주변 세계를 올바르게 이해하도록 가르치는 것입니다. 논리에 대한 지식은 사고 문화를 개선하고, "유능하게" 사고하는 기술을 개발하며, 자신과 다른 사람의 생각에 대한 비판적 태도를 개발합니다.

논리는 개인적이고 불필요한 암기에서 벗어나 사람에게 필요한 가치 있는 정보를 대량의 정보에서 찾는 데 도움이 되는 필수 도구입니다. 이는 "수학자, 의사, 생물학자 등 모든 전문가"(Anokhin N.K.)에게 필요합니다.

논리적으로 생각한다는 것은 정확하고 일관되게 생각하고, 추론에서 모순을 피하고, 논리적 오류를 식별할 수 있다는 것을 의미합니다. 이러한 사고의 특성은 과학 및 실제 활동의 모든 분야에서 매우 중요합니다.

사용된 참고문헌 목록

  1. 게이트마노바 A.D. 논리 교과서. – 엠., 1995.
  2. Ivanov E.A. 논리. – 엠., 1996.
  3. 간단한 논리 사전. 에드. 고르스키. - M .: 교육, 1991.
  4. Kirillov V.I., Starchenko A.A. 논리: 5판, 1991.

관점에서 사고를 연구하는 과학 언어로 형식화되는 능력.

L.f의 선전 버전에 가장 일반적입니다. 남은 것은 올바른 사고의 형태와 법칙에 관한 과학으로서의 정의입니다. 그러나 사고의 형태를 설정하고 따라서 논리적 연구를 위한 공간을 나타내는 것은 기호 체계로서의 언어를 가장 폭넓게 이해하는 언어 활동입니다.

정의에 표시된 사고 능력은 개념, 판단, 결론과 같은 논리적 형식을 사용하여 작동하는 능력을 발생시킵니다. 이론은 때때로 가장 복잡한 유형의 논리적 형식으로 구별됩니다. 종종 이 순서는 일종의 구조적 계층 구조로 인식됩니다. 개념은 사고의 가장 단순한 형태로 선언되고, 판단은 개념의 체계로, 추론은 판단의 체계로, 이론은 추론의 체계로 제시된다. 이 계층 구조는 충분히 명확하지 않으며 그 정당성이 때때로 쉽게 비판되기도 하지만 물리학의 주제 영역을 제시하기 위한 편리한 체계로 자주 사용되며 실제로는 이를 가르치는 수세기의 전통이 뒷받침됩니다. 규율(“개념”, “판단”, “추론” 참조).

고려된 논리적 형식과 그 작동의 기본이 되는 법칙 및 원리, 즉 소위 논리적 장치가 논리적 형식을 구성하며 효과적인 논리적 장치 자체의 개발이 주요 목표입니다.

논리적 형태의 차이와 관련하여 언어학의 두 가지 주요 방향이 구별됩니다. 1) 개념 분석, 즉 언어 용어 (개념)를 정의하는 절차에 대한 연구와 이들 사이의 관계 원리 공식화. 이 방향에는 일반적인 관계의 분류부터 개념적 "장"의 구성에 이르기까지 광범위한 이론이 포함됩니다. 2) 추론 이론, 즉 추론 분석, 법칙의 형식화 및 결론에서 진술(판단) 연결 원리. 여기서는 추론을 통해 전제라고 불리는 일부 초기 판단으로부터 결론이라는 판단을 올바르게 얻기 위한 방법이 공식화됩니다. 추론 이론의 틀 내에는 연역적 추론을 고려하는 논리, 즉 특정 증거 방법(“연역” 참조)과 그럴듯한 추론을 다루는 논리(귀납, 유추 등)가 있습니다(“타당한 추론” 참조). ). 또한 L.f. 또한 예를 들어 실체 이론의 형식화, 의미와 의미의 문제, 논리적 오류 및 역설 등과 같은 문제를 다룹니다. 이러한 문제의 독립적 식별은 매우 임의적이며 모두 주요 문제에 빠져 있습니다. 방향은 서로 밀접하게 얽혀 있습니다(" 의미", "의미", "역설" 참조).

L. f. 특정 내용을 추상화하여 사고의 형태와 그 조합을 탐구합니다. 예를 들어, 형식이 올바른 연역적 추론은 전제와 결론 자체가 참인지 거짓인지에 의존하지 않습니다. 가장 중요한 것은 전제의 진실로 결론의 진실을 보장한다는 것입니다. 즉, 결론은 필연적으로 전제에서 나옵니다. 이러한 추론의 일반적인 체계는 논리 법칙을 표현합니다("논리 법칙" 참조). 참된 전제를 바탕으로 한 불규칙한 추론은 참된 결론과 거짓된 결론으로 ​​이어질 수 있습니다. L.f의 주요 임무 중 하나입니다. - 올바른 추론 방법을 체계적으로 공식화하고 목록화합니다. 다양한 유형의 L.f. 그들이 정당화하는 추론의 종류가 정확히 무엇인지에 따라 서로 다릅니다. 현대 언어학에서는 정신 과정을 특수(인공) 형식화된 언어, 소위 논리 계산(“논리 계산” 참조)으로 표현하여 연구합니다. 다양한 유형의 추론을 (올바른지 또는 틀린지) 평가하는 능력을 확장하는 것은 논리의 추가 개발을 위한 주요 인센티브 중 하나입니다.

2500년이 넘는 논리학의 역사는 고대 논리학, 스콜라 논리학, 현대 논리학으로 명명할 수 있는 세 가지 주요 발전 시기를 겪었습니다. 매 순간마다 활발한 논리 연구와 특수 논리학의 일치를 관찰할 수 있었습니다. 특정 시대의 철학에서 언어 문제의 위치.

논리적 연구의 단편은 고대 인도와 고대 중국 철학의 역사에서 이미 우리에게 알려져 있지만, 서구 문명의 경우 논리적 문화의 시작은 확실히 5~3세기의 고대 그리스와 관련이 있습니다. 기원전 이자형. 이는 설득력 있고 실증적인 연설이 역할을 맡은 정치적 투쟁, 법원, 시장 분쟁 등 아테네 폴리스의 민주적 현실과 불가분하게 연결된 열정인 로고스의 힘에 대한 "지적 열정"이 등장하는 시기였습니다. 필요한 도구 중 하나입니다. 논리는 철학의 품에서 출발하여 웅변에 대한 관심의 영향을 받아 발전하였다. 수사학은 논리적, 문법적 연구의 요람임이 밝혀졌습니다("수사학" 참조). 또한 논리적 문제 분야의 형성은 처음에는 소크라테스 철학의 틀 내에서, 그다음에는 독립적 인 가르침으로서 궤변에 대한 비판 ( "소피즘"참조)과 관련됩니다. 수학에서 지식을 체계화하려는 시도(Eudoxus의 비율 교리, 기하학 요소를 공리화하는 유클리드 이전 실험)에 대해서도 언급해야 합니다. 일반적으로 새로운 합리성의 기초에 대한 성찰의 필요성으로 인해 사고 형태에 대한 완전히 전문적인 연구가 발생했다고 말할 수 있습니다. "논리학의 아버지"라는 칭호는 아리스토텔레스(기원전 4세기)에 의해 정당하게 받아들여졌습니다. 왜냐하면 과학으로서의 논리학의 시작이 그의 작품에 놓여 있었고 나중에(기원전 1세기에) "오르가논"이라는 이름으로 요약되었기 때문입니다. ("도구"), "논리"라는 용어 자체는 아리스토텔레스가 사용하지 않았습니다. 고대 논리학의 발전에 대한 추가 공헌은 초기 스토아 학파(Chrysippus, 기원전 3세기)에 의해 이루어졌습니다. 기독교 중세 시대(12세기 중반부터)에는 아랍어 자료를 통해 아리스토텔레스에 대한 “두 번째 발견”이 있었습니다. 논리학 연구가 재개되고 '논리학'이라는 용어가 사용되기 시작한 최초의 작품 중 하나는 아벨라르의 '변증법'이었습니다. 다른 학자들(Michael Psellus, Peter of Spain, Duns Scotus, W. Ockham 등)도 논리적 문제를 개발했습니다. 이러한 연구는 석의(기독교 성경의 해석) 절차와 어떤 식으로든 연결되어 있었습니다. 불행하게도 풍자(예: Rabelais) 덕분에 더 잘 알려진 것은 중세의 논리적 문화가 쇠퇴하는 동안 과도한 현학, 풍부한 속임수 및 기타 "속임수"가 쇠퇴하는 동안 학문적 논쟁의 타락한 버전입니다. 경험적 논쟁이 우세하다. 그러나 스콜라 철학자들은 최고의 작품에서 개념 분석의 예를 제시했으며, 이에 대한 관심은 유럽 과학 역사의 수세기 동안 사라지지 않았다는 점을 기억해야 합니다. 또한 아리스토텔레스 논리학에 필요한 지식의 역할을 부여한 것도 스콜라학파였으며, 과학의 선전학으로서 교육의 구조에 확고하게 들어가 Schullogik이되었습니다.

현대(14세기 중반부터)에는 귀납법 문제에 대한 관심이 증가했는데, 이는 중세 스콜라주의에 대한 비판과 새로운(실험적, 실험적)에 더 부합하는 방법론을 만들려는 욕구와 관련이 있습니다. 자연의 과학. 그러나 이전 연구와의 "유전적" 연관성은 이미 작품 제목(F. Bacon의 "New Organon")에서 볼 수 있습니다.

논리에 대한 '개량주의적' 태도는 더욱 지속되었다. Caiculis 합리성을 창조하려는 라이프니츠의 아이디어는 특별한 장소를 차지합니다 - 이성의 미적분학, 수학적 표기법과 유사하고 보편적인 논리적 언어를 기반으로 함 - charactiristica universalis는 정확성과 모호함이 자연 언어와 다릅니다. 표현. 이 아이디어는 현대 물리학의 틀 안에서만 개발되었습니다. 이름에 "논리"라는 용어가 포함된 두 가지 철학 시스템을 상기할 필요가 있습니다. 이 시스템은 논리에 대한 기존 아이디어에 대한 비판과도 관련이 있습니다. 비판의 주요 요점은 논리의 형식적 성격 (I. Kant에 의해 "형식"의 정의가 도입됨), 주제의 "공허함", 내용 부족이었습니다.

첫째, 논리학은 아리스토텔레스 이후 한 발짝도 나아가지 못한 완전한 과학이라고 처음부터 믿고, 선험적 진리의 기원과 경계, 객관적 진리를 다루는 이론을 구축한 칸트의 초월논리학이다. 지식. 둘째, 이것은 이전의 논리적 문화에 보다 엄격하게 반응하여 그것을 완전히 버려야 할 때가 왔다고 결정한 헤겔의 변증법적 논리이다(“변증법” 참조). 문화철학에 있어서 이러한 체계의 엄청난 중요성에도 불구하고, 그것들은 현대 언어철학의 발전에 직접적인 영향을 미치지는 못했지만, 그들의 간접적인 영향에 대한 분석은 확실히 흥미롭습니다.

19세기 후반 논리학에 대한 관심이 부활했다. 의심할 여지없이 수학이 그 기관인 세계의 기존 과학적 그림의 합리적 기초에 대한 비판적 성찰의 필요성과 다시 연결됩니다. L. f. 수학(대수학) 장치(J. Boole, A. Morgan, C. Pierce, E. Schroeder 등)가 사용되었으며 의심할 여지없이 라이프니츠의 아이디어와 현대 논리 문화 형성에 지속적인 중요성이 연결되었습니다. 그러나 가장 강력한 자극은 수학의 기초에 대한 연구였습니다. 점차적으로 논리주의, 형식주의, 직관주의라는 세 가지 다른 학파가 등장했습니다. 이 학파들은 서로 열띤 논쟁을 벌이면서 논리학의 이미지 자체를 근본적으로 변화시키는 데 가장 유리한 환경을 조성했습니다.

G. 프레게는 수학에 순수 논리학의 기초를 제공하려고 노력했으며, 이를 위해 "Begriffsschrift"(1879)와 "Grundlagen der Arithmetik"(1884)이라는 작품에서 그는 논리 장치의 결정적인 "개혁"을 시작했습니다. B. Russell과 A. Whitehead가 "Principia mathematica"(1925 - 1927)에서 계속한 이러한 연구를 논리주의라고 불렀습니다. 이 방향은 수학적 진리의 종합적 성격과 모든 개념이 수학적 이론의 틀 내에서 정의될 수 있는 순수 분석 과학으로서의 수학 이해에 관한 칸트의 논문을 거부하는 것을 특징으로 합니다. 비논리적인 성격의 조항을 사용하지 않고. 극복할 수 없는 어려움과 역설에 직면하여 수학을 논리로 환원하는 것은 불가능한 것으로 판명되었지만 현대 물리학의 형성에 크게 기여했습니다. 논리주의는 후자를 선호하는 논리에서 "심리학-반심리학"의 딜레마를 엄격하게 해결합니다. 이와 관련하여, 그의 "논리적 조사"에서 논리학의 심리학에 대한 매우 효과적인 비판을 수행한 E. Husserl과 같은 철학자의 형성에 대한 G. Frege의 영향에 주목해야 합니다. 라이프니츠의 아이디어에 가장 가까운 것은 수학을 입증하는 또 다른 방향이었습니다. 힐베르트의 프로그램은 수학이 공리화된 공식 계산의 계열로 제시되었으며, 완전성, 일관성 및 결정 가능성의 증거가 연구원의 주요 "관심사"였습니다. 이 방향은 종종 형식주의라고 불리며, 그 프로그램적 작업은 D. Hilbert와 S. Bernays의 "Grundlagen der Mathematik"(1934)입니다. 직관주의는 잠재적 무한성의 추상화를 선호하여 실제 무한성의 추상화를 거부하고 결과적으로 "배제된 중간의 법칙"과 같은 고전 논리학의 기본 법칙과 다음과 같은 간접적인 증명 방법을 거부한다고 선언합니다. 고전 수학에서 널리 사용되었으며 이 법칙을 기반으로 했습니다. 이 방향의 아이디어는 L. Kronecker, E. Borel 및 A. Poincaré와 같은 수학자에 의해 표현되었지만 의심할 여지 없는 직관주의의 리더는 L. Brouwer였습니다. 직관주의는 비고전적 논리의 출현과 발전에 매우 중요했습니다(A. Heyting, 1930)("비고전적 논리" 참조).

수학의 깊은 문제에 대한 논리의 호소는 주로 언어 활동 문제와 관련된 과학으로서의 논리를 위반하지 않습니다. "논리적으로 생각하는"수학자들이 토론의 주제가 된 역설과 기타 많은 어려움은 뚜렷한 언어 적 성격을 가졌습니다. 또한 위 학교 대표자들의 활동은 다음과 같이 제시될 수 있습니다. G. Frege는 현대 의미론의 창시자이고 D. Hilbert는 미적분학의 논리적 해석에서 발생하는 형식 언어에 관심이 있습니다. 형식주의를 비판하는 L. Brouwer는 우선 직관 등을 표현하는 수단으로서의 언어를 비판합니다. 그러나 고대와 중세와는 달리 이제 광범위한 논리 연구로 이어지는 것은 철학에서 언어의 문제가 아니라, 반대로, 논리적 분석의 틀 내에서 새로운 방법의 출현은 철학의 "언어적 전환"에 크게 기여합니다. 이는 20세기 철학 전반의 운동사를 통해 확인할 수 있다. ( "실증주의", "분석 철학"참조) 및 개별 사상가의 창의성 단계 (C. Pierce, G. Frege). 아마도 20세기 논리학과 철학의 관계의 특수성을 가장 생생하게 표현한 작품일 것입니다. L. Wittgenstein의 작업에 대한 분석을 제공합니다. 이 사상가의 전체 유산이 20세기 철학에 미친 영향. 과대평가하기는 어렵지만, 과학의 논리적 구문으로서의 논리실증주의에 의한 철학의 좁은 이해에서부터 분석철학의 틀 내에서 모든 형태의 담론에 대한 논리적 분석에 이르기까지 직접적으로 추적될 수 있다. 논리 실증주의의 자기 파괴와 그에 따른 분석 철학의 발전은 형이상학적 성격의 논리 문제가 언어에 대한 더 넓은 철학적 이해로 이어졌음을 다시 한번 입증합니다.

그러나 논리에 대한 비판적 자기 성찰은 이해의 광범위한 철학적 맥락뿐만 아니라 더 좁은 내부 논리 연구와도 관련이 있습니다. 우선, 이것은 "괴델의 불완전성 정리"(K. Gödel의 연구 - "Uber 형식 unenscheidbare Satze der Pnneipia Mathematica und verwandeter Systeme", 1931)로, 형식 산술을 포함하는 미적분의 불완전성을 명시하며 이는 심각한 장애를 초래합니다. 힐베르트의 형식주의 프로그램을 구현하려고 시도하지만 동시에 증거 이론을 크게 발전시킵니다. 이 정리의 일반적인 철학적 결과는 의미에 관계없이 순수한 기호 게임으로 사고한다는 생각의 불일치를 입증하는 것입니다. 이는 구문 구조에 국한된 사고를 형식화하려는 라이프니츠의 꿈을 실현하려는 희망을 파괴합니다. 구문론적 관점을 넘어서는 것입니다. 내부 논리적 성격의 또 다른 성취도 관련되어 있습니다. A. Tarski가 공식화 한 진리의 의미 론적 이론은 현대 버전 중 하나 인 모델 이론의 틀 내에서 언어의 구조와 의미 사이의 관계에 대한 정확한 분석을 가능하게했습니다. 논리적 의미론. 논리적 의미론의 추가 개발은 모달 논리 연구 프레임워크 내에서 가능한 세계의 의미론(S. Kripke)의 출현과 관련이 있습니다(“모달 논리”, “가능한 세계” 참조).

논리 구문론과 논리 의미론에 관한 연구 외에도 언어에 대한 현대적 사고에 따라 논리 화용론에 대한 연구도 있습니다. 이 분야의 발전에 기여한 많은 사상가들(G. Reichenbach, N. Bar-Hillel, A. Pryor, G. H. von Wright, J. Hintikka 등) 중에서 특히 R. Montagu를 언급해야 합니다. 그가 구축한 논리적 화용론 체계는 다양한 해석(의미론적 측면)뿐만 아니라 사용 맥락도 고려합니다.

따라서 '논리학' 분야는 기호 간의 관계 형태(논리적 구문)를 고려하는 데 그치지 않고, 기호와 현실 간의 관계 형태(논리 의미론), 원어민의 관계 형태 분석으로 확장된다. 원어민들 사이의 관계의 기호와 형태(논리적 화용론). 언어 연구 영역에 대해 "진실"을 유지한 논리학은 20세기에 이르러 합리성의 기초에 대한 탐색과 이러한 기초에 대한 높은 수준의 비판을 능숙하게 결합하는 독립적인 학문이 되었습니다.

고대 논리와 스콜라 논리는 이제 "전통적 형식 논리"라는 이름으로 통합됩니다. 역사적, 철학적 측면 외에도 여전히 중요한 선전적 중요성을 갖고 있으며, 인간 지적 문화의 핵심으로서 광범위한 인도주의 교육의 필수 요소로 인식되고 있습니다. 논리 발전의 새로운 단계는 "수학적 (또는 기호) 논리"라고 불립니다. 왜냐하면 현대 논리 시스템은 대부분 형식적인 수학적 방법에 전적으로 의존하고 논리적으로 해석되는 미적분학이기 때문입니다. 수학적 논리의 주요 분야는 고전적인 명제 논리와 술어 논리입니다. 모달 논리에 대한 연구가 널리 보급되었습니다. 논리의 특정 기본 법칙을 부정하는 논리 시스템은 비고전적 논리의 스펙트럼을 형성했습니다("명제 논리", "술어 논리", "양식 논리", "비고전 논리" 참조).

L. f의 상당수의 다양한 시스템. 적용 범위가 넓기 때문입니다. 이론 물리학(양자 논리), 응용 수학(계산 수학과 오토마타 이론), 컴퓨터 과학(프로그래밍 및 연구 분야)에서 그다지 흥미로운 응용이 수행되지 않기 때문에 이론 수학은 아마도 이런 의미에서 절대 손바닥을 잃었을 것입니다. 인공 지능), 인도주의적 지식(언어학, 법학, 윤리학) 등 수많은 문제가 있는 논리적 분석의 응용 측면은 과학 논리, 철학 논리 등 종종 이름이 붙는 연구 영역을 탄생시켰습니다. .논리학과 철학의 관계는 명확하게 해석될 수 없습니다. 독립적인 과학의 지위를 획득한 논리는 여전히 철학적 학문 중 하나입니다. 언어와 사고 사이의 연결이 긴밀한 "철학적 관심"의 대상으로 남아 있기 때문입니다.

뛰어난 정의

불완전한 정의 ↓

1 논리의 주제와 의미.형식적 논리올바른 사고의 법칙과 형태에 대한 과학입니다. 논리학(logic)이라는 용어는 '생각', ​​'말', '이성', '법률'을 의미하는 그리스어 '로고스'에서 유래되었습니다. 논리는 논리적 형식을 조사하고 특정 내용을 추상화하며 형식적 정확성의 관점에서 사고를 분석합니다. 형식적 정확성은 알려진 고정 규칙에 대한 사고(추론, 증거)의 준수를 의미하며, 이를 준수하면 한 진술에서 다른 진술로의 전환의 정확성이 보장됩니다. 논리의 주제추론적 지식, 즉 특정 법칙에 따라 이전에 검증된 진리로부터 얻은 지식입니다. 논리는 각 개별 사례에서 원래 지식의 실제 특성에 관심이 없습니다. 그 임무는 결론이 특정 전제로부터 필연적으로 나오는지 아니면 아마도 그럴듯한지 결정하는 것입니다. 또 다른 임무는 올바른 추론 방식을 공식화하고 체계화하는 것입니다. 형식적 논리오늘은 두 개의 가지로 표현됩니다–전통적이고 수학적(기호적) 논리. 전통적인논리– 이것이 추론 지식 논리의 첫 번째 단계입니다. 그녀는 보편적인 인간 사고 형태(개념, 판단), 추론(추론)에서 사고 연결 형태, 형식적 논리 법칙 체계에 고정된 정체성, 모순, 제외된 제3 이유 및 충분 이유를 연구합니다. . 매우 정확한논리- 수학적 방법과 특수한 기호 장치를 사용하고 미적분학(형식화된 언어)을 사용하여 사고를 탐구하는 형식 논리 개발의 전통 논리 다음 두 번째 단계입니다. 전통적인 논리보다 더 높은 수준의 추상화 및 일반화를 통해 현대 기호 논리는 수학, 사이버네틱스, 전자 컴퓨터 및 제어 장치의 설계 및 작동에서 복잡한 논리 구조를 해결할 때 발생하는 새로운 사고 패턴을 배울 수 있습니다.

2 논리학 연구의 주제로서 사고하기.사고의 법칙, 혹은 논리의 법칙,- 추론이나 증명의 과정에서 생각이나 그 요소들 사이의 내부적 필수 본질적 연결을 표현하는 판단이다. 형식논리학에는 동일성, 모순, 배제이유, 충분이유라는 네 가지 기본법칙이 있습니다. 이러한 법칙은 사고의 가장 일반적인 속성인 확실성, 일관성, 일관성 및 타당성을 표현하기 때문에 기본입니다. 형식논리학의 법칙은 사고의 구성과 연결의 법칙이다. 그것들은 수세기에 걸친 사고 실천 과정에서 발전해 온 올바른 추론의 패턴을 반영합니다. 이러한 법칙은 다양한 논리적 연산, 결론, 증거의 기초가 되며 본질적으로 객관적입니다. 즉, 사람들의 의식과 의지에 의존하지 않습니다. 동일성의 법칙 모순의 법칙 모순의 법칙은 말한다. 충분성의 법칙근거는 증거의 요구 사항과 사고의 타당성을 표현합니다. 이 법칙에 따르면 모든 참된 생각은 이미 입증된 다른 생각에 의해 정당화되어야 합니다.

3 논리적 형식의 개념. 논리 발달의 주요 단계와 인지에서의 중요성.논리적 형식-이것은 사고의 구조 또는 내용의 요소를 연결하는 방식입니다. 논리형은 논리변수와 논리상수로 표현됩니다. 라틴 알파벳의 모든 문자(A, B, C, p, q)는 논리 변수로 작동할 수 있습니다. 상수 또는 논리 상수는 논리 변수를 연결하는 방법으로 사용되며 "all", "some", "essence", "and", "or", "either 또는", "if"라는 단어로 표현됩니다. .., 그럼” 등 D 명제 기능변수를 포함하는 표현식이며, 변수를 해당 설명어로 대체하면 명령문이 됩니다. 사고의 법칙사고의 법칙, 즉 논리법칙은 추론이나 증명의 과정에서 생각이나 그 요소들 사이의 내부적 필수 본질적 연결을 표현하는 판단이다. 형식논리학에는 동일성, 모순, 배제이유, 충분이유라는 네 가지 기본법칙이 있습니다. 형식 논리의 법칙-이것이 생각의 구성과 연결의 법칙입니다. 그것들은 수세기에 걸친 사고 실천 과정에서 발전해 온 올바른 추론의 패턴을 반영합니다. 동일성의 법칙사고의 기본 속성 중 하나인 확실성을 포착합니다. 이 법칙에 따르면 추론 과정의 모든 생각은 그 자체와 동일해야 합니다. 이는 사고의 주제가 논증이나 증명 전체에 걸쳐 그 특성의 동일한 내용으로 고려되어야 함을 의미한다. 모순의 법칙사고의 일관성과 일관성에 대한 요구 사항을 표현합니다. 이는 알려진 조항을 사실로 인식하고 이러한 조항으로부터 결론을 도출함으로써 이전에 말한 내용과 모순되는 진술을 추론하거나 증명할 수 없음을 의미합니다. 모순의 법칙은 말한다: 부정 관계에 있는 두 명제는 동시에 참일 수 없습니다. 그 중 적어도 하나는 거짓이어야 합니다 . 충분성의 법칙근거는 증거의 요구 사항과 사고의 타당성을 표현합니다. 이 법칙에 따르면 모든 참된 생각은 이미 입증된 다른 생각에 의해 정당화되어야 합니다. 형식적 논리 법칙이것이 규범적 사고의 법칙입니다. 논리 법칙의 요구 사항을 준수하면 논리적 오류로부터 사고를 보호하고 초기 지식이 사실인 경우 실제 지식 획득을 보장합니다.

4 사고의 형태로서의 개념. 인지의 감각 단계에서 추상적 사고로의 전환은 주로 감각, 인식 및 아이디어의 형태로 세계를 반영하는 것에서 개념, 그리고 그에 기초하여 판단 및 이론으로의 반영으로의 전환을 특징으로 합니다. 그러므로 사고는 개념을 가지고 작동하는 과정으로 간주될 수 있습니다. 사고가 현실을 일반화하는 성격을 갖게 된 것은 개념 덕분입니다. 개념이것은 독특한 특징을 바탕으로 특정 유형의 대상을 일반화한 결과인 사고의 주요 형태 중 하나입니다. 논리적 형식으로서 개념은 두 가지 중요한 매개변수로 특징지어집니다. 콘텐츠 그리고용량 . 개념의 대상을 일반화하는 특성 집합을 '특징'이라고 합니다. 콘텐츠 이 개념의. 개념에서 생각할 수 있는 대상의 총체를 개념이라고 부른다. 용량 . 상상할 수 있는(개념에서 일반화된) 객체는 구성하는 특성의 전달자입니다. 콘텐츠 개념은 볼륨 요소 이 개념.

5 개념의 내용과 범위.개념의 내용과 범위는 서로 밀접하게 관련되어 있습니다. 이러한 연결은 개념의 양과 내용 사이의 역관계 법칙으로 표현되며, 이에 따라 개념의 내용이 증가하면 양이 감소하고 그 반대의 경우도 마찬가지입니다. 또는 좀 더 일반적인 공식으로 말하면, 한 개념의 범위가 다른 개념의 범위의 일부인 경우 두 번째 개념의 내용은 첫 번째 개념의 내용의 일부입니다. 역관계법칙은 개념의 일반화와 제한의 작용과 개념 간의 관계 분석에 중요한 역할을 한다.

6가지 개념 유형.1. 작성자용량개념은 다음과 같이 나누어진다.하나의그리고흔하다. 단일 개념은 범위가 하나의 요소로 구성된 개념입니다. 예를 들어, "Alexander Sergeevich Pushkin", "큰곰자리 별자리", "이 책" 등의 개념이 있습니다. 일반적인 개념은 하나 이상의 요소로 구성된 클래스를 볼륨으로 갖습니다. 예: '사람', '동물' 등 2. 흔하다개념, 차례로 등록과 비등록으로 구분됩니다. 등록 중-원칙적으로 고려할 수 있는 유한한 요소 집합의 볼륨을 갖는 개념입니다. 예를 들어 "태양계 행성", "사람", "탐사자" 등이 있습니다. 미등록– 범위가 무한한 요소이며 원칙적으로 고려할 수 없는 개념입니다. 예를 들어 "숫자", "원자", "분자"입니다. 3. 개념은 분할형과 집합형으로 구분됩니다. 분리개념 –각 개별 개체가 클래스의 요소로 간주되는 범위의 개념입니다. 예를 들어 '책', '사람', '별' ». 집단- 사물을 하나의 전체로 생각하는 개념. 예를 들어 '인류', '별자리', '함대' 등이 있습니다. 4. 작성자콘텐츠개념은 다음과 같이 나누어진다.특정한그리고추상적인. 특정한N대상이 그 특성의 총체적으로 생각되는 개념이 호출됩니다. 예를 들어 "테이블", "의자", "사람", "나무" 등이 있습니다. 추상적인개념이 불린다., 속성이나 관계가 생각되는 대상 자체에서 "행복", "백색", "무한대"가 추상화됩니다. 5. 개념이 있습니다긍정적인그리고부정적인. 긍정적인객체의 속성이나 관계의 존재를 표현하는 개념입니다. 예를 들어 "범죄자", "유럽 국가", "수도"입니다. 부정적인재산이나 관계가 없음을 나타내는 개념을 "비범죄", "비유럽 국가", "비수도"라고 합니다. 일반적으로 부정적인 개념은 다음을 추가하여 긍정적인 개념에서 형성됩니다. 긍정적인 개념은 부정적인 입자 "not" 또는 접두사 "without"을 의미합니다. 그러나 부정적인 입자 없이 개념이 사용되지 않는 경우에는 긍정적이라는 점을 기억해야합니다. 예를 들어 '슬롭', '악천후' 등이 있습니다. 6. 에 의해콘텐츠개념도 나누어져 있어요유사한그리고관련 없는. 유사한예를 들어 "자식"과 "부모", "상사"와 "하위", "상위"와 "하위"등과 같이 다른 하나의 존재 없이는 하나의 존재를 생각할 수없는 객체를 반영하는 개념이 고려됩니다. . 관련없음- 존재가 반드시 다른 객체의 존재와 연결되지 않는 객체를 반영하는 개념. 예를 들어 '사람', '책', '책상' 등이 있습니다.

7 개념 간의 관계.개념 간의 관계는 내용과 범위에 따라 설정됩니다. 내용별. 개념 간의 논리적 관계를 명확히 하기 위해 특성의 공통성, 즉 내용에 의해 설정되는 비교 가능성과 비비교 관계를 구별합니다. 개념을 비교 가능이라고 합니다., 개체는 이러한 개념을 서로 비교할 수 있는 공통 특성을 가지고 있지만 개념에서 생각할 수 있는 개체가 공통 특성을 갖지 않으면 비교할 수 없습니다. 논리적 관계는 비교 가능한 개념으로만 구성될 수 있습니다. 볼륨 별. 많은 비교 가능한 개념에서는 호환 가능한 것과 호환되지 않는 것을 구별하는 것이 일반적입니다. . 개념이 호환됩니다., 이러한 개념의 내용을 구성하는 기능이 동일한 개체에 속할 수 있는 경우, 즉 해당 볼륨에 몇 가지 공통 요소(예: "운동선수" 및 "학생")가 있는 경우, 즉 두 개념의 호환성 조건 xA( x) 및 xB(x)는 해당 볼륨의 교차점이 비어 있지 않은 상태입니다. 1. 호환성 관계는 다음 유형으로 표시됩니다.등가(동일 볼륨) 또는 동일성. 이 관계는 범위는 동일하지만 내용이 다른 개념 간에 발생합니다. . 2. 범위에 공통 요소가 포함된 개념 간에 교차 또는 중복이 발생합니다. 예를 들어, '운동선수'와 '이르쿠츠크 거주자'라는 개념이 교차합니다. " 삼.종속 또는 종속은 이러한 개념 사이에서 발생하며, 그 중 하나의 범위는 다른 범위에 완전히 포함되지만 이를 소진하지는 않습니다. 예를 들어, 종속과 관련하여 "고등 교육 기관"(A) 및 "대학"(B)의 개념이 있습니다. "의사"(A) 및 "일반의"(B). 해당 범위의 일부로 다른 개념의 범위를 포함하는 개념을 하위(A)라고 하며, 다른 개념의 범위에 해당 범위가 포함된 개념을 하위(B)라고 합니다. 비호환성 유형: 1.종속 또는 조정은 적어도 세 가지 개념 사이에서 발생하며, 그 중 하나는 일반적인 개념이고 나머지는 교차 관계에 있지 않은 주어진 속의 종이다. 예: "고등 교육 기관"(A), "연구소"(B), "아카데미"(C). 2. 이러한 개념 사이에는 반대 또는 모순이 발생하는데, 그 중 하나는 특정 특성을 포함하고 다른 하나는 이러한 특성을 부정하여 반대 개념으로 대체합니다. 반대 개념의 범위가 일반 개념의 범위를 모두 포함하지는 않으며 그 사이에 중간 유형이 있다는 점을 기억하는 것이 중요합니다. 예를 들어 "검은색"(B) 및 "흰색"(C) ). 3. 개념 사이에는 모순이나 모순이 발생하는데, 그 중 하나는 어떤 특성을 포함하고 다른 하나는 이러한 특성을 갖지 않고 다른 것으로 대체되지 않습니다. 모순되는 개념의 범위는 일반적인 개념의 범위를 완전히 소진시킵니다. 예를 들어, “man”(B) 및 “not a man”(C)입니다. 상징적으로 모순되는 개념은 문자 위에 부정 기호(“man”(B) 및 “not a man”(B))를 사용하여 작성할 수 있습니다.

8 개념 정의.개념의 정의개념의 내용을 드러내는 논리적 연산이다. 내용이 공개된 개념을 definiendum, 줄여서 Dfd라고 합니다. 정의되는 개념의 내용을 드러내는 개념을 정의 또는 Dfn이라고 합니다. 정의 유형 1. 실질 및 명목.정의를 실제와 명목으로 나누는 것은 정의되는 내용, 즉 개념의 내용이나 용어의 의미에 따라 다릅니다. 실제 정의(설명)- 이는 개념의 내용이 드러나는 정의입니다. 즉, 정의된 객체는 고유한 특징에 따라 유사한 객체의 클래스와 구별됩니다. 이 유형의 정의 결과는 판단, 즉 이 용어로 지정된 개체의 특성입니다. 명목상 정의– 도입된 용어나 표현의 의미가 드러나는 정의이다. 명목상의 정의는 주어진 기호 형태의 사용에 관한 조건 또는 합의입니다. 이 경우의 정의는 이 용어로 무엇을 부르거나 부르게 될 것인지, 이 표현이 무엇을 의미하거나 의미하게 될 것인지에 대한 질문에 대한 답입니다. 2. 구조에 따라 정의는 명시적 정의와 암시적 정의로 구분됩니다., 정의된 표현식(Dfd)과 정의하는 표현식(Dfn)이 독립적인(겹치지 않는) 부분으로 구별되는지 여부에 따라 달라집니다. 명시적 정의- 정의된 객체의 본질적인 특징을 표현한 정의로서 동등 또는 등가의 형태를 갖는다. - Dfd = Dfn. 이러한 유형의 정의는 가장 간단하고 가장 일반적으로 사용되는 정의 형식입니다. 명시적 정의의 유형에는 속과 종의 차이를 통한 정의와 그 다양성인 유전적 정의가 포함됩니다. 암시적 정의개념의 내용이 다른 개념과의 관계에서 파생되는 정의입니다. 암시적 정의는 정의(Dfd)와 정의 표현식(Dfn)을 독립적인 부분으로 구별할 수 없으므로 동등성 또는 동등성 형태로 표현할 수 없다는 점에서 명시적 정의와 다릅니다. 암시적 정의에는 대상과 반대 대상, 문맥상, 표면적 등의 관계를 통한 정의가 포함됩니다. 결정 규칙 1. 결정은 비례적이어야 합니다.. 비례의 법칙은 정의된 개념의 부피가 정의하는 개념의 부피와 동일해야 한다는 것을 요구합니다. 즉, 동등성이 관찰됩니다(Dfd = Dfn). 이 규칙을 위반하면 결정 오류가 발생합니다. 2. 정의에는 원이 있어서는 안 됩니다.. 개념은 그 자체로 정의되어서는 안 됩니다. 이 규칙을 위반하여 발생하는 오류를 악순환이라고 합니다. 그것은 두 가지 종류가 있습니다: 정의의 원과 동어반복. 정의에 있는 원은 개념을 정의할 때 다른 개념에 의존하고, 이는 다시 첫 번째 개념을 사용하여 정의됨을 의미합니다. . 3. 정의가 명확해야 하며,모호함을 허용하지 않는 것, 즉 명확하게 정의된 용어로 공식화되어야 하며, 그 주제의 의미가 알려져야 합니다. 그 자체로 정의가 필요한 용어를 통해 개념을 정의하는 것은 불가능합니다. 이런 종류의 오류를 미지의 관점에서 미지의 것을 정의한다고 합니다. 예를 들어, “불가지론은 회의론의 한 유형이다.” 4. 가능하다면 정의는 부정적이어서는 안 됩니다., 이러한 종류의 정의는 객체를 특징짓고 다른 객체와 구별하는 본질적인 특징을 나타내지 않기 때문입니다. 예를 들어, "장미는 낙타가 아닙니다."

9 개념의 구분.개념의 구분- 이는 개념의 범위를 해당 개념에서 생각할 수 있는 객체의 집합인 하위 유형으로 나누는 작업입니다. 분할 과정은 가능한 종 개념을 식별하는 과정과 동일한 방식으로 특징지어질 수 있습니다. 각 구분에는 다음이 포함됩니다. 분할 가능한 개념, 즉 분할되는 개념 분할의 기초, 즉 분할이 발생하는 기호; 디비전 멤버는 원래 멤버와 관련된 특정 개념입니다. 올바른 분할과 잘못된 분할을 구별하는 것이 관례입니다. 다음 5가지 조건이나 나눗셈 규칙을 만족하면 나눗셈이 올바른 것입니다. 1. 분할은 하나의 구체적인 근거에 따라 이루어져야 합니다. 이 경우 분할의 기준은 둘 이상의 서로 다른 특성의 조합일 수 있습니다. 이 규칙을 준수하지 않으면 "베이스의 혼란"이라는 논리적 오류가 발생합니다. 2. 나눗셈으로 얻은 개념은 쌍으로 호환되지 않아야 합니다.. 이 규칙에 따른 논리적 오류의 예는 "평행사변형" 개념을 "사각형", "다이아몬드" 및 "사각형"으로 나누는 작업입니다. 왜냐하면 "사각형"과 "마름모", "정사각형"과 같은 개념 쌍이 있기 때문입니다. 및 "직사각형"은 상호 배타적이지 않습니다. 3. 분할의 구성원은 분할되는 개념의 양을 모두 소진해야 합니다. 즉, 그들의 조합은 이 양과 동일해야 합니다. 이 규칙을 위반하면 두 가지 유형의 오류가 발생합니다. 첫째, 분할의 결과로 분할 일반 개념의 모든 유형이 표시되지 않을 때 발생하는 "불완전한 분할"입니다. 둘째, 분리되는 개념의 종 외에 해당 속의 종이 아닌 구분의 구성원을 표시할 때 발생하는 "추가 구성원이 있는 분할"입니다. 4. 디비전 멤버 중 빈 클래스가 있어서는 안 됩니다. 5. 분할은 계속되어야 하며,즉, 모든 구성원은 선택한 기준에 따라 구별되는 원래 개념의 볼륨과 가장 가까운 유형입니다. 이 규칙을 따르지 않을 때 발생하는 논리적 오류는 '점프 인 디비전(Jump in Division)'이다. '술어'의 개념을 먼저 '단순'과 '복합'으로 나누고, '복합'을 '복합동사'와 '복합명사'로 나누는 것이 옳을 것이다. 논리에서는 두 가지 유형의 구분, 즉 특성 수정과 이분법을 구별하는 것이 일반적입니다. 특성 수정에 의한 분할은 임의의 수의 클래스를 갖는 분할로, 각 클래스에는 분할의 기초가 되는 특정 특성이 존재하지만 다양한 정도로 나타납니다. 이분법적 분할– 서로 배타적인 두 개의 집합으로 나눕니다. 이분법적 분할의 과정에서 분할되는 개념은 두 개의 모순된 개념으로 나누어진다. 이러한 유형의 분할의 장점은 작업 자체가 단순하다는 것입니다. 이는 분할 구성원 교차와 같은 오류(예: 분할 구성원이 서로 배제되지 않는 경우)와 구성을 명확히 할 필요가 없음을 보장합니다. 긍정적인 용어를 골라내는 것 외에 개념의 양이 나누어지는 것입니다. 분할 연산의 경우 분할된 개념의 내용이 분할의 각 구성원에 대해 항상 주장될 수 있으므로 참된 진술을 얻을 수 있습니다. 물체를 부분으로 나누는 경우 의미없는 진술이 얻어집니다.

10 개념의 제한 및 일반화.일반적인 개념에서 특정 개념으로, 특정 개념에서 일반 개념으로의 전환은 개념의 내용과 양 사이의 역관계에 대한 형식적 논리적 법칙에 기반합니다. 개념의 한계일반 개념의 내용에 종 형성 특징을 추가하여 부피가 큰 개념(속)에서 부피가 작은 개념(종)으로 전환하는 논리적 연산입니다. 동일한 개념의 제한은 다른 방향으로 갈 수 있습니다. 왜냐하면 개념의 제한은 더 좁은 개념의 형성에서 특징을 고려하는 것과 관련된 사양이기 때문입니다. 한계 개념- 부피는 크지만 내용은 적은 개념에서 부피는 작지만 내용은 많은 개념으로 이동하는 것을 의미합니다. 따라서 위에서 설명한 개념 간의 관계 측면에서 개념의 제한은 하위 개념에서 하위 개념으로의 전환을 의미하며, 개념 범위의 관점에서 볼 때 이는 클래스(집합)에서 하위 클래스( 하위 집합). 제한의 한계는 단일 개념입니다. 예를 들어, '학생'이라는 개념을 제한한 결과는 '법학도 페트로프'라는 개념이다. 개념의 일반화는 부피가 작은 개념(종)에서 부피가 큰 개념(속)으로 전환되는 반면, 두 번째 개념의 내용은 반비례의 법칙에 따라 감소하는 논리적 연산이지만, 이는 기능의 수가 감소한다는 의미는 아닙니다. 이는 단지 두 번째 개념의 내용이 첫 번째 개념의 내용을 논리적으로 따른다는 것을 의미할 뿐입니다.

11개념의 볼륨(클래스)이 있는 작업.클래스 또는 집합(즉, 개념의 범위에 포함되는 개체 집합)에는 하위 클래스 또는 하위 집합이 포함될 수 있습니다. 하위 클래스를 구별하는 개념을 일반 또는 속이라고 합니다. 특정 또는 종류(예: 과학 - 일반적인 개념, 화학 - 특정)에 따라 범위가 일반적인 개념과 구별되는 개념입니다. 클래스(세트)특정 조건이나 특성에 대한 만족 여부에 따라 함께 생각할 수 있는 개체의 집합입니다. 클래스는 단일 클래스일 수 있습니다. 즉, 하나의 요소로만 구성됩니다. 유한한 수의 요소로 구성된 유한함; 끝없는– 기본적으로 재계산을 허용하지 않는 요소, 예를 들어 무한 클래스는 모든 짝수의 클래스입니다. 불확실한; 즉, 요소를 전혀 포함하지 않는 비어 있는 클래스와 보편적인 클래스로, 고려해야 할 주제 영역의 모든 개체로 구성됩니다. 하위 클래스(하위 집합)- 이것은 집합이며, 각 요소는 동시에 더 넓은 집합의 요소입니다. 두 개 이상의 클래스에서 특정 작업을 사용하여 새 클래스를 형성할 수 있습니다. 클래스에 대한 주요 연산은 클래스 결합(덧셈), 클래스 교차(곱셈), 클래스 추가(부정) 및 클래스 빼기(차이)입니다. 클래스 결합(추가)이러한 객체로 구성된 새로운 클래스를 형성하는 논리적 작업으로, 각 객체는 구성 요소 클래스 중 적어도 하나의 요소입니다. 클래스 교차(곱셈)– 논리 연산이 호출되고 그 결과 곱셈되는 클래스에 공통적인 요소로 구성된 새로운 클래스가 형성됩니다. 곱셈의 결과로 얻은 클래스 A∩B를 곱이라고 합니다. 애드온 속성: 보완 클래스와 그 보완 클래스 사이의 관계는 모순의 관계이며, 이는 모든 보편 영역의 각 대상이 모순되는 개념 중 하나만의 관점에서 생각할 수 있다는 사실을 특징으로 합니다.

12 사고의 한 형태로서의 판단.판단은 특정 상황에 대한 설명과 실제로 이러한 상황의 존재에 대한 주장 또는 거부를 포함하는 사고 형태로 정의될 수 있으며, 이와 관련하여 판단은 일반적으로 무언가에 대한 주장 또는 거부로 정의됩니다. 그러나 어떤 상황의 존재를 부정하는 것은 실제로는 그 상황의 부재를 긍정하는 것이다. 따라서 판단은 항상 진술, 즉 현실에서 특정 상황의 존재 여부에 대한 진술이라고 말할 수 있습니다. 따라서 판단과 개념을 구별하는 것은 설명된 상황에 대한 긍정 또는 거부의 존재입니다. 논리적 관점에서 판단의 특징은 그것이 논리적으로 옳다면 항상 참 또는 거짓.그리고 이것은 무언가에 대한 긍정 또는 부정의 판단에 존재하는 것과 정확하게 연결됩니다. 판단과 달리 개념정신적 고립을 목적으로 사물과 상황에 대한 설명만 담고 있을 뿐, 진실성은 없습니다. 판단은 제안과도 구별되어야 합니다. 판결의 소리껍질은 문장이다.명제는 항상 명제이지만 그 반대는 아닙니다. 판단은 무엇인가를 주장하거나 부인하거나 보고하는 선언문으로 표현됩니다. 따라서 의문문, 명령문, 명령형 문장은 판단이 아닙니다. 판결과 판결의 구조는 동일하지 않습니다. 동일한 문장의 문법 구조는 언어마다 다르지만, 판단의 논리적 구조는 모든 민족 간에 항상 동일합니다. 판단과 진술의 관계도 주목해야 한다. 성명자연어나 인공어의 문장을 참, 거짓, 현실, 필연성, 가능성의 관점에서 고려하여 나타내는 수학적 논리학 용어이다. 심판모든 발언의 내용입니다. “n은 소수이다”와 같은 문장은 참이나 거짓을 말할 수 없기 때문에 명제로 간주될 수 없습니다. 변수 n이 어떤 내용을 가지게 되는지에 따라 논리값을 설정할 수 있습니다. 이러한 표현을 명제변수라고 합니다. 진술은 라틴 알파벳 한 글자로 표시됩니다. 분해 불가능한 단위로 간주됩니다. 이는 구조 단위가 구성 요소의 일부로 간주되지 않음을 의미합니다. 이러한 진술을 원자(기본)라고 하며 간단한 판단에 해당합니다. 둘 이상의 원자 진술에서 논리 연산자(연결)를 사용하여 복잡한 또는 분자 진술이 형성됩니다. 진술과 달리 판단은 의미로 연결된 주체와 객체의 구체적인 통일체입니다. 판단 및 진술의 예: 간단한 진술 - A; 간단한 명제 - "S는 P가 아니다." 복잡한 진술 - A⊃B; 복잡한 판단 - "S1이 P1이면 S2는 P2입니다."

논리는 기술, 법칙 및 사고 형태의 과학입니다. 형식논리는 오래전 고대 그리스인에 의해 발전되었으며, 민회에서 결정과 법률이 만들어지는 민주사회를 최초로 건설한 사람도 그리스인이었습니다. 그들은 원시적인 수준에서 지식의 과학을 창조했고, 귀족 청년들이 가장 좋아하는 오락은 철학자들과의 토론이었습니다. 그러므로 이론 과학의 발전에 대한 보편적인 사랑입니다. 그리스인들은 과학적 증거의 가치에 대한 교육이 필요했습니다.

논리학의 기초에 대한 첫 번째 과정은 아리스토텔레스에 의해 개발되었습니다. 그는 모든 추론이 일반 법칙에 기초하고 있으며 이를 위반하면 잘못된 결론을 낳는다는 사실에 주목했습니다. 아리스토텔레스의 형식 논리는 다음 법칙에 기초를 두고 있습니다.

  1. 판단이 긍정적이라면 그 판단에서 도출된 결론은 부정적일 수 없습니다.
  2. 진술 중 하나가 부정적이면 전체 결론은 항상 부정적입니다.

형식 논리는 구성의 형태(일반 추론의 개별 부분을 연결하는 방법)를 고려하여 효과적이고 올바른 추론 구성의 원리와 법칙에 관한 것입니다.

모든 현상과 사물은 서로 연결되어 있습니다. 연결은 객관적일 수도 있고 주관적일 수도 있고, 일반적일 수도 있고 개인적일 수도 있고, 필요하거나 우연일 수도 있습니다. 이러한 연결 중 가장 중요한 것을 법칙이라고 합니다. 그것들은 모두 동일한 현실을 반영하므로 어떤 식으로든 서로 모순될 수 없습니다. 인간 사고의 모든 법칙은 자연 발달 법칙과 관련이 있습니다.

사고의 법칙은 사고 사이의 안정적인 내부 연결을 나타냅니다. 사람이 자신의 생각을 연결할 수 없다면 올바른 결론에 도달하지 못하고 그것을 다른 사람에게 전달할 수도 없습니다.

형식 논리의 기본 법칙- 이는 일관성, 동일성, 제3자의 배제 및 충분한 이유의 법칙입니다. 처음 세 가지의 발전은 아리스토텔레스와 플라톤에 속하며 마지막은 라이프니츠에 속합니다. 이러한 법률(특히 처음 세 가지)을 위반하면 모순이 발생하여 진실과 거짓을 구별하는 것이 불가능해집니다. 후자의 법칙은 덜 규정적이며 적용이 더 제한적입니다.

비기본 논리 법칙은 판단과 개념을 사용하여 삼단논법에서 참된 결론을 얻고, 귀납적 추론과 연역적 추론에서 결론의 가능성을 높이는 규칙입니다.

일관성의 법칙은 사고가 모순되어서는 안 되며, 사물의 질적 확실성을 반영해야 함을 의미합니다.

두 개의 모순되는 것 사이에서 제3의 것을 찾는 것이 아니라 그 중 하나만의 진실을 인정하는 것을 규정합니다. 모순의 구성 요소 중 하나는 확실히 사실입니다.

형식 논리는 동일성의 법칙을 사고의 정확성에 대한 요구 사항으로 해석합니다. 즉, 모든 용어는 정의와 의미를 통해 정확하게 이해되어야 합니다. 개념과 판단의 본질은 마음대로 왜곡될 수 없습니다.

충분이유율의 법칙은 모든 참된 생각은 다른 참된 생각에 의해 정당화되어야 하지만 거짓된 생각은 정당화될 수 없다는 것입니다. 판단의 전개는 인과관계를 반영해야 합니다. 이 경우에만 진위 여부를 입증할 수 있습니다.

어떤 생각의 형태를 결정하기 위한 생각과 방법은 접속사 “and”, “or”, “if..., then...”, 부정 “it is not true that”(“not ”), 단어 “some”, “all”(“none”), 연결어 “essence”(“is”를 의미) 등 이 판단의 언어적 표현에 포함된 비논리적 용어의 의미를 추상화함으로써 판단의 논리적 형태를 식별할 수 있다. 즉, 형식논리는 사고의 구조를 표현한다. 논리적 형식은 항상 유익하고 의미가 있습니다.

생각은 형태에 따라 개념, 추론, 판단이라는 클래스로 나뉩니다. 개념은 사물의 기본적인 특성을 바탕으로 사물을 일반화하는 사고이다. 판단이란 사물의 존재(부재)를 주장하는 사상이다. 추론은 다른 지식으로부터 판단으로 표현되는 지식 획득을 반영하는 사고입니다.