Цитаты из книги «Логика. Краткий курс»

Формальная логика – это наука об общих структурах правильного мышления в его языковой форме, раскрывающая лежащие в его основе закономерности.

Рассуждения, ведущие от знания о части предметов к общему знанию обо всех предметах определенного класса, – это индукции, поскольку всегда остается вероятность того, что обобщение окажется необоснованным (Платон – философ; Аристотель – философ; значит, все люди – философы). Однако нельзя отождествлять дедукцию с переходом от общего к частному, а индукцию – с переходом от частного к общему. Дедукция – это логический переход от одной истины к другой, индукция – переход от достоверного знания к вероятному. К индуктивным умозаключениям относятся не одни обобщения, но и аналогии, заключения о причинах явлений и др.

Под дедукцией понимается выведение заключений, столь же истинных, как и принятые посылки. В обычных рассуждениях дедукция лишь в редких случаях предстает в развернутой форме. Чаще всего лишь некоторые посылки указываются явно, но не все используются в рассуждении. Общие утверждения, о которых предполагается, что они хорошо известны или очевидны, как правило, опускаются. Заключения, следующие из принятых посылок, также не всегда формулируются. Однако лишь иногда логическая связь между исходными и выводимыми утверждениями отмечается словами, такими как «следовательно» и «значит».

Существует два вида умозаключений, соответствующих случаям, когда связь логического следования существует между посылками или такая связь отсутствует: дедуктивные и индуктивные. В дедуктивном (силлогистическом) умозаключении эта связь опирается на логический закон, в силу чего заключение вытекает из принятых посылок.

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

Сторонники практической точки зрения опираются на классическое замечание Гегеля о том, что логика «учит» мыслить, так же как физиология «учит» переваривать.

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

Однако нельзя отождествлять дедукцию с переходом от общего к частному, а индукцию – с переходом от частного к общему. Дедукция – это логический переход от одной истины к другой, индукция – переход от достоверного знания к вероятному. К индуктивным умозаключениям относятся не одни обобщения, но и аналогии, заключения о причинах явлений и др.

Неоценимый вклад в логическую науку внесли немецкий философ Г. Лейбниц (1646–1716), который сформулировал закон достаточного основания и выдвинул идею математической логики; немецкий философ И. Кант (1724–1804) и многие другие западноевропейские ученые.

Р. Декарт (1596–1650) критиковал средневековую схоластику, а также развил идеи дедуктивной логики, сформулировал правила научного исследования в своем сочинении «Правила для руководства ума».