Темы философии науки. Мартынович С.Ф. - 29 стр.

UptoLike

ВУЗ: 

СГУ им. Чернышевского | Саратов

Составители: 

Рубрика: 

29
линии, говорит о реальном существовании, а не о длине без ширины. Он
говорит о длине протяжённых объектов
23
.
Обычно различали два вида логического вывода (reasoning как
синоним inference). Вывод от единичного к общему (индукция) и вывод от
общего к единичному (силлогизм: ratiocination или syllogism
24
). В более
строгом смысле индукция есть вывод нового высказывания из
высказываний менее общих. Так, вывод от некоторого множества
индивидуальных примеров к общему высказыванию или вывод от
некоторого множества общих высказываний к более общему
высказыванию является индукцией.
Исследование природы утверждения (Assertion) является для Милля
предпосылкой рассмотрения природы подтверждения, или доказательства
(Proof). При этом предметом логики полагается подтверждение, или
доказательство. Утверждения относятся либо к значению слов, либо к
некоторым свойствам вещей, обозначаемым словами. Утверждения
относительно значения слов, скажем, дефиниции, обязательны в
философии. Но поскольку значения слов случайны, то этот класс
утверждений не решает вопроса истинности или ложности, доказательства
высказываний. Утверждения относительно вещей, или реальные
высказывания, связывают «факты или феномены сознания»
25
с причинами
и силами, к которым приписываются эти факты. То, что утверждается или
отрицается относительно фактов, феноменов сознания или сил, «всегда
есть или Существование, Порядок относительно места, Порядок во
времени, Причинность или Сходство»
26
. Каждое высказывание
утверждает, что некоторый данный субъект обладает или нет некоторым
атрибутом, или, что некоторый данный атрибут соединён с другим
атрибутом.
Факт или утверждение доказаны, когда мы верим в их истинность на
основании некоторого другого факта или утверждения, из которого они
следуют
27
. Вывод одного предложения из другого и есть соответствующее
основание. Силлогизм есть общий тип такого вывода. Обоснование
выступает в виде логического вывода, типичным видом которого является
силлогизм. Теория преобразования высказываний (the Conversion of
propositions) даёт возможность понять, что факт, утверждаемый в выводе,
является или тем же самым фактом, или частью факта, утверждаемого в
исходном высказывании
28
.
Логический вывод существует для расширения индукции,
основанной на наблюдении, на ненаблюдаемые случаи для их
23
Mill J. S. A System of Logic. Volume 1. P. 166.
24
Mill J. S. A System of Logic. Volume 1. P. 181.
25
Mill J. S. A System of Logic. Volume 1. P. 175.
26
Mill J. S. A System of Logic. Volume 1. P. 175-176.
27
Mill J. S. A System of Logic. Volume 1. P. 176.
28
Mill J. S. A System of Logic. Volume 1. P. 179.

Страницы