Sadržaj predmeta

Logika II

Šifra:

48943

Kratica:

12LO3005

Visoko učilište:

Sveučilište u Zadru

ECTS bodovi:

3.0

Opterećenje:

30(P)

Nositelji:

prof. dr. sc. Jure Zovko

Mate Penava

Izvođači:

prof. dr. sc. Jure Zovko (P)

Mate Penava (P)

Opis predmeta:

Kolegij obrađuje ključne metode i probleme logike prvoga reda. Prevođenje na jezik logike prvoga reda, instancijacija i kvantifikacija. Višestruka kvantifikacija, Tradicionalno i moderno shvaćanje kategoričkih oblika. Logički kvadrat. Istinitosno stablo u logici prvoga reda. Prirodna dedukcija u logici prvoga reda.

Obavezna literatura:

Leigh S. Cauman (2004): Uvod u logiku prvog reda

Srećko Kovač (2007): Uvod u elementarnu logiku

M. Bergmann, J. Moor, J. Nelson (1998): The logic Book

Frederick B. Fitch (1952): Symbolic Logic: An Introduction

Preporučena literatura:

R. Jeffrey (2004): Formal Logic : Its Scope and Limits

W. v. O. Quine (1982): Methods of Logic

Stephen C. Kleene (1967): Mathematical Logic

Ljiljana Šarić (2002): Kvantifikacija u hrvatskome jeziku

Ishodi učenja:

1. Razumjeti i izložiti osnovne pojmove logike prvoga reda

2. Rješavati osnovne zadatke logike prvoga reda

3. Povezivati jezik logike prvoga reda s običnim jezikom i obrađivati rečenice govornog jezika sredstvima logike prvoga reda

4. Primijeniti pojmove iz očuvanje istine u logici prvoga reda korištenjem metode Reductio ad absurdum i istinitosnog stabla

5. Konstruirati dokaze unutar metode prirodne dedukcije u logikci prvoga reda

Predmet u nastavnom programu:

Šifra studija	Naziv studija	Razina studija	Semestar izvođenja	Obavezni/Izborni
21	Filozofija (dvopredmetni)	prijediplomski	2	obavezni
159	Filozofija (dvopredmetni)	prijediplomski	2	obavezni

* predmet se ne predaje u tom semestru

Legenda

P - Predavanja