Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Interpretation_(logic)> ?p ?o. }
Showing items 1 to 38 of
38
with 100 items per page.
- Interpretation_(logic) abstract "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.The most commonly studied formal logics are propositional logic, predicate logic and their modal analogs, and for these there are standard ways of presenting an interpretation. In these contexts an interpretation is a function that provides the extension of symbols and strings of symbols of an object language. For example, an interpretation function could take the predicate T (for "tall") and assign it the extension {a} (for "Abraham Lincoln"). Note that all our interpretation does is assign the extension {a} to the non-logical constant T, and does not make a claim about whether T is to stand for tall and 'a' for Abraham Lincoln. Nor does logical interpretation have anything to say about logical connectives like 'and', 'or' and 'not'. Though we may take these symbols to stand for certain things or concepts, this is not determined by the interpretation function.An interpretation often (but not always) provides a way to determine the truth values of sentences in a language. If a given interpretation assigns the value True to a sentence or theory, the interpretation is called a model of that sentence or theory.".
- Interpretation_(logic) wikiPageExternalLink Connective.html.
- Interpretation_(logic) wikiPageExternalLink First-OrderLogic.html.
- Interpretation_(logic) wikiPageExternalLink FormalLanguage.html.
- Interpretation_(logic) wikiPageExternalLink Interpretation.html.
- Interpretation_(logic) wikiPageExternalLink PropositionalCalculus.html.
- Interpretation_(logic) wikiPageExternalLink 4.
- Interpretation_(logic) wikiPageID "14511671".
- Interpretation_(logic) wikiPageRevisionID "605313847".
- Interpretation_(logic) hasPhotoCollection Interpretation_(logic).
- Interpretation_(logic) subject Category:Formal_languages.
- Interpretation_(logic) subject Category:Interpretation.
- Interpretation_(logic) subject Category:Interpretation_(philosophy).
- Interpretation_(logic) subject Category:Model_theory.
- Interpretation_(logic) subject Category:Philosophy_of_language.
- Interpretation_(logic) subject Category:Philosophy_of_mind.
- Interpretation_(logic) subject Category:Semantics.
- Interpretation_(logic) type Abstraction100002137.
- Interpretation_(logic) type Communication100033020.
- Interpretation_(logic) type FormalLanguages.
- Interpretation_(logic) type Language106282651.
- Interpretation_(logic) comment "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.".
- Interpretation_(logic) label "Interpretación (lógica)".
- Interpretation_(logic) label "Interpretatie (logica)".
- Interpretation_(logic) label "Interpretation (Logik)".
- Interpretation_(logic) label "Interpretation (logic)".
- Interpretation_(logic) label "Interpretação (lógica)".
- Interpretation_(logic) label "解釋 (邏輯)".
- Interpretation_(logic) sameAs Interpretation_(Logik).
- Interpretation_(logic) sameAs Interpretación_(lógica).
- Interpretation_(logic) sameAs Interpretatie_(logica).
- Interpretation_(logic) sameAs Interpretação_(lógica).
- Interpretation_(logic) sameAs m.03d5xd8.
- Interpretation_(logic) sameAs Q523607.
- Interpretation_(logic) sameAs Q523607.
- Interpretation_(logic) sameAs Interpretation_(logic).
- Interpretation_(logic) wasDerivedFrom Interpretation_(logic)?oldid=605313847.
- Interpretation_(logic) isPrimaryTopicOf Interpretation_(logic).