LogikLogik er en filosofisk disciplin der undersøger formelle argumenters "gyldighed" - om de er logisk konsistente i forhold til de axiomer eller regler argumentet hviler på.Om et argument er "holdbart", dvs. hvad man eventuelt kunne udlede fra dets struktur, er i "formel logisk" sammenhæng ikke relevant. Det er et "filosofisk logisk" interesseområde. Deraf skelnen mellem formel og filosofisk logik. (Et eksempel kunne være om en sætning kan være andet end KUN sand og falsk som det hævdes i klassisk logik, men også have andre sandhedsværdier, se fuzzy logic). Historisk stammer logikken fra Aristoteles. Hans syllogismer var standard helt op til 1879, hvor Gottlob Frege udgav sin Begriffsschrift, en milepæl i filosofien og moderne logik, matematik og computervidenskab. Ordet 'logik' kommer fra græsk logos = sprog, ord, system, samling (eksempelvis biologi = bios + logos).
|
|
Denne artikel er fra Wikipedia. Denne hjemmeside tager ikke resourcer fra Wikipedias hardware. Netleksikon.dk støtter Wikipedia projektet finansielt. Indholdet er udgivet under GNU Free Documentation License. Kontakt Netleksikon, hvis ophavsretten er krænket. Antal besøgende: |