5826504635

naturalnym, a rachunkami logicznymi, ze wskazaniem jednolitej strategii ich konstruowania.

W toku kursu kolejno omawiane będą dwa podstawowe rachunki logiczne: klasyczny rachunek zdań (dobór podstawowych spójników logicznych

-    konstrukcja adekwatnego języka symbolicznego - wartościowania boolowsłde: ich związki z zasadą dwuwartościowości

-    wzajemna definiowalność i funkcyjna pełność podstawowych funktorów

-    tautologie, techniki sprawdzania tautologiczności, wynikanie, normalność i niezawodność reguł wnioskowania

-    system aksjornatyczny, reguły wyprowadzane, inferencja, twierdzenia

0    dedukcji

-    dowodzenie założeniowe - twierdzenie o pełności) i uwzględniający struktury wewnątrzzdaniowe klasyczny węższy rachunek predykatów (intuicje związane z kwantyfikacją

-    konstrukcja adekwatnego języka symbolicznego - wartościowania rzędu pierwszego

-    tautologie, techniki sprawdzania tautologiczności, wynikanie, normalność

1    niezawodność reguł wnioskowania

-    system aksjomatyczny, reguły wyprowadzane, inferencja, twierdzenia o dedukcji - dowodzenie założeniowe - twierdzenie o pełności).

Literatura przedmiotu

M. Porębska, W. Suchoń: Elementarny wykład logiki formalnej, Universitas 1999;

B. Stanosz: Ćwiczenia z logiki, PWN 1998;

L. Borkowski: Logika formalna, PWN 1969;

J. W. Bremer: Wprowadzenie do logiki, Kraków 2004;

T. Czeżowski: Logika, Warszawa 1960;

G. Hunter: Metalogika, PWN 1982;

B. Stanosz: Wprowadzenie do logiki formalnej. Podręcznik dla humanistów PWN 1985.

Formy i warunki zaliczenia przedmiotu

Warunkiem dopuszczenia do egzaminu jest zaliczenie ćwiczeń (na podstawie aktywnej obecności i sprawdzianów pisemnych przeprowadzanych w toku zajęć); egzamin pisemny.

Zarys historii filozofii: umysł, poznanie, wiedza

Osoby prowadzące: dr hab. Miłowit Kuniński, prof. WSB-NLU, dr hab. Janusz Mizera

Kod: KHF01

Liczba godzin: 60 (60+0)

ECTS: 4

Filozofia starożytna i średniowieczna Osoba prowadząca: dr hab. Janusz Mizera

Tematyka zajęć

Celem wykładów jest zapoznanie studenta z głównymi zagadnieniami filozofii starożytnej i średniowiecznej. Szczególny akcent zostanie położony na wkład myślicieli starożytności i średniowiecza do kultury europejskiej. Wśród rozważanych autorów będą między innymi: Anaksymander, Pitagorejczycy, Platon, Arystoteles,

13