P&W overzicht college 2

College 2

Categoriale logica: geven van verklaringen 

Propositie logica: analyseren van proposities, wanneer zijn ze waar en wanneer niet. Je kijkt naar de status van de hele zin, het gaat om de waarheid van de hele zin, niet om een onderdeel daarvan. Vooral verificatie. Toetsen hypothesen.

Twee soorten: enkelvoudig en samengestelde

• Enkelvoudige proposities kunnen niet verder worden ontleed. Via een observatie moet je bepalen of ze waar zijn of niet. 
• Samengestelde proposities ontstaan uit eenvoudigere proposities door gebruik van voegwoorden (en; of; als dan). De voegwoorden bepalen of de zin waar is of niet. 

De voegwoorden en negatie hebben waarheidstabellen. 

Waarheidstabellen: laat zien hoe de waarheid van een samengestelde propositie volgt uit deel-proposities. 

Verificatie: theorie (algemene uitspraak) die overeenstemt met observatie is waar

Confirmatie: theorie (algemene uitspraak) die overeenstemt met observatie wordt bevestigd 

Modus Ponens: stellende wijs, afkappingsregel àP=1; Q=1; als P dan Q, 

Modus Tollens: opheffende wijs, falsificatie àP=0; Q=0; als P dan Q = 1

Verificatie hypothese: hypothese bevestigen, na bevestiging stoppen met zoeken. 

Popper: was het oneens met wetenschappers. Hij vond dat een theorie falsificeerbaar dient te zijn. We leren meer van onze fouten: kennis groeit bij poging fouten te verbeteren. Objectieve kennis is kennis die bekritiseerd kan worden. 

Popper geeft ander demarcatie-criterium: een theorie is wetenschappelijk als het gefalsifieerd kanworden. Een theorie die niet gefalsificeerd kan worden heeft geen empirische inhoud.  

Falsificatie: aantonen dat iets niet klopt. 

Tautologie: uitspraak die altijd waar is: als P dan P àals het vriest, dan vriest het = niet falsificeerbaar àgeeft geen nieuwe informatie 

Contradictie: uitspraak die altijd niet waar is: P en niet P àhet vriest en het vriest niet 

Duhem-Quine stelling: aanval op falsificatie, het is niet duidelijk wat er gefalsificeerd wordt bij een negatieve uitkomst. Observatie uitspraken kun je niet afzonderlijk toetsen. Bij negatieve test kun je de uitspraak behouden en iets anders in de theorie veranderen (VB: het meetinstrument (IQ-test: meetinstrument is verkeerd).