Badania
From Zakład Logiki Stosowanej
Co rozumiemy przez Logikę Stosowaną? Przede wszystkim zastosowania pojęć, technik, metod, itp. wypracowanych w logice matematycznej w badaniach języka oraz w refleksji metodologicznej dotyczącej nauk o języku. Staramy się wykorzystywać nasze przygotowanie (matematyczne, lingwistyczne, informatyczne, filozoficzne), aby tak rozumianą logikę stosowaną uprawiać.
Na podstawie paragrafu 75, punkt 1 Statutu UAM ustala się następujące tematy badań własnych Zakładu Logiki Stosowanej UAM w roku 2007:
- lingwistyka informatyczna;
- logiczne aspekty komunikacji społecznej;
- logika Zachodu a refleksja logiczna Orientu;
- metodologia lingwistyki;
- matematyczne podstawy metalogiki.
Sprawę finansowania badań prowadzonych w Zakładzie Logiki Stosowanej UAM precyzyjnie przedstawia Statut Uniwersytetu im. Adama Mickiewicza (Rozdział V, paragraf 73, punkt 1, podpunkt 5): Statut UAM, Rozdział V.
Spis treści |
Seminarium Zakładowe
Konferencja
Dr Włodzimierz Lapis i dr Dorota Lipowska byli organizatorami sesji In search of the logic of communication w ramach międzynarodowej konferencji 37th Poznan Linguistic Meeting, która odbyła się w dniach 20-23 kwietnia 2006 roku w Poznaniu. Trochę fotek z tej sesji znajdziesz tutaj.
Jerzy Pogonowski
Jerzy Pogonowski w większości swoich prac wykonanych w ubiegłym stuleciu zajmował się logiczną rekonstrukcją koncepcji lingwistycznych, a także wykorzystaniem wybranych pojęć matematycznych w opisie struktury języka naturalnego. Ostatnio jego zainteresowania dotyczą: historii logiki, matematycznych podstaw metalogiki, pragmatyki logicznej, filozofii logiki i filozofii matematyki.
Włodzimierz Lapis
Rozprawa doktorska Włodzimierza Lapisa dotyczyła algorytmizacji oraz automatyzacji pewnych procedur fonetycznych i fonologicznych. Obecnie pracuje on nad ogółem zagadnień związanych z optymalizacją opisu zadanego zbioru obiektów i charakterystyki jego elementów.
Dorota Lipowska
Rozprawa doktorska Doroty Lipowskiej poświęcona była komputerowym metodom syntaktycznej i semantycznej analizy języka naturalnego. Obecnie nadal interesuje się lingwistyką komputerową, a w szczególności stosowanymi w niej gramatykami formalnymi. Zajmuje się także problemem wyznaczania granic fraz prozodycznych i ustalania dla nich wartości pauz. We współpracy z Profesorem Adamem Lipowskim zajmuje się symulacją układu zderzających się kul, które ulegają anihilacji przy zderzaniu; w stosowanych w tych badaniach implementacjach wykorzystuje metody sortowania stogowego oraz sektoryzacji układu.
Sławomir Sikora
Rozprawa doktorska Sławomira Sikory poświęcona była pragmatyce logicznej. Zakres prowadzonych przez niego prac badawczych sytuuje się w szeroko rozumianej problematyce teorii działań językowych.
Władysław Zabrocki
Rozprawa doktorska Władysława Zabrockiego była poświęcona natywistycznym założeniom teorii gramatyk generatywno-transformacyjnych. Obecnie pracuje on nad rozprawą habilitacyjną Psychologizm i socjologizm w dziejach językoznawstwa.
Marcin Junczys-Dowmunt
Rozprawa magisterska Marcina Junczysa-Dowmunta poświęcona była komputerowym metodom morfologicznej analizy języka niemieckiego. Obecnie nadal interesuje się on lingwistyką komputerową, w tym zastosowaniami automatów skończonych i transduktorów w analizach morfologicznych.
