автордың кітабынан сөз тіркестері  Логика. Краткий конспект

Ю.Ю. Черноскутов

Кроме этого, Аристотель выделял эристику — искусство словопрений, или спора, — занятие наименее почтенное с точки зрения научной истины, которым, тем не менее, всякий исследователь тоже должен овладеть.

Уже Аристотель (384—322), создатель логики как науки, выделял две компоненты: аподиктику — теорию необходимых умозаключений — и диалектику — искусство рассуждений на основе не обязательно истинных посылок.

Но в этом и состоял принципиальный момент, характеризующий специфику развития науки у греков: наглядная очевидность стала рассматриваться как менее надежный источник достоверности знания, чем дедуктивное доказательство. Поэтому крайнюю актуальность приобрел вопрос о том, что, собственно, следует считать доказательством, а что — лишь видимостью его;

Логика стремится обеспечить выполнение лишь второго условия. Что же касается установления истинности посылок, в типичном случае это, увы, не задача логики.

Таким образом, эффективное рассуждение должно удовлетворять двум условиям: во-первых, оно должно исходить из истинных посылок, во-вторых, оно дожно осуществляться по правильной форме.

Эта особенность была известна уже средневековым логикам и является проявлением важного закона классической логики, согласно которому из ложного высказывания следует любое высказывание.

Дело в том, что если мы внимательно прочитаем приведенное выше определение логического следования, то заметим, что оно требует, чтобы из истинных посылок следовали истинные заключения, но ничего не требует от ложных посылок! Иначе говоря, рассуждая правильно, но имея ложные посылки, мы можем прийти к любому результату, как истинному, так и ложному.

Истинность — это свойство высказываний. Можно строить правильные рассуждения исходя из ложных посылок.

Правильность — это свойство рассуждений, доказательств.

Пример 1.1

Санкт-Петербург севернее Москвы.

Москва севернее Киева.

Следовательно, Санкт-Петербург севернее Киева.

Пример 1.2

x >у,

у >z,

следовательно, x > z.

В этих двух несложных рассуждениях речь идет о совершенно разных вещах. Пример 1.1 содержит рассуждение из области географии, пример 1.2 — из области математики. Однако сам ход рассуждения в обоих примерах представляется одинаковым. То, что является общим для этих примеров, — это и есть их логическая форма.