Results for 'Arlindo Ferreira Gonçalves'

1000+ found
Order:
  1.  18
    Dissertações e Teses v.2 n.4.Alexandre da Costa, Amauri Carlos Ferreira, Davidson Sepini Gonçalves, Aurino José Góis & Paulo Antônio Couto Faria - 2004 - Horizonte 2 (4):159-164.
    COSTA, Alexandre da. Fundamentos da bioética: estudo sobre o pensamento de Hugo Tristram Engelhardt Jr. FERREIRA, Amauri Carlos. O imaginário religioso e modos de vida urbana: experiência e memória da Juventude Católica em Belo Horizonte – MG, anos 80. GONÇALVES, Davidson Sepini. O Panóptico de Jeremy Bentham: por uma leitura utilitarista. GÓIS, Aurino José. Parque Municipal de Belo Horizonte: público, apropriações e significados. FARIA, Paulo Antônio Couto. Teologia no limiar da filosofia: a modernidade e o encontro fé e (...)
    Direct download (5 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  2. Enterprise Web Accessibility Levels Amongst the Forbes 250: Where Art Thou O Virtuous Leader? [REVIEW]Ramiro Gonçalves, José Martins, Jorge Pereira, Manuel Au-Yong Oliveira & João José P. Ferreira - 2013 - Journal of Business Ethics 113 (2):363-375.
    The research team measured the enterprise web accessibility levels of the Forbes 250 largest enterprises using the fully automatic accessibility evaluation tool Sortsite, and presented the compliance of the evaluated websites to WCAG 1.0, WCAG 2.0 and Section 508 accessibility levels. Given the recent attention to organizational leaders having ethical duties towards their dedicated employees, we propose that ‘societal citizenship behaviour’ concerns ethical duties of organizational leaders towards society in general and in particular to those who have less means to (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  3.  20
    Oxide Semiconductors: Order Within the Disorder.E. Fortunato, L. Pereira, P. Barquinha, I. Ferreira, R. Prabakaran, G. Gonçalves, A. Gonçalves & R. Martins - 2009 - Philosophical Magazine 89 (28-30):2741-2758.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  4.  12
    Nanostructured Silicon and its Application to Solar Cells, Position Sensors and Thin Film Transistors.R. Martins, L. Raniero, L. Pereira, D. Costa†, H. Águas, S. Pereira, L. Silva, A. Gonçalves, I. Ferreira & E. Fortunato - 2009 - Philosophical Magazine 89 (28-30):2699-2721.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  5.  55
    A Pessoa Humana Como Protagonista da "História Ética" Na Filosofia de María Zambrano.Arlindo Ferreira Gonçalves - 2007 - Utopía y Praxis Latinoamericana 12 (37):69-77.
    This article attempts to recover the arguments of Spanish philosopher María Zambrano, particularly from works expounding her thoughts regarding the notion of person, and to demonstrate how such a reflection engenders the constitution of the idea of history for westernman, characterized by anethi..
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  6.  19
    Recensão a: LOPES, Maria José, PINTO, Ana Paula, MELO, António, GONÇALVES, Armanda, SILVA, João Amadeu, GONÇALVES, Miguel - Narrativas do poder feminino.Paulo Sérgio Ferreira - 2013 - Humanitas 65:319-326.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  7.  31
    Aspectos Psicológicos de Doadores de Transplante Renal.Vera Maria Alves Pereira Ferreira, Ivy Gonçalves Almeida, Luciana T. Santamaría Saber, Juliana Caseiro & Ricardo Gorayeb - 2009 - Revista Aletheia 30:183-196.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  8.  29
    Ethics and Human Person According to Hispanic Ratiovitalism: Contributions of Julián Marías’s Philosophy.Arlindo F. Goncalves & José Siviero - 2009 - Ideas Y Valores 58 (140):53-71.
    This paper intends to expose and analyze the arguments of philosopher Julián Marías regarding the problem of ethics of the human person, from the approach of human life and the metaphysical anthropology. A member of the “School of Madrid”, his thinking has been inspired by the philosophy of Ortega y Gasset. This paper seeks to recover that influence’s context, to introduce the main concepts of its theoretical model, and to present their considerations about life as a projective, biographical argument, an (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  9.  28
    Ética E Pessoa humana segundo O raciovitalismo hispânico: Contribuições da filosofia de Julián marías.Arlindo F. Gonçalves & José Marcelo Siviero - 2009 - Ideas Y Valores 58 (140):53-71.
    Se trata de exponer y examinar los argumentos del filósofo Julián Marías en relación con el problema de la ética de la persona humana, desde la perspectiva de la vida humana y de la Antropología metafísica. Integrante de la "Escuela de Madrid", su pensamiento ha sido inspirado por la filosofía rac..
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  10. A prática da reutilização nas sociedades ocidentais da atualidade: Uma pesquisa sobre O comércio de Roupas usadas na cidade de juiz de fora.Ivianny Luíza Gonçalves Crescêncio & Lorena Ribeiro Ferreira - forthcoming - Principia.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  11.  19
    A Cáritas brasileira e a Economia Popular Solidária: O Agente de Cáritas e a Caridade Libertadora (Brazilian Caritas and the Popular Solidarity Economy: The Agent of Caritas and the Charity Liberating) - DOI: 10.5752/P.2175-5841.2013v11n32p1506. [REVIEW]Alicia Ferreira Gonçalves & Joannes Paulus Silva Forte - 2013 - Horizonte 11 (32):1506-1524.
    O presente artigo analisa as ligações entre a Cáritas Brasileira e a Economia Popular Solidária a partir do trabalho do Agente de Cáritas. A problemática central do artigo remete às representações sociais que esses Agentes constroem em seus relatos sobre os princípios da Teologia da Libertação que norteiam os projetos em economia solidária da referida instituição religiosa. A metodologia de base qualitativa e etnográfica consistiu na realização da revisão bibliográfica, consulta a materiais institucionais, observação in loco e entrevistas semiestruturadas com (...)
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  12.  13
    A Propósito da Crítica Nos Estudos da Linguagem: O Sublime Objeto da Ideologia.Maria Gonçalves Peixoto & Ruberval Ferreira - 2015 - International Journal of Žižek Studies 9 (2).
    Este artigo discute a concepção de crítica da ideologia articulada nos estudos críticos da linguagem, mais especialmente na Análise de Discurso Crítica. O objetivo é problematizar a apreensão da categoria, a fim de repensar a natureza da ideologia e a prática de análise discursiva, a partir de uma perspectiva radical de crítica da linguagem. Em vista dessa pauta, organiza-se a investigação em quatro momentos. Inicialmente, reconstitui-se o percurso histórico de constituição da concepção negativa de ideologia na filosofia, em virtude do (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  13.  3
    Meta-Analytic Evidence for a Reversal Learning Effect on the Iowa Gambling Task in Older Adults.Rita Pasion, Ana R. Gonçalves, Carina Fernandes, Fernando Ferreira-Santos, Fernando Barbosa & João Marques-Teixeira - 2017 - Frontiers in Psychology 8.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  14.  15
    The Point Outside the World: Kierkegaard and Wittgenstein on Nonsense, Paradox and Religion: M. Jamie Ferreira.M. Jamie Ferreira - 1994 - Religious Studies 30 (1):29-44.
    Much has been made of the Kierkegaardian flavour of Wittgenstein's thought on religion, both with respect to its explicit allusions to Kierkegaard and its implicit appeals. Even when significant disparities between the two are noted, there remains an important core of de facto methodological agreement between them, addressing the limits of theory and the dispelling of illusion. The categories of ‘nonsense’ and ‘paradox’ are central to Wittgenstein's therapeutic enterprise, while the categories of ‘paradox’ and the ‘absurd’ are central to much (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  15.  14
    Leaps and Circles: Kierkegaard and Newman on Faith and Reason: M. Jamie Ferreira.M. Jamie Ferreira - 1994 - Religious Studies 30 (4):379-397.
    Søren Kierkegaard and John Henry Newman have starkly opposed formulations of the relation between faith and reason. In this essay I focus on a possible convergence in their respective understandings of the transition to religious belief or faith, as embodied in metaphors they use for a qualitative transition. I explore the ways in which attention to the legitimate dimension of discontinuity highlighted by the Climacan metaphor of the ‘leap’ can illuminate Newman's use of the metaphor of a ‘polygon inscribed in (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  16. Razão e Liberdade. Homenagem a Manuel José do Carmo Ferreira.Carlos João Correia, António Pedro Mesquita & Leonel Ribeiro Ferreira (eds.) - 2010 - Lisboa, Portugal: Centro de Filosofia da Universidade de Lisboa.
    Translate
     
     
    Export citation  
     
    Bookmark  
  17. Razão E Liberdade: Homenagem a Manuel José Do Carmo Ferreira.Manuel J. Carmo Ferreira (ed.) - 2010 - Centro de Filosofia da Universidade de Lisboa.
    Translate
     
     
    Export citation  
     
    Bookmark  
  18.  16
    Renascimento da Tragédia. Ferreira Gonçalves E Maria Cristina, O Belo Eo Destino-Uma Introdução À Filosofia de Hegel.Sílvio Rosa Filho - 2002 - Cadernos de Filosofia Alemã 8:138-141.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  19. A pessoa humana como protagonista da" História Ética" na filosofia de María Zambrano.Arlindo Ferreira Gonçalves - 2007 - Utopía y Praxis Latinoamericana: Revista Internacional de Filosofía Iberoamericana y Teoría Social 37:71-80.
    Translate
     
     
    Export citation  
     
    Bookmark  
  20.  28
    Modelling Artificial Cognition in Biosemiotic Terms.Maria Isabel Aldinhas Ferreira & Miguel Gama Caldas - 2013 - Biosemiotics 6 (2):245-252.
    Stemming from Uexkull’s fundamental concepts of Umwelt and Innenwelt as developed in the biosemiotic approach of Ferreira 2010, 2011, the present work models mathematically the semiosis of cognition and proposes an artificial cognitive architecture to be deployed in a robotic structure.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  21.  16
    Typical Cyclical Behavioural Patterns: The Case of Routines, Rituals and Celebrations. [REVIEW]Maria Isabel Aldinhas Ferreira - 2014 - Biosemiotics 7 (1):63-72.
    The dynamics inherent to the life activity of all living systems presents itself in the form of regular patterns viewed by the observer as taking place in an extended timeline. Routines, rituals and celebrations, each in their own way, are defined by the typical cyclical behavioural patterns exhibited by individuals embedded in specific semiospheres. The particular nature of these semiospheres will determine the distinct patterns of behaviour to be adopted in different life contexts so that existential functions are fulfilled. The (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  22.  30
    The Concept of Umwelt Overlap and its Application to Cooperative Action in Multi-Agent Systems.Maria Isabel Aldinhas Ferreira & Miguel Gama Caldas - 2013 - Biosemiotics 6 (3):497-514.
    The present paper stems from the biosemiotic modelling of individual artificial cognition proposed by Ferreira and Caldas (2012) but goes further by introducing the concept of Umwelt Overlap. The introduction of this concept is of fundamental importance making the present model closer to natural cognition. In fact cognition can only be viewed as a purely individual phenomenon for analytical purposes. In nature it always involves the crisscrossing of the spheres of action of those sharing the same environmental bubble. Plus, (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  23.  25
    Resenhas v. 4 n. 8.Amauri Carlos Ferreira, Antônio Francisco da Silva, Ivonei Antônio de Oliveira, João Batista Libanio, Lindomar Rocha Mota & Roberlei Panasiewicz - 2006 - Horizonte 4 (8):153-171.
    SENA, Luzia (Org.). Ensino religioso e formação docente . (Religious teaching and teacher qualification) Amauri Carlos Ferreira SANGENIS, Luiz Fernando Conde. Gênese do pensamento único em educação: franciscanismo e jesuitismo na história da educação brasileira. (Genesis of an only thought in education: franciscanism and Jesuitism in the history of Brazilian education) Antônio Francisco da Silva TREVISAN, A. Santo Tomás de Aquino – O Credo: tradução, prefácio, introdução e notas. (Saint Thomas of Aquinas – The Creed: translation, preface, introduction and (...)
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  24. Apresentação.Fernando do Nascimento Gonçalves - 2008 - Logos: Comuniação e Univerisdade 15 (2):7-9.
    A crise dos modelos de representação fundadas em unidades coerentes e ordenadas parece ter como um dos traços o que Bruno Latour (1993) chamou de “híbridos”(1). Os híbridos são a figura da multiplicidade que não cabe em categorias e que a modernidade “varia para baixo do tapete”. Atualmente, assistimos ao “retorno dos que nunca foram”, que interpelam de forma contundente nossas formas de vida, fortemente apoiadas na técnica. Mas como apreender os fluxos de discursos e práticas mediatizadas que nos atravessam (...)
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  25.  26
    Scepticism and Reasonable Doubt: The British Naturalist Tradition in Wilkins, Hume, Reid and Newman.M. Jamie Ferreira - 1986 - Oxford University Press.
    Charting the development of the British tradition of naturalism from the 17th to the 19th century, this book provides fascinating insight into a wide range of thinkers, both Catholic and Protestant, who explored the themes of proof, practice, and the role of common sense. Reappraising what these thinkers can teach us about the relations between belief, action, and skepticism, Ferreira contributes to the philosophical study of naturalist replies to skepticism, as well as to a deeper appreciation of this particular (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  26.  21
    Interactive Bodies: The Semiosis of Architectural Forms.Maria Isabel Aldinhas Ferreira - 2012 - Biosemiotics 5 (2):269-289.
    In this paper architectural forms are presented as symbolic forms issued from the complex semiosis that characterises human cognition (Ferreira (2007, 2010)). Being semiotic objects, these symbolic forms are, consequently, context- dependent_they emerge and have meaning, i.e., they are assigned a functional and/or aesthetic value, in particular physical, social and cultural frameworks. As it happens with all semiotic objects, architectural forms, whatever their nature, are not static but highly interactive. In fact, they act as agents of specific semiotic processes, (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  27.  30
    Perfectionism and the Common Good: Themes in the Philosophy of T.H. Green (Review).Phillip Ferreira - 2005 - Journal of the History of Philosophy 43 (3):369-370.
    Phillip Ferreira - Perfectionism and the Common Good: Themes in the Philosophy of T.H. Green - Journal of the History of Philosophy 43:3 Journal of the History of Philosophy 43.3 369-370 David O. Brink. Perfectionism and the Common Good: Themes in the Philosophy of T. H. Green. Oxford: Clarendon Press, 2003. Pp. xiv + 139. Cloth, $27.50. The British idealists have not fared well during the past century. Still, there has been in recent years a renewed interest in the (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  28.  17
    O neopentecostalimo da IURD: Emergência ético-religiosa. Dissertação (Mestrado).Delmo Gonçalves - 2013 - Horizonte 11 (32):1652-1653.
    GONÇALVES, Delmo. O neopentecostalimo da IURD: Emergência ético-religiosa. Dissertação (Mestrado) 2013. 99p. - Pontifícia Universidade Católica de Minas Gerais, Programa de Pós-graduação em Ciências da Religião, Belo Horizonte.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  29.  17
    On the Notion of Object. A Logical Genealogy.Fernando Ferreira - 2012 - Disputatio 4 (34):609-624.
    Ferreira-Fernando_On-the-notion-of-object.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  30.  10
    A renúncia de Deus como experiência místico-especulativa: o apofaticismo do Pseudo-Dionísio e o anúncio histórico da morte divina.Werbert Cirilo Gonçalves - 2014 - Horizonte 12 (34):606-607.
    GONÇALVES, Werbert Cirilo. A Renúncia de Deus como experiência Místico-Especulativa: o apofaticismo do Pseudo-Dionísio e o anúncio histórico da morte divina. 2014. Dissertação (Mestrado), Programa de Pós-graduação em Ciências da Religião, Pontifícia Universidade Católica de Minas Gerais, Belo Horizonte. Palavras-chave: Renúncia de Deus. Mística-especulativa. Pseudo-Dionísio. Apofaticismo. Morte de Deus. Keywords: Resignation of God. Speculative-mysticism. Pseudo-Dionysius. Apophaticism. Death of God.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  31. Taking a New Look at Looking at Nothing.Fernanda Ferreira, Jens Apel & John M. Henderson - 2008 - Trends in Cognitive Sciences 12 (11):405-410.
  32.  9
    Cognitive Constraints on Constituent Order: Evidence From Elicited Pantomime.Matthew L. Hall, Rachel I. Mayberry & Victor S. Ferreira - 2013 - Cognition 129 (1):1-17.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  33.  6
    Love's Grateful Striving a Commentary on Kierkegaard's Works of Love.M. Jamie Ferreira - 2001 - Oxford University Press.
    Direct download  
     
    Export citation  
     
    Bookmark   19 citations  
  34.  7
    Bounded Functional Interpretation.Fernando Ferreira & Paulo Oliva - 2005 - Annals of Pure and Applied Logic 135 (1):73-112.
    We present a new functional interpretation, based on a novel assignment of formulas. In contrast with Gödel’s functional “Dialectica” interpretation, the new interpretation does not care for precise witnesses of existential statements, but only for bounds for them. New principles are supported by our interpretation, including the FAN theorem, weak König’s lemma and the lesser limited principle of omniscience. Conspicuous among these principles are also refutations of some laws of classical logic. Notwithstanding, we end up discussing some applications of the (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   24 citations  
  35.  75
    Schizophrenia, Social Practices and Cultural Values: A Conceptual Introduction.Inês Hipólito, J. Pereira & J. Gonçalves - 2018 - In Inês Hipólito, Jorge Gonçalves & João G. Pereira (eds.), Studies in Brain and Mind. Springer Verlag. pp. 1-15.
    Schizophrenia is usually described as a fragmentation of subjective experience and the impossibility to engage in meaningful cultural and intersubjective practices. Although the term schizophrenia is less than 100 years old, madness is generally believed to have accompanied mankind through its historical and cultural ontogeny. What does it mean to be “mad”? The failure to adopt social practices or to internalize cultural values of common sense? Despite the vast amount of literature and research, it seems that the study of schizophrenia (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  36. Comments on Predicative Logic.Fernando Ferreira - 2006 - Journal of Philosophical Logic 35 (1):1-8.
    We show how to interpret intuitionistic propositional logic into a predicative second-order intuitionistic propositional system having only the conditional and the universal second-order quantifier. We comment on this fact. We argue that it supports the legitimacy of using classical logic in a predicative setting, even though the philosophical cast of predicativism is nonrealistic. We also note that the absence of disjunction and existential quantifications allows one to have a process of normalization of proofs that avoids the use of "commuting conversions.".
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  37.  75
    On the Consistency of the Δ11-CA Fragment of Frege's Grundgesetze.Fernando Ferreira & Kai F. Wehmeier - 2002 - Journal of Philosophical Logic 31 (4):301-311.
    It is well known that Frege's system in the Grundgesetze der Arithmetik is formally inconsistent. Frege's instantiation rule for the second-order universal quantifier makes his system, except for minor differences, full (i.e., with unrestricted comprehension) second-order logic, augmented by an abstraction operator that abides to Frege's basic law V. A few years ago, Richard Heck proved the consistency of the fragment of Frege's theory obtained by restricting the comprehension schema to predicative formulae. He further conjectured that the more encompassing Δ₁¹-comprehension (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   19 citations  
  38.  6
    On Understanding the Self of the Schizophrenics.Jorge Gonçalves - 2017 - Journal of Evaluation in Clinical Practice 23 (5):1013-1019.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  39.  58
    Why Don't Concepts Constitute a Natural Kind?Richard Samuels & Michael Ferreira - 2010 - Behavioral and Brain Sciences 33 (2-3):222 - 223.
    Machery argues that concepts do not constitute a natural kind. We argue that this is a mistake. When appropriately construed, his discussion in fact bolsters the claim that concepts are a natural kind.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  40.  30
    Investigating Constituent Order Change With Elicited Pantomime: A Functional Account of SVO Emergence.Matthew L. Hall, Victor S. Ferreira & Rachel I. Mayberry - 2014 - Cognitive Science 38 (5):943-972.
    One of the most basic functions of human language is to convey who did what to whom. In the world's languages, the order of these three constituents (subject [S], verb [V], and object [O]) is uneven, with SOV and SVO being most common. Recent experiments using experimentally elicited pantomime provide a possible explanation of the prevalence of SOV, but extant explanations for the prevalence of SVO could benefit from further empirical support. Here, we test whether SVO might emerge because (a) (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  41. Monty Hall Drives a Wedge Between Judy Benjamin and the Sleeping Beauty: A Reply to Bovens.Luc Bovens & Jose-Luis Ferreira - 2010 - Analysis 70 (3):473 - 481.
    In “Judy Benjamin is a Sleeping Beauty” (2010) Bovens recognises a certain similarity between the Sleeping Beauty (SB) and the Judy Benjamin (JB). But he does not recognise the dissimilarity between underlying protocols (as spelled out in Shafer (1985). Protocols are expressed in conditional probability tables that spell out the probability of coming to learn various propositions conditional on the actual state of the world. The principle of total evidence requires that we not update on the content of the proposition (...)
    Direct download (14 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  42. Equivalence of Defeasible Normative Systems.José Júlio Alferes, Ricardo Gonçalves & João Leite - 2013 - Journal of Applied Non-Classical Logics 23 (1-2):25-48.
    Normative systems have been advocated as an effective tool to regulate interaction in multi-agent systems. The use of deontic operators and the ability to represent defeasible information are known to be two fundamental ingredients to represent and reason about normative systems. In this paper, after introducing a framework that combines standard deontic logic and non-monotonic logic programming, deontic logic programs (DLP), we tackle the fundamental problem of equivalence between normative systems using a deontic extension of David Pearce?s Equilibrium Logic and (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  43. A Feasible Theory for Analysis.Fernando Ferreira - 1994 - Journal of Symbolic Logic 59 (3):1001-1011.
    We construct a weak second-order theory of arithmetic which includes Weak König's Lemma (WKL) for trees defined by bounded formulae. The provably total functions (with Σ b 1 -graphs) of this theory are the polynomial time computable functions. It is shown that the first-order strength of this version of WKL is exactly that of the scheme of collection for bounded formulae.
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  44.  30
    How Do Speakers Avoid Ambiguous Linguistic Expressions?Victor S. Ferreira, L. Robert Slevc & Erin S. Rogers - 2005 - Cognition 96 (3):263-284.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  45. Indigência E penúria na era da técnica.Wanderley Jose Ferreira - 2013 - Philósophos - Revista de Filosofia 18 (1):219-239.
    Take as basic references some reflections of the philosopher Martin Heidegger about the planetary domain technique to show a shortage of time marked by the end of philosophy as metaphysics by its achievement in technical sciences. It also explains how this end of philosophy in the age of planetary domain technique can be the starting point for a new beginning of thinking, thinking beyond the limits of calculative thinking. In the concluding part of the article seeks to determine the character (...)
    Translate
     
     
    Export citation  
     
    Bookmark  
  46.  11
    Nonstandardness and the Bounded Functional Interpretation.Fernando Ferreira & Jaime Gaspar - 2015 - Annals of Pure and Applied Logic 166 (6):701-712.
  47.  23
    Benton, RA, 527 Blackburn, P., 281 Braüner, T., 359 Brink, C., 543.S. Chopra, B. J. Copeland, E. Corazza, S. Donaho, F. Ferreira, H. Field, D. M. Gabbay, L. Goldstein, J. Heidema & M. J. Hill - 2002 - Journal of Philosophical Logic 31 (615).
  48.  35
    Commuting Conversions Vs. The Standard Conversions of the “Good” Connectives.Fernando Ferreira & Gilda Ferreira - 2009 - Studia Logica 92 (1):63-84.
    Commuting conversions were introduced in the natural deduction calculus as ad hoc devices for the purpose of guaranteeing the subformula property in normal proofs. In a well known book, Jean-Yves Girard commented harshly on these conversions, saying that ‘one tends to think that natural deduction should be modified to correct such atrocities.’ We present an embedding of the intuitionistic predicate calculus into a second-order predicative system for which there is no need for commuting conversions. Furthermore, we show that the redex (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  49. On End‐Extensions of Models of ¬Exp.Fernando Ferreira - 1996 - Mathematical Logic Quarterly 42 (1):1-18.
    Every model of IΔ0 is the tally part of a model of the stringlanguage theory Th-FO . We show how to “smoothly” introduce in Th-FO the binary length function, whereby it is possible to make exponential assumptions in models of Th-FO. These considerations entail that every model of IΔ0 + ¬exp is a proper initial segment of a model of Th-FO and that a modicum of bounded collection is true in these models.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  50.  21
    Atomic Polymorphism.Fernando Ferreira & Gilda Ferreira - 2013 - Journal of Symbolic Logic 78 (1):260-274.
    It has been known for six years that the restriction of Girard's polymorphic system $\text{\bfseries\upshape F}$ to atomic universal instantiations interprets the full fragment of the intuitionistic propositional calculus. We firstly observe that Tait's method of “convertibility” applies quite naturally to the proof of strong normalization of the restricted Girard system. We then show that each $\beta$-reduction step of the full intuitionistic propositional calculus translates into one or more $\beta\eta$-reduction steps in the restricted Girard system. As a consequence, we obtain (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
1 — 50 / 1000