James Edwards

According to Crispin Wright’s neo-logicist reconstruction of Frege’s philosophy of arithmetic, the truths of arithmetic are logical consequences, in the semantic sense, of second-order logic, augmented with an analytic axiom (Hume’s Principle). Neo-logicism thus views arithmetic truths as analytic, being the logical consequences of an analytic axiom. This chapter argues that the semantic relation of second-order logical consequence that is most naturally suited to the practice of arithmetic is proof-theoretically complete, and that given this, Gödel’s incompleteness result shows that there are arithmetical truths which are not derivable in Wright’s proof theory augmented by Hume’s Principle. The chapter thus challenges Wright’s programme of neo-Fregean logicism.

Crispin Wright has argued that an antirealist should not equate truth with warrant. Neil Tennant has disputed this. This paper continues the discussion with Tennant. Firstly, it expands upon the radical difference between Tennant's conception of a warrant and Wright's. Secondly, it shows that, even if we were to adopt Tennant's own conception of a warrant, there is a reading available to Wright of 'There is no warrant for P' and of 'There is a warrant for not-P' such that the latter does not follow from the former, as Wright claimed. Finally, it is shown that, pace Tennant, superassertibility does have a role to play in Tennant's own conception of a warrant

The purpose of this study is to provide an account of the fallaciousness of begging the question without thereby indicting as fallacious all otherwise acceptable deductively valid reasoning. The solution that we suggest exploits the intuition that all good arguments are weakly circular. The fallaciousness of begging the question is not that the reasoning is circular simpliciter. Rather, begging the question is a fallacy because the conclusion relies on an undischarged assumption that the audience cannot accept without further argumentation. In the face of such an argument the arguer might just as well have merely asserted the conclusion.

An argument is offered that externalism can compromise the first‐person transparency of mental contents. The premises are John McDowell's view that experience is passively structured by concepts, and the Simple Theory of Colour advocated by John Campbell, according to which those properties that are the actual semantic values of colour concepts are just as they appear to normal observers under standard conditions. An example is offered to suggest that it must be an epistemic possibility that the semantic values of such concepts, as externally determined, are not the properties the Simple Theory takes them to be. The possibility highlights a mismatch between the properties that the colour concepts present as their semantic values and their actual, externally determined semantic values. Such a mismatch is shown to induce an incoherence into colour concepts leaving them unfit passively to structure our colour experience. Under such circumstances, it would not be transparent to a subject on the basis of colour experience, whether those experiences are conceptually structured by concepts answering to the Simple Theory, or precisely what content they carry.

Donald Dvaidson has claimed that a theory of meaning identifies the logical constants of the object language by treating them in the phrasal axioms of the theory, and that the theory entails a relation of logical consequence among the sentences of the object language. Section 1 offers a preliminary investigation of these claims. In Section 2 the claims are rebutted by appealing to Evans's paradigm of a theory of meaning. Evans's theory is deliberately blind to any relation of logical consequence among the sentences of the object language, and entails only what Evans takes to be a distinct and deeper relation of structural validity among the sentences of the object language. In Section 3 we turn to Evans's motivation in order to compare the two paradigms of a theory of meaning. Evans laid down criteria under which a theory of meaning gives what he called a ‘transcendent’ semantic classification of the lexicon of the object language, in contrast to a mere ‘immanent’ classification. However, when these criteria are applied we find that, pace Evans, they favour Davidson's paradigm over Evans's. In the final section we show that Evans's conception of structural consequence turns out to be a deeper formulation of logical consequence.

Donald Davidson finds folk-psychological explanations anomalous due to the open-ended and constitutive conception of rationality which they employ, and yet monist because they invoke an ontology of only physical events. An eliminative materialist who thinks that the beliefs and desires of folk-psychology are mere pre-scientific fictions cannot accept these claims, but he could accept anomalous monism construed as an analysis, merely, of the ideological and ontological presumptions of folk-psychology. Of course, eliminative materialism is itself only a guess, a marker for material explanations we do not have, but it is made plausible by, inter alia, whatever difficulties we have in interpreting intentional folk-explanations realistically. And surely anomalous monism does require further explanation if it is to be accepted realistically and not dismissed as an analysis of a folk-idiom which is to be construed instrumentally at best. Some further explanation is needed of how beliefs, desires, etc. can form rational patterns which have ‘no echo in physical theory’ and yet those beliefs, desires etc. be physical events. To this end I propose to graft on to anomalous monism a modest version of functionalism.

Crispin Wright offers superassertibility as an anti-realist explication of truth. A statement is superassertible, roughly, if there is a state of information available which warrants it and it is warranted by all achievable enlargements of that state of information. However, it is argued, Wright fails to take account of the fact that many of our test procedures are not sure fire, even when applied under ideal conditions. An alternative conception of superassertibility is constructed to take this feature into account. However, it is then argued that when this revised concept of superassertibility is taken as the truth predicate of probability statements, statements whose test procedures are paradigmatically not sure fire, then any anti-realist theory of the sense of such probability statements cannot be compositional, in Dummett's sense of compositional.

John Campbell proposed a so-called simple view of colours according to which colours are categorical properties of the surfaces of objects just as they normally appear to be. I raised an invertion problem for Campbell's view according to which the senses of colour terms fail to match their references, thus rendering those terms meaningless—or so I claimed. Gabriele de Anna defended Campbell's view against my example by contesting two points in particular. Firstly, de Anna claimed that there is no special problem here for the simple view of colours, a similar invertion story could apply to primary qualities terms for shapes. Secondly, de Anna purported to give an account of the senses and references of colour terms in my invertion story which renders the senses and references of those terms mutually consistent. In this paper I contested both of de Anna's claims. Regarding the first, I argue that his imagined invertion of apparent shapes is not epistemically stable, in contrast to the invertion of apparent shapes is not epistemically stable, in contrast to the invertion of apparent colours. Hence the victims of apparently inverted shapes would be able to discover the mismatch of senses and refences of their shape terms, in contrast to the victims of apparent invertions of colours. Regarding the second, I argue that de Anna's account of the victim's colour terms itself uses and not merely mentions so-called colours terms. Hence de Anna' account of them is itself meaningless due to a mismatch of sense and reference. So I conclude that my objection to Campbell's simple view of colours stands

In his classic 1936 paper Tarski sought to motivate his definition of logical consequence by appeal to the inference form: P(0), P(1), . . ., P(n), . . . therefore ∀nP(n). This is prima facie puzzling because these inferences are seemingly first-order and Tarski knew that Gödel had shown first-order proof methods to be complete, and because ∀nP(n) is not a logical consequence of P(0), P(1), . . ., P(n), . . . by Taski's proposed definition. An attempt to resolve the puzzle due to Etchemendy is considered and rejected. A second attempt due to Gómez-Torrente is accepted as far as it goes, but it is argued that it raises a further puzzle of its own: it takes the plausibility of Tarski's claim that his definition captures our common concept of logical consequence to depend upon our common concept being a reductive conception. A further interpretation of what Tarski had in mind when he offered the example is proposed, using materials well known to Tarski at the time. It is argued that this interpretation makes the motivating example independent of reductive definitions which take natural numbers to be higher-order set theoretic entities, and it also explains why he did not regard the distinction between defined and primitive terms as pressing, as was the distinction between logical and nonlogical terms

In response to Hoeltje I concede the main point of his first section: for each logical truth S of the object language, it is a logical consequence of the Davidsonian theory of meaning I offered in my paper that S is logically true, contrary to what I asserted in the paper. However, I now argue that a Davidsonian theory of meaning may be formulated equally well in such a way that it not a logical consequence of the theory that S is a logical truth. Nonetheless, the revised theory of meaning will still ‘entail’ in a wider sense that S is a logical truth, for we can prove by induction on the consequence class of the revised theory that S is a logical truth. So far, my disagreement with Hoeltje is over the more charitable interpretation of a passage from Davidson. I close by arguing that Davidson was mistaken on one point, a theory of meaning will entail a threefold distinction among the sentences of the object language, not a twofold distinction as he claimed.

My paper discusses the philosophical interrelationship between perfection, truth, and knowledge. The connection that exists between these three concepts underscores the argument of my paper that they are all one and the same thing. The concepts of perfection, truth and knowledge are analysed in that order. I analyse perfection and demonstrate the practicalities of my arguments. Truth is then scrutinized and defined to illustrate its intimate relationship with perfection leading to the conclusion that knowledge being ‘truth that is perfect’. In dealing with the theory of knowledge, I take into account the justification of knowledge and highlighted arguments that I found to be insufficient. I derive a premise to refute and replace both the traditional and contemporary views of knowledge. In the paper presented, I consider views of some prominent philosophers including; Locke, Russell, Plato, Aristotle and Leibniz.