Uniwersytet Ślaski w Katowicach - Centralny System Uwierzytelniania
Strona główna

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 Podstawowe informacje o zasadach przyporządkowania punktów ECTS:
  • roczny wymiar godzinowy nakładu pracy studenta konieczny do osiągnięcia zakładanych efektów uczenia się dla danego etapu studiów wynosi 1500-1800 h, co odpowiada 60 ECTS;
  • tygodniowy wymiar godzinowy nakładu pracy studenta wynosi 45 h;
  • 1 punkt ECTS odpowiada 25-30 godzinom pracy studenta potrzebnej do osiągnięcia zakładanych efektów uczenia się;
  • tygodniowy nakład pracy studenta konieczny do osiągnięcia zakładanych efektów uczenia się pozwala uzyskać 1,5 ECTS;
  • nakład pracy potrzebny do zaliczenia przedmiotu, któremu przypisano 3 ECTS, stanowi 10% semestralnego obciążenia studenta.
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
Wybrany podział planu:
Przejdź do planu
Typ zajęć:
Ćwiczenia, 30 godzin więcej informacji
Wykład, 15 godzin więcej informacji
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
Wybrany podział planu:
Przejdź do planu
Typ zajęć:
Ćwiczenia, 30 godzin więcej informacji
Wykład, 15 godzin więcej informacji
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
Wybrany podział planu:
Przejdź do planu
Typ zajęć:
Ćwiczenia, 30 godzin więcej informacji
Wykład, 15 godzin więcej informacji
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
Wybrany podział planu:
Przejdź do planu
Typ zajęć:
Ćwiczenia, 30 godzin więcej informacji
Wykład, 15 godzin więcej informacji
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

Opisy przedmiotów w USOS i USOSweb są chronione prawem autorskim.
Właścicielem praw autorskich jest Uniwersytet Ślaski w Katowicach.
kontakt deklaracja dostępności USOSweb 7.0.3.0 (2024-03-22)