3
registrerede ABC, Arne Thomsen
,(1 usynlig),
429
gæster og
43
søgemaskiner online. |
Key:
Admin,
Global Mod,
Mod
|
|
|
Skribent: Kræn-P
Emne: Re: Den klassiske logik.
|
Kære Ipso Facto.
Nedenstående er som nævnt svar på dit indlæg 30/07/2008 16:56. Jeg har tidligere bragt til udtryk, at jeg har en afklaret holdning til begrebsfilosofien i dens klassiske form, hvor modsigelsesprincippet er et af de bærende axiomer. I denne forbindelse har jeg nævnt, at jeg eksempelvis af og til har måttet ty til den klassiske logik og den logiske algebra for at udfinde meningen i snørklede juridske tekster skrevet i tidligere tiders kancellisprog.
Dette må endelig ikke overfortolkes i den retning, at jeg har specialviden om klassisk begrebsfilosofi og logisk algebra. Jeg er jo ikke fagfilosof, men blot en amatør, der i sin tid blev fænget af universitetets pensum til filosofikum, hvilket jeg derefter har fulgt op på gennem læsning af filosofisk litteratur.
Logikken kan siges at være læren om, hvordan vi bruger sproget på en sådan måde, at vi når frem til sætninger, der kan siges at være sande i forhold til det – eller de – udgangspunkt(er), som vi har valgt. Hvis vi skal sige noget sandt, må der derfor ikke være indbyrdes uoverensstemmelser i det, som vi siger. Dette kalder vi kravet om konsistens.
Somme tider taler vi om tingene på en sådan måde, at vi må tale om begreber i stedet for håndfaste enkeltting. Når vi siger: ’Ræven er et rovdyr’, har vi brugt et navneord i bestemt form éntal. Men det er jo ikke én bestemt ræv, vi hentyder til, men derimod alle ræve. Derfor har vi her brugt ordet ’ræv’ som et begreb. En logik, hvori der indgår begreber, kalder vi en begrebslogik.
Ovenfor blev der talt om, at logisk sande sætninger er sande i forhold til det – eller de – udgangspunkt(er), som vi har valgt. Her skal trykket lægges på ordet ’valgt’. Der findes i den klassiske logik ikke endegyldige sandheder, men kun sandheder, der følger med logisk nødvendighed af et eller flere udgangspunkter. Ethvert valgt udgangspunkt kalder vi et axiom.
I traditional logik er et axiom eller et postulat en erklæring, der ikke bevises, men anses for enten selvindlysende eller nødvendigvis skal besluttes. Derfor tages axiomets sandhed for givet, og det fungerer som udgangspunktet for de følgeslutninger, som vi drager.
I det klassiske logik valgte man følgende axiomer, som vi også kan kalde ’logiske grundsætninger:
I Identitetsprincippet: Et sandt udsagn er et sandt udsagn, og et falskt udsagn er et falskt udsagn, ligegyldigt af hvem, på hvilket tidspunkt og under hvilke omstændigheder det udsiges. Det samme skal altid gælde om det samme.
II Modsigelsesprincippet: Intet utvetydigt udsagn kan på én gang være sandt og falskt. Man må ikke både bekræfte og benægte det samme om det samme.
III Udelukkelsesprincippet: Ethvert utvetydigt udsagn skal enten være sandt eller falskt. Hvis det er falskt at bekræfte noget bestemt om noget bestemt, så er det nødvendigvis sandt at benægte det. En tredje mulighed er udelukket.
(fortsættes . . .)
|
|
|
|