Konferencja
Zastosowania
Logiki w Filozofii
i Podstawach Matematyki
Karpacz
Konferencja Zastosowania Logiki w Filozofii i Podstawach Matematyki ma charakter corocznego interdyscyplinarnego spotkania środowiska filozofów, matematyków oraz szerokiego kręgu osób zainteresowach logiką i jej zastosowaniami. Począwszy od pierwszej edycji, w 1996 roku, miejscem spotkań jest z reguły Karpacz a ich organizatorami są Katedra Logiki Uniwersytetu Wrocławskiego oraz Instytuty Matematyki Uniwersytetu Opolskiego i Uniwersytetu Śląskiego w Katowicach. Poszczególne edycje konferencji poświęcone są tematom wiodącym, pośród których w ostatnich latach były: twórczość Alfreda Tarskiego, logiki równoważnościowe, ogólne zagadnienia dotyczące semantyki algebraicznej w metalogice, związki logiki i teorii komunikacji, algebraizacja logiki, indukcja oraz paradoksy. Informacje na temat nadchodzącej edycji konferencji można znalezć poniżej.
2009
Annual Conference
Applications
of Logic in Philosophy
and Foundations of Mathematics
Karpacz
Our conference is an interdisciplinary meeting of philosophers, mathematicians and a wide spectrum of researchers whose interests are in the area of pure or applied logic. Held from 1996, it is always located in Sudety Mountains, usually in the town of Karpacz. Traditionally, the organizers of the conference are Chair of Logic, Wroclaw University, Institute of Mathematics, Opole University and Institute of Mathematics, University of Silesia at Katowice. Each edition of the conference is devoted to one specific topic. In the recent years among them were the works of Alfred Tarski, equivalential logic, general issues related to algebraic semantics in metalogic, connections between logic and the theory of communication, algebraization of logic, induction and paradoxes. The information about the forthcoming conference can be found below.
2009