W przeciwieństwie do tego definicja semantyczna determinuje znaczenie znaku. Stąd logika formalna jest niezbędnym założeniem badania naukowego. To, co dane, “rzecz”, nazywa się u Husserla “fenomenem”, od greckiego ??????????, to co się przejawia, co w sposób jasny znajduje się przed nami (??? = światło). Istnieją systemy, w których zasada niesprzeczności nie obowiązuje, ale same te systemy muszą być skonstruowane niesprzecznie i każdy logik stara się o dowód tej niesprzeczności.