Definition
A semantic theory of truth is a theory of truth in the philosophy of language which holds that truth is a property of sentences.
Related concepts
Abstract logicAckermann set theoryAleph numberAlfred TarskiAlgebraic logicAlphabet (formal languages)ArgumentArityAssignment (mathematical logic)Atomic formulaAtomic model (mathematical logic)Atomic sentenceAutomata theoryAutomated theorem provingAxiomAxiom of choiceAxiom schemaAxiomatic systemAxiomatization of Boolean algebrasBanach–Tarski paradoxBijectionBinary operationBoolean algebraBoolean algebras canonically definedBoolean functionCantor's diagonal argumentCantor's paradoxCantor's theoremCardinalityCartesian productCategorical theoryCategory (mathematics)Category of setsCategory theoryChurch encodingChurch–Turing thesisClass (set theory)Classical logicCodomainCoherence theory of truthCompactness theoremComplement (set theory)Complete theoryComputability theoryComputable functionComputable setComputably enumerable setConcrete categoryConsensus theory of truthConservative extensionConsistencyConstituent (linguistics)Constructible universeConstruction of the real numbersConstructive set theoryConstructivist epistemologyContinuum hypothesisConvention TCorrespondence theory of truthCountable setDecidability (logic)Decision problemDeductive systemDeflationary theory of truthDiagram (mathematical logic)Disquotational principleDomain of a functionDonald Davidson (philosopher)Element (mathematics)Elementary diagramElementary equivalenceElementary function arithmeticEmpty setEnumerationEpistemic theories of truthEquiconsistencyEquivalence relationEuclid's ElementsEuclidean geometryExistential quantificationExpression (mathematics)Extension by definitionsExtension by new constant and function namesExtensionalityFinitary relationFinite-valued logicFinite model theoryFinite setFirst-order logicFixed-point logicForcing (mathematics)Formal grammarFormal languageFormal proofFormal semantics (logic)Formal systemFormation ruleFoundations of geometryFoundations of mathematicsFree logicFree variables and bound variablesFunction (mathematics)Functional predicateFuzzy setGeneral set theoryGrothendieck universeGround expressionGround formulaGödel's completeness theoremGödel's incompleteness theoremsGödel numberingHalting problemHereditary setHigher-order logicHilbert's axiomsHilbert systemHistory of logicHistory of mathematical logicIf, and only ifImage (mathematics)Inaccessible cardinalIndependence (mathematical logic)Inductive definitionInferenceInfinite-valued logicInfinite setInformation theoryInhabited setInjective functionInterpretation (logic)Interpretation (model theory)Interpretation functionIntersection (set theory)IsomorphismKolmogorov complexityKripke's theory of truthKripke–Platek set theoryKurt GödelLambda calculusLarge cardinalLemma (mathematics)Liar paradoxLindström's theoremList of Hilbert systemsList of axiomsList of first-order theoriesList of formal systemsList of mathematical theoriesList of set identities and relationsList of statements independent of ZFCLogicLogical biconditionalLogical conjunctionLogical connectiveLogical consequenceLogical constantLogical disjunctionLogical equalityLogical equivalenceLogical truthLogicismLöwenheim–Skolem theoremMany-valued logicMap (mathematics)Material conditionalMathematical logicMathematical objectMeaning (linguistics)MetalanguageMinimal axioms for Boolean algebraModel complete theoryModel theoryMonadic predicate calculusMonadic second-order logicMorse–Kelley set theoryNP (complexity)Naive set theoryNatural deductionNatural languageNegationNew FoundationsNon-Euclidean geometryNon-logical symbolNon-standard modelNon-standard model of arithmeticOpen formulaOperation (mathematics)Ordinal analysisOrdinal numberP (complexity)P versus NP problemParadoxParadoxes of set theoryPartition of a setPeano axiomsPhilosophy of languagePhilosophy of mathematicsPluralist theories of truthPolandPower setPragmatic theory of truthPredicate (logic)Predicate (mathematical logic)Predicate logicPredicate variablePrime modelPrimitive recursive arithmeticPrimitive recursive functionPrincipia MathematicaProof of impossibilityProof theoryPropositionPropositional calculusPropositional formulaPropositional variableQuantifier (logic)Quantifier rankRecursionRecursive setRedundancy theory of truthRelation (mathematics)Reverse mathematicsRichard KirkhamRobinson arithmeticRule of inferenceRussell's paradoxSatisfiabilitySaturated modelSaul KripkeSchröder–Bernstein theoremSecond-order arithmeticSecond-order logicSelf-verifying theoriesSemanticSemantics of logicSentence (mathematical logic)Sequent calculusSet (mathematics)Set theorySignature (logic)Simon BlackburnSingleton (mathematics)Skolem arithmeticSoundnessSpectrum of a sentenceSpectrum of a theorySquare of oppositionStanford Encyclopedia of PhilosophyStatement (logic)Strength (mathematical logic)String (formal languages)Structure (mathematical logic)Substitution (logic)Substructure (mathematics)SupertaskSurjective functionSyllogismSymbol (formal)Syntax (logic)T-schemaTarski's axiomatization of the realsTarski's axiomsTarski's theory of truthTarski's undefinability theoremTarski–Grothendieck set theoryTautology (logic)Term (logic)Term logicTheoremTheories of truthTheory (mathematical logic)Theory of truthThree-valued logicTimeline of mathematical logicTransfer principleTransitive setTriune continuum paradigmTrue arithmeticTruthTruth-bearerTruth-conditional semanticsTruth predicateTruth tableTruth valueTruthmaker theoryTuring machineType (model theory)Type theoryUltrafilter (set theory)UltraproductUncountable setUndecidable problemUninterpreted functionUnion (set theory)Uniqueness quantificationUniversal quantificationUniversal setUniverse (mathematics)UrelementValidity (logic)Value (mathematics)Variable (mathematics)Venn diagramVon Neumann universeVon Neumann–Bernays–Gödel set theoryWell-formed formulaWest SussexWiley (publisher)Wilfrid HodgesZermelo–Fraenkel set theory
137 concepts already in your glossary