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




Сторінка31/55
Дата конвертації11.03.2019
Розмір5,22 Mb.
1   ...   27   28   29   30   31   32   33   34   ...   55
Логічно випадкові – це судження, істинність/неістинність яких може бути встановлена виходячи з їх логічної структури.

Проблематичні, або судження можливості – це судження, в яких зв'язка або відношення виражають принципову сумісність предметів або їх ознак.

Проблематичні судження можуть відноситися до предметів минулого, сьогодення і майбутнього. Ці судження виражаються за допомогою логічного оператора можливості: в мові словами «можливо», «імовірно», «не виключено» та ін., але він (оператор) може бути пропущений і тільки матися на увазі; у формулах – символом «».



Формули:

простого загальностверджувального атрибутивного категоричного судження можливості:

– ◊(S є Р) – «Можливо, що усі S суть Р»;

простих стверджувальних релятивних суджень можливості:

– ◊(xRy) – «Можливо, що усі х знаходяться у відношенні R до у»;

– ◊(xRy) – «Можливо, що х знаходиться у відношенні R до усіх у»;

– ◊(xRy) – «Можливо, що усі х знаходяться у відношенні R до усіх у»;

– ◊(xRy) – «Можливо, що усі х знаходяться у відношенні R до деяких у»;

– ◊(xRy) – «Можливо, що деякі х знаходяться у відношенні R до усіх у»;

простого загальностверджувального екзистенціального категоричного судження можливості:

– ◊(S є) – «Можливо, що усі S існують»;

простого загальнозаперечувального атрибутивного категоричного судження можливості:

– ◊(S не є Р) – «Можливо, що усі S не є Р»;

загальнозаперечувальне атрибутивне категоричне судження можливості, отримане в результаті заперечення загальностверджувального атрибутивного категоричного судження можливості:

– ◊¬(S є Р) – «Невірно, що усі S, можливо, є Р»;

простих заперечувальних релятивних суджень можливості:

– ◊(x~Ry) – «Усі х, можливо, не знаходяться у відношенні R до у»;

– ◊(x~Ry) – «Можливо, що х не знаходиться у відношенні R до усіх у»;

– ◊(x~Ry) – «Не виключено, що усі х не знаходяться у відношенні R до усіх у»;

– ◊(x~Ry) – «Можливо, що усі х не знаходяться у відношенні R до деяких у» або:

– ◊(x~Ry) – «Деякі х, можливо, не знаходяться у відношенні R до усіх у»;

заперечувальні релятивні судження можливості, отримані в результаті заперечення стверджувальних релятивних суджень можливості:

– ◊¬(xRy) – «Невірно, що усі х, можливо, знаходяться у відношенні R до у»;

– ◊¬(xRy) – «Невірно, що х знаходиться, можливо, у відношенні R до усіх у»;

– ◊¬(xRy) – «Невірно, що усі х, можливо, знаходяться у відношенні R до усіх у»;

– ◊¬(xRy) – «Невірно, що усі х, можливо, знаходяться у відношенні R до деяких у» або:

– ◊¬(xRy) – «Невірно, що деякі х, можливо, знаходяться у відношенні R до усіх у»;

простого загальнозаперечувального екзистенціального категоричного судження можливості:

– ◊(S не є) – «Усі S, можливо, не існують»;

загальнозаперечувальне екзистенціальне категоричне судження можливості, отримане в результаті заперечення загальностверджувального екзистенціального категоричного проблематичного судження:

– ◊¬(S є) – «Можливо, невірно, що усі S існують»;

простого частковостверджувального атрибутивного категоричного проблематичного судження:

– ◊(S є Р) – «Деякі S, можливо, є Р»;

простих стверджувальних релятивних проблематичних суджень:

– ◊(xRy) – «Деякі х, можливо, знаходяться у відношенні R до у»;

– ◊(xRy) – «Можливо, що х знаходиться у відношенні R до деяких у» або:



– ◊(xRy) – «Деякі х, можливо, знаходяться у відношенні R до деяких у»;

простого частковостверджувального екзистенціального категоричного проблематичного судження:

– ◊(S є) – «Можливо, що деякі S існують»;

простого частковозаперечувального атрибутивного категоричного проблематичного судження:

– ◊(S не є Р) – «Деякі S, можливо, не є Р»;

частковостверджувальне атрибутивне категоричне проблематичне судження, отримане в результаті заперечення частковостверджувального атрибутивного категоричного проблематичного судження:

– ◊¬(S є Р) – «Невірно, що деякі S, можливо, є Р»;

простих заперечувальних релятивних суджень можливості:

– ◊(x~Ry) – «Деякі х, можливо, не знаходяться у відношенні R до у»;

– ◊(x~Ry) – «Можливо, х не знаходиться у відношенні R до деяких у» або:



– ◊(x~Ry) – «Деякі х, можливо, не знаходяться у відношенні R до деяких у»;

заперечувальні релятивні судження можливості, отримані в результаті заперечення стверджувальних релятивних проблематичних суджень:

– ◊¬(xRy) – «Невірно, що деякі х, можливо, знаходяться у відношенні R до у»;

– ◊¬(xRy) – «Невірно, що х, можливо, знаходиться у відношенні R до деяких у» або:



– ◊¬(xRy) – «Невірно, що деякі х, можливо, знаходяться у відношенні R до деяких у»;

простого частковозаперечувального екзистенціального категоричного проблематичного судження:

– ◊(S не є) – «Деякі S, можливо, не існують»;

частковозаперечувальне екзистенціальне категоричне проблематичне судження, отримане в результаті заперечення частковостверджувального екзистенціального категоричного проблематичного судження:

– ◊¬(S є) – «Невірно, що деякі S, можливо, існують».

1   ...   27   28   29   30   31   32   33   34   ...   55


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

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