1. Język jako system znaków. 2. Nazwy. 3. Definicje. 4. Podział logiczny. 5. Klasyczny rachunek zdań i jego język. 6. Tautologie klasycznego rachunku zdań. 7. System dedukcji naturalnej klasycznego rachunku zdań. 8. Sylogistyka. 9. Rozumowanie. 10. Relacje. 11. Wypowiedzi moralne. 12. Elementy logiki erotetycznej.

1. Język jako system znaków. 2. Nazwy. 3. Definicje. 4. Podział logiczny. 5. Klasyczny rachunek zdań i jego język. 6. Tautologie klasycznego rachunku zdań. 7. System dedukcji naturalnej klasycznego rachunku zdań. 8. Sylogistyka. 9. Rozumowanie. 10. Relacje. 11. Wypowiedzi moralne. 12. Elementy logiki erotetycznej.

1. Elementy logiki i teorii mnogości. 1.1. Wstęp. 1.2. Rachunek zdań, funkcja zdaniowa. 1.3. Twierdzenia, metody dowodzenia i reguły wnioskowania. 1.4. Rachunek zbiorów. 1.5. Kwantyfikatory. 1.6. Działania uogólnione na zbiorach. 2. Relacje. 2.1. Podstawowe własności relacji. 2.2. Relacje równoważności i zasada abstrakcji. 2.3. Relacje porządkujące. 2.4. Relacje porządkujące w iloczynie kartezjańskim. 2.5. Funkcje jako relacje. 3. Funkcje rzeczywiste zmiennej rzeczywistej. 3.1. Funkcje elementarne. 3.2. Funkcje cyklometryczne. 3.3. Funkcje hiperboliczne. 4. Równoliczność zbiorów, moc zbioru. 5. Indukcja matematyczna i rekurencja. 5.1. Indukcja matematyczna. 5.2. Rekurencja. 6. Pytania testowe. 6.1. Elementy logiki i teorii mnogości. 6.2. Relacje. 6.3. Własności funkcji, funkcje rzeczywiste. 6.4. Zbiory równoliczne, moc zbioru. 6.5. Indukcja matematyczna i rekurencja. 6.6. Odpowiedzi do pytań testowych. 7. Propozycje sprawdzianów. Wykaz oznaczeń. Literatura.

1. Język jako system znaków. 2. Nazwy. 3. Definicje. 4. Podział logiczny. 5. Klasyczny rachunek zdań i jego język. 6. Tautologie klasycznego rachunku zdań. 7. System dedukcji naturalnej klasycznego rachunku zdań. 8. Sylogistyka. 9. Rozumowanie. 10. Relacje. 11. Wypowiedzi moralne. 12. Elementy logiki erotetycznej. 13. Przed egzaminem

CZ.I Wykłady: 1. Wiadomości wstępne, 2. Klasyczny rachunek zadań, 3. Klasyczny rachunek kwantyfikatorów, 4. Rachunek nazw, 5. Wynikanie logiczne i wynikanie analityczne, 6. Wyrażenia modalne, 7. Teoria mnogości, 8. O wnioskowaniu, 9. Przyczyny nieporozumień, 10. Definicje, 11. Logika a sztuka przekonywania. Cz. II Ćwiczenia

1. Struktura komunikatu, 2. Podstawy klasycznej logiki zdaniowej, 3. Zbiory, nazwy, relacje, 4. Wnioskowania wyższych rzędów, 5. Argumentacja i dyskusja, 6. Sofizmaty

Zawiera: Przedmowa. Wykaz skrótów. Wykaz ważniejszej literatury. Rozdział I. Pojęcie logiki i jej struktura. 1. Pojęcie. 2. Struktura. 3. Logika a nauki pokrewne. Rozdział II. Znak, kategorie syntaktyczne. 4. Pojęcie znaku. 5. Język, stopnie języka, role semiotyczne wypowiedzi. I. Język. II. Stopnie języka. III. Role semiotyczne wypowiedzi. 6. Kategorie syntaktyczne. 7. Podsumowanie. Rozdział III. Nazwy. 8. Budowa nazwy. 9. Denotacja nazwy. 10.Konotacja nazwy. 11. Podsumowanie. Rozdział IV. Definiowanie. Rozdział V. Stosunki między zakresami nazw. 12. Podsumowanie. Rozdział VI. Zbiory. 13. Działania na zbiorach. I. Iloczyn logiczny zbiorów. II. Suma logiczna zbiorów. III. Różnica logiczna zbiorów. 14. Zależności między zbiorami. 15. Podsumowanie. Rozdział VII. Podział logiczny. 16. Podsumowanie. Rozdział VIII. Sądy i zdania. 17.Wypowiedź niezupełna. 18. Zdanie i jego wartość logiczna. 19. Prawdziwość zdań. 20. „Zdania” o niejednoznacznej wartości logicznej. 21. Rodzaje zdań. 22. Związki logiczne między zdaniami. 23. Funkcja zdaniowa. 24. Podsumowanie. 25. Błędy w słownym przekazywaniu myśli. Rozdział IX. Modalność wypowiedzi. 26. Zdania modalne. 27. Interpretacje wypowiedzi modalnych. 28. Wieloznaczność wypowiedzi modalnych. I. Interpretacja jednostronna. II. Interpretacja dwustronna. Rozdział X. Pytania i odpowiedzi. 29. Pytania. 30. Odpowiedzi. Rozdział XI. Relacje. 31. Pojęcie relacji. 32. Konwers (odwrotność) relacji. 33. Rodzaje relacji. I. Relacja symetryczna. II. Relacja asymetryczna (przeciwsymetryczna) . III. Relacja nonsymetryczna (niesymetryczna). IV. Relacja tranzytywna (przechodnia). V. Relacja atranzytywna (przeciwprzechodnia). VI. Relacja nontranzytywna (nieprzechodnia). VII. Relacja spójna (koherentna). VIII. Relacja przeciwspójna (akoherentna). IX. Relacja niespójna (inkoherentna). X. Relacja zwrotna. XI. Relacja przeciwzwrotna (azwrotna). XII. Relacja niezwrotna (nonzwrotna). 34. Mnożenie relacji. 35. Podsumowanie. Rozdział XII. Funktory prawdziwościowe. 36. Pojęcie funktora prawdziwościowego. 37. Koniunkcja. 38. Alternatywa. I. Alternatywa zwykła (nierozłączna). II. Alternatywa rozłączna (sprzeczność). 39. Implikacje. I. Implikacja zwykła (ekstensywna). II. Implikacja odwrotna (intensywna). III. Implikacja wzajemna (równoważność). 40. Wynikanie. 41. Dysjunkcja (negacja koniunkcji). 42. Binegacja (negacja alternatywy). 43. Inne funktory prawdziwościowe. 44. Funktory nieprawdziwościowe. 45. Podsumowanie. Rozdział XIII. Prawa rachunku zdań. 46. Tautologie. I. Prawa z jedną zmienną. 1. Zasada tożsamości. 2. Zasada wyłączonego środka. 3. Zasada sprzeczności. 4. Zasada podwójnego przeczenia. II. Prawa z dwiema zmiennymi zdaniowymi. 1. I prawo de Morgana – prawo zaprzeczenia koniunkcji. 2. II prawo de Morgana. 3. Prawo negowania implikacji. 4. Prawo transpozycji. 5. Modus ponendo ponens – tryb przez stwierdzenie stwierdzający. 6. Modus tollendo tollens – tryb przez zaprzeczenie zaprzeczający. 7. Modus ponendo tollens. 8. Modus tollendo ponens. 9. Prawo przemienności koniunkcji. 10. Prawo przemienności alternatywy nierozłącznej. 11. Prawo przemienności alternatywy rozłącznej. 12. Prawo przemienności równoważności. 13. Prawo przemienności dysjunkcji. 14. Prawo przemienności binegacji. III. Prawa z co najmniej trzema zmiennymi. 1. Prawo sylogizmu hipotetycznego. 2. Prawo eksportacji. 3. Prawo importacji. 4. Prawo dylematu konstrukcyjnego. 4.1. Dylemat konstrukcyjny prosty. 4.2. Dylemat konstrukcyjny złożony. IV. Definiowanie funktorów prawdziwościowych za pomocą funktora binegacji. 47. Kontrtautologia. 48. Metody badania funkcji logicznych. 49. Podsumowanie. Rozdział XIV. Rozumowania na zdaniach kategorycznych. 50. Zdania kategoryczne. I. Stosunki między zakresami nazw w zdaniach kategorycznych. 1. Zdanie ogólnotwierdzące (SaP). 2. Zdanie ogólnoprzeczące (SeP). 3. Zdanie szczegółowotwierdzące (SiP). 4. Zdanie szczegółowoprzeczące (SoP). II. Rozłożenie terminów w zdaniach kategorycznych. 51. Rozumowania bezpośrednie przez dodanie funktorów. 52. Rozumowania z opozycji (kwadrat logiczny). 53. Zwrot tylko w zdaniach kategorycznych. 54. Przekształcenia zdań kategorycznych. I. Kontrapozycje. II. Inwersje. 55. Podsumowanie. Rozdział XV. Rozumowania pośrednie. Sylogizm kategoryczny. 56. Sylogizm prawniczy. 57. Sprawdzanie poprawności trybów sylogistycznych za pomocą diagramów Venna. 58. Błędy we wnioskowaniach. Rozdział XVI. Rozumowania. 59. Rozumowania zawodne. 60. Wyjaśnianie. I. Indukcja zupełna. II. Indukcja niezupełna. III. Indukcja eliminacyjna. 1. Kanon jedynej zgodności. 2. Kanon jedynej różnicy. 3. Kanon zgodności i różnicy. 4. Kanon zmian towarzyszących. 5. Kanon reszt. IV. Indukcja statystyczna. 61. Rozumowania redukcyjne a rozumowania dedukcyjne. 62. Sprawdzanie. I. Sprawdzanie ze skutkiem pozytywnym. II. Sprawdzanie ze skutkiem negatywnym. 63. Eksperyment. 64. Rozumowania z analogii. I. Wnioskowanie per analogiam. Rozdział XVII. Logika a wykładnia prawa. 65. Wypełnianie luk prawnych. I. Rozumowanie per analogiam. II. Wnioskowanie a contrario. III. Wnioskowanie a fortiori. Rozdział XVIII. Uzasadnienie wyroku. 66. Struktura uzasadnienia orzeczenia sądowego. 67. Język orzeczeń sądowych. Rozdział XIX. Sofizmatyka. 68. Transdukcje i nadinterpretacje. I. Błąd przypadkowości (fallacia accidentis). II. Przejście od znaczenia względnego do znaczenia bezwzględnego (transitus a dictio secundum quid ad dictum simpliciter). III. Przejście od jednego rodzaju do drugiego rodzaju (transitus de genere ad genus). IV. Sofizmat indukcji (sophisma inductionis, secundum quid). V. Sofizmat kompozycji. VI. Błąd niewłaściwej przyczyny (fallacia non causae ut cause). VII. Inne błędy lub chwyty retoryczne. Rozdział XX. Domniemania. Rozdział XXI. Prawdopodobieństwo. Indeks rzeczowy.

Zadania: R. 1 Rachunek zadań; R. 2 Algebra zbiorów; R. 3 Funkcje zadaniowe, kwantyfikatory; R. 4 Relacje. Relacja równoważności; R. 5 Funkcje; R. 6 Działania nieskończone; R. 7 Teoria mocy; R. 8 Relacje porządkujące; R. 9 Zestawy ogólnie sprawdzające; R. 10 Arytmetyka liczb kardynalnych i porządkowych; R. 11 Elementarne systemy formalne i ich podstawowe własności; R. 12 Teoria modeli; R. 13 Funkcje rekurencyjne; Dodatek 1 Indukcja matematyczna; Dodatek 2 Kraty i algebry Boole’a. Odpowiedzi, rozwiązania, wskazówki [do poszczególnych rozdziałów zadań]

1. Elementy logiki matematycznej; 2. Zbiory, relacje, funkcje; 3. Przegląd funkcji; 4. Ciągli liczbowe; 5. Szeregi liczbowe; 6. Granica funkcji i ciągłość funkcji; 7. Pochodna funkcji; 8. Podstawowe twierdzenia rachunku różniczkowego; 9. Badanie funkcji; 10. Całka nieoznaczona; 11. Całka oznaczona Riemanna; 12. Zastosowania całki oznaczonej; 13. Liczby zespolone; 14. Macierze i wyznaczniki; 15. Układy równań liniowych; 16. Wektory własne i wartości własne macierzy; 17. Układy nierówności liniowych; 18. Rachunek wektorowy; 19. Liniowa geometria analityczna w przestrzeni; 20. Zmiana układu współrzędnych; 21. Linie stopnia drugiego; 22. Powierzchnie w przestrzeni trójwymiarowej; 23. Wprowadzenie do teorii funkcji wielu zmiennych; 24. Granica i ciągłość funkcji wielu zmiennych; 25. Pochodne cząstkowe funkcji wielu zmiennych; 26. Różniczkowalność funkcji wielu zmiennych; 27. Ekstrema funkcji wielu zmiennych; 28. Funkcje uwikłane; 29. Zależność i niezależność funkcji wielu zmiennych; 30. Całka podwójna; 31. Zastosowania całki podwójnej; 32. Całka potrójna; 33. Równania różniczkowe zwyczajne;

R.1 Elelemnty logiki i teorii zbiorów; R.2 Przestrzenie arytmentyczne; R.3 Elementy algebry liniowej; R.4 Funkcje jednej zmiennej; R.5 Rachunek różniczkowy funkcji jednej zmiennej; R.6 Rachunek całkowy funkcji jednej zmiennej; R.7 Funkcje dwóch zmiennych; Odpowiedzi i rozwiązania zadań.