Формальная логика

формулировка арифметики в виде формальной (аксиоматической) системы (см. Аксиоматический метод). Язык Ф. А. Содержит константу 0, числовые переменные, символ равенства, функциональные символы +, •, ' (прибавление 1) и логические связки (см. Логические операции). Постулатами Ф. А. Являются аксиомы (См. Аксиома) и правила вывода (См. Правило вывода) исчисления предикатов (классического или интуиционистского в зависимости от того, какая Ф. А. Рассматривается), определяющие равенства для арифметиче..

в языкознании, одно из средств строгого описания естественных языков. Один из разделов математической лингвистики (См. Математическая лингвистика) (см. Грамматика формальная). ..

неинтерпретированное Исчисление, класс выражений (формул) которого задаётся обычно индуктивно – посредством задания исходных («элементарных», или «атомарных») формул и правил образования (построения) формул, а подкласс доказуемых формул (теорем) – посредством задания системы аксиом (См. Аксиома) и правил вывода (См. Правило вывода) (преобразования) теорем из аксиом и уже доказанных теорем. Термин «Ф. С.» имеет многочисленные синонимы (иногда, впрочем, этими терминами обозначают родственные, но ..

см. Аксиоматический метод.. ..

См. Логика.. ..

См. Логика.. ..

Наука, занимающаяся анализом структуры высказываний и доказательств, обращающая основное внимание на форму в отвлечении от содержания. Определение "формальная" было введено И. Кантом с намерением подчеркнуть ведущую особенность Ф.л. В подходе к изучаемым объектам и отграничить ее тем самым от др. Возможных логик (см. Логика).. ..

Или. Л о г и к а, — наука, занимающая­ся анализом структуры высказываний и доказательств, обраща­ющая основное внимание на форму в отвлечении от содержания (см. Содержание и форма). Определение «формальная» было введе­но И. Кантом (1724—1804) с намерением подчеркнуть ведущую особенность Ф. Л. В подходе к изучаемым объектам и отграничить ее тем самым от других возможных логик.. ..