로직 예제

Modus ponens논리에서 다시 하의 규칙에 대 한 두 가지 기능을 설명 하는 데 사용할 수 있습니다. 첫 번째 기능은 주제 중립성입니다. 네 가지 예에서 알 수 있듯이 modus ponens는 다양한 주제에 대한 추론에 사용할 수 있습니다. 이것은 논리에서 추론의 모든 원칙의 사실이다. 생물학의 법칙은 살아있는 생물에 만 사실 일 수 있으며, 경제학의 법칙은 금융 거래에서 enagage 에이전트의 컬렉션에 만 적용 할 수 있습니다. 그러나 논리의 원리는 생물학과 경제학보다 더 일반적인 보편적 인 원칙입니다. 이것은 부분적으로 두 매우 유명한 논리학자에 의해 논리의 다음과 같은 정의에 내포된 것입니다 : „논리자체를 처리; 우리가 해야 할 일은 그것이 어떻게 되는지 보고 보는 것뿐입니다.“ (루드비히 비트겐슈타인) 프리드리히 니체는 논리의 일반적인 기초의 거부의 강력한 예를 제공합니다 : 이상화의 그의 급진적 인 거부는 „로 진리를 거부그를 주도 … 은유, 메토니즘, 인류화의 이동 군대 – 한마디로 … 감각적인 힘없이 마모된 은유; 자신의 사진을 잃어 버렸고 지금은 더 이상 동전으로 금속으로만 중요 동전.“ [51] 진리를 거부한 것은 추론이나 논리에 대한 생각을 완전히 거부하는 것이 아니라 오히려 „논리가 인간의 머리 속에 존재하게 된 것은 비논리적으로, 그 영역은 원래 엄청나게 엄청났어야 했다. 우리와는 다른 방식으로 추론을 한 수많은 존재들이 멸망했다“고 말했다. [52] 따라서 논리적 추론은 인간의 생존을위한 도구로 사용하지만, 그 존재는 진리의 존재를 지원하지 않으며, 악기 를 넘어 현실을 가지고 있다는 생각이있다 : „논리, 너무, 또한 에 해당하지 않는 가정에 달려있다 현실 세계에서 ything“. [53] 이러한 예제에서 볼 수 있듯이 논리를 사용하여 문제를 해결하고 결론을 도출할 수 있습니다.

때로는 이러한 결론이 올바른 결론이며 때로는 부정확합니다. 당신이 추론을 사용하는 경우, 유도 추론 수 또는 올바른 결과를 제공하지 않을 수 있습니다 동안 당신은 올바른 논리적 인수에 도착. 후기 중세 시대 유럽에서는 아리스토텔레스의 사상이 기독교 신앙과 호환된다는 것을 보여주기 위해 많은 노력을 기울였다. 중세 시대에 논리는 철학적 논쟁의 중요한 논리적 분석에 종사하는 철학자의 주요 초점이되었으며, 종종 학문주의의 방법론의 변형을 사용했습니다. 1323년, 오컴의 영향력 있는 섬마 로직과의 윌리엄이 발매되었다. 18세기에 들어서자, 홀베르크의 풍자적인 연극 에라스무스 몬타누스(Erasmus Montanus)에 묘사된 바와 같이, 논쟁에 대한 구조화된 접근방식은 퇴화되고 호의에서 떨어졌다. 중국의 논리 철학자 공순롱(기원전 325~250년)은 역설을 „둘 다 둘이 되기 때문에 둘이 될 수 없다“는 역설을 제시했다. [24] 중국에서는 논리에 대한 학문적 조사의 전통이 한페이지의 법리주의 철학에 따라 진나라에 의해 억압되었다. 논리적 추론 (또는 짧은 단지 „논리“)는 효과적인 사고의 기본 기술 중 하나입니다.

논리 프로그래밍에서 프로그램은 공리와 규칙 의 집합으로 구성됩니다. 프롤로그와 같은 논리 프로그래밍 시스템은 쿼리에 응답하기 위해 공리 및 규칙의 결과를 계산합니다. 이 정의에 대해 주의해야 할 한 가지는 논리가 올바른 추론의 원리와 관련이 있다는 것입니다. 추론의 올바른 원리를 공부하는 것은 추론의 심리학을 공부하는 것과 동일하지 않습니다.