Формална логика

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

Примѣр штруктуры формалной логикы

Всѣ $M$ суть $P$

Всѣ $S$ суть $M$

-------------------------------------------------------------

Значить, всѣ $S$ суть $P$

З истории формалной логикы

Окремыма проблемами логикы занимали ся в Старовѣкой Греции Демокрит, Сократ, Платон, але никто з них не створив формалну логику як науку. Отцьом формалной логикы став ся Аристотел, тоту науку он называв аналитика.

Жерела и одказы

• Формальная логика. Под ред. Чупахина И.Я., Бродского И.И. — Ленинград: Изд-во Ленинградского университета, 1977. — 358 с. Доступно онлайн