Akademia Pedagogiki Specjalnej im. Marii Grzegorzewskiej w Warszawie - Centralny System Uwierzytelniania
Strona główna

Logika [20-3F-LOG] Semestr zimowy 2018/2019
Ćwiczenia, grupa nr 1

Przejdź do planu zaznaczono terminy wyświetlanej grupy
To jest strona grupy zajęciowej. Jeśli szukasz opisu przedmiotu, zobacz stronę przedmiotu
Przedmiot: Logika [20-3F-LOG]
Zajęcia: Semestr zimowy 2018/2019 [2018Z] (zakończony)
Ćwiczenia [CW], grupa nr 1 [pozostałe grupy]
Termin i miejsce: Podana informacja o terminie jest orientacyjna. W celu uzyskania pewnej informacji obejrzyj kalendarz roku akademickiego lub skontaktuj się z wykładowcą (nieregularności zdarzają się przede wszystkim w przypadku zajęć odbywających się rzadziej niż co tydzień).
każdy wtorek, 9:50 - 11:25
sala 3630
Budynek z aulami C jaki jest adres?
Terminy najbliższych spotkań: Daty odbywania się zajęć grupy. Prezentują informacje na podstawie zdefiniowanych w USOS terminów oraz spotkań.
Kliknij w datę by zobaczyć tygodniowy plan z zaznaczonym spotkaniem.
Wszystkie zajęcia tej grupy już się odbyły - pokaż terminy wszystkich spotkań.
Data i miejsceProwadzący
Liczba osób w grupie: 26
Limit miejsc: (brak danych)
Prowadzący: Mateusz Radzki
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.

Zakres tematów:

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.

Metody dydaktyczne:

Rozwiązywanie zadań na zajęciach.

Metody i kryteria oceniania:

Kolokwium pisemne.

Uwagi:

grupa ćwiczeniowa I DMPY gr. 1

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.
kontakt deklaracja dostępności USOSweb 7.0.0.0-7 (2024-02-19)