Results for 'Favio E. Miranda-Perea'

1000+ found
Order:
  1.  3
    Axiomatic and Dual Systems for Constructive Necessity, a Formally Verified Equivalence.Lourdes del Carmen González-Huesca, Favio E. Miranda-Perea & P. Selene Linares-Arévalo - 2019 - Journal of Applied Non-Classical Logics 29 (3):255-287.
    We present a proof of the equivalence between two deductive systems for constructive necessity, namely an axiomatic characterisation inspired by Hakli and Negri's system of derivations from assumptions for modal logic , a Hilbert-style formalism designed to ensure the validity of the deduction theorem, and the judgmental reconstruction given by Pfenning and Davies by means of a natural deduction approach that makes a distinction between valid and true formulae, constructively. Both systems and the proof of their equivalence are formally verified (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  2.  4
    Interactive Proof-Search for Equational Reasoning.Favio E. Miranda-Perea, Lourdes del Carmen González Huesca & P. Selene Linares-Arévalo - forthcoming - Logic Journal of the IGPL.
    Equational reasoning arises in many areas of mathematics and computer science. It is a cornerstone of algebraic reasoning and results essential in tasks of specification and verification in functional programming, where a program is mainly a set of equations. The usual manipulation of identities while conducting informal proofs obviates many intermediate steps that are neccesary while developing them using a formal system, such as the equationally complete Birkhoff calculus ${\mathcal{B}}$. This deductive system does not fit in the common manner of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3.  17
    Hobbes: razón y contrato social.Carlos E. Miranda - 1986 - Revista de filosofía (Chile) 27:25-33.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  4.  26
    Infants’ Neural Responses to Facial Emotion in the Prefrontal Cortex Are Correlated with Temperament: A Functional Near-Infrared Spectroscopy Study.Miranda M. Ravicz, Katherine L. Perdue, Alissa Westerlund, Ross E. Vanderwert & Charles A. Nelson - 2015 - Frontiers in Psychology 6.
  5.  27
    The Miranda Complex: Colonialism and the Question of Feminist ReadingThe Madwoman in the Attic: The Woman Writer and the Nineteenth-Century ImaginationThree Women's Texts and a Critique of Imperialism. [REVIEW]Laura E. Donaldson - 1988 - Diacritics 18 (3):65.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  6.  13
    Sequendus Aristoteles": Da Ciençia E da Naturaleza Na "Ratio Studiorum.Margarida M. Miranda - 2009 - Humanitas 61:179-190.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  7.  41
    Agostinho de Hipona e as ambivalências do seu filosofar.Rogério Miranda de Almeida - 2012 - Veritas – Revista de Filosofia da Pucrs 57 (2):194-212.
    The main objective of this text is to analyze some of the ambiguities that characterize Augustine of Hippo’s position regarding the so-called pagan culture in general and Greek philosophy in particular. As a matter of fact, the author of Confessions is situated in a mid-term, which I identify by the expression “the paradox of between”, for he does not totally embrace the position of Justin Martyr, who identifies Christian wisdom with Greek philosophy, neither does he claim the other extreme position (...)
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  8.  16
    Does Anxiety Sensitivity Correlate with Startle Habituation? An Examination in Two Independent Samples.Miranda L. Campbell, Stephanie M. Gorka, Sarah K. McGowan, Brady D. Nelson, Casey Sarapas, Andrea C. Katz, E. Jenna Robison-Andrew & Stewart A. Shankman - 2014 - Cognition and Emotion 28 (1):46-58.
  9.  5
    Sharing Genomic Data From Clinical Testing with Researchers: Public Survey of Expectations of Clinical Genomic Data Management in Queensland, Australia.Miranda E. Vidgen, Sid Kaladharan, Eva Malacova, Cameron Hurst & Nicola Waddell - 2020 - BMC Medical Ethics 21 (1):1-11.
    Background There has been considerable investment and strategic planning to introduce genomic testing into Australia’s public health system. As more patients’ genomic data is being held by the public health system, there will be increased requests from researchers to access this data. It is important that public policy reflects public expectations for how genomic data that is generated from clinical tests is used. To inform public policy and discussions around genomic data sharing, we sought public opinions on using genomic data (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  10.  55
    Miranda Fricker, Epistemic Injustice: Power and the Ethics of Knowing[REVIEW]Ward E. Jones - 2009 - Ratio 22 (3):369-373.
  11. Singularidade e universalidade nos processos de leitura de Kierkegaard.José Miranda Justo - 2014 - Revista de Filosofia Moderna E Contemporânea 2 (1):83-101.
    Com muita frequência encontramos comentadores da obra de Søren Kierkegaard que procuram ultrapassar a diversidade e a heterogeneidade interna da produção kierkegaardiana mediante processos de redução à unidade, em particular transformando o filósofo dinamarquês exclusivamente num pensador religioso. A título de exemplo, o presente artigo começa por abordar a leitura que Jean Starobinski oferece desse tipo de redução. Subsequentemente o artigo procura caracterizar em pormenor a diversidade e a heterogeneidade kierkegaardianas e encontrar para elas um tipo de resposta baseado em (...)
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  12. Perspectivas e actualidade da filosofia augustina.A. de Miranda Barbosa - 1988 - Revista Portuguesa de Filosofia 44 (1):3-15.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  13.  1
    Facebook E Afroreligiosidade: O Orunkò E Os ‘Nós’ No Intercruzamento Das Redes Que Nos Formam.Luzineide Miranda Borges - 2017 - Odeere 2 (3).
    As reflexões apresentadas neste artigo foram produzidas a partir das etnocompreensões dos candomblecistas sobre o que pensam sobre identidades, pertencimentos e memória na cibercultura dialogando com o Orunkò e as identidades que formam o povo nagô no Facebook. O digital em rede é utilizado para manter os laços familiares como estratégia de conexão e reconfiguração do estar longe, mas não estar sozinho, porque nós estamos com vocês. Esse é o sentimento produzido pelos pertencentes do candomblé que utilizam o Facebook e (...)
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  14.  51
    El juego Del arte narrativo contemporáneo en fuerzas especiales de diamela eltit: Realidad develada Y espacio lúdico E irónico de resistencia.Paola Lizana-Miranda* - 2017 - Alpha (Osorno) 44:211-220.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  15.  8
    E. Dussel: filosofía de la liberación y diálogo intercultural.Tomás Miranda Alonso - 2009 - Daimon: Revista Internacional de Filosofía 47:107-122.
    E. Dussel builds an ethics involved in the liberation of the victims of a world-system increasingly global. In this paper the contributions that this ethics of liberation does to the necessary project of an intercultural dialogue are studied. This dialogue must begin with a critic of modern reason, which is eurocentric and violent, and it has to be based on a «transmodern» rationality, whose starting point is the afirmation and the recognition of the reason of the Other (the excluded human (...)
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  16.  9
    Freud E Spinoza a Razão, a Necessidade E a Liberdade.Rogério Miranda de Almeida & Allan Martins Mohr - 2019 - Trans/Form/Ação 42 (1):79-100.
    Resumo Tencionamos, nestas reflexões, analisar os conceitos spinozianos de Deus, do homem e da razão, para, a partir do caráter necessário que os permeia, interrogarmos se existiria também a possibilidade de uma liberdade humana no pensamento do autor da Ética. Se tal liberdade existe, ela estaria situada no próprio plano racional, o que, por sua vez, levantaria ingentes problemas. A mesma questão - a da possibilidade de uma liberdade, em Freud - estaria colocada na margem de ação que, até certo (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  17.  1
    Linguagem e língua: uma reflexão acerca da dialética ensino-aprendizagem.Sérgio Gomes de Miranda - 2010 - Griot : Revista de Filosofia 1 (1):24-38.
    O conceito de linguagem é parte indispensável no complexo trabalho com a língua. Aqui, tem-se como referencial teórico a Teoria Histórico-Cultural para estruturação dialética ensino-aprendizagem, por considerar a relação existente entre a história, a sociedade e a cultura na constituição dos conteúdos e dos sujeitos no seu contato com esses conteúdos, inseridos nesse contexto sócio-histórico-cultural. Então, tem-se a concepção sociointeracionista da linguagem, como processo de interação e mediação na relação semiótica entre o mundo e o homem, e da língua, um (...)
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  18. Voltaire E o Século de Luís XIV: A Vitória Das Luzes.Luiz Francisco Albuquerque Miranda - 2010 - Educação E Filosofia 24 (48):457-480.
    O presente artigo é um estudo do significado histórico que Voltaire atribuiu ao reinado de Luís XIV. O tema oferece a oportunidade de analisar as ligações do pensamento ilustrado com a concepção de vida civilizada elaborada pelas sociedades de corte européias dos séculos XVII e XVIII. Possibilita também uma reflexão a respeito do projeto social da Ilustração francesa. No caso de Voltaire, esse projeto articula-se com a idéia de progresso histórico, problema abordado ao longo do artigo.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  19. 'Actio' E 'Declamatio' Na Formaçao de Vieira, Predigador.Margarida M. Miranda - 2008 - Humanitas 60:267-282.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  20.  16
    Demografia E Religião Nos Últimos 30 Anos: Uma Análise de Conteúdo da Revista Brasileira de Estudos de População.Paula Miranda-Ribeiro, Raquel Zanatta Coutinho, Rodrigo Caetano Arantes & Andréa Branco Simão - 2014 - Horizonte 12 (36).
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  21. Diritto E Tradizione: Circolazione, Decodificazione E Presistenza Delle Norme Giuridiche: Studi in Onore di Alan Watson Per la Laurea Honoris Causa in Scienze Politiche E Delle Relazioni Internazionali.Antonello Miranda & Alan Watson (eds.) - 2004 - Ila Palma.
    Translate
     
     
    Export citation  
     
    Bookmark  
  22.  27
    How Good Are Formal Neurons for Modelling Real Ones?E. N. Miranda - 1997 - Acta Biotheoretica 45 (2):171-179.
    A formal neuron has been studied mathematically. The spiking behaviour of a single neuron has been considered and the influence of the other neurons has been replaced by an average activity level. Four different kinds of spiking behaviour are predicted by the model: B (bursts), C (continuous), P (periodic) and S (silent) neurons and several real neurons can be classified within these four categories. Some properties of the spiking neuron are calculated: 1) the time between spikes, 2) the spike train (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  23. La Idea Del Contrato Social En la Tradición Inglesa.Carlos E. Miranda, Thomas Hobbes, John Locke, David Hume & Universidad de Chile - 1987 - Departamento de Economía, Facultad de Ciencias Económicas y Administrativas, Universidad de Chile.
  24.  3
    Nietzsche E a questão da sublimação.Rogério Miranda de Almeida - 2008 - Revista de Filosofia Aurora 20 (27):261.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  25. Perspectivas E Actualidade da Filosofia Augustiniana in Santo Agostinho. No XVI Centenario da Sua Conversao E Baptismo.A. De Miranda Barbosa - 1988 - Revista Portuguesa de Filosofia 44 (1):3-15.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  26. Teatralidade e linguagem cénica no teatro jesuítico em Portugal.Margarida M. Miranda - 2006 - Humanitas 58:391-410.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  27.  5
    Ética e técnica: esboço de uma crítica heideggeriana à ética jonasiana.Angela Luzia Miranda - 2020 - Filosofia Unisinos 21 (1).
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  28.  6
    Metodologia E Modelos Econômicos.Carolina Miranda Cavalcante - 2014 - Principia: An International Journal of Epistemology 18 (2):187.
    In this paper, we illustrate some important concepts of philosophy of science through the exposure of two macroeconomic models fairly simple, classical and Keynesian, presented in introductory macroeconomic courses. Concepts worked in philosophy of science as the hypothetical-deductive model, the symmetry thesis, the idea of Kuhnian paradigm, Lakatosian scientific research program, as well as those proposed by Lawson in the field of critical realism, are sought and identified in these macroeconomic models as a way to show that the study of (...)
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  29.  42
    Melhorado geneticamente, patenteado e ameaçado: cuidado de si e dignidade humana em tempos biotecnológicos.Marcelo Pelizzoli & Erliane Miranda - 2008 - Veritas – Revista de Filosofia da Pucrs 53 (2):73-89.
    Trata-se de uma reflexão sobre as ameaças aos direitos humanos, sobretudo à dignidade e à liberdade, e à essência humana geradas pelo avanço da biotecnologia. O foco de alerta e resgate da noção de cuidado de si perpassa a perspectiva de futuro de M. Foucault e usa como complemento e desfecho a noção de responsabilidade de H. Jonas para a manutenção da vida e para a realização do sentido do humano e das novas gerações – papel ético por excelência. O (...)
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  30.  4
    Entre Dialogicidade E Ética. Desenvolvimentos Em Torno da Questão Do Outro Com Base No Pensamento de Johann Georg Hamann.José Miranda Justo - 2020 - Doispontos 17 (1).
    Partindo do conceito hamanniano do dialógico e das respectivas relações com o filosofema da produção de mais-sentido, a presente conferência explora a categoria de alteridade enquanto nódulo conceptual central na ética. A partir desta abertura, procuraremos estabelecer uma analítica de alguns processos que conectam a questão do Outro e a questão da linguagem humana: interrogação, repetição, analogia, parataxe e substituição metafórica. Estes processos revelam-se cruciais na constituição de uma ética da descoberta, ou seja, uma ética que se articule a partir (...)
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  31.  36
    Ética E Literatura Política Num Elogio de D. João IV, Um 'Rei Para a Res Publica'.Carlota Miranda Urbano - 2011 - Humanitas 63:491-508.
  32.  17
    A Lei Natural E a Lei Escrita: Uma Leitura À Luz Do Pensamento de Nietzsche.Rogério Miranda de Almeida - 2012 - Revista de Filosofia Aurora 24 (35):289.
    Este texto tem dois objetivos principais: apresentar o conceito de “lei natural” e aquilo que seria a sua expressão como “lei escrita” e, depois, reinterpretar este conceito a partir de uma perspectiva nietzschiana. Para alcançar este duplo objetivo urge, pois, em primeiro lugar, traçar, nas suas grandes linhas, as vicissitudes que atravessou a teoria da “lei natural” ao longo da tradição #losó#ca até a sua culminância naquelas correntes do direito natural, típicas dos tempos modernos. Convém também assinalar que este conceito (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  33.  5
    Arte, Superstição E “Filosofia” No Renascimento.Rogério Miranda de Almeida - 2015 - Revista de Filosofia Aurora 27 (42):895.
    As reflexões deste artigo têm como objetivo principal mostrar que, à diferença do que se pensa habitualmente, o período do Renascimento foi marcado por uma atmosfera de magia, de superstição, de medo e angústia em face do destino e da morte. Trata-se, pois, de um período em que floresceram, ou refloresceram, as letras e as artes, mas não propriamente a ciência e a filosofia. Na verdade, a própria ciência e o que se poderia denominar filosofia — representada principalmente por duas (...)
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  34.  28
    Are Individual Differences in Appetitive and Defensive Motivation Related? A Psychophysiological Examination in Two Samples.Casey Sarapas, Andrea C. Katz, Brady D. Nelson, Miranda L. Campbell, Jeffrey R. Bishop, E. Jenna Robison-Andrew, Sarah E. Altman, Stephanie M. Gorka & Stewart A. Shankman - 2014 - Cognition and Emotion 28 (4):636-655.
  35. O Filósofo, o Sensível E o Inteligível No Fédon.João Paulo Miranda - 2013 - Griot : Revista de Filosofia 7 (1):115-122.
    O escopo deste trabalho é abordar o percurso ético-cognitivo necessário para a efetivação do papel do filósofo presente no Fédon, um dos diálogos mais famosos de Platão, levando em consideração novas concepções decorrentes de um já conhecido embate hermenêutico proveniente do altíssimo quilate literário do texto referido. Na presente abordagem, o sensível não ocupa um local pejorativamente secundário e diminuto, constituído de cópias imperfeitas e fonte de enganos, passando, com isso, a exercer uma função de relevância fundamental na construção da (...)
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  36.  17
    "Quem não é geômetra não entre!" Geometria, Filosofia e Platonismo.Gabriele Cornelli & Maria Cecília Miranda N. Coelhdeo - 2007 - Kriterion: Journal of Philosophy 48 (116):417-435.
  37.  9
    " Quem não é geômetra não entre!" Geometria, Filosofia e Platonismo.Gabriele Cornelli & Maria Cecília de Miranda N. Coelho - 2007 - Kriterion: Journal of Philosophy 48 (116):417-435.
    No categories
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  38.  13
    A Lei Natural E a Lei Escrita: Uma Leitura À Luz Do Pensamento de Nietzsche.Rogério Miranda de Almeida - 2012 - Revista de Filosofia Aurora 24 (34):289.
    Este texto tem dois objetivos principais: apresentar o conceito de “lei natural” e aquilo que seria a sua expressão como “lei escrita” e, depois, reinterpretar este conceito a partir de uma perspectiva nietzschiana. Para alcançar este duplo objetivo urge, pois, em primeiro lugar, traçar, nas suas grandes linhas, as vicissitudes que atravessou a teoria da “lei natural” ao longo da tradição #losó#ca até a sua culminância naquelas correntes do direito natural, típicas dos tempos modernos. Convém também assinalar que este conceito (...)
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  39.  5
    O Cálculo E o Risco: Heidegger E Beck.Angela Luzia Miranda - 2020 - Kriterion: Journal of Philosophy 61 (145):73-97.
    RESUMO O propósito deste artigo é aproximar o significado do pensar calculador de Heidegger e a teoria sobre a sociedade do risco de Beck, considerando suas interpelações com o significado da técnica na modernidade. Porém, mais que tratar das aproximações entre ambos os pensadores, este estudo pretende também demonstrar a importância da filosofia da técnica de Heidegger para pensar o sentido do cálculo do risco e do risco do cálculo na sociedade do risco. Assim, argumenta-se que a teoria do risco (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  40.  7
    As Escalas, o Hiato E a Circunst'ncia Técnica.Rainer Miranda Brito - 2014 - Filosofia E Educação 6 (3):209-234.
    No categories
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  41.  6
    Humanismo Renascentista E Hagiografia.Carlota Miranda Urbano - 2020 - Humanitas 76:95-113.
    Este estudo toma como ponto de partida um corpus restrito de produção hagiográfica novilatina no contexto do humanismo português. O seu autor pretende sustentar que o humanismo renascentista europeu exerceu um papel decisivo no nascimento de uma hagiografia renovada, com novas exigências críticas, filológicas e literárias. O contexto europeu de reformas doutrinais e a polémica em torno do culto dos santos foram determinantes na produção literária hagiográfica, mas outros factores foram pertinentes neste processo: certas características do espírito humanista, como o (...)
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  42.  9
    Review. Feminism & Science . Evelyn Fox Keller, Helen E Longino. [REVIEW]Miranda Fricker - 1997 - British Journal for the Philosophy of Science 48 (4):618-620.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  43.  4
    Review. Feminism & Science . Evelyn Fox Keller, Helen E Longino. [REVIEW]Miranda Fricker - 1997 - British Journal for the Philosophy of Science 48 (4):618-620.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  44.  4
    Entre a Igreja E a Escola: O Catolicismo E a Escola Do Campo No Marajó Em Conexão.Eliane Miranda Costa - 2020 - Horizonte 18 (55):275.
    O texto aborda a relação da educação escolar e o catolicismo no espaço rural, especialmente, no rio Mapuá, no município de Breves, arquipélago de Marajó, estado do Pará. Tem-se por objetivo identificar a presença do catolicismo na escola do campo e a relação com a formação dos alunos ribeirinhos. Especificamente, a perspectiva é discutir a influência dos rituais religiosos e artefatos sagrados no processo educativo e na cultura escolar do campo. É uma investigação de natureza qualitativa, fundamentada na incursão bibliográfica (...)
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  45.  6
    A Cultura, o Estado E a Educação Nos "Escritos Trágicos" de Nietzsche.Rogério Miranda de Almeida - 2014 - Filosofia E Educação 6 (1):110.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  46.  13
    A educação e a vida intelectual na Primeira Escolástica.Rogério Miranda de Almeida - 2018 - Filosofia E Educação 10 (2):264-286.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  47. Filosofia-Ontologia e metafísica em Delfim Santos.Manuel Guedes Miranda - 1987 - Revista Portuguesa de Filosofia 43 (3):337-356.
    Translate
     
     
    Export citation  
     
    Bookmark  
  48.  10
    Michel Foucault E a Antropologia: Les Mots Et les Choses E o Elogio À Etnologia.Heraldo de Cristo Miranda - 2013 - Revista de Filosofia Aurora 25 (37):245.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  49. Recusa de bafômetro é presunção de embriaguez. Rev Curso Direito FEAD Minas Gerais.J. J. Miranda - forthcoming - Phronesis.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  50.  18
    Ética da alteridade e o paradoxo da hospitalidade ao outro na educação /.José Valdinei Albuquerque Miranda - 2016 - Conjectura: Filosofia E Educação 21 (2):406-419.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000