Zajęcia są przeznaczone dla osób zainteresowanych logiką formalną. Zaprezentujemy filozoficzno-historyczny kontekst powstania logik nieklasycznych, a następnie szczegółowo omówimy wybrane ich odmiany, w tym logikę Łukasiewicza, logiki modalne oraz logikę intuicjonistyczną. Zajmiemy się także mniej znanymi nurtami, takimi jak logika niefregowska Romana Suszki, logiki parakonsystentne i relewantne. Przeanalizujemy teorię dowodu oraz semantykę omawianych systemów. Wskażemy powiązania między logikami nieklasycznymi a klasyczną, szczególnie za pomocą funkcji translacji. Podejmiemy również filozoficzne pytania dotyczące znaczenia i roli logik nieklasycznych w matematyce i filozofii.