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

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

В кінці XIX-початку XX століття формальна логіка була відокремленим розділом філософії, окремим напрямком логіки кінця. В даний час термін формальна логіка виступає в якості синонімії символічної або математичної логіки.

Термін “формальна логіка” з’явився в далекій давнині. Був введений Аристотелем. Пізніше, Кант в “Критиці чистого розуму” визначав головним напрямком формальної логіки – форму понять, а не їх зміст. Область інтересів формальної логіки – це наука, гранично точно і строго викладає і доводить тільки формальні правила всякого мислення.

На противагу формальної логіки Кант висував змістовну, так звану трансцендентальну логіку, яка поклала початок вченню про категоріях.

Представники так званої “логістики” в кінці XIX-початку XX століття сформували суспільство формалістів кінця, які тісно пов’язували формальність логіки з виділенням значень істинності висловлювань при перенесенні їх з природної мови в символічні позначення. Основною метою досліджень логістиків було обгрунтування математичних знань за допомогою формальної логіки. Вагомий внесок у цей напрям внесли такі видатні математики, як Д. Гільберт, Кутюр, Б. Рассел.

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

У цьому полягала головна відмінність формальної логіки від інших дисциплін, які також займалися вивченням форми, будь-то лінгвістика, арифметика, геометрія або алгебра. Таким чином, до формальної логіки були віднесені всі розділи логіки, які стало можливим формалізувати в символічні знаки. Ці символи були розроблені відомими математиками і логіками О. де Морганом, Дж. Булем, Дж. Пеано, Г. Фреге, Расселом та іншими.

Завдяки реконструкції, було визначено, що логіка має справу з мовним мисленням, в якому групи знаків, пов’язані між собою певним чином і певними законами, заміщають реальні об’єкти, а також і один одного в ставлення до дій. Це виглядає наступним чином:

Об’єктивний зміст ────────────── знаки мови

Зв’язок значення

Формальна логіка можлива лише в тому випадку, коли в якості заміщає змісту виступають не об’єкти дії, а знаки, які утворюють замкнуті оперативні системи. Основною метою методів формальної логіки є визначення паралелі форми і змісту мислення.

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


1 Star2 Stars3 Stars4 Stars5 Stars (1 votes, average: 5.00 out of 5)

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