Onko lause kontradiktio?

Ei tuo ole kontradiktio, vaan aivan ilmiselvästi looginen lause. Samaan tapaan naiset haluavat tasa-arvoa, mutta miehille se ei ole sallittua.

tasa-arvoinen on absoluuttinen adjektiivi, eli ei ole mitään järkeä puhua tasa-arvoisemmasta. Ovatko toiset ihmiset kaksikätisempiä kuin toiset?

Formaalissa logiikassa ensimmäinen vaatimus lauseelle on, että se on ns. hyvin muodostettu eli "mielekäs". Esittämäsi lause ei ole mielekäs jo mainituista syistä, joten sen totuusarvostakaan ei ole mielekästä sanoa mitään.

Eihän tuossa ole mitään ongelmaa.

Kun puhutaan tasa-arvoisuudesta, ajatellaan yleensä jotain joukkoa, jonka alkiot ovat keskenään tasa-arvoisia.

Kaikki eläimet voivat olla tasa-arvoisia eri osajoukoissa.

Niiden ei tarvitse kuitenkaan kaikkien olla tasa-arvoisia keskenään.

Tasa-arvoisuuden määrälle tarvitaan nyt jokin määritelmä. Esim. jos joukon A alkiot ovat kaikki tasa-arvoisia keskenään ja sen kanssa yhteispisteettömän joukon B kaikki alkiot tasa-arvoisia keskenään, niin kaikki joukkojen A ja B unionin alkiot ovat jossain mielessä tasa-arvoisia, vaikkakaan eivät kaikki keskenään. Jos joukko A on suurempi kuin joukko B, joukon A alkioiden voitaisiin sanoa olevan tasa-arvoisempia kuin joukon B alkioiden.

Esim. jos kaikki suomalaiset olisivat tasa-arvoisia keskenään ja kaikki kiinalaiset tasa-arvoisia keskenään, niin voisimme sanoa kaikkien suomalaiskiinalaisen joukon alkioiden olevan tasa-arvoisia, mutta kiinalaisten olevan enemmän tasa-arvoisia, koska heitä on enemmän.

Ajatus tasa-arvoisuudesta sisältää sen olettamuksen että se olisi ekvivalenssirelaatio jolloin se ei ole järjestysrelaatio eli voida puhua tasa-arvoisemmista (poikkeuksena tyhjä joukko ja yhden alkion joukko). Ts. tästä näkökulmasta väite ei ole validi. Mutta miksi tasa-arvoisuuden tulisi olla ekvivalenssirelaatio, tasa-arvoisuus voi olla myös täysin epäsymmetrinen kuten se todellisuudessa on esim. sinä voit pitää pomoasi tasa-arvoisena kanssasi, mutta pomosi pitää itseään arvokkaampana ihmisenä kuin sinä. Ei ole olemassa mitään absoluuttista tasa-arvoa esim. Suomen lain mukaan kaikki ihmiset ovat tasa-arvoisia lain edessä mutta tuomiot osoittavat että rikkaita suositaan ja he saavat pienempiä tuomioita tai helpommin vapauttavan päätöksen.

Väitteessä käytetään ilmaisua "tasa-arvoisempia", joka antaa ymmärtää, että tasa-arvoisuuksia voidaan kuvata alkioilla, jotka ovat vertailtavissa keskenään, mahdollisesti järjestettävissä? (Eri järjestyksien alalajien ja keskeisten teoreemojen esittelemiseksi, itseni täytyisi jo kaivaa esiin algebran oppikirja, kun ne eivät ole tuoreessa muistissa, eikä missään vaiheessa ole tullut niin perinpohjaisesti opeteltua, että muistaisin iäti ulkoa.) Edelleen, kun sanotaan "Kaikki eläimet ovat tasa-arvoisia", viittaa se siihen, että on jokin tasa-arvoisuuden aste, jonka kaikki eläimet saavuttavat, josta lähtien voidaan katsoa asian olevan tasa-arvoinen? Tältä kantilta lause on hyvinkin järkevä. Tällöin siis tasa-arvoisuus ei olisi ekvivalenssirelaatio, vaan pikemminkin funktio eläimiltä jonkinlaiselle tasa-arvoisuuden astetta kuvaavien alkioiden joukolle?