Prior Arthur Norman: Historija logike
Osnovne informacije
- Autor: Prior Arthur Norman
- Nakladnik: Naprijed, Zagreb
- Dostupnost: 1
- Stanje: Vrlo dobro
- Šifra: K32947
Opcije dostave
Načini plaćanja
Sažetak
- Arthur Norman Prior: Historija logike
Prior Arthur Norman- osnivač temporalne logike (logika vremena). Njegov rad značajno je doprineo razvoju moderne logike, posebno u kontekstu vremena i modalnih pojmova.
Temporalna logika
Najveći Priorov doprinos logici je temporalna logika, koja se bavi formalnim opisom načina na koji se istine i događaji odnose prema vremenu. Prije temporalne logike, klasična logika tretirala je izjave kao istinite ili lažne bez obzira na vremenski okvir. Temporalna logika služi za proučavanje izjava koje sadrže komponentu vremena i čija istinitost se može mijenjati kroz vrijeme. Npr. promatrajući izjavu „Jednog dana student K će diplomirati“ vidimo da npr. u klasičnoj logici sudova ne možemo adekvatno izraziti, a ni analizirati izrečenu izjavu jer promatrana izjava nije nužno univerzalno istinita ili lažna, nego njezina istinitost ovisi o vremenskoj komponenti.
Recenzije kupaca
Još nema recenzija za ovaj proizvod.
Napišite recenziju
Više knjiga nakladnika Naprijed, Zagreb
Drugi dostupni naslovi istog nakladnika.
Možda vas zanima
Još odabranih naslova iz slične kategorije.