Razlika između inačica stranice »Aksiomska shema«
Izvor: Hrvatska internetska enciklopedija
(Bot: Automatski unos stranica) |
m (bnz) |
||
| Redak 1: | Redak 1: | ||
'''Aksiomska shema''', vrsta [[shema|sheme]]. To je [[formula]] koja sadrži [[varijabla|varijable]] [[metajezik]]a i postaje [[aksiom]]om kada joj se varijable instanciraju s ispravno sastavljenim formulama u [[formalni jezik|formalnom jeziku]].<ref>[http://marul.ffst.hr/~logika/pilot/glosarij.htm Filozofski fakultet u Splitu] Peter Suber, Philosophy Department, Earlham College''Rječnik logike prvog reda''. Preveo na hrvatski Berislav Žarnić. (pristupljeno 16. srpnja 2020.)</ref> | |||
Da bismo izbjegli da dospijemo u govorenje o svim [[svojstvo|svojstvima]], aksiom iskazujemo kao aksiomsku shemu. U protivnom nas to vodi izvan granica [[logika prvoga reda|logike prvoga reda]] i što zahtijeva [[teorija svojstava|teoriju svojstava]]. Sve rečenice koje imaju oblik aksiomske sheme su [[aksiom]]i. Ima ih beskonačno mnogo.<ref name=Žarnić>[http://marul.ffst.hr/~logika/pilot/predavanja/TeorijaSkupova.htm Filozofski fakultet u Splitu] Berislav Žarnić: ''Teorija skupova'' (pristupljeno 16. srpnja 2020.)</ref> | Da bismo izbjegli da dospijemo u govorenje o svim [[svojstvo|svojstvima]], aksiom iskazujemo kao aksiomsku shemu. U protivnom nas to vodi izvan granica [[logika prvoga reda|logike prvoga reda]] i što zahtijeva [[teorija svojstava|teoriju svojstava]]. Sve rečenice koje imaju oblik aksiomske sheme su [[aksiom]]i. Ima ih beskonačno mnogo.<ref name=Žarnić>[http://marul.ffst.hr/~logika/pilot/predavanja/TeorijaSkupova.htm Filozofski fakultet u Splitu] Berislav Žarnić: ''Teorija skupova'' (pristupljeno 16. srpnja 2020.)</ref> | ||
Trenutačna izmjena od 18:23, 28. travnja 2022.
Aksiomska shema, vrsta sheme. To je formula koja sadrži varijable metajezika i postaje aksiomom kada joj se varijable instanciraju s ispravno sastavljenim formulama u formalnom jeziku.[1]
Da bismo izbjegli da dospijemo u govorenje o svim svojstvima, aksiom iskazujemo kao aksiomsku shemu. U protivnom nas to vodi izvan granica logike prvoga reda i što zahtijeva teoriju svojstava. Sve rečenice koje imaju oblik aksiomske sheme su aksiomi. Ima ih beskonačno mnogo.[2]
Izvori
- ↑ Filozofski fakultet u Splitu Peter Suber, Philosophy Department, Earlham CollegeRječnik logike prvog reda. Preveo na hrvatski Berislav Žarnić. (pristupljeno 16. srpnja 2020.)
- ↑ Filozofski fakultet u Splitu Berislav Žarnić: Teorija skupova (pristupljeno 16. srpnja 2020.)