В логической семиотике функтор, посредством которого из высказываний (семантическая категория аргументобразуется новое, более сложное высказывание (вновь образуемая семантическая категория), называют
(*ответ*) пропозициональным
именным
смешанным
функторальным
В логическом анализе знаковую систему искусственного языка как логическое исчисление представляет
(*ответ*) синтаксис
суждение
понятие
семантика
В логическом исчислении такое его свойство, когда выводимость некоторой произвольной формулы, например формулы А, не сопровождается выводимостью ее отрицания, те формулы «неверно, что А» называется
(*ответ*) непротиворечивостью
формализацией
аксиоматизацией
интерпретацией
В языке науки совокупность специальных терминов (те слов, принимающих в рамках какой-либо теории одно-единственное значение) и выражений, фиксирующих объекты, их свойства и отношения из предметной области данной отрасли знания, представляет собой
(*ответ*) лексика
грамматика
оператор
предикат
Внешние признаки предметов, как правило, отображает
(*ответ*) чувственное познание
формализация
мышление
интерпретация
Внутреннюю, необходимую и существенную связь явлений называют
(*ответ*) законом
умозаключением
методом
научной теорией
Возможность выражения смысла этого знака другими знаками, способными заменить его, считается значением знака
(*ответ*) структурным
предметным
смысловым
экспрессивным
Всякую систему, состоящую из непустого множества и какого-либо соответствия, относящего к каждому символу формализованного языка какое-нибудь отношение в данной области, или какую-либо операцию, или какой-нибудь элемент указанной предметной области, понимают как
(*ответ*) интерпретацию
формализацию
аксиоматизацию
абсолютизацию
Вторая ступень познания включает
(*ответ*) понятие
представление
восприятие
ощущение
Вторая ступень познания включает
(*ответ*) умозаключение
представление
восприятие
ощущение
Выражение, включающее именные функции или пропозициональные переменные и превращающееся в высказывание при подстановке на их место конкретных значений, называют
(*ответ*) пропозициональной функцией
оператором
метаязыком
функтором