Логика и метаматематические исследования

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

❤11🙏4⚡3

www.tgoop.com/logic_metamathematics/887

485 viewsedited  Jan 18 at 01:45

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

BY Логика и метаматематические исследования