Logika 2102-BW-L-D2LOGI

Przedmiot obejmuje omówienie podstawowych narzędzi logicznych i ich aplikacji w zastosowaniu do
analizy argumentów i rozumowań. Kurs ten ma na celu podniesienie kultury logicznej studentow na
kierunku Bezpieczenstwo Wewnetrzne ze szczególnym zwróceniem uwagi na relacje logiczne
charakterystyczne dla potocznego i naukowego dyskursu, takie jak wynikanie logiczne. Ostatecznym
celem kursu jest dostarczenie studentom narzędzi oceny poprawności rozumowań i wypowiedzi
niezbędnych w analizie dowolnego rodzaju zbiorów informacji

Szczegółowy plan kursu:
1. Typy argumentów oraz warunki ich poprawności,
2. Język klasycznego rachunku zdań i jego relacja do innych języków (w tym języka potoczenego),
3. Słownik języka klasycznego rachunku zdań i pojęcie poprawnie zbudowanej formuły języka
klasycznego rachunku zdań.
4. Jezyk klasycznego rachunku zdan: semantyka
5. Pojęcie prawa logicznego (tautologii) klasycznego rachunku zdań
6. Metoda tablkowa sprawdzania tautologiczności formuł rachuku zdań
7. Metoda skrócona sprawdzania tautologiczności formuł rachunku zdań
8. Metoda tabel analitycznych

9. Wynikanie logiczne na gruncie klasycznego rachunku zdań
9. Rozszerzenie języka klasycznego rachunku zdań do języka klasycznego rachunku kwantyfikatorów.
10. Metoda tabel analitycznych rozszerzona na klasyczny rachunek kwantyfikatorów.
11. Rodzaje i typy definicji, błędy w definiowaniu,
12. Logiczne usterki wypowiedzi.
13. Elementy logiki pytań.
14. Teoria implikatur konwersacyjnych i jej zastosowania.