Розділ «Формалізація - метод логіки»

2) уведення правил творення складних виразів із цих символьних позначень;

3) обґрунтування правил перетворення виразів. Тобто правил, за допомогою яких з одних знань отримують інші.

ОЗНАЧЕННЯ

Логіка - наука про форми та закони опрацювання знань у знаковому вигляді.

Математична логіка - 1) сучасний етап розвитку логіки, який розпочався в середині XIX ст. свідомим, систематичним застосуванням у логіці методів математики; 2) логічна проблематика, яку розвивають математики в контексті дослідження проблем математики.

Символічна логіка - див. перше значення в означенні математичної логіки.

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

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

Формалізація - метод формування знань з логіки, який полягає у послідовному виконанні таких дій: 1) формування набору знаків; 2) формулювання правил синтаксису, тобто правил створення виразів з цього набору знаків; 3) формулювання правил перетворення виразів, тобто створення одних виразів з інших.