Logika filozoficzna 1. Przegląd wybranych narzędzi formalnych wykorzystywanych w filozofii 3501-LF118-M

Wykład poświęcony jest przede wszystkim omówieniu podstawowych pojęć z zakresu logiki formalnej. Słuchacz nabiera wprawy w operowaniu narzędziami formalnymi/logicznymi, dzięki czemu jest lepiej przygotowany zarówno do bardziej zaawansowanych zajęć z zakresu logiki formalnej (np. Logiki III), czy zastosowań logiki w filozofii (Logika Filozoficzna II), jak również do lektury literatury filozoficznej, która odwołuje się do metod formalnych (w ontologii, epistemologii, filozofii języka etc.). Zna podstawowe pojęcia metalogiczne, sprawnie operuje pojęciami technicznymi, rozumie znaczenie metod technicznych w filozofii.

Wykład poświęcony jest:

1.Utrwaleniu i pogłębieniu wiedzy słuchaczy z Logiki I (część „narzędziowa” – sprawne operowanie niezbędnymi dla zrozumienia trudniejszych pojęć preliminariami):
- Pojęcie funkcji; równoliczność zbiorów; zbiory nieskończone, typy nieskończoności
- Relacje równoważności; konstrukcje ilorazowe i wykorzystanie filozoficzne i techniczne;
- Relacje porządkujące; homomorfizm i izomorfizm porządków częściowych

2.Wprowadzeniu wybranych pojęć (meta)logicznych dla logiki I rzędu
- Pojęcie modelu dla logiki I rzędu
- Logika elementarna jako teoria formalna:
- Pojęcie termu, formuły, zdania
- Pojęcie spełniania formuły/zdania w modelu
- Pojęcie dowodu formalnego
- Twierdzenie o pełności logiki I rzędu
- Formalne pojęcie obliczenia, wzmianka o twierdzeniach Gödla

3.Elementarne pojęcia rachunku prawdopodobieństwa