Learning to code doesn’t require new brain systems—it builds on the ones we already use for logic and reasoning.

Vol. 38, No. 6, Special Issue on the Occasion of Johan van Benthem's 60th Birthday (December 2009), pp. 589-606 (18 pages) In a recent paper Johan van Benthem reviews earlier work done by himself and ...

Brain-imaging techniques have made it possible to explore the neural foundations of logical and mathematical cognition. These techniques are revealing more than simply where these high-order processes ...

In the US, a 2016 Gallup poll found that the majority of schools want to start teaching code, with 66 percent of K-12 school principals thinking that computer science learning should be incorporated ...

MIT Press recently published Fundamental Proof Methods in Computer Science, a book by Konstantine Arkoudas and David Musser, a professor emeritus of computer science at the Rensselaer Polytechnic ...

Erkenntnis is a philosophical journal publishing papers committed in one way or another to the philosophical attitude which is signified by the label "analytic philosophy". It concentrates on those ...

In 1996, the mathematical logician George Boolos (above) published a paper describing “the hardest logic puzzle ever” which he attributed to the logician Raymond Smullyan. The puzzle has gained much ...