Objecttaal

Met "objecttaal" wordt in dit verband in het bijzonder "datgene wat de programmeur probeert te bereiken" bedoeld.

Over structuren, logica, mogelijke werelden, kunsttalen, de mogelijkheid en onmogelijkheid om formele talen op te zetten, het verschil tussen objecttaal en metataal.

Deze stam heeft een objecttaal die in staat is om gedachten, rationeel handelen en zelf subjectieve innerlijke ervaring te beschrijven en te verklaren zonder dat ze een begrip hebben van hun eigen innerlijke mentale toestanden.

In het voorbeeld van de witte sneeuw is "sneeuw is wit" een naam in de metataal, en deze naam correspondeert met de uitspraak dat sneeuw wit is in de objecttaal.

Onderwerpen binnen de metalogica Metataal/Objecttaal In de metalogica doen formele talen - die een wezenlijk onderdeel uitmaken van formele systemen - dienst als onderwerp van studie, ofwel als objecttalen.