논리 심판. 심판, 판결의 종류는 무엇입니까

판단은이다 , 생각의 형태로 긍정 또는 객체의 존재에 대해 아무것도 거부, 그들과 그들의 특성 사이의 링크뿐만 아니라 객체 사이의 관계.

문장의 예 :있는 그대로 ""볼가는 카스피해로 흘러 " 푸쉬킨은시 "청동 기병", "시베리아 호랑이 레드 북 (Red Book)에 나와있다"등을 썼다

판정의 구조

주제, 조건 및 인대 정량 : 심판은 다음과 같은 요소가 포함되어 있습니다.

1. 주제 (북 subjektum -.«근본적인») - 그 판단에 명시된 바와 같이, 그 대상 («S»).
2. 술어 (라틴 praedicatum -.«말했다 ") - 객체 태그를 반영, 심판의 대상이 말했다 무엇 ("P ").
3. 번들 - 대상 («S»)과 조건 ( "P") 사이의 비율. 조건부로 표시 속성의 대상의 존재 / 부재를 결정한다. 아마, "물질"을 "이" "있다", 그리고 다른 사람을 의미하고, "대시"또는 단어 "a"는 ( "아니다")로 표시됩니다.
4. 정량 (정량 워드)를 판정하는 피사체의 개념의 범위를 정의한다. 그것은 피사체의 앞에 서 있지만, 그것은 또한 심판에 존재하지 않을 수 있습니다. 예 : "모든", "다", "몇 가지", "아니오", "아니오"등과 같은 단어로 표시.

참과 거짓 진술

어떤 표시, 속성 및 사실 판단 거부 승인 항목 /의 관계가있을 경우 심판이 경우에 해당됩니다. 예를 들면 : "모든 제비 - 새", "구 2 개 이상의"등등 ..

심판에 포함 된 문은 사실이 아니다, 우리는 올바른 추론의 근거 및 기타 권리의 판단 "무거운 목화의 kg보다 철의 킬로"거짓 명제 '태양이 지구 주위에 회귀 "로되어 다루고있다 ..

그러나, 판단 결과가 참 또는 거짓 일 수있는 두 개의 논리 값에 더하여, 또한 다차원 로직있다. 조항에 따르면, 판단은 여전히 불확실 할 수있다. 특히이 개별 판단의 미래를 우려, ( "해석에"아리스토텔레스) "내일 /이 해전을 발생하지 않습니다 발생". 우리가 진정한 제안이라고 가정하면, 바다 전투 내일 일어날 수 없습니다. 따라서, 일어날 수 있도록하는 것이 필요하다. 또는 그 반대는 반대 : 현재의 순간의 판단이 거짓 주장, 우리는 따라서 미래의의 필요한 불가능 할 해전을.

문장의 종류에 대한 판단

알려진 바와 같이, 문장의 종류는 세 가지 종류 선언 : 문장 교반 및 질문은. 예를 들어, 문장 서술의 유형을 말한다 "나는 멋진 순간 기억". 이 같은 판단도 내러티브 것을 제안하는 것이 좋습니다. 그것은 특정 이벤트에 따라 특정 정보가 포함되어 있습니다.

차례로, 의문문이 질문에 대한 답을 얻을이 포함되어 있습니다 "뭐, 나를 위해 미래 보류를 않습니다"동시에 것은 아무것도 말하지 않는다 및 부정하지 않습니다. 따라서, 이러한 판단이 잘못 질문입니다 주장. 질문이 진실 / 거짓에 근거하여 차별화 할 수 없기 때문에 의문문은 원칙적으로 어떤 판단을 포함하지 않습니다.

문장의 인센티브 유형은 금지 요청, 행동에 어떤 인센티브가있는 경우에 형성된다 ". 일어나, O 예언자하고, VID, 그리고에 참석" 판단과 관련하여, 일부 연구자의 의견으로는, 그들은 이러한 유형의 제안에 포함되지 않습니다. 다른 사람은 모달 판단의 다양한 믿습니다.

품질 판단

화질의 측면에서 판단 할 수도 있고 (S P는 아님) (S는 P이다) 긍정적 및 부정적. 특정 속성 (-Wa)에 부착 될 술어 통해 긍정 판정의 경우,. 예를 들면 다음과 같습니다. "레오나르도 다빈치 - 이탈리아 화가, 건축가, 조각가, 과학자, 자연주의 발명가이자 작가, 르네상스 예술의 가장 큰 대표"

부정적인 판단에서, 다른 한편으로는, 속성은 대상에서 멀리 가져온 것입니다. "제임스 비카리 25 프레임의 이론은 실험적 확인이 없습니다"

양적 특성

논리 심판이 (그들 중 일부) 개인, (이 클래스의 모든 객체에 관한) 일반 및 유닛 일 수있다 (주제에 대해 이야기 할 때, 단 하나의 존재). 예를 들어,은 (는) 고양이 (심판의 대상)의 모든 구성원에 영향을주기 때문에 "밤에 모든 고양이는 회색"와 같은 제안은, 일반 모양을 참조 할 것을 주장 할 수있다. 의 승인 "일부 뱀은 독이 아니다"- 개인 판단의 예. 우리는 하나의 형태로 기존의 약 하나의 특정 강을 이야기하고 있기 때문에 차례로, 판단 "침착 날씨에 멋진 드니는"단위입니다.

간단하고 복잡한 판단

구조에 따라서, 판정은 단순 또는 복합의 형태로 구성 될 수있다. - 지식의 원천 "«도서 : 구조 간단 판단은 두 개의 상호 연결된 개념 (SP)가 포함되어 있습니다. 하나 개의 개념과 판단도 있습니다 - 두 번째는 의미 때 : "그것은 어두운»(P)을 얻고 있었다.

복잡한 형태는 몇 가지 간단한 판단을 결합하여 형성된다.

간단한 판단의 분류

관계, 존재, 모달로 한정, 심판 : 논리의 간단한 판단은 다음과 같은 형태 일 수있다.

특정 속성 (특성)에있는 피사체의 승인 / 거부에 대한 전송 속성 (등록 정보 - 판단) 활동. 이러한 판단은 범주 형태이며, 의문을 제기하지 "포유 동물의 신경계는 뇌 구성되어 뇌, 척수 나가는 신경 경로."

오브젝트 간의 특정 관계 대하여 판단한다. 그들은, "두 개의 새로운보다 더 오랜 친구":. 예를 들어 등 시공간 상황, 원인,있을 수 있습니다 "22 배 수소 가벼운 이산화탄소를."

실존 적 판단 - 주제 (소재 및 이상 모두)의 존재 / 비 존재의 주장 : "자신의 나라의 선지자가 없다"는, "달은 지구의 위성이다."

모달 제안 - 특정 모달 연산자의 존재를 포함 승인의 형태, (나쁜 / 좋은, 내가 믿는, 그리고 다른 사람, 그것이 금지, / 알 수없는 알려진 증명했다해야합니다.). 예를 들면 :

• (- 가능성, 뭔가의 필요성 alethic 양상을) "러시아는 교육 개혁을 실시해야합니다."
• (- 사회적 행위의 도덕적 규범 deontic 양상) "모든 사람은 사람의 안전에 대한 권리를 가진다."
• (- 재료 및 도덕적 가치 관련된 양상 axiologic) "상태 속성의 방치는 손실에 이르게".
• (- 지식의 신뢰성 인식 론적 양상) "우리는 당신의 결백을 믿는다".

복잡한 판단과 논리 연산의 종류

이미 언급 한 바와 같이, 복잡한 판단은 몇 가지 간단한 구성되어 있습니다. 그들 사이의 논리적 연결로 등의 방법이 있습니다 :

• 관련하여 (a ʌ의 B - 연결 판단). 심판-conjuncts은 "및", "권리와 다른 사람의 권리와 자유를 침해하지 않는다 인간과 시민의 자유의 구현."한 무리가
• 논리합 (AVB - 판단 분할). 결합 "또는"- 판정 - 절의 구성 요소는 바인더로서 사용한다. 예를 들어 "원고는 증가 또는 특징의 크기를 줄일 수있는 권한을 갖는다."
• 함축 (A → B의 - 효과 판정). 게시물이 구조 복잡 판단에 할당 결과적 경우, 이러한 판단이 함축적에 관한 주장 할 수있다. 이러한 "면 ... 다음"로 연결의 형태에서 사용하는 바인더. 예를 들어 : "전류를 그리워하는 도체를 통해하면 와이어가 가열", "당신이 행복하기를 원하십니까 - 행복".
• 동치 (a ≡의 B - 동일 판정). 그것은 a와 b의 값이 (모두 true 또는 모두 거짓) 동일한 경우에 발생한다 : "사람이 비행 새처럼, 행복이 만들어집니다."
• 부정 (¬a, A - 판단 - 반전). 각 소스는 원본을 거부 문 복합 문으로 연결되어 있습니다. 무리를 "없음"사용하여. 같은 원래의 문은 다음과 경우에 따라서, "황소는 붉은 빛에 반응,"(A) - 거부 같은 소리 것입니다 : (¬A를) "황소는 붉은 빛에 응답하지 않습니다".