Formal methods in the foundations of science

The intent of this study is to provide formal apparatus which facilitates the investigation of problems in the methodology of science. The introduction contains several examples of such problems and motivates the subsequent formalism.

A general definition of a formal language is presented, and this definition is used to characterize an individual’s view of the world around him. A notion of empirical observation is developed which is independent of language. The interplay of formal language and observation is taken as the central theme. The process of science is conceived as the finding of that formal language that best expresses the available experimental evidence.

To characterize the manner in which a formal language imposes structure on its universe of discourse, the fundamental concepts of elements and states of a formal language are introduced. Using these, the notion of a basis for a formal language is developed as a collection of minimal states distinguishable within the language. The relation of these concepts to those of model theory is discussed.

An a priori probability defined on sets of observations is postulated as a reflection of an individual’s ontology. This probability, in conjunction with a formal language and a basis for that language, induces a subjective probability describing an individual’s conceptual view of admissible configurations of the universe. As a function of this subjective probability, and consequently of language, a measure of the informativeness of empirical observations is introduced and is shown to be intuitively plausible – particularly in the case of scientific experimentation.

The developed formalism is then systematically applied to the general problems presented in the introduction. The relationship of scientific theories to empirical observations is discussed and the need for certain tacit, unstatable knowledge is shown to be necessary to fully comprehend the meaning of realistic theories. The idea that many common concepts can be specified only by drawing on knowledge obtained from an infinite number of observations is presented, and the problems of reductionism are examined in this context.

A definition of when one formal language can be considered to be more expressive than another is presented, and the change in the informativeness of an observation as language changes is investigated. In this regard it is shown that the information inherent in an observation may decrease for a more expressive language.

The general problem of induction and its relation to the scientific method are discussed. Two hypotheses concerning an individual’s selection of an optimal language for a particular domain of discourse are presented and specific examples from the introduction are examined.

The structure specificity of alpha-chymotrypsin. I. Polypeptides as substrates. II. N-acylated peptide esters as substrates. III. Some reactive esters of N-acylated amino acids as substrates

The structural specificity of α-chymotrypsin for polypeptides and denatured proteins has been examined. The primary specificity of the enzyme for these natural substrates is shown to closely correspond to that observed for model substrates. A pattern of secondary specificity is proposed.

A series of N-acetylated peptide esters of varying length have been evaluated as substrates of α-chymotrypsin. The results are interpreted in terms of proposed specificity theories.

The α-chymotrypsin-catalyzed hydrolyses of a number of N-acetylated dipeptide methyl esters were studied. The results are interpreted in terms of the available specificity theories and are compared with results obtained in the study of polypeptide substrates. The importance of non-productive binding in determining the kinetic parameters of these substrates is discussed. A partial model of the locus of the active site which interacts with the R’₁CONH- group of a substrate of the form R’₁CONHCHR₂COR’₃ is proposed.

Finally, some reactive esters of N-acetylated amino acids have been evaluated as substrates of α-chymotrypsin. Their reactivity and stereo-chemical behavior are discussed in terms of the specificity theories available. The importance of a binding interaction between the carboxyl function of the substrate and the enzyme is suggested by the results obtained.

Locally convex Riesz spaces and Archimedean quotient spaces

A Riesz space with a Hausdorff, locally convex topology determined by Riesz seminorms is called a locally convex Riesz space. A sequence {x_n} in a locally convex Riesz space L is said to converge locally to x ϵ L if for some topologically bounded set B and every real r ˃ 0 there exists N (r) and n ≥ N (r) implies x – x_n ϵ r^b. Local Cauchy sequences are defined analogously, and L is said to be locally complete if every local Cauchy sequence converges locally. Then L is locally complete if and only if every monotone local Cauchy sequence has a least upper bound. This is a somewhat more general form of the completeness criterion for Riesz – normed Riesz spaces given by Luxemburg and Zaanen. Locally complete, bound, locally convex Riesz spaces are barrelled. If the space is metrizable, local completeness and topological completeness are equivalent.

Two measures of the non-archimedean character of a non-archimedean Riesz space L are the smallest ideal A_o (L) such that quotient space is Archimedean and the ideal I (L) = { x ϵ L: for some 0 ≤ v ϵ L, n |x| ≤ v for n = 1, 2, …}. In general A_o (L) ᴝ I (L). If L is itself a quotient space, a necessary and sufficient condition that A_o (L) = I (L) is given. There is an example where A_o (L) ≠ I (L).

A necessary and sufficient condition that a Riesz space L have every quotient space Archimedean is that for every 0 ≤ u, v ϵ L there exist u₁ = sup (inf (n v, u): n = 1, 2, …), and real numbers m₁ and m₂ such that m₁ u₁ ≥ v₁ and m₂ v₁ ≥ u₁. If, in addition, L is Dedekind σ – complete, then L may be represented as the space of all functions which vanish off finite subsets of some non-empty set.

Water temperature studies on the R. North Tyne after impoundment by Kielder dam. 3. Preliminary examination of water temperature data

The report describes the results of preliminary analyses of data obtained from a series of water temperature loggers sited at various distances (0.8 to 21.8 km) downstream of Kielder dam on the River North Tyne and in two natural tributaries. The report deals with three aspects of the water temperature records: An analysis of an operational aspect of the data sets for selected stations, a simple examination of the effects of impoundment upon water temperature at or close to the point of release, relative to natural river temperatures, and an examination of rate of change of monthly means of daily mean, maximum, minimum and range (maximum - minimum) with distance downstream of the point of release during 1983.

Ele está presente: a obra de Silviano Santiago e as performances do artista perigoso

A presente dissertação tem como objetivo refletir sobre a imagem do artista na obra de Silviano Santiago, mais precisamente sobre a figura do narrador-escritor da novela Uma história de família (1992), em abordagem comparativa com outros artistas, cuja produção e aparecimento na mídia problematizaram as primeiras décadas do HIV/AIDS, tais como Cazuza e o artista visual Leonilson, que posavam midiaticamente como perigosos. Pretende-se apontar, na obra de Silviano Santiago, uma performance do artista (soropositivamente) perigoso, na qual a relação entre enfermidade, dor, prazer e labor literário é verificável. Outros artistas são estudados, tais como o escritor Jean-Claude Bernardet, a artista visual Teresa Margolles e o performer Ron Athey, assim como os já citados Cazuza e Leonilson. Partindo da tese de Doutorado e da dissertação de Mestrado de Marcelo Secron Bessa, este trabalho procura avançar com algumas questões que, para tanto, recorrem ao conceito de performatividade, em Judith Butler, à noção do corpo como um Outro radical, de Henri-Pierre Jeudy, e à análise da relação entre AIDS e a discursividade empreendida por Susan Sontag. Os textos críticos de Silviano Santiago também fundamentam o presente estudo, mais precisamente na análise daqueles da relação entre dor e prazer na criação literária e da noção de uma homossexualidade astuciosa em resposta às discursividades heteronormativas

CP and the three pion decay of the K°

The time distribution of the decays of an initially pure K° beam into π+π-π° has been analyzed to determine the complex parameter W (also known as Ƞ^+-° and (x + iy)). The K° beam was produced in a brass target by the interactions of a 2.85 GeV/c π- beam which was generated on an internal target in the Lawrence Radiation Laboratory (LRL) Bevatron. The counters and hodoscopes in the apparatus selected for events with a neutral (K°) produced in the brass target, two charged secondaries passing through a magnet spectrometer and a ɣ-ray shower in a shower hodoscope.

From the 275K apparatus triggers, 148 K → π+π-π° events were isolated. The presence of a ɣ-ray shower in the optical shower chambers and a two-prong vee in the optical spark chambers were devices used to isolate the events. The backgrounds were further reduced by reconstructing the momenta of the two charged secondaries and applying kinematic constraints.

The best fit to the final sample of 148 events distributed between .3 and 7.0 K_S lifetimes gives:

ReW = -.05 ±.17

ImW = +.39 +.35/-.37

This result is consistent with both CPT invariance (ReW = 0) and CP invariance (W = 0). Backgrounds are estimated to be less than 10% and systematic effects have also been estimated to be negligible.

An analysis of the present data on CP violation in this decay mode and other K° decay modes has estimated the phase of ɛ to be 45.3 ± 2.3 degrees. This result is consistent with the super weak theories of CP violation which predicts the phase of ɛ to be 43°. This estimate is in turn used to predict the phase of Ƞ°° to be 48.0 ± 7.9 degrees. This is a substantial improvement on presently available measurements. The largest error in this analysis comes from the present limits on W from the world average of recent experiments. The K → πuʋ mode produces the next largest error. Therefore further experimentation in these modes would be useful.

Alteridade e diferença sexual: considerações sobre o debate psicanalítico contemporâneo

A partir da interface entre psicanálise e cultura, este trabalho tem como objetivo analisar o debate contemporâneo acerca das noções psicanalíticas de alteridade e diferença sexual, instaurado pelos deslocamentos ocorridos no campo da sexualidade e pelos desafios que estes impõem à psicanálise. Para isso, propõe-se, em um primeiro momento, examinar a teoria freudiana sobre a diferença sexual, o que é realizado principalmente a partir das formulações acerca da sexualidade feminina. Como a construção do complexo de Édipo apresenta-se como uma tentativa de dar conta da constituição da identidade sexual e da diferença no processo de subjetivação, traça-se o trajeto do autor desde as primeiras menções ao Édipo até o encontro com o impasse do feminino, passando pela teoria das identificações como mecanismo privilegiado de assunção sexual. Em seguida, investiga-se o pensamento de Lacan em relação ao tema da diferença sexual, desde o seu retorno ao complexo de Édipo e a sua estruturação em termos de linguagem até as propostas apresentadas em seu último ensino, em que sublinha o aspecto real da sexuação assim como se valoriza a diferença sexual em termos de gozo. Finalmente, tendo como pano de fundo a nova cartografia das sexualidades, e como fio condutor, o diálogo travado entre Judith Butler e Slavoj iek, considera-se em que medida a psicanálise baseia a constituição da alteridade no modelo binário e hierárquico da divisão sexual, contribuindo para a manutenção normativa do sistema sexo-gênero ou em que medida a teoria psicanalítica proporciona um deslocamento da alteridade do modelo de diferença sexual, contribuindo para a sua compreensão enquanto indeterminação e contingência.

The all-seeing mirror: reflecting on vampires as allegories in socio-culturally sensitive literary works

Esta dissertação tem como objetivo analisar a figura do vampiro na literatura como poderosa ferramenta de leitura e interpretação dos medos e angústias que afligem um determinado espaço sociocultural. Ao olhar para a evolução do vampiro literário através dos séculos dezenove, vinte e vinte e um, notamos que cada uma de suas encarnações difere dramaticamente da anterior, e no que o vampiro é reinventado, ele engaja-se num diálogo pertinente e coerente com questões de seu próprio tempo, nunca perdendo assim sua relevância. Sua existência heterogênea, explicitada na dissertação primariamente através das obras Carmilla, de Sheridan LeFanu, Dracula, de Bram Stoker, Eu Sou a Lenda, de Richard Matheson, Entrevista com o Vampiro, de Anne Rice e Fledgling, de Octavia Butler, e as diferentes questões suscitadas em cada uma dessas obras como a sexualidade, a alteridade e o hibridismo nos levarão ao entendimento de que o vampiro pode potencialmente desempenhar importante função alegórica, tornando-se um espelho da própria humanidade através da qual se sustenta

Identidade pessoal uma análise crítica da teoria da memória

O objetivo dessa dissertação é realizar uma análise crítica da teoria que intenta explicar a natureza e a evidência da identidade pessoal através da memória. A primeira versão dessa teoria foi proposta por John Locke, a qual, devido à sua distinção entre pessoa, homem e substância, traçou os parâmetros fundamentais das discussões posteriores acerca da natureza da identidade pessoal. No entanto, essa proposta apresenta sérias fragilidades e inconsistências, apontadas de forma vigorosa principalmente por Joseph Butler e Thomas Reid. Posteriormente, autores como Parfit, Shoemaker e Grice realizaram reformulações na teoria lockeana com o objetivo de sanar suas inconsistências e assim responder à suas principais objeções, sem com isso perder seu aspecto central e característico, que é conceber a memória como elemento fundamental para o entendimento da identidade pessoal. Esse processo envolvendo a teoria lockeana, suas objeções e reformulações terá como resultado final a noção de identidade pessoal como continuidade psicológica não-ramificada.

Heteronormatividade e sexualidades LGBT: repercussões dos discursos escolares sobre sexualidade na constituição das sexualidades não normativas

As práticas discursivas que constituem e sustentam as concepções de sexo e de sexualidade nas sociedades contemporâneas são fortemente arraigadas no discurso normalizado e normalizador segundo o qual há apenas dois sexos que se evidenciam em corpos masculinos ou femininos, naturalmente distintos biológica e fisionomicamente e reconhecíveis em modos de ser diversos - mas perfeitamente identificáveis com o sexo biológico (nascer com pênis/nascer com vagina). Esse sistema dicotômico afirmou por muitos anos uma concepção inequívoca de o que é e como ser homem ou mulher; restringiu os corpos a uma performance estereotipada de masculinidade e de feminilidade; conformou os discursos sobre gênero e sexo e naturalizou a heterossexualidade. Entretanto, o sistema binário no qual se funda a heterossexualidade encontra fissuras ante as identidades sexuais e de gênero que ora se evidenciam e desestabilizam a (hetero)sexualidade normativa. Sustentadas pela teoria queer e por autores como Judith Butler, Michel Foucault e Beatriz Preciado, minhas discussões nesta tese focalizam as repercussões e marcas dos discursos escolares na produção de corpos, gêneros e sexualidades de lésbicas, gays, bissexuais e transgêneros LGBT. Interessa indagar, a partir das narrativas desses sujeitos, as formas como as sexualidades têm sido trabalhadas como conteúdo escolar e discutir os possíveis efeitos das práticas escolares na constituição das sexualidades LGBT. Como constituir-se como sujeito fora da norma em um espaço-tempo altamente regulado como o currículo escolar? Busco evidenciar que, mesmo às margens dos discursos socialmente legitimados que circulam na escola, cuja pretensão é manter a hegemonia da história universal onde apenas alguns sujeitos são inscritos e reconhecidos como inteligíveis, os sujeitos LGBT produzem suas histórias e criam modos de vida. Minhas contribuições ao debate do tema se referem à possibilidade de desconstrução dos discursos predominantes no espaço-tempo da escola que enfatizam as concepções naturalizadas de sexo, de gênero e de sexualidade. Neste sentido acentuo a necessidade de novas/outras abordagens que incluam todas as sexualidades no espaço de inteligibilidade habitado pela norma heterossexual e apontar indícios de como os discursos predominantes contribuem para a manutenção da heteronormatividade e do heterossexismo. As narrativas dos sujeitos LGBT apontam a necessidade de repensar as práticas escolares, visando desconstruir concepções naturalizadas em torno da vivência da sexualidade e avançar das políticas de tolerância para uma política da diferença na qual a concepção do que é ser humano esteja sempre em aberto.

O currículo na formação de professores em questões de gênero

Esta dissertação está inserida no campo epistemológico do currículo e tem por objetivo analisar o contexto de produção dos documentos curriculares do Curso de Extensão em Diversidade Sexual e Identidades de Gênero, considerando o currículo como espaço-tempo de fronteira e enunciação que possibilita a criação e recriação dos diferentes sentidos fixados nos seus textos. O trabalho é desenvolvido visando a discussão de três questões-problema: (a) quais sentidos de sexo, gênero, identidade e diferença são propostos nos documentos curriculares em questão? (b) de que modo esses sentidos são afirmados nos documentos que orientam o curso? (c) quais concepções de currículo estão expressas nos documentos e entrevistas em análise? Para isso, apresenta interações teóricas, principalmente, com os estudos de Elizabeth Macedo, Guacira Louro, Judith Butler e Stuart Hall. Além de análise documental, considerando os diferentes documentos curriculares do curso, foram realizadas entrevistas com sujeitos envolvidos na construção desse currículo. Entre outros aspectos, concluiu, contingencialmente, que o documento hibridizou discursos enunciados vinculados à biologilização dos corpos, as reivindicações identitárias dos movimentos sociais e às perspectivas teóricas que discutem o pós-estruturalismo

Feeding ecology of juvenile Pacific salmon (Oncorhynchus spp.) in a northeast Pacific fjord: diet, availability of zooplankton, selectivity for prey, and potential competition for prey resources

We investigated the feeding ecology of juvenile salmon during the critical early life-history stage of transition from shallow to deep marine waters by sampling two stations (190 m and 60 m deep) in a northeast Pacific fjord (Dabob Bay, WA) between May 1985 and October 1987. Four species of Pacific salmon—Oncorhynchus keta (chum) , O. tshawytscha (Chinook), O. gorbuscha (pink), and O. kisutch (coho)—were examined for stomach contents. Diets of these fishes varied temporally, spatially, and between species, but were dominated by insects, euphausiids, and decapod larvae. Zooplankton assemblages and dry weights differed between stations, and less so between years. Salmon often demonstrated strongly positive or negative selection for specific prey types: copepods were far more abundant in the zooplankton than in the diet, whereas Insecta, Araneae, Cephalapoda, Teleostei, and Ctenophora were more abundant in the diet than in the plankton. Overall diet overlap was highest for Chinook and coho salmon (mean=77.9%)—species that seldom were found together. Chum and Chinook salmon were found together the most frequently, but diet overlap was lower (38.8%) and zooplankton biomass was not correlated with their gut fullness (%body weight). Thus, despite occasional occurrences of significant diet overlap between salmon species, our results indicate that interspecific competition among juvenile salmon does not occur in Dabob Bay.

Feeding ecology of Atlantic bluefin tuna (Thunnus thynnus) in North Carolina: diet, daily ration, and consumption of Atlantic menhaden (Brevoortia tyrannus)

Diet, gastric evacuation rates, daily ration, and population-level prey demand of bluefin tuna (Thunnus thynnus) were estimated in the continental shelf waters off North Carolina. Bluefin tuna stomachs were collected from commercial fishermen during the late fall and winter months of 2003–04, 2004–05, and 2005–06. Diel patterns in mean gut fullness values were used to estimate gastric evacuation rates. Daily ration determined from mean gut fullness values and gastric evacuation rates was used, along with bluefin tuna population size and residency times, to estimate population-level consumption by bluefin tuna on Atlantic menhaden (Brevoortia tyrannus). Bluefin tuna diet (n= 448) was dominated by Atlantic menhaden; other teleosts, portunid crabs, and squid were of mostly minor importance. The time required to empty the stomach after peak gut fullness was estimated to be ~20 hours. Daily ration estimates were approximately 2% of body weight per day. At current western Atlantic population levels, bluefin tuna predation on Atlantic menhaden is minimal compared to predation by other known predators and the numbers taken in commercial harvest. Bluefin tuna appear to occupy coastal waters in North Carolina during winter to prey upon Atlantic menhaden. Thus, changes in the Atlantic menhaden stock status or distribution would alter the winter foraging locations of bluefin