Wet van de uitgesloten derde

(Doorverwezen vanaf Uitgesloten derde)

De wet van de uitgesloten derde of van het uitgesloten midden, ook wel tertium non datur, Latijn, een derde is niet gegeven, is een wet die inhoudt dat iedere uitspraak waar of onwaar is. Een andere, derde mogelijkheid is er niet. De 'uitgesloten derde' is dus iedere andere denkbare waarheidswaarde. Een logica die aan de wet van de uitgesloten derde voldoet heet klassiek en kan niet anders dan een tweewaardige logica zijn. Logica's die niet aan de wet voldoen zijn de intuïtionistische en de verschillende meerwaardige logica's.

Het al dan niet voldoen aan de wet van de uitgesloten derde heeft er aanzienlijke gevolgen voor om bepaalde bewijzen te accepteren, met name bewijzen uit het ongerijmde. De wet is equivalent aan de regel van dubbele negatie-eliminatie in de natuurlijke deductie. Volgens deze regel kan uit een uitspraak van de vorm , 'niet niet ', de uitspraak worden afgeleid. Wanneer de wet verkeerd wordt toegepast, kan dit leiden tot de drogreden van het valse dilemma.