| dbo:abstract
|
- 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. Un objectiu important de la construcció d'una semàntica formal per a un llenguatge formal és la caracterització de la relació de conseqüència lògica en termes semàntics, i la demostració de metateoremes a partir d'aquesta caracterització. Una vegada definit el que és una interpretació per a un llenguatge formal, es diu que una fórmula A és una conseqüència semàntica d'un conjunt de fórmules , si i només si per a tota interpretació que fa vertaderes a les fórmules en , A també és veritable. (ca)
- Τυπική σημασιολογία (formal semantics) είναι η μελέτη της σημασιολογίας ή της των τυπικών και των φυσικών γλωσσών, μέσω της τυπικής περιγραφής τους, δηλαδή με μαθηματικούς όρους. Μια τυπική γλώσσα μπορεί να οριστεί ανεξάρτητα από την ερμηνεία της. Αυτό γίνεται με τον ορισμό ενός συνόλου από σύμβολα (που αποκαλείται και αλφάβητο) και ενός συνόλου από (γνωστού και σαν τυπική γραμματική, αγγλ. formal grammar) που καθορίζουν ποιες συμβολοσειρές συμβόλων είναι καλώς ορισμένες. Όταν προστίθενται κανόνες μετασχηματισμού (γνωστοί και σαν κανόνες συναγωγής, αγγλ. rules of inference) και κάποιες προτάσεις γίνονται δεκτές σαν αξιώματα (που μαζί αποκαλούνται , αγγλ. deductive system), σχηματίζεται ένα λογικό σύστημα. Μια ερμηνεία είναι η αντιστοίχιση σημασίας σε αυτά τα σύμβολα και τιμών αληθείας στις προτάσεις. Οι συνθήκες αλήθειας διάφορων προτάσεων που συναντώνται εξαρτώνται από τη σημασία τους και για αυτόν το λόγο πολλοί επιστήμονες της λογικής δε μπορούν να αποφύγουν κάποιου τύπου μελέτη της σημασίας των προτάσεων αυτών. Η σημασιολογία της λογικής (semantics of logic) αναφέρεται στους διάφορους τρόπους προσέγγισης που έχουν εισάγει οι επιστήμονες της λογικής για να κατανοήσουν και να εντοπίσουν το μέρος της σημασίας που τους ενδιαφέρει - συνήθως δεν ενδιαφέρονται για την πρόταση που λέγεται αλλά για την "πρόταση" ("proposition"), μια εξιδανικευμένη πρόταση που μπορεί να χειριστεί λογικά. (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. Un objetivo importante de la construcción de una semántica formal para un lenguaje formal es la caracterización de la relación de consecuencia lógica en términos semánticos, y la demostración de metateoremas a partir de esa caracterización. Una vez definido lo que es una interpretación para un lenguaje formal, se dice que una fórmula A es una consecuencia semántica de un conjunto de fórmulas , si y sólo si para toda interpretación que hace verdaderas a las fórmulas en , A también es verdadera. (es)
- 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)
- 形式意味論（けいしきいみろん、formal semantics）とは、自然言語や、コンピュータプログラミング言語の意味論（プログラム意味論）において、その「意味」、たとえば自然言語であれば「全ての犬は黒い」「ある犬は黒い」「全ての犬は黒くない」「ある犬は黒くない」の各文にはそれぞれ対称的な意味があるわけだが、それを形式的（formal）にあらわさんとする、あるいはプログラミング言語においては、それで書かれたプログラムをコンピュータに実行させた結果どのようにコンピュータが動作するのか（「効果」などとも言う）を、形式的にあらわさんとしたものである。この記事では主として自然言語およびそれに近い分野のものについて述べる。プログラミング言語の意味論に関してはプログラム意味論の記事を参照のこと。 自然言語においては、自然言語を一種の形式的体系と捉え、文の意味はその構成要素から一定の手順に従って構成的に決定されると考える立場である。集合、論理記号など数学で用いる概念を理論に応用して自然言語の文のの規定や、前提・含意・矛盾などの論理的関係を記述することを目標とする。論理学者モンタギューの研究に端を発し、現在では多様な理論的枠組みが提案されている。自然言語処理にも応用されている。 形式意味論は、言語と外界との直接の結びつきを仮定し、実際に言語を用いる人間の認知活動を捨象しているため、主に認知意味論の研究者からの強い批判もある。ただし、批判の中には形式意味論の研究者によっても既に自覚されて、理論の改良が試みられているものもある。 (ja)
- 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. In de logica wordt verder steeds uitgegaan van bepaalde premissen, presupposities en/of axiomata. Op basis hiervan wordt met behulp van transformatieregels toegewerkt naar een conclusie. De kloof tussen de logica en de linguïstiek is overbrugd door met name Richard Montague. Deze taalfilosoof wordt wel beschouwd als de grondlegger van de formele semantiek. In de door Montague ontworpen grammatica zijn alle zinnen gemodelleerd. Dit systeem was grotendeels gebaseerd op het eerder door Gottlob Frege alternatieve schriftsysteem, waarbij was uitgegaan van het idee dat een analyse van betekenis gegeven kan worden louter aan de hand van 1) de concepten waar door middel van symbolen naar verwezen wordt en 2) de waarheidscondities van deze termen. Niettemin vertoont dit door Frege bedachte en door Montague verder uitgewerkte systeem enkele fundamentele gebreken. Zo volgt er bijvoorbeeld uit dat in het zinspaar Ik zie een man - Hij draagt een hoed de betekenis van de anafoor hij in de tweede zin volledig los zou staan van de eerste zin. (nl)
- Логическая семантика («рассуждение», «мысль», «разум») — раздел логики, в котором изучаются отношения к обозначаемым ими объектам и выражаемому ими содержанию. (ru)
- 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.) Uma linguagem formal pode ser definida longe de qualquer interpretação disso. Isso é feito por uma designação de um conjunto de símbolos (também chamados de alfabeto) e um conjunto de regras de formação (também denominadas de gramática formal) que determinam quais cadeias de caracteres de símbolos são fórmulas bem formadas. Quando as regras de transformação (também denominadas regras da inferência) são adicionadas, e certas sentenças são aceitas como axiomas (juntos são chamados um sistema dedutivo ou um aparato dedutivo) um sistema lógico é formado. Uma interpretação de uma linguagem formal é (grosseiramente falando) uma atribuição de significados à seus símbolos e condições-verdade (valores-verdade) às suas sentenças. (pt)
- В логіці семантика логіки є дисципліна, що вивчає семантику (інтерпретації) формальних та природних мов шляхом їх формального опису в математичних термінах. Формальна мова може бути задана без будь-якої інтерпретації. Це досягається заданням множини символів (так званого алфавіту) і множини правил виведення (так званої формальної граматики), що визначають, які рядки символів є правильно побудованими формулами. При додаванні правил перетворення і прийнятті деяких пропозицій аксіом (що разом називається дедуктивної системою) формується логічна система. Інтерпретація — це надання сенсу її символам і значень істинності її пропозицій. Умови істинності різних пропозицій, які можуть бути присутніми в аргументах, залежать від їхнього змісту, тому сумлінні вчені не можуть повністю обійтися без будь-якого опису сенсу цих пропозицій. Семантика логіки описує різні підходи до розуміння і визначення тих частин сенсу, які цікаві. Як правило, інтерес з точки зору логіки представляє не сама по собі пропозиція, а вона ж в пропозиційній, ідеалізованої формі, придатній для логічних перетворень. До становлення сучасної логіки, в «Органоні» Аристотеля, а саме в роботі «Про тлумачення» були задані основи розуміння і значення логіки. Введення кванторів мало вирішити проблему спільності множин, не вирішувану в рамках суб'єктно-предикатного аналізу Аристотеля, хоча в логіці термів з'являється новий інтерес, а саме спроби побудувати числення в дусі силогістики Аристотеля, використовуючи властивості спільності кванторів з сучасної логіки. Основні сучасні підходи до семантики формальних мов є:
* Теоретико-модельна семантика, архетип семантики теорії істинності Альфреда Тарського, заснований на його , є однією з ключових концепцій модельної теорії. Це один з найбільш поширених підходів. Основна його ідея в тому, що зміст різноманітних частин твердження задається всілякими способами рекурсивного завдання групи функцій інтерпретації, що відображають пропозиції на деякі наперед задані математичні множини. Так, інтерпретація логіки предикатів першого порядку задається відображенням термів в універсум, і відображення предикатів в значення істинності «істина» і «хиба». На модельно-теоретичній семантиці заснований підхід в теорії сенсу під назвою семантика умовної істини, який вперше був запропонований Дональдом Девідсоном. Семантика Крипке по суті вносить деякі доповнення до семантики Тарського.
* Теоретико-доказова семантика пов'язує сенс тверджень з ролями, які вони відіграють в міркуванні. Ґергард Ґенцен, і Майкл Дамміт вважаються засновниками цього підходу. На них сильно вплинула пізня філософія Людвіга Вітґенштайна, особливо його афоризм «сенс — це застосування».
* (також відома як підставкова квантифікація) була запропонована для модальних логік на початку 1960-х і потім розвинена в працях Дана (англ. Michael Dunn), Белнапа (англ. Nuel Belnap) і Леблана (англ. Hugues Leblanc) як стандартна логіка першого порядку. Джеймс Гарсон (англ. James Garson) отримав деякі результати в областях адекватності інтенсіональних логік, забезпечених такою семантикою. Умови істинності квантифікованих формул задаються виключно в термінах істинності, без використання множин (звідси і назва).
* недавно була відроджена Яакко Гінтікка для логік (кінцевої) частково покритої квантифікації, які спочатку досліджувалися .
* — узагальнення семантики значень істинності, створена Філдом (англ. Hartry Field). Лінгвісти рідко застосовували формальні семантики доти, поки не показав як можна сприймати англійську (або будь-яку іншу мову) як формальну мову. Його вклад в лінгвістичну семантику, відомий як граматика Монтегю, яка представляє основу для того, що лінгвісти називають формальною семантикою. (uk)
- 我们在论证中可能遇到的各种句子/判决的有效性条件依赖于它们的意义，所以负责任的逻辑学家不能完全避免提供某种处理这些句子的意义的需求。逻辑的语义指称逻辑学家已经介入来理解和确定他们感兴趣的意义部分的方式；逻辑学家在传统上只对是命题的句子感兴趣，它是适合逻辑操纵的理想的句子。 直到现代逻辑出现之前，亚里士多德的工具论特别是解释篇，提供了理解逻辑意义的基础。量化的介入需要解决多重普遍性问题，表现出了亚里士多德的逻辑所支配的主词-谓词分析不能处理的那些种类，尽管对词项逻辑的兴趣正在复兴，尝试找到符合亚里士多德三段论精神并且使用基于量词的现代逻辑一般性的演算。 (zh)
|
| 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)
|
