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

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

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 (Быть или не быть.) Действ-т в отнош-ии контрадикт-х сужд-й, единич. утвердит.\отрицат-х сужд-й.

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

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