Artur Machlarz, Logika, II Germanistyka, ćwiczenia. Ćwiczenia

Logika, II Germanistyka, ćwiczenia.
Artur Machlarz, e­mail: [email protected]
www: http://www.uni.opole.pl/~machlarz
Logika, II Germanistyka, ćwiczenia.
Ćwiczenia przewidziane są na 30 godzin zajęć, realizowane w dwóch semestrach. Na ostatnich zajęciach każdego semestru odbędzie się kolokwium zaliczeniowe. Tematy zajęć:
1. Wstęp. Pojęcie zdania i nazwy w sensie logicznym. 2. Nazwy ogólne i konkretne. Pojęcie desygnacji i konotacji. 3. Zakres nazwy. Pojęcie zbioru w sensie dystrybutywnym. Podstawowe właściwości zbiorów. 4. Pojęcie wnioskowania. Wnioskowanie indukcyjne i dedukcyjne, podstawowe błędy wnioskowania.
5. Wprowadzenie do sylogistyki Arystotelesa. 6. Sprawdzanie poprawności rozumowań sylogistycznych.
7. Algebra Boole'a – podstawowe pojęcia i twierdzenia. 8. Język formalny – język jako rachunek.
9. Wprowadzenie do formalnego rachunku zdań. Funktory logiczne Klasycznego Rachunku Zdań i przykłady ich odpowiedników w językach naturalnych. 10. Wartość zdania. Pojęcie tautologii i kontrtautologii. 11. Sprawdzanie tautologiczności schematów zdaniowych.
12. Reguły rozumowań dedukcyjnych. 13. Sprawdzanie poprawności rozumowań dedukcyjnych. 14. Wprowadzenie do formalnego rachunku predykatów pierwszego rzędu. 15. Przekład zdań języka naturalnego na strukturę formalnego języka rachunku predykatów. 16. Pojęcie prawdy w językach formalnych. Język a metajęzyk. 17. Twierdzenie o pełności KRZ.
Logika, II Germanistyka, ćwiczenia.
18. Logika pragmatyczna: pojęcie implikatury konwersacyjnej i presupozycji.
Zagadnienia wskazane w punktach: 3, 4, 6, 7, 9, 11, 13, 15, 16, 18 będą realizowane na dwóch kolejnych zajęciach. Literatura:
Barbara Stanosz, Wprowadzenie do logiki formalnej, różne wydania; Barbara Stanosz, Ćwiczenia z logiki, różne wydania; Kazimierz Ajdukiewicz, Zarys logiki, Warszawa 1960;
Zygmunt Ziembiński, Logika praktyczna, różne wydania; Ryszard Wójcicki, Wykłady z logiki z elementami teorii wiedzy, Warszawa 2003.
Warunki zaliczenia:
A. Obecność na zajęciach – dozwolona jest jedna nieobecność, pozostałe należy zaliczyć na konsultacjach w terminie nie przekraczającym 4 tygodni od daty opuszczonych zajęć. B. Pozytywna ocena z semestralnego kolokwium zaliczeniowego (test oraz zadania). Ocena końcowa z ćwiczeń będzie wypadkową oceny z kolokwium oraz oceny aktywności.