Formaalse aksiomaatilise teooria üldskeem. Teooria korrektsus ja täielikkus semantika suhtes. Formaalse aksiomaatilise teooria üldskeem 1) Fikseeritakse tähestik ja antakse valemi definitsioon. 2) Osa valemeid loetakse aksioomideks. Neid pole teoorias vaja tõestada. 3) Fikseeritakse lõplik hulk tuletusreegleid kujul 1 ,2 ,..., , mis lubavad valemitest 1 , 2 , ... , vahetult tuletada valemi G. Def 2. Aksiomaatilist teooriat T nim semantika S suhtes · korrektseks, kui iga teoorias T tuletatav valem on semantikas S tõene. · täielikuks, kui iga semantikas S tõene valem on teoorias T tuletatav. (Def 1. Tuletuseks ehk formaalseks tõestuseks nim valemite jada 1 , 2 , ... , , milles iga valem on kas aksioom või saadud mingi tuletusreegliga mõnedest temale eelnevatest valemitest.
hulga kontseptsiooni ning seda, miks aksioomid vajalikud on. Ka meie kasutasime kursuse raames naiivset hulgateooriat. Loojaks loetakse George Cantorit(19.saj.) Aksiomaatiline hulgateooria- Kuna on teada, et naiivne hulgateooria jookseb väga paljudel juhtudel ummikusse (nt. Russeli ,,habemeajaja" paradoks), hakati alates 1908. hulgateooriat palju normeerima, mille tulemusel tekkiski aksiomaatiline hulgateooria. Aksiomaatilist hulgateooriat kasutatakse seal, kus on äärmiselt oluline vältida erinevaid hulgateoreetilisi paradokse või uurida teatavate matemaatiliste probleemide põhimõttelist lahenduvust/ mittelahenduvust. *Võrdsed hulgad- Kahte hulka loeme võrdseks, kui nad koosnevad täpselt samadest elementidest. Elementide järjekord hulgas ei ole oluline. *Alamhulk/ülemhulk- Hulka A nimetatakse hulga B alamhulgaks (e. osahulgaks), kui kõik hulga A elemendid sisalduvad ka hulga B koossesisus
laused, tõeväärtused jne), objektide vahelised seosed (nt tehted) ning lepitakse kokku objektide ning seoste sümbolid. Igas distsipliinis (teoorias) postuleeritakse kindel hulk aksioome: väiteid, mida loetakse tõesteks ilma tõestuseta (nt üks Eukleidese aksioome postuleerib, et suvalist kaht punkti saab ühendada sirgjoonega). Seejärel fikseeritakse lõplik hulk tuletusreegleid ehk eeskirju selle kohta, kuidas on lubatud teostada tuletussamme. Aksiomaatilist süsteemi saab edasi arendada teoreeme tõestades. Tõestuseks nimetatakse kehtivat järeldamist, mille eeldused on tõesed. Teoreem on väide, mida saab antud süsteemi piires tõestada, kasutatakse aksioome ja tuletusreegleid (nt Pythagorase teoreem). Märkide omavahelisi suhteid käsitleb süntaktika ning keelemärkide puhul on selleks grammatika. Keele süntaks on reeglite komplekt, mille alusel saab öelda, kas uuritav keeleline
tõeväärtused jne), objektide vahelised seosed (nt tehted) ning lepitakse kokku objektide ning seoste sümbolid. Igas distsipliinis (teoorias) postuleeritakse kindel hulk aksioome: väiteid, mida loetakse tõesteks ilma tõestuseta (nt üks Eukleidese aksioome postuleerib, et suvalist kaht punkti saab ühendada sirgjoonega). Seejärel fikseeritakse lõplik hulk tuletusreegleid ehk eeskirju selle kohta, kuidas on lubatud teostada tuletussamme. Aksiomaatilist süsteemi saab edasi arendada teoreeme tõestades. Tõestuseks nimetatakse kehtivat järeldamist, mille eeldused on tõesed. Teoreem on väide, mida saab antud süsteemi piires tõestada, kasutatakse aksioome ja tuletusreegleid (nt Pythagorase teoreem). Märkide omavahelisi suhteid käsitleb süntaktika ning keelemärkide puhul on selleks grammatika. Keele süntaks on reeglite komplekt, mille alusel saab öelda, kas uuritav keeleline
peamiselt kolme liiki. Teaduslik teooria võidakse luua näiteks aksiomaatilise meetodi alusel kasutades reegleid aksioomide ja järelduste kohta. Antud teooriast on võimalik saada läbi deduktsiooni teoreeme. Aksioome loogiliselt ei tõestata, sest tegemist on alglausega, mida ei ole võimalik ümber lükata. Seda tingib ette inimeste kogemused. See tähendab ka seda, et aksioomid ei tohi olla üksteisele vastuolus ega olla vastandlikud. Väga palju kasutatakse aksiomaatilist meetodit just loogikas ja matemaatikas. Selline meetod välistab ,,vastuolulisuse". Näiteks kui teadusteooria põhineb aksioo- midele, siis ei ole võimalik teooria ,,mittevastuolulisust" antud teoorias tõestada. Just niimoodi väidavad matemaatikud. Kuid sellest on võimalik järeldada seda, et vastuoludeta otsuste printsiibil on laiem tähendus kui ainult loogilismatemaatiline. Kuid kõige rohkem kasutatakse hüpoteetilis-deduktiivset meetodit just eksperimentaalteadustes.
peamiselt kolme liiki. Teaduslik teooria võidakse luua näiteks aksiomaatilise meetodi alusel kasutades reegleid aksioomide ja järelduste kohta. Antud teooriast on võimalik saada läbi deduktsiooni teoreeme. Aksioome loogiliselt ei tõestata, sest tegemist on alglausega, mida ei ole võimalik ümber lükata. Seda tingib ette inimeste kogemused. See tähendab ka seda, et aksioomid ei tohi olla üksteisele vastuolus ega olla vastandlikud. Väga palju kasutatakse aksiomaatilist meetodit just loogikas ja matemaatikas. Selline meetod välistab ,,vastuolulisuse". Näiteks kui teadusteooria põhineb aksioo- midele, siis ei ole võimalik teooria ,,mittevastuolulisust" antud teoorias tõestada. Just niimoodi väidavad matemaatikud. Kuid sellest on võimalik järeldada seda, et vastuoludeta otsuste printsiibil on laiem tähendus kui ainult loogilismatemaatiline. Kuid kõige rohkem kasutatakse hüpoteetilis-deduktiivset meetodit just eksperimentaalteadustes.
peamiselt kolme liiki. Teaduslik teooria võidakse luua näiteks aksiomaatilise meetodi alusel kasutades reegleid aksioomide ja järelduste kohta. Antud teooriast on võimalik saada läbi deduktsiooni teoreeme. Aksioome loogiliselt ei tõestata, sest tegemist on alglausega, mida ei ole võimalik ümber lükata. Seda tingib ette inimeste kogemused. See tähendab ka seda, et aksioomid ei tohi olla üksteisele vastuolus ega olla vastandlikud. Väga palju kasutatakse aksiomaatilist meetodit just loogikas ja matemaatikas. Selline meetod välistab „vastuolulisuse“. Näiteks kui teadusteooria põhineb aksioo- midele, siis ei ole võimalik teooria „mittevastuolulisust“ antud teoorias tõestada. Just niimoodi väidavad matemaatikud. Kuid sellest on võimalik järeldada seda, et vastuoludeta otsuste printsiibil on laiem tähendus kui ainult loogilismatemaatiline. Kuid kõige rohkem kasutatakse hüpoteetilis-deduktiivset meetodit just eksperimentaalteadustes.
annaabi.ee 
