На головну

Формалізація есіхейрем з загальними посилками

  1. Абстрактні (широкі) корпорації, або корпорації-інститути - це соціальні освіти з невизначеним колом осіб, об'єднаних спільними інтересами і нормативними законами.
  2. Моделювання та формалізація
  3. Моделювання та формалізація
  4. Моделювання та формалізація
  5. Моделювання та формалізація
  6. Моделювання та формалізація
  7. Моделювання та формалізація

Епіхейрема в традиційній логіці називається такий складноскорочені силогізм, обидві посилки якого являють собою скорочені прості категоричні силогізми (ентимеми).

Схема Епіхейрема, що містить лише загальні і позитивні висловлювання, зазвичай записується в такий спосіб:

Усе А суть З, так як А суть В.

Усе D суть А. так як D суть Е.

______________________

Усе D суть С.

Приклад Епіхейрема:

благородну працю (А) заслуговує на повагу (С), так як благородну працю (А) сприяє прогресу суспільства (В).

праця вчителя (D) є благородну працю (А), так як праця вчителя (D) полягає в навчанні і вихованні підростаючого покоління (E).

_________________________________________

праця вчителя (D) Заслуговує поваги (С).

Перша і друга посилки Епіхейрема є ентимеми, т, е. Скорочені категоричні силогізми, у яких одна з посилок опущена. Висловимо повністю першу і другу посилки Епіхейрема.

1. Всі В суть С. 2. Всі Е суть А.

Усе А суть В. Усе D суть Е.

Усе А суть С. Усе D суть А.

Візьмемо укладення першого і другого силогізмів і зробимо їх більшої і меншої посилками нового, третього силогізму.

3. Всі А суть С.

Усе D суть А

._____________

Усе D суть С.

Відновимо повністю епіхейрему.

1. Все, що сприяє прогресу суспільства (В), заслуговує на повагу (С). благородну працю (А) сприяє прогресу суспільства (В).

_____________________________________________________________________________________

благородну працю (А) заслуговує на повагу (С).

2. Навчання і виховання підростаючого покоління (E) є благородну працю (А).

праця вчителя (D) полягає в навчанні і вихованні підростаючого покоління (E).

__________________________________________________________________________________

праця вчителя (D) є благородну працю (А).

Висновки першого і другого силогізмів робляться посилками третього силогізму.

3. Шляхетний працю (А) заслуговує на повагу (С). праця вчителя (D) є благородну працю (А).

_________________________________________________________________________________________________

праця вчителя (D) Заслуговує поваги (С).

Наведемо ще один приклад Епіхейрема.

всі риби (А) - хребетні тварини (С), Так як риби (А) мають скелет(В).

всі акули (D) - риби (А), так як акули (D) дихають зябрами (Е).

__________________________________________________________________________________________________________

всі акули (D) - Хребетні тварини (С).

У вигляді правила виводу відновлену епіхейрему можна записати так:

Це правило шляхом перетворень можна перевести в формулу:

З метою більшої наочності переставимо посилки і запишемо цю формулу так:

Можна довести, що ця формула є законом логіки. Так само як і ентимеми, складноскорочені силогізми значно спрощують наші міркування.

Висновки, засновані на логічних зв'язках між судженнями (висновки логіки висловлювань)

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

Правила прямих висновків логіки висловлювань дозволяють з даних істинних посилок виводити істинний висновок. На основі правил прямих висновків побудовані чисто умовні та умовно-категоричні, розділові і розділової-категоричні, а також умовно-розділові (лемматіческіе) умовиводи.

 



Попередня   51   52   53   54   55   56   57   58   59   60   61   62   63   64   65   66   Наступна

ВИКОРИСТАННЯ Формально-логічних ЗАКОНІВ У НАВЧАННІ | Загальне поняття про умовивід | Поняття логічного слідування | Поняття правила виводу | перетворення | приклади | протиставлення предикату | Фігури категоричного силогізму | I. Правила термінів | Скорочення КАТЕГОРИЧНИЙ СИЛОГІЗМ (Ентимема) |

© um.co.ua - учбові матеріали та реферати