Results for 'H��rcules Araujo Feitosa'

999 found
Order:
  1. Translating Lukasiewicz's Logics Into Classical Logic: A Grade of Difficulty.Hércules de Araújo Feitosa - 2001 - Princípios: Revista de Filosofia 8 (10):6.
     
    Export citation  
     
    Bookmark  
  2.  6
    Lógicas paraclássicas: exposição, defesa e problemas.Frank Thomas Sautter & Hércules de Araújo Feitosa - 2005 - Cognitio 6 (1).
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  3. Translating From Łukasiewicz's Logics Into Classical Logic: Is It Possible?Itala M. Loffredo D'Ottaviano & Hércules Araujo Feitosa - 2006 - Poznan Studies in the Philosophy of the Sciences and the Humanities 91 (1):157-168.
    This work presents some basic results on a theory of translations between logics and a short revision about Łukasiewicz's logics. Then, it is shown, using facts about algebraic semantics, that there is a conservative translation from every finite Łukasiewicz's logic into classical logic. However, this is not a constructive result.
     
    Export citation  
     
    Bookmark  
  4.  13
    Many-Valued Logics and Translations.Ítala M. Loffredo D'Ottaviano & Hércules de Araujo Feitosa - 1999 - Journal of Applied Non-Classical Logics 9 (1):121-140.
    ABSTRACT This work presents the concepts of translation and conservative translation between logics. By using algebraic semantics we introduce several conservative translations involving the classical propositional calculus and the many-valued calculi of Post and Lukasiewicz.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  5.  10
    Paraconsistent Logics and Translations.Itala M. Loffredo D’Ottaviano & Hércules de Araújo Feitosa - 2000 - Synthese 125 (1-2):77-95.
    In 1999, da Silva, D'Ottaviano and Sette proposed a general definition for the term translation between logics and presented an initial segment of its theory. Logics are characterized, in the most general sense, as sets with consequence relations and translations between logics as consequence-relation preserving maps. In a previous paper the authors introduced the concept of conservative translation between logics and studied some general properties of the co-complete category constituted by logics and conservative translations between them. In this paper we (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  6.  15
    Ceticismo E Filosofia Construtiva.L. H. De Araújo Dutra - 1993 - Manuscrito: Revista Internacional de Filosofía 16 (1):37-62.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  7.  2
    Pares de Galois E Espaços de Tarski.Hércules De Araujo Feitosa, Cristiane Alexandra Lazaro & Mauri Cunha do Nascimento - 2018 - Cognitio 19 (1):110-132.
    Apresentamos conceitos algébricos básicos e fundamentais como conjuntos ordenados, reticulados, álgebra de Boole e as TK-álgebras. Destacamos os espaços de Tarski, associados ao conceito de sistema dedutivo e sua apresentação quase topológica. Então, apresentamos a Lógica da Dedutibilidade, vinda da formalização lógica dos espaços de Tarski. A seguir, trazemos os pares de funções de Galois, que surgem em muitos tópicos da Matemática. Como resultado original, além de alguns desenvolvimentos teóricos, destacamos uma conexão de Galois com os espaços de Tarski.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  8. Translating Lukasiewicz's Logics Into Classical Logic: A Grade of Difficulty.Hércules Araújo Feitosa - 2001 - Princípios 8 (10):109-120.
  9.  86
    In AI We Trust? Perceptions About Automated Decision-Making by Artificial Intelligence.Theo Araujo, Natali Helberger, Sanne Kruikemeier & Claes H. de Vreese - 2020 - AI and Society 35 (3):611-623.
    Fueled by ever-growing amounts of data and advances in artificial intelligence, decision-making in contemporary societies is increasingly delegated to automated processes. Drawing from social science theories and from the emerging body of research about algorithmic appreciation and algorithmic perceptions, the current study explores the extent to which personal characteristics can be linked to perceptions of automated decision-making by AI, and the boundary conditions of these perceptions, namely the extent to which such perceptions differ across media, health, and judicial contexts. Data (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   19 citations  
  10.  21
    Algebraic Aspects of Quantum Indiscernibility.Decio Krause & Hercules de Araujo Feitosa - unknown
    We show that using quasi-set theory, or the theory of collections of indistinguishable objects, we can define an algebra that has most of the standard properties of an orthocomplete orthomodular lattice, which is the lattice of all closed subspaces of a Hilbert space. We call the mathematical structure so obtained $\mathfrak{I}$-lattice. After discussing some aspects of such a structure, we indicate the next problem of axiomatizing the corresponding logic, that is, a logic which has $\mathfrak{I}$-lattices as its Lindembaum algebra, which (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  11. Lógica, Ordem E Sistemas Implicativos.Cristiane Alexandra Lázaro, Hércules de Araujo Feitosa & Marcelo Reicher Soares - 2019 - Veritas – Revista de Filosofia da Pucrs 64 (3):e32214.
    Neste artigo, tratamos de três tópicos básicos para o entendimento de uma noção de razão, a saber, relação de consequência, relação de ordem e sistema formal. A partir de uma caracterização de sistema formal, definimos as duas relações mencionadas. Destacamos uma inter-relação entre consequência e ordem. Então, apresentamos outros sistemas formais que consideram especificamente um conceito de implicação, dado pelas álgebras implicativas e pela lógica implicativa. Esta lógica implicativa, que tem como modelo as álgebras implicativas, apresenta apenas um operador, o (...)
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  12.  34
    A Neighbourhood Semantics for the Logic TK.Cezar A. Mortari & Hércules de Araújo Feitosa - 2011 - Principia: An International Journal of Epistemology 15 (2):287.
    The logic TK was introduced as a propositional logic extending the classical propositional calculus with a new unary operator which interprets some conceptions of Tarski’s consequence operator. TK-algebras were introduced as models to TK . Thus, by using algebraic tools, the adequacy (soundness and completeness) of TK relatively to the TK-algebras was proved. This work presents a neighbourhood semantics for TK , which turns out to be deductively equivalent to the non-normal modal logic EMT4 . DOI:10.5007/1808-1711.2011v15n2p287.
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark  
  13.  7
    A Neighbourhood Semantics for the Logic TK DOI:10.5007/1808-1711.2011v15n2p287.Cezar A. Mortari & Hércules de Araújo Feitosa - 2011 - Principia: An International Journal of Epistemology 15 (2):287-302.
    The logic TK was introduced as a propositional logic extending the classical propositional calculus with a new unary operator which interprets some conceptions of Tarski’s consequence operator. TK-algebras were introduced as models to TK. Thus, by using algebraic tools, the adequacy of TK relatively to the TK-algebras was proved. This work presents a neighbourhood semantics for TK, which turns out to be deductively equivalent to the non-normal modal logic EMT4.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  14.  31
    The Quasi-Lattice of Indiscernible Elements.Mauri Cunha do Nascimento, Décio Krause & Hércules Araújo Feitosa - 2011 - Studia Logica 97 (1):101-126.
    The literature on quantum logic emphasizes that the algebraic structures involved with orthodox quantum mechanics are non distributive. In this paper we develop a particular algebraic structure, the quasi-lattice (J-lattice), which can be modeled by an algebraic structure built in quasi-set theory Q. This structure is non distributive and involve indiscernible elements. Thus we show that in taking into account indiscernibility as a primitive concept, the quasi-lattice that 'naturally' arises is non distributive.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  15. Conservative Translations.Iml D’Ottaviano & H. A. Feitosa - 2001 - Annals of Pure and Applied Logic 108:205-227.
     
    Export citation  
     
    Bookmark   9 citations  
  16.  7
    Literacy Improves Short-Term Serial Recall of Spoken Verbal but Not Visuospatial Items – Evidence From Illiterate and Literate Adults.Eleonore H. M. Smalle, Arnaud Szmalec, Louisa Bogaerts, Mike P. A. Page, Vaishna Narang, Deepshikha Misra, Susana Araújo, Nishant Lohagun, Ouroz Khan, Anuradha Singh, Ramesh K. Mishra & Falk Huettig - 2019 - Cognition 185:144-150.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  17.  9
    Psychiatry with Philosophy in Mind: A Comment on Moreira-Almeida and Araujo.H. H. Maung - 2017 - Dialogues in Philosophy, Mental and Neuro Sciences 10 (2).
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  18. Many-Valued Points and Equality.I. M. L. D'Ottaviano & H. D. A. Feitosa - 2000 - Synthese 125 (1-2):77-95.
  19.  23
    Deductive Systems and Translations.Itala M. Loffredo D'Ottaviano & H. A. Feitosa - 2007 - In Jean-Yves Béziau & Alexandre Costa-Leite (eds.), Perspectives on Universal Logic. pp. 125--157.
    Direct download  
     
    Export citation  
     
    Bookmark  
  20.  31
    Indentation Fracture of a-C:H Thin Films From Chemical Vapour Deposition.C. M. Lepienski, M. D. Michel, P. J. G. Araújo & C. A. Achete - 2006 - Philosophical Magazine 86 (33-35):5397-5406.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  21.  3
    Music Listening in Times of COVID-19 Outbreak: A Brazilian Study.Fabiana Silva Ribeiro, João Paulo Araújo Lessa, Guilherme Delmolin & Flávia H. Santos - 2021 - Frontiers in Psychology 12.
    The COVID-19 outbreak required diverse strategies, such as social distancing and self-isolation, to avoid a healthcare system crisis. However, these measures have been associated with the onset or increase of anxiety and depression symptoms in the population. Music listening was previously shown to regulate emotion, consequently reducing depression symptoms. Since previous studies with Brazilian samples have already shown a high prevalence of depressive symptoms during the first confinement period, the aim of this study was threefold: to compare groups with severe (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  22.  32
    Proceedings From the IV Brazilian Meeting on Research Integrity, Science and Publication Ethics : Goi'nia, Brasil. 17-18 November 2016. [REVIEW]A. S. C. Abreu, H. S. Selistre-de-Araujo, D. Guilhem, M. R. C. G. Novaes, N. R. A. Silva, M. Palácios, P. G. Camacho, M. Russo, A. Abreu, S. Cruz-Riascos, L. V. R. Rezende, A. C. Quintela, J. Leta, E. Damasio, H. H. Caiaffa Filho, R. M. Catarino, A. A. B. Almodóvar, A. P. Vicentini, B. C. Machado, M. M. Sorenson, J. R. Lapa E. Silva, A. Palma, R. M. V. R. Almeida, E. H. Watanabe, D. Foguel, S. M. R. Vasconcelos, C. A. Guimarães, A. Schtscherbyna, J. C. Amaral, H. G. Falcão, F. R. Mota, S. C. Bourguignon, R. Kant de Lima, S. Liskauskas, M. C. Cassimiro, J. Araújo, A. S. Carvalho, M. Patrão Neves, F. M. Litto, M. D. P. Silva, L. S. Gracioso, A. C. Furnival, P. M. Lourenço, V. Ronchi, M. M. M. Machado, R. Amaral, M. D. Ribeiro, R. Neves, V. C. Garbocci, M. Fontes-Domingues, P. Biancovilli, R. T. Souza, P. V. S. Souza, D. C. Machado, C. C. Santos, A. M. Gollner, H. S. Pinheiro, G. A. Fófano, A. A. P. Santa Rosa, C. H. Debenedito Silva, A. M. M. Soares, M. M. P. Diós-Borges, E. Duarte & Gar - 2017 - Research Integrity and Peer Review 2 (Suppl 1).
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  23.  1
    Duas Leituras de Hegel: Duas Propostas de Ontologia.Manfredo Araújo De Oliveira - 1995 - Veritas – Revista de Filosofia da Pucrs 40 (160):741-758.
    H. G. Gadamer faz uma leitura do sistemade Hegel a partir de uma crítica externaque, diagnosticando corretamente a perda da dimensãoda contingência e da historicidade no sistemahegeliano, constrói uma ontologia específicana qual se enraíza, então, a hermenêutica. C. Cirne-Lima faz uma crítica interna ao sistema de Hegel,reformulando-o, todo ele, de ponta a ponta,sob o primado de um operador modal deôntico, odever-ser. Com isso pretende repor a contingênciae a historicidade dentro do método e da lógica dosistema. Disso resulta um projeto de (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  24. The Many Faces of Mimesis: Selected Essays From the 2017 Symposium on the Hellenic Heritage of Western Greece (Heritage of Western Greece Series, Book 3).Heather Reid & Jeremy DeLong (eds.) - 2018 - Sioux city, Iowa: Parnassos Press.
    Mimesis can refer to imitation, emulation, representation, or reenactment - and it is a concept that links together many aspects of ancient Greek Culture. The Western Greek bell-krater on the cover, for example, is painted with a scene from a phlyax play with performers imitating mythical characters drawn from poetry, which also represent collective cultural beliefs and practices. One figure is shown playing a flute, the music from which might imitate nature, or represent deeper truths of the cosmos based upon (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  25. Zettel. Edited by G.E.M. Anscombe and G.H. Von Wright.Ludwig Wittgenstein, G. E. M. Anscombe & G. H. von Wright - 1967 - Blackwell.
     
    Export citation  
     
    Bookmark   3 citations  
  26. Every Day, Thoughts on the G.F.S. Ruler of Life [by E. Welby, Ed by E.H.T.].Ella Welby & H. T. E. - 1895
    No categories
     
    Export citation  
     
    Bookmark  
  27.  4
    Strategic Learning and its Limits.H. Peyton Young - 2004 - Oxford University Press UK.
    In this concise book based on his Arne Ryde Lectures in 2002, Young suggests a conceptual framework for studying strategic learning and highlights theoretical developments in the area. He discusses the interactive learning problem; reinforcement and regret; equilibrium; conditional no-regret learning; prediction, postdiction, and calibration; fictitious play and its variants; Bayesian learning; and hypothesis testing. Young's framework emphasizes the amount of information required to implement different types of learning rules, criteria for evaluating their performance, and alternative notions of equilibrium to (...)
    Direct download  
     
    Export citation  
     
    Bookmark   11 citations  
  28. Hall H.H. L. Dreyfus & J. Haugeland - 1992 - In Hubert L. Dreyfuss & Harrison Hall (eds.), Heidegger: A Critical Reader. Blackwell.
    No categories
     
    Export citation  
     
    Bookmark   11 citations  
  29.  20
    Correntes Fundamentais da Ética Contemporânea. Araújo de Oliveira, Manfredo A. (ed.).Manfredo A. Araújo de Oliveira, Cremaschi Sergio, Helder Buenos Aires de Carvalho, Zeljko Loparic, Pergentino S. Pivatto, Maria Cecilia Maringoni de Carvalho, Terence Kennedy, Sonia T. Felipe, F. Javier Herrero, Oswaldo Junior Giacoia & Oswaldo Cirne-Lima - 2000 - Petropolis: Editora Vozes.
    Escritos por onze renomados filósofos os ensaios pretendem, de forma acessível e didática, explicitar as principais tendências e perspectivas da reflexão ética contemporânea. Indicado a estudantes e docentes de filosofia ética, teologia, sociologia e interessados em geral. -/- Prefàcio 1.Tendencias neoaristotelicas na etica atual - Sergio Cremaschi 2. Alasdair MacIntyre e o retorno as tradicoes morais de pesquisa racional - Helder Buenos Aires de Carvalho 3. Etica da finitude - Zeljko Loparic 4. Por uma etica ilustrada e progressista: uma defesa (...)
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  30.  28
    Conservative Translations.Hércules A. Feitosa & Itala M. Loffredo D'Ottaviano - 2001 - Annals of Pure and Applied Logic 108 (1-3):205-227.
    In this paper we introduce the concept of conservative translation between logics. We present some necessary and sufficient conditions for a translation to be conservative and study some general properties of logical systems, these properties being characterized by the existence of conservative translations between the systems. We prove that the class constituted by logics and conservative translations between them determines a co-complete subcategory of the bi-complete category constituted by logics and translations.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  31. Social Ethics, Tr. From [Sittliches Sein Und Sittliches Werden, by H.H.S.].Theobald Ziegler & H. S. H. - 1892
     
    Export citation  
     
    Bookmark  
  32. Patterns of the Life-World Essays in Honor of John Wild ; Edited by James M. Edie, Frances H. Parker, Calvin O. Schrag. --. [REVIEW]John Daniel Wild, James M. Edie, Frances H. Parker & Calvin O. Schrag - 1970 - Northwestern University Press.
    No categories
     
    Export citation  
     
    Bookmark  
  33.  62
    Conflict and The Web of Group-Affiliations. Georg Simmel. Translated by Kurt H. Wolff and Reinhard Bendix. Glencoe, Illinois: The Free Press, 1955. Pp. 195. $3.50.H. S. Harris - 1955 - Philosophy of Science 22 (4):327-327.
  34. H. D. A. Major, Civilisation and Religious Values. [REVIEW]H. G. Wood - 1948 - Hibbert Journal 47:300.
    No categories
     
    Export citation  
     
    Bookmark  
  35.  30
    Liberalism: H. J. McCloskey.H. J. Mccloskey - 1974 - Philosophy 49 (187):13-32.
    Liberalism is commonly believed, especially by its exponents, to be opposed to interference by way of enforcing value judgments or concerning itself with the individual's morality. My concern is to show that this is not so and that liberalism is all the better for this. Many elements have contributed to liberal thought as we know it today, the major elements being the liberalism of which Locke is the most celebrated exponent, which is based upon a belief in natural, human rights; (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  36. PATON, H. J. - The Categorical Imperative: A Study in Kant's Moral Philosophy. [REVIEW]H. Barker - 1948 - Mind 57:93.
  37.  3
    Phenomenological Approaches to Physics.H. Wiltsche & P. Berghofer (eds.) - 2020 - Springer (Synthese Library).
  38. DRIESCH, H. -Die Sittliche Tat. [REVIEW]H. Barker - 1928 - Mind 37:366.
  39. EATON, H. O. -The Austrian Philosophy of Values. [REVIEW]H. Barker - 1931 - Mind 40:242.
     
    Export citation  
     
    Bookmark  
  40. ELLIS, H. -Sexual Inversion.H. Barker - 1898 - Mind 7:427.
    No categories
     
    Export citation  
     
    Bookmark  
  41. JOACHIM, H. H. - Spinoza's Tractatus de Intellectus Emendatione. [REVIEW]H. Barker - 1940 - Mind 49:467.
     
    Export citation  
     
    Bookmark  
  42. OAKELEY, H. D. -History and Progress. [REVIEW]H. Barker - 1923 - Mind 32:498.
    No categories
     
    Export citation  
     
    Bookmark  
  43. PATON, H. J. - The Good Will. [REVIEW]H. Barker - 1928 - Mind 37:489.
     
    Export citation  
     
    Bookmark  
  44.  50
    Poiesis H. D. F. Kitto: Poiesis: Structure and Thought. (Sather Classical Lectures, Vol. 36.) Pp. X+407. Berkeley and Los Angeles: University of California Press (London: Cambridge University Press), 1967. Cloth, 50s. Net. [REVIEW]H. C. Baldry - 1968 - The Classical Review 18 (02):187-190.
  45.  27
    K.H. Ahmad Sanusi : Biografi Ulama Hadis Keturunan Nabi Saw Asal Sukabumi.H. Istikhori - 2019 - Refleksi 18 (1):30-65.
    Hadith scholars are individuals who play an important role in the spread of the Prophetic traditions. in the midst of his people, as an authoritative source after the Qur'an for the complete Islamic legal construct, which was previously discovered and compiled by the Imam of Hadith in their canonical books, like Imam Muḥammad ibn Ismā’īl al-Bukhārī in “Ṣaḥīḥ al-Bukhārī” and Muslim Imam ibn al-Ḥajjāj al-Naysābūrī in “Muslim Ṣaḥīḥ”, through long tracing from one country to another in order to obtain directly (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  46.  57
    H. C. Youtie and O. M. Pearl: Tax Rolls From Karanis. Part II: Text and Indexes. Pp. Xv + 266; 3 Plates. Ann Arbor: University of Michigan Press , 1939. Cloth, $4. [REVIEW]H. I. Bell - 1940 - The Classical Review 54 (02):115-.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  47.  2
    The Gestation of German Biology: Philosophy and Physiology From Stahl to Schelling.John H. Zammito - 2017 - Chicago: University of Chicago Press.
    This book explores how and when biology emerged as a science in Germany. Beginning with the debate about organism between Georg Ernst Stahl and Gottfried Leibniz at the start of the eighteenth century, John Zammito traces the development of a new research program, culminating in 1800, in the formulation of developmental morphology. He shows how over the course of the century, naturalists undertook to transform some domains of natural history into a distinct branch of natural philosophy, which attempted not only (...)
    Direct download  
     
    Export citation  
     
    Bookmark   19 citations  
  48.  35
    H. F. Tozer: A History of Ancient Geography. Second Edition with Additional Notes by M. Cary. Pp. Xxi + 387 + Xxxiv; 10 Maps. Cambridge: University Press, 1935. Cloth, 16s. [REVIEW]E. H. Warmington - 1936 - The Classical Review 50 (01):42-43.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  49. GOUHIER, H. -Les Conversions de Maine de Biran. [REVIEW]H. B. Acton - 1949 - Mind 58:107.
  50. LASSWELL, H. D. -The Analysis of Political Behaviour, An Empirical Approach. [REVIEW]H. B. Acton - 1948 - Mind 57:510.
    No categories
     
    Export citation  
     
    Bookmark  
1 — 50 / 999