Форма́льная ло́гика — конструирование и исследование правил преобразования высказываний, сохраняющих их истинностное значение безотносительно к содержанию входящих в эти высказывания понятий. Формальная логика, в отличие от неформальной, организована как формальная система, обладающая высоким уровнем абстракции и чётко определёнными методами, правилами и законами. Формальная логика как наука занимается выводом нового знания на основе ранее известного без обращения в каждом конкретном случае к опыту, а применением законов и правил мышления. Начальной ступенью формальной логики можно считать традиционную логику, а математическую логику — её следующей ступенью, использующей математические методы, символический аппарат и логические исчисления. https://ru.wikipedia.org/wiki/%D0%A4%D0%BE%D1%80%D0%BC%D0%B0%D0%BB%D1%8C%D0%BD%D0%B0%D1%8F_%D0%BB%D0%BE%D0%B3%D0%B8%D0%BA%D0%B0
- Кондаков Н. И. Логический словарь / Горский Д. П.. — М.: Наука, 1971. — 656 с. (см. ISBN )
- Arnold vander Nat. Simple formal logic: with common-sense symbolic techniques. — Routledge, 2010. — 360 с. — ISBN 978-0415997454. (см. ISBN )
История логики[]
- Маковельский А. О. История логики. — М., 1967.
- Н. И. Кондаков, Логический словарь-справочник, М.: «Наука», 1975, с. 285. на сайте Руниверс
- Попов П. С. История логики нового времени. — М., 1960.
- Logic, history of: Precursors of modern logic // Encyclopedia of philosophy / Donald M. Borchert, editor in chief. — 2nd ed. — N. Y.: Thomson Gale, 2006. — Т. 5. — С. 440—446. — 742 с. — ISBN 0-02-865785-3. (см. ISBN )
- Logic, history of: Modern logic // Encyclopedia of philosophy / Donald M. Borchert, editor in chief. — 2nd ed. — N. Y.: Thomson Gale, 2006. — Т. 5. — С. 447—484. — 742 с. — ISBN 0-02-865785-3. (см. ISBN )
Судьба формальной логики в СССР[]
- Алексеев М. Н. Обсуждение вопросов логики в Московском государственном университете // Вопросы философии, 1951, № 2;
- Алексеев М. Н. Дискуссия по вопросу соотношения формальной логики и диалектики // Вестник МГУ, Серия I. Общественные науки, 1951, № 4.
- Бирюков Б. В. Борьба вокруг логики в Московском государственном университете // Логические исследования, Т. X, 2003.
- Н. И. Кондаков, Логический словарь-справочник, М.: «Наука», 1975, с. 290 на сайте Руниверс
- Щедровицкий Г. П. Я всегда был идеалистом…. — М., 2001. — 323 с. — ISBN 5-93733-010-2. (см. ISBN )
- Формальная логика. — Ленинград: Издательство Ленинградского университета, 1977.— 357 с. на сайте Руниверс
- Философские вопросы современной формальной логики. — М.: Издательство Академии наук СССР, 1962.— 365 с. на сайте Руниверс
- Страница 0 - краткая статья
- Страница 1 - энциклопедическая статья
- Разное - на страницах: 2 , 3 , 4 , 5
- Прошу вносить вашу информацию в «Формальная логика 1», чтобы сохранить ее