Bloomberg L.P.

The fundamental role of logic and proof in computer science

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 ...
JSTOR Daily

Semantic games with chance moves revisited: from IF logic to partial logic

We associate the semantic game with chance moves conceived by Blinov with Blamey's partial logic. We give some equivalent alternatives to the semantic game, some of which are with a third player, ...
The Harvard Crimson

Computer Science, Philosophy Join Forces on Ethics and Technology

When Computer Science professor Barbara J. Grosz opened enrollment for Computer Science 108: “Intelligent Systems: Design and Ethical Challenge” for its second year in fall 2016, she received 140 ...
mccormick.northwestern.edu

Code Not Included: The Philosophy of Computer Science

Jason Hartline sees the world through the lens of computer science. To him, DNA is code that runs through tiny cellular computers. And economic systems are programs created by people’s behaviors and ...
JSTOR Daily

Learning from the Past: Reflections on the Role of History in the Philosophy of Science

This is a preview. Log in through your library . Abstract In recent years philosophers of science have turned away from positivist programs for explicating scientific rationality through detailed ...