Węższy rachunek predykatów - Marek Lechniak

Net for Logic to cykl webinarów e-learningowych prowadzonych przez pracowników Wydziału Filozofii Katolickiego Uniwersytetu Lubelskiego JP II z szeroko pojętej logiki, obejmujący logikę formalną, teorię argumentacji oraz sztukę analizy filozoficznej. Skierowany jest on do uczniów szkół ponadpodstawowych, w tym uczniów biorących udział w Ogólnopolskim Konkursie Logicznym organizowanym przez KUL i Fundację Rozwoju KUL od 2013 r. Celem projektu jest organizacja i przeprowadzenie szerokiej akcji edukacyjnej wśród młodzieży zmierzającej do podniesienia kultury logicznej, a szczególnie nabycia umiejętności krytycznego myślenia opartego na solidnych podstawach filozoficzno-logicznych. Bazą ideową dla programu edukacyjnego są osiągnięcia Lubelskiej Szkoły Filozofii, a także idee zaczerpnięte ze Szkoły Lwowsko-Warszawskiej. W dzisiejszym szybko zmieniającym się świecie, w którym propaguje się wątpliwej wartości idee etyczne i społeczne, dawanie młodzieży solidnych podstaw dla racjonalnego i krytycznego analizowania propozycji myślowych ma znaczenie pierwszorzędne. Cykl obejmuje dziesięć webinarów: • Gramatyka logiczna, czyli teoria kategorii składniowych - dr Anna Starościc • Błędy językowe i logiczne - mgr Elżbieta Drozdowska • Definicje w logice - ks. dr hab. Robert Kublikowski • Zerojedynkowe ujęcie klasycznego rachunku zdań - dr hab. Bożena Czernecka-Rej • Poprawność wnioskowania - dr hab. Bożena Czernecka-Rej • Teoria zdań kategorycznych - dr hab. Marek Lechniak • Węższy rachunek predykatów - dr hab. Marek Lechniak • Wnioskowania niededukcyjne - dr Piotr Lipski • Zasady dobrej dyskusji - dr Jacek Jarocki • Algebra Boole’a i jej związki z klasycznym rachunkiem zdań - mgr Elżbieta Drozdowska Projekt finansowany ze środków budżetu państwa, przyznanych przez Ministra Nauki w ramach Programu „Społeczna odpowiedzialność nauki II”.