Logika WF-PS-N-LOG
Ćwiczenia (CW) Semestr zimowy 2021/22

Logika w pigułce, C.H. Beck Wydawnictwo Polska, Warszawa 2014

Nieznański E., Logika. Podstawy – język - uzasadnianie, C.H.Beck, 2.wydanie, Warszawa 2006

Stanosz B., Wprowadzenie do logiki formalnej. Podręcznik dla humanistów, PWN, Logika w pi199

Celem zajęć jest przekazanie słuchaczom podstawowych zagadnień z zakresu logiki. Podstawowym założeniem przy konstrukcji programu zajęć było przekonanie, że nieocenioną wartością w pracy psychologa jest umiejętność precyzyjnego, poprawnego logicznie myślenia jak również komunikowania swoich myśli innym ludziom. Zajęcia te dostarczają ponadto aparatury pojęciowej, która jest niezbędna podczas studiów humanistycznych.

Wiedza: opanowanie pojęć: zdania, wartości zmiennych zdaniowych, matryc spójników logicznych, funkcji zdaniowej, tautologii logicznej, wynikania logicznego, reguł wnioskowania, języka i metajęzyka oraz interpretacji KRZ w języku naturalnym.

Warunkiem zaliczenia przedmiotu jest regularna obecność (dopuszczalne dwie nieobecności) oraz uzyskanie pozytywnej oceny (3,0) z 3 kolokwiów pisemnych.

Przewiduje się następującą skalę ocen z każdego kolokwium:

5,0 - 100 - 91% punktów

4,5 - 90 - 81% punktów

4,0 - 80 - 71% punktów

3,5 - 70 - 61% punktów

3,0 - 60 - 51% punktów

2,0 - 0 - 50 % punktów

Treści programowe:

1. Zagadnienia wstępne: historia logiki, jej przedmiot i cel nauczania.

2. Pojęcie znaku.

3. Syntaktyczne kategorie wyrażeń: zdania.

4. Syntaktyczne kategorie wyrażeń: nazwy.

5. Podziały nazw.

6. Stosunki zakresowe między nazwami.

7. Syntaktyczne kategorie wyrażeń: funktory i operatory.

8. Analiza syntaktyczna wyrażeń.

9. Analiza syntaktyczna wyrażeń c.d.

10. Klasyczny Rachunek Zdań: budowa języka.

11. Klasyczny Rachunek Zdań: tautologie logiczne, metoda zerojedynkowa.

12. Metoda zerojedynkowa - c.d.

13. Pojęcie wynikania logicznego.

14. Pojęcie i klasyfikacja rozumowań.

15. Typy rozumowa

konwersatorium: dyskusja, elementy wykładu, rozwiązywanie i omawianie zadań przy tablicy