WFL Wetenschap, Filosofie, Levensbeschouwing
Discussieer hier over alle aspecten van de wetenschap, filosofische problemen en zaken van levensbeschouwelijke aard.
Ockhams razor theorie:
Als je 2 verschillende beweringen hebt die hetzelfde fenomeen proberen te verklaren, is de simpelste bewering, met de minste aannames erin, de beste.
Heb je nu echt iets aan Ockhams razor?
Of is het slechts leuk bedacht maar niet nuttig...
Als je 2 verschillende beweringen hebt die hetzelfde fenomeen proberen te verklaren, is de simpelste bewering, met de minste aannames erin, de beste.
Heb je nu echt iets aan Ockhams razor?
Of is het slechts leuk bedacht maar niet nuttig...
Communism will be conquered with the help of God ...and a few marines.
Bijvoorbeeld in het reconstrueren van proto-talen. Als je nou twee woorden hebt uit gerelateerde talen, en je wil de 'oer'vorm daarvan weten.... hoe doe je dat? Nou, je kan dmv Occam's razor bedenken dat de makkelijkste theorie de juiste is. Voila.
(voorbeeld: "father", "vader", "vater". In het algemeen is de 'th' klank een lastige, en de 'd' tussen twee klinkers ook. Maar welke was eerder? Het zou een onnodig moeilijke theorie worden om aan te nemen dat het woord begon met een 'makkelijke' klank, bv de t, en op de een of andere manier moeilijker werd (d, th). Dus nemen we dmv Occam's razor aan dat de oervorm de 'd' of de 'th' was (d in dit geval, maar dat is weer een ander verhaal), en dat hij in het duits versimpeld is naar de t.)
(voorbeeld: "father", "vader", "vater". In het algemeen is de 'th' klank een lastige, en de 'd' tussen twee klinkers ook. Maar welke was eerder? Het zou een onnodig moeilijke theorie worden om aan te nemen dat het woord begon met een 'makkelijke' klank, bv de t, en op de een of andere manier moeilijker werd (d, th). Dus nemen we dmv Occam's razor aan dat de oervorm de 'd' of de 'th' was (d in dit geval, maar dat is weer een ander verhaal), en dat hij in het duits versimpeld is naar de t.)
Beetje basaal reductionistisch, en dus een richtlijn bij het opstellen van wetenschappelijke verklaringen e.d.
(Trouwens, Ockham mag ook... da was immers zijn naam, ik vraag me af wie de typo Occam begonnen is...)
(Trouwens, Ockham mag ook... da was immers zijn naam, ik vraag me af wie de typo Occam begonnen is...)
Now I'm walking on the sunnyside of the street
Het komt erop neer dat je niet alles in een keer moet proberen te verklaren omdat bij iedere stelling die je neemt je theorie onwaarschijnlijker wordt.
Alles in een keer verklaren mag best (gouden ei van de wetenschap) maar de verklaring met de minste aannames is waarschijnlijk de juiste.quote:Op woensdag 19 oktober 2005 21:50 schreef SlaadjeBla het volgende:
Het komt erop neer dat je niet alles in een keer moet proberen te verklaren omdat bij iedere stelling die je neemt je theorie onwaarschijnlijker wordt.
Voorbeeld van wiki:
quote:For example, a charred tree could be caused by a lightning strike or by someone who used a machine to burn the upper branches of a tree and then replanted the grass leading up to the tree to hide the machine's tracks. According to Occam's Razor, the lightning strike is the preferred explanation as it requires the fewest assumptions.
Now I'm walking on the sunnyside of the street
Nou ja, dan is die 'lightning strike' niet het beste. Het is meer het meest aannemelijk en waarschijnlijk.quote:Op woensdag 19 oktober 2005 21:55 schreef Invictus_ het volgende:
[..]
Alles in een keer verklaren mag best (gouden ei van de wetenschap) maar de verklaring met de minste aannames is waarschijnlijk de juiste.
Voorbeeld van wiki:
[..]
Ockham was ook maar een kerel met een mening. Ik zie niet in waarom hij voor mij moet bepalen wat de beste verklaring is. Laat hem toch in de stront zakken, de homoseksueel!
Omdat ie homo is is ie minder De beste man heeft wel een beetje gelijk de simpelste manier is best handigstequote:Op donderdag 20 oktober 2005 00:12 schreef FuifDuif het volgende:
Ockham was ook maar een kerel met een mening. Ik zie niet in waarom hij voor mij moet bepalen wat de beste verklaring is. Laat hem toch in de stront zakken, de homoseksueel!
De beste man heeft wel een beetje gelijk de simpelste manier is best handigste
Zullen de Amerikanen wel geweest zijn ik wist nl echt alleen maar Occam, uit Amerika Ik geloof je wel hoor.quote:Op woensdag 19 oktober 2005 21:48 schreef Invictus_ het volgende:
(Trouwens, Ockham mag ook... da was immers zijn naam, ik vraag me af wie de typo Occam begonnen is...)
ik wist nl echt alleen maar Occam, uit Amerika Verder is het natuurlijk wel een beetje iets dat iedereen ook wel kan bedenken; "het simpelste zal wel kloppen".
inderdaad een kind kan het bedenken, maar een filosoof ook. Echter de filosoof heeft waarschijnlijk wat meer redenatie gebruikt om het te bedenken.
Communism will be conquered with the help of God ...and a few marines.
Een kind kan toch ook een filosoof zijn?
Het leven is als een pisvlek in de zwarte pantalon van de eeuwigheid.
Fuifduif is ook maar een kerel met een mening... etc.quote:Op donderdag 20 oktober 2005 00:12 schreef FuifDuif het volgende:
Ockham was ook maar een kerel met een mening. Ik zie niet in waarom hij voor mij moet bepalen wat de beste verklaring is. Laat hem toch in de stront zakken, de homoseksueel!
Ontopic:
Mij lijkt het geen absolute waarheid dat de meest simpele verklaring de beste is. Alhoewel de kans groter is dat een simpele verklaring klopt.
nuff said.
Maar wat is een simpele verklaring. Zodra je genoegen neemt met enkel een verklaring voor het verschijnsel, zullen deze soort verklaringen het simpelste zijn.
Zoiets als: het leven is uit zichzelf ontstaan doordat ooit repliceerbaar RNA is ontstaan of er is een supernatuurlijk wezen dat het in een keer allemaal tevoorschijn toverde.
Velen nemen genoegen met dat laatste, maar dat komt omdat ze alleen maar een verklaring voor het verschijnsel willen. God hoeft dan niet verklaard te worden.
Zoiets als: het leven is uit zichzelf ontstaan doordat ooit repliceerbaar RNA is ontstaan of er is een supernatuurlijk wezen dat het in een keer allemaal tevoorschijn toverde.
Velen nemen genoegen met dat laatste, maar dat komt omdat ze alleen maar een verklaring voor het verschijnsel willen. God hoeft dan niet verklaard te worden.
"Belief in that which reason denies is associated with steadfastness and courage, while skepticism is often identified with cynicism and weak character".
Hij bepaalt helemaal niets, hij geeft aan dat de simpelste theorie de meest waarschijnlijke is.. en dat laatste, tja zegt meer over jou dan over Ockham...quote:Op donderdag 20 oktober 2005 00:12 schreef FuifDuif het volgende:
Ockham was ook maar een kerel met een mening. Ik zie niet in waarom hij voor mij moet bepalen wat de beste verklaring is. Laat hem toch in de stront zakken, de homoseksueel!
Ware Wijsheid Liefdevolle Vrede
Peaceful Warrior "What are you?" "This Moment"
Peaceful Warrior "What are you?" "This Moment"
test:
1. God bestaat en heeft het heelal geschapen(feit).
2. Het heelal is ontstaan uit een big-bang (aanname).
1. God bestaat en heeft het heelal geschapen(feit).
2. Het heelal is ontstaan uit een big-bang (aanname).
Het leven is als een pisvlek in de zwarte pantalon van de eeuwigheid.
God = feit?quote:Op donderdag 20 oktober 2005 01:24 schreef Pinobot het volgende:
test:
1. God bestaat en heeft het heelal geschapen(feit).
2. Het heelal is ontstaan uit een big-bang (aanname).
whehehe.
2 is verklaarbaar, 1 niet. Dus. 2.
Ockham's theorie wordt mn door huisartsen veel gebruikt, maar dan ook wetenschappelijk onderbouwt:
Jongen, 21 jarig Nederlandse kaaskop hoest zich de tering:
-mogelijke oorzaken
longkanker
TBC
verkoudheidsvirusje
Onderzoeken naar hoestende jonge mensen laat zien dat
->slechts 0,001% van de hoestende jonge mensen longkanker heeft
->slechts ca 1% van de jonge allochtonen TBC heeft als ze nog niet ingeent zijn
->95% van de jonge mensen een verkoudheidsvirusje hebben
met Ockhams scheermes wordt door de huisartsen het verkoudheidsvirusje zonder nader onderzoek aangenomen en de jongen met een hoestdempend middel naar huis gestuurd...
Jongen, 21 jarig Nederlandse kaaskop hoest zich de tering:
-mogelijke oorzaken
longkanker
TBC
verkoudheidsvirusje
Onderzoeken naar hoestende jonge mensen laat zien dat
->slechts 0,001% van de hoestende jonge mensen longkanker heeft
->slechts ca 1% van de jonge allochtonen TBC heeft als ze nog niet ingeent zijn
->95% van de jonge mensen een verkoudheidsvirusje hebben
met Ockhams scheermes wordt door de huisartsen het verkoudheidsvirusje zonder nader onderzoek aangenomen en de jongen met een hoestdempend middel naar huis gestuurd...
[b] Op zondag 14 november 2010 18:11 schreef liesje1979 het volgende:[/b]
Zo is daar Godshand, met zijn sarcastische toon,
Die regelmatig een topic voorziet van spot en hoon.
Zo is daar Godshand, met zijn sarcastische toon,
Die regelmatig een topic voorziet van spot en hoon.
Ja, als je aanneemt dat er een God bestaat dan is dat een feit, als je aanneemt dat dat de big-bang heeft plaatsgevonden dan blijft dat maar een theorie.quote:Op donderdag 20 oktober 2005 01:33 schreef innepin het volgende:
God = feit?
whehehe.
2 is verklaarbaar, 1 niet. Dus. 2.
Het leven is als een pisvlek in de zwarte pantalon van de eeuwigheid.
In de 13e eeuw was men nogal, ehm, vrijzinnig met de spelling, nog meer dan tegenwoordigquote:Op woensdag 19 oktober 2005 21:48 schreef Invictus_ het volgende:
(Trouwens, Ockham mag ook... da was immers zijn naam, ik vraag me af wie de typo Occam begonnen is...)
Op woensdag 24 sept. 2008 schreef Danny het volgende:
Dagonet doet onaardig tegen iedereen. Je bent dus helemaal niet zo bijzonder als je denkt...
Mijn grootste bijdrage aan de FP.
Dagonet doet onaardig tegen iedereen. Je bent dus helemaal niet zo bijzonder als je denkt...
Mijn grootste bijdrage aan de FP.
Zou je, als je zijn scheermes tot het bittere eind gebruikt ("en maar snijden"), 42 overhouden? Simpeler kan je niet krijgen toch?
Now I'm walking on the sunnyside of the street
Nee, want dat is een antwoord, niet een bewering die iets probeert te verklaren.quote:Op donderdag 20 oktober 2005 07:47 schreef Invictus_ het volgende:
Zou je, als je zijn scheermes tot het bittere eind gebruikt ("en maar snijden"), 42 overhouden? Simpeler kan je niet krijgen toch?
Op woensdag 24 sept. 2008 schreef Danny het volgende:
Dagonet doet onaardig tegen iedereen. Je bent dus helemaal niet zo bijzonder als je denkt...
Mijn grootste bijdrage aan de FP.
Dagonet doet onaardig tegen iedereen. Je bent dus helemaal niet zo bijzonder als je denkt...
Mijn grootste bijdrage aan de FP.
In de natuurkunde wordt het principe ook gebruikt, en met succes Als je bv van de speciale naar de algemene rel.theorie wilt hoppen, heb je legio mogelijkheden voor je veldvergelijkingen, maar je kiest de eenvoudigste. Sowieso is er het principe dat een theorie zo elegant en simpel mogelijk moet zijn. Dus het heeft wel zeker een bepaald nut.
Als je bv van de speciale naar de algemene rel.theorie wilt hoppen, heb je legio mogelijkheden voor je veldvergelijkingen, maar je kiest de eenvoudigste. Sowieso is er het principe dat een theorie zo elegant en simpel mogelijk moet zijn. Dus het heeft wel zeker een bepaald nut.
Ik schrijf boeken over wetenschap en filosofie!
https://www.epsilon-uitga(...)e-tijd-materie/10996
https://www.spectrumboeke(...)k-niet-9789000386765
https://www.spectrumboeke(...)tronen-9789000395071
https://www.epsilon-uitga(...)e-tijd-materie/10996
https://www.spectrumboeke(...)k-niet-9789000386765
https://www.spectrumboeke(...)tronen-9789000395071
Dat is geen ockham maar gewoon kansberekening....quote:Op donderdag 20 oktober 2005 04:06 schreef Godshand het volgende:
Ockham's theorie wordt mn door huisartsen veel gebruikt, maar dan ook wetenschappelijk onderbouwt:
Jongen, 21 jarig Nederlandse kaaskop hoest zich de tering:
-mogelijke oorzaken
longkanker
TBC
verkoudheidsvirusje
Onderzoeken naar hoestende jonge mensen laat zien dat
->slechts 0,001% van de hoestende jonge mensen longkanker heeft
->slechts ca 1% van de jonge allochtonen TBC heeft als ze nog niet ingeent zijn
->95% van de jonge mensen een verkoudheidsvirusje hebben
met Ockhams scheermes wordt door de huisartsen het verkoudheidsvirusje zonder nader onderzoek aangenomen en de jongen met een hoestdempend middel naar huis gestuurd...
"Belief in that which reason denies is associated with steadfastness and courage, while skepticism is often identified with cynicism and weak character".
Met dat scheermesje wordt zover ik weet alleen theorievorming bedoeltquote:Op donderdag 20 oktober 2005 04:06 schreef Godshand het volgende:
Ockham's theorie wordt mn door huisartsen veel gebruikt, maar dan ook wetenschappelijk onderbouwt:
Jongen, 21 jarig Nederlandse kaaskop hoest zich de tering:
-mogelijke oorzaken
longkanker
TBC
verkoudheidsvirusje
Onderzoeken naar hoestende jonge mensen laat zien dat
->slechts 0,001% van de hoestende jonge mensen longkanker heeft
->slechts ca 1% van de jonge allochtonen TBC heeft als ze nog niet ingeent zijn
->95% van de jonge mensen een verkoudheidsvirusje hebben
met Ockhams scheermes wordt door de huisartsen het verkoudheidsvirusje zonder nader onderzoek aangenomen en de jongen met een hoestdempend middel naar huis gestuurd...
Ik schrijf boeken over wetenschap en filosofie!
https://www.epsilon-uitga(...)e-tijd-materie/10996
https://www.spectrumboeke(...)k-niet-9789000386765
https://www.spectrumboeke(...)tronen-9789000395071
https://www.epsilon-uitga(...)e-tijd-materie/10996
https://www.spectrumboeke(...)k-niet-9789000386765
https://www.spectrumboeke(...)tronen-9789000395071
Om Ockham's Razor te gebruiken moet je kunnen laten zien dat de aannames in de geprefereerde theorie minder restrictief zijn dan die van de andere. Bovendien neem je impliciet aan dat de werkelijkheid simpel is.quote:Op woensdag 19 oktober 2005 21:24 schreef Monocultuur het volgende:
Ockhams razor theorie:
Als je 2 verschillende beweringen hebt die hetzelfde fenomeen proberen te verklaren, is de simpelste bewering, met de minste aannames erin, de beste.
Heb je nu echt iets aan Ockhams razor?
Of is het slechts leuk bedacht maar niet nuttig...
"The plain and simple truth is rarely plain and never simple." --Oscar Wilde
Stelling : De aarde ziet er plat uit omdat
a. De aarde plat is.
b. De aarde rond is maar de aarde is zooo groot dat het plat lijkt.
Wat doet Ockhams Razor met deze stelling (ook ff vanuit zijn tijd gezien) ?
Toch ben ik ook wel geneigd om het meest simpele te kiezen,
maar dat zegt meer iets over mn beperkte herseninhoud
a. De aarde plat is.
b. De aarde rond is maar de aarde is zooo groot dat het plat lijkt.
Wat doet Ockhams Razor met deze stelling (ook ff vanuit zijn tijd gezien) ?
Toch ben ik ook wel geneigd om het meest simpele te kiezen,
maar dat zegt meer iets over mn beperkte herseninhoud
100% Funk
Voor oermensen is de conclusie 'de aarde is plat' helemaal geen rare. Er was voor hun geen reden aan te nemen dat het anders was. Binnen het raamwerk van de huidige theorieën echter (denk vooral aan die van Newton) heb je voor stelling (a) meer aannames nodig dan voor (b).quote:Op donderdag 20 oktober 2005 18:20 schreef Dukhlovi het volgende:
Stelling : De aarde ziet er plat uit omdat
a. De aarde plat is.
b. De aarde rond is maar de aarde is zooo groot dat het plat lijkt.
Wat doet Ockhams Razor met deze stelling (ook ff vanuit zijn tijd gezien) ?
Toch ben ik ook wel geneigd om het meest simpele te kiezen,
maar dat zegt meer iets over mn beperkte herseninhoud
The vastness of the heavens stretches my imagination — stuck on this carousel my little eye can catch one-million-year-old light. A vast pattern — of which I am a part...
Het is dus 'Occam', maar okee...
Het is een heel elegante theorie en ik denk dattie heel vaak klopt. Maar een wet van Meden en Perzen is het denk ik niet.
Het is een heel elegante theorie en ik denk dattie heel vaak klopt. Maar een wet van Meden en Perzen is het denk ik niet.
Ehm, nee, het is óók Occam maar ook Ockham en er zijn nog meer varianten van zijn naam, zoals ik al zei, de spelling in de dertiende eeuw was nogal variabel.quote:Op donderdag 20 oktober 2005 21:47 schreef Lupa_Solitaria het volgende:
Het is dus 'Occam', maar okee...
Occam is de Latijnse versie.
Op woensdag 24 sept. 2008 schreef Danny het volgende:
Dagonet doet onaardig tegen iedereen. Je bent dus helemaal niet zo bijzonder als je denkt...
Mijn grootste bijdrage aan de FP.
Dagonet doet onaardig tegen iedereen. Je bent dus helemaal niet zo bijzonder als je denkt...
Mijn grootste bijdrage aan de FP.
Ohh purdon, niet goed opgelet. Zo heb ik 't bij filo geleerd.quote:Op donderdag 20 oktober 2005 22:04 schreef Dagonet het volgende:
Ehm, nee, het is óók Occam maar ook Ockham en er zijn nog meer varianten van zijn naam, zoals ik al zei, de spelling in de dertiende eeuw was nogal variabel.
Occam is de Latijnse versie.
Inderdaad, als die oermensen Ockhams Razor hadden toegepast hadden ze optie a gekozen.quote:Op donderdag 20 oktober 2005 18:53 schreef Maethor het volgende:
[..]
Voor oermensen is de conclusie 'de aarde is plat' helemaal geen rare. Er was voor hun geen reden aan te nemen dat het anders was. Binnen het raamwerk van de huidige theorieën echter (denk vooral aan die van Newton) heb je voor stelling (a) meer aannames nodig dan voor (b).
Toch was dat niet de beste keuze. De aarde is rond weten we nu. Mijn inziens blijkt hieruit dat Ockham er naast te zat met zijn theorie in dit geval (waarom zou zijn theorie toen niet gelden ?). Dat binnen het raamwerk van de huidige theorieën voor stelling a meer aannames nodig zijn doet hier niets aan af. Is zijn theorie wel eens wetenschappelijk onderzocht ?
100% Funk
Ik geloof ook niet dat het een theorie is van Ockham, eerder een soort leidraad...
[b] Op zondag 14 november 2010 18:11 schreef liesje1979 het volgende:[/b]
Zo is daar Godshand, met zijn sarcastische toon,
Die regelmatig een topic voorziet van spot en hoon.
Zo is daar Godshand, met zijn sarcastische toon,
Die regelmatig een topic voorziet van spot en hoon.
"Entia non sunt multiplicanda praeter necessitatem"
Hoewel niet van Ockham afkomstig, geeft deze uitspraak beter weer wat Ockham bedoelde.
O. was in de eerste plaats een logicus. In die tijd (14e eeuw) waren de werken van Aristoteles weer herontdekt en was er een filosofische discussie over de "universalia". Volgens de nominalisten bestaan de universalia niet echt, het zijn slechts namen, dus bijv. er bestaan alleen individuele mensen en niet iets zoals "de mens". Volgens de realisten (Platonisten) bestaan de universalia wel.
In wezen werd de discussie tussen Plato en Aristoteles, met een pauze van ruim 1700 jaar, voortgezet. In dit licht moet Ockhams razor worden geplaatst.
Formeel:
Stel om C te bewijzen, kan ik aantonen dat A -> C, maar ook B -> C, terwijl ook geldt A -> B maar niet B -> A (B is dus een "zwakkere" uitspraak dan A).
Ockham zegt dat je in dat geval de redenering B -> C moet gebruiken, blijkbaar bevat A meer "informatie" die niet nodig is om C te bewijzen.
Als voor alle X ongelijk B, waarvoor X -> C geldt terwijl X -> B maar niet B -> X, dan is B de (een)noodzakelijke voorwaarde voor C. Andere uitgangspunten waaruit C bewezen kan worden zijn "voldoende voorwaarden"
Waar het dus om gaat is om met zo min mogelijk aannames iets te kunnen verklaren zoder de logica geweld aan te doen. Ockhams razor kan dus nooit leiden tot verkeerde uitspraken
Hoewel niet van Ockham afkomstig, geeft deze uitspraak beter weer wat Ockham bedoelde.
O. was in de eerste plaats een logicus. In die tijd (14e eeuw) waren de werken van Aristoteles weer herontdekt en was er een filosofische discussie over de "universalia". Volgens de nominalisten bestaan de universalia niet echt, het zijn slechts namen, dus bijv. er bestaan alleen individuele mensen en niet iets zoals "de mens". Volgens de realisten (Platonisten) bestaan de universalia wel.
In wezen werd de discussie tussen Plato en Aristoteles, met een pauze van ruim 1700 jaar, voortgezet. In dit licht moet Ockhams razor worden geplaatst.
Formeel:
Stel om C te bewijzen, kan ik aantonen dat A -> C, maar ook B -> C, terwijl ook geldt A -> B maar niet B -> A (B is dus een "zwakkere" uitspraak dan A).
Ockham zegt dat je in dat geval de redenering B -> C moet gebruiken, blijkbaar bevat A meer "informatie" die niet nodig is om C te bewijzen.
Als voor alle X ongelijk B, waarvoor X -> C geldt terwijl X -> B maar niet B -> X, dan is B de (een)noodzakelijke voorwaarde voor C. Andere uitgangspunten waaruit C bewezen kan worden zijn "voldoende voorwaarden"
Waar het dus om gaat is om met zo min mogelijk aannames iets te kunnen verklaren zoder de logica geweld aan te doen. Ockhams razor kan dus nooit leiden tot verkeerde uitspraken
Exaudi orationem meam
Requiem aeternam dona eis, Domine.
Et lux perpetua luceat eis.
Requiem aeternam dona eis, Domine.
Et lux perpetua luceat eis.
Occam's razor is helemaal geen theoriequote:Op donderdag 20 oktober 2005 23:31 schreef Dukhlovi het volgende:
[..]
Inderdaad, als die oermensen Ockhams Razor hadden toegepast hadden ze optie a gekozen.
Toch was dat niet de beste keuze. De aarde is rond weten we nu. Mijn inziens blijkt hieruit dat Ockham er naast te zat met zijn theorie in dit geval (waarom zou zijn theorie toen niet gelden ?).
Occam's razor zegt alleen dat als er 2 theorieen zijn en dan heeft degene met het minste aantal aannames de grootste kans om waar te zijn.quote:Dat binnen het raamwerk van de huidige theorieën voor stelling a meer aannames nodig zijn doet hier niets aan af. Is zijn theorie wel eens wetenschappelijk onderzocht ?
It is impossible to live a pleasant life without living wisely and well and justly.
And it is impossible to live wisely and well and justly without living a pleasant life.
And it is impossible to live wisely and well and justly without living a pleasant life.
Toch gaan de meeste berekeningen uit van een algemene vorm, die daarna wordt gespecificeerd. Wat ik dus wil zeggen is dat vaak toch wordt uitgegaan van A, om daaruit B (Fz = m*g = m*9.8) of C (Fz = m*g = 10*9.8) af te leiden. Op dezelfde manier wordt meer waarde gehecht aan een algemene theorie (mensen zijn verwant aan apen) dan aan een specifieke theorie (Jan-Peter Balkenende is verwant aan Banzai de Chimpansee).quote:Op vrijdag 21 oktober 2005 10:41 schreef Oud_student het volgende:
"Entia non sunt multiplicanda praeter necessitatem"
Hoewel niet van Ockham afkomstig, geeft deze uitspraak beter weer wat Ockham bedoelde.
O. was in de eerste plaats een logicus. In die tijd (14e eeuw) waren de werken van Aristoteles weer herontdekt en was er een filosofische discussie over de "universalia". Volgens de nominalisten bestaan de universalia niet echt, het zijn slechts namen, dus bijv. er bestaan alleen individuele mensen en niet iets zoals "de mens". Volgens de realisten (Platonisten) bestaan de universalia wel.
In wezen werd de discussie tussen Plato en Aristoteles, met een pauze van ruim 1700 jaar, voortgezet. In dit licht moet Ockhams razor worden geplaatst.
Formeel:
Stel om C te bewijzen, kan ik aantonen dat A -> C, maar ook B -> C, terwijl ook geldt A -> B maar niet B -> A (B is dus een "zwakkere" uitspraak dan A).
Ockham zegt dat je in dat geval de redenering B -> C moet gebruiken, blijkbaar bevat A meer "informatie" die niet nodig is om C te bewijzen.
Dat klopt niet. Stel dat voor alle X met X -> C, X niet waar is. Dat betekent niet dat C niet waar is. C kan waar zijn terwijl B niet waar is, waaruit volgt dat B geen noodzakelijk voorwaarde is voor C. B is alleen voldoende voorwaarde voor C (uit B -> C). Een noodzakelijke voorwaarde is van de vorm C -> B (of ~B -> ~C).quote:Als voor alle X ongelijk B, waarvoor X -> C geldt terwijl X -> B maar niet B -> X, dan is B de (een)noodzakelijke voorwaarde voor C. Andere uitgangspunten waaruit C bewezen kan worden zijn "voldoende voorwaarden"
Dat komt doordat je een structuur in de theorieen hebt aangenomen (A -> B). Maar wat nu als A ook andere zaken impliceert dan C. Dat wil zeggen, A verklaart B, maar ook een aantal andere (al dan niet gerelateerde) zaken.quote:Waar het dus om gaat is om met zo min mogelijk aannames iets te kunnen verklaren zoder de logica geweld aan te doen. Ockhams razor kan dus nooit leiden tot verkeerde uitspraken
En wat met de volgende structuur eens:
A -> C
B -> C
(D & E & F) <-> A
(G & H) <-> B
Nu verklaren theorieen A en B beide C, maar gebruikt A meer aannames dan B. Neem aan dat alle aannames (D, E, F, G, H) even moeilijk zijn te controleren. Welke is nu beter?
Als ik bepaald aapachtig gedrag van JPB zou moeten verklaren, heb ik idd genoeg aan de 2e uitspraak (hij is verwant met Banzai) de algemene uitspraak heb ik dan niet nodig (ervan uitgaande dat beide stellingen waar zijn)quote:Op vrijdag 21 oktober 2005 13:04 schreef XoxIx het volgende:
Toch gaan de meeste berekeningen uit van een algemene vorm, die daarna wordt gespecificeerd. Wat ik dus wil zeggen is dat vaak toch wordt uitgegaan van A, om daaruit B (Fz = m*g = m*9.8) of C (Fz = m*g = 10*9.8) af te leiden. Op dezelfde manier wordt meer waarde gehecht aan een algemene theorie (mensen zijn verwant aan apen) dan aan een specifieke theorie (Jan-Peter Balkenende is verwant aan Banzai de Chimpansee).
Als X onwaar is dan is X -> C altijd waar, ongeacht de waarheidswaarde van C (check met waarheidstabel). Uiteraard ga ik uit van ware premissen (feiten, waarnemingen), als ik voor B de bewering 1+1=3 kies, kan ik alles bewijzen.quote:Dat klopt niet. Stel dat voor alle X met X -> C, X niet waar is. Dat betekent niet dat C niet waar is. C kan waar zijn terwijl B niet waar is, waaruit volgt dat B geen noodzakelijk voorwaarde is voor C. B is alleen voldoende voorwaarde voor C (uit B -> C). Een noodzakelijke voorwaarde is van de vorm C -> B (of ~B -> ~C).
Formeel: (A -> B, A) => B de waarheid van B is aleen gegarandeerd al zowel A als A -> B waar zijn.
Een noodzakelijke voorwaarde is een minimale voorwaarde, zoals ik heb aangegeven.
Niet relevant, het probleem was om C te verklaren als dat zowel uit A als B kan terwijl A -> B maar niet B -> A, dan verdient B de voorkeur.quote:Dat komt doordat je een structuur in de theorieen hebt aangenomen (A -> B). Maar wat nu als A ook andere zaken impliceert dan C. Dat wil zeggen, A verklaart B, maar ook een aantal andere (al dan niet gerelateerde) zaken.
Ik denk dat in strikte zin Ockhams razor hier niet toegepast kan worden.quote:En wat met de volgende structuur eens:
A -> C
B -> C
(D & E & F) <-> A
(G & H) <-> B
Nu verklaren theorieen A en B beide C, maar gebruikt A meer aannames dan B. Neem aan dat alle aannames (D, E, F, G, H) even moeilijk zijn te controleren. Welke is nu beter?
Het zal meer een kwestie worden van statistiek. Als de uitspraken D, E, F, G en H allen een waarschijnlijkheid van 0,99 hebben, dan kies ik voor B
Exaudi orationem meam
Requiem aeternam dona eis, Domine.
Et lux perpetua luceat eis.
Requiem aeternam dona eis, Domine.
Et lux perpetua luceat eis.
Maar welke is de beste, gegeven dat ze beide waar zijn?quote:Op vrijdag 21 oktober 2005 13:47 schreef Oud_student het volgende:
[..]
Als ik bepaald aapachtig gedrag van JPB zou moeten verklaren, heb ik idd genoeg aan de 2e uitspraak (hij is verwant met Banzai) de algemene uitspraak heb ik dan niet nodig (ervan uitgaande dat beide stellingen waar zijn)
Inderdaad, daar doe ik niets aan af. Maar zoals je zelf al aangeeft, kan de waarheid van C dan niet uit die implicatie worden afgeleid.quote:[..]
Als X onwaar is dan is X -> C altijd waar, ongeacht de waarheidswaarde van C (check met waarheidstabel).
Het idee van logica is valide argumenten opzetten ongeacht de waarheid van de premissen. A -> B betekent gewoon dat als A waar is, het niet anders kan zijn dan dat B waar is.quote:Uiteraard ga ik uit van ware premissen (feiten, waarnemingen), als ik voor B de bewering 1+1=3 kies, kan ik alles bewijzen.
Je bedoelt dus A <-> B (B kan immers alleen waar zijn als A waar is)? Nu weet ik niet waar dit op slaat, aangezien je eerdere A en B geen dan-en-slechts-dan relatie hadden.quote:Formeel: (A -> B, A) => B de waarheid van B is aleen gegarandeerd al zowel A als A -> B waar zijn.
En ik heb aangegeven dat C waar kan zijn zelfs wanneer B niet waar is. Dus B is geen noodzakelijke (of minimale) voorwaarde voor C.quote:Een noodzakelijke voorwaarde is een minimale voorwaarde, zoals ik heb aangegeven.
Dus jij prefereert een aparte wet van de zwaartekracht voor elke planeet boven een algemene wet (die meer informatie nodig is)?quote:[..]
Niet relevant, het probleem was om C te verklaren als dat zowel uit A als B kan terwijl A -> B maar niet B -> A, dan verdient B de voorkeur.
In dat geval is Ockham's Razor compleet nutteloos. Juist in gevallen waarin de theorieen (mogelijk) niet verenigbaar zijn wil je terug kunnen vallen op een regel die aangeeft welke de beste is.quote:[..]
Ik denk dat in strikte zin Ockhams razor hier niet toegepast kan worden.
Statistisch gezien zou dit de keuze moeten zijn (waarbij "|" "of" is):quote:Het zal meer een kwestie worden van statistiek. Als de uitspraken D, E, F, G en H allen een waarschijnlijkheid van 0,99 hebben, dan kies ik voor B
(D & E & F) | (G & H) -> C
Eigenlijk is dat hele Occam gebeuren overrated, imho. Je hebt er eigenlijk net niks aan.
Op zaterdag 7 oktober 2006 14:56 schreef Friek_ het volgende:
Nu kon ik het niet laten om even snel op je Fotoboek te kijken en ik zag wat ik al dacht: een onzeker beta-studentje.
Nu kon ik het niet laten om even snel op je Fotoboek te kijken en ik zag wat ik al dacht: een onzeker beta-studentje.
Mjah, het is best leuk bedacht, maar het hoeft simpelweg niet conform de waarheid te zijnquote:Op vrijdag 21 oktober 2005 20:37 schreef livEliveD het volgende:
Eigenlijk is dat hele Occam gebeuren overrated, imho. Je hebt er eigenlijk net niks aan.
Precies, in the end heb je er niks aan
Op zaterdag 7 oktober 2006 14:56 schreef Friek_ het volgende:
Nu kon ik het niet laten om even snel op je Fotoboek te kijken en ik zag wat ik al dacht: een onzeker beta-studentje.
Nu kon ik het niet laten om even snel op je Fotoboek te kijken en ik zag wat ik al dacht: een onzeker beta-studentje.
Ockham's razor theorie is van toepassing op het aanwezig zijn van de mens in het universum.
Hij zou zeggen dat we niet bestaan.
Daarmee ontkent hij zijn eigen bestaan, ergo hij ontkent zijn eigen theorie.
Dus Ockham's theorie bestaat niet.
Hij zou zeggen dat we niet bestaan.
Daarmee ontkent hij zijn eigen bestaan, ergo hij ontkent zijn eigen theorie.
Dus Ockham's theorie bestaat niet.
Hoe bedoel je dit precies?quote:Op zaterdag 22 oktober 2005 06:07 schreef Yosomite het volgende:
Hij zou zeggen dat we niet bestaan.
Op zaterdag 7 oktober 2006 14:56 schreef Friek_ het volgende:
Nu kon ik het niet laten om even snel op je Fotoboek te kijken en ik zag wat ik al dacht: een onzeker beta-studentje.
Nu kon ik het niet laten om even snel op je Fotoboek te kijken en ik zag wat ik al dacht: een onzeker beta-studentje.
Jawel, het is een leidraad voor het opstellen van bv vergelijkingen. Daarna kun je zien of het ook zinnig is, en dat blijkt wonderwel vaak zo te zijn. Je doet dus min of meer een "sophisticated guess".quote:Op vrijdag 21 oktober 2005 20:37 schreef livEliveD het volgende:
Eigenlijk is dat hele Occam gebeuren overrated, imho. Je hebt er eigenlijk net niks aan.
Misschien is een aardig ander voorbeeldje de Diracvergelijking. Die beschrijft deeltjes, een soort relativistische Schrodingervergelijking, zeg maar. Dat ding is door Diract gekozen als zijnde lineair in de ruimte en tijd, maar dat was meer een gok dan een weloverwogen keuze, zover ik begrepen heb.
Ik schrijf boeken over wetenschap en filosofie!
https://www.epsilon-uitga(...)e-tijd-materie/10996
https://www.spectrumboeke(...)k-niet-9789000386765
https://www.spectrumboeke(...)tronen-9789000395071
https://www.epsilon-uitga(...)e-tijd-materie/10996
https://www.spectrumboeke(...)k-niet-9789000386765
https://www.spectrumboeke(...)tronen-9789000395071
Maar ehhh, je hebt meerdere theorieën en die ga je toetsen of je doet een aanname "zolang het tegendeel niet bewezen is". Dat je de simpelste aanneemt als waar lijkt me praktisch maar eigenlijk zegt het dus niks over de waarheid. Je hebt er niks aan als bewijsvoering ergens. Hooguit kun je stellen dat het geen zin heeft om moeilijker te gaan doen dan nodig.
Op zaterdag 7 oktober 2006 14:56 schreef Friek_ het volgende:
Nu kon ik het niet laten om even snel op je Fotoboek te kijken en ik zag wat ik al dacht: een onzeker beta-studentje.
Nu kon ik het niet laten om even snel op je Fotoboek te kijken en ik zag wat ik al dacht: een onzeker beta-studentje.
Misschien kun je het een beetje vergelijken met het weledele volledige inductie. Je gokt een bepaalde aanname, en gaat dan checken of het klopt. Dat kan je een hoop tijd besparen. Alleen kun je met volledige inductie iets bewijzen; met dat scheermesje kun je dat niet. Ik moet wel stellen dat het een belangrijk principe in de natuurkunde is ( hoe dat voor andere principes is weet ik niet precies, maar ik gok hetzelfde ) om te stellen dat de natuur zo eenvoudig mogelijk inmekaar steekt. Zo heb je genoeg afleidingen die je kunt uitbreiden met allemaal fancy complicaties. Dat laat je vaak, omdat je afleidingen dan niet meer eenvoudig en elegant zijn. En omdat dan later natuurlijk blijkt dat het niet overeenkomt met metingen.quote:Op zaterdag 22 oktober 2005 11:31 schreef livEliveD het volgende:
Maar ehhh, je hebt meerdere theorieën en die ga je toetsen of je doet een aanname "zolang het tegendeel niet bewezen is". Dat je de simpelste aanneemt als waar lijkt me praktisch maar eigenlijk zegt het dus niks over de waarheid. Je hebt er niks aan als bewijsvoering ergens. Hooguit kun je stellen dat het geen zin heeft om moeilijker te gaan doen dan nodig.
Nog een voorbeeldje. In de theoretische fysica ( kom ik al over als een vakidioot? ) is het variatieprincipe erg belangrijk. Dat stelt dat bv een deeltje dat pad in de natuur volgt, wat een grootheid genaamd de actie minimaliseert. De natuur werkt dus zo efficient mogelijk. Die actie, die kun je niet expliciet afleiden. Die gok je vaak. Dat doe je vaak door de meest eenvoudige actie te nemen die je kunt bedenken. En dat blijkt goed te werken. Sterker nog, Hilbert heeft zo, voordat Einstein met zijn paper kwam over de algemene rel.theorie, de veldvergelijkingen wiskundig afgeleid door middel van dit principe. De meest eenvoudige actie die kon worden opgesteld, geeft je iets triviaals wat je allang wist. De op één na makkelijkste geeft je, na 3 kwartier rekenwerk, zomaar die langgezochte veldvergelijkingen ! En daarmee heb je geen fysische aannames gedaan. Prachtig vind ik dat.
Ik schrijf boeken over wetenschap en filosofie!
https://www.epsilon-uitga(...)e-tijd-materie/10996
https://www.spectrumboeke(...)k-niet-9789000386765
https://www.spectrumboeke(...)tronen-9789000395071
https://www.epsilon-uitga(...)e-tijd-materie/10996
https://www.spectrumboeke(...)k-niet-9789000386765
https://www.spectrumboeke(...)tronen-9789000395071
Het gaat niet om de "beste" (wat is je definitie trouwens),maar om die uitspraak te gebruiken die logisch minimaal is. Ockhams razor is eigenlijk gewoon logisch minimalisme.quote:Op vrijdag 21 oktober 2005 19:29 schreef XoxIx het volgende:
Maar welke is de beste, gegeven dat ze beide waar zijn?
Je gaat toch altijd uit van de waarheid van de premissen, ik begrijp je punt niet.quote:Inderdaad, daar doe ik niets aan af. Maar zoals je zelf al aangeeft, kan de waarheid van C dan niet uit die implicatie worden afgeleid.
Ja maar ook dat als A onwaar is B waar of onwaar kan zijn.quote:Het idee van logica is valide argumenten opzetten ongeacht de waarheid van de premissen. A -> B betekent gewoon dat als A waar is, het niet anders kan zijn dan dat B waar is.
Nee ik bedoelde in het algemeen de "modus ponens"quote:Je bedoelt dus A <-> B (B kan immers alleen waar zijn als A waar is)? Nu weet ik niet waar dit op slaat, aangezien je eerdere A en B geen dan-en-slechts-dan relatie hadden.
Als je onware uitspraken voor waar gaat aannemen dan kun je alles bewijzen.quote:En ik heb aangegeven dat C waar kan zijn zelfs wanneer B niet waar is. Dus B is geen noodzakelijke (of minimale) voorwaarde voor C.
Elke uitspraak X heeft een (misschien meerdere) minimum uitspraken waaruit X afgeleid is (kan worden) In het extreme geval als X een tautologie is, dan is het minimum de "0 uitspraak", maw X is dan nergens van afhankelijk.
Dat appels hier op aarde naar beneden vallen is en blijft een empirisch feit, d.w.z. morgen kunnen ze omhoog vallen (niet waarschijnlijk, maar logisch niet onmogelijk)quote:Dus jij prefereert een aparte wet van de zwaartekracht voor elke planeet boven een algemene wet (die meer informatie nodig is)?
Nu hebben we ervaring met vallende voorwerpen op aarde, dus als ik een voorspelling moet doen dat de appel die ik nu in mijn hand heb zal vallen, dan maak ik gebruik van de ervaring met vallende voorwerpen op aarde. Waaromzou ik meer aannemen dat noodzakelijk is ?
Nee de regel is niet nutteloos, ze wordt in de wiskunde en de logica gebruikt.quote:In dat geval is Ockham's Razor compleet nutteloos. Juist in gevallen waarin de theorieen (mogelijk) niet verenigbaar zijn wil je terug kunnen vallen op een regel die aangeeft welke de beste is.
Ook in andere wetenschappen kan ze min of meer worden toegepast.
OK mee eens, maar de vraag was welke set je kiest de een of de ander (exclusive or)quote:Statistisch gezien zou dit de keuze moeten zijn (waarbij "|" "of" is):
(D & E & F) | (G & H) -> C
Ik vraag mij trouwens af of het in de praktijk mogelijk is dat C zou kunnen volgen uit D,E, F en ook uit G,H terwijl {D,E,F} en {G,H} geheel onafhankelijk zijn. Ik vermoed dat er "onderwater" bij nadere analyse een verband is of mogelijk volgen alle uitspraken wel uit een uitspraak X.
Exaudi orationem meam
Requiem aeternam dona eis, Domine.
Et lux perpetua luceat eis.
Requiem aeternam dona eis, Domine.
Et lux perpetua luceat eis.
Ten eerste:
Occam´s Scheermes is geen theorie, het is een methode.
Ten tweede:
Occam steld gewoonweg dat hoe minder aannames je doet om iets te verklaren hoe beter het is, en daar heeft ie gewoon gelijk in.
Occam´s Scheermes is geen theorie, het is een methode.
Ten tweede:
Occam steld gewoonweg dat hoe minder aannames je doet om iets te verklaren hoe beter het is, en daar heeft ie gewoon gelijk in.
In Baden-Badener Badeseen kann man Baden-Badener baden sehen.
Een variatie is trouwens het scheermes van Hanlon, die steld dat je zaken niet aan boze opzet moet verwijten als ze door stupiditeit verklaard kunnen worden. Iets wat de Truthfokkers maar eens zouden moeten leren.
In Baden-Badener Badeseen kann man Baden-Badener baden sehen.
Whehehe, check die frustratiequote:Op zaterdag 22 oktober 2005 12:44 schreef Pietverdriet het volgende:
Een variatie is trouwens het scheermes van Hanlon, die steld dat je zaken niet aan boze opzet moet verwijten als ze door stupiditeit verklaard kunnen worden. Iets wat de Truthfokkers maar eens zouden moeten leren.
Op zaterdag 7 oktober 2006 14:56 schreef Friek_ het volgende:
Nu kon ik het niet laten om even snel op je Fotoboek te kijken en ik zag wat ik al dacht: een onzeker beta-studentje.
Nu kon ik het niet laten om even snel op je Fotoboek te kijken en ik zag wat ik al dacht: een onzeker beta-studentje.
|
|
