система логики предикатов более высокого порядка, чем первый, включающая переменные различных уровней, типов и ограничения на подстановку термов вместо переменных.
Все типы отличаются социальными и идеологическими позициями.... Германия и Италия наиболее яркие примеры данного журналистского типа.... Религиозно – клерикальный тип относится к особой прессе.... Теории журналистики
С момента основания журналистики принято разделять несколько теорий ее возникновения... Теория социальной ответственности появилась в США в XX веке.
В данной статье обосновывается идея о том, что перевод является важным вспомогательным средством, которое обеспечивает выполнение языком его функции общения, когда люди выражают свои мысли на разных языках. Ведущее место в современном переводоведении принадлежит лингвистическому переводоведении, изучающему перевод как лингвистическое явление. Перевод является передачей смысла того, что сказано или написано на одном языке, средствами другого языка. Рассмотрено, каким должен быть переводчик и какие задачи он должен решать.
К общим теориям в социологии относятся:
теория социального действия Вебера;
теория общественных формаций... Отношения между общей, специальной и отраслевой теориями выстраиваются по типу обратной связи.... типы социальных теорий:
Фундаментальные теории.... типутеорий.... Другие типы социальных теорий
Динамические теории характеризуют строго однозначно поведение социальной
В статье описывается подход к анализу пропозициональных установок, опирающийся на теоретико-типовую семантику, предложенную А. Ранта и основанную на теории типов П. Мартин-Лёфа. Теоретико-типовая семантика в явном виде содержит контексты и способы извлечения информации из них. Это позволяет корректно формализовать зависимость от контекста, характерную для пропозициональных установок. В статье контекст представляется в виде типа зависимой суммы (тип Record в системе работы с доказательствами Coq), при этом подход А. Ранта уточняется и применяется к анализу фразы Куайна «Ральф верит, что кто-то шпион». Описано три варианта формализации этой фразы, которые различаются содержанием контекстуального знания и способом вывода из него истинностных значений фразы. Связь между контекстами устанавливается функцией преобразования, позволяющей соотносить значения истинности. В результате, средства для работы с контекстами, предоставляемые теоретико-типовой семантикой, позволяют избежать проблем н...
один из наиболее известных логических парадоксов. В простейшем его варианте человек произносит одну фразу: «Я лгу». Или говорит: «Высказывание, которое я сейчас произношу, является ложным». Или: «Это высказывание ложно». Если высказывание ложно, то говорящий сказал правду и, значит, сказанное им не является ложью. Если же высказывание не является ложным, а говорящий утверждает, что оно ложно, то его высказывание ложно. Оказывается, таким образом, что, если говорящий лжет, он говорит правду, и наоборот.
