Naslov
Logička pitanja i postupci
(Logical questions and procedures)

Autori
Kovač, Srećko ; Žarnić, Berislav

Vrsta obrazovnog materijala
Ostalo (nedefinirano)

Izdavač
KruZak

Grad
Zagreb

Godina
2008

Stranica
Xii+241

ISBN
978-953-6463-83-1

Ključne riječi
Dokaz; Fitchov stil dokaza; formula; iskaz; istovrijednost; kanonski dokaz; konzistentnost; logička neovisnost; logička potpunost; logička semantika; logička sintaksa; logički jezik; logika prvoga reda; model; naravna dedukcija; podsuprotnost; pojam; poučak; protuslovlje; razumijevanje; slijed; sud; Suppes-Lemmonov stil dokaza; suprotnost; valjanost; zaključak
(Canonical proof; concept; consistency; consequence; contradiction; contratriety; equivalence; Fitch proof style; first-order logic; formula; inference; judgment; logical completeness; logical independency; logical language; logical semantics; logical syntax; model; natural deduction; proof; proposition; subcontrariety; Suppes-Lemmon proof style; validity; theorem; understanding)

Sažetak
Knjiga kroz ekspozicijske tekstove i većinom problemske zadatke i njihova rješenja i komentare uvodi u iskaznu logiku i logiku prvoga reda. Definira se sintaksa i semantika logičkoga jezika prvoga reda. Pravila naravne dedukcije poopćena su tako da mogu biti primjenjiva na različite stilove dokazivanja (Fitchov i Suppes-Lemmonov stil). Glavna logička svojstva i odnosi (konzistentnost, valjanost, slijed, istovrijednost, protuslovlje i drugi) prikazana su i definirana usporedno sa semantičkoga i sintaktičnoga (deduktivnoga) aspekta. Tradicionalni nauk o pojmu sudu i zaključku prikazan je kao dio logike prvoga reda uz upotrebu posebnih, idealiziranih modela. Komentari uz rješenja zadataka često sadrže proširenja i produbljenja logičkoga gradiva.

Izvorni jezik
Hrvatski

Znanstvena područja
Filozofija

POVEZANOST RADA