Projekt:Formale Syntax zur Definition semantischer Relationen/Argumentationsseite1

Aus testwiki
Zur Navigation springen Zur Suche springen

Willkommen auf der Argumentationsseite zum Teilprojekt "Hypothese" des Wikiversity-Forschungsprojektes "Formale Syntax zur Definition semantischer Relationen"

Hier soll es darum gehen, möglichst viele gültige Argumente für oder gegen die Hypothese 1. zu finden.


  1. Alle Wörter ω einer natürlichen Sprache nat lassen sich semantisch eindeutig mit einer Menge W von Wörtern ω0 der selben Sprache erklären.
Dabei gilt:
  • W ist endlich
  • Die Wörter ω0W sind logisch repräsentierbar, das heisst es muss eine bijektive Abbildung von W in eine logische Sprache S geben.
  • auch kontextuelle Bedeutungsverschiebungen in nat sind abgedeckt
  • (wird ggf. erweitert)