2013, Brössel, Peter, Eder, Anna-Maria, Huber, Franz

2008, Brössel, Peter

2012, Brössel, Peter

2008, Anglberger, Albert J. J., Brössel, Peter

Zusammenfassung:
Wir werden in dieser Arbeit zwei neue Definitionsvorschläge von ‘Definition’ entwickeln, die folgende Eigenschaften aufweisen: (i) Sie verzichten auf die üblicherweise vorhandene Induktivität der Definition von ‘Definition’, was dazu führt, dass die Reihenfolge in der Definitionen angegeben wurden, keine Rolle mehr dafür spielt, ob es sich um korrekte Definitionen handelt. (ii) Sie sind sehr einfach und elegant, sodass auch eine praktische Anwendung damit verbunden ist: Wissenschafterinnen können damit nämlich von einer beliebigen Menge von Formeln sehr leicht feststellen, ob diese Menge eine Menge korrekter Definitionen ist und was als Grundvokabular dafür vorausgesetzt werden muss. (iii) Aus einem Definitionsvorschlag ergibt sich ein Algorithmus, mit dessen Hilfe eine Anordnung gefunden werden kann, die eine Menge von Formeln zu einer Folge korrekter Definitionen im “alten” Sinne macht. (iv) Die Definitionsvorschläge sind zu der Definierbarkeit im “klassischen” Sinne äquivalent. Somit ergänzt dieser Beitrag die klassische Definitionstheorie.