Recent years have seen the development of powerful tools for verifying hardware and software systems, as companies worldwide realise the need for improved means of validating their products. There is increasing demand for training in basic methods in formal reasoning so that students can gain proficiency in logic-based verification methods. The second edition of this successful textbook addresses both those requirements, by continuing to provide a clear introduction to formal reasoning which ...

Building on a survey of media institutions in eighteen West European and North American democracies, Hallin and Mancini identify the principal dimensions of variation in media systems and the political variables which have shaped their evolution. They go on to identify three major models of media system development (the Polarized Pluralist, Democratic Corporatist and Liberal models) to explain why the media have played a different role in politics in each of these systems, and to explore the ...

Kant is the central figure of modern philosophy. He sought to rebuild philosophy from the ground up, and he succeeded in permanently changing its problems and methods. This revised edition of the Prolegomena, which is the best introduction to the theoretical side of his philosophy, presents his thought clearly by paying careful attention to his original language.

Also included are selections from the Critique of Pure Reason, which fill out and explicate some of Kant's central arguments (inclu...

What is happening to public debate in Western cultures? Is our public sphere disintegrating? In the face of popular tabloid newspapers, new forms of reality television and an increasing lack of respect for traditional authorities, many critics are concerned that our society no longer has a rational, informed and unified space where everyone can communicate about the issues that affect us all. In this book Alan McKee answers these questions by providing an introduction to the concept of the pu...