Results for 'Alessander Botti Benevides'

51 found
Order:
  1.  10
    Representing a Reference Foundational Ontology of Events in SROIQ.Alessander Botti Benevides, Jean-Rémi Bourguet, Giancarlo Guizzardi, Rafael Peñaloza & João Paulo A. Almeida - 2019 - Applied Ontology 14 (3):293-334.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  2.  80
    The Interplay Between Models and Observations.Claudio Masolo, Alessander Botti Benevides & Daniele Porello - 2018 - Applied Ontology 13 (1):41-71.
    We propose a formal framework to examine the relationship between models and observations. To make our analysis precise,models are reduced to first-order theories that represent both terminological knowledge – e.g., the laws that are supposed to regulate the domain under analysis and that allow for explanations, predictions, and simulations – and assertional knowledge – e.g., information about specific entities in the domain of interest. Observations are introduced into the domain of quantification of a distinct first-order theory that describes their nature (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  3. John Rawls and American Pragmatism: Between Engagement and Avoidance.Daniele Botti - 2019 - Lexington Books.
    Daniele Botti argues that John Rawls’s philosophy is importantly connected with classical American pragmatism and that Rawls’s intellectual trajectory did not take a “pragmatic turn” in the 1980s but possibly an “un-pragmatic” one. Both claims go against conventional wisdom, and Botti corroborates them with archival research.
     
    Export citation  
     
    Bookmark  
  4. Composition as Analysis: The Meta-Ontological Origins (and Future) of Composition as Identity.Martina Botti - forthcoming - Synthese.
    In this paper, I argue that the debate on Composition as Identity—the thesis that any composite object is identical to its parts—is deadlocked because both the defenders and the detractors of the claim have so far failed to take its philosophical core at face value and have, as a result, defended and criticized respectively something that is not Composition as Identity. After establishing how Composition as Identity should properly be understood and proposing for it a new interpretation centered around the (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  5.  51
    John Rawls, Peirce's Notion of Truth, and White's Holistic Pragmatism.Daniele Botti - 2014 - History of Political Thought 35 (2):345-377.
    For the first time in print, this article reports passages from John Rawls’s graduate papers and annotations on books and manuscripts from his personal library. The analysis of this material shows the historical inaccuracy of the widespread assumption that Rawls’s philosophy owes very little to American pragmatism. Peirce’s notion of truth, as well as the holistic critique of pragmatism thatMortonWhite began in the late 1940s, prove significant at the very beginning of Rawls’s philosophical enterprise. In the light of this material, (...)
    Direct download  
     
    Export citation  
     
    Bookmark   9 citations  
  6.  21
    End‐of‐Life Decision‐Making and Advance Care Directives in Italy. A Report and Moral Appraisal of Recent Legal Provisions.Caterina Botti & Alessio Vaccari - 2019 - Bioethics 33 (7):842-848.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  7.  9
    Rawls on Dewey Before the Dewey Lectures.Daniele Botti - 2017 - Journal of the History of Ideas 78 (2):287-298.
    This article sheds light on John Rawls’s views on John Dewey’s philosophical temperament by investigating unpublished papers and lectures that Rawls wrote and delivered across the late 1940s, the 1950s, the 1960s, and the early 1970s. Moreover, the article shows that Rawls’s rejection of Kant’s dualisms predates by at least three decades the “Dewey Lectures” (1980) and that Dewey’s notion of deliberation as “dramatic rehearsal in imagination” might have had an impact on Rawls’s development of the notion of “reflective equilibrium” (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  8.  16
    On Vague Notions and Modalities: A Modular Approach.Paulo Veloso, Sheila Veloso, Petrúcio Viana, Renata de Freitas & Mario Benevides - 2010 - Logic Journal of the IGPL 18 (3):381-402.
    Vague notions, such as ‘generally’, ‘rarely’, ‘often’, ‘almost always’, ‘a meaningful subset of a whole’, ‘most’, etc., occur often in ordinary language and in some branches of science. We introduce modal logical systems, with generalized operators, for the precise treatment of assertions involving some versions of such vague notions. We examine modal logics, constructed in a modular fashion, with generalized operators corresponding to some versions of ‘generally’ and ‘rarely’.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  9.  8
    On Vague Notions and Modalities: A Modular Approach.P. A. S. Veloso, S. R. M. Veloso, P. Viana, R. D. Freitas, M. Benevides & C. Delgado - 2010 - Logic Journal of the IGPL 18 (3):381-402.
  10. Binding Market and Mission: Pharmaceuticals for the World's Poor.Daniele Botti - 2013 - Solutions 4 (1).
    The Health Impact Fund (HIF) is a project aimed at expanding access to life-saving drugs worldwide and incentivizing pharmaceutical companies to invest in research and development for neglected diseases. The HIF would invert the existing patent framework by rewarding ideas through their diffusion rather than protecting against this diffusion, by encouraging a collective rather than privatized wealth scheme. The basic idea behind the HIF is the creation of a new competitive market that centers on individuals who, under normal circumstances, exert (...)
     
    Export citation  
     
    Bookmark  
  11.  12
    Using Modal Logics to Express and Check Global Graph Properties.Mario Benevides & L. Schechter - 2009 - Logic Journal of the IGPL 17 (5):559-587.
    Graphs are among the most frequently used structures in Computer Science. Some of the properties that must be checked in many applications are connectivity, acyclicity and the Eulerian and Hamiltonian properties. In this work, we analyze how we can express these four properties with modal logics. This involves two issues: whether each of the modal languages under consideration has enough expressive power to describe these properties and how complex it is to use these logics to actually test whether a given (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  12.  44
    LECOURT, Dominique. Humano pós-humano: a técnica e a vida. São Paulo: Edições Loyola, 2005.Beatrice Brito Benevides - 2014 - Cadernos Do Pet Filosofia 5 (9):56-57.
    O livro "Humano pós-humano: a técnica e a vida" de Dominique Lecourt expõe as formas das aplicações da técnica e as mudanças que ela causou na vida humana e na sua natureza; na sua essência. Essa resenha visa explicitar suas ideias, expondo os argumentos de Lecourt para defender a sua tese de que o ser humano ultrapassou essa essência e tornou-se o pós-humano, no momento em que o homem aliou a técnica e a ciência não mais para suprir suas necessidades, (...)
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  13.  28
    Squares in Fork Arrow Logic.Renata P. de Freitas, Jorge P. Viana, Mario R. F. Benevides, Sheila R. M. Veloso & Paulo A. S. Veloso - 2003 - Journal of Philosophical Logic 32 (4):343-355.
    In this paper we show that the class of fork squares has a complete orthodox axiomatization in fork arrow logic (FAL). This result may be seen as an orthodox counterpart of Venema's non-orthodox axiomatization for the class of squares in arrow logic. FAL is the modal logic of fork algebras (FAs) just as arrow logic is the modal logic of relation algebras (RAs). FAs extend RAs by a binary fork operator and are axiomatized by adding three equations to RAs equational (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  14.  18
    Formalizing Concurrent Common Knowledge as Product of Modal Logics.Vania Costa & Mario Benevides - 2005 - Logic Journal of the IGPL 13 (6):665-684.
    This work introduces a two-dimensional modal logic to represent agents' Concurrent Common Knowledge in distributed systems. Unlike Common Knowledge, Concurrent Common Knowledge is a kind of agreement reachable in asynchronous environments. The formalization of such type of knowledge is based on a model for asynchronous systems and on the definition of Concurrent Knowledge introduced before in paper [5]. As a proper semantics, we review our concept of closed sub-product of modal logics which is based on the product of modal logics. (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  15. Rappresentare e immaginare.Leardo Botti - 2011 - Aisthesis: Pratiche, Linguaggi E Saperi Dell’Estetico 4 (2).
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  16.  8
    Enhancing Smart-Home Environments Using Magentix2.S. Valero, E. del Val, J. Alemany & V. Botti - 2017 - Journal of Applied Logic 24:32-44.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  17.  4
    A Flexible and Dynamic Mobile Robot Localization Approach.C. Peñaranda, J. Palanca, V. Julian & V. Botti - forthcoming - Logic Journal of the IGPL.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  18.  18
    Squares in Fork Arrow Logic.Renata P. De Freitas, Jorge P. Viana, Mario R. F. Benevides, Sheila R. M. Veloso & Paulo A. S. Veloso - 2003 - Journal of Philosophical Logic 32 (4):343 - 355.
    In this paper we show that the class of fork squares has a complete orthodox axiomatization in fork arrow logic (FAL). This result may be seen as an orthodox counterpart of Venema's non-orthodox axiomatization for the class of squares in arrow logic. FAL is the modal logic of fork algebras (FAs) just as arrow logic is the modal logic of relation algebras (RAs). FAs extend RAs by a binary fork operator and are axiomatized by adding three equations to RAs equational (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  19.  19
    Feminist Thought and Moral Philosophy.Caterina Botti - 2011 - Rivista di Filosofia 102 (1):47-76.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  20.  13
    Sull'aborto.Caterina Botti - 2009 - Iride: Filosofia e Discussione Pubblica 22 (3):539-560.
    No categories
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  21.  23
    On Fork Arrow Logic and its Expressive Power.Paulo A. S. Veloso, Renata P. de Freitas, Petrucio Viana, Mario Benevides & Sheila R. M. Veloso - 2007 - Journal of Philosophical Logic 36 (5):489 - 509.
    We compare fork arrow logic, an extension of arrow logic, and its natural first-order counterpart (the correspondence language) and show that both have the same expressive power. Arrow logic is a modal logic for reasoning about arrow structures, its expressive power is limited to a bounded fragment of first-order logic. Fork arrow logic is obtained by adding to arrow logic the fork modality (related to parallelism and synchronization). As a result, fork arrow logic attains the expressive power of its first-order (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  22.  12
    Prima lezione di filosofia morale di Eugenio Lecaldano.Caterina Botti, Claudia Mancina & Maurizio Mori - 2011 - Iride: Filosofia e Discussione Pubblica 24 (3):667-688.
    No categories
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  23.  11
    On Fork Arrow Logic and Its Expressive Power.Paulo A. S. Veloso, Renata P. De Freitas, Petrucio Viana, Mario Benevides & Sheila R. M. Veloso - 2007 - Journal of Philosophical Logic 36 (5):489 - 509.
    We compare fork arrow logic, an extension of arrow logic, and its natural first-order counterpart (the correspondence language) and show that both have the same expressive power. Arrow logic is a modal logic for reasoning about arrow structures, its expressive power is limited to a bounded fragment of first-order logic. Fork arrow logic is obtained by adding to arrow logic the fork modality (related to parallelism and synchronization). As a result, fork arrow logic attains the expressive power of its first-order (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  24.  7
    Reasoning About Constitutive Norms in BDI Agents.N. Criado, E. Argente, P. Noriega & V. Botti - 2014 - Logic Journal of the IGPL 22 (1):66-93.
  25.  6
    Propositional Dynamic Logic for Petri Nets.B. Lopes, M. Benevides & E. H. Haeusler - 2014 - Logic Journal of the IGPL 22 (5):721-736.
  26.  6
    PDL for Structured Data: A Graph-Calculus Approach.P. A. S. Veloso, S. R. M. Veloso & M. R. F. Benevides - 2014 - Logic Journal of the IGPL 22 (5):737-757.
  27.  7
    La sostanza come oggetto. Per un'analisi della "metafisica descrittiva" di Aristotele.Leardo Botti - 2000 - Iride: Filosofia e Discussione Pubblica 13 (3):509-528.
    No categories
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  28.  3
    Reasoning About Knowledge in Asynchronous Distributed Systems.Vania Costa & Mario Benevides - 2005 - Logic Journal of the IGPL 13 (1):5-28.
    This paper introduces a two-dimensional modal logic to reason about knowledge in asynchronous multi-agent message-passing systems. We present a new theoretical definition for concurrent knowledge in order to describe the kind of knowledge typical in such asynchronous environments. To define concurrent knowledge, we propose the closed sub-product of modal logics: a two-dimensional formal semantics where one dimension corresponds to asynchronous runs, the other corresponds to consistent cuts and the concurrent knowledge is defined as the transitive closure over the product of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  29.  4
    AIDS: Professional Secrecy.C. Botti - 1990 - Journal of Medical Ethics 16 (3):166-166.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  30. Democracia e cidadania.Maria Vitória Benevides - 1994 - Polis 14:11-9.
    Translate
     
     
    Export citation  
     
    Bookmark  
  31. Asseribilità Garantita, Scienza Ed Etica. Commento a Zecchinato.Caterina Botti - 2006 - Etica E Politica 8 (1):1-5.
     
    Export citation  
     
    Bookmark  
  32. Alle radici del cambiamento.Simonetta Botti - 2003 - Encyclopaideia 13:65-81.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  33. Governance: ripensare l'esser-ci collettivo.Simonetta Botti - 2005 - Encyclopaideia 18:115-128.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  34. Il pensiero femminista e la riflessione filosofica sulla morale.Caterina Botti - 2011 - Rivista di Filosofia 102 (1):47-76.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  35. Le etiche della diversità culturale.Caterina Botti (ed.) - 2013 - Le Lettere.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  36. Maria Moneti Codignola, L'enigma della maternità. Etica e ontologia della riproduzione.C. Botti - 2009 - Iride: Filosofia e Discussione Pubblica 22 (58):721.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  37. Prospettive Femministe: Morale, Bioetica E Vita Quotidiana.Caterina Botti - 2012 - Espress.
    Translate
     
     
    Export citation  
     
    Bookmark  
  38. Benevides, MRF, 343 Berk, L., 323 Boėr, SE, 43 Calabrese, PG.S. Chopra, A. G. Cohn, R. P. de Freitas, H. Field, A. Ghose, L. Goble, V. Halbach, L. Humberstone, N. Kamide & S. Kovac - 2003 - Journal of Philosophical Logic 32 (669).
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark   5 citations  
  39.  74
    Reseña de "Burnout: Quando o Trabalho Ameaça o Bem-Estar Do Trabalhador" de A. M. Benevides-Pereira.Pedro R. Gil-Monte - 2003 - Aletheia 17:159-162.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  40. Vino vecchio in botti nuove.Domenico Parisi - 2004 - Nuova Civiltà Delle Macchine 22 (1):76-85.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  41. Editoriale–Etichettare/descrivere/mostrare.Filippo Fimiani & Pietro Kobau - 2011 - Aisthesis: Pratiche, Linguaggi E Saperi Dell’Estetico 4 (2):2-7.
    “Art”—what is it? What sort of entities are artworks? “Art”—when is it? Normally, when we visit an art exhibition, when we listen to a concert or when we look at a performing art in a setting, we use to read the titles, the tags or something textual, a threshold not crafted by the author, about the exposed or executed artworks in order to grasp their subject, style, history, and author. But: how does a title, a non-fiction depiction or a pointing, (...)
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  42.  69
    XVI Brazilian Logic Conference (EBL 2011).Walter Carnielli, Renata de Freitas & Petrucio Viana - 2012 - Bulletin of Symbolic Logic 18 (1):150-151.
    This is the report on the XVI BRAZILIAN LOGIC CONFERENCE (EBL 2011) held in Petrópolis, Rio de Janeiro, Brazil between May 9–13, 2011 published in The Bulletin of Symbolic Logic Volume 18, Number 1, March 2012. -/- The 16th Brazilian Logic Conference (EBL 2011) was held in Petro ́polis, from May 9th to 13th, 2011, at the Laboratório Nacional de Computação o Científica (LNCC). It was the sixteenth in a series of conferences that started in 1977 with the aim of (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  43.  45
    Habilidades sociais e adaptação acadêmica: um estudo comparativo em instituições de ensino público e privado.Adriana Benevides Soares, Lincoln Nunes Poube & Thatiana Valory dos Santos Mello - 2009 - Revista Aletheia 29:27-42.
  44.  45
    Sintomas de Estresse Em Educadores Brasileiros.Ana Maria T. Benevides Pereira, Tatiana Justo, Fabíola Batista Gomes, Sarah Gisele Martins Silva & Daiane Cristina Volpato - 2003 - Aletheia 17:63-72.
    Stress has been being pointed as the evil of the current world and can affect as much adults as children. The disorders associated with stress are varied, and people who suffer from it frequently present physical and psychological problems, influencing their behavior and social environment. The care..
    Direct download  
     
    Export citation  
     
    Bookmark  
  45.  31
    Consultores 2009.Adriana Benevides Soares, Adriana Nobre De Paula Simão, Adriana Wagner, Alessandra Turini Bolsoni-Silva, Alice Maggi, Alvaro Roberto Crespo Merlo, Ana Cristina Gonçalves Dantas de Araújo, Ana Paula de Ávila Gomide, Ana Paula Porto Noronha & Ana Raquel Rosas Torres - 2009 - Revista Aletheia 30:1.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  46.  26
    A Influência Das Habilidades Sociais No Envolvimento de Mães E Pais Com Filhos Com Retardo Mental.Alcides Cardozo & Adriana Benevides Soares - 2010 - Revista Aletheia 31:39-53.
    O estudo teve como objetivo comparar e correlacionar indicadores de habilidades sociais e do envolvimento de pais com filhos portadores de retardo mental. Participaram 27 casais com filhos portadores de retardo mental. Os pais responderam os questionários "Critério Brasil", "Qualidade da interação f..
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  47.  12
    Etnia, Região E Nação Na Argentina Do Entre-Guerras: Um Estudo Das Músicas E Imagem de Carlos Gardel.Alessander Mario Kerber - 2010 - Dialogos 14 (3).
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  48. Pedagogas/profesoras E seus movimentos de professoralizaçâo com a matemática.Jussara Almeida Midlej Silva & Isabela Benevides de Melo - 2015 - Saberes Em Perspectiva 5 (12):27-33.
    Este texto apresenta uma investigação/formação em estágio inicial de recolha de informações, vinculada ao Programa de Pós-Graduação em Educação da Universidade Estadual do Sudoeste da Bahia. Vincula-se à seguinte questão: Como as experiências vividas com a Matemática, nos percursos de formação, se expressam na professoralidade de pedagogos/professores? Tem como objetivos analisar experiências e percursos de formação de pedagogos/professores e as possibilidades destas terem resvalado para os modos de composição da professoralidade; compreender como se evidenciam, na professoralidade de pedagogos/professores, em denominados (...)
    Translate
     
     
    Export citation  
     
    Bookmark  
  49.  20
    Estresse E Resiliência Em Doença de Chagas.Daniela Cristina Grégio D'Arce Mota, Ana Maria T. Benevides-Pereira, Mônica Lúcia Gomes & Silvana Marques de Araújo - 2006 - Aletheia 24:57-68.
    Estudos indicam que o estresse altera o sistema imune e pode influir na etiologia, progressão e severidade de doenças. A resiliência pode ser definida como a capacidade que algumas pessoas desenvolvem e as ajudam a passar por situações adversas na vida, a superá-las, e ainda a saírem fortalecidas ou..
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  50.  16
    Estresse E Resiliência Em Doença de Chagas.Daniela Cristina Grégio D. Arce Mota, Ana Maria T. Benevides-Pereira, Mônica Lúcia Gomes & Silvana Marques de Araújo - 2006 - Aletheia 24:57-68.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
1 — 50 / 51