논리의 개요

논리는 이성을 사용하는 공식 과학이며 철학과 수학의 한 분야로 간주되며 컴퓨터 과학은 다소 덜하다.논리는 공식 추론 체계 연구와 자연어 논쟁 연구를 통해 진술과 주장의 구조를 조사하고 분류한다.그러므로 논리학의 범위는 오류와 역설의 연구와 같은 핵심 주제에서 확률, 올바른 추론, 인과관계를 포함하는 주장과 같은 추론의 전문적 분석까지 매우 클 수 있다.논리학의 목적 중 하나는 올바른(또는 유효한) 추론과 잘못된(또는 잘못된) 추론을 식별하는 것입니다.논리학자들은 논쟁의 평가 기준을 연구한다.

논리의 기초

논리철학

철학 논리

비공식적 논리와 비판적 사고

비공식 논리 비판적 사고 논거론

연역적 추론

추론 이론

오류

오류(목록) – 잘못된 추론으로 오해 또는 추정을 초래합니다.우연 또는 설계에 의해, 오류는 청취자 또는 대화자의 감정적 트리거(감정에 호소)를 이용하거나 사람들 사이의 사회적 관계(예: 권위자의 주장)를 이용할 수 있습니다.잘못된 주장은 논리적인 주장을 모호하게 하는 수사적 패턴을 사용하여 종종 구조화된다.잘못은 장점과 상관없이 논쟁에 이기기 위해 사용될 수 있다.오류에는 수십 가지 유형이 있습니다.

형식 논리

형식 논리 – 수리 논리, 기호 논리 및 형식 논리는 완전히 동의어는 아니더라도 대체로 동일합니다.이 분야의 본질적인 특징은 논리적인 타당성이 연구되고 있는 아이디어를 표현하기 위해 형식적인 언어를 사용하는 것이다.
- 수리논리 토픽 목록

기호 및 기호 문자열

논리 기호

논리 접속

기호열

제안의 종류

제안

추론 규칙

추론 규칙(목록)

형식 이론

메타 언어의 표현

메타언어

명제논리 및 부울논리

명제논리

부울 논리

논리 및 관계 술어

술어 논리

관계

수학적 관계

수리논리

집합론

이론(리스트) 설정

메탈로직

Metalogic – 논리의 메타토리에 대한 연구.

증명 이론

증명 이론 – 연역적 장치의 연구.

모델 이론

모델 이론 – 공식 시스템의 해석에 대한 연구입니다.

계산가능성 이론

계산 가능성 이론 – 1930년대에 계산 가능 함수와 튜링 도에 대한 연구로 시작된 수리 논리학의 한 분야.이 분야는 일반화된 계산 가능성과 정의 가능성의 연구를 포함하도록 성장했다.재귀이론에 의해 다루어지는 기본적인 질문은 "자연수에서 그 자신으로 가는 함수가 계산 가능하다는 것은 무엇을 의미합니까?"와 "계산 불가능한 함수는 어떻게 계산 불가능한 수준에 따라 계층으로 분류될 수 있습니까?"이다.이러한 질문에 대한 답변은 여전히 활발하게 연구되고 있는 풍부한 이론으로 이어졌다.

자연어의 의미론

형식적 의미론(자연어)

정식 시스템

개념

고전 논리학

고전 로직 속성:
- 배제의 법칙
- 이중 부정 제거
- 부정합의 법칙
- 폭발 원리
- 수반의 단조성
- 수반의 등가성
- 결합의 정류성
- De Morgan의 이중성– 모든 논리 연산자가 서로 이중화됨
용어 논리
고전 논리학의 일반 개념

모달 논리

비고전적 논리

논리의 개념

수리논리

논리의 역사

논리에 관한 문헌

일지

책들

논리 조직

기호논리협회

논리학자

「」를 참조해 주세요.

외부 링크

논리적 오류 분류법
forall x: 형식 논리 입문, P.D.에 의한. Magnus, 센텐셜 논리 및 정량 논리 포함
영어에서 논리 표기로 번역하기 위한 번역 힌트(Peter Suber)
연산 및 논리: 공식 수학, 논리학, 언어학 및 방법론 사상의 역사.사상사전에 수록되어 있습니다.
논리 테스트 논리 스킬 테스트
논리 독학: 워크북 (원래 온라인 논리 교육용으로 준비)

v t 논리 접속
tautology / true $©$ (\ $style \top$ )
대체 거부(낸드 게이트) $↑$ {\ $displaystyle \uparrow}$ 반대 의미 ${\displaystyle\왼쪽 화살표}$ 의미(IMPLY 게이트) $→$ {\ $displaystyle\right$ 화살표 $}$ 분리(OR 게이트) $†$ {\ $displaystyle \lor}$
부정(NOT 게이트) $†$ {\ $displaystyle \neg}$ Exclusive 또는 (XOR 게이트) ${\$ \ $displaystyle$ \ not \ $left$ right arrow $}$ 바이콘디셔널(XNOR 게이트) $↔$ {\ $displaystyle\left$ arrow $}$ 문(디지털 버퍼)
공동 거부(NOR 게이트) $↓$ {\ $displaystyle\down$ 화살표 $}$ 비복제(NIMPLY 게이트) $\nrightarrow$ † {\ $displaystyle \nrightarrow}$ 비복제 변환 ${\displaystyle\n왼쪽 화살표}$ 접속사(AND 게이트) $»$ {\ $displaystyle\land}$
모순/거짓 $»$ { $displaystyle \bot}$
철학 포털

Search

논리의 개요

논리의 기초

철학 논리

비공식적 논리와 비판적 사고

연역적 추론

추론 이론

오류

형식 논리

기호 및 기호 문자열

논리 기호

논리 접속

기호열

제안의 종류

추론 규칙

형식 이론

메타 언어의 표현

명제논리 및 부울논리

명제논리

부울 논리

논리 및 관계 술어

술어 논리

관계

수리논리

집합론

메탈로직

증명 이론

모델 이론

계산가능성 이론

자연어의 의미론

고전 논리학

모달 논리

비고전적 논리

논리의 개념

논리의 역사

논리에 관한 문헌

일지

책들

논리 조직

논리학자

「 」를 참조해 주세요.

외부 링크

「」를 참조해 주세요.