Логика. Краткий конспект
Қосымшада ыңғайлырақҚосымшаны жүктеуге арналған QRRuStore · Samsung Galaxy Store
Huawei AppGallery · Xiaomi GetApps

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

Алексей Т.
Алексей Т.дәйексөз келтірді6 ай бұрын
Кроме этого, Аристотель выделял эристику — искусство словопрений, или спора, — занятие наименее почтенное с точки зрения научной истины, которым, тем не менее, всякий исследователь тоже должен овладеть.
Комментарий жазу
Алексей Т.
Алексей Т.дәйексөз келтірді6 ай бұрын
Уже Аристотель (384—322), создатель логики как науки, выделял две компоненты: аподиктику — теорию необходимых умозаключений — и диалектику — искусство рассуждений на основе не обязательно истинных посылок.
Комментарий жазу
Алексей Т.
Алексей Т.дәйексөз келтірді6 ай бұрын
Но в этом и состоял принципиальный момент, характеризующий специфику развития науки у греков: наглядная очевидность стала рассматриваться как менее надежный источник достоверности знания, чем дедуктивное доказательство. Поэтому крайнюю актуальность приобрел вопрос о том, что, собственно, следует считать доказательством, а что — лишь видимостью его;
Комментарий жазу
Алексей Т.
Алексей Т.дәйексөз келтірді6 ай бұрын
Логика стремится обеспечить выполнение лишь второго условия. Что же касается установления истинности посылок, в типичном случае это, увы, не задача логики.
Комментарий жазу
Алексей Т.
Алексей Т.дәйексөз келтірді6 ай бұрын
Таким образом, эффективное рассуждение должно удовлетворять двум условиям: во-первых, оно должно исходить из истинных посылок, во-вторых, оно дожно осуществляться по правильной форме.
Комментарий жазу
Алексей Т.
Алексей Т.дәйексөз келтірді6 ай бұрын
Эта особенность была известна уже средневековым логикам и является проявлением важного закона классической логики, согласно которому из ложного высказывания следует любое высказывание.
Комментарий жазу
Алексей Т.
Алексей Т.дәйексөз келтірді6 ай бұрын
Дело в том, что если мы внимательно прочитаем приведенное выше определение логического следования, то заметим, что оно требует, чтобы из истинных посылок следовали истинные заключения, но ничего не требует от ложных посылок! Иначе говоря, рассуждая правильно, но имея ложные посылки, мы можем прийти к любому результату, как истинному, так и ложному.
Комментарий жазу
Алексей Т.
Алексей Т.дәйексөз келтірді6 ай бұрын
Истинность — это свойство высказываний. Можно строить правильные рассуждения исходя из ложных посылок.
Комментарий жазу
Алексей Т.
Алексей Т.дәйексөз келтірді6 ай бұрын
Правильность — это свойство рассуждений, доказательств.
Комментарий жазу
Алексей Т.
Алексей Т.дәйексөз келтірді6 ай бұрын
Пример 1.1 Санкт-Петербург севернее Москвы. Москва севернее Киева. Следовательно, Санкт-Петербург севернее Киева. Пример 1.2 x >у, у >z, следовательно, x > z. В этих двух несложных рассуждениях речь идет о совершенно разных вещах. Пример 1.1 содержит рассуждение из области географии, пример 1.2 — из области математики. Однако сам ход рассуждения в обоих примерах представляется одинаковым. То, что является общим для этих примеров, — это и есть их логическая форма.
Комментарий жазу