Results for 'Túlio Sérgio Henriques Ferreira'

1000+ found
Order:
  1.  3
    O Antiamericanismo E a Política Exterior de Lula da Silva.Túlio Sérgio Henriques Ferreira & Hildeberto Holanda Alves Costa Filho - 2017 - Dialogos 21 (3):229-246.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  2.  12
    mCSEM Data Interpretation for Hydrocarbon Exploration: A Fast Interpretation Workflow for Drilling Decision.Marco Polo P. Buonora, Jorlivan L. Correa, Luciano S. Martins, Paulo T. L. Menezes, Emanuel J. C. Pinho, Joao L. Silva Crepaldi, Mirela P. P. Ribas, Sergio M. Ferreira & Rafael C. Freitas - 2014 - Interpretation: SEG 2 (3):SH1-SH11.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  3.  4
    TEIXEIRA, Cláudia, Estrutura, personagens e enganos: introdução à leitura de As Báquides de Plauto.Paulo Sérgio Ferreira - 2018 - Humanitas 71:133-137.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  4.  2
    My Dream, My Rules: Can Lucid Dreaming Treat Nightmares?Tainá Carla Freitas de Macêdo, Glescikelly Herminia Ferreira, Katie Moraes de Almondes, Roumen Kirov & Sérgio Arthuro Mota-Rolim - 2019 - Frontiers in Psychology 10.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  5.  29
    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  
  6.  9
    Some Notes on Animal Imagery in Euripides’ Hecuba: The Characterization of the Hero and the Transversal Symbols of the Bitch and the Wolf.Nelson Henriques Ferreira - 2017 - Humanitas 70:9-23.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  7.  11
    Recensão a: Serghi dou, Anastasia - Servitude tragique. Esclaves et héros déchus dans la tragédie grecque.Paulo Sérgio Ferreira - 2012 - Humanitas 64:299-304.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  8.  12
    Contributo para O estudo da relação entre estoicismo E moral tradicional Romana em séneca. A vniversi generis hvmani societas ea pietas erga parentes1.Paulo Sérgio Margarido Ferreira - 2011 - Humanitas 63:303-320.
    No categories
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  9.  12
    „Marcial Eo Teatro “.Paulo Sérgio Ferreira - 2004 - Humanitas 56:87-116.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  10.  8
    Recensão a: Gonzales, Antonio ed.- La fin du statut servile? . 30e colloque du Groupe International de Recherches sur l’Esclavage dans l’Antiquité – Besançon – 15-16-17 décembre 2005. [REVIEW]Paulo Sérgio Ferreira - 2012 - Humanitas 64:258-262.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  11.  25
    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  
  12.  19
    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  
  13. 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  
  14. 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  
  15. As Cartas de Problemática de António Sérgio.António Sérgio - 2012 - Fim de Século.
    Translate
     
     
    Export citation  
     
    Bookmark  
  16.  37
    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   2 citations  
  17.  34
    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  
  18.  19
    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  
  19.  31
    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  
  20.  29
    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  
  21.  27
    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  
  22.  33
    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  
  23.  24
    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  
  24.  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 (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  25. Taking a New Look at Looking at Nothing.Fernanda Ferreira, Jens Apel & John M. Henderson - 2008 - Trends in Cognitive Sciences 12 (11):405-410.
  26.  13
    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  
  27.  19
    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  
  28.  61
    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  
  29.  96
    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  
  30. 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  
  31. 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  
  32. 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   16 citations  
  33.  28
    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  
  34. 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  
  35.  9
    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  
  36. 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  
  37.  36
    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  
  38.  53
    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  
  39.  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  
  40.  24
    On Meaning: A Biosemiotic Approach. [REVIEW]Maria Isabel Aldinhas Ferreira - 2010 - Biosemiotics 3 (1):107-130.
    A life form and its environment constitute an essential unit, a microcosm. This microcosm is sustained by a privileged dialectic relationship in which the embedded agent- an entity endowed with a particular physical architecture- and its specific environment, coupled, mutually influence each other. Identical principles rule both the basic forms of semiotic organisation and the upper forms. When we distinguish these two levels of semiotic structuring we are distinguishing the semiotic relations that involve a stimulus-response relationship, which is dyadic in (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  41. 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  
  42. On Meaning: Individuation and Identity--The Definition of a World View.M. I. Ferreira - 2011 - Cambridge Scholars Press.
     
    Export citation  
     
    Bookmark   2 citations  
  43.  38
    Seeking Predictions From a Predictive Framework.T. Florian Jaeger & Victor Ferreira - 2013 - Behavioral and Brain Sciences 36 (4):359 - 360.
    We welcome the proposal to use forward models to understand predictive processes in language processing. However, Pickering & Garrod (P&G) miss the opportunity to provide a strong framework for future work. Forward models need to be pursued in the context of learning. This naturally leads to questions about what prediction error these models aim to minimize.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  44.  23
    Absolute and Personal Idealism.Phillip Ferreira - 2008 - The Pluralist 3 (2):27 - 46.
  45.  17
    A Disadvantage in Bilingual Sentence Production Modulated by Syntactic Frequency and Similarity Across Languages.Elin Runnqvist, Tamar H. Gollan, Albert Costa & Victor S. Ferreira - 2013 - Cognition 129 (2):256-263.
  46.  56
    Hume and Imagination.M. Jamie Ferreira - 1994 - International Philosophical Quarterly 34 (1):39-57.
  47.  27
    A teleologia na biologia contemporânea.Marcelo Alves Ferreira - 2003 - Scientiae Studia 1 (2):183-193.
    No categories
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   3 citations  
  48.  77
    Amending Frege’s Grundgesetze der Arithmetik.Fernando Ferreira - 2005 - Synthese 147 (1):3-19.
    Frege’s Grundgesetze der Arithmetik is formally inconsistent. This system is, except for minor differences, second-order logic together with an abstraction operator governed by Frege’s Axiom V. A few years ago, Richard Heck showed that the ramified predicative second-order fragment of the Grundgesetze is consistent. In this paper, we show that the above fragment augmented with the axiom of reducibility for concepts true of only finitely many individuals is still consistent, and that elementary Peano arithmetic (and more) is interpretable in this (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  49.  41
    A Most Artistic Package of a Jumble of Ideas.Fernando Ferreira - 2008 - Dialectica 62 (2):205–222.
    In the course of ten short sections, we comment on Gödel's seminal dialectica paper of fifty years ago and its aftermath. We start by suggesting that Gödel's use of functionals of finite type is yet another instance of the realistic attitude of Gödel towards mathematics, in tune with his defense of the postulation of ever increasing higher types in foundational studies. We also make some observations concerning Gödel's recasting of intuitionistic arithmetic via the dialectica interpretation, discuss the extra principles that (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  50.  14
    The Point Outside the World: Kierkegaard and Wittgenstein on Nonsense, Paradox and Religion.M. Jamie Ferreira - 1994 - Religious Studies 30 (1):29 - 44.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
1 — 50 / 1000