Конспект лекцій вибіркової навчальної дисципліни циклу гуманітарної підготовки логіка для студентів




Сторінка40/55
Дата конвертації11.03.2019
Розмір5,22 Mb.
1   ...   36   37   38   39   40   41   42   43   ...   55
прогресивно-регресивний полісилогізм це складний силогізм, серед елементів якого є і прогресивний, і регресивний полісилогізми.

Складноскороченими полісилогізмами є сорит (від грец. σωρός – нагромаджений, купа (у смислі – засновків)) і епіхейрема.

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

Види сориту: гокленієвський (Р.Гоклен, 1547-1628) і арістотелівський:

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



Структура: Схема:

Все, що руйнує здоров'я (a) шкідливе (b) Усі A суть B a→b

Шкідливі звички (c) руйнують здоров'я (a) Усі C суть A c→a

Паління (d) – шкідлива звичка (c) Усі D суть C d→c



Тютюнокуріння (e) – вид паління (d) Усі E суть D e→d

Тютюнокуріння (e) – шкідливе (b) Усі E суть B e→b


Правила виведення: a→b, c→a, d→c, e→de→b.

Формула алгебри логіки : ((a→b)(c→a)(d→c)(e→d))(e→b).
арістотелівський сорит – це регресивний полісилогізм, в якому пропущені всі менші засновки, окрім першого, і усі висновки, окрім останнього:
Структура: Схема:

Усі комети (a) є небесні тіла (b) Усі A суть B a→b

Усі небесні тіла (b) суть тіла (с) Усі B суть C b→c

Усі тіла (c) мають вагу (d) Усі C суть D c→d

Будь-яка комета (a) має вагу (d) Усі A суть D a→d



Правило виведення : a→b, b→c, c→da→d.

Формула алгебри логіки: ((a→b)(b→c)(c→d))(a→d).

Для перевірки правильності полісилогізмів і соритів застосовуються усі загальні і спеціальні правила силогізмів, модусів і фігур. Існують і похідні від них спеціальні правила полісилогізмів і соритів:



  1. загальностверджувальний висновок можливий тільки при усіх загальностверджувальних засновках;

  2. якщо один із засновків частковий, то висновок має бути частковим, а усі інші засновки – загальними;

  3. якщо один із засновків заперечувальний, то висновок має бути заперечувальним, а усі інші засновки – стверджувальними;

  4. якщо перший засновок частковий, то тільки останній може бути заперечувальним;

  5. якщо перший засновок заперечувальний, то тільки останній може бути частковим.

Епіхейрема – це складноскорочений силогізм, до складу якого входять два засновки, хоч би один з яких є ентимема:
Усі риби (a) – хребетні тварини (c),

оскільки риби (a) мають скелет (b).

Усі акули (d) – риби (a),

оскільки акули (d) дихають зябрами (e).

Усі акули (d) – хребетні тварини (c).


Епіхейрема утворена з двох ентимем з пропущеними великими засновками. Висновок утворюється з висновків першої («Усі риби – хребетні тварини») і другої («Усі акули – риби») ентимем по першій фігурі. Для перевірки правильності висновку слід відновити ентимеми до повних силогізмів. У результаті утворюються два правильні модуси Barbara першої фігури:
(Усі, хто має скелет (b) – хребетні тварини (с)).

Усі риби (a) – мають скелет (b).

Усі риби (a) – хребетні тварини (c).


(Усі, хто дихає зябрами (e) – риби (а)).

Усі акули (d) – дихають зябрами (e).

Усі акули (d) – риби (a).


Правила виведення відновленої епіхейреми:

b→c, a→ba→c

e→a, d→ed→a

d→c

Перетворене правило у формулу:

((bc)(ab)(ea)(de))(dc) або

((de)(ea)(ab)(bc))(dc)

Усі акули (d) – дихають зябрами (e).



(Усі, хто дихає зябрами (e) – риби (а)).

Усі акули (d) – риби (a).

Усі риби (a) – мають скелет (b).

(Усі, хто має скелет (b) – хребетні тварини (с)).

Усі риби (a) – хребетні тварини (c).


1   ...   36   37   38   39   40   41   42   43   ...   55


База даних захищена авторським правом ©uchika.in.ua 2016
звернутися до адміністрації

    Головна сторінка