Truth Through Proof defends an anti-platonist philosophy of mathematics derived from game formalism. Classic formalists claimed implausibly that mathematical utterances are truth-valueless moves in a game. Alan Weir aims to develop a more satisfactory successor to game formalism utilising a widely accepted, broadly neo-Fregean framework, in which the proposition expressed by an utterance is a function of both sense and background circumstance. This framework allows for sentences whose truth-conditions are not representational, which are made true or false by conditions residing in the circumstances of utterances but not transparently in the sense.
Applications to projectivism and fiction pave the way for the claim that mathematical utterances are made true or false by the existence of concrete proofs or refutations, though these truth-making conditions form no part of their sense or informational content.
The position is compared with rivals, an account of the applicability of mathematics developed, and a new account of the nature of idealisation proffered in which it is argued that the finitistic limitations Godel placed on proofs are without rational justification. Finally a non-classical logical system is provided in which excluded middle fails, yet enough logical power remains to recapture the results of standard mathematics.

Acutely unwell patients can deteriorate dangerously without timely recognition and intervention. Emergencies in Clinical Medicine provides an easy-to-use guide to the prompt management of common medical emergencies. Designed for rapid use, it explains how to arrive at a differential diagnosis and how to prevent, manage, or treat an emergency. The second edition has been fully updated to reflect current clinical guidelines and includes several new topics, from pulmonary oedemas to the overdose patient. Revised to cover the curricula for core medical training (CMT) and acute care common stem (ACS), this text addresses exactly what the trainee doctor needs to know. The text covers emergencies from both a problem-based and disease-based approach. Cross-referencing between these two sections enables quick reference under pressure, with clear, step-by-step instructions and advice on when and who to call for help. With key algorithms for quick reference and easy to follow symbols indicating clinical severity, from life-threatening to minor, this text will help clinical staff managing acutely ill patients in an easy-to-read and portable format.