The paper discusses the similarity between geometry, arithmetic, and logic, specifically with respect to the question of whether applied theories of each may be revised. It argues that they can - even when the revised logic is a paraconsistent one, or the revised arithmetic is an inconsistent one. Indeed, in the case of logic, it argues that logic is not only revisable, but, during its history, it has been revised. The paper also discusses Quine's well known argument against the possibility (...) of logical deviancy. (shrink)

Scholars often assert that Plato and Aristotle share the view that discursive thought is internal speech. However, there has been little work to clarify or substantiate this reading. In this paper I show Plato and Aristotle share some core commitments about the relationship of thought and speech, but cash out TIS in different ways. Plato and Aristotle both hold that discursive thinking is a process that moves from a set of doxastic states to a final doxastic state. The resulting judgments (...) can be true or false. Norms govern these final judgments and, in virtue of that, they govern the process that arrives at those judgments. The principal norm is consistency. However, the philosophers differ on the source of this norm. For Plato, persuasiveness and accuracy ground non-contradiction because internal speech is dialogical. For Aristotle, the Principle of Non-Contradiction grounds a Doxastic Thesis that no judgment can contradict itself. For Aristotle, metaphysics grounds non-contradiction because internal speech is monological. (shrink)

This article is intended to examine the structure and scope of the argumentation drawn in Metaphysics Γ 4, 1006a18-b34. As we shall see, though this passage does not bring a complete proof of the Principle of Non-Contradiction, it corresponds to its first step, which consists in determining the conditions of meaning necessary for discourse. That passage encloses in nuce the reasons which underlie Aristotelian conviction con- cerning the conventional nature of names and also brings to light the way this conven- (...) tional nature of names must be understood according to Aristotle. (shrink)

This presentation traces an historical root of the reductio ad absurdum mode of argumentation in Greek philosophy. I propose a new understanding of the liar paradox as an instance of this mode of argumentation. I show that the paradox was crea ted as part of a refutational argument in the controversy over the justification of realism and the realists concepts of truth and certainty. The paradox was part of the dialectical style of Greek scepticism, which was characterized, inter alia, by (...) the u se of the reductio ad absurdum. The paradox turns out to be a metaphysical and epistemological argument. (shrink)