hrvatski

Obični i formalizirani jezik u logici

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.

obični jezik; logički jezik; podrazumijevanje opstojnosti; opći pojam; pojedinačni pojam; istina

nije evidentirano