Results for 'Albina Rodrigues-Ferreira'

1000+ found
Order:
  1.  9
    Deslocamentos crianceiros, conversas transviadas: Coisas da educação E de afirmação de Uma Vida que importa.Alexsandro Rodrigues, Castiel Vitorino Brasileiro, Jésio Zamboni, Marcelo Santana Ferreira & Steferson Zanoni Roseiro - 2018 - Childhood and Philosophy 14 (30):407-426.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  2.  8
    Recensão a: Rodrigues, Nuno Simões - Mitos e lendas: Roma Antiga.Nelson Henrique S. Ferreira - 2011 - Humanitas 63:789-791.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  3.  5
    Presalt Reservoirs of the Santos Basin: Cyclicity, Electrofacies, and Tectonic-Sedimentary Evolution.Igor de Andrade Neves, Wagner Moreira Lupinacci, Danilo Jotta Ariza Ferreira, João Paulo Rodrigues Zambrini, Luís Otávio Aguiar Oliveira, Maria Olho Azul, André Luiz Ferrari & Luiz Antonio Pierantoni Gamboa - 2019 - Interpretation 7 (4):SH33-SH43.
    Presalt reservoirs of the Santos Basin accounted for more than 50% of Brazilian hydrocarbon production in the first two months of 2019. Its most important reservoirs are found in the Barra Velha Formation; thus understanding its genesis and geologic history is essential. This formation is composed of carbonates deposited in an alkaline lacustrine environment with a multiplicity of facies from boundstones and grainstones to mudstones. We have performed a sedimentary analysis based on the integration of sidewall core samples and well (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  4.  31
    Does Overlap Mean Relevance?João Ferreira, Alberto Rodrigues Da Silva & José Delgado - 2004 - Tópicos 451:500.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  5.  8
    Um altar romano na baía do Guajará: programa iconológico e reforma católica na Catedral da Sé de Belém do Pará.Aldrin Figueiredo & Silvio Ferreira Rodrigues - 2016 - Horizonte 14 (43):975-1011.
    This article analyses the role of sacred and religious art in Amazonia in the context of the catholic renovation movement of the 19th century, known as Catholic Reform. For that, it takes the order of the main altar of Our Lady of Belém by Pará’s Bishop Antônio de Macedo Costa to Italian architect Luca Carimini as its study object. This piece, along with others made throughout the period of Pio IX’s pontificate, constitutes an iconological programme as well as an artistic (...)
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  6.  6
    A Conferência do Rio de Janeiro e a Bíblia.Reuberson Rodrigues Ferreira - 2016 - Revista de Teologia 10 (18):168-177.
    This article aims to present a reflection on the Conference of the Bishops of Latin America in Rio de Janeiro in 1955. Lived in previous ecclesial context of the Second Vatican Council II, this conference reveals, in many ways, another ecclesiology. This study, so specifically, points out its relationship with Sacred Scripture. It is proposed to analyze the quotes that the Final Document of this Assembly makes the use of the Bible for animation of church’s life. In the same way, (...)
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  7. História das lesões meniscais na reconstrução do ligamento cruzado anterior.Wilson Mello A. Jr, Paulo Cesar Ferreira Penteado, Adriano Marchetto, Ismael Fernando, Carvalho Fatarelli, Rubens Lombardi Rodrigues & Paulo Henrique Cerqueira - forthcoming - História.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  8.  22
    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  
  9.  18
    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   1 citation  
  10. 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  
  11. 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  
  12. Chapter Six Recognising Non-Western Thought in Human Rights Theory Maria Rodrigues.Maria Rodrigues - 2007 - In Julie Connolly, Michael Leach & Lucas Walsh (eds.), Recognition in Politics: Theory, Policy and Practice. Cambridge Scholars Press. pp. 101.
  13.  6
    Recensão a: Ferreira, Luísa de Nazaré; Rodrigues, Paulo Simões; Rodrigues, Nuno Simões - Plutarco e as artes: pintura, cinema e artes decorativas.Carlos de Miguel Mora - 2011 - Humanitas 63:719-722.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  14.  5
    Ethical Conflicts and Their Characteristics Among Critical Care Nurses.Teresa Lluch-Canut, Carlos Sequeira, Anna Falcó-Pegueroles, José António Pinho, Albina Rodrigues-Ferreira, Joan Guàrdia Olmos & Juan Roldan-Merino - forthcoming - Nursing Ethics:096973301985778.
    Introduction: Ethical conflict is a phenomenon that has been under study over the last three decades, especially the types moral dilemma and moral distress in the field of nursing care. However, ethical problems and their idiosyncrasies need to be further explored. Aim: The objectives of this study were, first, to obtain a transcultural Portuguese-language adaptation and validation of the Ethical Conflict Nursing Questionnaire–Critical Care Version and, second, to analyse Portuguese critical care nurses’ level of exposure to ethical conflict and its (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  15.  31
    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  
  16.  18
    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  
  17.  36
    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, the (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  18.  29
    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 segment (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  19.  27
    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 notes) (...)
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  20.  19
    Juventude numa era secular: Estudo dos impactos da secularização e condições de crença entre os jovens universitários da PUC Minas Betim.Eurides Rodrigues - 2015 - Horizonte 13 (40):2317-2319.
    Thesis summary: RODRIGUES, Eurides.Youth in a secular age: study of the impacts of secularization and belief conditions among university students of PUC Minas in Betim.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  21.  25
    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, engaged (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  22.  19
    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 razão na (...)
    Direct download (5 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  23.  32
    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 movement's (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  24.  22
    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 (2 more)  
     
    Export citation  
     
    Bookmark  
  25. Corporate Social Responsibility and Resource-Based Perspectives.Manuel Castelo Branco & Lúcia Lima Rodrigues - 2006 - Journal of Business Ethics 69 (2):111-132.
    Firms engage in corporate social responsibility (CSR) because they consider that some kind of competitive advantage accrues to them. We contend that resource-based perspectives (RBP) are useful to understand why firms engage in CSR activities and disclosure. From a resource-based perspective CSR is seen as providing internal or external benefits, or both. Investments in socially responsible activities may have internal benefits by helping a firm to develop new resources and capabilities which are related namely to know-how and corporate culture. In (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   74 citations  
  26. There Are No Good Objections to Substance Dualism.José Gusmão Rodrigues - 2014 - Philosophy 89 (2):199-222.
    This article aims to review the standard objections to dualism and to argue that will either fail to convince someone committed to dualism or are flawed on independent grounds. I begin by presenting the taxonomy of metaphysical positions on concrete particulars as they relate to the dispute between materialists and dualists, and in particular substance dualism is defined. In the first section, several kinds of substance dualism are distinguished and the relevant varieties of this kind of dualism are selected. The (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  27. Lean Transformation for Green and Financially Viable Foundries.Nh Rakshit & Dr Lewlyn Lr Rodrigues - unknown - Philosophy 6:7.
     
    Export citation  
     
    Bookmark  
  28. Taking a New Look at Looking at Nothing.Fernanda Ferreira, Jens Apel & John M. Henderson - 2008 - Trends in Cognitive Sciences 12 (11):405-410.
  29.  10
    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   13 citations  
  30. Factors Influencing Social Responsibility Disclosure by Portuguese Companies.Manuel Castelo Branco & Lúcia Lima Rodrigues - 2008 - Journal of Business Ethics 83 (4):685-701.
    This study compares the Internet (corporate web pages) and annual reports as media of social responsibility disclosure (SRD) and analyses what influences disclosure. It examines SRD on the Internet by Portuguese listed companies in 2004 and compares the Internet and 2003 annual reports as disclosure media. The results are interpreted through the lens of a multi-theoretical framework. According to the framework adopted, companies disclose social responsibility information to present a socially responsible image so that they can legitimise their behaviours to (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   18 citations  
  31.  16
    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   25 citations  
  32.  72
    Pirahã Exceptionality: A Reassessment.David Pesetsky, Andrew Nevins & Cilene Rodrigues - manuscript
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   18 citations  
  33.  60
    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   14 citations  
  34.  99
    Towards a Philosophical Understanding of the Logics of Formal Inconsistency.Walter Carnielli & Abílio Rodrigues - 2015 - Manuscrito 38 (2):155-184.
    In this paper we present a philosophical motivation for the logics of formal inconsistency, a family of paraconsistent logics whose distinctive feature is that of having resources for expressing the notion of consistency within the object language in such a way that consistency may be logically independent of non-contradiction. We defend the view according to which logics of formal inconsistency may be interpreted as theories of logical consequence of an epistemological character. We also argue that in order to philosophically justify (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  35.  31
    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   7 citations  
  36.  93
    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   22 citations  
  37. 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   6 citations  
  38. 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 (7 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  39.  58
    Definability and Invariance.N. C. A. da Costa & A. A. M. Rodrigues - 2007 - Studia Logica 86 (1):1-30.
    In his thesis Para uma Teoria Geral dos Homomorfismos (1944), the Portuguese mathematician José Sebastião e Silva constructed an abstract or generalized Galois theory, that is intimately linked to F. Klein’s Erlangen Program and that foreshadows some notions and results of today’s model theory; an analogous theory was independently worked out by M. Krasner in 1938. In this paper, we present a version of the theory making use of tools which were not at Silva’s disposal. At the same time, we (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  40. 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   1 citation  
  41. Towards Cognitive Robotics: Robotics, Biology and Developmental Psychology.Mark Lee, Ulrich Nehmzow & Marcos Rodrigues - 2012 - In David McFarland, Keith Stenning & Maggie McGonigle (eds.), The Complex Mind. Palgrave-Macmillan. pp. 103.
  42. 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 (9 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  43.  25
    Understanding Ethical Luxury Consumption Through Practice Theories: A Study of Fine Jewellery Purchases.Caroline Moraes, Marylyn Carrigan, Carmela Bosangit, Carlos Ferreira & Michelle McGrath - 2017 - Journal of Business Ethics 145 (3):525-543.
    This paper builds on existing research investigating CSR and ethical consumption within luxury contexts, and makes several contributions to the literature. First, it addresses existing knowledge gaps by exploring the ways in which consumers perform ethical luxury purchases of fine jewellery through interpretive research. Second, the paper is the first to examine such issues of consumer ethics by extending the application of theories of practice to a luxury product context, and by building on Magaudda’s :15–36, 2011) circuit of practice framework. (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  44.  25
    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   5 citations  
  45.  32
    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  
  46.  18
    Nonstandardness and the Bounded Functional Interpretation.Fernando Ferreira & Jaime Gaspar - 2015 - Annals of Pure and Applied Logic 166 (6):701-712.
  47.  13
    The Faithfulness of Fat: A Proof-Theoretic Proof.Fernando Ferreira & Gilda Ferreira - 2015 - Studia Logica 103 (6):1303-1311.
    It is known that there is a sound and faithful translation of the full intuitionistic propositional calculus into the atomic polymorphic system F at, a predicative calculus with only two connectives: the conditional and the second-order universal quantifier. The faithfulness of the embedding was established quite recently via a model-theoretic argument based in Kripke structures. In this paper we present a purely proof-theoretic proof of faithfulness. As an application, we give a purely proof-theoretic proof of the disjunction property of the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  48.  25
    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).
  49.  47
    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  
  50.  14
    Conceptual Accessibility and Sentence Production in a Free Word Order Language.Kiel Christianson & Fernanda Ferreira - 2005 - Cognition 98 (2):105-135.
1 — 50 / 1000