| Attributes | Values |
|---|
| rdfs:label
| - Intended interpretation (en)
- Bedoelde interpretatie (nl)
- Interpretação pretendida (pt)
- 预期释义 (zh)
|
| rdfs:comment
| - 在逻辑中，给定某个形式语言 L，可以有意图应用于 L 的原始符号的某个特权子集的一个释义。例如，一阶逻辑的一阶语言 L，它包含意图指示真值函数合取、析取、实质蕴涵、否定，全称量化运算，和某些其他(较少的)运算的符号。在皮亚诺算术的语言中，谓词符号 '<' 意图指示二元关系“严格小于”，而 '+' 意图指示(自然数上)二元运算(或函数)加法。在集合论比如 ZFC 中有一个谓词符号意图指示集合论成员关系。 (zh)
- Met bedoelde interpretatie wordt de logische interpretatie bedoeld die de ontwerper van een formeel systeem van het begin af aan met dit systeem voor ogen heeft. De bedoelde interpretatie komt niet tot uiting in het deductieve systeem, maar is wel in hoge mate bepalend bij het opstellen van de formele grammatica en de afleidingsregels van het formele systeem. Zo worden bijvoorbeeld over het algemeen zo gekozen dat ze als tegenhanger betekenisvolle zinnen als gevolg van de bedoelde interpretatie hebben, en moeten axioma's voldoen aan de voorwaarde dat ze in de bedoelde interpretatie de vorm van waarheidsbevattende in wiskundig-logische zin aannemen. Hieruit volgt automatisch dat formeel bewijs altijd waar is. (nl)
- Aquele que constrói um sistema sintático normalmente tem em mente, desde o início, alguma interpretação específica para este sistema. Embora esta interpretação pretendida não possa ter qualquer indicação explícita nas regras sintáticas - uma vez que estas regras devem ser estritamente formais - a intenção do autor com relação à interpretação de seu sistema naturalmente afeta a escolha que ele fez das regras de formação e de do sistema sintático. Por exemplo, o autor escolhe signos primitivos de tal forma que determinados conceitos possam ser expressos: ele escolhe de tal forma que os seus homólogos na interpretação pretendida possam aparecer como sentenças declarativas com significados; sua escolha de sentenças primitivas deve satisfazer o requisito de que essas sentenças primitiv (pt)
|
| Wikipage page ID
| |
| Wikipage revision ID
| |
| Link from a Wikipage to another Wikipage
| |
| Wikipage redirect
| |
| sameAs
| |
| dbp:wikiPageUsesTemplate
| |
| has abstract
| - Met bedoelde interpretatie wordt de logische interpretatie bedoeld die de ontwerper van een formeel systeem van het begin af aan met dit systeem voor ogen heeft. De bedoelde interpretatie komt niet tot uiting in het deductieve systeem, maar is wel in hoge mate bepalend bij het opstellen van de formele grammatica en de afleidingsregels van het formele systeem. Zo worden bijvoorbeeld over het algemeen zo gekozen dat ze als tegenhanger betekenisvolle zinnen als gevolg van de bedoelde interpretatie hebben, en moeten axioma's voldoen aan de voorwaarde dat ze in de bedoelde interpretatie de vorm van waarheidsbevattende in wiskundig-logische zin aannemen. Hieruit volgt automatisch dat formeel bewijs altijd waar is. Het bestaan van is een voorbeeld van formele systemen die meer interpretaties in de vorm van modellen dan alleen de bedoelde interpretatie hebben. (nl)
- Aquele que constrói um sistema sintático normalmente tem em mente, desde o início, alguma interpretação específica para este sistema. Embora esta interpretação pretendida não possa ter qualquer indicação explícita nas regras sintáticas - uma vez que estas regras devem ser estritamente formais - a intenção do autor com relação à interpretação de seu sistema naturalmente afeta a escolha que ele fez das regras de formação e de do sistema sintático. Por exemplo, o autor escolhe signos primitivos de tal forma que determinados conceitos possam ser expressos: ele escolhe de tal forma que os seus homólogos na interpretação pretendida possam aparecer como sentenças declarativas com significados; sua escolha de sentenças primitivas deve satisfazer o requisito de que essas sentenças primitivas sejam sentenças verdadeiras na interpretação; suas regras de inferência devem ser tais que, se por alguma destas regras a sentença j seja diretamente dedutível a partir de uma sentença i, então i j seja uma sentença verdadeira (sob a interpretação usual de ''). Estes requisitos asseguram que todas as sentenças demonstráveis também sejam verdadeiras. A maioria dos sistemas formais têm muito mais modelos do que se pretendia que eles tivessem (a existência de modelos não-padrão é um exemplo). Quando falamos de ' modelos' em ciências empíricas, queremos dizer, se desejamos que a realidade seja um modelo da nossa ciência, falar sobre um modelo pretendido. Um modelo nas ciências empíricas é uma interpretação pretendida descritiva fatualmente verdadeira (ou em outros contextos: uma interpretação não-pretendida arbitrária utilizada para esclarecer uma tal interpretação pretendida descritiva fatualmente verdadeira). Todos os modelos são interpretações que têm o mesmo domínio de discurso daquele que se pretedia, mas outras atribuições para constantes não-lógicas. (pt)
- 在逻辑中，给定某个形式语言 L，可以有意图应用于 L 的原始符号的某个特权子集的一个释义。例如，一阶逻辑的一阶语言 L，它包含意图指示真值函数合取、析取、实质蕴涵、否定，全称量化运算，和某些其他(较少的)运算的符号。在皮亚诺算术的语言中，谓词符号 '<' 意图指示二元关系“严格小于”，而 '+' 意图指示(自然数上)二元运算(或函数)加法。在集合论比如 ZFC 中有一个谓词符号意图指示集合论成员关系。 (zh)
|
| prov:wasDerivedFrom
| |
| page length (characters) of wiki page
| |
| foaf:isPrimaryTopicOf
| |
| is Link from a Wikipage to another Wikipage
of | |
| is foaf:primaryTopic
of | |
![[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)