Akademia Pedagogiki Specjalnej im. Marii Grzegorzewskiej w Warszawie - Centralny System UwierzytelnianiaNie jesteś zalogowany | zaloguj się
katalog przedmiotów - pomoc

Logika

Informacje ogólne

Kod przedmiotu: 10-1F-LOG Kod Erasmus / ISCED: (brak danych) / (brak danych)
Nazwa przedmiotu: Logika
Jednostka: Instytut Filozofii i Socjologii
Grupy: Obowiązkowe dla I r. PE, (3-l) niestacjonarne I stopnia
Obowiązkowe dla I r. PE, (3-l) stacjonarne I stopnia
Punkty ECTS i inne: 0 LUB 2.00 (w zależności od programu)
zobacz reguły punktacji
Język prowadzenia: polski
Rodzaj przedmiotu:

obowiązkowe

Skrócony opis:

Sposób pomiaru:

pozytywny wynik kolokwium zaliczeniowego,

umiejętność rozwiązywania zadań podczas ćwiczeń

Pełny opis:

Przedmiot i działy logiki.

Problematyka semiotyki logicznej, logiki formalnej i metodologii nauk.

Budowa składniowa wypowiedzi językowych. Kategorie syntaktyczne: zdania, nazwy i funktory.

Logika formalna. Pojęcie wnioskowania dedukcyjnego. Warunki niezawodności wnioskowań.

Rachunek zdań. Metody ustalania dedukcyjności wnioskowań. Pojęcie wynikania logicznego.

Rachunek nazw. Ocenianie słuszności wnioskowań

Wnioskowanie uprawdopodobniające.

Metodologia nauk. Definiowanie. Podział logiczny i klasyfikacja.

Sztuka argumentacji.

Literatura:

Chodkowski T., Nieznański E., Świetorzecka K., Wójtowicz A., Elementy logiki prawniczej. Definicje, podziały i typy argumentacji, Polskie Wydawnictwo Prawnicze, Warszawa-Poznań 2000.

Hołówka T., Kultura logiczna w przykładach, Wydawnictwo Naukowe PWN, Warszawa 2005.

Hołówka T., Błędy, spory, argumenty, Wydział Filozofii i Socjologii UW, Warszawa 1998.

Szymanek K., Sztuka argumentacji. Słownik terminologiczny, Wydawnictwo Naukowe PWN, Warszawa 2004

Szymanek K., Wieczorek K., Wójcik A., Sztuka argumentacji. Ćwiczenia w badaniu argumentów, Wydawnictwo Naukowe PWN, Warszawa 2008.

Lewandowski S., Machińska H., Malinowski A., Petzel J., Logika dla prawników, Wydawnictwo Prawnicze LexisNexis, Warszawa 2003

Malinowski A., Pełka M., Brzeski R., Przewodnik do ćwiczeń z logiki dla prawników, Wydawnictwo Prawnicze LexsisNexsis, Warszawa 2006.

Ziembiński Z., Logika praktyczna, PWN, Warszawa 1995.

Efekty kształcenia:

Po ukończeniu przedmiotu student:

I ROK

WIEDZA

PE1_W08

- Zna zasady logicznego myślenia i wnioskowania, dostrzega ich związek i zastosowanie w obszarze komunikacji interpersonalnej.

UMIEJĘTNOŚCI

PE1_U08

- Posiada umiejętność prezentowania własnego stanowiska, stosując logiczne zasady wnioskowania.

III ROK

WIEDZA

PE1_W08

- zna wybrane metody logiczne,

- zna uzasadnienie, strukturę i zastosowanie wybranych metod logicznych jako sposobu dochodzenia do prawd naukowych,

- zna co najmniej jeden język logiki klasycznej,

- zna podstawowy słownik i metodologię wybranego systemu logiki formalnej.

UMIEJĘTNOŚCI

PE1_U08

- jasno i precyzyjnie wskazuje problemy społeczne,

- starannie i metodycznie rozwiązuje problemy,

- poprawnie wnioskuje na podstawie przyjętych argumentów,

- potrafi argumentować za swoim stanowiskiem w dyskusji.

Metody i kryteria oceniania:

Metody tradycyjne, będące połączeniem metody podającej (czytanie podręcznika) z metodą problemową (rozwiązywanie zadań w nim zawartych);

obecność i aktywność na zajęciach, pozytywny wynik kolokwium zaliczeniowego

Zajęcia w cyklu "Semestr zimowy 2014/2015" (zakończony)

Okres: 2014-10-01 - 2015-02-23
Wybrany podział planu:


powiększ
zobacz plan zajęć
Typ zajęć: Wykład, 15 godzin więcej informacji
Koordynatorzy: Halina Postek
Prowadzący grup: Halina Postek
Lista studentów: (nie masz dostępu)
Zaliczenie: Zaliczenie na ocenę

Zajęcia w cyklu "Semestr letni 2014/2015" (zakończony)

Okres: 2015-02-24 - 2015-09-30
Wybrany podział planu:


powiększ
zobacz plan zajęć
Typ zajęć: Wykład, 15 godzin więcej informacji
Koordynatorzy: (brak danych)
Prowadzący grup: Halina Postek
Lista studentów: (nie masz dostępu)
Zaliczenie: Zaliczenie na ocenę

Zajęcia w cyklu "Semestr zimowy 2015/2016" (zakończony)

Okres: 2015-10-01 - 2016-02-19
Wybrany podział planu:


powiększ
zobacz plan zajęć
Typ zajęć: Wykład, 15 godzin więcej informacji
Koordynatorzy: Wiktor Wolman
Prowadzący grup: Wiktor Wolman
Lista studentów: (nie masz dostępu)
Zaliczenie: Zaliczenie na ocenę

Zajęcia w cyklu "Semestr zimowy dla niestacjonarnych 2015/2016" (zakończony)

Okres: 2015-10-01 - 2016-02-21
Wybrany podział planu:


powiększ
zobacz plan zajęć
Typ zajęć: Wykład, 15 godzin więcej informacji
Koordynatorzy: Mateusz Radzki
Prowadzący grup: Mateusz Radzki
Lista studentów: (nie masz dostępu)
Zaliczenie: Zaliczenie na ocenę
Skrócony opis:

Wykład:

Sposoby pomiarów efektów kształcenia: egzamin pisemny.

Treść:

1.Przedmiot logiki.

2.Pojęcia języka formalnego, formuł logicznych, zmiennych, stałych logicznych oraz stałych poza-logicznych.

3.Nazwy. Pojęcie desygnatu, denotacji oraz konotacji.

4.Zdania.

5.Logika tradycyjna. Ogólny schemat zdania. Alfabet logiki tradycyjnej. Wnioskowanie dedukcyjne.

6.Zdania kategoryczne. Kwadrat logiczny. Sylogizmy.

7.Klasyczny rachunek zdaniowy (KRZ). Alfabet KRZ. Definicja formuły KRZ.

8.Pojęcie funkcji wartościowania formuł KRZ. Tabele prawdziwościowe spójników zdaniowych KRZ.

9.Pojęcia tautologii KRZ oraz wynikania logicznego w KRZ. Skrócona metoda zero-jedynkowa. Kwadrat logiczny KRZ.

10.Syntaktyczne ujęcia KRZ: ujęcie aksjomatyczne oraz założeniowe.

11.Klasyczny rachunek predykatów (KRP). Alfabet KRP.

12.Definicja formuły atomowej.

13.Podstawowe tautologie KRP. Kwadrat logiczny KRP. Zdania kategoryczne w KRP.

14.Wybrane zagadnienia filozofii logiki i filozofii nauki.

15.Pozytywizm logiczny i program logicyzmu.

Pełny opis:

1.Przedmiot i działy logiki. Zarys historii logiki. Najwybitniejsi logicy: Arystoteles, G. Frege, A. Tarski; logicy XX wieku: B. Russell, L. Wittgenstein, D. Hilbert, E. Post, J. Łukasiewicz.

2.Pojęcia języka formalnego, schematów (formuł) logicznych, zmiennych, stałych logicznych oraz stałych poza-logicznych. Kategorie syntaktyczne: stałe poza-logiczne (nazwy i zdania) i stałe logiczne (funktory).

3.Nazwy. Pojęcie desygnatu, denotacji oraz konotacji. Klasyfikacja nazw według denotacji, klasyfikacja nazw według konotacji. Teoria nazw J. S. Milla a teoria nazw B. Russella.

4.Zdania. Pojęcie zdania w sensie logicznym.

5.Logika tradycyjna (rachunek nazw, sylogistyka). Ogólny schemat zdania. Alfabet logiki tradycyjnej: zmienne nazwowe, spójniki zdaniowe i konektywy. Definicja wynikania logicznego. Definicja wnioskowania dedukcyjnego (wnioskowania niezawodnego).

6.Zdania kategoryczne. Kwadrat logiczny logiki tradycyjnej, definicje relacji logicznych w kwadracie logicznym. Sylogizmy. Sprawdzanie sylogizmów metodą diagramów J. Venna.

7.Klasyczny rachunek zdaniowy (KRZ). Alfabet KRZ: zmienne zdaniowe i spójniki zdaniowe. Syntaktyczna definicja formuły KRZ.

8.Semantyczna interpretacja spójników zdaniowych. Pojęcie funkcji wartościowania formuł KRZ. Tabele prawdziwościowe spójników zdaniowych KRZ.

9.Pojęcia tautologii KRZ oraz wynikania logicznego w KRZ. Skrócona metoda zero-jedynkowa rozstrzygania o tautologiczności formuł KRZ. Kwadrat logiczny KRZ.

10.Syntaktyczne ujęcia KRZ: ujęcie aksjomatyczne oraz założeniowe (dedukcja naturalna). Dowód założeniowy wprost a dowód założeniowy niewprost.

11.Klasyczny rachunek predykatów (KRP). Alfabet KRP: zmienne indywiduowe (nazwowe), stałe indywiduowe (nazwowe), symbole predykatowe, kwatyfikatory, spójniki zdaniowe, znak identyczności.

12.Definicja formuły atomowej. Formuły atomowe: funkcje zdaniowe oraz zdania atomowe. Zdania złożone.

13.Podstawowe tautologie KRP. Kwadrat logiczny KRP. Zdania kategoryczne w KRP. Symbole funkcyjne w KRP. Deskrypcje w KRP.

14.Wybrane zagadnienia filozofii logiki i filozofii nauki. Pojęcia prawdy logicznej, zdania analitycznego i zdania syntetycznego. Zdania uniwersalne a zdania egzystencjalne.

15.Pozytywizm logiczny i program logicyzmu.

Literatura:

Literatura podstawowa:

1.J. Bremer, Wprowadzenie do logiki, Wydawnictwo WAM, Kraków 2006.

2.G. Malinowski, Logika ogólna, Wyd. II, Wydawnictwo UŁ, Łódź 2008.

3.B. Stanosz, Wprowadzenie do logiki formalnej, Wydawnictwo Naukowe PWN, Warszawa 2010.

4.B. Stanosz, Ćwiczenia z logiki, Wydawnictwo Naukowe PWN, Warszawa 2004.

Literatura uzupełniająca:

1.Chodkowski T., Nieznański E., Świetorzecka K., Wójtowicz A., Elementy logiki prawniczej. Definicje, podziały i typy argumentacji, Polskie Wydawnictwo Prawnicze, Warszawa-Poznań 2000.

2.Hołówka T., Kultura logiczna w przykładach, Wydawnictwo Naukowe PWN, Warszawa 2005.

3. Hołówka T., Błędy, spory, argumenty, Wydział Filozofii i Socjologii UW, Warszawa 1998.

4.Szymanek K., Sztuka argumentacji. Słownik terminologiczny, Wydawnictwo Naukowe PWN, Warszawa 2004

5.Szymanek K., Wieczorek K., Wójcik A., Sztuka argumentacji. Ćwiczenia w badaniu argumentów, Wydawnictwo Naukowe PWN, Warszawa 2008.

6.Lewandowski S., Machińska H., Malinowski A., Petzel J., Logika dla prawników, Wydawnictwo Prawnicze LexisNexis, Warszawa 2003

7.Malinowski A., Pełka M., Brzeski R., Przewodnik do ćwiczeń z logiki dla prawników, Wydawnictwo Prawnicze LexsisNexsis, Warszawa 2006.

8.Ziembiński Z., Logika praktyczna, PWN, Warszawa 1995.

Uwagi:

Wykład: egzamin pisemny.

Nakład pracy studenta:

Godziny kontaktowe: 15

Przygotowanie się do zajęć, lektury: 15

Przygotowanie się do egzaminu: 30

Zajęcia w cyklu "Semestr zimowy 2016/2017" (zakończony)

Okres: 2016-10-01 - 2017-02-19
Wybrany podział planu:


powiększ
zobacz plan zajęć
Typ zajęć: Wykład, 15 godzin więcej informacji
Koordynatorzy: Mateusz Radzki
Prowadzący grup: Mateusz Radzki
Lista studentów: (nie masz dostępu)
Zaliczenie: Zaliczenie na ocenę
Skrócony opis:

Wykład:

Sposoby pomiarów efektów kształcenia: egzamin pisemny.

Treść:

1.Przedmiot logiki.

2.Pojęcia języka formalnego, formuł logicznych, zmiennych, stałych logicznych oraz stałych poza-logicznych.

3.Nazwy. Pojęcie desygnatu, denotacji oraz konotacji.

4.Zdania.

5.Logika tradycyjna. Ogólny schemat zdania. Alfabet logiki tradycyjnej. Wnioskowanie dedukcyjne.

6.Zdania kategoryczne. Kwadrat logiczny. Sylogizmy.

7.Klasyczny rachunek zdaniowy (KRZ). Alfabet KRZ. Definicja formuły KRZ.

8.Pojęcie funkcji wartościowania formuł KRZ. Tabele prawdziwościowe spójników zdaniowych KRZ.

9.Pojęcia tautologii KRZ oraz wynikania logicznego w KRZ. Skrócona metoda zero-jedynkowa. Kwadrat logiczny KRZ.

10.Syntaktyczne ujęcia KRZ: ujęcie aksjomatyczne oraz założeniowe.

11.Klasyczny rachunek predykatów (KRP). Alfabet KRP.

12.Definicja formuły atomowej.

13.Podstawowe tautologie KRP. Kwadrat logiczny KRP. Zdania kategoryczne w KRP.

14.Wybrane zagadnienia filozofii logiki i filozofii nauki.

15.Pozytywizm logiczny i program logicyzmu.

Pełny opis:

1.Przedmiot i działy logiki. Zarys historii logiki. Najwybitniejsi logicy: Arystoteles, G. Frege, A. Tarski; logicy XX wieku: B. Russell, L. Wittgenstein, D. Hilbert, E. Post, J. Łukasiewicz.

2.Pojęcia języka formalnego, schematów (formuł) logicznych, zmiennych, stałych logicznych oraz stałych poza-logicznych. Kategorie syntaktyczne: stałe poza-logiczne (nazwy i zdania) i stałe logiczne (funktory).

3.Nazwy. Pojęcie desygnatu, denotacji oraz konotacji. Klasyfikacja nazw według denotacji, klasyfikacja nazw według konotacji. Teoria nazw J. S. Milla a teoria nazw B. Russella.

4.Zdania. Pojęcie zdania w sensie logicznym.

5.Logika tradycyjna (rachunek nazw, sylogistyka). Ogólny schemat zdania. Alfabet logiki tradycyjnej: zmienne nazwowe, spójniki zdaniowe i konektywy. Definicja wynikania logicznego. Definicja wnioskowania dedukcyjnego (wnioskowania niezawodnego).

6.Zdania kategoryczne. Kwadrat logiczny logiki tradycyjnej, definicje relacji logicznych w kwadracie logicznym. Sylogizmy. Sprawdzanie sylogizmów metodą diagramów J. Venna.

7.Klasyczny rachunek zdaniowy (KRZ). Alfabet KRZ: zmienne zdaniowe i spójniki zdaniowe. Syntaktyczna definicja formuły KRZ.

8.Semantyczna interpretacja spójników zdaniowych. Pojęcie funkcji wartościowania formuł KRZ. Tabele prawdziwościowe spójników zdaniowych KRZ.

9.Pojęcia tautologii KRZ oraz wynikania logicznego w KRZ. Skrócona metoda zero-jedynkowa rozstrzygania o tautologiczności formuł KRZ. Kwadrat logiczny KRZ.

10.Syntaktyczne ujęcia KRZ: ujęcie aksjomatyczne oraz założeniowe (dedukcja naturalna). Dowód założeniowy wprost a dowód założeniowy niewprost.

11.Klasyczny rachunek predykatów (KRP). Alfabet KRP: zmienne indywiduowe (nazwowe), stałe indywiduowe (nazwowe), symbole predykatowe, kwatyfikatory, spójniki zdaniowe, znak identyczności.

12.Definicja formuły atomowej. Formuły atomowe: funkcje zdaniowe oraz zdania atomowe. Zdania złożone.

13.Podstawowe tautologie KRP. Kwadrat logiczny KRP. Zdania kategoryczne w KRP. Symbole funkcyjne w KRP. Deskrypcje w KRP.

14.Wybrane zagadnienia filozofii logiki i filozofii nauki. Pojęcia prawdy logicznej, zdania analitycznego i zdania syntetycznego. Zdania uniwersalne a zdania egzystencjalne.

15.Pozytywizm logiczny i program logicyzmu.

Literatura:

Literatura podstawowa:

1.J. Bremer, Wprowadzenie do logiki, Wydawnictwo WAM, Kraków 2006.

2.G. Malinowski, Logika ogólna, Wyd. II, Wydawnictwo UŁ, Łódź 2008.

3.B. Stanosz, Wprowadzenie do logiki formalnej, Wydawnictwo Naukowe PWN, Warszawa 2010.

4.B. Stanosz, Ćwiczenia z logiki, Wydawnictwo Naukowe PWN, Warszawa 2004.

Literatura uzupełniająca:

1.Chodkowski T., Nieznański E., Świetorzecka K., Wójtowicz A., Elementy logiki prawniczej. Definicje, podziały i typy argumentacji, Polskie Wydawnictwo Prawnicze, Warszawa-Poznań 2000.

2.Hołówka T., Kultura logiczna w przykładach, Wydawnictwo Naukowe PWN, Warszawa 2005.

3. Hołówka T., Błędy, spory, argumenty, Wydział Filozofii i Socjologii UW, Warszawa 1998.

4.Szymanek K., Sztuka argumentacji. Słownik terminologiczny, Wydawnictwo Naukowe PWN, Warszawa 2004

5.Szymanek K., Wieczorek K., Wójcik A., Sztuka argumentacji. Ćwiczenia w badaniu argumentów, Wydawnictwo Naukowe PWN, Warszawa 2008.

6.Lewandowski S., Machińska H., Malinowski A., Petzel J., Logika dla prawników, Wydawnictwo Prawnicze LexisNexis, Warszawa 2003

7.Malinowski A., Pełka M., Brzeski R., Przewodnik do ćwiczeń z logiki dla prawników, Wydawnictwo Prawnicze LexsisNexsis, Warszawa 2006.

8.Ziembiński Z., Logika praktyczna, PWN, Warszawa 1995.

Uwagi:

Wykład: egzamin pisemny.

Nakład pracy studenta:

Godziny kontaktowe: 15

Przygotowanie się do zajęć, lektury: 15

Przygotowanie się do egzaminu: 30

Zajęcia w cyklu "Semestr zimowy dla niestacjonarnych 2016/2017" (zakończony)

Okres: 2016-10-01 - 2017-02-26
Wybrany podział planu:


powiększ
zobacz plan zajęć
Typ zajęć: Wykład, 15 godzin więcej informacji
Koordynatorzy: Mateusz Radzki
Prowadzący grup: Mateusz Radzki
Lista studentów: (nie masz dostępu)
Zaliczenie: Zaliczenie na ocenę
Skrócony opis:

Wykład:

Sposoby pomiarów efektów kształcenia: egzamin pisemny.

Treść:

1.Przedmiot logiki.

2.Pojęcia języka formalnego, formuł logicznych, zmiennych, stałych logicznych oraz stałych poza-logicznych.

3.Nazwy. Pojęcie desygnatu, denotacji oraz konotacji.

4.Zdania.

5.Logika tradycyjna. Ogólny schemat zdania. Alfabet logiki tradycyjnej. Wnioskowanie dedukcyjne.

6.Zdania kategoryczne. Kwadrat logiczny. Sylogizmy.

7.Klasyczny rachunek zdaniowy (KRZ). Alfabet KRZ. Definicja formuły KRZ.

8.Pojęcie funkcji wartościowania formuł KRZ. Tabele prawdziwościowe spójników zdaniowych KRZ.

9.Pojęcia tautologii KRZ oraz wynikania logicznego w KRZ. Skrócona metoda zero-jedynkowa. Kwadrat logiczny KRZ.

10.Syntaktyczne ujęcia KRZ: ujęcie aksjomatyczne oraz założeniowe.

11.Klasyczny rachunek predykatów (KRP). Alfabet KRP.

12.Definicja formuły atomowej.

13.Podstawowe tautologie KRP. Kwadrat logiczny KRP. Zdania kategoryczne w KRP.

14.Wybrane zagadnienia filozofii logiki i filozofii nauki.

15.Pozytywizm logiczny i program logicyzmu.

Pełny opis:

1.Przedmiot i działy logiki. Zarys historii logiki. Najwybitniejsi logicy: Arystoteles, G. Frege, A. Tarski; logicy XX wieku: B. Russell, L. Wittgenstein, D. Hilbert, E. Post, J. Łukasiewicz.

2.Pojęcia języka formalnego, schematów (formuł) logicznych, zmiennych, stałych logicznych oraz stałych poza-logicznych. Kategorie syntaktyczne: stałe poza-logiczne (nazwy i zdania) i stałe logiczne (funktory).

3.Nazwy. Pojęcie desygnatu, denotacji oraz konotacji. Klasyfikacja nazw według denotacji, klasyfikacja nazw według konotacji. Teoria nazw J. S. Milla a teoria nazw B. Russella.

4.Zdania. Pojęcie zdania w sensie logicznym.

5.Logika tradycyjna (rachunek nazw, sylogistyka). Ogólny schemat zdania. Alfabet logiki tradycyjnej: zmienne nazwowe, spójniki zdaniowe i konektywy. Definicja wynikania logicznego. Definicja wnioskowania dedukcyjnego (wnioskowania niezawodnego).

6.Zdania kategoryczne. Kwadrat logiczny logiki tradycyjnej, definicje relacji logicznych w kwadracie logicznym. Sylogizmy. Sprawdzanie sylogizmów metodą diagramów J. Venna.

7.Klasyczny rachunek zdaniowy (KRZ). Alfabet KRZ: zmienne zdaniowe i spójniki zdaniowe. Syntaktyczna definicja formuły KRZ.

8.Semantyczna interpretacja spójników zdaniowych. Pojęcie funkcji wartościowania formuł KRZ. Tabele prawdziwościowe spójników zdaniowych KRZ.

9.Pojęcia tautologii KRZ oraz wynikania logicznego w KRZ. Skrócona metoda zero-jedynkowa rozstrzygania o tautologiczności formuł KRZ. Kwadrat logiczny KRZ.

10.Syntaktyczne ujęcia KRZ: ujęcie aksjomatyczne oraz założeniowe (dedukcja naturalna). Dowód założeniowy wprost a dowód założeniowy niewprost.

11.Klasyczny rachunek predykatów (KRP). Alfabet KRP: zmienne indywiduowe (nazwowe), stałe indywiduowe (nazwowe), symbole predykatowe, kwatyfikatory, spójniki zdaniowe, znak identyczności.

12.Definicja formuły atomowej. Formuły atomowe: funkcje zdaniowe oraz zdania atomowe. Zdania złożone.

13.Podstawowe tautologie KRP. Kwadrat logiczny KRP. Zdania kategoryczne w KRP. Symbole funkcyjne w KRP. Deskrypcje w KRP.

14.Wybrane zagadnienia filozofii logiki i filozofii nauki. Pojęcia prawdy logicznej, zdania analitycznego i zdania syntetycznego. Zdania uniwersalne a zdania egzystencjalne.

15.Pozytywizm logiczny i program logicyzmu.

Literatura:

Literatura podstawowa:

1.J. Bremer, Wprowadzenie do logiki, Wydawnictwo WAM, Kraków 2006.

2.G. Malinowski, Logika ogólna, Wyd. II, Wydawnictwo UŁ, Łódź 2008.

3.B. Stanosz, Wprowadzenie do logiki formalnej, Wydawnictwo Naukowe PWN, Warszawa 2010.

4.B. Stanosz, Ćwiczenia z logiki, Wydawnictwo Naukowe PWN, Warszawa 2004.

Literatura uzupełniająca:

1.Chodkowski T., Nieznański E., Świetorzecka K., Wójtowicz A., Elementy logiki prawniczej. Definicje, podziały i typy argumentacji, Polskie Wydawnictwo Prawnicze, Warszawa-Poznań 2000.

2.Hołówka T., Kultura logiczna w przykładach, Wydawnictwo Naukowe PWN, Warszawa 2005.

3. Hołówka T., Błędy, spory, argumenty, Wydział Filozofii i Socjologii UW, Warszawa 1998.

4.Szymanek K., Sztuka argumentacji. Słownik terminologiczny, Wydawnictwo Naukowe PWN, Warszawa 2004

5.Szymanek K., Wieczorek K., Wójcik A., Sztuka argumentacji. Ćwiczenia w badaniu argumentów, Wydawnictwo Naukowe PWN, Warszawa 2008.

6.Lewandowski S., Machińska H., Malinowski A., Petzel J., Logika dla prawników, Wydawnictwo Prawnicze LexisNexis, Warszawa 2003

7.Malinowski A., Pełka M., Brzeski R., Przewodnik do ćwiczeń z logiki dla prawników, Wydawnictwo Prawnicze LexsisNexsis, Warszawa 2006.

8.Ziembiński Z., Logika praktyczna, PWN, Warszawa 1995.

Uwagi:

Wykład: egzamin pisemny.

Nakład pracy studenta:

Godziny kontaktowe: 15

Przygotowanie się do zajęć, lektury: 15

Przygotowanie się do egzaminu: 30

Zajęcia w cyklu "Semestr zimowy 2017/2018" (zakończony)

Okres: 2017-10-01 - 2018-02-18
Wybrany podział planu:


powiększ
zobacz plan zajęć
Typ zajęć: Wykład, 15 godzin więcej informacji
Koordynatorzy: Mateusz Radzki
Prowadzący grup: Mateusz Radzki
Lista studentów: (nie masz dostępu)
Zaliczenie: Zaliczenie na ocenę
Skrócony opis:

Wykład:

Sposoby pomiarów efektów kształcenia: egzamin pisemny.

Pełny opis:

Treść:

1.Przedmiot logiki.

2.Pojęcia języka formalnego, formuł logicznych, zmiennych, stałych logicznych oraz stałych poza-logicznych.

3.Nazwy. Pojęcie desygnatu, denotacji oraz konotacji.

4.Zdania.

5.Logika tradycyjna. Ogólny schemat zdania. Alfabet logiki tradycyjnej. Wnioskowanie dedukcyjne.

6.Zdania kategoryczne. Kwadrat logiczny. Sylogizmy.

7.Klasyczny rachunek zdaniowy (KRZ). Alfabet KRZ. Definicja formuły KRZ.

8.Pojęcie funkcji wartościowania formuł KRZ. Tabele prawdziwościowe spójników zdaniowych KRZ.

9.Pojęcia tautologii KRZ oraz wynikania logicznego w KRZ. Skrócona metoda zero-jedynkowa. Kwadrat logiczny KRZ.

10.Syntaktyczne ujęcia KRZ: ujęcie aksjomatyczne oraz założeniowe.

11.Klasyczny rachunek predykatów (KRP). Alfabet KRP.

12.Definicja formuły atomowej.

13.Podstawowe tautologie KRP. Kwadrat logiczny KRP. Zdania kategoryczne w KRP.

14.Wybrane zagadnienia filozofii logiki i filozofii nauki.

15.Pozytywizm logiczny i program logicyzmu.

Szczegółowy zakres tematyczny:

1.Przedmiot i działy logiki. Zarys historii logiki. Najwybitniejsi logicy: Arystoteles, G. Frege, A. Tarski; logicy XX wieku: B. Russell, L. Wittgenstein, D. Hilbert, E. Post, J. Łukasiewicz.

2.Pojęcia języka formalnego, schematów (formuł) logicznych, zmiennych, stałych logicznych oraz stałych poza-logicznych. Kategorie syntaktyczne: stałe poza-logiczne (nazwy i zdania) i stałe logiczne (funktory).

3.Nazwy. Pojęcie desygnatu, denotacji oraz konotacji. Klasyfikacja nazw według denotacji, klasyfikacja nazw według konotacji. Teoria nazw J. S. Milla a teoria nazw B. Russella.

4.Zdania. Pojęcie zdania w sensie logicznym.

5.Logika tradycyjna (rachunek nazw, sylogistyka). Ogólny schemat zdania. Alfabet logiki tradycyjnej: zmienne nazwowe, spójniki zdaniowe i konektywy. Definicja wynikania logicznego. Definicja wnioskowania dedukcyjnego (wnioskowania niezawodnego).

6.Zdania kategoryczne. Kwadrat logiczny logiki tradycyjnej, definicje relacji logicznych w kwadracie logicznym. Sylogizmy. Sprawdzanie sylogizmów metodą diagramów J. Venna.

7.Klasyczny rachunek zdaniowy (KRZ). Alfabet KRZ: zmienne zdaniowe i spójniki zdaniowe. Syntaktyczna definicja formuły KRZ.

8.Semantyczna interpretacja spójników zdaniowych. Pojęcie funkcji wartościowania formuł KRZ. Tabele prawdziwościowe spójników zdaniowych KRZ.

9.Pojęcia tautologii KRZ oraz wynikania logicznego w KRZ. Skrócona metoda zero-jedynkowa rozstrzygania o tautologiczności formuł KRZ. Kwadrat logiczny KRZ.

10.Syntaktyczne ujęcia KRZ: ujęcie aksjomatyczne oraz założeniowe (dedukcja naturalna). Dowód założeniowy wprost a dowód założeniowy niewprost.

11.Klasyczny rachunek predykatów (KRP). Alfabet KRP: zmienne indywiduowe (nazwowe), stałe indywiduowe (nazwowe), symbole predykatowe, kwatyfikatory, spójniki zdaniowe, znak identyczności.

12.Definicja formuły atomowej. Formuły atomowe: funkcje zdaniowe oraz zdania atomowe. Zdania złożone.

13.Podstawowe tautologie KRP. Kwadrat logiczny KRP. Zdania kategoryczne w KRP. Symbole funkcyjne w KRP. Deskrypcje w KRP.

14.Wybrane zagadnienia filozofii logiki i filozofii nauki. Pojęcia prawdy logicznej, zdania analitycznego i zdania syntetycznego. Zdania uniwersalne a zdania egzystencjalne.

15.Pozytywizm logiczny i program logicyzmu

Literatura:

Literatura podstawowa:

1.J. Bremer, Wprowadzenie do logiki, Wydawnictwo WAM, Kraków 2006.

2.G. Malinowski, Logika ogólna, Wyd. II, Wydawnictwo UŁ, Łódź 2008.

3.B. Stanosz, Wprowadzenie do logiki formalnej, Wydawnictwo Naukowe PWN, Warszawa 2010.

4.B. Stanosz, Ćwiczenia z logiki, Wydawnictwo Naukowe PWN, Warszawa 2004.

Literatura uzupełniająca:

1.Chodkowski T., Nieznański E., Świetorzecka K., Wójtowicz A., Elementy logiki prawniczej. Definicje, podziały i typy argumentacji, Polskie Wydawnictwo Prawnicze, Warszawa-Poznań 2000.

2.Hołówka T., Kultura logiczna w przykładach, Wydawnictwo Naukowe PWN, Warszawa 2005.

3. Hołówka T., Błędy, spory, argumenty, Wydział Filozofii i Socjologii UW, Warszawa 1998.

4.Szymanek K., Sztuka argumentacji. Słownik terminologiczny, Wydawnictwo Naukowe PWN, Warszawa 2004

5.Szymanek K., Wieczorek K., Wójcik A., Sztuka argumentacji. Ćwiczenia w badaniu argumentów, Wydawnictwo Naukowe PWN, Warszawa 2008.

6.Lewandowski S., Machińska H., Malinowski A., Petzel J., Logika dla prawników, Wydawnictwo Prawnicze LexisNexis, Warszawa 2003

7.Malinowski A., Pełka M., Brzeski R., Przewodnik do ćwiczeń z logiki dla prawników, Wydawnictwo Prawnicze LexsisNexsis, Warszawa 2006.

8.Ziembiński Z., Logika praktyczna, PWN, Warszawa 1995.

Uwagi:

Wykład: egzamin pisemny.

Nakład pracy studenta:

Godziny kontaktowe: 15

Przygotowanie się do zajęć, lektury: 15

Przygotowanie się do egzaminu: 30

Sumaryczna liczba punktów ECTS: 2.00

Zajęcia w cyklu "Semestr zimowy dla niestacjonarnych 2017/2018" (zakończony)

Okres: 2017-10-01 - 2018-02-26
Wybrany podział planu:


powiększ
zobacz plan zajęć
Typ zajęć: Wykład, 15 godzin więcej informacji
Koordynatorzy: Mateusz Radzki
Prowadzący grup: Mateusz Radzki
Lista studentów: (nie masz dostępu)
Zaliczenie: Zaliczenie na ocenę
Skrócony opis:

Wykład:

Sposoby pomiarów efektów kształcenia: egzamin pisemny.

Pełny opis:

Treść:

1.Przedmiot logiki.

2.Pojęcia języka formalnego, formuł logicznych, zmiennych, stałych logicznych oraz stałych poza-logicznych.

3.Nazwy. Pojęcie desygnatu, denotacji oraz konotacji.

4.Zdania.

5.Logika tradycyjna. Ogólny schemat zdania. Alfabet logiki tradycyjnej. Wnioskowanie dedukcyjne.

6.Zdania kategoryczne. Kwadrat logiczny. Sylogizmy.

7.Klasyczny rachunek zdaniowy (KRZ). Alfabet KRZ. Definicja formuły KRZ.

8.Pojęcie funkcji wartościowania formuł KRZ. Tabele prawdziwościowe spójników zdaniowych KRZ.

9.Pojęcia tautologii KRZ oraz wynikania logicznego w KRZ. Skrócona metoda zero-jedynkowa. Kwadrat logiczny KRZ.

10.Syntaktyczne ujęcia KRZ: ujęcie aksjomatyczne oraz założeniowe.

11.Klasyczny rachunek predykatów (KRP). Alfabet KRP.

12.Definicja formuły atomowej.

13.Podstawowe tautologie KRP. Kwadrat logiczny KRP. Zdania kategoryczne w KRP.

Szczegółowe zagadnienia tematyczne:

1.Przedmiot i działy logiki. Zarys historii logiki. Najwybitniejsi logicy: Arystoteles, G. Frege, A. Tarski; logicy XX wieku: B. Russell, L. Wittgenstein, D. Hilbert, E. Post, J. Łukasiewicz.

2.Pojęcia języka formalnego, schematów (formuł) logicznych, zmiennych, stałych logicznych oraz stałych poza-logicznych. Kategorie syntaktyczne: stałe poza-logiczne (nazwy i zdania) i stałe logiczne (funktory).

3.Nazwy. Pojęcie desygnatu, denotacji oraz konotacji. Klasyfikacja nazw według denotacji, klasyfikacja nazw według konotacji. Teoria nazw J. S. Milla a teoria nazw B. Russella.

4.Zdania. Pojęcie zdania w sensie logicznym.

5.Logika tradycyjna (rachunek nazw, sylogistyka). Ogólny schemat zdania. Alfabet logiki tradycyjnej: zmienne nazwowe, spójniki zdaniowe i konektywy. Definicja wynikania logicznego. Definicja wnioskowania dedukcyjnego (wnioskowania niezawodnego).

6.Zdania kategoryczne. Kwadrat logiczny logiki tradycyjnej, definicje relacji logicznych w kwadracie logicznym. Sylogizmy. Sprawdzanie sylogizmów metodą diagramów J. Venna.

7.Klasyczny rachunek zdaniowy (KRZ). Alfabet KRZ: zmienne zdaniowe i spójniki zdaniowe. Syntaktyczna definicja formuły KRZ.

8.Semantyczna interpretacja spójników zdaniowych. Pojęcie funkcji wartościowania formuł KRZ. Tabele prawdziwościowe spójników zdaniowych KRZ.

9.Pojęcia tautologii KRZ oraz wynikania logicznego w KRZ. Skrócona metoda zero-jedynkowa rozstrzygania o tautologiczności formuł KRZ. Kwadrat logiczny KRZ.

10.Syntaktyczne ujęcia KRZ: ujęcie aksjomatyczne oraz założeniowe (dedukcja naturalna). Dowód założeniowy wprost a dowód założeniowy niewprost.

11.Klasyczny rachunek predykatów (KRP). Alfabet KRP: zmienne indywiduowe (nazwowe), stałe indywiduowe (nazwowe), symbole predykatowe, kwatyfikatory, spójniki zdaniowe, znak identyczności.

12.Definicja formuły atomowej. Formuły atomowe: funkcje zdaniowe oraz zdania atomowe. Zdania złożone.

13.Podstawowe tautologie KRP. Kwadrat logiczny KRP. Zdania kategoryczne w KRP. Symbole funkcyjne w KRP. Deskrypcje w KRP.

14.Wybrane zagadnienia filozofii logiki i filozofii nauki. Pojęcia prawdy logicznej, zdania analitycznego i zdania syntetycznego. Zdania uniwersalne a zdania egzystencjalne.

15.Pozytywizm logiczny i program logicyzmu.

Literatura:

Literatura podstawowa:

1.J. Bremer, Wprowadzenie do logiki, Wydawnictwo WAM, Kraków 2006.

2.G. Malinowski, Logika ogólna, Wyd. II, Wydawnictwo UŁ, Łódź 2008.

3.B. Stanosz, Wprowadzenie do logiki formalnej, Wydawnictwo Naukowe PWN, Warszawa 2010.

4.B. Stanosz, Ćwiczenia z logiki, Wydawnictwo Naukowe PWN, Warszawa 2004.

Literatura uzupełniająca:

1.Chodkowski T., Nieznański E., Świetorzecka K., Wójtowicz A., Elementy logiki prawniczej. Definicje, podziały i typy argumentacji, Polskie Wydawnictwo Prawnicze, Warszawa-Poznań 2000.

2.Hołówka T., Kultura logiczna w przykładach, Wydawnictwo Naukowe PWN, Warszawa 2005.

3. Hołówka T., Błędy, spory, argumenty, Wydział Filozofii i Socjologii UW, Warszawa 1998.

4.Szymanek K., Sztuka argumentacji. Słownik terminologiczny, Wydawnictwo Naukowe PWN, Warszawa 2004

5.Szymanek K., Wieczorek K., Wójcik A., Sztuka argumentacji. Ćwiczenia w badaniu argumentów, Wydawnictwo Naukowe PWN, Warszawa 2008.

6.Lewandowski S., Machińska H., Malinowski A., Petzel J., Logika dla prawników, Wydawnictwo Prawnicze LexisNexis, Warszawa 2003

7.Malinowski A., Pełka M., Brzeski R., Przewodnik do ćwiczeń z logiki dla prawników, Wydawnictwo Prawnicze LexsisNexsis, Warszawa 2006.

8.Ziembiński Z., Logika praktyczna, PWN, Warszawa 1995.

Uwagi:

Wykład: egzamin pisemny.

Nakład pracy studenta:

Godziny kontaktowe: 15

Przygotowanie się do zajęć, lektury: 15

Przygotowanie się do egzaminu: 30

Sumaryczna liczba punktów ECTS: 2.00

Zajęcia w cyklu "Semestr zimowy 2018/2019" (zakończony)

Okres: 2018-10-01 - 2019-02-17
Wybrany podział planu:


powiększ
zobacz plan zajęć
Typ zajęć: Wykład, 15 godzin więcej informacji
Koordynatorzy: Mateusz Radzki
Prowadzący grup: Mateusz Radzki
Lista studentów: (nie masz dostępu)
Zaliczenie: Zaliczenie na ocenę
Skrócony opis:

Wykład:

Sposoby pomiarów efektów kształcenia: egzamin pisemny.

Pełny opis:

Treść:

1.Przedmiot logiki.

2.Pojęcia języka formalnego, formuł logicznych, zmiennych, stałych logicznych oraz stałych poza-logicznych.

3.Nazwy. Pojęcie desygnatu, denotacji oraz konotacji.

4.Zdania.

5.Logika tradycyjna. Ogólny schemat zdania. Alfabet logiki tradycyjnej. Wnioskowanie dedukcyjne.

6.Zdania kategoryczne. Kwadrat logiczny. Sylogizmy.

7.Klasyczny rachunek zdaniowy (KRZ). Alfabet KRZ. Definicja formuły KRZ.

8.Pojęcie funkcji wartościowania formuł KRZ. Tabele prawdziwościowe spójników zdaniowych KRZ.

9.Pojęcia tautologii KRZ oraz wynikania logicznego w KRZ. Skrócona metoda zero-jedynkowa. Kwadrat logiczny KRZ.

10.Syntaktyczne ujęcia KRZ: ujęcie aksjomatyczne oraz założeniowe.

11.Klasyczny rachunek predykatów (KRP). Alfabet KRP.

12.Definicja formuły atomowej.

13.Podstawowe tautologie KRP. Kwadrat logiczny KRP. Zdania kategoryczne w KRP.

Szczegółowe zagadnienia tematyczne:

1.Przedmiot i działy logiki. Zarys historii logiki. Najwybitniejsi logicy: Arystoteles, G. Frege, A. Tarski; logicy XX wieku: B. Russell, L. Wittgenstein, D. Hilbert, E. Post, J. Łukasiewicz.

2.Pojęcia języka formalnego, schematów (formuł) logicznych, zmiennych, stałych logicznych oraz stałych poza-logicznych. Kategorie syntaktyczne: stałe poza-logiczne (nazwy i zdania) i stałe logiczne (funktory).

3.Nazwy. Pojęcie desygnatu, denotacji oraz konotacji. Klasyfikacja nazw według denotacji, klasyfikacja nazw według konotacji. Teoria nazw J. S. Milla a teoria nazw B. Russella.

4.Zdania. Pojęcie zdania w sensie logicznym.

5.Logika tradycyjna (rachunek nazw, sylogistyka). Ogólny schemat zdania. Alfabet logiki tradycyjnej: zmienne nazwowe, spójniki zdaniowe i konektywy. Definicja wynikania logicznego. Definicja wnioskowania dedukcyjnego (wnioskowania niezawodnego).

6.Zdania kategoryczne. Kwadrat logiczny logiki tradycyjnej, definicje relacji logicznych w kwadracie logicznym. Sylogizmy. Sprawdzanie sylogizmów metodą diagramów J. Venna.

7.Klasyczny rachunek zdaniowy (KRZ). Alfabet KRZ: zmienne zdaniowe i spójniki zdaniowe. Syntaktyczna definicja formuły KRZ.

8.Semantyczna interpretacja spójników zdaniowych. Pojęcie funkcji wartościowania formuł KRZ. Tabele prawdziwościowe spójników zdaniowych KRZ.

9.Pojęcia tautologii KRZ oraz wynikania logicznego w KRZ. Skrócona metoda zero-jedynkowa rozstrzygania o tautologiczności formuł KRZ. Kwadrat logiczny KRZ.

10.Syntaktyczne ujęcia KRZ: ujęcie aksjomatyczne oraz założeniowe (dedukcja naturalna). Dowód założeniowy wprost a dowód założeniowy niewprost.

11.Klasyczny rachunek predykatów (KRP). Alfabet KRP: zmienne indywiduowe (nazwowe), stałe indywiduowe (nazwowe), symbole predykatowe, kwatyfikatory, spójniki zdaniowe, znak identyczności.

12.Definicja formuły atomowej. Formuły atomowe: funkcje zdaniowe oraz zdania atomowe. Zdania złożone.

13.Podstawowe tautologie KRP. Kwadrat logiczny KRP. Zdania kategoryczne w KRP. Symbole funkcyjne w KRP. Deskrypcje w KRP.

14.Wybrane zagadnienia filozofii logiki i filozofii nauki. Pojęcia prawdy logicznej, zdania analitycznego i zdania syntetycznego. Zdania uniwersalne a zdania egzystencjalne.

15.Pozytywizm logiczny i program logicyzmu.

Literatura:

Literatura podstawowa:

1.J. Bremer, Wprowadzenie do logiki, Wydawnictwo WAM, Kraków 2006.

2.G. Malinowski, Logika ogólna, Wyd. II, Wydawnictwo UŁ, Łódź 2008.

3.B. Stanosz, Wprowadzenie do logiki formalnej, Wydawnictwo Naukowe PWN, Warszawa 2010.

4.B. Stanosz, Ćwiczenia z logiki, Wydawnictwo Naukowe PWN, Warszawa 2004.

Literatura uzupełniająca:

1.Chodkowski T., Nieznański E., Świetorzecka K., Wójtowicz A., Elementy logiki prawniczej. Definicje, podziały i typy argumentacji, Polskie Wydawnictwo Prawnicze, Warszawa-Poznań 2000.

2.Hołówka T., Kultura logiczna w przykładach, Wydawnictwo Naukowe PWN, Warszawa 2005.

3. Hołówka T., Błędy, spory, argumenty, Wydział Filozofii i Socjologii UW, Warszawa 1998.

4.Szymanek K., Sztuka argumentacji. Słownik terminologiczny, Wydawnictwo Naukowe PWN, Warszawa 2004

5.Szymanek K., Wieczorek K., Wójcik A., Sztuka argumentacji. Ćwiczenia w badaniu argumentów, Wydawnictwo Naukowe PWN, Warszawa 2008.

6.Lewandowski S., Machińska H., Malinowski A., Petzel J., Logika dla prawników, Wydawnictwo Prawnicze LexisNexis, Warszawa 2003

7.Malinowski A., Pełka M., Brzeski R., Przewodnik do ćwiczeń z logiki dla prawników, Wydawnictwo Prawnicze LexsisNexsis, Warszawa 2006.

8.Ziembiński Z., Logika praktyczna, PWN, Warszawa 1995.

Uwagi:

Wykład: egzamin pisemny.

Nakład pracy studenta:

Godziny kontaktowe: 15

Przygotowanie się do zajęć, lektury: 15

Przygotowanie się do egzaminu: 30

Sumaryczna liczba punktów ECTS: 2.00

Zajęcia w cyklu "Semestr zimowy dla niestacjonarnych 2018/2019" (zakończony)

Okres: 2018-10-01 - 2019-03-01
Wybrany podział planu:


powiększ
zobacz plan zajęć
Typ zajęć: Wykład, 15 godzin więcej informacji
Koordynatorzy: Mateusz Radzki
Prowadzący grup: Mateusz Radzki
Lista studentów: (nie masz dostępu)
Zaliczenie: Zaliczenie na ocenę
Skrócony opis:

Wykład:

Sposoby pomiarów efektów kształcenia: egzamin pisemny.

Pełny opis:

Treść:

1.Przedmiot logiki.

2.Pojęcia języka formalnego, formuł logicznych, zmiennych, stałych logicznych oraz stałych poza-logicznych.

3.Nazwy. Pojęcie desygnatu, denotacji oraz konotacji.

4.Zdania.

5.Logika tradycyjna. Ogólny schemat zdania. Alfabet logiki tradycyjnej. Wnioskowanie dedukcyjne.

6.Zdania kategoryczne. Kwadrat logiczny. Sylogizmy.

7.Klasyczny rachunek zdaniowy (KRZ). Alfabet KRZ. Definicja formuły KRZ.

8.Pojęcie funkcji wartościowania formuł KRZ. Tabele prawdziwościowe spójników zdaniowych KRZ.

9.Pojęcia tautologii KRZ oraz wynikania logicznego w KRZ. Skrócona metoda zero-jedynkowa. Kwadrat logiczny KRZ.

10.Syntaktyczne ujęcia KRZ: ujęcie aksjomatyczne oraz założeniowe.

11.Klasyczny rachunek predykatów (KRP). Alfabet KRP.

12.Definicja formuły atomowej.

13.Podstawowe tautologie KRP. Kwadrat logiczny KRP. Zdania kategoryczne w KRP.

Szczegółowe zagadnienia tematyczne:

1.Przedmiot i działy logiki. Zarys historii logiki. Najwybitniejsi logicy: Arystoteles, G. Frege, A. Tarski; logicy XX wieku: B. Russell, L. Wittgenstein, D. Hilbert, E. Post, J. Łukasiewicz.

2.Pojęcia języka formalnego, schematów (formuł) logicznych, zmiennych, stałych logicznych oraz stałych poza-logicznych. Kategorie syntaktyczne: stałe poza-logiczne (nazwy i zdania) i stałe logiczne (funktory).

3.Nazwy. Pojęcie desygnatu, denotacji oraz konotacji. Klasyfikacja nazw według denotacji, klasyfikacja nazw według konotacji. Teoria nazw J. S. Milla a teoria nazw B. Russella.

4.Zdania. Pojęcie zdania w sensie logicznym.

5.Logika tradycyjna (rachunek nazw, sylogistyka). Ogólny schemat zdania. Alfabet logiki tradycyjnej: zmienne nazwowe, spójniki zdaniowe i konektywy. Definicja wynikania logicznego. Definicja wnioskowania dedukcyjnego (wnioskowania niezawodnego).

6.Zdania kategoryczne. Kwadrat logiczny logiki tradycyjnej, definicje relacji logicznych w kwadracie logicznym. Sylogizmy. Sprawdzanie sylogizmów metodą diagramów J. Venna.

7.Klasyczny rachunek zdaniowy (KRZ). Alfabet KRZ: zmienne zdaniowe i spójniki zdaniowe. Syntaktyczna definicja formuły KRZ.

8.Semantyczna interpretacja spójników zdaniowych. Pojęcie funkcji wartościowania formuł KRZ. Tabele prawdziwościowe spójników zdaniowych KRZ.

9.Pojęcia tautologii KRZ oraz wynikania logicznego w KRZ. Skrócona metoda zero-jedynkowa rozstrzygania o tautologiczności formuł KRZ. Kwadrat logiczny KRZ.

10.Syntaktyczne ujęcia KRZ: ujęcie aksjomatyczne oraz założeniowe (dedukcja naturalna). Dowód założeniowy wprost a dowód założeniowy niewprost.

11.Klasyczny rachunek predykatów (KRP). Alfabet KRP: zmienne indywiduowe (nazwowe), stałe indywiduowe (nazwowe), symbole predykatowe, kwatyfikatory, spójniki zdaniowe, znak identyczności.

12.Definicja formuły atomowej. Formuły atomowe: funkcje zdaniowe oraz zdania atomowe. Zdania złożone.

13.Podstawowe tautologie KRP. Kwadrat logiczny KRP. Zdania kategoryczne w KRP. Symbole funkcyjne w KRP. Deskrypcje w KRP.

14.Wybrane zagadnienia filozofii logiki i filozofii nauki. Pojęcia prawdy logicznej, zdania analitycznego i zdania syntetycznego. Zdania uniwersalne a zdania egzystencjalne.

15.Pozytywizm logiczny i program logicyzmu.

Literatura:

Literatura podstawowa:

1.J. Bremer, Wprowadzenie do logiki, Wydawnictwo WAM, Kraków 2006.

2.G. Malinowski, Logika ogólna, Wyd. II, Wydawnictwo UŁ, Łódź 2008.

3.B. Stanosz, Wprowadzenie do logiki formalnej, Wydawnictwo Naukowe PWN, Warszawa 2010.

4.B. Stanosz, Ćwiczenia z logiki, Wydawnictwo Naukowe PWN, Warszawa 2004.

Literatura uzupełniająca:

1.Chodkowski T., Nieznański E., Świetorzecka K., Wójtowicz A., Elementy logiki prawniczej. Definicje, podziały i typy argumentacji, Polskie Wydawnictwo Prawnicze, Warszawa-Poznań 2000.

2.Hołówka T., Kultura logiczna w przykładach, Wydawnictwo Naukowe PWN, Warszawa 2005.

3. Hołówka T., Błędy, spory, argumenty, Wydział Filozofii i Socjologii UW, Warszawa 1998.

4.Szymanek K., Sztuka argumentacji. Słownik terminologiczny, Wydawnictwo Naukowe PWN, Warszawa 2004

5.Szymanek K., Wieczorek K., Wójcik A., Sztuka argumentacji. Ćwiczenia w badaniu argumentów, Wydawnictwo Naukowe PWN, Warszawa 2008.

6.Lewandowski S., Machińska H., Malinowski A., Petzel J., Logika dla prawników, Wydawnictwo Prawnicze LexisNexis, Warszawa 2003

7.Malinowski A., Pełka M., Brzeski R., Przewodnik do ćwiczeń z logiki dla prawników, Wydawnictwo Prawnicze LexsisNexsis, Warszawa 2006.

8.Ziembiński Z., Logika praktyczna, PWN, Warszawa 1995.

Uwagi:

Wykład: egzamin pisemny.

Nakład pracy studenta:

Godziny kontaktowe: 15

Przygotowanie się do zajęć, lektury: 15

Przygotowanie się do egzaminu: 30

Sumaryczna liczba punktów ECTS: 2.00

Opisy przedmiotów w USOS i USOSweb są chronione prawem autorskim.
Właścicielem praw autorskich jest Akademia Pedagogiki Specjalnej im. Marii Grzegorzewskiej w Warszawie.