Наведіть приклад.
Правила висновків логіки висловлювань.
Історія логіки налічує більше 2,5 тисяч років. Ще в давнину було помічено важлива властивість мислення людини - воно підпорядковується якоїсь примусової силі, якимось не залежних від волі і бажання людини законам; його результати багато в чому зумовлені попереднім знанням і можуть бути отримані без безпосереднього звернення до досвіду. Саме ця сторона мислення: форми думок і міркувань, щоб забезпечити отримання нових істин на основі вже встановлених, обгрунтованість цих форм, а також критеріїв правильності одержуваного знання, і становить предмет формальної логіки.
Спочатку Платон, а потім Аристотель зробили детермінованість мислення предметом спеціального дослідження. Аристотель сформулював основні закони правильного міркування, принципи і поняття, що фіксують знання про людському мисленні, а також продемонстрував практично багато важать створеного понятійного апарату в науці, спілкуванні і в інших сферах людської діяльності. Тим самим було покладено початок систематичного вивчення загальнозначущих форм і методів мислення, законів раціонального пізнання. Вже на ранніх етапах становлення логіки як науки вичленяються два основних її напрямки - дедуктівізм і индуктивизм. Представники раціоналістичної філософії (Декарт, Спіноза, Мальбранш, Лейбніц) віддавали перевагу дедукції, а емпіричної (сенсуалистической) філософії (Ф. Бекон, Гоббс, Локк, Берклі, Юм) - індукції.
Істотний внесок в розвиток логіки був зроблений німецькими філософами І. Кантом і Г.Ф. Гегелем. Визначною заслугою Гегеля є введення в логіку ідеї розвитку і взаємозв'язку. Це дозволило йому створити діалектичну логіку.
Сучасний рівень розвитку формальної логіки характеризується її найтіснішого зв'язком із математичними дослідженнями і математизацией науки взагалі. На цій підставі закладається фундамент некласичних розділів формальної логіки: багатозначних, модальної, ймовірнісної, интуиционистской і інших логік.
Сьогодні розвиток формальної логіки йде в двох основних напрямках: 1) розробка нових систем некласичної логіки: логіки імперативів, оцінок, питань, теорії логічного слідування, дослідження властивостей цих систем і відносин між ними, створення їх загальної теорії; 2) розширення сфери застосування формальної логіки.
Логіка стала невід'ємною частиною людської культури. Її досягнення використовуються в найрізноманітніших сферах діяльності людей, і перш за все в сфері спілкування. Розробка логічних основ процесу спілкування становить одну із завдань сучасної логіки. Це завдання безпосередньо пов'язана з питанням про найбільш ефективні засоби комунікації між людьми, оформлення думок з метою їх правильного розуміння і переконання в їх істинності.
Культура спілкування є найважливішою складовою людської культури взагалі. Тому засвоєння правил, яким підпорядковується процес спілкування і завдяки яким забезпечується досягнення розуміння і взаєморозуміння в цивілізованому світі, має неминуще значення. Тим самим логіка як наука зберігає своє найважливіше значення в житті людини.