Results for 'Mauricio Osorio Galindo'

1000+ found
Order:
  1.  33
    Brief study of G'3 logic.Mauricio Osorio Galindo & José Luis Carballido Carranza - 2008 - Journal of Applied Non-Classical Logics 18 (4):475-499.
    We present a Hilbert-style axiomatization of a recently introduced logic, called G'3 G'3 is based on a 3-valued semantics. We prove a soundness and completeness theorem. The replacement theorem holds in G'3. As it has already been shown in previous work, G'3 can express some non-monotonic semantics. We prove that G'3can define the same class of functions as Lukasiewicz 3 valued logic. Moreover, we identify some normal forms for this logic.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  2.  25
    Brief study of G'3 logic.Mauricio Osorio Galindo & José Luis Carballido Carranza - 2008 - Journal of Applied Non-Classical Logics 18 (4):475-499.
    We present a Hilbert-style axiomatization of a recently introduced logic, called G'3 G'3 is based on a 3-valued semantics. We prove a soundness and completeness theorem. The replacement theorem holds in G'3. As it has already been shown in previous work, G'3 can express some non-monotonic semantics. We prove that G'3can define the same class of functions as Lukasiewicz 3 valued logic. Moreover, we identify some normal forms for this logic.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  3.  28
    Revisiting da Costa logic.Mauricio Osorio Galindo, Verónica Borja Macías & José Ramón Enrique Arrazola Ramírez - 2016 - Journal of Applied Logic 16:111-127.
  4.  28
    The Pursuit of an Implication for the Logics L3A and L3B.Alejandro Hernández-Tello, José Arrazola Ramírez & Mauricio Osorio Galindo - 2017 - Logica Universalis 11 (4):507-524.
    The authors of Beziau and Franceschetto work with logics that have the property of not satisfying any of the formulations of the principle of non contradiction, Béziau and Franceschetto also analyze, among the three-valued logics, which of these logics satisfy this property. They prove that there exist only four of such logics, but only two of them are worthwhile to study. The language of these logics does not consider implication as a connective. However, the enrichment of a language with an (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  5.  20
    23rd Workshop on Logic, Language, Information and Computation.Jouko Väänänen, Ruy de Queiroz, Mauricio Osorio Galindo, Claudia Zepeda Cortés & José R. Arrazola Ramírez - 2017 - Logic Journal of the IGPL 25 (2):253-272.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  6.  13
    An axiomatic approach to CG′3 logic.Miguel Pérez-Gaspar, Alejandro Hernández-Tello, José Arrazola Ramírez & Mauricio Osorio Galindo - 2020 - Logic Journal of the IGPL 28 (6):1218-1232.
    In memoriam José Arrazola Ramírez The logic $\textbf{G}^{\prime}_3$ was introduced by Osorio et al. in 2008; it is a three-valued logic, closely related to the paraconsistent logic $\textbf{CG}^{\prime}_3$ introduced by Osorio et al. in 2014. The logic $\textbf{CG}^{\prime}_3$ is defined in terms of a multi-valued semantics and has the property that each theorem in $\textbf{G}^{\prime}_3$ is a theorem in $\textbf{CG}^{\prime}_3$. Kripke-type semantics has been given to $\textbf{CG}^{\prime}_3$ in two different ways by Borja et al. in 2016. In this (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  7.  30
    A family of genuine and non-algebraisable C-systems.Mauricio Osorio, Aldo Figallo-Orellano & Miguel Pérez-Gaspar - 2021 - Journal of Applied Non-Classical Logics 31 (1):56-84.
    In 2016, Béziau introduced the notion of genuine paraconsistent logic as logic that does not verify the principle of non-contradiction; as an important example, he presented the genuine paraconsist...
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  8.  14
    Revisiting $\mathbb{Z}$.Mauricio Osorio, José Luis Carballido & Claudia Zepeda - 2014 - Notre Dame Journal of Formal Logic 55 (1):129-155.
  9.  40
    Weakening and Extending {mathbb{Z}}.Mauricio Osorio, J. L. Carballido, C. Zepeda & J. A. Castellanos - 2015 - Logica Universalis 9 (3):383-409.
    By weakening an inference rule satisfied by logic daC, we define a new paraconsistent logic, which is weaker than logic \ and G′ 3, enjoys properties presented in daC like the substitution theorem, and possesses a strong negation which makes it suitable to express intutionism. Besides, daC ' helps to understand the relationships among other logics, in particular daC, \ and PH1.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  10.  17
    Www. Redalyc. Org.Andres Escobar Mejía, Mauricio Holguín Londoño & Juan Carlos Osorio - 2008 - Ideas Y Valores 57 (136):176-178.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  11.  14
    A general theory of confluent rewriting systems for logic programming and its applications.Jürgen Dix, Mauricio Osorio & Claudia Zepeda - 2001 - Annals of Pure and Applied Logic 108 (1-3):153-188.
    Recently, Brass and Dix showed 143–165) that the well founded semantics WFS can be defined as a confluent calculus of transformation rules. This led not only to a simple extension to disjunctive programs 167–213), but also to a new computation of the well-founded semantics which is linear for a broad class of programs. We take this approach as a starting point and generalize it considerably by developing a general theory of Confluent LP-systems CS . Such a system CS is a (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  12.  13
    Safe beliefs for propositional theories.Mauricio Osorio, Juan Antonio Navarro Pérez & José Arrazola - 2005 - Annals of Pure and Applied Logic 134 (1):63-82.
    We propose an extension of answer sets, that we call safe beliefs, that can be used to study several properties and notions of answer sets and logic programming from a more general point of view. Our definition, based on intuitionistic logic and following ideas from D. Pearce [Stable inference as intuitionistic validity, Logic Programming 38 79–91], also provides a general approach to define several semantics based on different logics or inference systems. We prove that, in particular, intuitionistic logic can be (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  13.  18
    Equivalence for the G 3 ′ -stable models semantics.José Luis Carballido, Mauricio Osorio & José Ramón Arrazola - 2010 - Journal of Applied Logic 8 (1):82-96.
  14. I. Osorio Romero, "Antonio Rubio en la filosofía novohispana".Mauricio Beuchot - 1993 - Analogía Filosófica 7 (2):215.
    No categories
     
    Export citation  
     
    Bookmark  
  15.  23
    Adopting the intentional stance toward natural and artificial agents.Jairo Perez-Osorio & Agnieszka Wykowska - 2019 - Philosophical Psychology 33 (3):369-395.
    ABSTRACTIn our daily lives, we need to predict and understand others’ behavior in order to navigate through our social environment. Predictions concerning other humans’ behavior usually refer to th...
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  16.  29
    Infants’ agent individuation: It’s what’s on the insides that counts.Hernando Taborda-Osorio & Erik W. Cheries - 2018 - Cognition 175 (C):11-19.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  17.  10
    Examining Infants’ Individuation of Others by Sociomoral Disposition.Hernando Taborda-Osorio, Ashley B. Lyons & Erik W. Cheries - 2019 - Frontiers in Psychology 10.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  18.  5
    La política en la ciudad del hombre.Mauricio Guzmán - 1952 - San Salvador, El Salvador: Ministerio de Educación, Dirección de Cultura, Dirección de Publicaciones.
    Direct download  
     
    Export citation  
     
    Bookmark  
  19. El profesor García Morente, sacerdote.Mauricio de Iriarte - 1951 - Madrid,: Espasa-Calpe.
     
    Export citation  
     
    Bookmark  
  20.  3
    Notas sobre la metodología del estudio y la investigación.Mauricio Lebedinsky - 1977 - Buenos Aires: Ensayos Ediciones.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  21.  3
    Hannah Arendt : el Estado, el individuo y la banalidad.Felipe Osorio Gómez - 2012 - Medellín, Colombia: Universidad de Medellín.
  22.  7
    La identidad narrativa según Paul Ricoeur: hacia una hermenéutica de la persona humana.Quinceno Osorio & Juan David - 2021 - Madrid: Dykinson.
    Direct download  
     
    Export citation  
     
    Bookmark  
  23. Editors' Preface. Book Symposium on Ayers’ Knowing and Seeing.Naomi Osorio-Kupferblum & Mira Magdalena Sickinger - 2021 - Grazer Philosophische Studien 98 (4):489–494.
    Editors' preface to the book symposium on Michael Ayers' Knowing and Seeing. Groundwork for a New Empiricism (OUP 2019).
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  24.  11
    El problema de los universales.Mauricio Beuchot - 1981 - México: Colegio de Filosofía, Facultad de Filosofía y Letras, Universidad Nacional Autónoma de México.
    Direct download  
     
    Export citation  
     
    Bookmark  
  25. Metaphysics and psychology of the making of law in Francisco Suarez.Mauricio Lecon - 2016 - In Kirstin Bunge, Marko J. Fuchs, Danaë Simmermacher & Anselm Spindler (eds.), The concept of law (lex) in the moral and political thought of the 'School of Salamanca' / edited by Kirstin Bunge, Marko J. Fuchs, Danaë Simmermacher, and Anselm Spindler. Boston: Brill.
     
    Export citation  
     
    Bookmark  
  26.  2
    Garantías para la libertad de la sociedad democrática: un estudio a partir de Alexis de Tocqueville.Alfonso Osorio de Rebellón Yohn - 2003 - Pamplona, Spain: Ediciones Universidad de Navarra.
    Direct download  
     
    Export citation  
     
    Bookmark  
  27.  12
    As you embed, so Ködel must lie ….C. Naomi Osorio-Kupferblum - forthcoming - Inquiry: An Interdisciplinary Journal of Philosophy.
    Machery et al.’s 2004 x-phi project has been widely criticised for ambiguities contained in the expression ‘talk about’. Interestingly, although ‘about’ plays a prominent part in the debate, aboutness has not been a topic. This paper discusses this aspect. Alas, it must thereby add a further ambiguity to the list, the ambiguity between aboutness and reference, and thus also between subject matter and referent. It explains the distinction between intra-categorical aboutness which makes no ontological demands, and cross-categorical reference which requires (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  28.  32
    Bringing tacit knowledge back to contributory and interactional expertise: A reply to Goddiksen.Luis I. Reyes-Galindo & Tiago Ribeiro Duarte - 2015 - Studies in History and Philosophy of Science Part A 49:99-102.
  29.  95
    Depersonalization: A selective impairment of self-awareness.Mauricio Sierra & Anthony S. David - 2011 - Consciousness and Cognition 20 (1):99-108.
    Depersonalization is characterised by a profound disruption of self-awareness mainly characterised by feelings of disembodiment and subjective emotional numbing.It has been proposed that depersonalization is caused by a fronto-limbic suppressive mechanism – presumably mediated via attention – which manifests subjectively as emotional numbing, and disables the process by which perception and cognition normally become emotionally coloured, giving rise to a subjective feeling of ‘unreality’.Our functional neuroimaging and psychophysiological studies support the above model and indicate that, compared with normal and clinical (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   27 citations  
  30.  5
    Huellas analógicas en el camino filosófico.Mauricio Beuchot - 2019 - Ciudad de México: Herder.
    Este libro intenta ser una invitación a la filosofía, en forma de racionalidad analógica, por medio del diálogo con algunos filósofos muy connotados, que nos enseñan algo sobre el concepto de la analogía y, positiva o negativamente, nos enseñan la necesidad de adoptar esa perspectiva abierta pero exigente. En la actualidad se cultiva mucho la hermenéutica, disciplina de la interpretación de textos, así como su puesta en ejercicio sobre ellos. Pues bien, se necesita una teoría que pueda sortear los peligros (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  31.  6
    Diálogo entre personalismos: personalismo integral y personalismo analógico.Mauricio Beuchot & Juan Manuel Burgos (eds.) - 2022 - Ciudad de México, México: Gedisa Editorial.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  32. Un personalismo integral y analógico ; Alianza entre el personalismo integral y el personalismo analógico ; Personalismo integral analógico y comprensión del ser humano ; El personalismo integral analógico y los sentidos de la vida humana.Mauricio Beuchot - 2022 - In Mauricio Beuchot & Juan Manuel Burgos (eds.), Diálogo entre personalismos: personalismo integral y personalismo analógico. Ciudad de México, México: Gedisa Editorial.
    No categories
     
    Export citation  
     
    Bookmark  
  33.  6
    La bioética en la sociedad del conocimiento: los pobres del tercer milenio son los que no acceden al conocimiento.Gilberto Cely Galindo - 1999 - Santa Fé de Bogotá, D.C., Colombia: 3R Editores.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  34. Evidentiary practices and risks of wrongful conviction : an empirical perspective.J. Mauricio Duce - 2020 - In Jordi Ferrer Beltrán & Carmen Vázquez Rojas (eds.), Evidential legal reasoning: crossing civil law and common law traditions. New York, NY: Cambridge University Press.
     
    Export citation  
     
    Bookmark  
  35. Memoria, identidad y sujeto. Debate sobre el Moisés de Freud.Mauricio Pilatowsky - 2010 - In María G. Navarro, Betty Estévez & Antolín Sánchez Cuervo (eds.), Claves actuales de pensamiento. Madrid: CSIC/Plaza y Valdés. pp. 93--106.
    No categories
     
    Export citation  
     
    Bookmark  
  36.  6
    Puerto Rico: humanismo y soberanía.Carlos Rojas Osorio - 2013 - Humacao, Puerto Rico: Ediciones Abacoa.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  37. Post-truth and science : looking beyond the Global North.Luis Reyes-Galindo - 2021 - In Inkeri Koskinen, David Ludwig, Zinhle Mncube, Luana Poliseli & Luis Reyes-Galindo (eds.), Global Epistemologies and Philosophies of Science. Routledge.
    No categories
     
    Export citation  
     
    Bookmark   1 citation  
  38. Science without Laws.Mauricio Suárez - 2002 - Mind 111 (441):111-114.
    1Department of Philosophy, University of Bristol, 9 Woodland Road, Bristol BS8 1TB, UKScience Without Laws Ronald Giere Chicago, IL University of Chicago Press 1999 x + 285 Hardback£17.50.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   135 citations  
  39.  3
    Hermenéutica, analogía y signaturas.Mauricio Beuchot - 2014 - México, D.F.: Universidad Nacional Autónoma de México, Instituto de Investigaciones Filológicas.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  40. El legado político de Atenas y las democracias modernas.Valentín Brandau Galindo - 1956 - [Santiago de Chile]: Editorial Universitaria.
     
    Export citation  
     
    Bookmark  
  41.  14
    Pandemia e poder: uma perspectiva multiespecífica da biopolítica no antropoceno.Maurício Sérgio Borba Costa Filho - 2020 - Voluntas: Revista Internacional de Filosofia 11:e16.
    No presente texto propomos uma perspectiva multiespecífica para a análise da biopolítica. Partindo da situação da emergência da pandemia do COVID-19, tomada dentro do contexto das mutações ecológicas do Antropoceno, argumentamos que, para além da atenção voltada às operações das diversas experiências e dispositivos biopolíticos sobre o corpo humano – corpo individual ou corpo social – deve-se trilhar por uma via expandida que leve também em consideração, conjuntamente (e não por exclusão), os efeitos dessas operações sobre formas de vida outras-que-humanas, (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  42.  32
    Epistemología y Hermenéutica: Entre lo Conmensurable y lo Inconmensurable.María de la Luz Flores-Galindo - 2009 - Cinta de Moebio 36:198-211.
    Tradicionalmente se ha separado a la epistemología y a la hermenéutica, puesto que la primera trata de lo conmensurable y la segunda, lo inconmensurable. Sin embargo, en mi opinión, hoy en día es posible unir a la epistemología y la hermenéutica sólo si partimos de una teoría de la epistemología contemporánea: la teoría de la verdad como aceptabilidad racional en condiciones epistémicas óptimas. Dicha teoría permite justificar lo conmensurable y entender lo inconmensurable.Traditionally epistemology and hermeneutics have been separated, since the (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  43.  22
    Las emociones en la filosofía de la ciencia.María de la Luz Flores Galindo - 2011 - Astrolabio 12:37 - 46.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  44.  3
    Donoso Cortés y su teoría política.Santiago Galindo Herrero - 1957 - Badajoz: Excma. Diputacíon Provincial.
    Direct download  
     
    Export citation  
     
    Bookmark  
  45.  15
    Feminismo bastardo.María Galindo - 2022 - [Buenos Aires?]: Lavaca.
  46.  3
    Notas de filosofía.Reynaldo Galindo Pohl - 1960 - San Salvador,: Editorial Universitaria.
    Direct download  
     
    Export citation  
     
    Bookmark  
  47.  33
    Meeting report‐colloquia on high performance scientific computing 1996.Mauricio Vieira Kritz - 1997 - Complexity 2 (3):3-4.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  48.  12
    El pensamiento crítico y autoconocimiento.Fredy Hernán Prieto Galindo - 2018 - Revista de Filosofía 74:173-191.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  49. Fundamentos para una efectuacion del hombre en el pensamiento de Ortega y Gasset.E. Quintero Osorio - 1987 - Franciscanum 29 (85):9-28.
     
    Export citation  
     
    Bookmark  
  50. Reflexiones sobre la tentativa de inducción imposible y el omnimodo facturus.Juan L. Fuentes Osorio - 2007 - Aletheia: Cuadernos Críticos Del Derecho 3:40-74.
    No categories
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000