We werken aan het herstellen van de Unionpedia-app in de Google Play Store
UitgaandeInkomende
🌟We hebben ons ontwerp vereenvoudigd voor betere navigatie!
Instagram Facebook X LinkedIn

Formele semantiek

Index Formele semantiek

Formele semantiek is de overkoepelende term voor de manier waarop zowel de semantiek en de logica als de gewone taal en de formele taal (bijvoorbeeld computertaal) worden beschreven.

Inhoudsopgave

  1. 24 relaties: Alfabet, Alfred Tarski, Anafoor (taalkunde), Axioma, Betekenis, Code (representatie van gegevens), Computertaal, Concept (filosofie), Conclusie, Donald Davidson, Formele taal, Gottlob Frege, Grammatica, Interpretatie (logica), Logica, Modeltheorie, Natuurlijke taal, Premisse (logica), Presuppositie, Programmeertaal, Richard Montague, Semantiek, Symbool, Taal.

  2. Taalfilosofie
  3. Wiskundige logica

Alfabet

Vaticaan, 8e eeuw. Een alfabet (meervoud: alfabetten) of alfabetisch schrift is een verzameling symbolen om equivalenten van klanken in de gesproken taal schriftelijk weer te geven.

Bekijken Formele semantiek en Alfabet

Alfred Tarski

Alfred Tarski Alfred Tarski (Warschau (Polen), 14 januari 1901 – Berkeley (VS), 26 oktober 1983) was een Amerikaans wiskundige en logicus van Pools-Joodse afkomst.

Bekijken Formele semantiek en Alfred Tarski

Anafoor (taalkunde)

In de taalkunde is een anafoor of verwijswoord een woord of woordgroep die naar iets anders dat meestal net iets eerder of later genoemd wordt verwijst.

Bekijken Formele semantiek en Anafoor (taalkunde)

Axioma

Een axioma (of postulaat) is in de wiskunde en de logica, sinds Euclides en Aristoteles, een niet bewezen, maar als grondslag aanvaarde bewering.

Bekijken Formele semantiek en Axioma

Betekenis

De betekenis is datgene in de werkelijkheid waarnaar door middel van een teken (een woord, gebaar, voorwerp of andersoortige betekenisdrager die verwijst naar een betekenis) wordt verwezen.

Bekijken Formele semantiek en Betekenis

Code (representatie van gegevens)

Een code in de ruimste zin is een aanduiding die voor iets anders staat, een symbool, een verzameling symbolen, een beweging, etc.

Bekijken Formele semantiek en Code (representatie van gegevens)

Computertaal

Computertaal is een verzamelnaam voor alle kunstmatige talen die door mensen wordt gebruikt in de omgang met computers.

Bekijken Formele semantiek en Computertaal

Concept (filosofie)

Een concept (Latijn concipere - conceptum: bijeen-nemen, be-grijpen, be-vatten) is, in de filosofie en in de wetenschappelijke theorievorming, een basisbegrip: een cognitieve (mentale) eenheid, waarin meerdere ideeën, op grond van hun cognitief ervaren verwantschap, worden samengevat tot een hogere cognitieve klasse.

Bekijken Formele semantiek en Concept (filosofie)

Conclusie

Een conclusie is een besluit waarin het voorgaande samenkomt.

Bekijken Formele semantiek en Conclusie

Donald Davidson

Donald Herbert Davidson (Springfield, Massachusetts, 6 maart 1917 – Berkeley, 30 augustus 2003) was een Amerikaans filosoof en hoogleraar filosofie.

Bekijken Formele semantiek en Donald Davidson

Formele taal

De term formele taal heeft ten minste drie verwante betekenissen.

Bekijken Formele semantiek en Formele taal

Gottlob Frege

Friedrich Ludwig Gottlob Frege (Wismar, 8 november 1848 – Bad Kleinen, 26 juli 1925) was een Duitse wiskundige, logicus en filosoof.

Bekijken Formele semantiek en Gottlob Frege

Grammatica

Grammaticaboekje uit 1735. De spraakkunst, spraakleer of grammatica is binnen de theoretische taalkunde de benaming voor de studie, beschrijving en verklaring voor alles dat met de systematiek van een natuurlijke taal of kunsttaal te maken heeft.

Bekijken Formele semantiek en Grammatica

Interpretatie (logica)

Met interpretatie wordt in de logica de extensie van symbolen en strings aan de hand van tupels bedoeld.

Bekijken Formele semantiek en Interpretatie (logica)

Logica

Boeken over logica Logica of redeneerkunst is de wetenschap die zich bezighoudt met de formele regels van het redeneren.

Bekijken Formele semantiek en Logica

Modeltheorie

Modeltheorie is een deelgebied van de wiskundige logica en de wiskunde dat handelt over de relaties tussen puur formele uitdrukkingen en hun betekenis.

Bekijken Formele semantiek en Modeltheorie

Natuurlijke taal

Een natuurlijke taal of etnische taal is in de taalfilosofie elke levende of dode taal die door een aantal mensen als hun moedertaal wordt of werd beschouwd.

Bekijken Formele semantiek en Natuurlijke taal

Premisse (logica)

Een premisse is een vooronderstelling dat iets waar is.

Bekijken Formele semantiek en Premisse (logica)

Presuppositie

Een presuppositie is in de semantiek, de pragmatiek en de logica een aan een propositie verbonden impliciete aanname of een hiermee verband houdend vaststaand objectief feit (axioma).

Bekijken Formele semantiek en Presuppositie

Programmeertaal

Python. Een programmeertaal is een formele taal waarin de opdrachten die een computer moet uitvoeren, worden geschreven.

Bekijken Formele semantiek en Programmeertaal

Richard Montague

Richard Merett Montague (20 september 1930 – 7 maart 1971) was een Amerikaans wiskundige, filosoof en taalkundige.

Bekijken Formele semantiek en Richard Montague

Semantiek

De semantiek of betekenisleer is een wetenschap die zich bezighoudt met de betekenis van symbolen, waarbij het in het bijzonder de bouwstenen van natuurlijke talen die voor de communicatie dienen ofwel woorden en zinnen betreft.

Bekijken Formele semantiek en Semantiek

Symbool

Symbolen op een grafsteen Symbolen op een speelkaart Een symbool of zinnebeeld is een teken waarbij geen natuurlijke relatie bestaat tussen de representatie van het teken en de betekenis die ermee wordt uitgedrukt.

Bekijken Formele semantiek en Symbool

Taal

Spijkerschrift is de oudst overgeleverde vorm van geschreven taal. Taal is een systeem van tekens – zoals gesproken klanken, gebaren, of geschreven symbolen – waarvan de mens gebruikmaakt om zijn gedachten te articuleren, zijn wereld te ordenen en te communiceren.

Bekijken Formele semantiek en Taal

Zie ook

Taalfilosofie

Wiskundige logica