| Agreed semantics are a prerequisite for enabling consistent and efficient progress on modernization. |
Согласованная семантика является предпосылкой для достижения последовательного и эффективного прогресса в области модернизации. |
| Intension semantics for the systems of positive syllogistics. |
Интенсиональная семантика для систем позитивной силлогистики. |
| Cognitive semantics has sought to challenge traditional theories in two ways: first, by providing an account of the meaning of sentences by going beyond truth-conditional accounts; and second, by attempting to go beyond accounts of word meaning that appeal to necessary and sufficient conditions. |
Когнитивная семантика стремится бросить двойной вызов традиционным теориям: во-первых, она пытается объяснить смысл предложения способами, выходящими за границы теории явления-условия; и, во-вторых, она стремится выйти за рамки понимания смысла слова с помощью необходимых и достаточных условий. |
| The main modern approaches to semantics for formal languages are the following: Model-theoretic semantics is the archetype of Alfred Tarski's semantic theory of truth, based on his T-schema, and is one of the founding concepts of model theory. |
Основными современными подходами к семантике для формальных языков являются: Теоретико-модельная семантика, архетип семантики теории истинности Альфреда Тарского, основанной на его Т-схеме, является одной из ключевых концепций модельной теории. |
| Model-theoretic semantics provides the foundations for an approach to the theory of meaning known as Truth-conditional semantics, which was pioneered by Donald Davidson. |
На модельно-теоретической семантике основан подход в теории смысла под названием семантика условной Истины, который впервые был предложен Дональдом Девидсоном. |