Badania
From Zakład Logiki Stosowanej
| Wersja z dnia 23:13, 14 sty 2007 (edytuj) Admin (Dyskusja | wkład) (New page: Co rozumiemy przez Logikę Stosowaną? Przede wszystkim zastosowania pojęć, technik, metod, itp. wypracowanych w logice matematycznej w badaniach języka oraz w refleksji metodologicznej...) ← Poprzednia edycja |
Aktualna wersja (22:09, 17 wrz 2020) (edytuj) (undo) Lipowska (Dyskusja | wkład) (→Dorota Lipowska) |
||
| (25 intermediate revisions not shown.) | |||
| Linia 1: | Linia 1: | ||
| - | 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ć. | + | [[en:Research]] |
| + | [[de:Forschung]] | ||
| - | 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: | + | __TOC__ |
| + | |||
| + | 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 (logiczne, matematyczne, lingwistyczne, informatyczne, filozoficzne, socjologiczne), aby tak rozumianą logikę stosowaną uprawiać. | ||
| + | |||
| + | ==Tematyka badawcza== | ||
| + | |||
| + | Na podstawie paragrafu 86, punkt 1 Statutu UAM ustala się następujące tematy badań własnych Zakładu Logiki Stosowanej UAM w latach 2007-2014: | ||
| * lingwistyka informatyczna; | * lingwistyka informatyczna; | ||
| Linia 7: | Linia 14: | ||
| * logika Zachodu a refleksja logiczna Orientu; | * logika Zachodu a refleksja logiczna Orientu; | ||
| * metodologia lingwistyki; | * metodologia lingwistyki; | ||
| - | * matematyczne podstawy metalogiki. | + | * 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. | + | |
| ==Seminarium Zakładowe== | ==Seminarium Zakładowe== | ||
| Linia 16: | Linia 21: | ||
| ==Konferencja== | ==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. | + | 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. |
| - | ==Jerzy Pogonowski== | + | ==Investigationes Linguisticae 14== |
| - | *[[Jerzy Pogonowski - Tematyka badawcza|Tematyka badawcza]] | + | |
| - | 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ą pragmatyki logicznej, filozofii logiki i filozofii matematyki. | + | W marcu 2007 roku opublikowany został numer specjalny elektronicznego czasopima [http://www.inveling.amu.edu.pl/index.php?page=issues&vol=14 Investigationes Linguisticae] (pod redakcją Sławomira Sikory) zawierający teksty pracowników Zakładu Logiki Stosowanej UAM oraz zaproszonych gości. Teksty zebrane zostały zimą 2005-2006. |
| + | |||
| + | ==Władysław Zabrocki== | ||
| + | *[[Władysław Zabrocki - Tematyka badawcza|Tematyka badawcza]] | ||
| + | *[[Władysław Zabrocki - Teksty on line|Teksty on line]] | ||
| + | |||
| + | Rozprawa doktorska Władysława Zabrockiego była poświęcona natywistycznym założeniom teorii gramatyk generatywno-transformacyjnych. Jego zainteresowania badawcze dotyczą filozofii języka oraz metodologii badań językoznawczych. W 2007 roku opublikował książkę: Psychologizm i socjologizm w dziejach generatywno-transformacyjnej refleksji nad językiem naturalnym. | ||
| ==Włodzimierz Lapis== | ==Włodzimierz Lapis== | ||
| Linia 27: | Linia 37: | ||
| *[[Włodzimierz Lapis - Teksty on line|Teksty on line]] | *[[Włodzimierz Lapis - Teksty on line|Teksty on line]] | ||
| - | 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. | + | Rozprawa doktorska Włodzimierza Lapisa dotyczyła algorytmizacji oraz automatyzacji pewnych procedur fonetycznych i fonologicznych. Z kolei rozprawa habilitacyjna obejmowała ogół zagadnień związanych z optymalizacją opisu zadanego zbioru obiektów i charakterystyki jego elementów. |
| ==Dorota Lipowska== | ==Dorota Lipowska== | ||
| *[[Dorota Lipowska - Tematyka badawcza|Tematyka badawcza]] | *[[Dorota Lipowska - Tematyka badawcza|Tematyka badawcza]] | ||
| + | *[[Dorota Lipowska - Teksty on line|Teksty on line]] | ||
| - | 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. | + | 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. We współpracy z Profesorem Adamem Lipowskim zajmuje się się komputerowym modelowaniem dynamiki populacji i systemów złożonych. Najnowsze ich badania dotyczą problematyki ewolucji języka, a w szczególności symulacji komputerowych pewnej klasy jej modeli (tzw. Naming Game models). |
| ==Sławomir Sikora== | ==Sławomir Sikora== | ||
| Linia 40: | Linia 51: | ||
| 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. | 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== | + | ==Victoria Kamasa== |
| - | *[[Władysław Zabrocki - Tematyka badawcza|Tematyka badawcza]] | + | |
| + | *[[Victoria Kamasa - Tematyka badawcza|Tematyka badawcza]] | ||
| + | *[[Victoria Kamasa - Teksty on line|Teksty on line]] | ||
| + | |||
| + | Rozprawa magisterska Victorii Kamasy dotyczyła roli rodzaju gramatycznego nazwy zawodu jako nośnika statusu społecznego, zaś doktorska definicji sytuacji w tekstach liturgicznych. Obecnie interesuje się ona krytyczną analizą dyskursu z wykorzystaniem narzędzi korpusowych. Szczególną uwagę poświęca tekstom szeroko rozumianej komunikacji religijnej. | ||
| - | 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. | + | ==Michał Lipnicki== |
| - | ==Marcin Junczys-Dowmunt== | + | *[[Michał Lipnicki - Tematyka badawcza|Tematyka badawcza]] |
| - | *[[Marcin Junczys-Dowmunt - Tematyka badawcza|Tematyka badawcza]] | + | |
| - | *[[Marcin Junczys-Dowmunt - Teksty on line|Teksty on line]] | + | |
| - | 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. | + | Rozprawa magisterska Michała Lipnickiego poświęcona była metodom interpretacji logiki indyjskiej. Obecnie zajmuje się on badaniem charakteru zależności język-logika na gruncie indyjskim, uwzględniając jej dwa aspekty: (a) filozoficzny - koncepcja znaku i znaczenia w indyjskiej filozofii języka a ich funkcja we wnioskowaniu; (b) strukturalny - wpływ wybranych cech gramatycznych sanskrytu na własności logiczne schematów poprawnych wnioskowań. |
| [[Kategoria:Badania]] | [[Kategoria:Badania]] | ||
Aktualna wersja
Spis treści |
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 (logiczne, matematyczne, lingwistyczne, informatyczne, filozoficzne, socjologiczne), aby tak rozumianą logikę stosowaną uprawiać.
[edytuj] Tematyka badawcza
Na podstawie paragrafu 86, punkt 1 Statutu UAM ustala się następujące tematy badań własnych Zakładu Logiki Stosowanej UAM w latach 2007-2014:
- lingwistyka informatyczna;
- logiczne aspekty komunikacji społecznej;
- logika Zachodu a refleksja logiczna Orientu;
- metodologia lingwistyki;
- matematyczne podstawy metalogiki.
[edytuj] Seminarium Zakładowe
[edytuj] 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.
[edytuj] Investigationes Linguisticae 14
W marcu 2007 roku opublikowany został numer specjalny elektronicznego czasopima Investigationes Linguisticae (pod redakcją Sławomira Sikory) zawierający teksty pracowników Zakładu Logiki Stosowanej UAM oraz zaproszonych gości. Teksty zebrane zostały zimą 2005-2006.
[edytuj] Władysław Zabrocki
Rozprawa doktorska Władysława Zabrockiego była poświęcona natywistycznym założeniom teorii gramatyk generatywno-transformacyjnych. Jego zainteresowania badawcze dotyczą filozofii języka oraz metodologii badań językoznawczych. W 2007 roku opublikował książkę: Psychologizm i socjologizm w dziejach generatywno-transformacyjnej refleksji nad językiem naturalnym.
[edytuj] Włodzimierz Lapis
Rozprawa doktorska Włodzimierza Lapisa dotyczyła algorytmizacji oraz automatyzacji pewnych procedur fonetycznych i fonologicznych. Z kolei rozprawa habilitacyjna obejmowała ogół zagadnień związanych z optymalizacją opisu zadanego zbioru obiektów i charakterystyki jego elementów.
[edytuj] 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. We współpracy z Profesorem Adamem Lipowskim zajmuje się się komputerowym modelowaniem dynamiki populacji i systemów złożonych. Najnowsze ich badania dotyczą problematyki ewolucji języka, a w szczególności symulacji komputerowych pewnej klasy jej modeli (tzw. Naming Game models).
[edytuj] 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.
[edytuj] Victoria Kamasa
Rozprawa magisterska Victorii Kamasy dotyczyła roli rodzaju gramatycznego nazwy zawodu jako nośnika statusu społecznego, zaś doktorska definicji sytuacji w tekstach liturgicznych. Obecnie interesuje się ona krytyczną analizą dyskursu z wykorzystaniem narzędzi korpusowych. Szczególną uwagę poświęca tekstom szeroko rozumianej komunikacji religijnej.
[edytuj] Michał Lipnicki
Rozprawa magisterska Michała Lipnickiego poświęcona była metodom interpretacji logiki indyjskiej. Obecnie zajmuje się on badaniem charakteru zależności język-logika na gruncie indyjskim, uwzględniając jej dwa aspekty: (a) filozoficzny - koncepcja znaku i znaczenia w indyjskiej filozofii języka a ich funkcja we wnioskowaniu; (b) strukturalny - wpływ wybranych cech gramatycznych sanskrytu na własności logiczne schematów poprawnych wnioskowań.
