Hvad er formelle semantik?

Formel semantik er en bred sproglig teori, har til formål at undersøge, hvordan sproglige funktioner og dets forhold til virkeligheden. Lingvister omhyggeligt definere hver erklæring sandhed betingelser, som de situationer, der skal være kendsgerning, for at sætningen til at være sandt. Sætninger derefter transskriberet i matematiske ligninger, primært ved hjælp af indtastet Lambdakalkyle.

Teorien om formel semantik blev først udviklet af amerikanske filosof og matematiker Richard Montague i 1960'erne. Hans særlige udgave er kendt som Montague Grammar. Siden da har denne teori udviklet i mange retninger, herunder kategorisk grammatik, efter forbillede fra Yehoshua Bar-Hillel i 1970'erne, og lim semantik, udgivet af Mary Dalrymple i 1990'erne.

En anden type, diskurs repræsentation teori, blev udviklet i 1981 af hollandske lingvist Hans Kamp. Denne specifikke sproglige teori er undertiden benævnt under fællesbetegnelsen formel semantik. Diskurs repræsentation teori forsøger at analysere hele diskurs, eller samtale, snarere end isolerede sætninger, og præsentere det i matematiske ligninger.

Alle grene af formel semantik fokus på forholdet mellem sprog og virkelighed; med andre ord, deres mål er at finde forbindelsen mellem, hvad der er sagt, og hvad der er. Ord betegnes som betegnere mens de ting, selv kaldes den denotata, eller i diskurs repræsentation teori, diskurs referenter. I sætningen "Hunden gøede," ordet "hund" er en signifier, mens den faktiske hund er en diskurs referent.

En erklæring kan have mere end én sandhed tilstand, eller krav for at være sandt. Ofte er disse sandheden forhold kan føre til entailment, som er det udtryk bruges, når en sætning sandhed kræver en anden til at være sandt. Med andre ord, i et medført situation hvis sætning A er sandt, så sætning B skal være sand samt.

For at bestemme en erklæring sandhed forhold, skal lingvister kigge efter eventuelle kvantorer tilstedeværende. En kvantifikator er et ord, som angiver, hvor mange ting er involveret, såsom hver, hver, enhver, og nogle. Disse ord kan ændre en erklæring s mening betydeligt.

Den type matematik oftest bruges til at analysere sprog i formel semantik er skrevet Lambdakalkyle. Ord kan identificeres som forskellige variabler og placeres i en ligning; i diskurs repræsentation teori, er disse ligninger kaldes diskurs repræsentation strukturer. Selv om han primært en sproglig teori, formel semantik er et tværfagligt felt. Lingvister, filosoffer, logikere, matematikere og programmører er alle involveret. Analysere og skabe programmeringssprog og endda studere kunstig intelligens kan alle involvere formel semantik.

  • Formel semantik er en bred sproglig teori, der bruges til at undersøge, hvordan sproglige funktioner og dets forhold til virkeligheden.

© 2021 Zajacperrone.com | Contact us: webmaster# zajacperrone.com