Logika II [W1-KO-N1-L2]
semestr zimowy 2020/2021
Ćwiczenia,
grupa nr 1
| Przedmiot: | Logika II [W1-KO-N1-L2] |
| Zajęcia: |
semestr zimowy 2020/2021 [2020/2021Z]
(zakończony)
Ćwiczenia [C], grupa nr 1 [pozostałe grupy] |
|
Termin i miejsce:
|
wielokrotnie, sobota (niestandardowa częstotliwość), 8:30 - 12:30
sala 333 Wydział Nauk Społecznych oraz Wydział Humanistyczny (Katowice, ul. Bankowa 11) jaki jest adres? |
|
Terminy najbliższych spotkań:
Kliknij w datę by zobaczyć tygodniowy plan z zaznaczonym spotkaniem. |
Wszystkie zajęcia tej grupy już się odbyły - pokaż terminy wszystkich spotkań. |
| Liczba osób w grupie: | 12 |
| Limit miejsc: | 25 |
| Zaliczenie: | Zaliczenie na ocenę |
| Prowadzący: | Krzysztof Szymanek |
| Literatura: |
Podana w dziale "Informacje o prowadzeniu przedmiotu w cyklu 2020/2021Z" |
| Zakres tematów: |
1. Logika formalna, jej historia, przedmiot i znaczenie. 2. Język formalny, formuły, reguły inferencyjne. 3. Pojęcie formalizmu, metoda aksjomatyczno-dedukcyjna. 3. Pojęcie dowodu, operacji konsekwencji i rachunku logicznego. 4. Przykłady rachunków logicznych w ujęciu aksjomatycznym oraz dedukcji naturalnej. 5. Najważniejsze pojęcia semantyczne: interpretacja, matryca logiczna, tautologia, relacja wynikania logicznego, reguła niezawodna. 6. Własności metalogiczne: twierdzenia o dedukcji, o pełności, zupełność, niesprzeczność, niezależność aksjomatów. 7. Przykłady logik nieklasycznych i ich filozoficzne interpretacje. |
| Metody dydaktyczne: |
Wykład, wyjaśnienia odnoszące się do przesłanych studentom materiałów do samodzielnej nauki, dyskusja. |
| Metody i kryteria oceniania: |
Egzamin opisany w dziale "Informacje o prowadzeniu przedmiotu w cyklu 2020/2021Z " Sposób ustalania oceny końcowej. |
| Uwagi: |
3 sem. kognitywistyki /niestacjonarne I stopnia/ |
Właścicielem praw autorskich jest Uniwersytet Ślaski w Katowicach.
