Each science has its own domain of investigation, but one and the same science can be formalized in different languages with different universes of discourse. The concept of the domain of a science and the concept of the universe of discourse of a formalization of a science are distinct, although they often coincide in extension. In order to analyse the presuppositions and implications of choices of domain and universe, this article discusses the treatment of omega arguments in three very different (...) formalizations of arithmetic. In Peano's formalization the domain is a restricted class of individuals, while the universe of discourse is the unrestricted class of all individuals. In Gödel's formalization the domain is a restricted class of individuals as in Peano's formalization, but the universe of discourse coincides with the domain. In Whitehead-Russell's formalization the domain is a class of logical notions in Tarski's sense, that are necessarily not individuals, whereas the universe of discourse is the unrestricted class of individuals as in Peano's formalization. The present approach emphasizes the viewpoint that the universe of discourse of a given discourse is important in determining which propositions are expressed by which sentences. (shrink)

Though Arthur Prior is now best known for his founding of modern temporal logic and hybrid logic, much of his early philosophical career was devoted to history of logic and historical logic. This interest laid the foundations for both of his ground-breaking innovations in the 1950s and 1960s. Because of the important rôle played by Prior's research in ancient and medieval logic in his development of temporal and hybrid logic, any student of Prior, temporal logic, or hybrid logic should be (...) familiar with the medieval logicians and their work. In this article we give an overview of Prior's work in ancient and medieval logic. (shrink)

In this paper we consider whether a pragmatics of semantic content can be a useful approach to legal interpretation. More broadly speaking, since a pragmatic conception of meaning is a component of inferential semantics, we consider whether an inferentialist approach to legal interpretation can be useful in dealing with some problems of this important aspect of law. In other words, we ask whether Legal Inferentialism is a suitable conception for legal interpretation. In Section 1 we briefly consider the semantics/pragmatics debate (...) in contemporary philosophy of language and in relation to legal interpretation. In Section 2 we discuss the relations between a pragmatics of semantic content and an inferentialist conception of content. In Section 3 we consider how Inferentialism can be applied to legal interpretation. Finally, in Section 4 we consider some possible advantages and drawbacks of Inferentialism applied to legal interpretation and adjudication. (shrink)

Two main claims are defended. The first is that negative categorical statements are not to be accorded existential import insofar as they figure in the square of opposition. Against Kneale and others, it is argued that Aristotle formulates his o statements, for example, precisely to avoid existential commitment. This frees Aristotle's square from a recent charge of inconsistency. The second claim is that the logic proper provides much thinner evidence than has been supposed for what appears to be the received (...) view, that is, for the view that insofar as they occur in syllogistic negative categoricals have existential import. At most there is a single piece of evidence in favor of the view?a special case of echthesis or the setting out of a case in proof. (shrink)

Desde que Tarski publicó su estudio sobreel concepto de verdad en los años 30, hasido una práctica ortodoxa el considerarque t oda i nst anci a del esquema T esverdadera. Sin embargo, algunas instanciasdel esquema son falsas. Éstas incluyen lasi nst anci as paradój i cas ej empl i f i cadaspor la oración del mentiroso. Aquí sedemuestra que un esquema mejor permiteun tratamiento uniforme de la verdad enel que las paradojas semánticas resultanser simplemente falsas.Si nc e Ta r s (...) ki publ i s he d hi s s t udy ofthe concept of truth in the 1930s, it hasbeen orthodox practice to suppose thatevery instance of the T-schema is true.However, some instances of the schemaare false. These include the paradoxicalinstances exemplified by the Liar sentence.It is shown that a better schema allows auniform treatment of truth in which thesemantic paradoxes turn out to be simplyfalse. (shrink)