Ordnungs-Strukturen fuer Begriffe der Mathematischen Logik

E. Wette-Roch, Universitaet Kaiserslautern

Wie in vielen Wissenschaftsgebieten ist auch in der Disziplin der
Mathematischen Logik eine fortschreitende Verzweigung und
Spezialisierung zu verzeichnen, die mit einer staendig wachsenden
Publikationstaetigkeit einhergeht. Diese Entwicklung wirft Probleme auf,
wenn etwa zur Bearbeitung bestimmter wissenschaftlicher Fragestellungen
gezielte Sachinformation benoetigt wird. Hinweise auf die entsprechenden
Dokumente, denen solche Informationen zu entnehmen sind, koennen ueber
die herkoemmlichen (Fach-) Informationsdienste haeufig nur unvollkommen
ermittelt werden. Defizite gaengiger Verfahren liegen insbesondere darin
begruendet, dass die Inhaltskennzeichnung von Dokumenten den
begrifflichen Hintergrund der wissenschaftlichen Inhalte nicht
hinreichend reflektiert.

Mit Bezug auf diese Problematik werden im Vortrag Ansaetze zur
strukturierten Darstellung des Gebietes der Mathematischen Logik
vorgestellt, die an der Forschungsstelle Mathematische Logik in
Verbindung mit dem Informationssystem LIS entwickelt wurden. Die
identifizierten Ordnungs-Strukturen basieren auf einer begrifflichen
Repraesentation, die von den konkret vorliegenden wissenschaftlichen
Resultaten abstrahiert. In diesem Zusammenhang wird unter Rueckgriff auf
Positionen der pragmatischen Philosophie eine theoretische Fundierung
des Ansatzes ausgewiesen. Hierauf aufbauend wird abschliessend eine
Systemfunktionalitaet vorgestellt, die auf eine Verbesserung der
inhaltlichen Erschliessung der in der bibliographischen Datenbank des
Systems LIS dokumentierten inhaltlichen Ergebnisse zielt.

Literatur:
[1] Lenski, W. & Richter, M. M. & Wette-Roch, E.: Consistency
Conditions for the Classification in LIS/Cl. In: W. Gaul, D. Pfeifer
(eds.): From Data to Knowledge. Proceedings of the 18th Annual
Conference of the Gesellschaft fuer Klassifikation. Springer-Verlag,
Heidelberg, 1995, pp. 433-441
[2] Lenski, W., Wette-Roch, E.: Terminologie und Wissensrepraesentation
in pragmatischer Sichtweise. To appear in: H. Czap, H. P. Ohly,
P. Jaenecke (eds.): Wissensorganisation im Wandel/Neue Formen der
Wissensorganisation. Neuronale Netze, Fallbasiertes Schliessen,
Raeumliches Schliessen. Tagungsband der 4. Tagung der Deutschen
Sektion der Internationalen Gesellschaft fuer Wissensorganisation (ISKO)