Cele

Pierwsza i druga edycja konferencji poświęconej logikom nieklasycznym odbyła się w Łodzi, we wrześniu 2008 i 2009 roku, zaś trzecia edycja - w Toruniu w roku 2010. Konferencja stanowić ma forum wymiany nowych rezultatów oraz sposobność do zaprezentowania stanu badań w szeroko rozumianym obszarze logik nieklasycznych i ich zastosowań.

Zakres

Logiki nieklasyczne tworzą jedną z najważniejszych gałęzi współczesnej logiki formalnej. Mnogość systemów formalnych zaspokaja w coraz większym stopniu zarówno potrzeby nauk informatycznych, badań nad sztuczną inteligencją, kognitywistyki, lingwistyki, jak i dostarcza doskonalszych narzędzi do analizy tradycyjnych problemów filozoficznych. Do ważniejszych rodzin systemów nieklasycznych zaliczamy m.in.:

• logiki modalne,
• logiki wielowartościowe,
• logiki podstrukturalne,
• logiki niemonotoniczne,
• logiki parakonsystentne,
• logiki implikacji nieklasycznych.

Tak duże zróżnicowanie proponowanych rozwiązań wymaga wzmożonych działań interdyscyplinarnych, które umożliwią lepszą wymianę rezultatów pomiędzy poszczególnymi naukami, takimi jak kognitywistyka, ontologia formalna,badania nad podstawami matematyki, filozofia języka, filozofia umysłu.

Formuła konferencji jest otwarta. Oczekujemy zgłoszeń referatów dotyczących zarówno problemów teoretycznych (semantycznych, teorio-dowodowych), jak i praktycznych zastosowań. Zapraszamy wszystkich, którzy chcieliby dokonać podsumowania pewnych fragmentów dotychczasowych badań nad logikami nieklasycznymi bądź podzielić się nowymi wynikami z tej dziedziny. Wybrane prace zostaną opublikowane w numerze specjalnym Bulletin of the Section of Logic.