синтаксис логічний

СИНТАКСИС ЛОГІЧНИЙ — розділ теоретичної логіки, що вивчає об'єктні логічні теорії: логіку висловлювань і логіку предикатів, різні формалізовані мови тощо як знакові формальні системи. С. л. формулює правила оперування символами та побудованими з них виразами; правила добору символів та створення алфавіту формальної системи; правила поєднання символів між собою і створення формул, виділення множини правильно побудованих формул; правила упорядкування формул і побудови формальних систем шляхом виведення одних формул з інших, що подається у вигляді знакових перетворень над записами. Такі формальні системи часто називають логістичними системами. С. л. займається лише комбінаторними властивостями символів безвідносно до їхнього смислу С. мислова інтерпретація логістичних систем вивчається в логічній семантиці Л. огістичні системи виступають знаряддям перебудови змістових наукових теорій у математиці, мовознавстві, кібернетиці тощо при розв'язанні проблеми їх обґрунтування.