Results for 'Maía Manzano'

232 found
Order:
  1.  14
    Alonzo Church:His Life, His Work and Some of His Miracles.Maía Manzano - 1997 - History and Philosophy of Logic 18 (4):211-232.
    This paper is dedicated to Alonzo Church, who died in August 1995 after a long life devoted to logic. To Church we owe lambda calculus, the thesis bearing his name and the solution to the Entscheidungsproblem.His well-known book Introduction to Mathematical LogicI, defined the subject matter of mathematical logic, the approach to be taken and the basic topics addressed. Church was the creator of the Journal of Symbolic Logicthe best-known journal of the area, which he edited for several decades This (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  2.  4
    Two Poems by Circe Maia.Circe Maia & Brian Cole - 1998 - Philosophy Now 21:43-43.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  3.  12
    Hybrid Type Theory: A Quartet in Four Movements.Carlos Areces, Patrick Blackburn, Antonia Huertas & María Manzano - 2012 - Principia 15 (2):225.
    Este artigo canta uma canção — uma canção criada ao unir o trabalho de quatro grandes nomes na história da lógica: Hans Reichenbach, Arthur Prior, Richard Montague, e Leon Henkin. Embora a obra dos primeiros três desses autores tenha sido previamente combinada, acrescentar as ideias de Leon Henkin é o acréscimo requerido para fazer com que essa combinação funcione no nível lógico. Mas o presente trabalho não se concentra nas tecnicalidades subjacentes (que podem ser encontradas em Areces, Blackburn, Huertas, e (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  4.  15
    Diagonalisation and Church's Thesis: Kleene's Homework.Enrique Alonso & Maria Manzano - 2005 - History and Philosophy of Logic 26 (2):93-113.
    In this paper we will discuss the active part played by certain diagonal arguments in the genesis of computability theory. 1?In some cases it is enough to assume the enumerability of Y while in others the effective enumerability is a substantial demand. These enigmatical words by Kleene were our point of departure: When Church proposed this thesis, I sat down to disprove it by diagonalizing out of the class of the ??definable functions. But, quickly realizing that the diagonalization cannot be (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  5. Cultura E Cotidiano Nas Minas de Ouro: Trabalhadores Em Tempos de Experiências Autoritárias E Suas Resistências Plurais.Andréa Casa Nova Maia - 2011 - Topoi 12 (22):209-227.
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  6. Consciousness: Converging Insights From Connectionist Modeling and Neuroscience.Tiago V. Maia & Axel Cleeremans - 2005 - Trends in Cognitive Sciences 9 (8):397-404.
    Over the past decade, many findings in cognitive about the contents of consciousness: we will not address neuroscience have resulted in the view that selective what might be called the ‘enabling factors’ for conscious- attention, working memory and cognitive control ness (e.g. appropriate neuromodulation from the brain- stem, etc.). involve competition between widely distributed rep-.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   9 citations  
  7.  56
    Extensions of First Order Logic.María Manzano - 1996 - Cambridge University Press.
    Classical logic has proved inadequate in various areas of computer science, artificial intelligence, mathematics, philosopy and linguistics. This is an introduction to extensions of first-order logic, based on the principle that many-sorted logic (MSL) provides a unifying framework in which to place, for example, second-order logic, type theory, modal and dynamic logics and MSL itself. The aim is two fold: only one theorem-prover is needed; proofs of the metaproperties of the different existing calculi can be avoided by borrowing them from (...)
    Direct download  
     
    Export citation  
     
    My bibliography   9 citations  
  8.  17
    The Somatic Marker Hypothesis: Still Many Questions but No Answers.Tiago V. Maia & James L. McClelland - 2005 - Trends in Cognitive Sciences 9 (4):162-164.
  9.  17
    Completeness: From Gödel to Henkin.Maria Manzano & Enrique Alonso - 2013 - History and Philosophy of Logic 35 (1):1-26.
    This paper focuses on the evolution of the notion of completeness in contemporary logic. We discuss the differences between the notions of completeness of a theory, the completeness of a calculus, and the completeness of a logic in the light of Gödel's and Tarski's crucial contributions.We place special emphasis on understanding the differences in how these concepts were used then and now, as well as on the role they play in logic. Nevertheless, we can still observe a certain ambiguity in (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  10. Elias Canetti's Auto-da-Fe: From the Antithesis of the Crowd-Man to the Madness of Power.Rousiley C. M. Maia - 1996 - Thesis Eleven 45 (1):28-38.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  11.  66
    A Neurocomputational Approach to Obsessive-Compulsive Disorder.Tiago V. Maia & James L. McClelland - 2012 - Trends in Cognitive Sciences 16 (1):14-15.
  12.  61
    Completeness in Hybrid Type Theory.Carlos Areces, Patrick Blackburn, Antonia Huertas & María Manzano - 2013 - Journal of Philosophical Logic (2-3):1-30.
    We show that basic hybridization (adding nominals and @ operators) makes it possible to give straightforward Henkin-style completeness proofs even when the modal logic being hybridized is higher-order. The key ideas are to add nominals as expressions of type t, and to extend to arbitrary types the way we interpret $@_i$ in propositional and first-order hybrid logic. This means: interpret $@_i\alpha _a$ , where $\alpha _a$ is an expression of any type $a$ , as an expression of type $a$ that (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  13. Conscious and Unconscious Processes in Cognitive Control: A Theoretical Perspective and a Novel Empirical Approach.Guillermo Horga & Tiago V. Maia - 2012 - Frontiers in Human Neuroscience 6.
  14.  9
    Fear Conditioning and Social Groups: Statistics, Not Genetics.Tiago V. Maia - 2009 - Cognitive Science 33 (7):1232-1251.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  15. The Somatic Marker Hypothesis: Still Many Questions but No Answers: Response to Bechara Et Al.Tiago V. Maia & James L. McClelland - 2005 - Trends in Cognitive Sciences 9 (4):162-164.
     
    Export citation  
     
    My bibliography   1 citation  
  16.  8
    Violencia de estado, guerra, resistencia. Por una nueva política de izquierda. [REVIEW]Juan Antonio Fernández Manzano - 2012 - Las Torres de Lucca 1:125-130.
    Esta obra es la transcripción de una conferencia que Judith Butler (Ohio, 1956) impartió en Barcelona en abril de 2010, ampliada en la segunda parte del libro con una entrevista en profundidad. Ambos textos, dirigidos a un lector culto, no necesariamente especializado en filosofía política, giran en torno al papel que puede jugar la izquierda en la defensa de los más vulnerables habida cuenta de las diferentes formas de opresión, exclusión y violencia existentes.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  17.  11
    A Note on Visions of Henkin.María Manzano & Enrique Alonso - forthcoming - Synthese:1-2.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  18.  14
    Developing a Domain-General Framework for Cognition: What is the Best Approach?James L. McClelland, David C. Plaut, Stephen J. Gotts & Tiago V. Maia - 2003 - Behavioral and Brain Sciences 26 (5):611-614.
    We share with Anderson & Lebiere (A&L) (and with Newell before them) the goal of developing a domain-general framework for modeling cognition, and we take seriously the issue of evaluation criteria. We advocate a more focused approach than the one reflected in Newell's criteria, based on analysis of failures as well as successes of models brought into close contact with experimental data. A&L attribute the shortcomings of our parallel-distributed processing framework to a failure to acknowledge a symbolic level of thought. (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  19.  18
    Indecisão Vocacional Na Adolescência: Efeitos Combinados de Gênero E Ambiente Sociocultural; Vocational Indecision in Adolescence: Combined Effects of Gender and Sociocultural Environment.Mauro de Oliveira Magalhães, Ana Maria Maia & Marco Antônio Pereira Teixeira - 2003 - Aletheia 17:73-82.
    No categories
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  20.  14
    Nominalism and Semantics in Abelard and Ockham.Guy Hamelin & Danilo Luiz Silva Maia - 2015 - Logica Universalis 9 (2):155-180.
    Peter Abelard and William of Ockham represent the two main figures of the nominalism of the Middle Ages. Both share the fundamental thesis of that doctrine, according to which only individual entities exist. The repercussions of nominalism are quite evident in relation to the question of universals, which constitutes a subject that, until now, won the attention of the majority of contemporary studies on the two most important logicians of their time. Nevertheless the nominalism of each of these two protagonists (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  21.  38
    Formalización En Teoría de Tipos Del Predicado de Existencia de Mario Bunge.María Manzano - 1985 - Theoria 1 (2):513-534.
    Professor Bunge makes the distinction between the logical concept of existence and the ontological one. I agree with him and in this paper I am formalizing his existence predicate into the powerful language of type theory.I am also proving the logical equivalence of this for mulation with a briefer one, which says that to exist conceptually is the same as to be a conceptual object. Accordingly, from this point on I investigate what conceptual objects are. I reach the conclusion that (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  22.  22
    Visions of Henkin.María Manzano & Enrique Alonso - 2015 - Synthese 192 (7):2123-2138.
    Leon Henkin (1921–2006) was not only an extraordinary logician, but also an excellent teacher, a dedicated professor and an exceptional person. The first two sections of this paper are biographical, discussing both his personal and academic life. In the last section we present three aspects of Henkin’s work. First we comment part of his work fruit of his emphasis on teaching. In a personal communication he affirms that On mathematical induction, published in 1969, was the favourite among his articles with (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  23.  17
    Indecisão Vocacional Na Adolescência: Efeitos Combinados de Gênero E Ambiente Sociocultural.Mauro de Oliveira Magalhães, Ana Maria Maia & Marco Antônio Pereira Teixeira - 2003 - Aletheia 17:73-82.
    Estudos recentes têm sugerido a existência de interações entre sexo, gênero e ambiente sociocultural na determinação de níveis de indecisão vocacional. Participaram do estudo 186 adolescentes de ambos os sexos (86 do interior e 100 da capital do estado), estudantes do ensino médio. Os instrumentos u..
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  24. Decir la "persona" según Escoto (un intento de interpretación).Isidoro G. Manzano - 2007 - Revista Española de Filosofía Medieval 14:11-31.
    No categories
    Translate
     
     
    Export citation  
     
    My bibliography  
  25.  24
    The 1st Barcelona Symposium on History and Philosophy of Science.Maria Manzano & P. de la Fuente - 1987 - Theoria 2 (2):645-646.
  26.  5
    Justiça e Racionalidade Prática–reflexões a partir da obra de Alasdair MacIntyre.Cleber Francisco Alves & Antonio Cavalcanti Maia - 2005 - In Antonio Cavalcanti Maia (ed.), Perspectivas Atuais da Filosofia Do Direito. Editora Lumen Juris.
    No categories
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  27.  13
    Introducción a" Sobre la Esencia de la Verdad" de Heidegger.Isidoro Manzano - 1968 - Verdad y Vida 26 (103-104):507-529.
    No categories
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  28. Metafísica franciscana.Isidoro Guzmán Manzano - 2008 - Verdad y Vida 66 (253):387-458.
    No categories
    Translate
     
     
    Export citation  
     
    My bibliography  
  29.  14
    Quaternion-Loop Quantum Gravity.M. D. Maia, S. S. E. Almeida Silva & F. S. Carvalho - 2009 - Foundations of Physics 39 (11):1273-1279.
    It is shown that the Riemannian curvature of the 3-dimensional hypersurfaces in space-time, described by the Wilson loop integral, can be represented by a quaternion quantum operator induced by the SU(2) gauge potential, thus providing a justification for quaternion quantum gravity at the Tev energy scale.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  30. Paul Lorenzen, Kuno Lorenzen" Dialogische Logik".Esteban Requena Manzano - 1980 - Teorema: International Journal of Philosophy 10 (1):86-88.
    No categories
    Translate
     
     
    Export citation  
     
    My bibliography  
  31.  7
    Reseña de "Fuera de equilibrio. Moralidad y racionalidad indirecta" de Blanca Rodríguez López.Juan A. Fernández Manzano - 2009 - Ideas Y Valores 139 (139):179-182.
    No categories
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  32.  1
    The 1st Barcelona Symposium on History and Philosophy of Science.Maria Manzano & P. de la Fuente - 1987 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 2 (2-3):645-646.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  33.  6
    Paralelismo Nietzsche-Místicos.Jorge Manzano - 2008 - Proceedings of the Xxii World Congress of Philosophy 31:19-29.
    Nietzsche’s experiences seem to be like mysticism. Several texts are examined: . (...)
    Translate
      Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  34. Frege: sentido y referencia.Esteban Requena Manzano - 1974 - Teorema: International Journal of Philosophy 4 (4):579-586.
    No categories
    Translate
     
     
    Export citation  
     
    My bibliography  
  35.  2
    Hacia la identificación de la biblioteca y la mano de Demetrio Ducas.Teresa Martínez Manzano - 2010 - Byzantinische Zeitschrift 102 (2):717-730.
    Demetrios Ducas was a Cretan scholar who emigrated to Italy at the end of the 15th century and then moved to Spain in 1513. Both his editorship of Greek texts in Venice for Aldus Manutius and his activity as a professor of Greek and editor of the New Testament under the aegis of Cardinal Cisneros are well documented. However, no manuscript of his hand and no codex or printed book belonging to his library have been identified so far. This paper (...)
    No categories
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  36. Modelos, Teoría De.María Manzano - 2011 - In Luis Vega and Paula Olmos (ed.), Compendio de Lógica, Argumentación y Retórica. Editorial Trotta. pp. 410--413.
    Translate
     
     
    Export citation  
     
    My bibliography  
  37.  6
    A Implantação do Programa Universidade para todos no Âmbito das Políticas de Acesso e Permanência.Suzanir Fernanda Maia - 2010 - Quaestio: Revista de Estudos Em Educação 11 (2).
    No categories
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  38. Saber filosófico.Isidoro Guzmán Manzano - 1989 - Verdad y Vida 47 (185):35-48.
    No categories
    Translate
     
     
    Export citation  
     
    My bibliography  
  39. Primado de Cristo y la Inmaculada.Isidoro Guzmán Manzano - 2004 - Verdad y Vida 62 (239):95-116.
    No categories
    Translate
     
     
    Export citation  
     
    My bibliography  
  40.  4
    A manifestação da Umbanda na Região Metropolitana de Belo Horizonte: da tradição à contemporaneidade. 2011. 181 folhas. Dissertação (Mestrado) – Pontifícia Universidade Católica de Minas Gerais, Programa de Pós-graduação em Ciências da Religião, Belo Hori. [REVIEW]Anderson Marinho Maia - 2012 - Horizonte 10 (26):655-657.
    Translate
      Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  41.  3
    II. Abteilung.Martin Dennert, Rudolf Stefec, Peter Isépy, Dimitri Theodoridis, Ioannis Polemis, Philip Rance, Teresa Martínez Manzano, Staffan Wahlgren & Athanasios Markopoulos - 2015 - Byzantinische Zeitschrift 108 (1):229-276.
    Name der Zeitschrift: Byzantinische Zeitschrift Jahrgang: 108 Heft: 1 Seiten: 229-276.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  42.  1
    Muslim Spain Reconsidered. From 711 to 1502By Richard Hitchcock.Eduardo Manzano - forthcoming - Journal of Islamic Studies:etv099.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
  43.  3
    Editorial ‘Tools for Teaching Logic’.Hans van Ditmarsch & Mara Manzano - 2007 - Logic Journal of the IGPL 15 (4):289-292.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  44. Tres objeciones a la forma democrática del Estado.Juan Antonio Fernández Manzano - 2013 - Estudios Filosóficos 62 (181):413-432.
    No categories
    Translate
     
     
    Export citation  
     
    My bibliography  
  45.  2
    Filosofia, Religião e Secularização.A. G. B. Maia - forthcoming - Philbrasil.
    No categories
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  46. De ciudadanos, Estado, derechos y ética.Juan Antonio Fernández Manzano - 2009 - Astrolabio: Revista Internacional de Filosofía 9:52-59.
    No categories
    Translate
     
     
    Export citation  
     
    My bibliography  
  47. La finalidad de los" Comentarios a los XXXI primeros salomos de David", de Benito Arias Montano.María Asunción Sánchez Manzano - 1998 - Ciudad de Dios: Revista Agustiniana 211 (1):51-125.
    No categories
    Translate
     
     
    Export citation  
     
    My bibliography  
  48.  4
    Locke, John:" Ensayo sobre la tolerancia y otros escritos sobre ética y obediencia civil".Juan A. Fernández Manzano - 2011 - Logos: Anales Del Seminario de Metafísica 44 (10):403-407.
    Translate
      Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  49.  3
    Hacia la identificación de la biblioteca y la mano de Demetrio Ducas.Teresa Martínez Manzano - 2009 - Byzantinische Zeitschrift 102 (2):717-730.
    Demetrios Ducas was a Cretan scholar who emigrated to Italy at the end of the 15th century and then moved to Spain in 1513. Both his editorship of Greek texts in Venice for Aldus Manutius and his activity as a professor of Greek and editor of the New Testament under the aegis of Cardinal Cisneros are well documented. However, no manuscript of his hand and no codex or printed book belonging to his library have been identified so far. This paper (...)
    No categories
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  50. Reflexiones en torno al Cántico del Hermano Sol.I. Manzano - 1982 - Naturaleza y Gracia: Revista Cuatrimestral de Ciencias Eclesiásticas 1:101-135.
    No categories
    Translate
     
     
    Export citation  
     
    My bibliography  
1 — 50 / 232