형식 논리와 그 기본 법칙

논리 - 방법, 법률과 사고 형태의 과학. 형식 논리는 오랫동안 고대 그리스에 의해 개발 된 우리의 시대 전에. 그것은 의사 결정과 법률은 공개 회의에서 채택 된 민주 사회를 구축하기 위해 처음으로 그리스를했다. 그들은 수행의 원시적 과학 만들어 시험을. 귀족 청년의 마음에 드는 취미는 철학자와 토론을했다. 따라서 이론적 과학의 발전의 보편적 인 사랑. 그리스는 과학적인 증거 방법에 대한 가르침을했다.

아리스토텔레스에 의해 개발 논리의 기초의 첫 번째 코스. 그는 모든 인수가 일반 법률에 근거하고 있다는 사실에주의를 끌었다의 위반이 잘못된 결론에 이르게. 공식 아리스토텔레스의 논리는 그러한 법률에 근거했다 :

1. 심판이 그들을 만들기 위해 무엇을, 긍정이면 결론은 음수가 될 수 없습니다.
2. 문 중 하나는 부정적이며, 일반적인 결론은 항상 부정적합니다.

따라서 그것은 그 형식 논리를 표시 - 지식이다 효과적으로 원칙과 법, 자신의 건축 (일반 고려 사항의 각 부분을 연결하는 방법)의 형태에 관한 추론의 적절한 구성.

모든 현상과 객체의 관계를 가지고있다. 링크 객관적 또는 주관적, 일반 또는 개인, 필요하거나 사고가 될 수 있습니다. 이 채권의 가장 중요한 법률이라고합니다. 그들은 모두 그러므로, 서로 모순 수 없다, 같은 현실을 반영한다. 자연의 법칙과 관련된 인간의 생각의 모든 법.

생각의 법은 생각 사이의 안정적인 내부 연결합니다. 사람이 자신의 생각을 묶을 수없는 경우, 그는 올바른 결론에 도달하지 않았고 다른 사람에게 그것을 가지고 할 수 없습니다.

형식 논리의 기본 법칙 - 일관성, 정체성, 제외 중간의 법률 충분한 이유의 법칙. 라이프니츠 - 처음 세의 개발은 아리스토텔레스와 플라톤, 마지막에 속한다. 이 법 (특히 처음 세)의 위반은 불가능 거짓에서 진실을 구별하고, 모순에 이르게. 마지막 법 적은 규정보다 제한적으로 사용.

논리의 비 핵심 법률 - 이러한 귀납적 추론의 가능성을 증가, 삼단 논법의 진정한 결론을 얻기 운영 제안과 개념의 규칙이며, 결론은 문자를 traduktivnogo.

일관성의 법칙 사고가 논란이되지 않을해야하지만, 어떤 일의 질을 반영해야 함을 의미한다.

제외 된 가운데 법 하지 두 모순하지만 사실 문 사이 추구하는 제 3이며, 그 중 하나의 진리를 인식 할 규정하고있다. 모순의 구성 요소 중 하나 - 확실한 사실.

정체성 형식 논리의 법은 정확하게 정의와 의미를 이해해야하는 기간에 따라 즉, 정밀 생각의 요구 사항으로 해석합니다. 개념과 판단의 핵심은 마음대로 왜곡 수 없습니다.

충분한 이유의 법은 필요한 진정한 생각이 상대방의 진정한 생각을 정당화하기 위해, 거짓 아이디어가 정당화 될 수 없다는 것입니다. 판단의 개발에 인과 관계를 반영해야한다. 단이 경우에는 그 신뢰성을 입증 할 수 있습니다.

"...이라면 ..."논리 사상 단어를 포함 논리 용어로 표현 된 모든 사고의 형태를 결정하는 방법의 형태 "및", "또는"거부 "에 해당하지 않은 것"( "아니오") 단어 "일부", "모든"( "아니오"), "본질"의 무리 (의미 내에서의 "입니다") 등 판정의 논리 형태는이 판정의 언어 표현에 포함 비논리적의 용어의 의미는 산만 할 수 식별. 즉, 형식 논리는 생각의 구조를 표현한다. 논리적 형태는 항상 유익하고 의미가있다.

개념, 추론 및 판단 : 생각의 자신의 형태에 따라서는 클래스로 나누어집니다. 개념 - 자신의 기본 특성에 기초하여 객체를 일반화 아이디어. 심판 - 생각, 상황의 존재 (부재)을 주장. 추론 - 지식의 습득을 반영 생각 다른 기술의 판단에 나타냈다.