Sandhed er et stort begreb. Hvad er sandt? Det kan man diskutere og spørge sig selv om. Der er forskellige måder, at gribe sandheden an på. Vi vil i denne rapport komme ind på hvordan min finder ud af om noget er sandt inden for fagene biologi, filosofi og matematik.
Hvis man vil bevise noget er sandt inden for matematik, bliver man i den matematiske verden nødt til at antage noget basalt. Man bliver nødt til, at ligge et fundament, før man kan bygge videre. Det er her aksiomer kommer ind i billedet. Hvis man vil bevise noget inden for matematik, skal beviset være opbygget af noget så grundlæggende, at det virker logisk, så der i princippet ikke kan stilles spørgsmålstegn ved beviset. Et aksiom er noget der uden et bevis antages, som værende sandt. På denne måde fungere vores aksiomer som de grundlæggende byggeklodser til vores fundament.En deduktion er et sprogligt argument, hvor konklusionen er en nødvendig følge og konsekvens af nogle præmisser, som i det her tilfælde er vores aksiomer.
Dvs. at vi har med en aksiomatisk-deduktiv metode at gøre.
Et eksempel på en aksiomatisk-deduktiv metode er matematikeren Euklids beviser inden for geometri. Euklid skabte 23 definitioner, 5 aksiomer og 5 slutningsregler. Ud fra disse grundlæggende antagelser skabte Euklid et fundament, som var stabilt nok til at han kunne bygge videre på dette fundament – han kreerede beviser. Man kan se disse beviser, som etager oven på fundamentet, hvor Euklids første sætning fungere som stueetagen. Det har så den følgende konsekvens, at 1 sal er afhængig af stueetagen og dens stabilitet. Dvs. at sætning 2 er afhængig af sætning 1, og sætning 3 er afhængig af sætning 2. Hvis stuetagen ikke er stabil nok, så styrter hele bygningen sammen. Men hvis det er 3 sal, som ikke er stabil nok, så styrter bygningen kun ned til den tredje etage. Det er derfor ekstremt vigtigt, at være så omhyggelig som muligt med sætningerne, så de er stabile nok til ikke at kunne modbevises.
Det er gratis at oprette en konto