논리 상수

논리학에서 언어 $(\$의 논리상수는 L$(\$의 모든 해석에서 동일한 의미적 값을 갖는 기호로 논리상수의 두 가지 중요한 유형은 논리접속어와 수량사입니다.등식 술어(일반적으로 '='로 표기)는 많은 논리 시스템에서 논리 상수로 취급됩니다.

논리철학의 기본적인 질문 중 하나는 "논리상수란 무엇인가?즉,^[2] 어떤 상수의 특별한 특징이 그것들을 본질적으로 논리적으로 만드는가?^[1]

일반적으로 논리 상수로 취급되는 기호는 다음과 같습니다.

기호.	영어의 의미
T	"진짜"
F	"false"
¬	"없음"
∧	"그리고"
∨	"또는"
→	"만약" "그렇다면"
∀	'모두에게'
∃	"존재한다", "일부에게는"
=	"실패"
$\displaystyle \Box }$	'필요하게'
$\displaystyle \Diamond }$	"실패"

이러한 논리 상수의 대부분은 대체 기호(예를 들어 논리 및 를 나타내기 위해 """ 대신 "&" 기호를 사용하는 것)로 표시되기도 한다.

논리 상수를 정의하는 것은 Gottlob Frege와 Bertrand Russell의 연구의 주요 부분입니다.러셀은 수학 원리 제2판 (1937)의 서문에서 논리 상수에 대한 주제로 돌아갔습니다: "만약 우리가 논리 상수에 대해 어떤 확실한 것을 말한다면, [그것들은] 언어가 ^[3]말하는 것의 일부가 아니라 언어의 일부로 다루어져야 합니다."이 책의 본문은 관계 R, 그 변환 및 보완을 원시 개념으로 사용하며, 또한 aRb 형식의 논리 상수로도 받아들여진다.

「 」를 참조해 주세요.

• 논리가 아닌 기호
• 논리값
• 논리 접속

레퍼런스

외부 링크

• 스탠포드 철학 백과사전 논리상수 엔트리