Мова науки логіки. Таблиця логічних символів
Події та новини кафедри
Анотація
У даній доповіді висвітлено такі поняття як «логічна мова», «логічний символ», досліджено сутність мови сучасної логіки та проведено детальний аналіз кожного її виду (формалізована і неформалізована мова, мова певного типу логіки, семантична і синтаксична мови певної логічної теорії, метамова, логічна схема). Також розглянуто таблицю логічних символів з поясненнями та наведеними прикладами. У логіці, набір символів зазвичай використовується, щоб висловити логічне представлення. Актуальність доповіді полягає в тому, що логічні символи часто зустрічаються як на практиці, так і в житті в різноманітних ситуаціях. Поза логікою, різні символи мають однаковий зміст, тоді як один і той самий символ має, в залежності від контексту, різні значення.