Site programming by Marcin Junczys-Dowmunt



 
 
 
W innych językach: English | Deutsch

Badania

From Zakład Logiki Stosowanej

(Różnice między wersjami)
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

Seminarium

[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ń.