СЛОВНИК-МІНІМУМ

Логіка - наука про закони, правила і принципи достовірного мислення.

Математична логіка - характеризується використанням в логіці тих методів, які звичайно застосовують у математиці.

Алетнчна логіка - розглядає міркування, до складу яких включаються такі поняття як “необхідно”, “можливо”, “випадково” та їх різновиди.

Логіка часу (темпоральна логіка) - описує логічні зв’язки висловлювань про минуле, сучасне і майбутнє.

Епістемічна логіка - розглядає такі міркування, до складу яких включаються модальні поняття “спростовано”, “нерозв’язано”, “доведено”, тощо.

Логіка норм (деонтична логіка) - розглядає зв’язки нормативних висловлювань.

Логіка оцінок (аксіологічна логіка) - має справу з поняттями “добре”, “погано”, “байдуже”, “краще”, “гірше” тощо.

Логічне - фундаментальна категорія як традиційної, так і нетрадиційної логіки, яка виражає послідовність і несуперечливість подій, думок, висловлювань, міркувань і вчинків людей, які в сукупності мають смисл і цілеспрямованість.

Нелогічне - категорія, яка виражає непослідовність, суперечність подій, думок чи вчинків людей, в яких неможливо побачити якийсь смисл.

Смисл - осягнута розумом необхідність, сутність і цілеспрямованість подій, думок чи дій людини.

Логічна правильність міркування - відповідність законам і правилам логіки. Міркування вважають правильним, якщо в ньому дотримуються всі необхідні закони і правила логіки.

Логічна неправильність міркування - порушення законів і правил логіки.

Паралогізм - ненавмисна (несвідома) логічна помилка, причиною якої є незнання.

Софізм - навмисне (свідоме) порушення правил і законів логіки (або обгрунтування хибного твердження) з метою омани опонента. Характерною рисою софізмів (як логічно неправильних міркувань) є те, що їх свідомо використовують як правильні міркування.

Істинність - відповідність дійсності: думка є істинною, якщо вона відповідає дійсності.

Логічна схема міркувань - структура виразу, яка виявляється завдяки абстрагуванню від значень нелогічних термінів, що входять до його складу.

Мова логіки - спеціально створена логікою мова для виявлення і відтворення логічної форми міркувань.

Формалізація - побудова моделі, в якій змістовним виразам відповідають їх формальні аналоги.