| Proof-theoretic semantics associates the meaning of propositions with the roles that they can play in inferences. |
Теоретико-доказательная семантика связывает смысл утверждений с ролями, которые они играют в рассуждении. |
| (The retort "That's only semantics," is a way of saying that a statement only concerns the definitions of words, instead of anything important in the physical world.) |
(Возражение «Это только семантика», является способом сказать, что утверждение касается только определений слов, вместо чего-нибудь важного в физическом мире). |
| Semantics claims that most differences in opinions don't really exist. |
Семантика утверждает, что различных мнений, на самом деле, не существует. |
| In contrast to description logic based ontology formalism the semantics of F-logic are normally that of a closed world assumption as opposed to DL's open world assumption. |
В отличие от формализма дескриптивной онтологии, семантика F-логики совместима с гипотезой замкнутого мира. |
| He developed a semantics of intuitionistic logic based on Husserl's phenomenology, and this semantics was used by Arend Heyting in his own formalization. |
Он разработал семантику интуиционистской логики на основе гуссерлевской феноменологии, и эта семантика впоследствии была использована Арендом Гейтингом для развития собственного подхода. |