Results for 'Francirosy Campos Barbosa Ferreira'

1000+ found
Order:
  1.  12
    Telenovela e Islã: dos estereótipos à visibilidade.Francirosy Campos Barbosa Ferreira - 2015 - Horizonte 13 (38):771-802.
    O objetivo deste artigo é apresentar reflexões sobre o núcleo muçulmano da telenovela O Clone , que foi exibido entre outubro de 2001 e junho de 2002, na Rede Globo de Televisão, tendo sua reprise iniciada em janeiro de 2011. Telenovela escrita por Gloria Perez autora conhecida pelos temas “étnicos” e de cunho social, tais como, ciganos, muçulmanos, indianos, transplante de órgãos, alcoolismo, imigração ilegal, clonagem humana. O argumento que sustento é que a novela “salvou” a comunidade islâmica brasileira da (...)
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  2.  4
    Hajj, Umrah – uma peregrinação num espaço energizado e concêntrico (Hajj, Umrah - a pilgrimage in a space energized and concentric) - DOI: 10.5752/P.2175-5841.2013v11n31p891. [REVIEW]Francirosy Campos Barbosa Ferreira - 2013 - Horizonte 11 (31):891-913.
    Este artigo trata de um dos rituais mais importantes do Islã, que é a realização do Hajj (peregrinação à Meca) e da Umrah (peregrinação menor). O Hajj é o quinto pilar da religião e deve ser feito se a pessoa tiver condição física e econômica para empreender a peregrinação de acordo com o calendário islâmico. A realização do percurso se dá em cinco dias, que devem ser cumpridos à risca. A Umrah é recomendável e pode ser feita em qualquer período (...)
    Direct download (6 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  3.  20
    José Barbosa de Sá's Idea of Nature, with Special Reference to Plants.Rafael Dias da Silva Campos & Christian Fausto Moraes Dos Santos - 2015 - Scientiae Studia 13 (3):519-545.
    RESUMOEste artigo visa discutir elementos filosóficos presentes na obra de José Barbosa de Sá. Buscamos analisar o sistema de classificação botânica do autor, observando a relação com a construção de analogias e similitudes, avaliando em que medida tais ideias se coadunavam com concepções religiosas. Procuramos ainda discutir o conhecido debate sobre a reprodução vegetal no século XVIII, analisando concepções não acadêmicas. ABSTRACTThis article aims to discuss philosophical elements of the work of José Barbosa de Sá. We seek to (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  4.  3
    Attachment Dimensions and Spatial Navigation in Female College Students: The Role of Comfort With Closeness and Confidence in Others.Nuno Barbosa Rocha, Andreia Lemos, Carlos Campos, Susana Rocha, Tetsuya Yamamoto, Sérgio Machado & Eric Murillo-Rodriguez - 2019 - Frontiers in Psychology 10.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  5.  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  
  6.  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  
  7. David I. Anderson, Joseph J. Campos, and Marianne A. Barbu-Roth.Joseph J. Campos - 2004 - In Gavin Bremner & Alan Slater (eds.), Theories of Infant Development. Blackwell. pp. 30.
    No categories
     
    Export citation  
     
    Bookmark  
  8. San Maximiliano María Kolbe: Un hombre reconciliado y reconciliador en los campos de exterminio.Tomás Gálvez Campos - 1986 - Verdad y Vida 44 (174):283-290.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  9. FEDEFAM: 30 años de lucha contra la desaparición forzada, 1981-2011: Entrevista con Judith Galarza CAMPOS. Caracas. Venezuela, abril de 2011. [REVIEW]Mario Ayala & Judith Galarza Campos - 2011 - Aletheia: Anuario de Filosofía 2 (3):12 - 6.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  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.  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  
  13.  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  
  14.  35
    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  
  15.  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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  16.  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 (...)
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  17.  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, (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  18.  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 (...)
    Direct download (5 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  19.  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 (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  20.  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  
  21. Understanding Gay and Lesbian Youth: Lessons for Straight School Teachers, Counselors, and Administrators.David Campos - 2005 - R&L Education.
    Understanding Gay and Lesbian Youth assists the classroom teacher, school counselor, and administrator in relating to gay and lesbian youth and creating accepting and supportive learning climates. David Campos begins with a discussion of the current state of affairs regarding gay and lesbian youth in schools, including a discourse on the developmental milestones, and provides practical strategies for working effectively with these students.
     
    Export citation  
     
    Bookmark  
  22.  10
    Recensão a: JESUS, Carlos A. Martins, FILHO, Cláudio Castro, FERREIRA, José Ribeiro - Hipólito e Fedra: nos caminhos de um mito.Tereza Virgínia Ribeiro Barbosa - 2013 - Humanitas 65:314-317.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  23.  10
    Connecting Onshore-Offshore Campos Basin Structures: Interpretation of High-Resolution Airborne Magnetic Data.Juarez Lourenço, Paulo T. L. Menezes & Valeria C. F. Barbosa - 2014 - Interpretation: SEG 2 (4):SJ35-SJ45.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  24. Taking a New Look at Looking at Nothing.Fernanda Ferreira, Jens Apel & John M. Henderson - 2008 - Trends in Cognitive Sciences 12 (11):405-410.
  25.  14
    What is Shared, What is Different? Core Relational Themes and Expressive Displays of Eight Positive Emotions.Belinda Campos, Michelle N. Shiota, Dacher Keltner, Gian C. Gonzaga & Jennifer L. Goetz - 2013 - Cognition and Emotion 27 (1):37-52.
  26.  48
    Reconceptualizing Emotion Regulation.Joseph J. Campos, Eric A. Walle, Audun Dahl & Alexandra Main - 2011 - Emotion Review 3 (1):26-35.
    Emotion regulation is one of the major foci of study in the fields of emotion and emotional development. This article proposes that to properly study emotion regulation, one must consider not only an intrapersonal view of emotion, but a relational one as well. Defining properties of intrapersonal and relational approaches are spelled out, and implications drawn for how emotion regulation is conceptualized, how studies are designed, how findings are interpreted, and how generalizations are drawn. Most research to date has been (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  27.  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  
  28.  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  
  29.  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  
  30.  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  
  31. 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  
  32. Sob as Bênçãos da Igreja: O Casamento de Escravos Na Legislação Brasileira With the Church Blessings: The Marriage of Slaves in The.Adriana Pereira Campos & Patrícia M. da Silva Merlo - 2005 - Topoi 6 (11):327-361.
     
    Export citation  
     
    Bookmark  
  33. 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  
  34.  41
    New Malaise: Bioethics and Human Rights in the Global Era.Paul Farmer & Nicole Gastineau Campos - 2004 - Journal of Law, Medicine and Ethics 32 (2):243-251.
  35.  59
    The Logic of Medical Diagnosis.Donald E. Stanley & Daniel G. Campos - 2013 - Perspectives in Biology and Medicine 56 (2):300-315.
  36. 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  
  37.  29
    Imagination, Concentration, and Generalization: Peirce on the Reasoning Abilities of the Mathematician.Daniel G. Campos - 2009 - Transactions of the Charles S. Peirce Society 45 (2):135-156.
  38.  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  
  39. Escravidão, reprodução endógena e crioulização: o caso do Espírito Santo no Oitocentos.Adriana Pereira Campos - 2011 - Topoi: Revista de História 12 (23):84-96.
    Translate
     
     
    Export citation  
     
    Bookmark  
  40.  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  
  41.  14
    Conceptual Accessibility and Sentence Production in a Free Word Order Language.Kiel Christianson & Fernanda Ferreira - 2005 - Cognition 98 (2):105-135.
  42. 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 (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  43.  26
    Spinoza's Revolutions in Natural Law.Andre Santos Campos - 2012 - Palgrave-Macmillan.
    The book forms a balanced structure in which the three conceptual pillars of Spinoza's natural law theory (individuality, natural laws, and power) are first analyzed from the viewpoint of his ontology and then from the viewpoint of his ...
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  44. The Surprise Exam Paradox, Rationality, and Pragmatics: A Simple Game‐Theoretic Analysis.José Luis Ferreira & Jesús Zamora Bonilla - 2008 - Journal of Economic Methodology 15 (3):285-299.
    The surprise exam paradox has attracted the attention of prominent logicians, mathematicians and philosophers for decades. Although the paradox itself has been resolved at least since Quine, some aspects of it are still being discussed. In this paper we propose, following Sober, to translate the paradox into the language of game theory to clarify these aspects. Our main conclusions are that a much simpler game?theoretic analysis of the paradox is possible, which solves most of the puzzles related to it, and (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  45.  24
    Interpersonal Responding to Discrete Emotions: A Functionalist Approach to the Development of Affect Specificity.Eric A. Walle & Joseph J. Campos - 2012 - Emotion Review 4 (4):413-422.
    To date, emotion research has primarily focused on the experience and display of the emoter. However, of equal, if not more, importance is how such displays impact and guide the behavior of an observer. We incorporate a functionalist framework of emotion to examine the development of differential responding to discrete emotion, theorize on what may facilitate its development, and hypothesize the functions that may underlie such behavioral responses. Although our review is focused primarily on development, the theoretical and methodological ideas (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  46.  8
    Injecting Uniformities Into Peano Arithmetic.Fernando Ferreira - 2009 - Annals of Pure and Applied Logic 157 (2-3):122-129.
    We present a functional interpretation of Peano arithmetic that uses Gödel’s computable functionals and which systematically injects uniformities into the statements of finite-type arithmetic. As a consequence, some uniform boundedness principles are interpreted while maintaining unmoved the -sentences of arithmetic. We explain why this interpretation is tailored to yield conservation results.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  47.  33
    The Co-Ordination Principles: A Problem for Bilateralism.Fernando Ferreira - 2008 - Mind 117 (468):1051-1057.
    In "'Yes" and "No'" (2000), Ian Rumfitt proposed bilateralism--a use-based account of the logical words, according to which the sense of a sentence is determined by the conditions under which it is asserted and denied. One of Rumfitt's key claims is that bilateralism can provide a justification of classical logic. This paper raises a techical problem for Rumfitt's proposal, one that seems to undermine the bilateralist programme.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  48.  50
    Groundwork for Weak Analysis.António M. Fernandes & Fernando Ferreira - 2002 - Journal of Symbolic Logic 67 (2):557-578.
    This paper develops the very basic notions of analysis in a weak second-order theory of arithmetic BTFA whose provably total functions are the polynomial time computable functions. We formalize within BTFA the real number system and the notion of a continuous real function of a real variable. The theory BTFA is able to prove the intermediate value theorem, wherefore it follows that the system of real numbers is a real closed ordered field. In the last section of the paper, we (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  49.  34
    Bounded Modified Realizability.Fernando Ferreira & Ana Nunes - 2006 - Journal of Symbolic Logic 71 (1):329 - 346.
    We define a notion of realizability, based on a new assignment of formulas, which does not care for precise witnesses of existential statements, but only for bounds for them. The novel form of realizability supports a very general form of the FAN theorem, refutes Markov's principle but meshes well with some classical principles, including the lesser limited principle of omniscience and weak König's lemma. We discuss some applications, as well as some previous results in the literature.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  50. An Economic Model of Scientific Rules.José Luis Ferreira & Jesús Zamora-bonilla - 2006 - Economics and Philosophy 22 (2):191-212.
    Empirical reports on scientific competition show that scientists can be depicted as self-interested, strategically behaving agents. Nevertheless, we argue that recognition-seeking scientists will have an interest in establishing methodological norms which tend to select theories of a high epistemic value, and that these norms will be still more stringent if the epistemic value of theories appears in the utility function of scientists, either directly or instrumentally. (Published Online July 11 2006) Footnotes1 The author gratefully acknowledges financial support from DGI grant (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   2 citations  
1 — 50 / 1000