negalimo trečiojo dėsnis

negãlimo trẽčiojo dsnis, dvireikšmės logikos dėsnis, turintis dvi formuluotes: kiekvienas teiginys yra teisingas arba klaidingas – trečios galimybės nėra; teiginys p arba jo neigimas ¬p teisingas (p ∨ ¬p) – trečios galimybės nėra. Suformulavo Aristotelis. Negalimo trečiojo dėsnis išreiškia faktą, kad koks nors objektas egzistuoja arba ne, turi kokį nors požymį arba ne. Šis dėsnis negalioja begalinėms aibėms – radus tam tikrą savybę turintį objektą patvirtinamas p, o apie ¬p nieko negalima teigti, nes begalinė aibė neperžvelgiama.

314