Results for 'Breno Arsioli Moura'

256 found
Order:
  1.  47
    Voltaire e Algarotti: divulgadores da óptica de Newton na Europa do século XVIII.Breno Arsioli Moura & Cibelle Celestino Silva - 2015 - Scientiae Studia 13 (2):397-423.
    ResumoNo início do século xviii, Isaac Newton publicou seu principal trabalho sobre óptica, o Opticks. Impregnado por uma perspectiva indutiva, o livro logo se tornou a principal referência para os estudos sobre a luz e as cores, sendo amplamente popularizado pelos seguidores de Newton. Neste artigo, analisamos como dois importantes livros contribuíram para essa popularização e também qual era a imagem de ciência que tencionavam propagar, o Élements de la philosophie de Newton de Voltaire e o Newtonianismo per le dame (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  2.  12
    Vibrational theories of light in 18th century Great Britain.Breno Arsioli Moura - 2016 - Scientiae Studia 14 (2):333.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  3. Explanation and Essence in Posterior Analytics II 16-17.Breno Andrade Zuppolini - 2018 - Archai: Revista de Estudos Sobre as Origens Do Pensamento Ocidental 24:229-264.
    In Posterior Analytics II 16-17, Aristotle seems to claim that there cannot be more than one explanans of the same scientific explanandum. However, this seems to be true only for “primary-universal” demonstrations, in which the major term belongs to the minor “in itself” and the middle term is coextensive with the extremes. If so, several explananda we would like to admit as truly scientific would be out of the scope of an Aristotelian science. The secondary literature has identified a second (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  4.  11
    On Peirce’s Pure Grammar as a general theory of cognition: From the thought-sign of 1868 to the semeiotic theory of assertion.Breno Serson - 1997 - Semiotica 113 (1-2):107-158.
  5.  7
    Estudos de filosofia portuguesa.José Barata-Moura - 1998 - Lisboa: Editoral Caminho.
    Direct download  
     
    Export citation  
     
    Bookmark  
  6.  10
    Bimodal Patterning Discrimination in Harnessed Honey Bees.Breno E. Mansur, Jean R. V. Rodrigues & Theo Mota - 2018 - Frontiers in Psychology 9.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  7. Echo Chambers, Ignorance and Domination.Breno R. G. Santos - 2021 - Social Epistemology 35 (2):109-119.
    My aim in this paper is to engage with C. Thi Nguyen’s characterization of the echo chamber and to propose two things. First, I argue that a proper reading of his concept of echo chamber should make use of the notion of ignorance in the form of a structural epistemic insensitivity. My main contention is that ignorance as a substantive structural practice accounts for the epistemically deleterious effects of echo chambers. Second, I propose that from the talk of ignorance we (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  8.  23
    A persistência de formas da vida religiosa na modernidade (The persistence of forms of the religious life in modernity).Breno Martins Campos - 2012 - Horizonte 10 (27):1028-1041.
    O processo de desenvolvimento da história (e demais ciências) das religiões, com objeto e metodologia próprios, pode ser analisado por meio das discussões que aprofundaram as relações entre a defesa do caráter racionalista do homem ocidental e a persistência de formas religiosas de expressão no transcorrer dos séculos XIX e XX (bem como neste início de século XXI). Por meio do estudo da história da teologia e das religiões, são estabelecidos critérios para o julgamento das convergências entre movimentos religiosos, também (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  9.  20
    Evangélicos fundamentalistas e política: uma análise da conjuntura brasileira.Breno Martins Campos - forthcoming - Horizonte:1162.
    Este artigo reconhece que nunca se falou tanto em fundamentalismo em nosso país como agora; e que o uso ampliado do conceito poucas vezes vem associado ao espectro do protestantismo definido pela hermenêutica literal das Escrituras, como nos primórdios do movimento fundamentalista. No Brasil contemporâneo, grosso modo, fundamentalista qualifica o evangélico conservador ou reacionário, quase sempre pentecostal, e com inserção na mídia e na política. Assim, é urgente que a ação de evangélicos fundamentalistas no espaço público-político brasileiro seja compreendida pelas (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  10.  38
    On Identifying and Identification.Breno Hax - 2012 - Disputatio 4 (34):671-687.
    Hax-Breno_On-identifying-and-identification.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  11. Comprehension, Demonstration, and Accuracy in Aristotle.Breno Zuppolini - 2020 - Journal of the History of Philosophy 58 (1):29-48.
    according to aristotle's posterior analytics, scientific expertise is composed of two different cognitive dispositions. Some propositions in the domain can be scientifically explained, which means that they are known by "demonstration", a deductive argument in which the premises are explanatory of the conclusion. Thus, the kind of cognition that apprehends those propositions is called "demonstrative knowledge".1 However, not all propositions in a scientific domain are demonstrable. Demonstrations are ultimately based on indemonstrable principles, whose knowledge is called "comprehension".2 If the knowledge (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  12.  11
    Deleuze e Derrida, isto não é o mesmo movimento: Élias Jabre entrevista Jean-Clet Martin.Breno Benedykt - 2023 - Cadernos de Ética E Filosofia Política 42 (1):86-95.
  13.  6
    Pensar e Resistir Com o Cinema.Breno Isaac Benedykt & Cintya Regina Ribeiro - 2015 - Revista Sul-Americana de Filosofia E Educação 23:13-31.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  14.  40
    Embodied semiotic artefacts: On the role of the skin as a semiotic niche.Breno Bitarello & João Queiroz - 2014 - Technoetic Arts 12 (1):75-90.
    The skin can be described as a niche structured by semiotic artefacts (tattoos) that work as symbolic–indexical devices (dicisigns). New biocompatible technologies responsive to organic and environmental variations change the role of the skin as a semiotic niche. New devices are transforming the skin into a niche of interactive interfaces. In this article we introduce a variety of techno-scientific artefacts, which are readily available, and their main characteristics. We are interested in the recent proliferation of devices based on biotechnologies that (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  15. Genealogia epistêmica e normas de credibilidade.Breno Ricardo Guimarães Santos - 2018 - Sofia 1 (7):126-146.
    In this paper, I present two ways of conceiving a genealogical explanation of the concept of knowledge. The first one is through the epistemic state of nature hypothesis developed by Edward Craig, according to which knowledge is understood as a concept evolved from the concept of a good informant. After considering Craig’s project, I draw a parallel between this approach and Miranda Fricker’s value-laden account of the same concept. Then, I present and discuss Fricker’s social take on Craig’s genealogy, in (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  16. Aristotle’s theory of demonstration and its logical and metaphysical entanglements.Lucas Angioni & Breno Zuppolini - 2019 - Manuscrito 42 (4):i-ix.
    This is an Editorial Note for the special volume of the journal Manuscrito (42: 4) devoted to Aristotle's theory of demonstration and its logical and metaphysical entanglements, which has been organized by me and Breno Zuppolini (as Guest Editors), with papers authored by Benjamin Morison, Owen Goldin, David Bronstein, Michail Peramatzis, Andrea Falcon, Laura Castelli, Paolo Fait, Joseph Karbowski, Adam Crager, Klaus Corcilius, Robert J. Hankinson, Raphael Zillig and Pieter Sjoerd Hasper.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  17.  81
    Aristotle on per se accidents.Breno A. Zuppolini - 2018 - Ancient Philosophy 38 (1):113-135.
  18. Beber ou não beber? Qual é a questão? Duas leituras de República IV, 439c2-d8.Breno Andrade Zuppolini - 2019 - Dissertatio 49:45-63.
    In this paper, I explore two possible readings of Republic IV, 439c2-d8, and of Plato’s claim that the just soul is governed by its rational element. My aim is to argue against a “desiderative” interpretation of the passage, according to which the motivational strength of rational desires depends on a set of desires given in advance and produced independently of reason. As an alternative, I advance a “cognitivist” reading according to which the rational desires of the just soul have as (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  19.  90
    Immediacy in Aristotle’s Epistemology.Breno Zuppolini - 2021 - Phronesis: A Journal for Ancient Philosophy 66 (2):111–138.
    This article discusses immediate premises in Aristotle’s epistemology. The traditional interpretation identifies immediacy with indemonstrability: immediate truths are the indemonstrable principles of science from which the theorems are derived by demonstration. Against this common reading, I argue that Aristotle’s recognition of two kinds of epistemic priority (priority by nature and priority to us) commits him to the existence of two types of immediacy, only one of which is equivalent to indemonstrability. As a result, my interpretation offers a better understanding of (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  20.  7
    Democracy after the Internet - Brazil between Facts, Norms, and Code.Moura Ribeiro & S. Samantha - 2016 - Cham: Imprint: Springer.
    This book throws new light on the way in which the Internet impacts on democracy. Based on Jürgen Habermas' discourse-theoretical reconstruction of democracy, it examines one of the world's largest, most diverse but also most unequal democracies, Brazil, in terms of the broad social and legal effects the internet has had. Focusing on the Brazilian constitutional evolution, the book examines how the Internet might impact on the legitimacy of a democratic order and if, and how, it might yield opportunities for (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  21. Avoiding infinite regress: Posterior analytics I 22.Breno Zuppolini - 2019 - Manuscrito 42 (4):122-156.
    This article offers a reconstruction of an argument against infinite regress formulated by Aristotle in Posterior Analytics I 22. I argue against the traditional interpretation of the chapter, according to which singular terms and summa genera, in virtue of having restrict logical roles, provide limits for predicative chains, preventing them from proceeding ad infinitum. As I intend to show, this traditional reading is at odds with some important aspects of Aristotle’s theory of demonstration. More importantly, it fails to explain how (...)
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  22. Aristotle's Foundationalism.Breno Andrade Zuppolini - 2016 - Dissertatio 44:187-211.
    For Aristotle, demonstrative knowledge is the result of what he calls ‘intellectual learning’, a process in which the knowledge of a conclusion depends on previous knowledge of the premises. Since demonstrations are ultimately based on indemonstrable principles (the knowledge of which is called ‘νοῦς’), Aristotle is often described as advancing a foundationalist doctrine. Without disputing the nomenclature, I shall attempt to show that Aristotle’s ‘foundationalism’ should not be taken as a rationalist theory of epistemic justification, as if the first principles (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  23. El apoderamiento de Hölderlin y Nietzsche en la medianoche del mundo.Breno Onetto - 1997 - A Parte Rei 15.
    No categories
     
    Export citation  
     
    Bookmark  
  24. Ontological Underpinnings of Aristotle's Philosophy of Science.Breno A. Zuppolini - 2017 - Dissertation, University of Campinas, Brazil
  25.  1
    Husserl: significação e fenômeno.Carlos Alberto Ribeiro de Moura - 2006 - Dois Pontos 3 (1).
    O objetivo deste artigo é discutir o modo como Husserl desenha a originalidade da subjetividade transcendental, frente à sua homônima psicológica. Se é certo que a noção de “imanência autêntica” pode apontar para as diferentes fronteiras entre o transcendental e o psicológico, resta que por si só ela não permite decidir nada quanto ao “modo de ser” transcendental, em sua diferença face ao “mundano”. Sendo assim, procura-se reconstituir alguns dos momentos centrais do esforço husserliano para construir um conceito de “subjetivo” (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  26.  20
    Valverde, M. (org.). Merleau-Ponty em Salvador. Salvador: Arcadia, 2008.Alex Campos Moura - 2012 - Doispontos 9 (1).
    O pensamento de Merleau-Ponty como instituição.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  27.  8
    La antropología de Günther Anders en el Marco de Una disonancia existencial1 (1 a parte).Breno Onetto Muñoz - 2011 - Endoxa 27:215-230.
  28. Some remarks against non-epistemic accounts of immediate premises in Aristotle’s Posterior Analytics.Breno Zuppolini - 2023 - Journal of Ancient Philosophy 17 (2):29-43.
    Most interpretations of Aristotle’s Posterior Analytics believe that the term ‘ameson’ is used to describe the principles or foundations of a given system of justification or explanation as epistemically prior to or more fundamental than the other propositions in the system. Epistemic readings (as I shall call them) arguably constitute a majority in the secondary literature. This predominant view has been challenged by Robin Smith (1986) and Michael Ferejohn (1994; 2013), who propose interpretations that should be classified as non-epistemic according (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  29.  5
    Hegel e o Ensino da Filosofia Nos Liceus.José Barata-Moura - forthcoming - Revista Dialectus.
    O texto que ora apresentamos é o conteúdo de uma Palestra proferida em Agosto de 2011, em Lisboa, e discute alguns pareceres de Hegel sobre o ensino da filosofia na Universidade, e especilamente nos Liceus. Nosso objetivo é discorrer sobre as três fundamentais “lições” que se pode inferir das meditações hegelianas acerca do ensino da filosofia, a saber: 1) o professor tem que pensar; 2) a filosofia (e o filosofar) não é tão-somente um mero formalismo; 3) a dialéctica se configura (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  30.  8
    En torno a la identidad. La comunidad como trabajo.José Barata-Moura - 2001 - Isegoría 24:199-204.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  31.  51
    Forma lógica Das proposições científicas E ontologia da predicação: Um falso dilema nos segundos analíticos de aristóteles.Breno Andrade Zuppolini - 2014 - Philósophos - Revista de Filosofia 19 (2):11-45.
    In the Posterior Analytics, Aristotle imposes some requirements on the formulation of scientific propositions: their terms must be able to perform the role of subject as well as of predicate; their terms should be universal; every demonstration must involve “primary” subjects denoted by terms that “cannot be said of another underlying subject”. Several interpreters, inspired by theses from the Categories, believed that this third requirement refers to names and descriptions of particular substances as basic subjects of predicative statements, since they (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  32. Epistemologia da Virtude – Virtude Epistemology (SEP Translation).Breno Ricardo Guimarães Santos, Pedro Merlussi, John Greco & John Turri - 2015 - Intuitio 1 (8):325-362.
    [From SEP]: Contemporary virtue epistemology (hereafter ‘VE’) is a diverse collection of approaches to epistemology. At least two central tendencies are discernible among the approaches. First, they view epistemology as a normative discipline. Second, they view intellectual agents and communities as the primary focus of epistemic evaluation, with a focus on the intellectual virtues and vices embodied in and expressed by these agents and communities. This entry introduces many of the most important results of the contemporary VE research program. These (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  33.  16
    Felicidade, satisfação com a vida e com a democracia no Brasil: 2017/2020.José Antonio Ribeiro de Moura, Everton Rodrigo Santos, Sueli Maria Cabral & Honor de Almeida Neto - 2022 - Aletheia 55 (2):144-166.
    Este artigo tem como objetivo principal investigar a relação existente entre a percepção da felicidade dos brasileiros, sua satisfação com a vida e a satisfação com o regime democrático no período de 2017 a 2020. Nossa hipótese de trabalho postula que o declínio da felicidade e da satisfação com a vida, de uma forma geral, guarda relação de associação com a satisfação com a democracia e suas instituições. Assim, o artigo sugere que felicidade e democracia no Brasil são duas variáveis (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  34.  13
    Violência escolar e racionalidade comunicativa.Adrielly Benigno de Moura, Francisco Ribeiro dos Santos Júnior & Edna Gusmão de Góes Brennand - 2022 - Logeion Filosofia da Informação 9:292-307.
    Compreender a violência na sociedade contemporânea requer o mapeamento dos fatores geradores de atos violentos bem como sua prevenção por meio de políticas públicas e de processos educacionais. Este artigo traz algumas reflexões sobre a racionalidade comunicativa e a violência escolar no contexto da crescente exclusão social e a crise de horizontes utópicos para a construção da educação e da formação de sujeitos de direitos. A abordagem metodológica está ancorada na perspectiva da análise de conteúdo de Laurence Bardin (2016), do (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  35.  21
    Overlooked Leadership Potential: The Preference for Leadership Potential in Job Candidates Who Are Men vs. Women.Abigail Player, Georgina Randsley de Moura, Ana C. Leite, Dominic Abrams & Fatima Tresh - 2019 - Frontiers in Psychology 10.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  36.  11
    Contribuições À Educação Técnico-Científica Em Heisenberg e Heidegger.Paulo Rogério Garcez de Moura, André Luís Silva da Silva, Diogo Onofre Gomes de Souza & José Cláudio Del Pino - 2013 - Revista Sul-Americana de Filosofia E Educação 20:179-199.
    Apresentaremos as possíveis aplicações pedagógicas das suas reflexões, como a utilização da imprecisão científica de Heisenberg e da concepção de técnica em Heidegger, a partir da análise histórico-filosófica dos seus escritos, tomando-os como fundamentação a necessária e significativa melhoria da educação técnico-científica.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  37.  60
    Ethical Decision Making in Autonomous Vehicles: The AV Ethics Project.Katherine Evans, Nelson de Moura, Stéphane Chauvier, Raja Chatila & Ebru Dogan - 2020 - Science and Engineering Ethics 26 (6):3285-3312.
    The ethics of autonomous vehicles has received a great amount of attention in recent years, specifically in regard to their decisional policies in accident situations in which human harm is a likely consequence. Starting from the assumption that human harm is unavoidable, many authors have developed differing accounts of what morality requires in these situations. In this article, a strategy for AV decision-making is proposed, the Ethical Valence Theory, which paints AV decision-making as a type of claim mitigation: different road (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  38.  12
    História da imprensa sob o enfoque da memória.Sérgio Arruda De Moura - 2009 - Logos: Comuniação e Univerisdade 16 (2):109-112.
  39.  13
    Movimento operário, intelectuais e o partido revolucionário em Gramsci.Alessandro de Moura - 2010 - Filosofia E Educação 2 (1):p - 23.
    Primeiramente fazemos uma breve discussão sobre a concepção defendida por Gramsci acerca do que caracteriza um intelectual, bem como sua função social nas distintas formações sociais, como desdobramento de tal reflexão do autor sardo, apresentamos sua conhecida distinção, operada no “Caderno 12”, entre os „intelectuais tradicionais‟ e os „intelectuais orgânicos‟ destacando sua práxis social. Por fim, valendo-nos dos escritos do autor no “Caderno 13”, ressaltamos a importância do intelectual orgânico na constituição do partido revolucionário.First we give a brief discussion about (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  40.  14
    Preference for flexibility and dynamic consistency with incomplete preferences.Fernanda Senra de Moura & Gil Riella - 2020 - Theory and Decision 90 (2):171-181.
    We generalize a previous result about dynamically consistent menu preferences to the case where preferences are not necessarily complete. We show that, as it is the case when preferences are complete, a subjective state space version of dynamic consistency is linked to a comparative theory of preference for flexibility. In words, an objective signal is interpreted as an event in the agent’s subjective state space and the agent acts in a dynamically consistent way after that if and only if we (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  41.  42
    SUBSEXPL: a tool for simulating and comparing explicit substitutions calculi ★.F. L. C. de Moura, M. Ayala-Rincón & F. Kamareddine - 2006 - Journal of Applied Non-Classical Logics 16 (1-2):119-150.
    We present the system SUBSEXPL used for simulating and comparing explicit substitutions calculi. The system allows the manipulation of expressions of the λ-calculus and of three different styles of explicit substitutions: the λσ, the λse and the suspension calculus. A variation of the suspension calculus, which allows for combination of steps of β-contraction is included too. Implementations of the η-reduction are provided for each style. Other explicit substitutions calculi can be easily incorporated into the system due to its modular structure. (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  42.  13
    The Structural Persistence of Nazism in Contemporary Legal Theory and its Impact on Brazilian Legal Interpretation.Andityas Soares de Moura Costa Matos & Joyce Karine de Sá Souza - 2019 - Archiv Fuer Rechts Und Sozialphilosphie 105 (4):484-507.
    This article proposes a reflection on the persistence of Nazi jurisdictional models in contemporary legal theory, briefly comparing the work of authors such as Wolf, Larenz, Schmitt, Dworkin and Alexy. It aims to demonstrate the authoritarian and radically undemocratic character of certain theoretical constructions used in adjudication, particularly in Brazil. For this purpose, three representative judicial decisions from 2016 are analyzed, highlighting typical structural features of Nazi legal theory which remain accepted by current legal theory, such as the disregard for (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  43.  34
    Memória, transmissão e emoção: estudo sobre a modernidade religiosa no pensamento de Danièle Hervieu-Léger.Victor Breno Farias Barrozo - 2014 - Horizonte 12 (34):610-612.
    BARROZO, Victor Breno Farias. Memória, Transmissão e emoção: estudo sobre a modernidade religiosa no pensamento de Danièle Hervieu-Léger. 2014. Dissertação (Mestrado), Programa de Pós-graduação em Ciências da Religião, Pontifícia Universidade Católica de Minas Gerais, Belo Horizonte. Palavras-Chave: Danièle Hervieu-Léger. Modernidade religiosa. Senso religioso contemporâneo. Memória. Transmissão. Emoção. Keywords : Danièle Hervieu-Léger. Religious modernity. Contemporary religious sense. Memory. Transmission. Emotion.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  44.  30
    Copresença de opostos em república V, 478e-480a.Breno Andrade Zuppolini - 2015 - Manuscrito 38 (3):81-110.
    No categories
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  45.  4
    Intersecções entre a história e a geo-história: a arte enquanto observatório do Antropoceno.Chana De Moura - 2021 - Cadernos PET-Filosofia (Parana) 19 (1).
    Mapeando brevemente alguns eventos desencadeados pelo período denominado, por alguns cientistas, como Antropoceno, este estudo busca estabelecer um observatório deste período através da ótica do campo das artes, do cinema e da filosofia. Pretende-se compreender como práticas artísticas podem ser concebidas de forma a sublinhar as incoerências referentes à intervenção humana no sistema e na atmosfera terrestre. Para tal, este estudo recruta trabalhos de artistas como Alice Miceli, Andrei Tarkovsky e Jacob Kirkegaard, em suas potencialidades de prevenção, educação e crítica (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  46.  27
    Aristotle on Multiple Demonstration: a Reading of Posterior Analytics II 17-8.Breno Zuppolini & David Bronstein - 2023 - In Ricardo Santos & Antonio Pedro Mesquita (eds.), New Essays on Aristotle's Organon. New York, NY: Routledge. pp. 170-190.
  47. The Lean Theorem Prover.Leonardo de Moura, Soonho Kong, Jeremy Avigad, Floris Van Doorn & Jakob von Raumer - unknown
    Lean is a new open source theorem prover being developed at Microsoft Research and Carnegie Mellon University, with a small trusted kernel based on dependent type theory. It aims to bridge the gap between interactive and automated theorem proving, by situating automated tools and methods in a framework that supports user interaction and the construction of fully specified axiomatic proofs. Lean is an ongoing and long-term effort, but it already provides many useful components, integrated development environments, and a rich API (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  48.  25
    Absoluto e relativo na fenomenologia de Husserl.Carlos Alberto Ribeiro de Moura - 1987 - Discurso 16:69-94.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  49.  48
    A Western Cultural Illusion.Andityas Soares De Moura Costa Matos - 2012 - Cultura 9 (1):43-55.
    Considering the basic assumption that the modern Law and State theory does not only bear similarities, but also draws true epistemological parallels to theconstructions of Theology, Hans Kelsen intends to lay bare the ideological meaning that lies at the very core of the traditional dualism which constitutes Law and State into autonomous entities. Taking into account Kelsen´s original perceptions – which are seconded by more recent contributions from Claude Lefort and Hans Lindahl’s political and symbolic concepts and from Carl Schmitt’s (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  50.  50
    D. Hume para além da Epistemologia.Carlos Alberto Ribeiro de Moura - 1993 - Discurso 20:99-114.
    O objetivo deste artigo é discutir a noção humiana de "crença", frequentemente vita como adendo "psicológico" à correta doutrina epistemológica do autor. Tenta-se sugerir que são partilha das obsessões da epistemologia contemporânea.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 256