JК
Логическая игра :: Кэрролл Льюис
Страница: 19 из 62)
В этом случае те суждения, которые даны, называются посылками , третье, выводимое из них суждение – заключением , а все вместе – силлогизмом .
Ясно, что либо один из признаков непременно должен входить в обе посылки, либо в одну посылку должен входить сам признак , а в другую – ему противоположный .
В первом случае термин, который повторяется дважды (например, когда в качестве посылок выбраны суждения «Некоторые m суть x» и «Ни одно m не есть y'»), называется средним термином , поскольку он служит своего рода связующим звеном между двумя другими терминами.
Во втором случае (например, когда посылки имеют вид суждений «Ни один m не есть x'», и «Все m' суть y») два термина, содержащие противоположные признаки, можно назвать средними терминами.
Таким образом, в первом случае средний термин – это класс «m-предметов», во втором случае в роли средних терминов выступают два класса – «m-предметов» и «m'-предметов».
Признак, входящий в средний член или в средние члены, не входит в заключение. О нем говорят, что его «исключили» (по-ученому, «элиминировали»), что означает буквально «выставили за дверь».
Попытаемся вывести заключение из двух посылок:
«Некоторые свежие булочки неполезные»,
«Ни одна вкусная булочка не неполезная».
Чтобы выразить их с помощью фишек, необходимо разделить булочки тремя различными способами: по тому, свежие ли они, вкусные или полезные. Для этого нам придется воспользоваться большой диаграммой, условившись заранее, что x означает «свежие», y – «вкусные» и m – «полезные».
В этом случае те суждения, которые даны, называются посылками , третье, выводимое из них суждение – заключением , а все вместе – силлогизмом .
Ясно, что либо один из признаков непременно должен входить в обе посылки, либо в одну посылку должен входить сам признак , а в другую – ему противоположный .
В первом случае термин, который повторяется дважды (например, когда в качестве посылок выбраны суждения «Некоторые m суть x» и «Ни одно m не есть y'»), называется средним термином , поскольку он служит своего рода связующим звеном между двумя другими терминами.
Во втором случае (например, когда посылки имеют вид суждений «Ни один m не есть x'», и «Все m' суть y») два термина, содержащие противоположные признаки, можно назвать средними терминами.
Таким образом, в первом случае средний термин – это класс «m-предметов», во втором случае в роли средних терминов выступают два класса – «m-предметов» и «m'-предметов».
Признак, входящий в средний член или в средние члены, не входит в заключение. О нем говорят, что его «исключили» (по-ученому, «элиминировали»), что означает буквально «выставили за дверь».
Попытаемся вывести заключение из двух посылок:
«Некоторые свежие булочки неполезные»,
«Ни одна вкусная булочка не неполезная».
Чтобы выразить их с помощью фишек, необходимо разделить булочки тремя различными способами: по тому, свежие ли они, вкусные или полезные. Для этого нам придется воспользоваться большой диаграммой, условившись заранее, что x означает «свежие», y – «вкусные» и m – «полезные».