Модальность суждений

Мод-ть есть явно или неявно представл-е сужд-е, доп. информ-я о логич. и фактич. статусе сужд-я об оценочных, врем., регулят-х и др. его характ-х.

M(S-P); M(pWq); M(pq); M(pVq); M(pq). Все металлы(S) явл-ся(связка) электропроводниками.(P)

Всякая мод-ть предст. всегда 3-мя мод. харак-ми: 1) сильн. положит-й, 2) сильной отриц., 3) слабой.

Квадрат мод-ти

Mp-сильн. полож., Mp- сильн. отриц., Mp, Mp- слабая харак-ка.

Алетич. мод-ть есть представ-я в сужд-ии доп. информ-я о логич. или фактич. статусе сужд-я. Все сужд-я м. подразд-тьна логич. истин-е, логич. ложные; фактич. истин-е, фактич. ложные ( класс логич. детерминир-х сужд-й).

pp – всегда истин., (pp) – всегда ложн. Все остальн. сужд-я относ-ся к фактич. детерминир-м сужд-м.

 - оператор необх.  - оператор возм. p-p – сильн. полож. и сильн. отрицат. харак-ки.

Опер. необх., случ. и возм-ть выраж-ся друг через друга.

pp; pp; p^pp^p

Эпистемич. мод-ть – содерж-ся в сужд-ии доп. информ-я о ф. принятия сужд-я и степ. его обоснов-ти.

Вр-сужд. веры; Кр-(когнитивное) сужд-е знаний.

След. операторы: Vp-доказано, Fp- опроверг., Pp- проблем. вероятно.

FpVp; PpVp^Fp; 0Pp1

Деонтич. мод-ть – это представл-е в сужд-ии доп. информ-я, имеющая ф. совета, предписания, правила повед-я, побужд-х чел-ка к к.-либо действиям.

Od – обязан, Fd-запрещено, Pd-разрешено.

OdFd; FdOd; PdOd^Fd

люб. прав. сис-ма д.б. деонтич. непротиворечивой, т.е. в кот-й не срдерж-ся нормы, разруш-е эту сис-му.

Od^Od; Fd^Fd

Основ. логич. законы:

З. тожд-ва: в проц. рассужд-я наши пон-я и сужд-я д. остав-ся тожд-ми самим себе. Пон-я д. сохран. свое содерж-е и об. в проц. рассужд-я, а сужд-я д. сохран. кач. и колич. харак-ки.

Пр.: Все уч-ки прест. деяния были в сговоре. Больш-во (не все) уч-в прест. деяния были в сговоре. (неправ.)

Человек осваивает космос (человеч-во в целом). Иванов-человек (конкрет. чел-к)

(неправ.) (p^p)

З. непротивор-я: не мог. быть одноврем. истин-ми 2 несовмест-х сужд-я об одном и том же предм., взятом в одно и то же время, в одном о том же отнош-ии, по крайней мере одно из необх. ложно.

Иванов явл-ся хор. спортсменом. Иваонв не явл-ся хор. спортсменом.

З. дейст. в отнош-ии всех несовмест. по истин-ти сужд-й, т.е. он действ. в отнош-ии сужд-й А,Е контрар-х, контрадик-х, единич. сужд-й (на квадр. не модел-ся).

З. исключ-го 3-го: из 2-х контрадикт-х сужд-й одно истин., 2-е ложно, 3-го не дано.

рVp (Быть или не быть.) Действ-т в отнош-ии контрадикт-х сужд-й, единич. утвердит.\отрицат-х сужд-й.

З. достаточ. основ-я: истин-ть кажд. сужд-я д. б. доказ-й, обоснован-й.

Доказ-во м.б. непосредствен-м, опосредован-м. Непосред. доказ-во-доказ-во с ссылкой на факты. Док-ть истин-ть сужд-й м. с поможщью других сужд-й, истин-ть кот-х доказ. до этого сужд-я и независима от него. Если сужд-е не док-но, оно не счит-ся научным.

Умозаключения.

Умозакл-е – есть ф. мысли, в кот-й из одного или неск. сужд-й, назыв-х посылкой или посылками вывод-ся новое сужд-е, назыв-е закл-м или следствием. Все студенты учащ-ся(посылка)нек. учащ-ся студ-ты.

Все студ-ты учащиеся. Иванов-студ-т (из 2-х посылок) Иванов-учащийся.

Все умозакл-я дел-ся на непосред-е(из 1 пос-ки), опосредов-е (из 2-х и более пос-к).

Демонстрат-е умозакл-я – заключ-е достоверно, т.е. след-т с необх-ю.

Недемонстрат-е умозакл-я – закл-е явл-ся вероятным, т.е. не следует с необх-ю. Все студ. –уч. Иванов – уч.  Вероятно Иванов студ-т.

По направ-ти логич. след-я все умозакл-я дел-ся на: 1) дедуктивные – от общ. к част., 2) индуктив-е – от частн. к общему, 3) по аналогии-от част. в част. астн. уктив-е - от 000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000