4. Warunki poprawności definicji:
a) błędy formalne: sprzeczność definicji; błędne koło bezpośrednie i pośrednie;
b) błędy merytoryczne: definicje za wąskie, za szerokie, przesunięcie kategorialne.
IX. Prawa logiki nazw. [8. 14).
1. Rodzaje zdań podmiotowo-orzecznikowych: zdania identycznościowe, atomiczne i subsumpcyjne.
2. Klasyczne zdania kategoryczne i ich podział ze względu na ilość i jakość.
3. Ekstensjonalna interpretacja zdań kategorycznych.
4. Prawa kwadratu logicznego. Prawa konwersji, obwersji i kontrapozycji.
5. Wnioskowania sylogistyczne. Pięć reguł niezawodności trybu sy logi stycznego i metoda diagramów Venna.
X. Kwantyfikatory i modalności. (3. 8, 9. 14).
1. Kwantyfikatory.
a) język rachunku k wanty fi katorów (tj. klasycznego rachunku logicznego — KRL): formuły atomowe, zdania i funkcje zdaniowe:
b) interpretacja zdań KRL. uniwersum i dziedzina (model) interpretacji;
c) prawa rachunku kwantyfikatorów (tautologie KRL).
2. Modalności logiczne (ontyczne). Prawa logiki modalnej. (3, 14)
3. Modalności normatywne (deontycznc). Prawa logiki deontycznej. (14).
XI. Zdania py tajne. (11, 14).
1. Założenia pytań, presupozycje. Pytania otwarte i zamknięte.
2. Budowa pytania. Pytania rozstrzygnięcia i dopełnienia. Niewiadoma pytania.
3. Pytania sugestywne i podchwytliwe. Rodzaje odpowiedzi.
XII. Elementy pragmatyki logicznej i teorii argumentacji. (1. 7. 9. 10. 11. 13)
1. Implikatura i maksymy konwersacyjne Grice‘a.
2. Wiedza a przekonanie. Własności racjonalnych przekonań.
3. Struktura argumentacji potocznej. Argumenty szeregowe i równoległe. Diagramy.
3. Logiczne aspekty definicji kłamstwa.
Lektury obowiązkowe:
1. A. Tarski - Prawdo i dowód. (Poz. (12) poniżej.)
2. K. Popper - Przedmowa do wydania angielskiego oraz Wprowadzenie do: Nędza historycyzmu. (Poz. (6) poniżej.)
Literatura:
[ 1) Ajdukiewicz, K. - Okres warunkowy, a implikacja materialna. (w:) Język i poznanie, t. II.
Wybór pism z lat 1915 - 1963. PWN, Warszawa 1985. s. 248- 265.
(2) Ajdukiew icz. K. Klasyfikacja rozumowań, (w:) Język i poznanie, t. II. Wybór pism z lal 1945 — 1963. PWN. Warszawa 1985. s. 206-225.
(3) Borkowski. L. Logika formalna, PWN, Warszawa 1977.
(4 ] Boi4»vvskir4-^ijhipecki, J. - Elementy logiki matematycznej i teorii mnogości. PWN, Warszawa 1966. [5)(A1arciszewsla, W> (red.) - Mała encyklopedia logiki. Zakład Narodowy imienia Ossolińskich. Wydawnictwo, Wrocław - Warszawa - Kraków' - Gdańsk - Łódź 1988. pźr-ł6) Popper. K. Nędza historycyzmu. Wydawnictwo Naukowe PWN. Warszawa 1999.
(7) Schopenhauer. A. - Erystyka. czyli sztuka prowadzenia sporów. Oficyna Wydawnicza Alma-Press. Warszawa.
(8) Selinger. M. - Tradycyjna logika nazw. (w:) Wprowadzenie do logiki. Oficyna Ars magna. Wrocław
(9) (stanosA B? Ćwiczenia z logiki. Wydawnictwo Naukowe PWN. Warszawa 2007.
f lOfcMańoś/.lj) Wprowadzenie do logiki formalnej. Wydawnictwo Naukowe PWN. Warszawa 2006. (11) Szymanek, K. Sztuka argumentacji. Słownik terminologiczny. Wydawnictwo Naukowe PWN. Warszawka 2(X)T
12) Parski. A. Prawda i Dowód, w: Pisma logiczno-filozoficzne, t. I, Prawda, (red.) J. Zygmunt. Wydawnictwo Naukowe PWN, Warszawa 1995. s. 292-332.
(13) (£okarz, NŁ~3 Argumentacja, perswazja, manipulacja. Wykłady z teorii komunikacji. Gdańskie Wydawnictwo, Psychologiczne. Gdańsk 2006.
[14) (TK“mbiński7z^- Logika praktyczna. Wydaw nictw o Naukowe PWN. Warszawa 2005.
2