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

ЛОГІКА ФОРМАЛЬНА — наука, яка вивчає форми (схеми, способи) різноманітних міркувань. Її головна мета полягає в обґрунтуванні правильності чи неправильності способів отримання нового знання із уже наявного знання в процесі міркування. Будь-яке міркування складається з двох частин: засновків та висновку. Логіка як наука не займається встановленням їх істинності та хибності. Однак, якщо міркування побудоване правильно і при цьому воно спирається на істинні засновки, то його висновок завжди буде безумовно істинним Я. кщо ж правильний спосіб міркування застосувати до хибних засновків, то в результаті можна отримати як істинний, так і хибний висновок. Логічна форма міркування, його схема не залежить від його змісту. Логіку не цікавить, про що йдеться в міркуванні, її завдання — аналіз того, як воно побудоване. Схема міркування може бути правильною чи неправильною незалежно від його змісту. Розрізнення між змістом та формою міркування в логіці проводиться на основі застосування формального методу, який полягає в тому, що змістовним компонентам міркування ставляться у відповідність їх формальні аналоги. Для цього створюються спеціальні штучні мови, які отримали назву формалізованих (формальних) мов логіки. Ці мови будуються за строгими правилами, серед яких розрізняють правила утворення виразів (формул), правила перетворень виразів (формул) і правила інтерпретації виразів (формул). Формальний метод є основним методом сучасної логіки.