The formal structure of Frege’s ‘concept script’ has been widely adopted in logic text books since his time, even though its rather elaborate symbols have been abandoned for more convenient ones. But there are major difficulties with its formalisation of pronouns, predicates, and propositions, which infect the whole of the tradition which has followed Frege. It is shown first in this paper that these difficulties are what has led to many of the most notable paradoxes associated with this tradition; the (...) paper then goes on to indicate the lines on which formal logic—and also the lambda calculus and set theory—needs to be restructured, to remove the difficulties. Throughout the study of what have come to be known as first-, second-, and higher-order languages, what has been primarily overlooked is that these languages are abstractions. Many well known paradoxes, we shall see, arose because of the elementary level of simplification which has been involved in the abstract languages studied. Straightforward resolutions of the paradoxes immediately appear merely through attention to languages of greater sophistication, notably natural language, of course. The basic problem has been exclusive attention to a theory in place of what it is a theory of, leading to a focus on mathematical manipulation, which ‘brackets off’ any natural language reading. (shrink)

Criticisms have been aired before about the fear of certain Platonic abstract objects, propositions. That criticism extends to the widespread preference for an operator analysis of expressions like ‘It is true, known, obligatory that p’ as opposed to the predicative analysis in their equivalents ‘That p is true, known, obligatory’. The criticism in the present work also concerns Prior’s attitude to Platonic entities of a certain kind: not propositions, i.e., the referents of ‘that’-clauses, but individuals, i.e., the referents of Russell’s (...) ‘logically proper names’. Prior had a close knowledge of theories of individuals, including that of Russell. However, when Prior formulated his tense logic Q he presumed a non-Russellian, pre-suppositional account of individuals, such that they might exist at one time but not at another, and when they did not exist no statement could be made about them. This paper examines the correctness of such a pre-suppositional account of individuals, showing there are features of natural language it cannot account for. It is shown that the required features can be formalised in Hilbert’s epsilon calculus, and that using that calculus substantiates a Russellian understanding of ‘logically proper names’. (shrink)

Routley?s Formula says, for instance, that if it is believed there is a man then there is something which is believed to be a man. In this paper I defend the formula; first directly, but then by looking at work by Gensler and Hintikka against it, and at the original work of Routley, Meyer and Goddard for it. The argument ultimately reduces to a central point about the extensionality of objects in Routley, Meyer and Goddard?s intensional system, i.e. in its (...) formulation of transparency. (shrink)

The pattern of credences we are inclined to assign to counterfactuals challenges standard accounts of counterfactuals. In response to this problem, the paper develops a semantics of counterfactuals in terms of the epsilon-operator. The proposed semantics stays close to the standard account: the epsilon-operator substitutes the universal quantifier present in standard semantics by arbitrarily binding the open world-variable. Various applications of the suggested semantics are explored including, in particular, an explanation of how the puzzling credences in counterfactuals come about.