This paper revisits some views about negation I defended in two early papers. Some of the themes of those papers have been developed sympathetically in recent work by Tim Smiley, Lloyd Humberstone and Ian Rumfitt. However, Rumfitt and Peter Gibbard have both criticised arguments I offered in defence of Double Negation Elimination (DNE), against a Dummettian intuitionist. I reconsider those argu...

ROGER REVELLE MARGARET MEAD WILLIU Retiring President, Chairman President Presid MATHEMATICS (A) PHYSICS (B) victor L. Klee Victor F. Weisskopt Truman A. Botts Rolf M. Sinclair PSYCHOLOGY (J) SOCIAL AND ECONOMIC SCIENCES (K) Richard C. Atkinson Seymour M, Lipset Edwin P. Hollander Daniel Rich EDUCATION (Q) DENTISTRY (R) PHARI F. James Rutherford Clifton 0. Dummett James Phillip R. Fordyce Sholo...

I argue that there are two ways of construing Wittgenstein’s slogan that meaning is use. One accepts the view that the notion of meaning must be explained in terms of truth-theoretic notions and is committed to the epistemic conception of truth. The other keeps the notion of meaning and the truth-theoretic notions apart and is not committed to the epistemic conception of truth. I argue that Dum...

In this paper I develop and defend compositionalism—which is a view about the relationship between our language and the world it represents—and use it to argue for particular account of predicate-reference. Neither compositionalism nor the conception of predicate reference I will argue for are novel views. They have been discussed, in different forms, by Frege, Dummett, Wright and Rosen (amongs...

Kripke frames (and models) provide a suitable semantics for sub-classical logics; for example Intuitionistic Logic (of Brouwer and Heyting) axiomatizes the reflexive and transitive Kripke frames (with persistent satisfaction relations), and the Basic Logic (of Visser) axiomatizes transitive Kripke frames (with persistent satisfaction relations). Here, we investigate whether Kripke frames/models...

Chomsky (1957) o ered prescient suggestions about how to formulate theories of understanding for the spoken languages that human children can naturally acquire. We can view his proposal as a prolegomenon to a theory of meaning that combines a layered theory of syntax with an account of how humans can naturally use expressions in acts of referring, asserting, querying, and so on; cp. Austin (196...

There is an argument (first presented by Fitch), which tries to show by formal means that the anti-realistic thesis that every truth might possibly be known, is equivalent to the unacceptable thesis that every truth actually is known (at some time in the past, present or future). First, the argument is presented and some proposals for the solution of Fitch’s Paradox are briefly discussed. Then,...

This paper presents a simple decision method for positively quantified formulae of the classical firstorder theory LOHA of linearly ordered Heyting algebras, where by positively quantified we mean that universal quantifiers appear only in positive positions and existential quantifiers appear only in negative positions. Π1-formulae are examples. In particular, word problems, either in LOHA or in...