Projekt:Formale Syntax zur Definition semantischer Relationen/Argumentationsseite1

Aus testwiki
Version vom 30. September 2006, 17:23 Uhr von imported>Exxu (hat ArgumentationsseiteFSDSR1 nach Projekt:Formale Syntax zur Definition semantischer Relationen/Argumentationsseite1 verschoben: einheitliches Namensschema)
(Unterschied) ← Nächstältere Version | Aktuelle Version (Unterschied) | Nächstjüngere Version → (Unterschied)
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)