Логика

ВЫВОД — рассуждение, в ходе которого из каких-либо мыслей, исходных в данном выводе, получается мысль, логически вытекающая из исходных. Всякий вывод есть последовательность связанных друг с другом суждений. Связь эта осуществляется в форме умозаключений, с помощью которых из одних суждений, входящих в данный вывод, выводятся другие суждения.

Философский словарь / авт.-сост. С. Я. Подопригора, А. С. Подопригора. — Изд. 2-е, стер. — Ростов н/Д : Феникс, 2013, с 64.

ВЫСКАЗЫВАНИЕ — термин современной логики, употребляемый обычно в смысле предложения (определенного языка — естественного или искусственного), рассматриваемого в связи с теми или иными оценками его истинности (истинно, ложно) или модальности (вероятно, возможно, невозможно и др.).

Философский словарь / авт.-сост. С. Я. Подопригора, А. С. Подопригора. — Изд. 2-е, стер. — Ростов н/Д : Феникс, 2013, с 65.

БЛИЖАЙШИЙ РОД (в логике) — непосредственно более широкий класс предметов, в который в качестве вида входят рассматриваемые предметы. Например, ближайшим родом для щелочных металлов будет металл, а отдаленным родом — химический элемент.

Философский словарь / авт.-сост. С. Я. Подопригора, А. С. Подопригора. — Изд. 2-е, стер. — Ростов н/Д : Феникс, 2013, с 44.

ИНДУКЦИЯ (INDUCTION). Вид доказательства, в классическом понимании определяемый как переход от частного к общему, или от фактов к закону. Тем самым противостоит дедукции, которая обычно идет от общего к частному, от принципа к следствиям. Нетрудно догадаться, что индукция, расширяющая поле толкования, ставит перед нами гораздо больше вопросов, чем дедукция, сокращающая это поле. Приняв допущение, что все люди смертны, мы уже не будем сомневаться, что данный конкретный человек смертен: ведь единичное есть подмножество универсального.

ИМПЛИКАЦИЯ (IMPLICATION). Отношение между двумя суждениями, при котором второе является необходимым следствием первого: если р, то q. Если первое суждение истинно, истинно и второе. Если второе ложно, ложно и первое. Напротив, если первое суждение ложно, второе может быть как ложным, так и истинным. С точки зрения формальной логики импликация как целое может быть ложной тогда и только тогда, когда она связывает истинный антецедент (предшествующий член. — Прим. пер.) с ложным следствием. Например, суждение «Если Париж — столица Франции, то у кур есть зубы» — ложно.

ЗНАК (SIGNE). Любой объект, способный представлять другой объект, с которым он связан сходством или аналогией (в этом случае говорят об образе или символе), каузальной зависимостью (тогда говорят о признаке или симптоме) или условностью (в англосаксонской традиции принято употреблять термин «символ», хотя лучше говорить об условном знаке или просто знаке). Языковые знаки, разумеется, относятся к последней категории.

ЗАКЛЮЧЕНИЕ (INFERENCE). Переход от высказывания, принимаемого за истинное, к другому высказыванию, которое в качестве следствия первого также принимается за истинное в силу необходимой или полагаемой необходимой связи между ними. Этот переход может быть индуктивным (если от частных фактов переходить к более общему выводу) или дедуктивным (если от одного суждения переходить к одному из его следствий). Принято считать, что индуктивное заключение позволяет осуществить переход лишь от истинного к вероятному, а дедуктивное — от истинного к истинному.

ЕДИНИЧНЫЙ (SINGULIER). Означает только один элемент данного множества. Противостоит универсальному (означающему все в целом), общему (означающему большую часть элементов) и особенному (означающему ряд элементов). В бытовом языке слово «единичный» иногда употребляют как синоним слов «редкий» или «странный». В философском контексте этого употребления следует избегать. Самый обычный индивидуум при всей своей банальности остается единичным, ибо единичность есть универсальная особенность индивидуумов.

ДОКАЗАТЕЛЬСТВО (PREUVE). Факт или мысль, достаточные для подтверждения истинности другого факта или мысли. Впрочем, самое веское доказательство стоит только того, чего стоит ум, который им пользуется. Следовательно, вначале необходимо доказать ценность ума, что приводит нас к замкнутому кругу. Поэтому абсолютного доказательства не существует. Есть лишь опыт и отдельные доказательства, которые кладут конец сомнениям. Итак, доказательство есть факт или мысль, делающие невозможным сомнение по данному вопросу, исключая тех, кто сомневается во всем.

ДИЛЕММА (DILEMME). В широко распространенном смысле слова — трудный выбор из двух в равной мере неудовлетворительных возможностей. В строгом смысле, принятом в логике, — разновидность альтернативы, при которой оба термина подводят к одному и тому же выводу, расцениваемому как неизбежный. У философов, пишет, например, Монтень, «всегда наготове утешительная для смертного человека дилемма: либо наша душа смертна, либо бессмертна. Если она смертна, значит, никакой кары ей не будет; если бессмертна, значит, она будет становиться все лучше и лучше» («Опыты», книга II, глава 12; см.