Drinking horn finals from the early medieval period are extremely rare. Let aside, those having an outspoken viking (or hybrid Anglo-)Scandinavian style as the example here published. This bronze example had been found near Lincoln in... more
Drinking horn finals from the early medieval period are extremely rare. Let aside, those having an outspoken viking (or hybrid Anglo-)Scandinavian style as the example here published. This bronze example had been found near Lincoln in Lincolnshire, England. The, complete, example seemingly having a simple form of decoration and casting, but, and here one recognizes the distinguished, and what it sets it apart from everything else, viking art, once again, zooming in, taking a closer look. The details are of an astonishing quality-and if I might say: force. Looking at the end of the final where one sees an animal face, a slight rotation of it unravels the intimate perspective looking at a wolves head.
Abstract John Corcoran: In its strongest, unqualified form the principle of wholistic reference is that each and every proposition refers to the whole universe of discourse as such, regardless how limited the referents of its non-logical... more
Abstract John Corcoran:
In its strongest, unqualified form the principle of wholistic reference is that each and every proposition refers to the whole universe of discourse as such, regardless how limited the referents of its non-logical or content terms. Even though Boole changed from a monistic fixed-universe framework in his earlier works of 1847 and 1848 to a pluralistic multiple-universe framework in his mature treatise of 1854, he never wavered in his frank avowal of the principle of wholistic reference, possibly in a slightly weaker form. Indeed, he took it as an essential accompaniment to his theory of concept formation and proposition formation. Similar views are found in later logicians, and some of the most recent formulations of standard, one-sorted first-order logic seem to be in accord with a form of it, if they do not actually imply the principle itself.
Abstract response:
In §1 I examine Boole’s “principle of wholistic reference” in relation to Frege’s postulation of truth-values as referents for sentences. I also consider in this connection Frege’s interpretation of quantification and his view that functions and concepts (of objects) must be defined for all objects. I then present my own contrasting views on the reference of sentences. In §2 I discuss Boole’s introduction of the notion of universe of discourse and consider whether one of the issues implicit in John’s paper is a confrontation between absolute interpretations of logic and relativistic interpretations of logic. I conclude with a brief examination of Tarski’s views on this issue.
O presente artigo se propõe a analisar os efeitos do Programa de Cooperação Nipo-Brasileira para o Desenvolvimento dos Cerrados (PRODECER) – Terceira Fase sobre indicadores de qualidade de vida do município de Pedro Afonso - TO. Os... more
O presente artigo se propõe a analisar os efeitos do Programa de Cooperação Nipo-Brasileira para o Desenvolvimento dos Cerrados (PRODECER) – Terceira Fase sobre indicadores de qualidade de vida do município de Pedro Afonso - TO. Os resultados da pesquisa apontam que o PRODECER III trouxe grandes avanços na vida material da população de Pedro Afonso, mas contribuiu também, para
We apply intensional logic to the semantics of anAlgol-like programming language. This associateswith expressions their senses, or meanings relative to"possible worlds", here interpreted as machine states.These meanings lie in... more
We apply intensional logic to the semantics of anAlgol-like programming language. This associateswith expressions their senses, or meanings relative to"possible worlds", here interpreted as machine states.These meanings lie in the semantic domains of a higherorder typed intensional logic.The great advantage of this approach is that it preservescompositionality of the meaning function, evenin "opaque contexts".Earlier work in this direction, by Janssen
ABSTRACT Pointers are one of the most difficult to understand topics in programming courses. Since the topic is some virtual, the students of computer science face with difficulties in understanding. They hardly imagine the addresses of... more
ABSTRACT Pointers are one of the most difficult to understand topics in programming courses. Since the topic is some virtual, the students of computer science face with difficulties in understanding. They hardly imagine the addresses of memory cells, their contents, and the pointers pointing to those memory cells. To test the knowledge and to reinforce the explanations done on the lecture hours, we have intended to create a game related to pointers. This game was constituted with the purpose of visualizing the concept of pointers into the students' brains and so to increase the understanding of the subject. The students will not only listen the topic from the teacher or just write, but in an evaluation test, they will also see what is going on in the memory cells of their computer. This will make the teaching more and more permanent.