Logika 1 WF-FI-N11-L1
Ćwiczenia (CW) Semestr zimowy 2024/25

-obowiązkowa:

1. Ajdukiewicz K., "O spójności syntaktycznej", w: Język i poznanie. T1, PWN, Warszawa 1985, s. 222-242;

2. Słupecki J., Borkowski L., Elementy logiki matematycznej i teorii mnogości, PWN, Warszawa 1984, do strony 172;

3. Nieznański E., Logika. Podstawy, język, uzasadnianie, Beck, Warszawa 2011 (fragmenty),

4. Stanosz, B., Wprowadzenie do logiki formalnej, PWN;

5. Stanosz, B. Ćwiczenia z logiki, PWN;

- uzupełniająca:

1. Malinowski G. Logika ogólna, PWN Warszawa 2010;

2. Wajszczyk J., Wstęp do logiki z ćwiczeniami, Wydawnictwo Uniwersytetu Warminsko-Mazurskiego 2001.

3. Teresa Hołówka, Kultura logiczna w przykładach, PWN.

1. Wiedza: Student ma uporządkowaną znajomość i rozumie główne kierunki badań w zakresie logiki; zna podstawowe metody badawcze: metodę analizy logicznej, dedukcję sformalizowaną (dowodzenie, wnioskowanie) w ramach logiki klasycznej.

2. Umiejętności: Student trafnie definiuje pojęcia na gruncie poznanych języków formalnych, poprawnie stosuje wybrane pojęcia logiczne, zna scharakteryzowane systemy dedukcyjne logiki klasycznej

3. Kompetencje: Na podstawie analizy nowych sytuacji problemowych z zakresu logiki student samodzielnie formułuje propozycje ich rozwiązania - potrafi samodzielnie konstruować dowody nowych lematów i twierdzeń, falsyfikować formuły nietautologiczne, orzekać czy zachodzi wynikanie logiczne w prostych rozumowaniach pozalogicznych.

Ćwiczenia stanowią istotne uzupełnienie treści prezentowanych w trakcie wykładu Logika 1. Zakres i porządek tematów ściśle odpowiada zakresowi i porządkowi tematów wykładowych.

Podstawowym celem zajęć jest nauczenie praktycznych umiejętności rozwiązywania zadań z zakresu logiki. W tym celu studenci mają brać aktywny udział w zajęciach: rozwiązywać zadania na tablicy oraz w grupach. Nauczyciel jest osobą kontrolującą poprawność rozumowań podejmowanych przez studentów i uzyskiwanych przez nich wyników.

Zakres i porządek tematów ściśle odpowiada zakresowi i porządkowi tematów wykładowych.