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 18:42, 15 maj 2008 (edytuj)
Pogonowski (Dyskusja | wkład)
(Tematyka badawcza)
← Poprzednia edycja
Wersja z dnia 20:22, 30 cze 2015 (edytuj) (undo)
Pogonowski (Dyskusja | wkład)

Następna edycja →
(8 intermediate revisions not shown.)
Linia 7: Linia 7:
==Tematyka badawcza== ==Tematyka badawcza==
-Na podstawie paragrafu 75, punkt 1 Statutu UAM ustala się następujące tematy badań własnych Zakładu Logiki Stosowanej UAM w latach 2007-2009:+ 
 +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 13: 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).+
==Seminarium Zakładowe== ==Seminarium Zakładowe==
Linia 27: Linia 26:
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 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.
- 
-==Jerzy Pogonowski==  
-*[[Jerzy Pogonowski - Tematyka badawcza|Tematyka badawcza]] 
-*[[Jerzy Pogonowski - Teksty on line|Teksty on line]] 
- 
-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ładysław Zabrocki== ==Władysław Zabrocki==
Linia 44: 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==
Linia 50: Linia 43:
*[[Dorota Lipowska - Teksty on line|Teksty on line]] *[[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 zajmowała się się komputerowym modelowaniem dynamiki populacji i układów złożonych, a także symulacją układów kul, które ulegają anihilacji przy zderzaniu. 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 57: Linia 50:
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.
- 
-==Marcin Junczys-Dowmunt==  
-*[[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. 
==Victoria Kamasa== ==Victoria Kamasa==
Linia 69: Linia 56:
*[[Victoria Kamasa - Teksty on line|Teksty on line]] *[[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. Obecnie interesuje się ona przede wszystkim komunikacją społeczną, a w szczególności analizą środków perswazji i manipulacji w tekstach liturgicznych. +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.
 + 
 +==Michał Lipnicki==
 + 
 +*[[Michał Lipnicki - Tematyka badawcza|Tematyka badawcza]]
 + 
 +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]]

Wersja z dnia 20:22, 30 cze 2015


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ć.

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.

Seminarium Zakładowe

Seminarium

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.

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.

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.

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.

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 zajmowała się się komputerowym modelowaniem dynamiki populacji i układów złożonych, a także symulacją układów kul, które ulegają anihilacji przy zderzaniu. 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

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.

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.

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