Hans Halvorson is Stuart Professor of Philosophy at Princeton University, New Jersey. He has written extensively on philosophical issues in physics and the other sciences, on mathematical logic, and on the relationship between science and religion.

'This book offers a masterful and comprehensive treatment of the metalogical concepts, distinctions and theorems with which modern philosophy of science is so heavily involved. Both students and professionals in the field can expect to learn much from Halvorson's patient and lucid exposition. Any serious student of general philosophy of science will want to refer to it repeatedly.' Arif Ahmed, University of Cambridge

• Introduction: 1. Invitation to metatheory; 2. The category of sets; 3. The category of propositional theories; 4. Syntactic metalogic; 5. Syntactic metalogic redux; 6. Semantic metalogic; 7. Semantic metalogic redux; 8. From metatheory to philosophy.

Hans Halvorson is Stuart Professor of Philosophy at Princeton University, New Jersey. He has written extensively on philosophical issues in physics and the other sciences, on mathematical logic, and on the relationship between science and religion.

'This book offers a masterful and comprehensive treatment of the metalogical concepts, distinctions and theorems with which modern philosophy of science is so heavily involved. Both students and professionals in the field can expect to learn much from Halvorson's patient and lucid exposition. Any serious student of general philosophy of science will want to refer to it repeatedly.' Arif Ahmed, University of Cambridge

• Introduction: 1. Invitation to metatheory; 2. The category of sets; 3. The category of propositional theories; 4. Syntactic metalogic; 5. Syntactic metalogic redux; 6. Semantic metalogic; 7. Semantic metalogic redux; 8. From metatheory to philosophy.

Hans Halvorson is Stuart Professor of Philosophy at Princeton University, New Jersey. He has written extensively on philosophical issues in physics and the other sciences, on mathematical logic, and on the relationship between science and religion.

'This book offers a masterful and comprehensive treatment of the metalogical concepts, distinctions and theorems with which modern philosophy of science is so heavily involved. Both students and professionals in the field can expect to learn much from Halvorson's patient and lucid exposition. Any serious student of general philosophy of science will want to refer to it repeatedly.' Arif Ahmed, University of Cambridge

• Introduction: 1. Invitation to metatheory; 2. The category of sets; 3. The category of propositional theories; 4. Syntactic metalogic; 5. Syntactic metalogic redux; 6. Semantic metalogic; 7. Semantic metalogic redux; 8. From metatheory to philosophy.