zagadnienianaegzamin1

Zagadnienia do egzaminu PODSTAWY LOGIKI Praca socjalna, rok I, 2013/14

I.    Charakterystyka logiki i dyscyplin naukowych wchodzących w jej skład. [5, 7. 11],

1.    Logika formalna.

2.    Semiotyka logiczna: syniaktyka: semantyka: pragmatyka.

3.    Metodologia: normatywna i opisowa.

4.    Dyscypliny spokrewnione z logiką: dialektyka, eryslyka. retoryka, sofistyka, teoria argumentacji.

II.    Język klasycznego rachunku zdań. Syntaksa (składnia). (3. 9, 10. 14).

1.    Kategorie syntaktyczne. [3, 14).

2.    Formuły KRZ. Indukcyjna definicja zbioru formuł KRZ.

3.    Beznawiasowa symbolika Łukaszewicza. (3. 5].

4.    Formuły KRZ jako schematy zdań języka potocznego. Błąd amfibolii.

III.    Język klasycznego rachunku zdań. Semantyka. (3. 9. 10).

1.    Wartości logiczne. Zdania w sensie logicznym.

2.    Antynomia kłamcy i rozróżnienie na język przedmiotowy i metajęzyk. (5. 12).

3.    Funkcja wartościowania i fiuikcje prawdziwościowe. Tabelki prawdziwościowe dla spójników logicznych.

4.    Wzajemne definiowanie spójników logicznych.

5.    Tautologie i kontrtautologie. Metoda 0-1 zwykła i skrócona. Prawdy logiczne.

IV.    Wynikanie i pozostałe stosunki logiczne. (3. 9. 10).

1.    Definicje stosunków logicznych (wynikanie, wykluczanie, dopełnianie, sprzeczność i równoważność).

2.    Semantycznie sprzeczne zbiory zdań.

3.    Zdania analityczne i kontradyktoryczne. Wynikanie analityczne. [10, 11).

V.    Rozumowania. Wnioskowanie dedukcyjne. Błędy we w nioskowaniach. [2. 3.9. 10, 14).

1.    Pojęcie wnioskowania.

2.    Pojęcie rozumowania. Charakterystyka wybranych rozumowań: wnioskowanie, dow-odzenie. sprawdzanie, tłumaczenie (wyjaśnianie). Klasyfikacja rozumowań wg Ajdukiewicza. (2).

3.    Wnioskowania dedukcyjne i entymematyczne.

4.    Reguły inferencji.

5.    Reguła podstawiania.

6.    Błędy we wnioskowaniach: błąd formalny, błąd materialny, ekwiwokacja.

VI.    Założeniow a metoda konstrukcji rachunku zdań. Dow ody aksjomatyrznę [3, 4, 9).

1.    Pierwotne i wtórne reguły inferencji systemu założeniowego KRZ.

2.    Twierdzenia KRZ. Metareguły dotyczące tworzenia dowodów założeniowych: a) reguła tworzenia dowodów założeniowych wprost; b) reguła tworzenia dowodów założeniowych niewprost: c) reguła dedukcji; d) reguła redukcji do absurdu.

3.    Wykorzystanie twierdzeń do wprowadzania reguł wtórnych.

4.    Syntaktyczne pojęcia sprzecznego zbioru zdań (sprzeczność prosta, absolutna i dedukcyjna).

5.    Pojęcie dowodu aksjomatycznego i systemy aksjomatyczne. (12).

VII.    Nazwy i ich rodzaje. Stosunki miedzy zakresami nazw. [8. 14).

1.    Definicja nazwy.

2.    Desygnat i zakres nazwy. Supozycje. Grellinga - Nelsona antynomia wyrazów heterosemantycznych. (5. 11).

3. Treść i konotacja nazwy.

4.    Rodzaje nazw. Podziały na nazwy: proste i złożone; konkretne i abstrakcyjne, puste, jednostkowe i ogólne; indywidualne i generalne. Nazwy nieostre.

5.    Stosunki między zakresami nazw.

VIII.    Definicje. (14).

1.    Definicje realne i nominalne. Stylizacje: przedmiotowa, semantyczna, słownikowa.

2.    Zadania definicji. Definicje sprawozdawcze (analityczne) i definicje projektujące (syntetyczne): konstrukcyjne i regulujące.

3.    Budowa definicji. Definicje równościowe: klasyczne i nieklasyczne. wyraźne i kontekstowe; definicje nierównościowe: ostensywne (deiktyczne). aksjomatyczne (przez postulaty), cząstkowe.