Harold skrev:archaxe skrev:Och verifieras inte motsägelselagen dagligen rent empiriskt ("Det är inte fallet att koppen står på bordet och inte står på bordet"; ~(P&~P))? Och kan det vara på något annat sätt?
Utsagan p = "Det är inte så att koppen [just nu] står på bordet och [just nu] inte står på bordet.", verifierar inte motsägelselagen. Att av p dra slutsatsen "Det existerar inte en kopp för vilken gäller att den (vid en och samma tidpunkt) står på bordet och inte står på bordet", är en felaktig slutledning. (induktionsproblemet). Att dra slutsatsen "Det existerar inte något (singulära ting) t, och något predikat P, för vilka gäller P(t) coh ~P(t)" är i någon bemärkelse ännu mer felaktigt.
Men viktigare är ändå att utsagan p, ja alla utsagor, förutsätter (jfr sätta före) motsägelselagen. Motsägelselagen kan inte verifieras (bekräftas)i vanlig bemärkelse, eftersom det att bekräfta en utsaga x redan förutsätter att x antingen är sann eller falsk.
Det är precis som du säger: Det skulle inte kunna vara på något annat sätt.
Men för varelser stadda under ständig förändring gäller att dessa på en gång är och inte är A, d.vs på väg att bli -A. Logiken gäller bara vid en viss tidpunkt (oavsett vilken) så att säga och tar inte hänsyn till dynamik och förändring. A = A bara om A inte förändras.
A