Джон Невилл Кейнс был британским экономистом и философом, известным своими работами в области экономической теории и формальной логики. Его работа «Формальная логика» (Formal Logic), опубликованная в 1883 году, была одной из его наиболее известных работ.
В этой книге Кейнс исследовал основы формальной логики, а именно, символической логики, которая занимается символическим представлением логических высказываний и законов вывода. В своей работе Кейнс внес существенный вклад в развитие логической алгебры и предложил новые методы символического представления и рассмотрения логических высказываний.
Он разработал систему символов и правил, которые позволили формализовать логические аргументы и доказательства. Это было важным шагом в развитии логической методологии и подготовило почву для последующих исследований в области математической логики и информатики.
Хотя работа Джона Невилла Кейнса в области логики была менее известной и влиятельной, чем его сына Джона Мейнарда Кейнса в области макроэкономики, она все равно имеет значение в контексте истории логики и представляет собой важный этап в развитии символической логики и формальной алгебры.