Dependence Logic: Investigations into Higher-Order Semantics Defined on Teams

This thesis is a study of a rather new logic called dependence logic and its closure under classical negation, team logic. In this thesis, dependence logic is investigated from several aspects. Some rules are presented for quantifier swapping in dependence logic and team logic. Such rules are among the basic tools one must be familiar with in order to gain the required intuition for using the logic for practical purposes. The thesis compares Ehrenfeucht-Fraïssé (EF) games of first order logic and dependence logic and defines a third EF game that characterises a mixed case where first order formulas are measured in the formula rank of dependence logic. The thesis contains detailed proofs of several translations between dependence logic, team logic, second order logic and its existential fragment. Translations are useful for showing relationships between the expressive powers of logics. Also, by inspecting the form of the translated formulas, one can see how an aspect of one logic can be expressed in the other logic. The thesis makes preliminary investigations into proof theory of dependence logic. Attempts focus on finding a complete proof system for a modest yet nontrivial fragment of dependence logic. A key problem is identified and addressed in adapting a known proof system of classical propositional logic to become a proof system for the fragment, namely that the rule of contraction is needed but is unsound in its unrestricted form. A proof system is suggested for the fragment and its completeness conjectured. Finally, the thesis investigates the very foundation of dependence logic. An alternative semantics called 1-semantics is suggested for the syntax of dependence logic. There are several key differences between 1-semantics and other semantics of dependence logic. 1-semantics is derived from first order semantics by a natural type shift. Therefore 1-semantics reflects an established semantics in a coherent manner. Negation in 1-semantics is a semantic operation and satisfies the law of excluded middle. A translation is provided from unrestricted formulas of existential second order logic into 1-semantics. Also game theoretic semantics are considerd in the light of 1-semantics.

Automação e robótica nas indústrias brasileiras: um estudo exploratório

A Automação e o processo de Robotização vêm, cada vem mais, se tornando pauta nas discussões de centenas de indústrias brasileiras, onde a tendência clara e identificada é a de investimentos expressivos na melhoria de processos e produtos, por intermédio dessas tecnologias; com foco, sempre que possível, na nacionalização de equipamentos. O presente trabalho tem como objetivo avaliar o modelo proposto por Paul Kennedy (1993) com relação à tendência de Automação e Robotização nas Indústrias Mundiais, analisando o estudo realizado diante de uma economia emergente como a brasileira. Para tanto, foram pesquisadas empresas no Brasil, em diferentes segmentos industriais, o estado da arte em termos de tecnologia de automação e robótica aplicada a processos industriais, e sugerido um modelo diferente do idealizado originalmente por Kennedy. A análise do autor se baseou no teorema que, na matemática discreta, chamamos de “law of the excluded middle”, ou seja, segundo Kennedy, o Brasil estaria vivendo hoje uma migração gradual das indústrias para os países ricos. O Brasil é um exemplo de país industrializado, de economia emergente, que investe intensamente em processos automatizados, mas que não é classificado dentro do grupo desses países ricos. Através da pesquisa realizada será apresentado um novo modelo, no qual países emergentes como o Brasil têm acesso à tecnologia de ponta em automação e robótica, aplicando a mesma em seus processos industriais.

The philosophical significance of Cox's theorem

Cox's theorem states that, under certain assumptions, any measure of belief is isomorphic to a probability measure. This theorem, although intended as a justification of the subjectivist interpretation of probability theory, is sometimes presented as an argument for more controversial theses. Of particular interest is the thesis that the only coherent means of representing uncertainty is via the probability calculus. In this paper I examine the logical assumptions of Cox's theorem and I show how these impinge on the philosophical conclusions thought to be supported by the theorem. I show that the more controversial thesis is not supported by Cox's theorem. (C) 2003 Elsevier Inc. All rights reserved.

The differential recognition of children’s cultural practices in middle primary literacy classrooms

This paper argues that teachers’ recognition of children’s cultural practices is an important positive step in helping socio-economically disadvantaged children engage with school literacies. Based on twenty-one longitudinal case studies of children’s literacy development over a three-year period, the authors demonstrate that when children’s knowledges and practices assembled in home and community spheres are treated as valuable material for school learning, children are more likely to invest in the work of acquiring school literacies. However they show also that whilst some children benefit greatly from being allowed to draw on their knowledge of popular culture, sports and the outdoors, other children’s interests may be ignored or excluded. Some differences in teachers’ valuing of home and community cultures appeared to relate to gender dimensions.

A systematic literature review of alcohol education programmes in middle and high school settings (2000-2014)

Purpose Social marketing benchmark criteria were used to understand the extent to which single-substance alcohol education programmes targeting adolescents in middle and high school settings sought to change behaviour, utilised theory, included audience research and applied the market segmentation process. The paper aims to discuss these issues. Design/methodology/approach A systematic literature review retrieved a total of 1,495 identified articles; 565 duplicates were removed. The remaining 930 articles were then screened. Articles detailing formative research or programmes targeting multiple substances, parents, families and/or communities, as well as elementary schools and universities were excluded. A total of 31 articles, encompassing 16 qualifying programmes, were selected for detailed evaluation. Findings The majority of alcohol education programmes were developed on the basis of theory and achieved short- and medium-term behavioural effects. Importantly, most programmes were universal and did not apply the full market segmentation process. Limited audience research in the form of student involvement in programme design was identified. Research limitations/implications This systematic literature review focused on single-substance alcohol education programmes targeted at middle and high school student populations, retrieving studies back to the year 2000. Originality/value The results of this systematic literature review indicate that application of the social marketing benchmark criteria of market segmentation and audience research may represent an avenue for further extending alcohol education programme effectiveness in middle and high school settings.

Reconstruction of sea-surface conditions at middle to high latitudes of the Northern Hemisphere

A new calibration database of census counts of organic-walled dinoflagellate cyst (dinocyst) assemblages has been developed from the analyses of surface sediment samples collected at middle to high latitudes of the Northern Hemisphere after standardisation of taxonomy and laboratory procedures. The database comprises 940 reference data points from the North Atlantic, Arctic and North Pacific oceans and their adjacent seas, including the Mediterranean Sea, as well as epicontinental environments such as the Estuary and Gulf of St. Lawrence, the Bering Sea and the Hudson Bay. The relative abundance of taxa was analysed to describe the distribution of assemblages. The best analogue technique was used for the reconstruction of Last Glacial Maximum (LGM) sea-surface temperature and salinity during summer and winter, in addition to sea-ice cover extent, at sites from the North Atlantic (n=63), Mediterranean Sea (n=1) and eastern North Pacific (n=1). Three of the North Atlantic cores, from the continental margin of eastern Canada, revealed a barren LGM interval, probably because of quasi-permanent sea ice. Six other cores from the Greenland and Norwegian seas were excluded from the compilation because of too sparse assemblages and poor analogue situation. At the remaining sites (n= 54), relatively close modern analogues were found for most LGM samples, which allowed reconstructions. The new LGM results are consistent with previous reconstructions based on dinocyst data, which show much cooler conditions than at present along the continental margins of Canada and Europe, but sharp gradients of increasing temperature offshore. The results also suggest low salinity and larger than present contrasts in seasonal temperatures with colder winters and more extensive sea-ice cover, whereas relatively warm conditions may have prevailed offshore in summer. From these data, we hypothesise low thermal inertia in a shallow and low-density surface water layer.

A multiliteracies project in the middle school : Parents as coteachers

This paper examines the experiences of one middle years’ English and Studies of Society and Environment (SoSE) teacher who adopted a multiliteracies project-based orientation to a unit on War and Refugees. It details the multiliteracies teaching and learning cycle, which is based on four non-hierarchical, pedagogical orientations: situated practice, overt instruction, critical framing and transformed practice (New London Group, 2000; Kalantzis & Cope, 2005a). Following the work of Kalantzis and Cope (2005a), it draws out the knowledge processes exacted in each of these four phases: experiencing the known and the new; conceptualising by naming and theorising; analysing functionally and critically; and, applying appropriately and creatively. Two parents were invited to enter the study as coteachers with the teacher and researcher. Using Bourdieu’s (1992) construct of capital, the findings report on how the multiliteracies approach enabled them to engage in school-based literacy practices differently than they had done previously in classrooms. An unexpected finding concerns the teacher’s altered view about how his role and status were perceived by the parents.