EntityQ523607· pop 17· linked from 420 articlesinterpretationSign in to saveassignment of meaning to the symbols of a formal languageConnectionsformal systemEntityrule of inferenceEntitystructureEntitysemantic theory of truthEntitymathematical logicEntityisomorphismEntitypropositional calculusEntitypropositionEntityPeano axiomsEntityfirst-order logicEntityalphabetEntitypredicateEntityrecursive setEntitywell-formed formulaEntitysemantics of logicEntityelementary equivalenceEntitysignatureEntityfree and bound variablesEntitypropositional formulaEntitysatisfiabilityEntityCategoriesFormal languagesInterpretation (philosophy)Model theoryPhilosophy of languageSemantics