Type theory and homotopy theory have evolved into profoundly interconnected disciplines. Type theory, with its foundations in logic and computer science, provides a formal language for constructing ...

Tim Bayne is affiliated with the Canadian Institute for Advanced Research (CIFAR). Science is hard. The science of consciousness is particularly hard, beset with philosophical difficulties and a ...

Integrated Information Theory (IIT) is a widely discussed—and, by some, strongly promoted —“mathematical theory of consciousness” developed over the past 10-20 years or so, mainly by neuroscientist ...

"Theories are like toothbrushes,” it’s sometimes said. “Everybody has their own and nobody wants to use anybody else’s.” It’s a joke, but when it comes to the study of consciousness – the question of ...

Philip Goff has received funding from the Templeton Foundation. Civil war has broken out in the field of consciousness research. More than 100 consciousness researchers have signed a letter accusing ...