Формальна логіка

Версія від 00:43, 2 листопада 2008, створена Deineka (обговорення | внесок) (Нова сторінка: '''Формальна логіка''' — конструювання і дослідження правил перетворення висловів, що зберіга...)
(різн.) ← Попередня версія | Поточна версія (різн.) | Новіша версія → (різн.)

Формальна логіка — конструювання і дослідження правил перетворення висловів, що зберігають своє істіне значення безвідносно до змісту вхідних в ці вислови понять. У історії філософії — окремий розділ або напрям логіки кінця XIX—начала XX ст. У сучасному вжитку — синонім символічної, або математичної логіки.