논리적 진실

Logical truth

논리적 진실은 논리학의 가장 기본적인 개념 중 하나이다.대체로 논리적인 진실은 그 구성 명제의 진실과 거짓에 관계없이 진실인 진술이다.즉, 논리적인 진실은 진실일 뿐만 아니라 논리적인 구성 요소(논리적인 상수 제외)의 모든 해석에서도 진실인 진술이다.따라서 "만약 p, 그렇다면 p"와 같은 논리적 진실은 반복으로 간주될 수 있다.논리적 진실은 분석적으로 참인 진술의 가장 단순한 경우라고 생각됩니다.모든 철학적 논리는 논리적 [1]결과뿐만 아니라 논리적 진리의 본질에 대한 설명을 제공하는 것으로 생각될 수 있다.

논리적인 진실은 일반적으로 반드시 진실이라고 여겨진다.그것은 그들이 사실이 아닐 수 있는 어떠한 상황도 발생할 수 없는 것이라고 말한다.논리적인 진술이 반드시 참이라는 관점은 때때로 모든 가능한 세계에서 논리적인 진실이 참이라고 말하는 것과 동등하게 취급된다.그러나 어떤 진술이 반드시 사실인지에 대한 의문은 여전히 논쟁의 대상이다.

논리적 진실, 분석적 진실 및 필요한 진실을 동등한 것으로 취급하면 사실과 대조될 수 있습니다(우발적 주장 또는 합성 주장이라고도 함).우연한 진실은 이 세계에서는 사실이지만, 그렇지 않으면 밝혀질 수도 있다."만약 p와 q, 그렇다면 p"와 "모든 기혼자는 결혼"과 같은 논리적으로 참된 명제는 논리적인 진리이다. 왜냐하면 그것들은 세상의 어떤 사실도 때문이 아니라 그들의 내적인 구조이기 때문이다.

합리주의 철학자들은 논리적 진리에 대한 우리의 지식을 경험주의적 근거에서 설명하는 것은 불가능하다고 생각하기 때문에 논리적 진리의 존재는 경험주의로 설명될 수 없다고 제안했다.경험론자들은 일반적으로 논리적인 진실이 분석적이고 따라서 세계를 묘사하는 것을 선호하지 않는다고 주장함으로써 이 반대에 대응한다.후자의 관점은 20세기 초에 논리실증주의자들에 의해 두드러지게 옹호되었다.

논리적 진실과 분석적 진실

논리적 진실은 분석적 진술이며, 사실에 관한 어떠한 정보도 포함하지 않는다.논리적 진실 외에도, "총각은 결혼하지 않는다"로 대표되는 두 번째 분석 진술이 있습니다.이러한 진술의 특징은 동의어 salva veritate에 동의어를 대입함으로써 논리적 진리로 바뀔 수 있다는 것이다."no no single is warried"는 동의어인 "bachelor"에 "unmad man"을 대체함으로써 "no single man is warried"로 바뀔 수 있다.

철학자 W. V. O. Quine은 그의 에세이 "경험주의의 두 교리"에서 분석과 합성 진술의 구별에 의문을 제기했습니다.분석성의 개념 자체가 명확화가 필요하다는 것을 그에게 지적하게 한 것은 이 두 번째 종류의 분석 진술이었다. 왜냐하면 그것은 명확화가 필요한 동의어의 개념에 달려 있는 것처럼 보이기 때문이다.그의 결론에서 Quine은 논리적인 진실이 필요한 진실이라는 것을 거부한다.대신에 그는 논리적인 진실을 포함한 어떤 진술의 진실-가치도 바꿀 수 있다고 가정하고, 자신의 완전한 이론에서 다른 모든 진술의 진실-가치들을 재평가한다.

진실값과 동질성

동일한 진술에 대한 다른 해석을 고려하는 것은 진실 가치의 개념으로 이어진다.진실 값에 대한 가장 간단한 접근법은 진술이 어떤 경우에는 "참"일 수도 있고 다른 경우에는 "거짓"일 수도 있다는 것을 의미합니다.어떤 의미에서 동어론이란 용어의 가능한 해석 하에서 참인 것으로 판명된 공식이나 명제(문맥에 따라 평가 또는 할당이라고도 함)를 말한다.이것은 논리적 진실의 동의어이다.

그러나 tautology라는 용어는 더 구체적으로 진실함수 tautology라고 불릴 수 있는 것을 가리키는 데에도 일반적으로 사용된다.동사상 또는 논리적 진실은 일반적으로 포함된 논리적 용어(: "every", "some", "is")에 의해서만 참인 반면, 진실함수적 동사상에는 논리적 연결어(예: "또는", "" 및 "nor")인 논리적 용어(예: "또는", "또는"도)에 의해 참이다.모든 논리적 진실이 그런 종류의 반복론은 아니다.

논리적 진실과 논리적 상수

논리 접속수량자포함한 논리 상수는 모두 개념적으로 논리적 진리로 환원될 수 있습니다.예를 들어 두 이상의 문장이 논리적으로 false인 경우에만 논리적으로 호환되지 않습니다.하나의 문장이 다른 문장의 부정과 논리적으로 양립할 수 없을 때 다른 문장이 논리적으로 암시됩니다.스테이트먼트는 논리적으로 false일 경우에만 논리적으로 True입니다.반대되는 진술은 서로 모순되어야 한다.이와 같이 모든 논리적 연결은 논리적 진실의 보존이라는 관점에서 표현될 수 있습니다.문장의 논리적 형식은 의미적 또는 구문적 구조와 논리적 상수의 배치에 의해 결정됩니다.논리 상수는 문장이 의미를 제한하는 언어와 결합될 때 논리적인 진실인지 여부를 판단합니다.그러므로 언어와 상관없이 모든 논리적 상수를 어떻게 구별해야 할지가 결정되기 전까지는 진술이나 [2]주장의 완전한 진실을 아는 것은 불가능하다.

논리적 진실과 추론 규칙

논리적 진실의 개념은 [3]추론 규칙의 개념과 밀접하게 연관되어 있다.

논리적 진실과 논리적 실증주의

논리적 실증주의는 과학의 추론 과정을 순수한 논리로 축소하려는 20세기 초의 운동이었다.무엇보다도, 논리 실증론자들은 경험적으로 검증할 수 없는 어떤 명제는 진실도 거짓도 아닌 허튼 소리라고 주장했다.이러한 움직임은 과학이 실증론자들이 [citation needed]설명한 방식으로 작동하지 않는다는 인식이 확산되면서 그들의 접근법에 대한 다양한 문제들로 인해 사라졌습니다.또 다른 문제는 운동에서 가장 선호하는 슬로건 중 하나인 "경험적으로 검증할 수 없는 명제는 말도 안 된다"는 것 자체가 경험적으로 검증할 수 없는 것이었고, 따라서 그 자체로 보면 말도 안 되는 것이었다.

비클래식 로직

비고전논리는 명제논리술어논리와 같은 표준논리시스템과는 상당히 다른 형식시스템에 붙여진 이름이다.이 방법에는 확장, 편차, 변형을 포함한 여러 가지 방법이 있습니다.이러한 출발의 목적은 논리적 결과와 논리적 [4]진실의 다른 모델을 구축하는 것을 가능하게 하는 것입니다.

「 」를 참조해 주세요.

레퍼런스

  1. ^ 퀴네, 윌러드오르만, 논리철학
  2. ^ MacFarlane, J. (May 16, 2005). "Logical Constants".
  3. ^ 알프레드 에이어, 언어, 진실, 논리
  4. ^ Theodore Sider, (2010).철학을 위한 논리

외부 링크