Идея сведения всей чистой математики к логике была подхвачена английским логиком и философом Б.Расселом (1872-1970). Но последующее развитие логики показало неосуществимость этой грандиозной по своему замыслу попытки. Она привела, однако, к сближению математики и логики и к широкому проникновению плодотворных методов первой во вторую.

В России в конце прошлого – начале нынешнего века, когда научная революция в логике набрала силу, ситуация была довольно сложной. И в теории, и в практике преподавания господствовала так называемая «академическая логика», избегавшая острых проблем и постоянно подменявшая науку логику невнятно изложенной методологией науки, истолкованной к тому же по заимствованным и устаревшим образцам. И тем не менее были люди, стоявшие на уровне достижений логики своего времени и внёсшие в её развитие важный вклад. Прежде всего это доктор астрономии Казанского университета, логик и математик П.С.Порецкий. Сдержанное общее отношение к математической логике, разделявшееся многими русскими математиками, во многом осложнило его творчество. Часть своих работ он вынужден был опубликовать за границей. Но его идеи оказали в конечном счёте существенное влияние на развитие алгебраически трактуемой логики как в нашей стране, так и за рубежом. Порецкий первым в России начал читать лекции по современной логике, о которой он говорил, что это «по предмету своему есть логика, а по методу математика». Исследования Порецкого продолжают оказывать стимулирующее влияние на развитие алгебраических теорий логики и в наши дни.

Одним из первых (ещё в 1910 г.) сомнения в неограниченной приложимости логического закона противоречия, о котором пойдёт речь далее, высказал логик Н.А.Васильев. «Предположите, – говорил он, – мир осуществлённого противоречия, где противоречия выводились бы, разве такое познание не было бы логическим?» Васильев, подобно Ломоносову, наряду с научными статьями, писал порой и стихи. В них своеобразно преломлялись его логические идеи, в частности идея воображаемых (возможных) миров: