Semantiek: verschil tussen versies

Een belangrijke zusterdiscipline van de taalkundige semantiek is de [[formele semantiek]], waarin de betekenis van [[formele taal|formele talen]] zoals de [[propositielogica]], de [[predicatenlogica]] en de [[modale logica]] wordt bestudeerd. [[Intensionaliteit]] en de hiermee verbonden intensionele semantiek - wat wil zeggen de semantiek van de [[mogelijke wereld]]en - spelen een belangrijke rol in de modale logica.▼

De betekenis van een formele zin kan worden uitgedrukt in logische expressies, en de relatie tussen de betekenis en de werkelijkheid wordt gelegd in termen van ''waarheidswaarden'': de betekenis van een zin wordt gekenmerkt door alle omstandigheden waarin die zin waar is. De logische expressies laten daarnaast (geldige) redeneringen ofwel [[presuppositie]]s toe, waarin alle logische gevolgen van een zin kunnen worden afgeleid. Als bijvoorbeeld de [[propositie]] ''Ik ben geen man'' waar is, heeft dit automatisch tot gevolg dat de propositie ''Niet iedereen is een man'' ook waar is. De hedendaagse formele semantiek is grotendeels terug te voeren op [[Gottlob Frege]] en [[Ludwig Wittgenstein]].▼

In bredere zin heeft de formele semantiek niet alleen betrekking op de [[logica]], maar op alles wat met de definitie en het gebruik van formele talen binnen uiteenlopende vakgebieden te maken heeft. Voorbeelden daarvan zijn de formele [[computertaal|computertalen]] die worden gebruikt voor het vastleggen van informatie in computers ([[declaratieve taal|declaratieve talen]] of bij het [[Programmeren (computer)|programmeren]] van computers. Formele semantiek wordt op grote schaal toegepast in de [[complexiteitstheorie]]. Bij nog verdere uitbreiding wordt de term "formele semantiek" zelfs gebruikt als [[hyperoniem]] voor alles wat met de semantiek van natuurlijke en formele talen te maken heeft.▼