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

Logika 20-2F-LOG
Semestr letni 2017/2018
Ćwiczenia, grupa nr 1

powiększ
plan zajęć przedmiotu
zaznaczono (na zielono) terminy
aktualnie wyświetlanej grupy
To jest strona grupy zajęciowej. Jeśli szukasz opisu przedmiotu, zobacz stronę przedmiotu
Przedmiot Logika 20-2F-LOG
Zajęcia Semestr letni 2017/2018 (2017L) (zakończony)
Ćwiczenia (CW), grupa nr 1 [pozostałe grupy]
Termin i miejsce: (brak danych)
Liczba osób w grupie: 1
Limit miejsc: (brak danych)
Prowadzący: Wiktor Wolman
Literatura:

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.
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.

Metody dydaktyczne:

dyskusja, indywidualne rozwiązywanie zadań
Metody i kryteria oceniania:

ocena końcowa jest średnią arytmetyczną dwóch kolokwium
Uwagi:

Nakład pracy studenta:

1. Udział w ćwiczeniach: 30 h

2. Zapoznanie się z wybraną literaturą filozoficzną i naukową - 30 h

3. Przygotowanie sie do zaliczenia końcowego - 30 h
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.