Logika niefregowska – rachunek logiczny, który różni się od klasycznych „fregowskich” rachunków logicznych tym, że zdania nie są w nim nazwami przedmiotów logicznych (prawdy lub fałszu), lecz są nazwami sytuacji. Logika ta jest przykładem logiki filozoficznej. Jej twórcą był Roman Suszko.
Aksjomat Fregego Gottlob Frege twierdził, że zdania w sensie logicznym są nazwami przedmiotów logicznych. Wszystkie zdania prawdziwe oznaczają ten sam przedmiot – prawdę, a zdania fałszywe – fałsz. Natomiast na płaszczyźnie ontologicznej prawdzie odpowiada byt zaś fałszowi niebyt. Wyrażenia mogą być wzajemnie wymienialne salva veritate.
Frege spójnik identyczności utożsamiał ze spójnikiem równoważności Roman Suszko założenie, w myśl którego zdania i zmienne zdaniowe przyjmują wartości w dwuelementowym zbiorze wartości logicznych, nazwał aksjomatem Fregego. Istnieją dwa sformułowania tego aksjomatu: semantyczne (sformułowanie powyższe) i ontologiczne (formuła rachunku zdań utożsamiająca spójnik identyczności ze spójnikiem równoważności: ).