1. Визначення логіки, як науки. Етапи розвитку логіки.

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

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

Існує декілька значень слова "логіка". Назвемо найбільш вживані і вкажемо на ті, які будуть використані в даному підручнику.

По-перше, словом "логіка" позначають закономірності виникнення, закономірності існування, закономірності розвитку речей та явищ навколишнього світу (в цих випадках вживають такі звороти: "логіка речей", "логіка історичного процесу", "логіка подій" і т.п.). Тобто, коли хочуть підкреслити, що за певними явищами і речами стоять відповідні закономірності, об'єктивні причини, то звертаються до цього значення слова "логіка".

По-друге, словом "логіка" називають послідовність, несуперечливість, обґрунтованість наших міркувань. В цьому випадку найбільш вживаними є звороти: "у нього прекрасна логіка, "він володіє логікою", або "у нього відсутня логіка", "у нього погана логіка" і т.п. Іншими словами, коли хтось послідовно, несуперечливо, обґрунтовано щось пояснює співрозмовнику чи аудиторії, ми кажемо: "у нього гарна логіка". А коли хтось непослідовно, суперечливо намагається донести інформацію до співрозмовника чи аудиторії, то ми засвідчуємо, що "у нього відсутня логіка".

По-третє, словом "логіка" вказують на здатність людини відображати навколишній світ за допомогою мислення. За цих умов доречно вживати такі звороти: "людині притаманна логіка", "людині властива логіка" і т.п. Дані звороти підкреслюють особливий характер відношення людини до світу. На відміну від усього живого, людина опосередковує своє відношення до світу мисленням, або ставить між собою і світом мислення. Це й пояснює ту ситуацію, що людина, на відміну від представників тваринного світу, оцінює предмети і явища навколишнього світу не як об'єкти, що існують навколо неї, а спочатку - як предмети, а потім - результати її власної перетворюючої діяльності. Якщо для тварини, наприклад, дерево - це об'єкт, який потрібно обійти, або зламати, коли воно заважає рухатися у відповідному напрямку, то для людини дерево - це предмет діяльності, із якого вона може побудувати дім, човен, отримати папір і т.д.; вітер - це стихія, яка надуває вітрила корабля, обертає турбіну вітряної електростанції і т.п.

По-четверте, словом "логіка" називають навчальну дисципліну, яка протягом багатьох віків була обов'язковим елементом Європейської системи освіти. Мається на увазі, що з давніх давен в закладах освіти Європи обов'язково викладалася логіка.

Нарешті, по-п'яте, словом "логіка" позначають особливу науку про мислення.

Вказуючи на те, що "Логіка є особливою наукою про мислення", - цим самим наголошують, що мислення як об'єкт дослідження, не є прерогативою лише логіки.

1й етап. Перший (традиційний) етап.4 ст. до н.е. – друга половина 19 ст. Засновник – Аристотель.  Розвивається традиційна (аристотелівська) логіка. Аристотель вперше виділив логіку в самостійну науку. Логіку він назвав аналітикою і дав загальний аналіз відкритого ним поняття силогізму як особливої форми умовиводу. Аристотель розкрив також сутність доведення, прийомів доведення і поділу, визначив різницю між науковим і ненауковим знанням, виклав 3 основні закони ФЛ: закон тотожності, закон несуперечності, закон виключення третього. Пізніше ФЛ розроблялася стоїками, вони займалися головним чином умовиводами.

2й етап.Другий (сучасний) етап.  Друга половина 19 ст. до нашого часу. Засновник — Г. Лейбніц. Сучасна логіка:

1.Перший підетап другого етапу: Класична логіка (логіка висловлювань, логіка предикатів). Б. Рассел, А. Уайтхед

2.Другий підетап другого етапу: Некласична логіка (алетична логіка, епістимічна, деонтична, темпоральна, логіка дії, логіка імператив і .д.) К.Твардовський. А.Марков, Г.Х. фон Врігг

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

В обох розділах ФЛ почали застосовуватись методи логічних обчислень. Проникнення мат. методів в індуктивну логіку приводить до її модифікації в логіку імовірнісну, предметом якої стає вже вивчення методів оцінки істинності гіпотез.