An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

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.

Property Value
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"), μια εξιδανικευμένη πρόταση που μπορεί να χειριστεί λογικά. Μέχρι την εμφάνιση της σύγχρονης λογικής, η βάση της κατανόησης της σημασίας της λογικής ήταν το Όργανον του Αριστοτέλη, και ειδικά το Περί Ερμηνείας. Η εισαγωγή των ποσοδεικτών, που χρειάζονταν για την επίλυση του προβλήματος της πολλαπλής γενικότητας (problem of multiple generality), απέκλεισε την ανάλυση τύπου υποκείμενο-πρόταση στην οποία βασιζόταν ο Αριστοτέλης, αν και υπάρχει πάλι ενδιαφέρον σχετικά με την , που προσπαθεί να βρει λογισμούς που να συμφωνούν με τη συλλογιστική του Αριστοτέλη αλλά να έχουν τη γενικότητα των σύγχρονων λογικών που βασίζονται στους ποσοδείκτες. Οι βασικές σύγχρονες προσεγγίσεις στη σημασιολογία των τυπικών γλωσσών είναι: * Η μοντελο-θεωρητική σημασιολογία (model-theoretic semantics) αποτελεί το αρχέτυπο της σημασιολογικής θεωρίας της αλήθειας του Άλφρεντ Τάρσκι, που βασίζεται στο του και είναι μια από τις βασικές ιδέες της θεωρίας μοντέλων. Είναι η πιο διαδεδομένη προσέγγιση και βασίζεται στην ιδέα ότι η σημασία των διάφορων τμημάτων μιας πρότασης δίνεται από τους πιθανούς τρόπους με τους οποίους μπορεί να δοθεί ένα σύνολο από αναδρομικά ορισμένες συναρτήσεις από από αυτά σε κάποια προκαθορισμένα μαθηματικά πεδία: μια της δίνεται από μια αντιστοίχιση από τους όρους σε ένα σύμπαν (universe) ξεχωριστών οντοτήτων (individuals), και μια αντιστοίχιση από προτάσεις στις τιμές αλήθειας "αληθές" και "ψευδές". Η μοντελο-θεωρητική σημασιολογία παρέχει τις βάσεις για μια προσέγγιση στη θεωρία της σημασίας που ονομάζεται (truth-conditional semantics), η οποία αρχικά μελετήθηκε από τον . Η εισάγει καινοτομίες αλλά ανήκει στον τρόπο σκέψης του Τάρσκι. * Η αποδεικτικο-θεωρητική σημασιολογία (proof-theoretic semantics) αντιστοιχίζει τη σημασία των προτασεων με τους ρόλους που μπορούν να παίξουν στις λογικές συνεπαγωγές. Ιδρυτές αυτής της προσέγγισης θεωρούνται συνήθως οι , και ενώ έχει επηρεαστεί ιδιαίτερα από τη μεταγενέστερη φιλοσοφία του Λούντβιχ Βιτγκενστάιν, και ειδικότερα από τον αφορισμό του "η σημασία είναι η χρήση" ("meaning is use"). * Η σημασιολογία τιμών αληθείας (truth-value semantics, συχνά αναφερόμενη και με τον αγγλικό όρο substitutional quantification) προτάθηκε από τη για τροπικές λογικές (modal logics) στις αρχές της δεκαετίας του 1960 και αργότερα χρησιμοποιήθηκε από τους Dunn, Belnap και Leblanc για την απλή λογική πρώτου βαθμού. Ο James Garson έχει δώσει κάποια αποτελέσματα στις περιοχές σχετικά με την επάρκεια των (intensional logics) που έχουν τέτοια σημασιολογία. Οι συνθήκες αλήθειας για προτάσεις με ποσοδείκτες δίνονται μόνο με βάση την αλήθεια, χωρίς χρήση κανενός πεδίου (και από αυτό προκύπτει και το όνομα της σημασιολογίας). * Η παιγνιο-θεωρητική σημασιολογία (game-theoretical semantics) έχει επιστρέψει στο προσκήνιο χάρη στον για λογικές (πεπερασμένα) μερικώς διατεταγμένων ποσοδεικτών. Αρχικά μελετήθηκε από τον , με το όνομα ποσοδείκτες Henkin. * Η πιθανοτική σημασιολογία (probabilistic semantics) άρχισε από τη δουλειά του H. Field και έχει αποδειχτεί ισοδύναμη και φυσική γενίκευση της σημασιολογίας τιμών αληθείας. Όπως και η σημασιολογία τιμών αληθείας, είναι μη-αναφορική (non-referential). Οι γλωσσολόγοι χρησιμοποιούσαν σπάνια τυπική σημασιολογία μέχρι ο Ρίτσαρντ Μόνταγκιου έδειξε πώς η Αγγλική γλώσσα (και κάθε φυσκή γλώσσα) μπορεί να χειριστεί σαν τυπική γλώσσα. Η προσφορά του στη σημασιολογία της γλωσσολογίας, γνωστή και σαν γραμματική Μόνταγκιου, αποτελεί τη βάση αυτού που οι γλωσσολόγοι σήμερα αποκαλούν τυπική σημασιολογία. (el)
  • 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)
  • 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)
  • 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)
  • В логіці семантика логіки є дисципліна, що вивчає семантику (інтерпретації) формальних та природних мов шляхом їх формального опису в математичних термінах. Формальна мова може бути задана без будь-якої інтерпретації. Це досягається заданням множини символів (так званого алфавіту) і множини правил виведення (так званої формальної граматики), що визначають, які рядки символів є правильно побудованими формулами. При додаванні правил перетворення і прийнятті деяких пропозицій аксіом (що разом називається дедуктивної системою) формується логічна система. Інтерпретація — це надання сенсу її символам і значень істинності її пропозицій. Умови істинності різних пропозицій, які можуть бути присутніми в аргументах, залежать від їхнього змісту, тому сумлінні вчені не можуть повністю обійтися без будь-якого опису сенсу цих пропозицій. Семантика логіки описує різні підходи до розуміння і визначення тих частин сенсу, які цікаві. Як правило, інтерес з точки зору логіки представляє не сама по собі пропозиція, а вона ж в пропозиційній, ідеалізованої формі, придатній для логічних перетворень. До становлення сучасної логіки, в «Органоні» Аристотеля, а саме в роботі «Про тлумачення» були задані основи розуміння і значення логіки. Введення кванторів мало вирішити проблему спільності множин, не вирішувану в рамках суб'єктно-предикатного аналізу Аристотеля, хоча в логіці термів з'являється новий інтерес, а саме спроби побудувати числення в дусі силогістики Аристотеля, використовуючи властивості спільності кванторів з сучасної логіки. Основні сучасні підходи до семантики формальних мов є: * Теоретико-модельна семантика, архетип семантики теорії істинності Альфреда Тарського, заснований на його , є однією з ключових концепцій модельної теорії. Це один з найбільш поширених підходів. Основна його ідея в тому, що зміст різноманітних частин твердження задається всілякими способами рекурсивного завдання групи функцій інтерпретації, що відображають пропозиції на деякі наперед задані математичні множини. Так, інтерпретація логіки предикатів першого порядку задається відображенням термів в універсум, і відображення предикатів в значення істинності «істина» і «хиба». На модельно-теоретичній семантиці заснований підхід в теорії сенсу під назвою семантика умовної істини, який вперше був запропонований Дональдом Девідсоном. Семантика Крипке по суті вносить деякі доповнення до семантики Тарського. * Теоретико-доказова семантика пов'язує сенс тверджень з ролями, які вони відіграють в міркуванні. Ґергард Ґенцен, і Майкл Дамміт вважаються засновниками цього підходу. На них сильно вплинула пізня філософія Людвіга Вітґенштайна, особливо його афоризм «сенс — це застосування». * (також відома як підставкова квантифікація) була запропонована для модальних логік на початку 1960-х і потім розвинена в працях Дана (англ. Michael Dunn), Белнапа (англ. Nuel Belnap) і Леблана (англ. Hugues Leblanc) як стандартна логіка першого порядку. Джеймс Гарсон (англ. James Garson) отримав деякі результати в областях адекватності інтенсіональних логік, забезпечених такою семантикою. Умови істинності квантифікованих формул задаються виключно в термінах істинності, без використання множин (звідси і назва). * недавно була відроджена Яакко Гінтікка для логік (кінцевої) частково покритої квантифікації, які спочатку досліджувалися . * — узагальнення семантики значень істинності, створена Філдом (англ. Hartry Field). Лінгвісти рідко застосовували формальні семантики доти, поки не показав як можна сприймати англійську (або будь-яку іншу мову) як формальну мову. Його вклад в лінгвістичну семантику, відомий як граматика Монтегю, яка представляє основу для того, що лінгвісти називають формальною семантикою. (uk)
  • Логическая семантика («рассуждение», «мысль», «разум») — раздел логики, в котором изучаются отношения к обозначаемым ими объектам и выражаемому ими содержанию. (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. 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"), μια εξιδανικευμένη πρόταση που μπορεί να χειριστεί λογικά. Μέχρι την εμφάνιση της σύγχρονης λογικής, η βάση της κατανόησης της σημασίας της λογικής ήταν το Όργανον του Αριστοτέλη, και ειδικά το Περί Ερμηνείας. Η εισαγωγή των ποσοδεικτών, που χρειάζονταν για την επίλυση του προβλήματος της πολλαπλής γενικότητας (problem of multiple generality), απέκλεισε την ανάλυση τύπου υποκείμενο-πρόταση στην οποία βασιζόταν ο Αριστοτέλης, αν και υπάρχει πάλι ενδιαφέρον σχετικά με την , που προσπαθεί να βρει λογισμούς που να συμφωνούν με τη συλλογιστική του Αριστοτέλη αλλά να έχουν τη γενικότητα των σύγχρονων λογικών που βασίζονται στους ποσοδείκτες. Οι βασικές σύγχρονες προσεγγίσεις στη σημασιολογία των τυπικών γλωσσών είναι: * Η μοντελο-θεωρητική σημασιολογία (model-theoretic semantics) αποτελεί το αρχέτυπο της σημασιολογικής θεωρίας της αλήθειας του Άλφρεντ Τάρσκι, που βασίζεται στο του και είναι μια από τις βασικές ιδέες της θεωρίας μοντέλων. Είναι η πιο διαδεδομένη προσέγγιση και βασίζεται στην ιδέα ότι η σημασία των διάφορων τμημάτων μιας πρότασης δίνεται από τους πιθανούς τρόπους με τους οποίους μπορεί να δοθεί ένα σύνολο από αναδρομικά ορισμένες συναρτήσεις από από αυτά σε κάποια προκαθορισμένα μαθηματικά πεδία: μια της δίνεται από μια αντιστοίχιση από τους όρους σε ένα σύμπαν (universe) ξεχωριστών οντοτήτων (individuals), και μια αντιστοίχιση από προτάσεις στις τιμές αλήθειας "αληθές" και "ψευδές". Η μοντελο-θεωρητική σημασιολογία παρέχει τις βάσεις για μια προσέγγιση στη θεωρία της σημασίας που ονομάζεται (truth-conditional semantics), η οποία αρχικά μελετήθηκε από τον . Η εισάγει καινοτομίες αλλά ανήκει στον τρόπο σκέψης του Τάρσκι. * Η αποδεικτικο-θεωρητική σημασιολογία (proof-theoretic semantics) αντιστοιχίζει τη σημασία των προτασεων με τους ρόλους που μπορούν να παίξουν στις λογικές συνεπαγωγές. Ιδρυτές αυτής της προσέγγισης θεωρούνται συνήθως οι , και ενώ έχει επηρεαστεί ιδιαίτερα από τη μεταγενέστερη φιλοσοφία του Λούντβιχ Βιτγκενστάιν, και ειδικότερα από τον αφορισμό του "η σημασία είναι η χρήση" ("meaning is use"). * Η σημασιολογία τιμών αληθείας (truth-value semantics, συχνά αναφερόμενη και με τον αγγλικό όρο substitutional quantification) προτάθηκε από τη για τροπικές λογικές (modal logics) στις αρχές της δεκαετίας του 1960 και αργότερα χρησιμοποιήθηκε από τους Dunn, Belnap και Leblanc για την απλή λογική πρώτου βαθμού. Ο James Garson έχει δώσει κάποια αποτελέσματα στις περιοχές σχετικά με την επάρκεια των (intensional logics) που έχουν τέτοια σημασιολογία. Οι συνθήκες αλήθειας για προτάσεις με ποσοδείκτες δίνονται μόνο με βάση την αλήθεια, χωρίς χρήση κανενός πεδίου (και από αυτό προκύπτει και το όνομα της σημασιολογίας). * Η παιγνιο-θεωρητική σημασιολογία (game-theoretical semantics) έχει επιστρέψει στο προσκήνιο χάρη στον για λογικές (πεπερασμένα) μερικώς διατεταγμένων ποσοδεικτών. Αρχικά μελετήθηκε από τον , με το όνομα ποσοδείκτες Henkin. * Η πιθανοτική σημασιολογία (probabilistic semantics) άρχισε από τη δουλειά του H. Field και έχει αποδειχτεί ισοδύναμη και φυσική γενίκευση της σημασιολογίας τιμών αληθείας. Όπως και η σημασιολογία τιμών αληθείας, είναι μη-αναφορική (non-referential). Οι γλωσσολόγοι χρησιμοποιούσαν σπάνια τυπική σημασιολογία μέχρι ο Ρίτσαρντ Μόνταγκιου έδειξε πώς η Αγγλική γλώσσα (και κάθε φυσκή γλώσσα) μπορεί να χειριστεί σαν τυπική γλώσσα. Η προσφορά του στη σημασιολογία της γλωσσολογίας, γνωστή και σαν γραμματική Μόνταγκιου, αποτελεί τη βάση αυτού που οι γλωσσολόγοι σήμερα αποκαλούν τυπική σημασιολογία. (el)
  • 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)
  • 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)
  • 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)
  • В логіці семантика логіки є дисципліна, що вивчає семантику (інтерпретації) формальних та природних мов шляхом їх формального опису в математичних термінах. Формальна мова може бути задана без будь-якої інтерпретації. Це досягається заданням множини символів (так званого алфавіту) і множини правил виведення (так званої формальної граматики), що визначають, які рядки символів є правильно побудованими формулами. При додаванні правил перетворення і прийнятті деяких пропозицій аксіом (що разом називається дедуктивної системою) формується логічна система. Інтерпретація — це надання сенсу її символам і значень істинності її пропозицій. Умови істинності різних пропозицій, які можуть бути присутніми в аргументах, залежать від їхнього змісту, тому сумлінні вчені не можуть повністю обійтися без будь-якого опису сенсу цих пропозицій. Семантика логіки описує різні підходи до розуміння і визначення тих частин сенсу, які цікаві. Як правило, інтерес з точки зору логіки представляє не сама по собі пропозиція, а вона ж в пропозиційній, ідеалізованої формі, придатній для логічних перетворень. До становлення сучасної логіки, в «Органоні» Аристотеля, а саме в роботі «Про тлумачення» були задані основи розуміння і значення логіки. Введення кванторів мало вирішити проблему спільності множин, не вирішувану в рамках суб'єктно-предикатного аналізу Аристотеля, хоча в логіці термів з'являється новий інтерес, а саме спроби побудувати числення в дусі силогістики Аристотеля, використовуючи властивості спільності кванторів з сучасної логіки. Основні сучасні підходи до семантики формальних мов є: * Теоретико-модельна семантика, архетип семантики теорії істинності Альфреда Тарського, заснований на його , є однією з ключових концепцій модельної теорії. Це один з найбільш поширених підходів. Основна його ідея в тому, що зміст різноманітних частин твердження задається всілякими способами рекурсивного завдання групи функцій інтерпретації, що відображають пропозиції на деякі наперед задані математичні множини. Так, інтерпретація логіки предикатів першого порядку задається відображенням термів в універсум, і відображення предикатів в значення істинності «істина» і «хиба». На модельно-теоретичній семантиці заснований підхід в теорії сенсу під назвою семантика умовної істини, який вперше був запропонований Дональдом Девідсоном. Семантика Крипке по суті вносить деякі доповнення до семантики Тарського. * Теоретико-доказова семантика пов'язує сенс тверджень з ролями, які вони відіграють в міркуванні. Ґергард Ґенцен, і Майкл Дамміт вважаються засновниками цього підходу. На них сильно вплинула пізня філософія Людвіга Вітґенштайна, особливо його афоризм «сенс — це застосування». * (також відома як підставкова квантифікація) була запропонована для модальних логік на початку 1960-х і потім розвинена в працях Дана (англ. Michael Dunn), Белнапа (англ. Nuel Belnap) і Леблана (англ. Hugues Leblanc) як стандартна логіка першого порядку. Джеймс Гарсон (англ. James Garson) отримав деякі результати в областях адекватності інтенсіональних логік, забезпечених такою семантикою. Умови істинності квантифікованих формул задаються виключно в термінах істинності, без використання множин (звідси і назва). * недавно була відроджена Яакко Гінтікка для логік (кінцевої) частково покритої квантифікації, які спочатку досліджувалися . * — узагальнення семантики значень істинності, створена Філдом (англ. Hartry Field). Лінгвісти рідко застосовували формальні семантики доти, поки не показав як можна сприймати англійську (або будь-яку іншу мову) як формальну мову. Його вклад в лінгвістичну семантику, відомий як граматика Монтегю, яка представляє основу для того, що лінгвісти називають формальною семантикою. (uk)
  • Логическая семантика («рассуждение», «мысль», «разум») — раздел логики, в котором изучаются отношения к обозначаемым ими объектам и выражаемому ими содержанию. (ru)
  • 我们在论证中可能遇到的各种句子/判决的有效性条件依赖于它们的意义,所以负责任的逻辑学家不能完全避免提供某种处理这些句子的意义的需求。逻辑的语义指称逻辑学家已经介入来理解和确定他们感兴趣的意义部分的方式;逻辑学家在传统上只对是命题的句子感兴趣,它是适合逻辑操纵的理想的句子。 直到现代逻辑出现之前,亚里士多德的工具论特别是解释篇,提供了理解逻辑意义的基础。量化的介入需要解决多重普遍性问题,表现出了亚里士多德的逻辑所支配的主词-谓词分析不能处理的那些种类,尽管对词项逻辑的兴趣正在复兴,尝试找到符合亚里士多德三段论精神并且使用基于量词的现代逻辑一般性的演算。 (zh)
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 909888 (xsd:integer)
dbo:wikiPageLength
  • 4768 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 1037577125 (xsd:integer)
dbo:wikiPageWikiLink
dbp:wikiPageUsesTemplate
dct:subject
rdfs:comment
  • 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)
  • 形式意味論(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. (nl)
  • 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)
  • В логіці семантика логіки є дисципліна, що вивчає семантику (інтерпретації) формальних та природних мов шляхом їх формального опису в математичних термінах. Формальна мова може бути задана без будь-якої інтерпретації. Це досягається заданням множини символів (так званого алфавіту) і множини правил виведення (так званої формальної граматики), що визначають, які рядки символів є правильно побудованими формулами. При додаванні правил перетворення і прийнятті деяких пропозицій аксіом (що разом називається дедуктивної системою) формується логічна система. Інтерпретація — це надання сенсу її символам і значень істинності її пропозицій. (uk)
  • 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)
  • 形式意味論(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. (nl)
  • 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)
  • В логіці семантика логіки є дисципліна, що вивчає семантику (інтерпретації) формальних та природних мов шляхом їх формального опису в математичних термінах. Формальна мова може бути задана без будь-якої інтерпретації. Це досягається заданням множини символів (так званого алфавіту) і множини правил виведення (так званої формальної граматики), що визначають, які рядки символів є правильно побудованими формулами. При додаванні правил перетворення і прийнятті деяких пропозицій аксіом (що разом називається дедуктивної системою) формується логічна система. Інтерпретація — це надання сенсу її символам і значень істинності її пропозицій. (uk)
rdfs:label
  • Semàntica formal (ca)
  • Τυπική σημασιολογία (el)
  • Semántica formal (es)
  • Semantics of logic (en)
  • Sémantique formelle (logique) (fr)
  • 形式意味論 (ja)
  • Formele semantiek (nl)
  • Semântica formal (lógica) (pt)
  • Логическая семантика (ru)
  • Семантика логіки (uk)
  • 邏輯語義學 (zh)
owl:sameAs
prov:wasDerivedFrom
foaf:depiction
foaf:isPrimaryTopicOf
is dbo:wikiPageDisambiguates of
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is foaf:primaryTopic of
Powered by OpenLink Virtuoso    This material is Open Knowledge     W3C Semantic Web Technology     This material is Open Knowledge    Valid XHTML + RDFa
This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License