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 08:16, 25 mar 2007 (edytuj)
Pogonowski (Dyskusja | wkład)
(Investigationes Linguisticae 14)
← Poprzednia edycja
Wersja z dnia 20:22, 30 cze 2015 (edytuj) (undo)
Pogonowski (Dyskusja | wkład)

Następna edycja →
(16 intermediate revisions not shown.)
Linia 1: Linia 1:
 +[[en:Research]]
 +[[de:Forschung]]
 +
 +__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ć. 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ć.
-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:+==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).+
==Seminarium Zakładowe== ==Seminarium Zakładowe==
Linia 20: Linia 25:
==Investigationes Linguisticae 14== ==Investigationes Linguisticae 14==
-W marcu 2007 roku opublikowany został numer specjalny elektronicznego czasopima [http://www.inveling.amu.edu.pl/index.php?page=issue&vol=14 Investigationes Linguisticae] 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== +==Władysław Zabrocki==
-*[[Jerzy Pogonowski - Tematyka badawcza|Tematyka badawcza]]+*[[Władysław Zabrocki - Tematyka badawcza|Tematyka badawcza]]
-*[[Jerzy Pogonowski - Teksty on line|Teksty on line]]+*[[Władysław Zabrocki - 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.+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 32: 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 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 45: 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]]+
-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.+*[[Victoria Kamasa - Tematyka badawcza|Tematyka badawcza]]
 +*[[Victoria Kamasa - Teksty on line|Teksty on line]]
-==Marcin Junczys-Dowmunt== +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.
-*[[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.+==Michał Lipnicki==
- +
-==Victoria Kamasa==+
-*[[Victoria Kamasa - Tematyka badawcza|Tematyka badawcza]] +*[[Michał Lipnicki - Tematyka badawcza|Tematyka badawcza]]
-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 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ń.