| Information | |
|---|---|
| has gloss | (noun) the branch of semantics that studies the logical aspects of meaning formal semantics |
| has gloss | eng: :See also Formal semantics of programming languages. Formal semantics is the study of the semantics, or interpretations, of formal and also natural languages. A formal language can be defined apart from any interpretation of it. This is done by designating a set of symbols (also called an alphabet) and a set of formation rules (also called a formal grammar) which determine which strings of symbols are well-formed formulas. When transformation rules (also called rules of inference) are added, and certain sentences are accepted as axioms (together called a deductive system or a deductive apparatus) a logical system is formed. An interpretation is an assignment of meanings to these symbols and truth-values to its sentences. |
| lexicalization | eng: Formal semantics |
| subclass of | (noun) the study of language meaning semantics |
| Meaning | |
|---|---|
| Catalan | |
| has gloss | cat: La semàntica formal és lestudi de les interpretacions dels llenguatges formals. Els llenguatges formals poden definir-se sense necessitat de donar cap significat a les seves expressions. Una interpretació dun llenguatge formal és bàsicament una assignació de significats als seus símbols, i de condicions de veritat a les seves fórmules ben formades. |
| lexicalization | cat: semàntica formal |
| French | |
| lexicalization | fra: sémantique formelle |
| Hungarian | |
| has gloss | hun: A logikai szemantika a logika azon fejezete, amely a nyelvi elemek jelentését logikai szemszögből kívánja feltárni, elemezni. Szorosan kapcsolódik a logikai grammatikához, mely a nyelvi elemek formai követelményeket figyelembe vevő logikai szerkezetét vizsgálja. Lényeges kérdés a logikai szemantikában, hogy a jelentés meghatározza-e a nyelv mondatainak igazságát és ha igen milyen módon. |
| lexicalization | hun: logikai szemantika |
| Japanese | |
| has gloss | jpn: 形式意味論(formal semantics)は自然言語の意味論の一つであり、自然言語を一種の形式的体系と捉え、文の意味はその構成要素から一定の手順に従って構成的に決定されると考える立場である。集合、論理記号など数学で用いる概念を理論に適用して自然言語の文の真理条件の規定や、前提・含意・矛盾などの論理的関係を記述することを目標とする。論理学者モンタギューの研究に端を発し、現在では多様な理論的枠組みが提案されているほか、自然言語処理への応用も試みられている。 |
| lexicalization | jpn: 形式意味論 |
| Dutch | |
| has gloss | nld: Formele semantiek is de overkoepelende term voor de manier waarop zowel de semantiek en de logica als de gewone taal en de formele taal (bijv. computertaal) wordt beschreven. Aan de basis van al deze systemen ligt hetzelfde, nl. het gebruik van bepaalde reeksen symbolen (bijv, een alfabet) waar door middel van interpretatie een betekenis aan wordt toegekend. Met behulp hiervan kunnen zowel alle natuurlijke talen alsook programmeertalen, codes etc. worden beschreven en ontcijferd. |
| lexicalization | nld: Formele semantiek |
| Portuguese | |
| lexicalization | por: semântica formal |
| Russian | |
| has gloss | rus: Формальная семантика — это наука о семантике, или интерпретации формальных и естественных языков. Формальный язык может быть задан без какой-либо интерпретации. Это достигается заданием множества символов (также известного как алфавит) и множества правил вывода (также изестного как формальная грамматика), которые определяют, какие строки символов являются правильно построенными формулами. Когда добавляются правила преобразования, и некоторые предложения принимаются как аксиомы (что вместе называется дедуктивной системой), формируется логическая система. Интерпретация — это задание смысла её символам и булевых выражений её предложениям. |
| lexicalization | rus: Формальная семантика |
| Castilian | |
| has gloss | spa: La semántica formal es el estudio de las interpretaciones de los lenguajes formales. Los lenguajes formales pueden definirse sin necesidad de dar ningún significado a sus expresiones. Una interpretación de un lenguaje formal es básicamente una asignación de significados a sus símbolos, y de condiciones de verdad a sus fórmulas bien formadas. |
| lexicalization | spa: Semantica formal |
| lexicalization | spa: semántica formal |
| Chinese | |
| has gloss | zho: 我们在论证中可能遇到的各种句子/判决的有效性条件依赖于它们的意义，所以负责任的逻辑学家不能完全避免提供某种处理这些句子的意义的需求。逻辑的语义指称逻辑学家已经介入来理解和确定他们感兴趣的意义部分的方式；逻辑学家在传统上只对是命题的句子感兴趣，它是适合逻辑操纵的理想的句子。 |
| lexicalization | zho: 逻辑的语义 |
| Links | |
|---|---|
| similar | e/Formal semantics |
Lexvo © 2008-2025 Gerard de Melo. Contact Legal Information / Imprint