JSTOR Daily

The Boolean Algebras of Abelian Groups and Well-Orders

The Journal of Symbolic Logic (JSL) was founded in 1936 and it has become the leading research journal in the field. It is issued quarterly. Volume 71, being published during 2006, will consist of ...
JSTOR Daily

Relativized Realizability in Intuitionistic Arithmetic of All Finite Types

This is a preview. Log in through your library . Journal Information The Journal of Symbolic Logic (JSL) was founded in 1936 and it has become the leading research journal in the field. It is issued ...
Nature

How good old-fashioned AI could spark the field's next revolution

Blending ‘old-fashioned’ logic systems with the neural networks that power large language models is one of the hottest trends ...
Princeton University

Princeton Logic Group

J. Burgess. "Putnam on Foundations: Models, Modals, Muddles", in G. Hellman (ed.) Hilary Putnam on Logic and Mathematics, 129-143 (2019) J. Burgess. "Logic in the Second Half of the Twentieth Century" ...
Scientific American

The Devastating Logic of Christine Ladd-Franklin

Polymath Christine Ladd-Franklin is best known for her theory of the evolution of color vision, but her research spanned mathematics, symbolic logic, philosophy, biology and psychology. Born in ...