| rdfs:comment
| - In logic, the semantics of logic or formal semantics is the study of the semantics, or interpretations, of formal and (idealizations of) natural languages usually trying to capture the pre-theoretic notion of entailment. (en)
- En logique, la sémantique de la logique est l'étude de la sémantique, ou l'interprétation, des langages formels et naturels qui, en général, tentent de saisir la notion pré-théorique de déduction. (fr)
- Логическая семантика («рассуждение», «мысль», «разум») — раздел логики, в котором изучаются отношения к обозначаемым ими объектам и выражаемому ими содержанию. (ru)
- 我们在论证中可能遇到的各种句子/判决的有效性条件依赖于它们的意义，所以负责任的逻辑学家不能完全避免提供某种处理这些句子的意义的需求。逻辑的语义指称逻辑学家已经介入来理解和确定他们感兴趣的意义部分的方式；逻辑学家在传统上只对是命题的句子感兴趣，它是适合逻辑操纵的理想的句子。 直到现代逻辑出现之前，亚里士多德的工具论特别是解释篇，提供了理解逻辑意义的基础。量化的介入需要解决多重普遍性问题，表现出了亚里士多德的逻辑所支配的主词-谓词分析不能处理的那些种类，尽管对词项逻辑的兴趣正在复兴，尝试找到符合亚里士多德三段论精神并且使用基于量词的现代逻辑一般性的演算。 (zh)
- La semàntica formal és l'estudi de les interpretacions dels llenguatges formals. Els llenguatges formals poden definir-se sense necessitat de donar cap significat a les seves expressions. Una interpretació d'un 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. (ca)
- Τυπική σημασιολογία (formal semantics) είναι η μελέτη της σημασιολογίας ή της των τυπικών και των φυσικών γλωσσών, μέσω της τυπικής περιγραφής τους, δηλαδή με μαθηματικούς όρους. Μια τυπική γλώσσα μπορεί να οριστεί ανεξάρτητα από την ερμηνεία της. Αυτό γίνεται με τον ορισμό ενός συνόλου από σύμβολα (που αποκαλείται και αλφάβητο) και ενός συνόλου από (γνωστού και σαν τυπική γραμματική, αγγλ. formal grammar) που καθορίζουν ποιες συμβολοσειρές συμβόλων είναι καλώς ορισμένες. Όταν προστίθενται κανόνες μετασχηματισμού (γνωστοί και σαν κανόνες συναγωγής, αγγλ. rules of inference) και κάποιες προτάσεις γίνονται δεκτές σαν αξιώματα (που μαζί αποκαλούνται , αγγλ. deductive system), σχηματίζεται ένα λογικό σύστημα. Μια ερμηνεία είναι η αντιστοίχιση σημασίας σε αυτά τα σύμβολα και τιμών αληθείας στ (el)
- 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. (es)
- 形式意味論（けいしきいみろん、formal semantics）とは、自然言語や、コンピュータプログラミング言語の意味論（プログラム意味論）において、その「意味」、たとえば自然言語であれば「全ての犬は黒い」「ある犬は黒い」「全ての犬は黒くない」「ある犬は黒くない」の各文にはそれぞれ対称的な意味があるわけだが、それを形式的（formal）にあらわさんとする、あるいはプログラミング言語においては、それで書かれたプログラムをコンピュータに実行させた結果どのようにコンピュータが動作するのか（「効果」などとも言う）を、形式的にあらわさんとしたものである。この記事では主として自然言語およびそれに近い分野のものについて述べる。プログラミング言語の意味論に関してはプログラム意味論の記事を参照のこと。 自然言語においては、自然言語を一種の形式的体系と捉え、文の意味はその構成要素から一定の手順に従って構成的に決定されると考える立場である。集合、論理記号など数学で用いる概念を理論に応用して自然言語の文のの規定や、前提・含意・矛盾などの論理的関係を記述することを目標とする。論理学者モンタギューの研究に端を発し、現在では多様な理論的枠組みが提案されている。自然言語処理にも応用されている。 (ja)
- Na lógica, semântica formal ou lógica semântica, é o estudo da semântica ou interpretações (idealizações) de linguagens naturais e formais, geralmente tentando captar a noção pré-teórica de implicação (ou consequência lógica). (Apesar de ambos linguística e lógica reividicarem o fornecimento de teorias na linguagem natural, de acordo com Geach, a lógica normalmente ignora o "idiotismo do idioma", e vê as linguagens naturais como idiomas confusos de interesses não-lógicos.) (pt)
- Formele semantiek is de overkoepelende term voor de manier waarop zowel de semantiek en de logica als de gewone taal en de formele taal (bijvoorbeeld computertaal) worden beschreven. Aan de basis van al deze systemen ligt hetzelfde, namelijk het gebruik van bepaalde reeksen symbolen (bijv, een alfabet) waaraan door middel van interpretatie een betekenis wordt toegekend. Met behulp hiervan kunnen zowel alle natuurlijke talen alsook programmeertalen, codes etc. worden beschreven en ontcijferd. (nl)
- В логіці семантика логіки є дисципліна, що вивчає семантику (інтерпретації) формальних та природних мов шляхом їх формального опису в математичних термінах. Формальна мова може бути задана без будь-якої інтерпретації. Це досягається заданням множини символів (так званого алфавіту) і множини правил виведення (так званої формальної граматики), що визначають, які рядки символів є правильно побудованими формулами. При додаванні правил перетворення і прийнятті деяких пропозицій аксіом (що разом називається дедуктивної системою) формується логічна система. Інтерпретація — це надання сенсу її символам і значень істинності її пропозицій. (uk)
|
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)