The focus of this paper are Dummett's meaning-theoretical arguments against classical logic based on consideration about the meaning of negation. Using Dummettian principles, I shall outline three such arguments, of increasing strength, and show that they are unsuccessful by giving responses to each argument on behalf of the classical logician. What is crucial is that in responding to these arguments a classicist need not challenge any of the basic assumptions of Dummett's outlook on the theory of meaning. In particular, I (...) shall grant Dummett his general bias towards verificationism, encapsulated in the slogan 'meaning is use'. The second general assumption I see no need to question is Dummett's particular breed of molecularism. Some of Dummett's assumptions will have to be given up, if classical logic is to be vindicated in his meaning-theoretical framework. A major result of this paper will be that the meaning of negation cannot be defined by rules of inference in the Dummettian framework. (shrink)

Este trabajo es una crítica a la distinción entre lagunas de conocimiento y reconocimiento. En Normative Systems, Alchourrón y Bulygin sostienen que estas indeterminaciones en la aplicación del derecho son problemas diferentes. Según AB, las lagunas de conocimiento surgen por nuestro deficiente conocimiento de las circunstancias del caso, pero las lagunas de reconocimiento se producen por la vaguedad del lenguaje. Para resolver las lagunas de conocimiento, los juristas usan presunciones y para resolver las lagunas de reconocimiento es preciso redefinir los (...) conceptos. Sin embargo, AB no ofrecen una reconstrucción específica de la vaguedad y ello afecta al análisis de esos tipos de lagunas. En particular, AB creen que la vaguedad es un problema epistémico y, por ello, un sistema completo puede ofrecer una respuesta correcta para cada caso individual aun cuando no podamos conocer esa solución. Pero, cuando se asume que la vaguedad es un problema epistémico, entonces no existen mayores razones para distinguir entre lagunas de conocimiento y lagunas de reconocimiento. This paper analyzes the distinction between gaps of knowledge and gaps of recognition. In Normative Systems, Alchourrón and Bulygin claim that both indeterminacies are different problems that arise in the application of general norms to individual cases. Where through ignorance of certain properties of the facts, we cannot determine whether an individual case belongs to a generic case, we speak of gap of knowledge. On the contrary, gaps of recognitions are caused by the semantic indeterminacy of the concepts which define a generic case. In order to solve gaps of knowledge, jurists use legal presumptions, but the solution of a gap of knowledge requires the redefinition of a certain concept. However, AB believe that vagueness is only an epistemic problem. For this reason, they conclude that a complete normative system resolves every possible individual case even though we can still find epistemic indeterminacies. However, this paper shows that if vagueness is characterized as an epistemic problem, there will be no relevant reason for stressing the distinction between gaps of recognition and gaps of knowledge. (shrink)

Prolegomena It is fitting to begin this book on intuitionistic type theory by putting the subject matter into perspective. The purpose of this chapter is to ...