Interpretation (logic)
An interpretation is an assignment of meaning to the symbols of a formal language. Many formal languages used in mathematics, logic, and theoretical computer science are defined in solely syntactic terms, and as such do not have any meaning until they are given some interpretation. The general study of interpretations of formal languages is called formal semantics.
Wikipage disambiguates
2-satisfiabilityAffect (psychology)Andrea Bonomi (philosopher)AnthropologyAppropriation (sociology)Arden syntaxArgumentArgumentation theoryAuthorial intentBK Tooling v Scope Precision EngineeringBiasBiomedical scientistBiosemioticsBlock matrixBoolean algebraBoolean satisfiability problemBoolean valuationCategorical logicChinese roomClause (logic)Cognitive anthropologyCognitive appraisalCompleteness (logic)Conceptual modelConjunctive normal formConsistencyConsistency (knowledge bases)Contingency (philosophy)Coordinative definitionCriticCross-cultural communicationDE-9IMDavid Boucher (academic)De InterpretationeDeflationary theory of truthDescriptive interpretationDirected acyclic graphDomain of discourseEmotion in animalsExegesis
Link from a Wikipage to another Wikipage
seeAlso
primaryTopic
Interpretation (logic)
An interpretation is an assignment of meaning to the symbols of a formal language. Many formal languages used in mathematics, logic, and theoretical computer science are defined in solely syntactic terms, and as such do not have any meaning until they are given some interpretation. The general study of interpretations of formal languages is called formal semantics.
has abstract
An interpretation is an assign ...... el of that sentence or theory.
@en
En logique, une interprétation ...... ppelle la sémantique formelle.
@fr
En lògica, una interpretació é ...... fórmula o d'aquestes fórmules.
@ca
En lógica, una interpretación ...... a fórmula o de esas fórmulas.
@es
Met interpretatie wordt in de ...... aar staat en 0 voor Niet-waar.
@nl
Uma interpretação é uma atribu ...... ra daquela sentença ou teoria.
@pt
Un'interpretazione è l'assegna ...... meno un modello per la stessa.
@it
«الترجمة التفسيرية» (بالإنجليز ...... ة نموذج تلك الجملة أو النظرية.
@ar
Інтерпретація (лат. interpreta ...... ядків символів об'єктної мови.
@uk
解釋是一種將形式語言中的賦予意義的行為。許多使用於數學、邏輯 ...... 一個句子或的真值為真,則這個解釋即稱為此一句子或理論的模型。
@zh
Link from a Wikipage to an external page
Wikipage page ID
14,511,671
page length (characters) of wiki page
Wikipage revision ID
1,020,325,888
Link from a Wikipage to another Wikipage
date
September 2015
@en
reason
Every chapter is written by a different author.
@en
The article 'Truth-functional' ...... th-value of its sub-sentences.
@en
wikiPageUsesTemplate
subject
hypernym
comment
An interpretation is an assign ...... es is called formal semantics.
@en
En logique, une interprétation ...... ppelle la sémantique formelle.
@fr
En lògica, una interpretació é ...... rmals es diu semàntica formal.
@ca
En lógica, una interpretación ...... es se llama semántica formal.
@es
Met interpretatie wordt in de ...... logica en de predicatenlogica.
@nl
Uma interpretação é uma atribu ...... is é chamado Semântica Formal.
@pt
Un'interpretazione è l'assegna ...... meno un modello per la stessa.
@it
«الترجمة التفسيرية» (بالإنجليز ...... ة نموذج تلك الجملة أو النظرية.
@ar
Інтерпретація (лат. interpreta ...... абстрактно-дедуктивної теорії.
@uk
解釋是一種將形式語言中的賦予意義的行為。許多使用於數學、邏輯 ...... 一個句子或的真值為真,則這個解釋即稱為此一句子或理論的模型。
@zh
label
Interpretació (lògica)
@ca
Interpretación (lógica)
@es
Interpretatie (logica)
@nl
Interpretation (Logik)
@de
Interpretation (logic)
@en
Interpretazione (logica)
@it
Interpretação (lógica)
@pt
Interprétation (logique)
@fr
Інтерпретація (логіка)
@uk
ترجمة تفسيرية (علم المنطق)
@ar