Results for 'Manjulika Vaz'

26 found
Order:
  1. The Dialectica Categories.Valeria Correa Vaz De Paiva - 1990 - Dissertation, University of Cambridge, Uk
    This thesis describes two classes of Dialectica categories. Chapter one introduces dialectica categories based on Goedel's Dialectica interpretation and shows that they constitute a model of Girard's Intuitionistic Linear Logic. Chapter two shows that, with extra assumptions, we can provide a comonad that interprets Girard's !-course modality. Chapter three presents the second class of Dialectica categories, a simplification suggested by Girard, that models (classical) Linear Logic and chapter four shows how to provide modalities ! and ? for this second class (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  2. The ILLTP Library for Intuitionistic Linear Logic.Carlos Olarte, Valeria Correa Vaz De Paiva, Elaine Pimentel & Giselle Reis - manuscript
    Benchmarking automated theorem proving (ATP) systems using standardized problem sets is a well-established method for measuring their performance. However, the availability of such libraries for non-classical logics is very limited. In this work we propose a library for benchmarking Girard's (propositional) intuitionistic linear logic. For a quick bootstrapping of the collection of problems, and for discussing the selection of relevant problems and understanding their meaning as linear logic theorems, we use translations of the collection of Kleene's intuitionistic theorems in the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  3. Carlos Vaz Ferreira on intellectual flourishing as intellectual liberation.Juan Garcia Torres - 2024 - British Journal for the History of Philosophy:1-22.
    I argue for a substantive interpretation of Carlos Vaz Ferreira’s account of intellectual flourishing as intellectual liberation. For Vaz Ferreira, I argue, there is an inescapable master-slave dynamic between language and language users, so that flourishing intellectually essentially involves a type of mastery of language that frees up thinking from enslaving linguistic/conceptual confusions and thus facilitates the acquisition of truth. Central to this project are Vaz Ferreira’s most interesting, and radical, views on the nature of language signification and thus on (...)
    Download  
     
    Export citation  
     
    Bookmark  
  4.  90
    Carlos Vaz Ferreira on Freedom and Determinism.Juan Garcia Torres - 2022 - Res Philosophica 99 (4):377-402.
    Carlos Vaz Ferreira argues that the problem of freedom is conceptually distinct from the problem of causal determinism. The problem of freedom is ultimately a problem regarding the ontologically independent agency of a being, and the problem of determinism is a problem regarding explanations of events or acts in terms of the totality of their antecedent causal conditions. As Vaz Ferreira sees it, failing to keep these problems apart gives rise to merely apparent but unreal puzzles pertaining to the nature (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  5. Pêro Vaz de Caminha e a Figura da Repetição: Uma Revisitação Histórico-filosófica da Carta do Achamento do Brasil.Eurico Carvalho - 2021 - Portuguese Studies Review 29 (2):9-53.
    The Letter from Pero Vaz de Caminha to the King of Portugal, Manuel I, is a unique document because its account of first contact with a people unknown in Europe up to that time may be regarded as evidence of the anthropological impossibility of a neutral gaze. This is an asymmetric testimony, as we do not possess (for obvious reasons) the Amerindian counterpart of European discourse. Although the letter’s author is someone who fully assumes the objectivity claim, we must not (...)
    Download  
     
    Export citation  
     
    Bookmark  
  6. Lima Vaz e os desafios da compreensão da pessoa humana.Laureandro Lima da Silva, Gabriel Florenço Dias & Alex Pereira da Silva - 2019 - Anacleta 5 (5):1-18.
    Download  
     
    Export citation  
     
    Bookmark  
  7. Análisis de un argumento nietzscheano en La genealogía de la moral utilizando un modelo vazferreiriano de análisis argumental.Alexander Valdenegro - 2013 - Factótum 10:23-29.
    According to Vaz Ferreira discovering how we go wrong can help us to build better arguments. Seoane proposes an argument analysis model based on that of Vaz Ferreira in Lógica viva, particularly in his analysis of the false dilemma. We will develop the model by making a distinction between its syntactic and semanticpragmatic phases. We will use Seoane's vazferreirean model to evaluate an argument due to Nietzsche in his On the Genealogy of Morality regarding the origin of the concept of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  8. La problemática axiológica en la filosofía latinoamericana.José Ramón Fabelo Corzo - 1998 - In Mildred Ballares Rodríguez (ed.), Filosofía en América Latina. pp. 369-407.
    El trabajo realiza un recorrido histórico sumario por la siempre presente temática axiológica en el pensamiento filosófico latinoamericano. Luego de una introducción en la que se abunda sobre las razones por las cuales el tema de los valores siempre ha estado presente en la filosofía, se analiza su trayectoria en América Latina a través de los siguientes apartados: "El pensamiento latinoamericano: una historia cargada de contenido axiológico", "La crítica al positivismo y la introducción a un pensamiento explícitamente axiológico", "Adopción de (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  9. Immunoglobulins and Antibodies: Conceptual Projections All the Way Down.Bartlomiej Swiatczak - 2022 - Constructivist Foundations 18 (1):85-86.
    Central to vaccination-induced responses, antibodies are suggested by Vaz to operate as observer-dependent entities that owe their status to categorization schemes of immunologists. Inspired by color research by Maturana, he argues that antibodies should be distinguished from immunoglobulins, which unlike the former can be considered as constituents of structural dynamics of an organism, products of millions of years of evolution. However, a deeper understanding of the historical roots of the concept of immunoglobulin and associated “languaging” and naming processes reveals that (...)
    Download  
     
    Export citation  
     
    Bookmark  
  10. C. S. Peirce and the Hispanic Philosophy of the Twentieth Century.Jaime Nubiola - 1998 - Transactions of the Charles S. Peirce Society 24 (1):31-49.
    A surprising fact in the historiography of the Hispanic philosophy of this century is its almost total opacity towards the American philosophy, in spite of the real affinity between the central questions of American pragmatism and the topics addressed by the most relevant Hispanic thinkers of the century: Unamuno, Ortega y Gasset, d'Ors, Vaz Ferreira. In this paper that situation is studied, paying special attention to Charles S. Peirce, his personal connections with the Hispanic world, the reception of his texts (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  11. The Reception of Peirce in Spain and the Spanish Speaking Countries.Sara Barrena & Jaime Nubiola - 2014 - European Journal of Pragmatism and American Philosophy 6 (1).
    A surprising fact about the Hispanic philosophical historiography2 of the 20th century is its almost complete ignorance of the American philosophical tradition. This disconnect is even more surprising when one takes into account the striking affinities between the topics and problems treated by the most relevant Hispanic thinkers (Unamuno, Ortega, Vaz Ferreira, Ferrater Mora, Xirau) and the central questions raised in the most important native current of American thought in the late 19th and 20th centuries, pragmatism. In recent years there (...)
    Download  
     
    Export citation  
     
    Bookmark  
  12. Ensayos Estudio Preliminar a 'Lógica Viva,' Una Imagen En 'Motivos de Proteo,' y Otros Ensayos.Jorge Liberati (ed.) - 1996 - Montevideo: Editores Asociados.
    La "lógica viva" de Carlos Vaz Ferreira representa en Uruguay y en la filosofía de lengua española del siglo XX lo que se conoció más tarde como filosofía del lenguaje corriente (Oxford) y filosofía del Círculo de Viena (Wittgenstein en su segundo período). De acuerdo a la imagen del incendio, en José Enrique Rodó, solo la conversión es el objetivo final de una idea, no alcanza con la convicción.
    Download  
     
    Export citation  
     
    Bookmark  
  13. Métodos de Formulação e Balanceamento de Rações para Bovinos.Emanuel Isaque Cordeiro da Silva - manuscript
    INTRODUÇÃO A maioria dos alimentos que os bovinos de corte e leite consomem são os alimentos volumosos (forragens, gramíneas ou leguminosas) que é um alimento que possui teor de fibra detergente neutra (FDN) ≥ 25% da matéria seca (MS), ou teor de fibra ≥ 18% da MS. Por possuir grande quantidade de fibra em sua composição é um alimento que possui menor concentração de proteínas, carboidratos não estruturais (CNE) e lipídios. Para que um animal possa manter-se com alimentação volumosa, é (...)
    Download  
     
    Export citation  
     
    Bookmark  
  14. Aborto em Bovinos: Principais Causas Nutricionais.Emanuel Isaque Cordeiro da Silva - manuscript
    Relação e Efeitos Bioquímico-nutricionais Sobre o Aborto em Vacas -/- -/- E. I. C. da Silva Departamento de Agropecuária – IFPE Campus Belo Jardim -/- ABORTO EM BOVINOS -/- INTRODUÇÃO -/- O aborto é a expulsão involuntária do produto da gestação entre os 45 dias de gestação e os 250 dias. O aborto, tem diferentes origens, as mais frequentes são de caráter infeccioso, daqui, a pouca atenção dada aos abortos de outra origem, em especial os causados por problemas nutricionais. O (...)
    Download  
     
    Export citation  
     
    Bookmark  
  15. Nutrição Sobre as Falhas Reprodutivas dos Bovinos.Emanuel Isaque Cordeiro da Silva - manuscript
    NUTRIÇÃO SOBRE AS FALHAS REPRODUTIVAS DOS BOVINOS -/- E. I. C. da Silva Departamento de Agropecuária – IFPE Campus Belo Jardim Departamento de Zootecnia – UFRPE sede -/- -/- FALHAS REPRODUTIVAS DE BOVINOS -/- INTRODUÇÃO -/- Os bovinos, assim como tantos outros mamíferos e demais espécies, podem sofrer distúrbios durante o ciclo reprodutivo. Transtornos, alterações ou patogenias afetam diretamente a saúde do sistema reprodutor desses animais. As causas podem ser individuais ou multifatoriais, de caráter parasitário, patogênico, climático, nutricional etc. As (...)
    Download  
     
    Export citation  
     
    Bookmark  
  16. Relação e Efeitos Bioquímico-nutricionais Sobre a Metrite em Vacas.Emanuel Isaque Cordeiro da Silva - manuscript
    RELAÇÃO E EFEITOS BIOQUÍMICO-NUTRICIONAIS SOBRE A METRITE EM VACAS -/- Emanuel Isaque Cordeiro da Silva Departamento de Agropecuária – IFPE Campus Belo Jardim [email protected] ou [email protected] WhatsApp: (82)98143-8399 -/- •__3. METRITE -/- O transtorno caracterizado pela inflamação do útero, devido a causas sépticas ou assépticas que atuam sobre ele, denomina-se genericamente como metrite. As metrites são afecções de grande importância, tanto pela frequência como pela gravidade. As metrites podem ser divididas segundo seu caráter anatômico, como mucosa (catarral), purulenta, hemorrágica, crupal, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  17. Natimortos em Bovinos: Principais Causas Nutricionais.Emanuel Isaque Cordeiro da Silva - manuscript
    RELAÇÃO E EFEITOS BIOQUÍMICO-NUTRICIONAIS SOBRE OS BEZERROS NATIMORTOS EM VACAS Emanuel Isaque Cordeiro da Silva Departamento de Agropecuária – IFPE Campus Belo Jardim [email protected] ou [email protected] WhatsApp: (82)98143-8399 15. NATIMORTOS Por natimortos, entende-se todos aqueles produtos (bezerros/bezerras) que nascem vivos após um tempo de gestação fisiológica normal, mas que morrem nas primeiras 24 horas de vida, ou às vezes nascem mortos, sem evidência clara de que a morte tenha ocorrido 48 horas (ou menos) antes do parto (FRAZER, 2005; GORDON, 1996). (...)
    Download  
     
    Export citation  
     
    Bookmark  
  18. Relação e Efeitos Bioquímico-nutricionais Sobre os Cios ou Estros Silenciosos em Vacas.Emanuel Isaque Cordeiro da Silva - manuscript
    RELAÇÃO E EFEITOS BIOQUÍMICO-NUTRICIONAIS SOBRE OS CIOS OU ESTROS SILENCIOSOS EM VACAS E. I. C. da Silva Departamento de Agropecuária – IFPE Campus Belo Jardim Departamento de Zootecnia – UFRPE sede CIOS OU ESTROS SILENCIOSOS EM BOVINOS INTRODUÇÃO Um cio ou "estro silencioso" ocorre quando as mudanças ováricas são normais, mesmo com ovulação, mas não há comportamento estral. Isso não deve ser confundido com um estro não observado devido a falha na detecção do mesmo. A ocorrência do cio ou "estro (...)
    Download  
     
    Export citation  
     
    Bookmark  
  19. Ovulação Retardada e Anovulação em Vacas: Causas Nutricionais.Emanuel Isaque Cordeiro da Silva - manuscript
    RELAÇÃO E EFEITOS BIOQUÍMICO-NUTRICIONAIS SOBRE A OVULAÇÃO RETARDADA E A ANOVULAÇÃO EM VACAS -/- -/- Emanuel Isaque Cordeiro da Silva -/- Departamento de Agropecuária – IFPE Campus Belo Jardim -/- [email protected] ou [email protected] -/- WhatsApp: (82)98143-8399 -/- -/- 13. OVULAÇÃO RETARDADA -/- A ovulação retardada é uma situação de alteração fisiológica com diferentes origens. A falha em si, ocasiona assincronia nos tempos de liberação dos gametas. O óvulo é liberado tempo depois que os sinais corporais de estro terminaram, dessa forma, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  20. Relação e Efeitos Bioquímico-nutricionais Sobre os Transtornos do Ciclo Estral em Vacas.Emanuel Isaque Cordeiro da Silva - manuscript
    RELAÇÃO E EFEITOS BIOQUÍMICO-NUTRICIONAIS SOBRE OS TRANSTORNOS DO CICLO ESTRAL DE VACAS -/- Emanuel Isaque Cordeiro da Silva Departamento de Agropecuária – IFPE Campus Belo Jardim [email protected] ou [email protected] WhatsApp: (82)98143-8399 -/- •__6. Transtornos do ciclo estral -/- Qualquer alteração na frequência, duração ou intensidade do ciclo estral é considerada uma perturbação do ciclo, cujas origens variam etiologicamente. As perturbações do ciclo podem originar-se em qualquer das partes do eixo hipotálamo-hipófise-ovário (FRAZER, 2005; GORDON, 1996). Pode ou não ser do tipo (...)
    Download  
     
    Export citation  
     
    Bookmark  
  21. Relação e Efeitos Bioquímico-nutricionais Sobre as Alterações do Corpo Lúteo em Vacas.Emanuel Isaque Cordeiro da Silva - manuscript
    RELAÇÃO E EFEITOS BIOQUÍMICO-NUTRICIONAIS SOBRE AS ALTERAÇÕES DO CORPO LÚTEO EM VACAS -/- Emanuel Isaque Cordeiro da Silva Departamento de Agropecuária – IFPE Campus Belo Jardim [email protected] ou [email protected] WhatsApp: (82)98143-8399 -/- •__7. ALTERAÇÕES DO CORPO LÚTEO -/- A estrutura funcional desenvolve-se a partir da cavidade folicular após a ovulação. O corpo lúteo é constituído pelas células da teca interna (pequenas e ativas na primeira fase do seu desenvolvimento) e células da granulosa (grandes e ativas na segunda metade do seu (...)
    Download  
     
    Export citation  
     
    Bookmark  
  22. Relação e Efeitos Bioquímico-nutricionais Sobre o Corpo Lúteo Persistente em Vacas.Emanuel Isaque Cordeiro da Silva - manuscript
    RELAÇÃO E EFEITOS BIOQUÍMICO-NUTRICIONAIS SOBRE O CORPO LÚTEO PERSISTENTE EM VACAS E. I. C. da Silva Departamento de Agropecuária – IFPE Campus Belo Jardim Departamento de Zootecnia – UFRPE sede CORPO LÚTEO PERSISTENTE EM BOVINOS INTRODUÇÃO Essa alteração funcional da estrutura ovárica está relacionada com uma lise incompleta do corpo lúteo, o que leva à presença de níveis subnormais de progesterona bloqueando a ciclicidade ovárica ao retardar a retroalimentação para a ação dos estrogênios durante o proestro e o estro. Os (...)
    Download  
     
    Export citation  
     
    Bookmark  
  23. Relação e Efeitos Bioquímico-nutricionais Sobre a Involução Uterina Retardada em Vacas.Emanuel Isaque Cordeiro da Silva - manuscript
    RELAÇÃO E EFEITOS BIOQUÍMICO-NUTRICIONAIS SOBRE A INVOLUÇÃO UTERINA RETARDADA EM VACAS -/- Emanuel Isaque Cordeiro da Silva Departamento de Agropecuária – IFPE Campus Belo Jardim [email protected] ou [email protected] WhatsApp: (82)98143-8399 -/- 2. INVOLUÇÃO UTERINA RETARDADA -/- A involução uterina retardada é uma desordem reprodutiva parcialmente ocasionada por problemas nutricionais. Terminados os mecanismos do parto, os órgãos genitais da fêmea sofrerá alterações em seu tamanho, peso e forma, eles reduzem de tamanho até sua normalização, esse processo é conhecido como involução uterina (...)
    Download  
     
    Export citation  
     
    Bookmark  
  24. Relação e Efeitos Bioquímico-nutricionais Sobre o Catarro Genital II e III em Vacas.Emanuel Isaque Cordeiro da Silva - manuscript
    RELAÇÃO E EFEITOS BIOQUÍMICO-NUTRICIONAIS SOBRE O CATARRO GENITAL II E III EM VACAS -/- Emanuel Isaque Cordeiro da Silva Departamento de Agropecuária – IFPE Campus Belo Jardim [email protected] ou [email protected] WhatsApp: (82)98143-8399 -/- 4. CATARRO GENITAL II E III -/- O catarro genital ou metrite (inflamação do miométrio) é uma inflamação inespecífica no trato genital. Existem duas barreiras que impedem a chegada de germes ao interior do trato genital. As barreiras de tipo hemático (diferença de fluxo sanguíneo) e imunossupressão parcial (...)
    Download  
     
    Export citation  
     
    Bookmark  
  25. História da Sociologia: O desenvolvimento da sociologia brasileira.Emanuel Isaque Cordeiro da Silva - manuscript
    HISTÓRIA DA SOCIOLOGIA: O DESENVOLVIMENTO DA SOCIOLOGIA I -/- A SOCIOLOGIA BRASILEIRA -/- HISTORY OF SOCIOLOGY: THE DEVELOPMENT OF SOCIOLOGY I -/- THE BRAZILIAN SOCIOLOGY -/- Emanuel Isaque Cordeiro da Silva – IFPE-BJ, CAP-UFPE e UFRPE. E-mails: [email protected] e [email protected] WhatsApp: (82)9.8143-8399. -/- PREMISSA -/- Como na França de Émile Durkheim, os primeiros passos da Sociologia no Brasil, em termos institucionais, ocorreram a partir de iniciativas para a inclusão dessa disciplina no ensino secundário (hoje, ensino médio). A primeira tentativa ocorreu (...)
    Download  
     
    Export citation  
     
    Bookmark  
  26. Conhecimento e ação na perspectiva de Hegel.Gabriel Rodrigues da Silva - manuscript
    I propose to present a relation between knowledge (Wissen) and human action (Handlung) from the perspective of the German philosopher Georg Wilhelm Friedrich Hegel (1770-1831). For this, I will use mainly of the Phenomenology of Spirit (Phenomenologie des Geistes) - published in 1807. According the philosopher himself, this work is a science of the experience of consciousness – this was the first name chosen by Hegel for this work (Vaz, 2014, p. 11-12). Throughout the work, it we can see that (...)
    Download  
     
    Export citation  
     
    Bookmark