Pregled bibliografske jedinice broj: 53777
Obični i formalizirani jezik u logici
Obični i formalizirani jezik u logici // Logika, 1 (2000), 1; 3-9 (podatak o recenziji nije dostupan, članak, znanstveni)
CROSBI ID: 53777 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
Obični i formalizirani jezik u logici
(Ordinary and formalized language in logic)
Autori
Kovač, Srećko
Izvornik
Logika (1332-2974) 1
(2000), 1;
3-9
Vrsta, podvrsta i kategorija rada
Radovi u časopisima, članak, znanstveni
Ključne riječi
obični jezik; logički jezik; podrazumijevanje opstojnosti; opći pojam; pojedinačni pojam; istina
(ordinary language; logical language; existential presupposition; general term; singular term; truth)
Sažetak
Na nekolikim jednostavnijim primjerima pokazuje se što se događa kada rečenice običnoga jezika prevodimo na logički jezik prvoga reda te kakav dobitak iz toga proizlazi. Podrazumijevanje opstojnosti svodi se na najmanju mjeru (samo na izbor predmetnoga područja), oslobađa se vezanosti uz danu rečenicu (izjednačuju se svi opći pojmovi u rečenici) ili pak u danoj rečenici postaje izričit (u prevođenju određenih opisa); pojam istine se fragmentira. Prijevod na logički jezik prvoga reda daje apstrakatn prijesjek običnoga jezika olakšavajući iščitavanje njegove ontologije.
Izvorni jezik
Hrvatski
Znanstvena područja
Filozofija
POVEZANOST RADA
