Probability and the logic of rational belief.

Includes bibliography.

A state monopoly of workmen's compensation insurance plus a political administration of same equals the ultimate bankruptcy of the whole scheme : the state of Washington after five years' practical experience has solved this problem; examinations by the Department of Auditor of State Bureau of Inspection and Supervision of Public Offices; startling disclosures and denunciations in the language and logic of the state examiners /

Mode of access: Internet.

The logic of political economy, and other papers /

--The logic of political economy.--Life of Milton.--The Suliotes.--The fatal marksman.--The incognito.--The dice.--The king of Hayti.

The logic of science,

Mode of access: Internet.

Logic of Facts; or, The Conduct of Wm. Rawle towards N.G. Dufief, arraigned before the Tribunal of Public Opinion.

Mode of access: Internet.

The logic of Christian evidences.

Mode of access: Internet.

Dulei fistula; a book of nonsense verse,

Mode of access: Internet.

The subjective logic of Hegel.

Mode of access: Internet.

Letters of Edward Lear, author of "The book of nonsense", to Chichester Fortescue, Lord Carlingford and Frances, Countess Waldegrave.

Mode of access: Internet.

The possessive logic of patriarchal white sovereignty: The High Court and the Yorta Yorta decision

Race is fundamental in shaping the development of Australian law just as it has played its part in other former colonies, such as the United States, where a body of critical race theory has been established on the basis of this premise. Drawing on this theory I argue that the possessive logic of patriarchal white sovereignty works ideologically to naturalise the nation as a white possession by informing and circulating a coherent set of meanings about white possession as part of common sense knowledge and socially produced conventions in the High Court's Yorta Yorta decision.

Extending the theory of Owicki and Gries with a logic of progress

This paper describes a logic of progress for concurrent programs. The logic is based on that of UNITY, molded to fit a sequential programming model. Integration of the two is achieved by using auxiliary variables in a systematic way that incorporates program counters into the program text. The rules for progress in UNITY are then modified to suit this new system. This modification is however subtle enough to allow the theory of Owicki and Gries to be used without change.

Logic of Violations: A gentzen systems for reasoning with contrary-to-duty obligations

In this paper we present a Gentzen system for reasoning with contrary-to-duty obligations. The intuition behind the system is that a contrary-to-duty is a special kind of normative exception. The logical machinery to formalise this idea is taken from substructural logics and it is based on the definition of a new non-classical connective capturing the notion of reparational obligation. Then the system is tested against well-known contrary-to-duty paradoxes.