Forschung
Aus Lehrstuhl für Angewandte Logik
Was verstehen wir unter Angewandter Logik? Vor allem die Anwendung von in der mathematischen Logik entwickelten Begriffen, Techniken, Methoden u.ä. in der Sprachforschung und bei methodologischen Überlegungen zur Sprachwissenschaft. Wir bemühen uns, unseren akademischen Hintergrund (mathematisch, linguistisch, informatisch, philosophisch) zu nutzen, um eine derart verstandene, angewandte Logik zu betreiben.
Inhaltsverzeichnis |
Jerzy Pogonowski
Jerzy Pogonowski schrieb mehrere Arbeiten über die logische Rekonstruktion
linguistischer Theorien, sowie über die Anwendungen einiger mathematischer
Werkzeuge zur Beschreibung der natürlichen Sprache. Seit einiger Zeit interessiert
er sich für die logische Pragmatik und die Philosophie der Logik und der
Mathematik.
Wladyslaw Zabrocki
Wladyslaw Zabrocki schrieb seine Dissertation über nativistische Annahmen in der Theorie der Generativen Transformationsgrammatiken. Aktuell interessiert er sich für die Philosophie der Sprache und der sprachwissenschaftlichen Methodenlehre aus einer historischen Perspektive.
Wlodzimierz Lapis
Wlodzimierz Lapis schrieb seine Dissertation über die Algorithmisierung und Automatisierung einiger linguistischer (phonetischer und phonologischer) Verfahren. Im Moment arbeitet er an der Beschreibungsoptimalisierung von Mengen von Objekten und der Charakterisierung dieser Elemente.
Dorota Lipowska
Dorota Lipowska schrieb ihre Dissertation über die computer-gestützte Analyse natürlicher Sprache. Aktuell interessiert sie sich vor allem für die Theorie der formalen Grammatiken und ihrer Anwendungen in der Sprachwissenschaft.
Slawomir Sikora
Slawomir Sikora schrieb seine Dissertation über die formale Pragmatik. Zur Zeit ist er vor allem an der Sprechakttheorie interessiert.
Marcin Junczys-Dowmunt
Marcin Junczys-Dowmunt schrieb seine Magisterarbeit über computerlinguistische Methoden der morphologischen Analyse der deutschen Sprache. Zur Zeit interessiert er sich weiterhin für Computerlinguistik, besonders für Finite-State-Automaten und Transducer sowie deren Anwendung in der Morphologie.
