| Proof-theoretic semantics associates the meaning of propositions with the roles that they can play in inferences. |
Теоретико-доказательная семантика связывает смысл утверждений с ролями, которые они играют в рассуждении. |
| Note to self, look up the word "semantics." |
Пометка для себя, найти слово "семантика". |
| Along these lines, cognitive semantics argues that compositionality can only be intelligible if pragmatic elements like context and intention are taken into consideration. |
Следовательно, когнитивная семантика утверждает, что рационализация композициональности может иметь место лишь в том случае, если принимаются во внимание такие прагматические элементы как контекст и намерение. |
| Game-theoretical semantics has made a resurgence lately mainly due to Jaakko Hintikka for logics of (finite) partially ordered quantification which were originally investigated by Leon Henkin, who studied Henkin quantifiers. |
Теоретико-игровая семантика недавно была возрождена Яакко Хинтиккой для логик (конечной) частично покрытой квантификации, которые изначально исследовались Леоном Хенкиным. |
| 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. |
Когнитивная семантика стремится бросить двойной вызов традиционным теориям: во-первых, она пытается объяснить смысл предложения способами, выходящими за границы теории явления-условия; и, во-вторых, она стремится выйти за рамки понимания смысла слова с помощью необходимых и достаточных условий. |