Search results for 'Xavier Caicedo Ferrer' (try it on Scholar)

818 found
Sort by:
  1. Xavier Caicedo & Ricardo O. Rodriguez (2010). Standard Gödel Modal Logics. Studia Logica 94 (2):189 - 214.score: 240.0
    We prove strong completeness of the □-version and the ◊-version of a Gödel modal logic based on Kripke models where propositions at each world and the accessibility relation are both infinitely valued in the standard Gödel algebra [0,1]. Some asymmetries are revealed: validity in the first logic is reducible to the class of frames having two-valued accessibility relation and this logic does not enjoy the finite model property, while validity in the second logic requires truly fuzzy accessibility relations and this (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  2. Xavier Caicedo & Roberto Cignoli (2001). An Algebraic Approach to Intuitionistic Connectives. Journal of Symbolic Logic 66 (4):1620-1636.score: 240.0
    It is shown that axiomatic extensions of intuitionistic propositional calculus defining univocally new connectives, including those proposed by Gabbay, are strongly complete with respect to valuations in Heyting algebras with additional operations. In all cases, the double negation of such a connective is equivalent to a formula of intuitionistic calculus. Thus, under the excluded third law it collapses to a classical formula, showing that this condition in Gabbay's definition is redundant. Moreover, such connectives can not be interpreted in all Heyting (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  3. Xavier Caicedo (2004). Implicit Connectives of Algebraizable Logics. Studia Logica 78 (1-2):155 - 170.score: 240.0
    An extensions by new axioms and rules of an algebraizable logic in the sense of Blok and Pigozzi is not necessarily algebraizable if it involves new connective symbols, or it may be algebraizable in an essentially different way than the original logic. However, extension whose axioms and rules define implicitly the new connectives are algebraizable, via the same equivalence formulas and defining equations of the original logic, by enriched algebras of its equivalente quasivariety semantics. For certain strongly algebraizable logics, all (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  4. Xavier Caicedo (1986). A Simple Solution to Friedman's Fourth Problem. Journal of Symbolic Logic 51 (3):778-784.score: 240.0
    It is shown that Friedman's problem, whether there exists a proper extension of first order logic satisfying the compactness and interpolation theorems, has extremely simple positive solutions if one considers extensions by generalized (finitary) propositional connectives. This does not solve, however, the problem of whether such extensions exist which are also closed under relativization of formulas.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  5. Xavier Caicedo & Alejandro Martín (2001). Completud de Dos Cálculos Logicos de Leibniz (Completencss of Two Logical Systems of Leibniz). Theoria 16 (3):539-558.score: 240.0
    Este trabajo se encuadra dentro de una nueva visión de la lógica de Leibniz, la cual pretende mostrar que sus escritos fueron ricos no solamente en proyectos ambiciosos (Característica Universal, Combinatoria, Mathesis) sino también en desarrollos lógico-matematicos concretos. Se demuestra que su “Caracteristica Numerica” que asigna pares de números a las proposiciones categóricas es una semántiea para la cual la silogística aristotélica es correcta y completa, y que el sistema algebraico presentado en Fundamentos de un Cálculo Lógico es una lógica (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  6. Xavier Caicedo, Rolando Chauqui, Newton C. D. da Costa & Carlos A. di Prisco (1984). Meeting of the Assocaition for Symbolic Logic: Caracas, Venezuela, 1983. Journal of Symbolic Logic 49 (4):1430-1440.score: 240.0
  7. Xavier Caicedo (1981). On Extensions of $L{\Omega \Omega }(Q1)$. Notre Dame Journal of Formal Logic 22 (1):85-93.score: 240.0
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  8. Xavier Caicedo (1995). Continuous Operations on Spaces of Structures. In M. Krynicki, M. Mostowski & L. Szczerba (eds.), Quantifiers: Logics, Models and Computation. Kluwer Academic Publishers. 263--296.score: 240.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  9. Ayda I. Arruda, Xavier Caicedo, Rolando Chuaqui & Newton C. A. Costa (1983). Meeting of the Association for Symbolic Logic: Bogotá, Colombia, 1981. Journal of Symbolic Logic 48 (3):884-892.score: 240.0
  10. Ayda I. Arruda, Xavier Caicedo, Rolando Chuaqui & Newton C. A. da Costa (1983). Meeting of the Association for Symbolic Logic: Bogotá, Colombia, 1981. Journal of Symbolic Logic 48 (3):884 - 892.score: 240.0
  11. Xavier Caicedo (1990). Definability Properties and the Congruence Closure. Archive for Mathematical Logic 30 (4):231-240.score: 240.0
    We introduce a natural class of quantifiersTh containing all monadic type quantifiers, all quantifiers for linear orders, quantifiers for isomorphism, Ramsey type quantifiers, and plenty more, showing that no sublogic ofL ωω (Th) or countably compact regular sublogic ofL ∞ω (Th), properly extendingL ωω , satisfies the uniform reduction property for quotients. As a consequence, none of these logics satisfies eitherΔ-interpolation or Beth's definability theorem when closed under relativizations. We also show the failure of both properties for any sublogic ofL (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  12. Xavier Caicedo (1995). Hilbert's Ε-Symbol in the Presence of Generalized Quantifiers. In M. Krynicki, M. Mostowski & L. Szczerba (eds.), Quantifiers: Logics, Models and Computation. Kluwer Academic Publishers. 63--78.score: 240.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  13. Xavier Caicedo, Rolando Chauqui, Newton C. D. Costa & Carlos A. di Prisco (1984). Meeting of the Assocaition for Symbolic Logic: Caracas, Venezuela, 1983. Journal of Symbolic Logic 49 (4):1430-1440.score: 240.0
  14. Xavier Caicedo, Rolando Chauqui, Newton C. D. da Costa & Carlos A. Di Prisco (1984). Meeting of the Assocaition for Symbolic Logic: Caracas, Venezuela, 1983. Journal of Symbolic Logic 49 (4):1430 - 1440.score: 240.0
  15. Graham Priest & Xavier Caicedo (2007). International Union of History and Philosophy of Science, Division of Logic, Methodology and Philosophy of Science. Synthese 158 (1):153-163.score: 240.0
  16. Xavier Caicedo (1993). Compactness and Normality in Abstract Logics. Annals of Pure and Applied Logic 59 (1):33-43.score: 240.0
    We generalize a theorem of Mundici relating compactness of a regular logic L to a strong form of normality of the associated spaces of models. Moreover, it is shown that compactness is in fact equivalent to ordinary normality of the model spaces when L has uniform reduction for infinite disjoint sums of structures. Some applications follow. For example, a countably generated logic is countably compact if and only if every clopen class in the model spaces is elementary. The model spaces (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  17. Xavier Caicedo (2004). Definability and Automorphisms in Abstract Logics. Archive for Mathematical Logic 43 (8):937-945.score: 240.0
    In any model theoretic logic, Beth’s definability property together with Feferman-Vaught’s uniform reduction property for pairs imply recursive compactness, and the existence of models with infinitely many automorphisms for sentences having infinite models. The stronger Craig’s interpolation property plus the uniform reduction property for pairs yield a recursive version of Ehrenfeucht-Mostowski’s theorem. Adding compactness, we obtain the full version of this theorem. Various combinations of definability and uniform reduction relative to other logics yield corresponding results on the existence of non-rigid (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  18. Xavier Caicedo (1991). Hilbert∈-Symbol in the Presence of Generalized Quantifiers. Bulletin of the Section of Logic 20 (3/4):85-86.score: 240.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  19. Xavier Caicedo (1996). X Latin American Symposium on Mathematical Logic. Association for Symbolic Logic: The Bulletin of Symbolic Logic 2 (2):214-237.score: 240.0
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  20. Urbano Ferrer (2007). RESEÑA de: Ferrer, Urbano. Adolf Reinach: las Ontologías regionales. Pamplona: Universidad de Navarra. Cuadernos del AnuarioFilosófico; 176, 2005. [REVIEW] Investigaciones Fenomenológicas 5:277-279.score: 180.0
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  21. Xavier Caicedo Ferrer (1978). A Formal System for the Non-Theorems of the Propositional Calculus. Notre Dame Journal of Formal Logic 19 (1):147-151.score: 87.0
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  22. A. Ferrer (2012). Towards a New Educational Order and a New Paradigm. Ramon Llull Journal of Applied Ethics 3 (3):63.score: 60.0
    In this article, Albert Ferrer culminates a long series of articles published in the Catalan review Ars Brevis , edited by the Blanquerna Foundation of the Ramon Llull University, Barcelona. In his previous exposition, Prof. Ferrer outlined the development of holistic and spirituallybased education in India and Europe until the advent of the materialistic pedagogy of the modern school system. In this paper, Prof. Ferrer delves further into a philosophical understanding of this integral kind of education on (...)
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  23. Joelma Aparecida Santos Xavier (2013). A disciplina de Cultura Religiosa na PUC Minas: aspectos fenomenológicos e éticos como tópos privilegiado do diálogo. Dissertação. Horizonte 11 (32):1654-1655.score: 60.0
    XAVIER, Joelma Aparecida dos Santos. A disciplina de Cultura Religiosa na PUC Minas : aspectos fenomenológicos e éticos como tópos privilegiado do diálogo. Dissertação (Mestrado) 2013. 96p. - Pontifícia Universidade Católica de Minas Gerais, Programa de Pós-graduação em Ciências da Religião, Belo Horizonte.
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  24. Mercedes Muñoz-Repiso Izaguirre & Alejandro Tiana Ferrer (2008). Entrevista a Alejandro Tiana. Critica 58 (956):66-71.score: 60.0
    Alejandro Tiana Ferrer es catedrático de historia de los Sistemas Educativos de la UNED. Ha ocupado entre otros cargos los de director del Centro de Investigación y Documentación Educativa (CIDE), creador y primer director del Instituto Nacional de Evaluación Educativa (INCE), presidente de la Asociación Internacional para la Evaluación del Rendimiento Educativo (IEA) y, hasta hace unos meses, Secretario General de Educación del Ministerio de Educación y Ciencia, donde ha diseñado y empezado a implementar una nueva ley de educación. (...)
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  25. Andrés Eduardo Caicedo & Sy-David Friedman (2011). BPFA and Projective Well-Orderings of the Reals. Journal of Symbolic Logic 76 (4):1126-1136.score: 60.0
    If the bounded proper forcing axiom BPFA holds and ω 1 = ${\mathrm{\omega }}_{1}^{\mathrm{L}}$ , then there is a lightface ${\mathrm{\Sigma }}_{3}^{1}$ well-ordering of the reals. The argument combines a well-ordering due to Caicedo-Veličković with an absoluteness result for models of MA in the spirit of "David's trick." We also present a general coding scheme that allows us to show that BPFA is equiconsistent with R being lightface ${\mathrm{\Sigma }}_{4}^{1}$ , for many "consistently locally certified" relations R on $\mathrm{\mathbb{R}}$ (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  26. Donato Rodriguez Xavier & Arroyo-Santos Alfonso (2012). The Structure of Idealization in Biological Theories: The Case of the Wright-Fisher Model. Journal for General Philosophy of Science.score: 30.0
    In this paper we present a new framework of idealization in biology. We characterize idealizations as a network of counterfactual and hypothetical conditionals that can exhibit different “degrees of contingency”. We use this idea to say that, in departing more or less from the actual world, idealizations can serve numerous epistemic, methodological or heuristic purposes within scientific research. We defend that, in part, this structure explains why idealizations, despite being deformations of reality, are so successful in scientific practice. For illustrative (...)
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  27. Mark Beitel, Elena Ferrer & John J. Cecero (2005). Psychological Mindedness and Awareness of Self and Others. Journal of Clinical Psychology 61 (6):739-750.score: 30.0
  28. Joelma Aparecida Santos Xavier (2012). CRUZ, E.; MORI, G. (orgs.) Teologia e ciências da religião: a caminho da maioridade acadêmica no Brasil. Horizonte 10 (25):312-315.score: 30.0
    Translate to English
    | Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  29. Jorge N. Ferrer & Jacob H. Sherman (eds.) (2008). The Participatory Turn: Spirituality, Mysticism, Religious Studies. State University of New York Press.score: 30.0
    The contributors to this volume argue that we can, and they offer a new way: the "participatory turn," which proposes that individuals and communities have an ...
    Direct download  
     
    My bibliography  
     
    Export citation  
  30. Dennys Garcia Xavier (2010). Composição dramática e maiêutica no Teeteto de Platão. Princípios 14 (21):175-194.score: 30.0
    Neste artigo, submetendo a breve análise a digressáo sobre a maiêutica “socrática”, tentamos demonstrar em que medida a escolha dos personagens do Teeteto de Platáo determina a natureza do debate desenvolvido ali. Inspirados pelo critério hermenêutico da escola de Tübingen-Miláo , julgamos que a recomposiçáo dos perfis dramático-biográficos daqueles personagens, em plena harmonia com a teoria do escrito-jogo de Platáo apresentada na parte conclusiva do Fedro e completada, em seu aspecto dramático-compositivo pelo livro III da República , seja elemento central (...)
    Translate to English
    | Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  31. Jorge Ferrer (1998). Beyond Absolutism and Relativism in Transpersonal Evolutionary Theory. World Futures 52 (3):239-280.score: 30.0
    This paper critically examines Ken Wilber's transpersonal evolutionary theory in the context of the philosophical discourse of postmodernity. The critique focuses on Wilber's refutation of non?absolutist and non?universalist approaches to rationality, truth, and morality?such as cultural relativism, pluralism, constructivism or perspectivism?under the charges of being epistemologically self?refuting and morally pernicious. First, it is suggested that Wilber offers a faulty dichotomy between his absolutist?universalist metanarrative and a self?contradictory and pernicious vulgar relativism. Second, it is shown that Wilber's arguments for the self?refuting (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  32. Diogo Ferrer (2000). Der Begriff der Existenz und der Gang der Wissenschaftslehre 1805. Fichte-Studien 17:259-267.score: 30.0
    Translate to English
    | Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  33. C. Machado, J. Kerein, Y. Ferrer, L. Portela, M. de La C. Garcia & J. M. Manero (2007). The Concept of Brain Death Did Not Evolve to Benefit Organ Transplants. Journal of Medical Ethics 33 (4):197-200.score: 30.0
    Although it is commonly believed that the concept of brain death was developed to benefit organ transplants, it evolved independently. Transplantation owed its development to advances in surgery and immunosuppressive treatment; BD owed its origin to the development of intensive care. The first autotransplant was achieved in the early 1900s, when studies of increased intracranial pressure causing respiratory arrest with preserved heartbeat were reported. Between 1902 and 1950, the BD concept was supported by the discovery of EEG, Crile’s definition of (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  34. Maria Mateo I. Ferrer (2002). La Reivindicación de la Diferencia En El Romanticismo Alemán. Signos Filosóficos 7:189-219.score: 30.0
    Within the philosophical discussion between Idealism and Romanticism that took place in Germany toward 1800, they were formed the basic directives that will guide all (critical or apologetical) later exposition about the subjectivity. The Idealism, represented by Fichte, Schelling and Hegel (its ..
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  35. David L. Callies, Li-Fu Chen, Anton Cooray, Glenys Godlovitch, Tsuyoshi Kotaka, Murray J. Raff, William Jm Ricquier, Eathipol Srisawaluck, Won Woo Suh & Grace Xavier (2013). Taking Land: Compulsory Purchase and Regulation in Asian-Pacific Countries. Philosophy East and West 63 (2).score: 30.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  36. Alfrancio Ferreira Dias & Antônio Jefferson Barreto Xavier (2013). A ausência de educadores do sexo masculino nas creches da cidade de jequié. Saberes Em Perspectiva 3 (5):103-115.score: 30.0
    O presente artigo é fruto de uma pesquisa em andamento realizada na cidade de Jequié­Ba, com o objetivo de problematizar a ausência de educadores do sexo masculino nas creches desse Município, sendo realizado entrevistas como as diretoras das creches e aplicado um questionário com os estudantes do curso de Pedagogia da Universidade Estadual do Sudoeste da Bahia, faremos ainda uma abordagem a cerca da feminização do magistério.
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  37. Josep-Vicent Ferre Domínguez, Francisco Bueno-Félix C. Fernández, Antonio Claver Ferrer, Jacinto García & Gregorio Martínez (2003). Bermejo, Ignacio Jericó. Domingo Báñez, Teología de la Infidelidad En Paganos y Herejes (1584). Madrid: Editorial Revista Agustiniana, 2000. Chrétien, Jean-Luis. The Unforgettable and the Unhoped For. Trans. J. Bloechl. New York: Fordham University Press, 2002. Cupitt, Don. Is Nothing Sacred: The Non-Realist Philosophy of Religion. New. [REVIEW] Augustinian Studies 34 (1).score: 30.0
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  38. Urbano Ferrer (1991). La Ética en Husserl. Revista de Filosofía (Madrid) 6:457.score: 30.0
    The article examines the notion of open system as suitable for giving an account of dynamism of living being. However difficulties come by trying to incorporate the finality to the system, since it´s fixed as a state from outside or is established in the improper terms of autoproductivity and neguentropye. That leads to explain the final cause in interaction with the other intrinsecal causes, in as much they remain incomplete without her. Whith the passage to human living the linear scheme (...)
    Translate to English
    | Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  39. Maria Leonor Xavier (2008). Anselmo e Dums Escoto. Variaçoes sobre um memo princípio metafísico. Philosophica 31:77-90.score: 30.0
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  40. Prof Pe Donizete José Xavier (2010). A espiritualidade E a mística do educador. Revista de Teologia (Reveleteo). Issn 2177-952x 4 (6):109-120.score: 30.0
    The relevance of this text is characterized by the result of the relationship between Theology and Pedagogy and the attempt to think the education having the Theology as a base. The text seeks to understand the pedagogy, in the modern sense of the term, within the most genuine and highest aspect as a continuous process of living and acting according to the paradigmatic of humanity and revealing act condition. The Pedagogy, dialoguing with Theology, will find diachronic and synchronic adapting to (...)
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  41. [deleted]De Tiège Xavier (2012). Changes in Functional Integration with the Non-Epileptic Temporal Lobe of Patients with Unilateral Mesiotemporal Epilepsy. Frontiers in Human Neuroscience 6.score: 30.0
  42. Prof Donizete José Xavier (2010). Os terremotos, as calamidades E deus. Revista de Teologia (Reveleteo). Issn 2177-952x 4 (5):56-61.score: 30.0
    Before Earthquakes in Haiti, Chile and China, with many victims and mostly poor and innocent, not a few who wonder: God is Good and Omnipotent? So why not prevent such calamities? By allowing the tragic death of so many innocents? Articulating these questions with the question of faith of God's revelation, the text presented is an attempt to say that faith in God can not be real scandal of the margin of innocent suffering, but through it. And without exhausting the (...)
    Translate to English
    | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  43. Luana Lopes Xavier (2013). Uma fenomenologia da existência: Sobre a dúvida de cézanne de Maurice Merleau-ponty. Revista Inquietude 4 (2):197-209.score: 30.0
    Vida versus obra, a que se deve a pintura de Cézanne? Podemos compreender a obra pela vida e por outra perspectiva, traduzi-la a partir da história da arte. A pintura de Cézanne, imbuída de caráter inumano, era uma pintura advinda da natureza. Esse artigo à luz do pensamento de Merleau-Ponty, propõe elucidar a relação existência-arte na obra do pintor, revelar através da arte e do vivido a consciência que Cézanne cria na medida em que traduz visivelmente em sua pintura a (...)
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  44. Francisco Caruso & R. Moreira Xavier (1998). Sull'influenza di Cartesio, Leibniz e Newton nel primo approccio di Kant al problema dello spazio e della sua dimensionalita. Epistemologia 21 (2):211-224.score: 30.0
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  45. Sergio A. Celani & Ramón Jansana Ferrer (2012). On the Free Implicative Semilattice Extension of a Hilbert Algebra. Mathematical Logic Quarterly 58 (3):188-207.score: 30.0
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  46. C. Machado, J. Korein, Y. Ferrer, L. Portela, M. D. L. C. Garcia, M. Chinchilla, Y. Machado & J. M. Manero (2007). The Declaration of Sydney on Human Death. Journal of Medical Ethics 33 (12):699-703.score: 30.0
    On 5 August 1968, publication of the Harvard Committee’s report on the subject of “irreversible coma” established a standard for diagnosing death on neurological grounds. On the same day, the 22nd World Medical Assembly met in Sydney, Australia, and announced the Declaration of Sydney, a pronouncement on death, which is less often quoted because it was overshadowed by the impact of the Harvard Report. To put those events into present-day perspective, the authors reviewed all papers published on this subject and (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  47. Antonio Ferrer (2011). Aliscioni, Claudio Mario:" El Capital En Hegel". Anales Del Seminario de Historia de la Filosofía 28:329-332.score: 30.0
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  48. León Ferrer, Jesús Jaúregui & Sergio Pérez (1993). El imaginario México profundo. Revista Internacional de Filosofía Política 2:167-182.score: 30.0
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  49. Mikel De Epalza Ferrer (1994). Falta de obispos y conversión al Islam de los cristianos de Al-Andalus. Al-Qantara: Revista de Estudios Árabes 15 (2):385-400.score: 30.0
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  50. Diogo Ferrer (2006). Hegels Fichte-Kritik und die späte Wissenschaftslehre. Fichte-Studien 30:173-185.score: 30.0
    Translate to English
    | Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
1 — 50 / 818