Logika II
Informacje ogólne
Kod przedmiotu: | W1-KO-S1-L2 |
Kod Erasmus / ISCED: | (brak danych) / (brak danych) |
Nazwa przedmiotu: | Logika II |
Jednostka: | Wydział Humanistyczny |
Grupy: | |
Punkty ECTS i inne: |
6.00
|
Język prowadzenia: | polski |
Rodzaj przedmiotu: | obowiązkowy |
Zajęcia w cyklu "semestr zimowy 2020/2021" (zakończony)
Okres: | 2020-10-01 - 2021-02-21 |
Przejdź do planu
PN W
WT C
C
ŚR CZ PT |
Typ zajęć: |
Ćwiczenia, 30 godzin
Wykład, 15 godzin
|
|
Koordynatorzy: | Krzysztof Szymanek | |
Prowadzący grup: | Krzysztof Szymanek | |
Lista studentów: | (nie masz dostępu) | |
Zaliczenie: |
Przedmiot -
Egzamin
Ćwiczenia - Zaliczenie na ocenę Wykład - Egzamin |
|
Sposób ustalania oceny końcowej: | Na ocenę końcową składają się: stopień z egzaminu oraz wyniki osiągnięte w czasie ćwiczeń - średnia arytmetyczna zaokrąglona w górę. Egzamin składa się z kilku zadań. Rozwiązanie musi zawierać dokładne uzasadnienie poprawności przeprowadzonych rozumowań. Student powinien wykazać się znajomością i zrozumieniem pojęć oraz umiejętnością wykorzystania i przypomnienia poznanych na zajęciach faktów. Aktywność na ćwiczeniach to (a) obecność na zajęciach (maksymalnie dwie nieobecności) (b) rozwiązywanie przykładów (punktowane) i udział w dyskusji. (c) uzyskanie pozytywnej oceny z dwóch kolokwiów sprawdzających stopień opanowania i zrozumienia przerobionego materiału. Sprawdzane jest też i punktowane (a) wykonanie pracy domowej (b) znajomość podstawowych pojęć (c) pamięciowe opanowanie materiału. |
|
Pełny opis: |
Limit 65535, wprowadzono 1905 znaków Moduł składa się z wykładu (15 godzin) oraz ćwiczeń (30 godzin). Wykład prezentuje dwa podstawowe działy logiki formalnej: klasyczny rachunek zdań i klasyczny rachunek predykatów. W trakcie wykładu studenci poznają semantyczne i syntaktyczne ujęcie tych teorii. Wprowadzane są najważniejsze pojęcia semantyczne (tautologia, relacja wynikania logicznego, reguła niezawodna) i syntaktyczne (teza, relacja wyprowadzalności, reguła pierwotna i wtórna). Formułowane są także podstawowe twierdzenia: o dedukcji (wprost i nie wprost), pełności, niesprzeczności. Część z nich jest dowodzona. Omawiane zagadnienia są ilustrowane przykładami. Praca własna studenta (60 godzin ) polega na przygotowaniu się do egzaminu poprzez przyswojeniu sobie podstawowych pojęć i praktycznych umiejętności. Na ćwiczeniach rozwiązywane są liczne zadania ilustrujące wprowadzone na wykładzie treści. Studenci analizując różnorodne przykłady doskonalą umiejętność uzasadniania, a podczas dyskusji mają możliwość wyjaśnić wszelkie wątpliwości dotyczące omawianych zagadnień. Praca własna studenta (30 godzin) polega na przygotowaniu się do ćwiczeń poprzez przyswojenie sobie podstawowych faktów z wykładu oraz przygotowaniu się do kolokwiów. Wykaz tematów: 1. Język formalny, formuły, reguły inferencyjne. 2. Pojęcie formalizmu i 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. |
Zajęcia w cyklu "semestr zimowy 2021/2022" (zakończony)
Okres: | 2021-10-01 - 2022-02-20 |
Przejdź do planu
PN W
C
C
WT ŚR CZ PT |
Typ zajęć: |
Ćwiczenia, 30 godzin
Wykład, 15 godzin
|
|
Koordynatorzy: | Krzysztof Szymanek | |
Prowadzący grup: | Krzysztof Szymanek | |
Lista studentów: | (nie masz dostępu) | |
Zaliczenie: |
Przedmiot -
Egzamin
Ćwiczenia - Zaliczenie na ocenę Wykład - Egzamin |
|
Sposób ustalania oceny końcowej: | Na ocenę końcową składają się: stopień z egzaminu oraz wyniki osiągnięte w czasie ćwiczeń - średnia arytmetyczna zaokrąglona w górę. Egzamin składa się z kilku zadań. Rozwiązanie musi zawierać dokładne uzasadnienie poprawności przeprowadzonych rozumowań. Student powinien wykazać się znajomością i zrozumieniem pojęć oraz umiejętnością wykorzystania i przypomnienia poznanych na zajęciach faktów. Aktywność na ćwiczeniach to (a) obecność na zajęciach (maksymalnie dwie nieobecności) (b) rozwiązywanie przykładów (punktowane) i udział w dyskusji. (c) uzyskanie pozytywnej oceny z dwóch kolokwiów sprawdzających stopień opanowania i zrozumienia przerobionego materiału. Sprawdzane jest też i punktowane (a) wykonanie pracy domowej (b) znajomość podstawowych pojęć (c) pamięciowe opanowanie materiału. |
|
Pełny opis: |
Moduł składa się z wykładu (15 godzin) oraz ćwiczeń (30 godzin). Wykład prezentuje dwa podstawowe działy logiki formalnej: klasyczny rachunek zdań i klasyczny rachunek predykatów. W trakcie wykładu studenci poznają semantyczne i syntaktyczne ujęcie tych teorii. Wprowadzane są najważniejsze pojęcia semantyczne (tautologia, relacja wynikania logicznego, reguła niezawodna) i syntaktyczne (teza, relacja wyprowadzalności, reguła pierwotna i wtórna). Formułowane są także podstawowe twierdzenia: o dedukcji (wprost i nie wprost), pełności, niesprzeczności. Część z nich jest dowodzona. Omawiane zagadnienia są ilustrowane przykładami. Praca własna studenta (60 godzin ) polega na przygotowaniu się do egzaminu poprzez przyswojeniu sobie podstawowych pojęć i praktycznych umiejętności. Na ćwiczeniach rozwiązywane są liczne zadania ilustrujące wprowadzone na wykładzie treści. Studenci analizując różnorodne przykłady doskonalą umiejętność uzasadniania, a podczas dyskusji mają możliwość wyjaśnić wszelkie wątpliwości dotyczące omawianych zagadnień. Praca własna studenta (30 godzin) polega na przygotowaniu się do ćwiczeń poprzez przyswojenie sobie podstawowych faktów z wykładu oraz przygotowaniu się do kolokwiów. Wykaz tematów: 1. Logika, jej przedmiot i metody. Rozumowania, poprawność rozumowań i jej kryteria. 2. Relacje logiczne i inne podstawowe pojęcia logiki, elementy teorii mocy. 3. Język formalny, formuły, język formalny a język naturalny. 4. Reguły inferencyjne, prawa logiki. 5. Pojęcie formalizmu i metoda aksjomatyczno-dedukcyjna. 6. Pojęcie dowodu, operacji konsekwencji i rachunku logicznego. 7. Przykłady rachunków logicznych w ujęciu aksjomatycznym oraz dedukcji naturalnej. 8. Elementy semantyki: matryca, interpretacja, model, spełnianie, prawda logiczna. 9. Własności metalogiczne: twierdzenia o dedukcji, o pełności, zupełność, niesprzeczność, niezależność aksjomatów. 10. Przykłady logik nieklasycznych i ich filozoficzne interpretacje. |
|
Uwagi: |
Brak |
Zajęcia w cyklu "semestr zimowy 2022/2023" (zakończony)
Okres: | 2022-10-01 - 2023-02-26 |
Przejdź do planu
PN W
C
C
WT ŚR CZ PT |
Typ zajęć: |
Ćwiczenia, 30 godzin
Wykład, 15 godzin
|
|
Koordynatorzy: | Krzysztof Szymanek | |
Prowadzący grup: | Krzysztof Szymanek | |
Lista studentów: | (nie masz dostępu) | |
Zaliczenie: |
Przedmiot -
Egzamin
Ćwiczenia - Zaliczenie na ocenę Wykład - Egzamin |
|
Sposób ustalania oceny końcowej: | Na ocenę końcową składają się: stopień z egzaminu oraz wyniki osiągnięte w czasie ćwiczeń - według zasad podanych niżej (na końcu). Egzamin składa się z kilku zadań. Rozwiązanie musi zawierać dokładne uzasadnienie przedstawionych odpowiedzi. Student powinien wykazać się znajomością i zrozumieniem wykładanych pojęć oraz umiejętnością wykorzystania poznanych na zajęciach zasad. Aktywność na ćwiczeniach to (a) obecność na zajęciach (maksymalnie dwie nieobecności) (b) rozwiązywanie przykładów (punktowane) i udział w dyskusji. (c) uzyskanie pozytywnej oceny z dwóch kolokwiów sprawdzających stopień opanowania i zrozumienia przerobionego materiału. Sprawdzane jest też i punktowane (a) wykonanie pracy domowej (b) znajomość podstawowych pojęć (c) pamięciowe opanowanie materiału. Ocena końcowa ustalana jest na podstawie stopni z zaliczenia i egzaminu według takich zasad: Z - stopień z zaliczenia E - stopień z egzaminu K - ocena końcowa (uwzględnia się wyłącznie stopnie: 3,0/3,5/4,0/4,5/5,0) 1. W przypadku, gdy E < Z: K = E + 0,5 2. W przypadku przeciwnym (E = Z lub E > Z): i) jeśli E - Z < 1,5, to K = E ii) jeśli E - Z = 1,5, to K = E - 0,5 iii) jeśli E - Z = 2, to K = 4,0 |
|
Pełny opis: |
Moduł składa się z wykładu (15 godzin) oraz ćwiczeń (30 godzin). W pierwszej części wykładów omawiane są zagadnienia logiki w kontekście rozumowań prowadzonych w języku naturalnym, zjawiska takie, jak wieloznaczność, presupozycje, implikatury konwersacyjne, błędy logiczne w wypowiedziach, zagadnienia analizy logicznej tekstu. Druga część obejmuje dwa podstawowe działy logiki formalnej: klasyczny rachunek zdań i klasyczny rachunek predykatów. W trakcie wykładu studenci poznają semantyczne i syntaktyczne ujęcie tych teorii. Wprowadzane są najważniejsze pojęcia semantyczne (tautologia, relacja wynikania logicznego, reguła niezawodna) i syntaktyczne (teza, aksjomat, dowód, dowodliwość, reguły, system dedukcyjny). Formułowane są także podstawowe twierdzenia: o dedukcji (wprost i nie wprost), pełności, niesprzeczności. Część z nich jest dowodzona. Omawiane zagadnienia są ilustrowane przykładami. Praca własna studenta (60 godzin ) polega na przygotowaniu się do egzaminu poprzez przyswojeniu sobie podstawowych pojęć i praktycznych umiejętności. Na ćwiczeniach rozwiązywane są liczne zadania ilustrujące wprowadzone na wykładzie treści. Studenci analizując różnorodne przykłady doskonalą umiejętność uzasadniania, a podczas dyskusji mają możliwość wyjaśnić wszelkie wątpliwości dotyczące omawianych zagadnień. Praca własna studenta (30 godzin) polega na przygotowaniu się do ćwiczeń poprzez przyswojenie sobie podstawowych faktów z wykładu oraz przygotowaniu się do kolokwiów. Wykaz tematów: 1. Logika, jej przedmiot i metody. Rozumowania, poprawność rozumowań i jej kryteria. 2. Relacje logiczne, np. wynikanie, sprzeczność, przeciwieństwo. 3. Język naturalny, jego funkcje i charakterystyka. 4. Wieloznaczność, ekwiwokacja, przyczyny wieloznaczności, np. termin techniczny, metafora, metonimia. 5. Nieostrość, rozmycie znaczeniowe, znaczenie tych zjawisk w komunikacji językowej. 4. Definicje, metody budowania definicji, błędy w definiowaniu. 5. Presupozycje, implikatury konwersacyjne. 6. Błędy logiczne w wypowiedzi, np. istotna wieloznaczność, niejasność, niedopowiedzenie, wewnętrzna sprzeczność, aliowokacja, pleonazm. 7. Pojęcie formalizmu i metoda aksjomatyczno-dedukcyjna. 8. Pojęcie dowodu, operacji konsekwencji i rachunku logicznego. 9. Przykłady rachunków logicznych w ujęciu aksjomatycznym oraz dedukcji naturalnej. 10. Elementy semantyki: interpretacja, model, spełnianie, prawda logiczna. 11. Własności metalogiczne: twierdzenia o dedukcji, o pełności, zupełność, niesprzeczność, niezależność aksjomatów. |
|
Uwagi: |
Brak uwag |
Zajęcia w cyklu "semestr zimowy 2023/2024" (zakończony)
Okres: | 2023-10-01 - 2024-02-18 |
Przejdź do planu
PN W
C
C
C
WT ŚR CZ PT |
Typ zajęć: |
Ćwiczenia, 30 godzin
Wykład, 15 godzin
|
|
Koordynatorzy: | Krzysztof Wieczorek | |
Prowadzący grup: | Krzysztof Wieczorek | |
Lista studentów: | (nie masz dostępu) | |
Zaliczenie: |
Przedmiot -
Egzamin
Ćwiczenia - Zaliczenie na ocenę Wykład - Egzamin |
|
Sposób ustalania oceny końcowej: | 50% ocena z ćwiczeń, 50% ocena z egzaminu (pod warunkiem, że obie oceny są pozytywne) |
|
Pełny opis: |
Celem modułu jest zapoznanie osób studiujących z logiką rozumianą szeroko, jako nauką badającą język w kontekście myślenia i komunikacji. W pierwszej części zajęć z "Logiki II" szczególny nacisk położony zostanie na wskazanie różnorodnych zjawisk językowych, które mogą utrudnić lub zakłócić myślenie bądź komunikację. Tematyka zajęć obejmować będzie szereg zagadnień poruszanych w ramach semiotyki logicznej, ze szczególnym uwzględnieniem pragmatyki. Omawiane będą takie zjawiska jak np. wieloznaczność wypowiedzi, sugerowanie przez komunikaty treści niezawartych w nich literalnie, obecność w wypowiedziach ukrytych założeń (presupozycji). Wskazywane będą problemy, jakie zjawiska te mogą powodować, a następnie metody, pozwalające tych problemów unikać lub przynajmniej łagodzić ich skutki. W drugiej części zajęć przedstawione zostaną wybrane elementy współczesnej logiki nieformalnej. W szczególności omówione zostaną zasadny badania i oceny argumentów - zarówno takich, z jakimi spotykamy się podczas codziennych dyskusji, jak i tych, które znaleźć można w filozoficznych sporach. |
|
Uwagi: |
Część materiałów przydatnych do zajęć będzie udostępniane w zespole na MS Teams. Kod do zespołu: z336aua |
Właścicielem praw autorskich jest Uniwersytet Ślaski w Katowicach.