Види еністемічих логік. Логіка знання та логіка переконання

За об’єктивним й суб’єктивним знанням розрізняють два головні напрями епістемічпої пропозиційної логіки: логіку знання та логіку переконання. В залежності від того, яка оцінка береться за вихідну - «доведено» чи «істинно», може бути два варіати логіки знання.

Система логіки, де вихідним є термін «доведено», має такі за­кони:

1. «Якщо висловлювання доведено, тоді воно істинне'» (оскільки довести можна лише істину). Наприклад, якщо висовлювання «Сума внутрішніх кутів трикутника дорівнює 180^а» доведено, тоді воно істинне.

2. «Логічний наслідок доведеного є також доведеним». Наприклад, якщо положення «Будь-яка планета є космічним об’єктом» доведено, тоді і його наслідок «Земля є космічним об ’єктом» також є доведеним.

3. «Якщо дещо доведено, тоді доведено, що воно доведено». Наприклад, якщо доведено, що висловлювання «Земля має форму кулі», тоді доведено, що це положення доведено.

4. «Логічне протиріччя не доводиться» (тобто доведення хибного висловлювання не існує). Наприклад, не можна побудувати доведення для висловлювань «Камінь проводить електричний струм», «Місяць має атмосферу».

Коли за вихідний термін беругь поняття «істинно», тоді огримують логіку істини, де законами є такі положення:

1. «Якщо висловлювання істинне, тоді неправильно, що його заперечення також істинне». Наприклад, якщо істинно, що «Київ розташований на березі Дніпра», тоді неправильно, що істинно нібито «Київ не розташований на березі Дніпра».

2. «Кон’юнкція істинна, якщо і тільки якщо обидва кон’юнкти істинні». Наприклад, істинно, що «Земля має атмосферу і природний супутник», тільки якщо істинно, що «Земля має атмосферу» й істинно, що «Земля має природний супутник».

У логіці переконання вихідним є термін «переконаний» («ві­рить»). До законів логіки переконання відносять такі положення:

1. «S вірить, що перше і друге, якщо і тільки якщо він вірить, що перше, і вірить, що друге». Наприклад, «Він вірить, що людська душа безсмертна і є життя після смерті», якщо і тільки якщо «Він вірить, що людська душа безсмертна» та «Він вірить, що є життя після смерті».

2. «Не можна одночасно вірити і сумніватися, бути переконаним і заперечувати; сумніватися і заперечувати». Наприклад, «Не можна одночасно вірити в те, що є життя після смерті та сумніватися в цьому».

3. «S або переконаний у чомусь, або сумнівається в цьому, або відкидає це». Наприклад, «Він або переконаний в тому, що на Марсі є життя, або відкидає це».

4. «Неможливо бути переконаним одночасно в чомусь і в протилежному йому». Наприклад, «Не можна одночасно вірити в те, що єгипетські піраміди створили люди і прибульці з космосу».

У логіці знання логічний наслідок відомого є відомий, істинного - істинний, доказуваного - доведений. У логіці переконання ця залежність має свою специфіку. Якщо людина в чомусь переконана, то вона не завжди буде переконана в наслідках цього.

3.