stanford-oval/wikipedia huggingface dataset:
Porfyria

Porfyria on sairaus, joka aiheutuu hemin valmistuksessa tarvittavan entsyymin toimintahäiriöstä. Elimistöön kertyy tällöin porfyriini-nimistä yhdistettä, joka toimii hemin esiasteena. Tautimuodot voidaan luokitella akuutteihin porfyrioihin (akuutti intermittoiva porfyria ja porfyria variegata) sekä ihoporfyrioihin (porphyria cutanea tarda ja erytropoieettinen protoporfyria). Porfyriat ovat harvinaisia sairauksia, ja suurin osa niistä on perinnöllisiä.
Porfyrian oireita ovat muun muassa ihon herkkyys auringonvalolle ja erilaiset kohtaukset. Taudille on luonteenomaista anemia, ja tautia sairastavan virtsa on toisinaan purppuranpunaista.
Historiaa

1800-luvulla porfyria tunnettiin myös nimillä Dracula-tauti ja vampyyri-tauti, koska sillä uskottiin olevan yhteyttä vampyyrimyytteihin. Nykyisin oletetaan, että Englannin kuningas Yrjö III, jonka aikanaan uskottiin olleen mielisairas, sairastikin porfyriaa. Tätä kuvataan vuoden 1994 elokuvassa Hullu kuningas (The Madness of King George), jossa kuningasta näytteli Nigel Hawthorne.
Aiheesta muualla

Mikä on porfyria?
Terveyskirjasto: Porfyria
Mayo Clinic: Porphyria (englanniksi)
Bzip2

bzip2 (tiedostonpäätteenä .bz2) on vapaa avoimen lähdekoodin pakkausohjelma, joka perustuu Burrows–Wheeler-muunnokseen eli lohkolajittelualgoritmiin.
Unix- ja Linux-järjestelmissä yleisesti käytettyjen compress ja gzip-ohjelmien tavoin bzip2 pakkaa vain yhden tiedoston tai vuon, joten sille voi putkittaa esim. tar-arkistointiohjelman tulostuksen, joka pakataan ja tallennetaan tiedostoon.
Ohjelman kehitti brittiläinen Julian Seward ja hän julkaisi sen 18. heinäkuuta 1996. Ohjelma on lisensoitu BSD-tyylisellä lisenssillä ja se toimii kaikissa merkittävissä käyttöjärjestelmissä.
bzip2:n vakaata versiota ylläpitää Mark Wielaard. Kehitysversiota on hoitanut vuodesta 2019 Federico Mena, jonka tavoitteena on ohjelman käännösjärjestelmän uusiminen ja Rust-porttaus. Vuonna 2021 tämän otti tehtäväkseen Micah Snyder.
Ohjelma pakkaa tehokkaammin kuin compressin LZW tai gzip ja zip-ohjelmien Deflate, mutta on myös hitaampi. bzip2 ei myöskään rinnakkaistu useille prosessoriytimille, vaan toimii yhdessä säikeessä. Pakkauksen purku on suhteessa pakkausta nopeampaa. Tiedostomuodolle ei ole virallista spesifikaatiota muuta kuin ohjelman toteuttamana. Tiedostomuodolle on tuki mm. 7-Zip, WinRAR, Apache Commons ja DotNetCompression -ohjelmissa tai kirjastoissa.
bzip2 pakkaa tiedon 100–900 kilotavun lohkoissa, joille tehdään
Burrows–Wheeler-muunnos, jossa toistuville merkkijonoille annetaan vastine. Tämän jälkeen käytetään Huffmanin koodausta. bzip2:n edeltäjässä bzipissä käytettiin toisessa vaiheessa aritmeettista koodausta.
As-Suwayda

| as-Suwayda (السويداء‎, as-Suwaydāʾ) |
| --- | --- |

 as-Suwayda
 Koordinaatit: 32.7098°N, 36.5678°E 
Valtio:  Syyria
Maakunta:  as-Suwaydan maakunta
Piirikunta:  as-Suwaydan piirikunta
Väkiluku (2004)  (, tilanne ennen Syyrian sisällissotaa):  73 641
Infobox OKVirheellinen NIMI-arvo: 
As-Suwayda tai Suwayda (arab. السويداء‎,  as-Suwaydāʾ) on kaupunki Syyrian eteläosassa. Kaupunki on as-Suwaydan maakunnan ja sen as-Suwaydan piirikunnan keskus. Vuoden 2004 väestönlaskennassa kaupungin väkiluku oli 73 641 asukasta ja koko piirikunnan väkiluku 180 907 asukasta.
Maantiede

As-Suwayda sijaitsee 1 800 metrin korkeuteen kohoavan Jabal al-Duruzin vuoren juurella. Syyrian pääkaupunki Damaskos on linnuntietä noin 93 kilometriä pohjoiseen ja Jordanian raja lähimmillään noin 37 kilometrin päässä lounaassa.lähde?
Historia

As-Suwayda on perustettu 1. vuosisadalla eaa. Se joutui Rooman valtakunnan osaksi 1. vuosisadalla jaa. Paikkakunta sai piispanistuimen 5. vuosisataan mennessä. Kaupungista on löydetty roomalaisen temppelin (3. vuosisata) ja bysanttilaisen kirkon (5. vuosisata) rauniot.
Nykyään kaupunki on alueen maataloustuotannon keskus. Noin 15 kilometriä kaupungin länsipuolella sijaitsee at-Thaalan sotilaslentoasema.
Islamistiryhmittyvät yrittivät vallata kaupungin länsipuolella sijaitsevaa at-Thaalan sotilaslentoasemaa Syyrian hallituksen joukoilta 9–18 kesäkuuta 2015. Druusijohtajat ottivat aluksi melko neutraalin kannan islamistien ja Syyrian armeijan välisiin taisteluihin, jotka eivät kohdistuneet varsinaisesti druusiasutuksiin. Mutta kun islamistiryhmä Al-Nusran rintama oli surmannut 20 druusikyläläistä pohjoisessa Idlibin maakunnassa, as-Suwaydanin druusijohtajat taivuttivat sotilaallisen druusiryhmittymän (Jaysh al-Muwahhideen) liittymään maan hallituksen puoleiseen rintamaan. Islamistiryhmät joutuivat vetäytymään pois osin jo valtaamastaan lentotukikohdasta. lähde?
Syyskuussa 2015 kaupungissa järjestettiin laajaksi kuvailtuja opposition rauhanomaisia mielenosoituksia, joissa esimerkiksi vaadittiin polttoaineiden ja sähkön saatavuuden parantamista sekä kuvernöörin eroa. Valtion virallinen media pysyi hiljaa mielenilmauksesta. Muutaman päivän kuluttua uutisoitiin pommi-iskuista, joiden osana esimerkiksi paikallisväestön enemmistöä edustavien druusien johtajiin kuuluva sheikki tapettiin autopommilla. Tämä muutti mielenilmauksia väkivaltaisemmaksi yhteenotoksi. Aiemman presidentin Hafez al-Assadin patsas kumottiin samassa yhteydessä. Elokuussa 2023 puhkesi jälleen mielenosoituksia kaupungin keskusaukiolla, jotka jatkuivat al-Assadin hallinnon kukistumiseen saakka joulukuussa 2024.
Väestö

As-Suwaydan maakunta on väestöltään Syyrian vähemmistöä edustavien druusien keskeistä asuinaluetta. Syyrian sisällissodan druusit ovat vastustaneet sekä Syyrian yksinvaltaisen presidentinhallinnon että äärimuslimien linjaa. Suwaydan kaupungin on siksi voitu katsoa olleen Syyrian hallitusta vastustavien oppositiovoimien käsissä. Pitkään varsin rauhallisena pysyneellä seudulla raportoitiin elokuussa 2014 väkivaltaisista yhteenotoista paikallisväestön ja Syyrian  hallituksen tukijoihin kuuluvan NDF-ryhmittymän sekä sunnien aseistamien, jihadistijärjestö Jabhat al-Nusran (Al-Nusran rintama) tukemien beduiinijoukkojen välillä.
Aiheesta muualla

Kuvia tai muita tiedostoja aiheesta As-Suwayda Wikimedia Commonsissa
As Suwayda (englanniksi) (homsonline.com)
Syria conflict: Al-Nusra fighters kill Druze villagers (11.6.2015) (englanniksi) (bbc.com)
100s of Suwayda residents volunteer to join Syrian Army (18.6.2015) (Arkistoitu – Internet Archive) (englanniksi) (presstv.com)
Aymenn Jawad Al-Tamimi: The New Druze Militia Factions of Suwayda Province (12.8.2015) (Arkistoitu – Internet Archive) (englanniksi) (rubincenter.org)
Aymenn Jawad al-Tamimi: The Druze Militias of Southern Syria (13.11.2013) (englanniksi) (joshualandis.com)
Väenpaljoutta kaupungin jalkapallostadionilla.
Rooman valtakunnan aikainen amfiteatteri As-Suwaydassa.
To

To tarkoittaa seuraavia:
President Airlines, IATA-koodi TO, lentoyhtiö
Teritorijalna obrana, TO, Jugoslaviaan vuonna 1968 luotu aluepuolustus
to, katakana-merkki ト ja hiragana-merkki と, japanin kielen kana-merkki
Tô, kunta Burkina Fasossa
Tocantins, TO, Brasilian osavaltio
tonga, ISO 639-1 -koodi to, kieli
Tonga, ISO 3166-1 -koodi TO, valtio tai muu maantieteellinen alue
torstai, to, viikonpäivä
Henkilöt

To on seuraavien henkilöiden nimi:
Terrell Owens (T.O., s. 1973), yhdysvaltalainen amerikkalaisen jalkapallon pelaaja
Johnnie To (s. 1955), hongkongilainen elokuvaohjaaja ja -tuottaja
Tô Lâm (s. 1957), Vietnamin ent. presidentti.
| --- | --- |
: Tämä on täsmennyssivu, joka luettelee monimerkityksisen käsitteen eri merkitykset tai useita eri henkilöitä. Artikkelisivuja, joiden nimessä tai tekstissä lukee ”To”, voi hakea sivunnimihaulla, laajalla sivunnimihaulla tai tekstihaulla.
Rouge the Bat

| Rouge the Bat |
| --- | --- |
 Rouge the Bat pelissä Sonic the Hedgehog (2006).
Pelisarja:  Sonic the Hedgehog
Ensimmäinen peli:  Sonic Adventure 2 (2001)
Luoja:  Kazuyuki Hoshino
Ääninäyttelijä  (englanti):  Lani Minella (2001–2004) Kathleen Delaney (2005–2010) Karen Strassman (2010–) Angelina Jolie (2027–)
Ääninäyttelijä (suomi):  Katja Sirkiä (Sonic Prime)
Lisää peliartikkeleitavideopelien teemasivulla
Rouge the Bat on fiktiivinen hahmo Sonic the Hedgehog -sarjan videopeleissä.
Hän esiintyy myös Sonic Archie-, Sonic X- ja Sonic Universe -sarjakuvissa, sekä Sonic X -animaatiossa.
Rouge kuuluu toisinaan myös Team Chaotixin kokoonpanoon. Rouge on ammatiltaan vakooja, mutta harrastaa myös aarteenmetsästystä.
Kyvyt

Rouge kykenee liitämään ja lentämään. Lisäksi hän on taitava kiipeämään seiniä. Rouge ei kykene Knucklesin tavoin havaitsemaan aarteita (esimerkiksi Master Emerald-smaragdin sirpaleita) vaistonvaraisesti, mutta hän käyttää apunaan toisinaan tutkaa aarteiden löytämiseksi.
Rougen taisteluliikkeisiin kuuluvat erilaiset potkut. Sonic "Nextgen"issa hän käyttää apunaan kahdenlaisia pommeja.
Apuvälineinä Rouge on käyttänyt mm. kaivuutyökalua (Pick Nails) ja "Treasure Scope"-nimistä välinettä erilaisten salaisuuksien paljastamiseksi. Lisäksi hänellä on usein mukanaan radiopuhelin yhteydenpitoa varten.
Suhteet muihin hahmoihin

Shadow the Hedgehog on yleensä Rougen liittolainen.
Rouge ja Shadow ovat lähes aina samassa paikassa samaan aikaan ja Shadow on muutamaan kertaan pelastanutkin Rougen, kuten Prison Islandin räjähdykseltä, kun Rouge jäi loukkuun Security Hall-kassakaappiin (Sonic Adventure 2), sekä Dr. Robotnikin väijytyksestä (Sonic the Hedgehog (2006)).
Prison Islandilla Shadown motiivina olivat Rougen hallussa olleet 3 Kaaossmaragdia.
Knuckles the Echidna pelasti Rougen putoamasta laava-altaaseen Sonic Adventure 2ssa, todellisuudessa hän oli huolissaan myös Rougen hallussa olleista Master Emeraldin kappaleista.
Pelit, joissa Rouge esiintyy

Sonic Adventure 2 (Sega Dreamcast)
Sonic Adventure 2 Battle (Nintendo GameCube)
Sonic Heroes (PlayStation 2, GameCube, Xbox)
Shadow the Hedgehog (peli) (PlayStation 2, GameCube, Xbox)
Sonic Battle (Game Boy Advance)
Sonic Riders (PlayStation 2, GameCube,Xbox)
Sonic Rivals (PlayStation Portable, ei pelattava hahmo)
Sonic the Hedgehog (2006) (Xbox 360, PlayStation 3)
Sonic Rivals 2 (PlayStation  Portable)
Sonic Riders: Zero Gravity (PlayStation 2, Wii)
Sonic Chronicles: The Dark Brotherhood (Nintendo DS)
Mario & Sonic at the Olympic Winter Games (Wii, Nintendo DS) (pomovastuksena)
Sonic Generations (PlayStation 3, Xbox 360, Nintendo 3DS) (ei pelattava hahmo, mutta auttaa joissakin haastetehtävissä)
Mario & Sonic at the London 2012 Olympic Games (Wii, Nintendo 3DS) (ei pelattava hahmo)
Sonic Colours (Nintendo DS) (esiintyy vain sivutehtävissä)
Sonic Free Riders (Kinect)
Super Smash Bros. Brawl-pelistä Rougen löytää muutamina eri tarroina.
Melkkilä

Melkkilän kartano vuonna 1954
Melkkilä eli Mälkilä on kylä Salon kaupungin Perniössä. Kylä sijaitsee Perniön kirkonkylän lounaispuolella.
Melkkilä sijaitsee Perniönjoen laaksossa pitkulaisella mäellä peltojen ympäröimänä. Saman mäen länsireunalla sijaitsevat Metsäkylän ja Penttilän kylät. Melkkilä on syntynyt mäen itäosaan Melkkilän kartanon ympärille. Muut naapurikylät ovat Ali-Melkkilä etelässä, Haarla pohjoisessa ja Lupaja joen toisella puolella idässä. Melkkilään kuuluu myös alue Kankkonummen eteläreunalta, jota halkova Piiloja laskee mutkien kautta kylän kanta-alueella Juottimenojana Perniönjokeen.
Melkkilä on vanha kylä, joka on syntynyt ennen 1300-lukua. Melkkilän kartano mainitaan ensimmäisen kerran vuonna 1413. Kartanon ympäristöön syntyi ajalleen merkittävä asutuskeskittymä, jossa asui torppareita, käsityöläisiä ja kartanon työväkeä. Vielä 1800-luvun lopulla kartano oli Perniön suurimpia maanomistajia. 1900-luvun alkupuolella kartanon maista lohkottiin useita pientiloja ja sotien jälkeen kylään asutettiin siirtoväkeä. Tämän jälkeen uutta asutusta Melkkilään ei ole syntynyt.
Melkkilän kartano on edelleen suuri maatila ja sen yhteyteen on syntynyt muutakin yritystoimintaa. Kankkonummella sijaitsee Perniön ravirata, joka on aktiivisessa käytössä.
Falsifiointi

Filosofi
Luettelo filosofeista
Luettelo filosofian osa-alueista, koulukunnista ja opeista
Filosofian teemasivu
Filosofian tietosanakirja
Tiede
Tieteellinen menetelmä
 Tieteellinen selittäminen
Falsifiointi, Havainto, Hypoteesi, Induktiivinen päättely, Kausaliteetti, Näennäistiede, Occamin partaveitsi, Teoria
n
k
Falsifiointi eli falsifioiminen (< lat. falsus, 'väärä') tarkoittaa väitteen osoittamista vääräksi. Fallibilismi merkitsee Charles S. Peircen alullepanemaa tieteenfilosofista oppia, jonka mukaan kaikkia väitteitä on pidettävä periaatteessa kumoutuvina.
Falsifikationismi (negativismi, kontrapositivismi tai popperilainen tieteenfilosofia) puolestaan on tieteenfilosofian paradigma, jonka tavoitteena on erottaa tiede epätieteestä ja muusta ei-tieteestä. Sen mukaan tieteellisiä ovat vain sellaiset väitteet, jotka ovat falsifioitavissa eli periaatteessa mahdollista osoittaa vääriksi joillain havainnoilla. Toisinaan näitä termejä myös käytetään synonyymeinä, mutta Peircen ja Karl Popperin näkemysten välillä on sisällöllisiä eroja.
W. V. O. Quinen tiedekäsityksessä falsifiointitilanteessa muutetaan tiedeverkon kokonaisuutta siten, että siitä aiheutuu mahdollisimman vähän muutosta tieteelle kokonaisuutena. Tämä vaatii tieteen teorioiden yhteyksien tuntemista, ja tekee selitysarvoisimmista ja suurimman konsilienssin omaavista teorioista parempia kuin toisista.
Falsifikationismi

Falsifikationismin taustalla on havainto universaaliväitteiden todistamisen ja kumoamisen välisestä loogisesta epäsymmetriasta, johon jo C. S. Peirce kiinnitti huomiota: universaaliväitettä on mahdotonta todistaa oikeaksi olipa otos kuinka suuri hyvänsä kuin siinä ideaalisessa tilanteessa, jossa kaikki kvantifioidun joukon oliot voitaisiin tutkia, missä sitä vastoin periaatteessa yksi ainoa todellinen vastaesimerkki riittää kumoamaan sen. Esimerkiksi väite ”kaikki korpit ovat mustia” voitaisiin verifioida vain tarkistamalla kaikki korpit, nyt, menneisyydessä ja tulevaisuudessa. Falsifikationismin kannattajien mukaan se voidaan kuitenkin osoittaa vääräksi löytämällä yksikin punainen korppi.
Falsifikationismi syntyi Karl Popper esittäessä ensimmäisenä, että teoriaa voitaisiin pitää tieteellisenä vain, jos se periaatteessa voisi olla todistettavissa tutkimuksella vääräksi. Popper päätteli, että falsifioimattomuus ei ole osoitus teorian vahvuudesta, vaan sen heikkoudesta; hyvä teoria olisi nimenomaan sellainen, jonka falsifioitumisehdot voidaan määritellä, ja sikäli kuin teorian falsifikaatio kerta toisensa jälkeen epäonnistuu, tämän voitaisiin katsoa tukevan voimakkaasti olettamusta, että teoria on tosi. Teoriaa ei kuitenkaan voisi koskaan verifioida, ja periaatteessa tuleva tutkimus voisi aina kumota parhaankin teorian. Falsifikationisti on toisin sanoen myös fallibilisti, painottaen kaikkien teorioiden mahdollista kumoutuvuutta. Sitä vastoin fallibilisti ei ole välttämättä falsifikationisti, ja vaikka fallibismi on melko yleisesti hyväksytty näkemys, falsifikationismi ei sitä ole: yleisesti kuitenkin ollaan kannalla, että ankarassa mielessä teorian varma kumoaminen on yhtä mahdotonta kuin sen verifioiminenkin. Popperin esittämä kritiikki oli yhtä kaikki osallisena vaikuttamassa loogisen positivismin ja verifikationismin väistymiseen.
Se, että jokin teoria on falsifioitavissa eli osoitettavissa vääräksi, ei tarkoita sitä, että teoria olisi väärä; sen sijaan se tarkoittaa, että jos teoria on väärä, tämä voidaan osoittaa havainnoilla tai kokeilla. Käytännössä falsifioitavuudella voidaan välttää monentyyppisten epätieteellisten väitteiden, esim. tautologian eli aina toden väitteen ("kaikki korpit ovat korppeja") hyväksymisen tieteelliseksi teoriaksi. Toisaalta se, että teoria on falsifioitavissa, ei kykene osoittamaan sitä varmasti ja lopullisesti oikeaksi. Falsifikaatioperiaatteella ei voi myöskään varmasti käsitellä olemassaoloväitettä, koska väitteen falsifiointi edellyttäisi sen negaation verifiointia, ja kyseinen negaatio on universaaliväite.
Falsifikaatiota on vaikea soveltaa vähänkään laajempiin teorioihin, sillä on vaikea sanoa, falsifioiko vastaesimerkki koko teorian vai jonkun osan siitä – ja jos se kaataa vain osan, niin minkä.
Falsifikationismi > Naiivi falsifikationismi

Popperin alkuperäisen näkemyksen mukaan teoria tai hypoteesi voidaan lopullisesti hylätä yhden sen kanssa yhteensopimattoman havainnon perusteella. Klassinen esimerkki tästä on se, että yhden mustan joutsenen löytäminen osoittaa virheelliseksi sen teorian, että kaikki joutsenet ovat valkoisia.
Popper katsoi, että tieteilijöille ovat erityisen arvokkaita kahdentyyppiset väittämät, havaintoväittämät ja kategoriset väittämät. Havaintoväittämät ovat sellaisia kuten ”tämä on valkoinen joutsen”. Loogikot kutsuvat tällaisia väittämiä singulaarisiksi eksistenssiväittämiksi, koska ne väittävän jonkin yksittäisen asian olevan olemassa. Ne voidaan esittää muodossa ”on olemassa x joka on joutsen, ja x on valkoinen”.
Kategoriset väittämät ovat sellaisia, jotka luokittelevat kaikkia jonkin ilmentymiä, kuten ”kaikki joutsenet ovat valkoisia”. Loogikot kutsuvat tällaisia väittämiä universaaleiksi. Ne esitetään yleensä muodossa ”kaikille x, jos x on joutsen, tällöin x on valkoinen”. Tieteellisten lakien oletetaan yleensä olevan tässä muodossa. Eräs vaikea tieteellistä menetelmää koskeva ongelma on: kuinka havainnoista edetään lakeihin? Kuinka mistään joukosta eksistenssiväittämiä voidaan edetä universaaliväittämään? Tätä kutsutaan induktion ongelmaksi.
Popper katsoi, ettei tiede voi nojata tällaiseen epäpätevään induktiiviseen päättelyyn. Tilalle, induktion ongelman ratkaisijaksi, hän esitti falsifiointia. Hän katsoi, että vaikka yksittäistä olemassaoloväittämää, kuten ”on olemassa valkoinen joutsen”, ei voida koskaan käyttää universaaliväittämän, kuten ”kaikki joutsenet ovat valkoisia”, todistamiseen, sitä voidaan käyttää universaaliväittämän osoittamiseen vääräksi: yksittäinen havainto mustasta joutsenesta riittää osoittamaan, että universaaliväittämä kaikkien joutsenien valkoisuudesta on väärä.
Falsifioinnissa on kyse muodoltaan deduktiivisesta argumentista. Väittämien falsifiointi tapahtuu hyödyntämällä modus tollens -päättelyä jonkin uuden havainnon kautta. Oletetaan, että jokin universaaliväittämä U kieltää jonkun havainnon O mahdollisuuden:
Havainto O kuitenkin tehdään:
Näin modus tollensilla seuraa:
Vaikka tällainen falsifiointi on pätevä, se on hyvin rajallinen. Näkemystä on myöhemmin kutsuttu naiiviksi falsifikationismiksi, ja muun muassa konfirmaatioholismi suuntautuu sitä vastaan. Konfirmaatioholismin mukaan lähes mikä tahansa väite voidaan saada sopimaan yhteen yksittäisen uuden havainnon kanssa, mikäli väitteen taustateorioihin tehdään tarvittavia muutoksia. Esimerkiksi jos kuullaan, että Australiasta on löydetty mustajoutsenia, teoriaan voidaan lisätä jokin sopiva ad hoc -hypoteesi, kuten ”kaikki joutsenet ovat valkoisia, paitsi eräät Australiasta löydetyt joutsenet” tai ”kaikki joutsenet ovat valkoisia ja Australiassa suoritetut lintuhavainnot ovat epäluotettavia”.
Konfirmaatioholismi perustuu Pierre Duhemin ja W. V. O. Quinen ajatuksiin. Popper itse käsitteli naiivin falsifioinnin ongelmia teoksessaan The Logic of Scientific Discovery.
Falsifikationismi > Myöhempi falsifikationismi

Naiivi falsifikationismi siis epäonnistui pyrkimyksessään määrätä tieteelle jokin välttämätön menetelmä, jota tieteilijöiden tulisi käyttää. Tämä on seurausta siitä, että naiivin falsifioinnin kohteena ovat yksittäiset tieteelliset väittämät. Tieteelliset teoriat koostuvat kuitenkin joukosta tällaisia väittämiä, ja nämä joukot ovat niitä, joita tieteilijöiden tulee hyväksyä tai hylätä.
Naiivin falsifioinnin tilalle Popper muotoili ajatuksen tieteestä falsifioituvien teorioiden hylkäämisen kautta kehittyvänä prosessina. Falsifioidut teoriat tullaan korvaamaan teorioilla, jotka voivat selittää ne ilmiöt, jotka falsifioivat aiemman teorian, eli teorioilla, joilla on suurempi selitysvoima. Popper katsoi, että tieteilijältä vaaditaan päätös teorian muodostavien tai sen falsifioivien väittämien hyväksymisestä tai hylkäämisestä. Jossain vaiheessa teoriaan lisättyjen ad hoc -hypoteesien ja huomiotta jätettyjen teorian falsifioivien havaintojen paino tulee niin suureksi, ettei teoriaa voida enää tukea, ja päätös sen hylkäämisestä tapahtuu.
Esimerkiksi aristoteelinen mekaniikka selitti arkipäiväiset havainnot, mutta Galileo Galilein tekemät kokeet falsifioivat ne, ja myöhemmin Newtonin mekaniikka syrjäytti sen selittämällä Galileon ja monien muiden havaitsemat ilmiöt, joita aristoteelinen mekaniikka ei kyennyt selittämään. Newtonilainen mekaniikka kykeni selittämään muun muassa planeettojen liikkeet ja kaasujen mekaniikan suuressa määrin. Se ei kuitenkaan kyennyt selittämään esimerkiksi Merkuriuksen radan periheliliikettä, minkä Albert Einsteinin yleinen suhteellisuusteoria selitti. Atomitasolla Newtonin mekaniikan osoittivat virheelliseksi niin kutsuttu ultraviolettikatastrofi sekä Gibbsin paradoksi, ja sen syrjäytti kvanttimekaniikka.
Vastaavasti Thomas Youngin valon aaltoteoria syrjäytti Newtonin teorian valohiukkasista, mutta Michelsonin–Morleyn koe puolestaan osoitti sen virheelliseksi. Myöhemmin sen syrjäyttivät James Clerk Maxwellin elektrodynamiikka ja Einsteinin erityinen suhteellisuusteoria, jotka selittivät havaitut ilmiöt.
Kussakin vaiheessa uudet havainnot tekivät aiemmasta teoriasta kestämättömän (eli falsifioivat sen) ja tilalle löydettiin uusi teoria, joka oli selitysvoimaltaan suurempi (eli kykeni selittämään aiemmin selittämättömissä olleet ilmiöt) ja seurauksena tarjosi paremmat mahdollisuudet sen itsensä falsifioinnille.