• Publications
  • Influence
Patterns of paradox
  • R. Cook
  • Computer Science, Mathematics
  • Journal of Symbolic Logic
  • 1 September 2004
TLDR
A prepositional language Lp containing conjunction, a class of sentence names, and a falsity predicate F, which allows unrestricted infinite conjunctions and which, within LP, can be obtained using infinite conjunction in place of universal quantification. Expand
The limits of abstraction
The Yablo Paradox: An Essay on Circularity
Acknowledgements Introduction: Why Should We Care? 1. Origins and Mathematics 2. The Yablo Paradox and Circularity 3. Generalizing the Yablo Paradox 4. The Curry Generalization Bibliography Index
What’s Wrong with Tonk(?)
  • R. Cook
  • Philosophy, Computer Science
  • J. Philos. Log.
  • 1 April 2005
TLDR
In "The Runabout Inference Ticket", A. N. Prior proposes a counterexample to his notorious binary connective tonk, whose meaning is given by the following introduction and elimination rules. Expand
Let a Thousand Flowers Bloom: A Tour of Logical Pluralism
Logical pluralism is the view that there is more than one correct logic. In this article, I explore what logical pluralism is, and what it entails, by: (i) distinguishing clearly between relativismExpand
Vagueness and Mathematical Precision
  • R. Cook
  • Computer Science
  • 1 April 2002
One of the main reasons for providing formal semantics for languages is that the mathematical precision afforded by such semantics allows us to study and manipulate the formalization much more easilyExpand
There is No Paradox of Logical Validity
  • R. Cook
  • Mathematics, Computer Science
  • Logica Universalis
  • 11 January 2014
TLDR
It is shown that there is no genuine paradox of logical validity—a completely general logical validity predicate can be coherently added to PA, and the resulting (classical) system is consistent. Expand
Abstraction and Identity
and want to settle cross-sortal identity claims of the form: Both abstraction principles, however, are silent with regard to this identity - a special instance of the Caesar Problem . In whatExpand
What is a Truth Value And How Many Are There?
  • R. Cook
  • Mathematics, Computer Science
  • Stud Logica
  • 28 June 2009
TLDR
Once truth values are understood, consideration of the Liar paradox and the revenge problem shows that the authors' language is indefinitely extensible, as is the class of truth values that statements of their language can take – in short, there is a proper class of such truth values. Expand
...
1
2
3
4
5
...