Search results for 'José Ferreirós' (try it on Scholar)

1000+ found
Sort by:
  1. Fernando Ferreira & Kai F. Wehmeier (2002). On the Consistency of the Δ11-CA Fragment of Frege's Grundgesetze. Journal of Philosophical Logic 31 (4):301-311.score: 420.0
    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)  
     
    My bibliography  
     
    Export citation  
  2. Fernando Ferreira & Gilda Ferreira (2008). Harrington's Conservation Theorem Redone. Archive for Mathematical Logic 47 (2):91-100.score: 420.0
    Leo Harrington showed that the second-order theory of arithmetic WKL 0 is ${\Pi^1_1}$ -conservative over the theory RCA 0. Harrington’s proof is model-theoretic, making use of a forcing argument. A purely proof-theoretic proof, avoiding forcing, has been eluding the efforts of researchers. In this short paper, we present a proof of Harrington’s result using a cut-elimination argument.
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  3. Fernando Ferreira (2005). Amending Frege's Grundgesetze der Arithmetik. Synthese 147 (1):3-19.score: 300.0
    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 (...)
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  4. Maria Isabel Aldinhas Ferreira & Miguel Gama Caldas (2013). Modelling Artificial Cognition in Biosemiotic Terms. Biosemiotics 6 (2):245-252.score: 300.0
    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)  
     
    My bibliography  
     
    Export citation  
  5. Matthew L. Hall, Victor S. Ferreira & Rachel I. Mayberry (2014). Investigating Constituent Order Change With Elicited Pantomime: A Functional Account of SVO Emergence. Cognitive Science 38 (2):943-972.score: 300.0
    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)  
     
    My bibliography  
     
    Export citation  
  6. M. Jamie Ferreira (2001). Total Altruism" in Levinas's "Ethics of the Welcome. Journal of Religious Ethics 29 (3):443 - 470.score: 300.0
    Levinas's ethics of other-centered service has been criticized at the theoretical level for failing to offer a conception of moral agency adequate to ground its imperative and at the practical level for encouraging self-hatred. Levinas's explicit resistance to the incorporation of the phrase "as yourself" in the Judaeo-Christian love command might seem to validate the critics' complaints. The author argues, on the contrary, that Levinas does offer a strong and compelling conception of moral agency and that his ethics, properly understood, (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  7. Fernando Ferreira (2005). Amending Frege's "Grundgesetze der Arithmetik" to the Memory of Nhê (1925-2001). Synthese 147 (1):3 - 19.score: 300.0
    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 (...)
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  8. M. Jamie Ferreira (1997). Equality, Impartiality, and Moral Blindness in Kierkegaard's "Works of Love". Journal of Religious Ethics 25 (1):65 - 85.score: 300.0
    Kierkegaard's "Works of Love" provocatively presses for a reconsideration of impartiality, partiality, and equality. Past readings of this text have typically (1) criticized its focus on the abstract category of "human being," ignoring its attention to distinctiveness and difference; (2) defended it from the charge of abstraction by accenting its treatment of distinctiveness and difference, playing down its assumptions about the "essentially" human; (3) acknowledged its emphases on both essence and difference, arguing that they are incompatible and irreconcilable; or (4) (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  9. M. Jamie Ferreira (2013). Hope, Virtue, and the Postulate of God: A Reappraisal of Kant's Pure Practical Rational Belief. Religious Studies 50 (1):1-24.score: 300.0
    After identifying contrasting formulations of the practical postulates of reason in Kant's second critique, I analyse the context of each formulation, showing both how the postulate of the of God is consistent with Kant's understanding of a significant transition arising from practical needs as well as how the postulate of the existence of God can be seen as a acting out a . My goal is to re-examine Kant's view of the relation between the practical and theoretical employments of reason (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  10. David M. Evans & Marco S. Ferreira (2012). The Geometry of Hrushovski Constructions, II. The Strongly Minimal Case. Journal of Symbolic Logic 77 (1):337-349.score: 300.0
    We investigate the isomorphism types of combinatorial geometries arising from Hrushovski's flat strongly minimal structures and answer some questions from Hrushovski's original paper.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  11. Fernando Ferreira & Gilda Ferreira (forthcoming). Interpretability in Robinson's Q. Association for Symbolic Logic: The Bulletin of Symbolic Logic.score: 300.0
    Edward Nelson published in 1986 a book defending an extreme formalist view of mathematics according to which there is an impassable barrier in the totality of exponentiation. On the positive side, Nelson embarks on a program of investigating how much mathematics can be interpreted in Raphael Robinson's theory of arithmetic Q. In the shadow of this program, some very nice logical investigations and results were produced by a number of people, not only regarding what can be interpreted in Q but (...)
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  12. Maria Isabel Aldinhas Ferreira (2014). Typical Cyclical Behavioural Patterns: The Case of Routines, Rituals and Celebrations. [REVIEW] Biosemiotics 7 (1):63-72.score: 300.0
    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 (...)
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  13. R. J. Van Aarde, S. Ferreira, T. Jackson, B. Page, Y. De Beer, K. Gough, R. Guldemond, J. Junker, P. Olivier & T. Ott (2008). Elephant Population Biology and Ecology. In R. J. Scholes & K. G. Mennell (eds.), Elephant Management: A Scientific Assessment for South Africa. Wits University Press.score: 280.0
     
    My bibliography  
     
    Export citation  
  14. M. Jamie Ferreira (1980). Doubt and Religious Commitment: The Role of the Will in Newman's Thought. Oxford University Press.score: 240.0
    Introduction There is faith in every serious doubt ... he who seriously denies God, affirms him . . . there is no possible atheism. ...
    Direct download  
     
    My bibliography  
     
    Export citation  
  15. M. Jamie Ferreira (1986). Locke's 'Constructive Skepticism' -- A Reappraisal. Journal of the History of Philosophy 24 (2):211-222.score: 240.0
  16. M. Jamie Ferreira (1994). Religion's 'Foundation in Reason': The Common Sense of Hume's Natural History. Canadian Journal of Philosophy 24 (4):565 - 581.score: 240.0
  17. Jack S. Boozer, Gerhard Böwering, Stephen N. Dunning, Richard E. Palmer, Haim Gordon, J. Kellenberger, Jerald Wallulis, G. Graham White, Thomas O. Buford, C. Stephan Evans & M. Jamie Ferreira (1988). Book Reviews. [REVIEW] International Journal for Philosophy of Religion 23 (1):43-63.score: 240.0
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  18. M. Jamie Ferreira (1995). Hume's Natural History: Religion and "Explanation&Quot;. Journal of the History of Philosophy 33 (4).score: 240.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  19. M. Jamie Ferreira (1999). Other-Worldliness in Kierkegaard's Works of Love. Philosophical Investigations 22 (1):65–79.score: 240.0
    No categories
    Direct download (11 more)  
     
    My bibliography  
     
    Export citation  
  20. M. Jamie Ferreira (2003). Review of George Pattison, Kierkegaard's Upbuilding Discourses: Philosophy, Theology, Literature. [REVIEW] Notre Dame Philosophical Reviews 2003 (3).score: 240.0
  21. Gary S. Dell, Victor S. Ferreira & Kathryn Bock (1999). Binding, Attention, and Exchanges. Behavioral and Brain Sciences 22 (1):41-42.score: 240.0
    Levelt, Roelofs & Meyer present a comprehensive and sophisticated theory of lexical access in production, but we question its reliance on binding-by-checking as opposed to binding-by-timing and we discuss how the timing of retrieval events is a major factor in both correct and errorful production.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  22. M. J. Ferreira (1985). Hume's Naturalism-`Proof' and Practice. Philosophical Quarterly 35 (138):45-57.score: 240.0
  23. M. Jamie Ferreira (1995). A Religion Without Talking: Religious Belief and Natural Belief in Hume's Philosophy of Religion (Review). Hume Studies 21 (1):140-142.score: 240.0
  24. Fernando Ferreira (2005). A Simple Proof of Parsons' Theorem. Notre Dame Journal of Formal Logic 46 (1):83-91.score: 240.0
    Let be the fragment of elementary Peano arithmetic in which induction is restricted to -formulas. More than three decades ago, Parsons showed that the provably total functions of are exactly the primitive recursive functions. In this paper, we observe that Parsons' result is a consequence of Herbrand's theorem concerning the -consequences of universal theories. We give a self-contained proof requiring only basic knowledge of mathematical logic.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  25. Phillip Ferreira (2007). The Logical Foundations of Bradley's Metaphysics: Judgment, Inference, and Truth. Review of Metaphysics 60 (3):643-644.score: 240.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  26. J. Bickle, G. Bonanno, B. Buldt, A. Chemero, F. Ferreira, R. Gray, V. Halbach, B. Hale, D. C. McCarty & J. M. Musacchio (2005). Hansson, SO, 323 Heyser, C., 403 Horst, S., 477. Synthese 147:551.score: 240.0
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  27. Phillip Ferreira (2003). Green's Attack on Formal Logic. Bradley Studies 9 (1):40-51.score: 240.0
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  28. M. J. Ferreira (1987). The Faith/History Problem, and Kierkegaard's "A Priori" 'Proof'. Religious Studies 23 (3):337 - 345.score: 240.0
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  29. M. Jamie Ferreira (1998). Becoming a Self: A Reading of Kierkegaard's "Concluding Unscientific Postscript" (Review). Journal of the History of Philosophy 36 (1):144-146.score: 240.0
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  30. Victor S. Ferreira, L. Robert Slevc & Erin S. Rogers (2005). How Do Speakers Avoid Ambiguous Linguistic Expressions? Cognition 96 (3):263-284.score: 240.0
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  31. Matthew L. Hall, Rachel I. Mayberry & Victor S. Ferreira (2013). Cognitive Constraints on Constituent Order: Evidence From Elicited Pantomime. Cognition 129 (1):1-17.score: 240.0
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  32. M. S. Marques, V. Tomé, A. Oliveira, P. Maio, H. Bacelar-Nicolau & J. G. Ferreira (2010). Um Projecto de Intervenção Em Cuidados Domiciliários E o Seu Contexto Institucional. Revista Portuguesa de Filosofia 66 (2):323 - 340.score: 240.0
    Apresentamos um resumo do desenvolvimento e do contexto institucional do Projecto Humanização dos Cuidados Paliativos em Contexto Domiciliário, aprovado e financiado pela Fundação Calouste Gulbenkian. Utilizam-se largamente os próprios documentos que o justificaram e os relatórios oficiais para dar uma imagem vivida, realista e técnica das dificuldades da profissionalização e reforma dos Cuidados Paliativos, mesmo quando integrada em acções de formação num serviço de um Centro de Tratamento Compreensivo do Cancro. We put forward a synopsis of the development and institutional (...)
    No categories
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  33. Elin Runnqvist, Tamar H. Gollan, Albert Costa & Victor S. Ferreira (2013). A Disadvantage in Bilingual Sentence Production Modulated by Syntactic Frequency and Similarity Across Languages. Cognition 129 (2):256-263.score: 240.0
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  34. H. C. Barrett, T. Behne, N. Chater, M. H. Christiansen, S. Curtin, S. Darling, V. S. Ferreira, N. Franck, S. A. Gelman & R. J. Gerrig (2005). Altmann, GTM, B23 Amodio, P., B33, B115 Andersen, TS, B13 Ashby, J., B89. Cognition 96:285.score: 240.0
    No categories
     
    My bibliography  
     
    Export citation  
  35. J. L. Bradshaw, A. M. Burton, J. I. D. Campbell, K. Christianson, S. Dehaene, J. L. Elman, F. Ferreira, V. S. Ferreira, G. Gigerenzer & R. Jenkins (2006). Liu, Y., B21 Massey, C., B75 Mattingley, JB, 53 Melinger, A., B11 Meseguer, E., B1. Cognition 98:309.score: 240.0
    No categories
     
    My bibliography  
     
    Export citation  
  36. S. Chopra, B. J. Copeland, E. Corazza, S. Donaho, F. Ferreira, H. Field, D. M. Gabbay, L. Goldstein, J. Heidema & M. J. Hill (2002). Benton, RA, 527 Blackburn, P., 281 Braüner, T., 359 Brink, C., 543. Journal of Philosophical Logic 31 (615).score: 240.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  37. David M. Evans & Marco S. Ferreira (2011). The Geometry of Hrushovski Constructions, I: The Uncollapsed Case. Annals of Pure and Applied Logic 162 (6):474-488.score: 240.0
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  38. Fernando Ferreira (2012). A Short Note on Spector's Proof of Consistency of Analysis. In. In S. Barry Cooper (ed.), How the World Computes. 222--227.score: 240.0
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  39. M. Jamie Ferreira (1995). Harvie Ferguson. Melancholy and the Critique of Modernity: Soren Kierkegaard's Religious Psychology. Pp. Xvii + 286. (London: Routledge, 1995.) £40 Hb, £14.99 Pb. [REVIEW] Religious Studies 31 (4):537.score: 240.0
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  40. M. Jamie Ferreira (1995). Hume's Natural History: Religion and Explanation. Journal of the History of Philosophy 33 (4):593-611.score: 240.0
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  41. Fernando J. Ferreira, John Harrison, François Loeser, Chris Miller, Joseph S. Miller, Slawomir J. Solecki, Stevo Todorcevic & John Steel (2010). Moscone Center West, San Francisco, CA January 15–16, 2010. Bulletin of Symbolic Logic 16 (3).score: 240.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  42. Nelson Henrique S. Ferreira (2011). O Lexema'Actium'na literatura Latina: o recurso literário: o recurso literário, a identidade de um espaço geográfico. Humanitas 63:337-353.score: 240.0
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  43. Victor S. Ferreira (2002). Production‐Comprehension Interface. In Lynn Nadel (ed.), The Encyclopedia of Cognitive Science. Macmillan.score: 240.0
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  44. Adriana S. Hemerly, Paulo C. G. Ferreira, Marc Van Montagu & Dirk Inzé (1999). Cell Cycle Control and Plant Morphogenesis: Is There an Essential Link? Bioessays 21 (1):29-37.score: 240.0
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  45. M. S. Marques, H. Bacelar-Nicolau, V. Tomé, A. Oliveira, P. Maio, J. G. Ferreira, A. Sousa Ferreira, O. Dias, J. Fonseca & P. Frade (2010). Humanização dos Cuidados Paliativos em Contexto Domiciliário. Interpretação Clínica e Conclusões Principais de um Inquérito com o Questionário SERVQVAL. Revista Portuguesa de Filosofia 66 (2):427 - 459.score: 240.0
    Apresentam-se os resultados clínicos principais de uma primeira investigação efectuada a familiares de doentes sob tratamento paliativo no domicílio da área de Lisboa, com o instrumento de medida da satisfação SERVQUAL Modificado. Dos 58 familiares/doentes que responderam ao questionário apenas uma minona estava insatisfeita (uma classe de 5 indivíduos mostra-se francamente insatisfeita), uma classe de 15 estava moderadamente satisfeita, havendo 38 individuos fortemente satisfeitos com a qualidade e prontidäo dos serviços prestados. Porém urna percentagem elevada de doentes, segundo a opinião (...)
    No categories
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  46. M. S. Marques, H. Bacelar Nicolau, V. Tomé, A. Oliveira, P. Maio, J. G. Ferreira, A. Sousa Pereira, Otília Dias, J. Fonseca & P. Frade (2010). Humanizaçao Dos Cuidados Paliativos Em Conexto Domiciliário. Interpretaçao Clínica E Conclusoes Principais de Um Inquérito Com o Questionario SERQVAL. Revista Portuguesa de Filosofía 66 (2):427-442.score: 240.0
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  47. M. S. Marques, V. Tomé, A. Oliveira, P. Maio, H. Bacelar Nicolau & J. G. Ferreira (2010). Um Projecto de Intervençao Em Cuidados Domiciliários E o Seu Contexto Institucional. Revista Portuguesa de Filosofía 66 (2):323-334.score: 240.0
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  48. Douglas Roland, Jeffrey L. Elman & Victor S. Ferreira (2006). Why is That? Structural Prediction and Ambiguity Resolution in a Very Large Corpus of English Sentences. Cognition 98 (3):245-272.score: 240.0
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  49. Sharon Krishek (2014). In Defence of a Faith-Like Model of Love: A Reply to John Lippitt's “Kierkegaard and the Problem of Special Relationships: Ferreira, Krishek, and the 'God Filter”'. International Journal for Philosophy of Religion 75 (2):155-166.score: 96.0
    In his major work on love, Works of Love, Kierkegaard clearly and robustly affirms the moral superiority of neighbourly love, and approves preferential love on one condition: that it serve as an instance of neighbourly love. But can an essentially preferential love be an instance of the essentially non-preferential neighbourly love? John Lippitt seems to think it can. In his paper “Kierkegaard and the problem of special relationships: Ferreira, Krishek, and the ‘God filter”’ he defends Kierkegaard’s position in Works of (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  50. Sylvia Walsh (2003). Book Review: M. Jamie Ferreira, Love's Grateful Striving: A Commentary on Kierkegaard's `Works of Love'. [REVIEW] International Journal for Philosophy of Religion 53 (2):115-117.score: 72.0
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
1 — 50 / 1000