Results for 'Bernardo Meza Guzman'

998 found
Order:
  1.  15
    Vicente Santuc, Gonzalo Gamio, Francisco Chamberlain. Democracia, sociedad civil y solidaridad.Bernardo Meza Guzmán - 2000 - Estudios de Filosofía (Universidad de Antioquia) 4:111-112.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  2.  6
    Vicente Santuc, Gonzalo Gamio, Francisco Chamberlain. Democracia, sociedad civil y solidaridad.Bernardo Meza Guzmán - 2000 - Estudios de Filosofía (Universidad de Antioquia) 4:111-112.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3.  9
    Retraction of health science articles by researchers in Latin America and the Caribbean: A scoping review.Percy Herrera-Añazco, Daniel Fernandez-Guzman, Fernanda Barriga-Chambi, Jerry K. Benites-Meza, Brenda Caira-Chuquineyra & Vicente Aleixandre Benites-Zapata - forthcoming - Developing World Bioethics.
    We aimed to conduct a scoping review to assess the profile of retracted health sciences articles authored by individuals affiliated with academic institutions in Latin America and the Caribbean (LAC). We systematically searched seven databases (PubMed, Scopus, Web of Science, Embase, Medline/Ovid, Scielo, and LILACS). We included articles published in peer‐reviewed journals between 2003 and 2022 that had at least one author with an institutional affiliation in LAC. Data were collected on the year of publication, study design, authors' countries of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  4.  50
    Repertorio bibliográfico sobre Platón.Pedro Pablo Apolinario, Wilder Chanduví, Mariana Chu, Maribel Cuenca, Henry Galecio, Gabriel García, Rubén León, Julio Marchena, Bernardo Meza, Aurelio Miní, Víctor Montero, Gabriela Núñez, Martín Oyata, Raschid Rabí, Ernesto Reátegui, Rocío Reátegui, Carla Sáenz, Marco Sano, Gabriela Sarmiento, Camilo Thorne, Gabriela Trujillo, Ricardo Ugaz, Carmen Zavala, Ruth Zea & Mauricio Zeballos - 2000 - Estudios de Filosofía (Universidad de Antioquia) 4:119-159.
    Este repertorio registra los artículos sobre Platón que se encuentran en la Hemeroteca de la Biblioteca Central de la Pontificia Universidad Católica del Perú. El listado abarca las publicaciones existentes hasta el primer semestre del año 2000.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  5.  19
    Modeling and Simulation of Project Management through the PMBOK® Standard Using Complex Networks.Luz Stella Cardona-Meza & Gerard Olivar-Tost - 2017 - Complexity:1-12.
    Discussion about project management, in both the academic literature and industry, is predominantly based on theories of control, many of which have been developed since the 1950s. However, issues arise when these ideas are applied unilaterally to all types of projects and in all contexts. In complex environments, management problems arise from assuming that results, predicted at the start of a project, can be sufficiently described and delivered as planned. Thus, once a project reaches a critical size, a calendar, and (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  6.  20
    La sombra omeya. Córdoba y los almohades en la segunda mitad del siglo VI/XII.Rafael Blanco-Guzmán - 2019 - Al-Qantara 40 (1):43.
    La arqueología ha revelado recientemente la existencia de una importante revitalización urbana en Córdoba durante el Califato Almohade, apenas tratada hasta ahora por la historiografía, centrada principalmente en su pasado omeya. Por un lado, se ha observado una importante inversión del poder almohade en elementos defensivos y palatinos, acaso por tratarse en estas fechas de un centro fundamental en la conceptualización histórica de al-Andalus y en la lucha contra los reinos cristianos; por otro, se ha documentado un importante crecimiento orgánico (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  7.  91
    Political Theory with an Ethnographic Sensibility.Bernardo Zacka, Brooke Ackerly, Jakob Elster, Signy Gutnick Allen, Humeira Iqtidar, Matthew Longo & Paul Sagar - 2021 - Contemporary Political Theory 20 (2):385-418.
    Political theory is a field that finds nourishment in others. From economics, history, sociology, psychology, and political science, theorists have drawn a rich repertoire of schemas to parse the social world and make sense of it. With each of these encounters, new subjects are brought into focus as others recede into the background, ushering a change not only in how questions are tackled but also in what questions are thought worth asking.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  8.  7
    The prd as party hinge in the faile coalition by mexico to the front.Rosendo Bolívar Meza - 2020 - Polis 16 (2):39-68.
    Direct download  
     
    Export citation  
     
    Bookmark  
  9.  44
    Do honeybees have concepts?Bernardo Aguilera Dreyse - 2011 - Disputatio 4 (30):1 - 19.
    Can animals think? In this paper I address the proposal that many animals, including insects such as honeybees, have genuine thoughts. I consider one prominent version of this view that claims that honeybees can represent and process information about their environments in a way that satisfies the main hallmarks of human conceptual thought. I shall argue, however, that this view fails to provide convincing grounds for accepting that animals possess concepts. More precisely, I suggest that two important aspects of conceptual (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  10. Can machines think? The controversy that led to the Turing test.Bernardo Gonçalves - 2023 - AI and Society 38 (6):2499-2509.
    Turing’s much debated test has turned 70 and is still fairly controversial. His 1950 paper is seen as a complex and multilayered text, and key questions about it remain largely unanswered. Why did Turing select learning from experience as the best approach to achieve machine intelligence? Why did he spend several years working with chess playing as a task to illustrate and test for machine intelligence only to trade it out for conversational question-answering in 1950? Why did Turing refer to (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  11. On the Plausibility of Idealism: Refuting Criticisms.Bernardo Kastrup - 2017 - Disputatio 9 (44):13-34.
    Several alternatives vie today for recognition as the most plausible ontology, from physicalism to panpsychism. By and large, these ontologies entail that physical structures circumscribe consciousness by bearing phenomenal properties within their physical boundaries. The ontology of idealism, on the other hand, entails that all physical structures are circumscribed by consciousness in that they exist solely as phenomenality in the first place. Unlike the other alternatives, however, idealism is often considered implausible today, particularly by analytic philosophers. A reason for this (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  12. The Universe in Consciousness.Bernardo Kastrup - 2018 - Journal of Consciousness Studies 25 (5-6):125-155.
    I propose an idealist ontology that makes sense of reality in a more parsimonious and empirically rigorous manner than mainstream physicalism, bottom-up panpsychism, and cosmopsychism. The proposed ontology also offers more explanatory power than these three alternatives, in that it does not fall prey to the hard problem of consciousness, the combination problem, or the decombination problem, respectively. It can be summarized as follows: there is only cosmic consciousness. We, as well as all other living organisms, are but dissociated alters (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   20 citations  
  13.  12
    Bienestar prudencial en la ética de Epicuro.Carlos Gustavo Carrasco Meza - 2018 - Ideas Y Valores 67 (167):57-80.
    Se expone cr.ticamente una interpretación reciente del hedonismo epic.reo, según la cual este podr.a comprenderse como hedonismo actitudinal. Esta lectura conlleva ciertas tensiones internas y descuida el sentido fundamental del epicure.smo, esto es, que se trata de una teor.a del bienestar prudencial. Al examinar solo este aspecto, se omiten ciertos problemas secundarios, como la legitimidad de interpretar de manera actitudinal una doctrina asentada en el atomismo.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  14.  14
    Prudential well-being in the ethics of Epicurus.Carlos Carrasco Meza - 2018 - Ideas Y Valores 67 (167):57-80.
    RESUMEN Se expone críticamente una interpretación reciente del hedonismo epicúreo, según la cual este podría comprenderse como hedonismo actitudinal. Esta lectura conlleva ciertas tensiones internas y descuida el sentido fundamental del epicureismo, esto es, que se trata de una teoría del bienestar prudencial. Al examinar solo este aspecto, se omiten ciertos problemas secundarios, como la legitimidad de interpretar de manera actitudinal una doctrina asentada en el atomismo. ABSTRACT The paper offers a critical review of a recent interpretation of Epicurean hedonism, (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  15. An Ontological Solution to the Mind-Body Problem.Bernardo Kastrup - 2017 - Philosophies 2 (2):doi:10.3390/philosophies2020010.
    I argue for an idealist ontology consistent with empirical observations, which seeks to explain the facts of nature more parsimoniously than physicalism and bottom-up panpsychism. This ontology also attempts to offer more explanatory power than both physicalism and bottom-up panpsychism, in that it does not fall prey to either the ‘hard problem of consciousness’ or the ‘subject combination problem’, respectively. It can be summarized as follows: spatially unbound consciousness is posited to be nature’s sole ontological primitive. We, as well as (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  16. The Harm of Ableism: Medical Error and Epistemic Injustice.David M. Peña-Guzmán & Joel Michael Reynolds - 2019 - Kennedy Institute of Ethics Journal 29 (3):205-242.
    This paper argues that epistemic errors rooted in group- or identity- based biases, especially those pertaining to disability, are undertheorized in the literature on medical error. After sketching dominant taxonomies of medical error, we turn to the field of social epistemology to understand the role that epistemic schemas play in contributing to medical errors that disproportionately affect patients from marginalized social groups. We examine the effects of this unequal distribution through a detailed case study of ableism. There are four primary (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   20 citations  
  17. Peirce’s Imaginative Community: On the Esthetic Grounds of Inquiry.Bernardo Andrade - 2022 - Transactions of the Charles S. Peirce Society 58 (1):1-21.
    Departing from Anderson’s (2016) suggestion that there are three communities in Peirce’s thought corresponding to his three normative sciences of logic, ethics, and esthetics, I argue that these communities partake in a relationship of dependence similar to that found among the normative sciences. In this way, just as logic relies on ethics which relies on esthetics, so too would a logical community of inquirers rely on an ethical community of love, which would rely on an esthetic community of artists. A (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  18. Freedom and Praxis in Plotinus’s Ennead 6.8.1-6.Bernardo Portilho Andrade - 2020 - Archai: Revista de Estudos Sobre as Origens Do Pensamento Ocidental 30:e03031.
    In this paper, I argue that Plotinus does not limit the sphere of free human agency simply to intellectual contemplation, but rather extends it all the way to human praxis. Plotinus’s goal in the first six chapters of Ennead 6.8 is, accordingly, to demarcate the space of freedom within human practical actions. He ultimately concludes that our external actions are free whenever they actualize, in unhindered fashion, the moral principles derived from intellectual contemplation. This raises the question of how the (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  19.  78
    The Turing Test is a Thought Experiment.Bernardo Gonçalves - 2023 - Minds and Machines 33 (1):1-31.
    The Turing test has been studied and run as a controlled experiment and found to be underspecified and poorly designed. On the other hand, it has been defended and still attracts interest as a test for true artificial intelligence (AI). Scientists and philosophers regret the test’s current status, acknowledging that the situation is at odds with the intellectual standards of Turing’s works. This article refers to this as the Turing Test Dilemma, following the observation that the test has been under (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  20. Kant y el problema de la metafisica de Heidegger.L. Hernan Guzman - 1987 - Franciscanum 29 (85):89-100.
     
    Export citation  
     
    Bookmark  
  21.  18
    Una lectura política del mesianismo en Benjamin y su posible conexión con Agamben.Camila Jiménez Guzmán - 2017 - Humanitas Hodie:47-65.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  22. The Idea of the World: A multi-disciplinary argument for the mental nature of reality.Bernardo Kastrup - 2019 - Winchester, UK: Iff Books.
    The Idea of the World offers a grounded alternative to the frenzy of unrestrained abstractions and unexamined assumptions in philosophy and science today. This book examines what can be learned about the nature of reality based on conceptual parsimony, straightforward logic and empirical evidence from fields as diverse as physics and neuroscience. It compiles an overarching case for idealism - the notion that reality is essentially mental - from ten original articles the author has previously published in leading academic journals. (...)
  23.  36
    Observando las alianzas de colaboración entre organizaciones sin fines de lucro y organizaciones estatales chilenas.Carolina Muñoz Guzmán, Paula Miranda Sánchez & Rodrigo Flores Guerrero - 2012 - Polis: Revista Latinoamericana 32.
    Situados en un progresivo traspaso de responsabilidades en la ejecución de los servicios sociales desde el Estado hacia actores no gubernamentales, aparece una demanda hacia el mismo Estado, el cual en lugar de simplemente declinar su labor, debiera de hecho expandir su regulación de modo de asegurar que la oferta social sea eficiente en satisfacer al ciudadano usuario en aquellos servicios prometidos por las políticas y programas sociales. Así mismo, la institucionalidad pública debiera reconocer las demandas del mundo privado para (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  24.  21
    Entre "Los placeres Del exilio" Y Los descontentos de la migración: Lucy, novela de jamaica Kincaid.Lucía Stecher Guzmán - 2010 - Alpha (Osorno) 30.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  25.  30
    The Relationship Between Heart Rate Variability and Electroencephalography Functional Connectivity Variability Is Associated With Cognitive Flexibility.Guzmán Alba, Jaime Vila, Beatriz Rey, Pedro Montoya & Miguel Ángel Muñoz - 2019 - Frontiers in Human Neuroscience 13.
  26. Making Sense of the Mental Universe.Bernardo Kastrup - 2017 - Philosophy and Cosmology 19 (1):33-49.
    In 2005, an essay was published in Nature asserting that the universe is mental and that we must abandon our tendency to conceptualize observations as things. Since then, experiments have confirmed that — as predicted by quantum mechanics — reality is contextual, which contradicts at least intuitive formulations of realism and corroborates the hypothesis of a mental universe. Yet, to give this hypothesis a coherent rendering, one must explain how a mental universe can — at least in principle — accommodate (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  27.  20
    Ramsey type properties of ideals.M. Hrušák, D. Meza-Alcántara, E. Thümmel & C. Uzcátegui - 2017 - Annals of Pure and Applied Logic 168 (11):2022-2049.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  28.  94
    From Neo-Kantianism to Phenomenology. Emil Lask’s Revision of Transcendental Philosophy: Objectivism, Reduction, Motivation.Bernardo Ainbinder - 2015 - Studia Phaenomenologica 15:433-456.
    Recently, Emil Lask’s work has been the object of renewed interest. As it has been noted, Lask’s work is much closer to phenomenology than that of his fellow Neo-Kantians. Many recent contributions to current discussions on this topic have compared his account of logic to Husserl’s. Less attention has been paid to Lask’s original metaphilosophical insights. In this paper, I explore Lask’s conception of transcendental philosophy to show how it led him to a phenomenological conversion. Lask found in Husserl’s Logical (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  29.  30
    Phase transitions in artificial intelligence systems.Bernardo A. Huberman & Tad Hogg - 1987 - Artificial Intelligence 33 (2):155-171.
  30. The Next Paradigm.Bernardo Kastrup - 2018 - Future Human Image 9:41-51.
    In order to perceive the world, we need more than just raw sensory input: a subliminal paradigm of thought is required to interpret raw sensory data and, thereby, create the objects and events we perceive around ourselves. As such, the world we see reflects our own unexamined, culture-bound assumptions and expectations, which explains why every generation in history has believed that it more or less understood the world. Today, we perceive a world of objects and events outside and independent of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  31.  6
    Françoise Dastur: Chair et langage.Bernardo Haour - 2002 - Areté. Revista de Filosofía 14 (2).
    No categories
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  32. La ambigüedad en las oraciones de AcI.Patricia Santos Guzmán - forthcoming - Nova et Vetera.
    No categories
     
    Export citation  
     
    Bookmark  
  33.  16
    Chronique de l’incertitude pour ramasser les morceaux de Bolivie qui nous ont été laissés.Edgar Soliz Guzmán & Kantuta Quirós - 2020 - Multitudes 79 (2):9-16.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  34.  45
    Barrero, Tomás Andrés. “Aserción, expresión y acción. Una lectura de J. L. Austin.”.David Camilo Téllez Guzmán - 2017 - Ideas Y Valores 66 (163):403.
    Barrero, Tomás Andrés. “Aserción, expresión y acción. Una lectura de J. L. Austin.” Dianoia 60.74 (2015): 81-107.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  35.  35
    López, Alberto Luis. "Berkeley: el papel de Dios en la teoría de la visión." Tópicos 49 : 27-52.David Camilo Téllez Guzmán - 2016 - Ideas Y Valores 65 (161):417-419.
    En este breve comentario discuto algunos aspectos de la interpretación de la epistemología de Davidson que sugiere Willian Duica en su reciente libro. Luego de una presentación somera del libro me centro en tres asuntos centrales de la interpretación de Duica. En primer lugar, argumento que su lectura de la crítica de Davidson al dualismo esquema/contenido es muy restrictiva y deja abierta la posibilidad de un realismo directo empirista. En segundo lugar, argumento que en su lectura el propio Duica se (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  36.  18
    Adhocracy, security and responsibility: Revisiting Abu Ghraib a decade later.Bernardo Zacka - 2016 - Contemporary Political Theory 15 (1):38-57.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  37.  17
    Every twelve seconds: Industrialized slaughter and the politics of sight.Bernardo Zacka - 2014 - Contemporary Political Theory 13 (2):e1-e3.
  38.  20
    The policy state: An American predicament.Bernardo Zacka - 2019 - Contemporary Political Theory 18 (1):28-31.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  39.  66
    Why Materialism Is Baloney: How true skeptics know there is no death and fathom answers to life, the universe, and everything.Bernardo Kastrup - 2014 - Winchester, UK: Iff Books.
    The present framing of the cultural debate in terms of materialism versus religion has allowed materialism to go unchallenged as the only rationally-viable metaphysics. This book seeks to change this. It uncovers the absurd implications of materialism and then, uniquely, presents a hard-nosed non-materialist metaphysics substantiated by skepticism, hard empirical evidence, and clear logical argumentation. It lays out a coherent framework upon which one can interpret and make sense of every natural phenomenon and physical law, as well as the modalities (...)
    Direct download  
     
    Export citation  
     
    Bookmark   11 citations  
  40. Self-Transcendence Correlates with Brain Function Impairment.Bernardo Kastrup - 2017 - Journal of Cognition and Neuroethics 4 (3):33-42.
    A broad pattern of correlations between mechanisms of brain function impairment and self-transcendence is shown. The pattern includes such mechanisms as cerebral hypoxia, physiological stress, transcranial magnetic stimulation, trance-induced physiological effects, the action of psychoactive substances and even physical trauma to the brain. In all these cases, subjects report self-transcending experiences o en described as ‘mystical’ and ‘awareness-expanding,’ as well as self-transcending skills o en described as ‘savant.’ The idea that these correlations could be rather trivially accounted for on the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  41. Peirce on Science and religion.Bernardo Cantens - 2006 - International Journal for Philosophy of Religion 59 (2):93-115.
  42. There Is an ‘Unconscious,’ but It May Well Be Conscious.Bernardo Kastrup - 2017 - Europe's Journal of Psychology 13 (3):559-572.
    Depth psychology finds empirical validation today in a variety of observations that suggest the presence of causally effective mental processes outside conscious experience. I submit that this is due to misinterpretation of the observations: the subset of consciousness called “meta-consciousness” in the literature is often mistaken for consciousness proper, thereby artificially creating space for an “unconscious.” The implied hypothesis is that all mental processes may in fact be conscious, the appearance of unconsciousness arising from our dependence on self-reflective introspection for (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  43.  9
    Deportes, barrios y políticas públicas: el caso chileno1.Bernardo Guerrero Jiménez & Alexander Pérez Mora - 2021 - Enfoques 33 (2):19-32.
    Analizamos las relaciones no siempre presentes entre deportes, barrios y políticas públicas en Chile en el marco de las vinculaciones entre Estado y sociedad civil en la que el barrio y los clubes deportivos, pese a su gran presencia y aporte a la sociabilidad, han estado ausentes. Hasta antes del golpe de Estado de 1973, la sociedad civil tenía una gran fortaleza, y muchas de sus instituciones, como los clubes deportivos, gozaban de buena salud institucional y sobre todo de autonomía. (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  44.  18
    Brief Peeks Beyond: Critical essays on metaphysics, neuroscience, free will, skepticism and culture.Bernardo Kastrup - 2015 - Winchester, UK: Iff Books.
    This book is a multi-faceted exploration and critique of the human condition as it is presently manifested. It addresses science and philosophy, explores the underlying nature of reality, the state of our society and culture, the influence of the mainstream media, the nature of free will and a number of other topics. Each of these examinations contributes an angle to an emerging idea gestalt that challenges present mainstream views and behaviors and offers a sane alternative. The book is organized as (...)
    Direct download  
     
    Export citation  
     
    Bookmark   8 citations  
  45.  18
    Neurophenomenology and Intersubjectivity: An Interdisciplinary Approach.Mirko Di Bernardo - 2022 - Axiomathes 32 (2):95-111.
    The article aims to provide the main conceptual coordinates in order to fully understand the state of the art of the most recent research in the field of neurobiology of interpersonal experience. The main purpose of this work is to analyze, at an anthropological, phenomenological and epistemological level, how the fundamental characteristics of the recognition of otherness and intercorporeity among human beings contribute to changing the image of nature in the light of a possible new relationship between living bodies, neurophysiological (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  46.  22
    From Rechtsphilosophie_ to _Staatsökonomie: Hegel and the philosophical foundations of political economy.Bernardo Ferro - 2022 - European Journal of Philosophy 31 (1):80-96.
    Although Hegel is increasingly recognized as an important figure in the history of political economy, his economic views are never strictly economic. In contrast to other modern thinkers, his primary concern is not the economic efficacy of different practices or institutions but the extent to which they enable and promote the development of human freedom. In this article, I argue that Hegel's pioneering critique of modern liberal economy plays out simultaneously at a more empirical level, corresponding to the properly economic (...)
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  47.  38
    Natural deduction and semantic models of justification logic in the proof assistant Coq.Jesús Mauricio Andrade Guzmán & Francisco Hernández Quiroz - forthcoming - Logic Journal of the IGPL.
    The purpose of this paper is to present a formalization of the language, semantics and axiomatization of justification logic in Coq. We present proofs in a natural deduction style derived from the axiomatic approach of justification logic. Additionally, we present possible world semantics in Coq based on Fitting models to formalize the semantic satisfaction of formulas. As an important result, with this implementation, it is possible to give a proof of soundness for $\mathsf{L}\mathsf{P}$ with respect to Fitting models.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  48. Pair-splitting, pair-reaping and cardinal invariants of F σ -ideals.Michael Hrušák, David Meza-Alcántara & Hiroaki Minami - 2010 - Journal of Symbolic Logic 75 (2):661-677.
    We investigate the pair-splitting number $\germ{s}_{pair}$ which is a variation of splitting number, pair-reaping number $\germ{r}_{pair}$ which is a variation of reaping number and cardinal invariants of ideals on ω. We also study cardinal invariants of F σ ideals and their upper bounds and lower bounds. As an application, we answer a question of S. Solecki by showing that the ideal of finitely chromatic graphs is not locally Katětov-minimal among ideals not satisfying Fatou's lemma.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  49.  35
    Characterization of the reduced matrices for the {∧,∨}-fragment of classical logic.J. M. Font, F. Guzmán & V. Verdú - 1991 - Bulletin of the Section of Logic 20 (3/4):124-128.
    Direct download  
     
    Export citation  
     
    Bookmark   11 citations  
  50.  98
    Para além do Cosmopolitismo kantiano: Hospitalidade e "altermundialização" ou a Promessa da "nova Inter-nacional" democrática de Jacques Derrida.Fernanda Bernardo - 2005 - Revista Portuguesa de Filosofia 61 (3/4):951-1005.
    Seguindo de perto o traço deixado em aberto pelo pensamento de Jacques Derrida, a autora do presente artigo começa por sublinhar os limites da "hospitalidade universal" de Kant. Com efeito, o artigo pretende demonstrar até que ponto estes limites, apesar do espírito das Luzes que inspira Kant, lhe advêm dos seus próprios fundamentos onto-teológicos e jurídico-políticos, em virtude dos quais essa "hospitalidade universal" deixou de corresponder às urgências do nosso hoje cataclísmico. Num segundo momento, a autora tenta igualmente mostrar de (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 998