152. Основні історичні етапи розвитку логіки.

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

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

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

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

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

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

153. Аристотель як фундатор формальної логіки

Як самостійна наука логіка склалася більше двох тисяч років назад в ІV ст. до н.е. Її засновником є давньогрецький філософ Арістотель (384-322 рр. до н.е.). В своїх працях, які отримали назву “Органон” (грец. “знаряддя пізнання”), Арістотель сформулював основні закони мислення: тотожності, протиріччя і виключеного третього – описав важливі логічні операції, розробив теорію поняття і судження, змістовно дослідив дедуктивний (силогістичний) умовивід. Арістотелівське вчення про силогізм склало основу логіки предикатів (математична логіка).

Аристотель використовував весь той могутній логічний апарат, якому він навчився в Академії Платона. Однак логіка Аристотеля має інший характер, ніж у Платона. Головним, мабуть, відмінністю є те, що при аналізі протилежностей, з яких і в елеатів і в Платона починаються логіко-діалектичні побудови і визначення типу “буття - небуття”, “єдине - багато чого”, ці протилежності не є в Аристотеля сутностями, чи, іншими словами, це не підлягаючі, це присудки. Вони не абсолютні, вони мають сенс тільки як визначення конкретної сутності, будь те людин, кінь, бик. Таким чином це людина може чи бути не бути, а саме по собі буття чи бути не бути не може. Таким чином сутність (первинна) завжди конкретна. Усі такі сутності рівноправні, однак окремий індивід більш сутність чим вид (вторинна сутність), а усередині первинних усі рівноправні.

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

«Аналітики» — не єдина праця Аристотеля по логіці. Важливим питанням логіки присвячена також його «Топіка», «Про тлумачення», «Спростування софістичних умовиводів», «Категорії», а крім того окремі місця «Метафізики» і навіть «Етики».

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

1) питання про метод ймовірнісного знання; цей відділ логічних досліджень Аристотель називає «діалектикою», він розглядає його у своїй «Топіці»;

2) питання про двухосновні методи з'ясування вже не ймовірного тільки знання, а знання достовірного; ці методи — визначення «.доказ;

3) питання про метод перебування посилок знання; це індукція.

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