Визначення логіки як науки

Розглянуті нами логічні форми та закони правильного мислення, а також можливості штучних мов логіки дають підстави для більш точ­ного і повного визначення предмета логіки.

*JIoziκa - філософська наука про закони і форми правильного мислення, що веде до істинного знання. Вона вивчає структуру мислення, правила і закони здобуття вивідного знання незалежно від конкретного змісту думок, які беруть участь у цьому процесі, а також засоби і методи формалізації знань. Таке визначення найпов­ніше охоплює предмет науки логіки і разом з тим підкреслює необхід­ність дотримуватися вимог правильного мислення, які випливають з основних законів логіки.