Prior Arthur Norman: Historija logike
- Autor Prior Arthur Norman
- Izdavač NAPRIJED, ZAGREB
- ŠifraK32947
- StanjeVrlo dobro
- DostupnostNa stanju
- Broj stranica254
- Godina izdanja1970
- Dimenzije14x20 cm
- Jezikhrvatski
- UvezTvrdi s ovitkom
- 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.
Izdvojeno iz kategorije
Preko 50000 artikala
Velika kolekcija naslova
Besplatna dostava
Za narudžbe iznad 70 €
Brza dostava
Hrvatska pošta - naš partner u dostavi
Sigurna kupovina
SSL certifikat i WSPay