Results for 'Mikhael Lemos Paiva'

18 found
Order:
  1. Materialism, Idealism and the Onto-Epistemological Roots of Geography.Mikhael Lemos Paiva - 2017 - Revista InterEspaço 3 (9):07-26.
    The present article has as proposal the discussion of the philosophical categories of Idealism and Materialism in the Geographical thought. Starting from the assumption that the knowledge is a fact, we explicit our onto-epistemological basis by a dialog between the main representatives of each Philosophy pole, from Democritus to Hegel, exposing after the sublation to the metaphysics done by the dialectical materialism. Using a bridge to the hard core of the Critical Geography (Lefebvre, Harvey and Quaini), we transmute the philosophical (...)
    Download  
     
    Export citation  
     
    Bookmark  
  2. A Turing Machine for Exponential Function.P. M. F. Lemos - manuscript
    This is a Turing Machine which computes the exponential function f(x,y) = xˆy. Instructions format and operation of this machine are intended to best reflect the basic conditions outlined by Alan Turing in his On Computable Numbers, with an Application to the Entscheidungsproblem (1936), using the simplest single-tape and single-symbol version, in essence due to Kleene (1952) and Carnielli & Epstein (2008). This machine is composed by four basic task machines: one which checks if exponent y is zero, a second (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  3.  58
    Translation and Metaphysics: A Case for Fictional Characters.Italo Lins Lemos - 2020 - Cadernos de Tradução 40 (1):110-126.
    If different translations of the same literary work have different syntaxes and semantics, how are they supposed to be about one and the same fictional character? In order to answer this question it’s necessary to (a) know what fictional characters are and (b) present reference conditions for them. Relying on Amie Thomasson’s (1999, 2003, 2007) and Saul Kripke’s (1980, 2013) works I argue that fictional characters are abstract artifacts whose reference is fixed by the baptism performed by an author; and (...)
    Download  
     
    Export citation  
     
    Bookmark  
  4.  64
    De Ars Sublime Infinitis Minimo: sobre o sublime nanotecnológico.Renata Lemos - 2012 - Dissertation, PUC-SP, Brazil
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  5. Hard-Incompatibilist Existentialism: Neuroscience, Punishment, and Meaning in Life.Derk Pereboom & Gregg D. Caruso - 2018 - In Gregg D. Caruso & Owen Flanagan (eds.), Neuroexistentialism: Meaning, Morals, and Purpose in the Age of Neuroscience. Oxford University Press.
    As philosophical and scientific arguments for free will skepticism continue to gain traction, we are likely to see a fundamental shift in the way people think about free will and moral responsibility. Such shifts raise important practical and existential concerns: What if we came to disbelieve in free will? What would this mean for our interpersonal relationships, society, morality, meaning, and the law? What would it do to our standing as human beings? Would it cause nihilism and despair as some (...)
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  6. The Public Health-Quarantine Model.Gregg D. Caruso - forthcoming - In Oxford Handbook of Moral Responsibility. New York: Oxford University Press.
    One of the most frequently voiced criticisms of free will skepticism is that it is unable to adequately deal with criminal behavior and that the responses it would permit as justified are insufficient for acceptable social policy. This concern is fueled by two factors. The first is that one of the most prominent justifications for punishing criminals, retributivism, is incompatible with free will skepticism. The second concern is that alternative justifications that are not ruled out by the skeptical view per (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  7.  38
    The ILLTP Library for Intuitionistic Linear Logic.Carlos Olarte, Valeria Correa Vaz De Paiva, Elaine Pimentel & Giselle Reis - manuscript
    Benchmarking automated theorem proving (ATP) systems using standardized problem sets is a well-established method for measuring their performance. However, the availability of such libraries for non-classical logics is very limited. In this work we propose a library for benchmarking Girard's (propositional) intuitionistic linear logic. For a quick bootstrapping of the collection of problems, and for discussing the selection of relevant problems and understanding their meaning as linear logic theorems, we use translations of the collection of Kleene's intuitionistic theorems in the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  8. A pré-história da significação de ousia: Uma análise da interpretação heideggeriana de ousia enquanto presentidade (Anwesenheit).Estevão Lemos Cruz - 2019 - Archai: Revista de Estudos Sobre as Origens Do Pensamento Ocidental 25:1-24.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  9.  84
    Lineales.Martin Hyland & Valeria de Paiva - 1991 - O Que Nos Faz Pensar:107-123.
    The first aim of this note is to describe an algebraic structure, more primitive than lattices and quantales, which corresponds to the intuitionistic flavour of Linear Logic we prefer. This part of the note is a total trivialisation of ideas from category theory and we play with a toy-structure a not distant cousin of a toy-language. The second goal of the note is to show a generic categorical construction, which builds models for Linear Logic, similar to categorical models GC of (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  10.  36
    The Dialectica Categories.Valeria Correa Vaz De Paiva - 1990 - Dissertation, University of Cambridge, UK
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  11. A temática da separação na filosofia platônica.Maria Aparecida de Paiva Montenegro - 2014 - O Que Nos Faz Pensar 34:69-90.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  12.  71
    O Conceito do Trabalho: da antiguidade ao século XVI.Emanuel Isaque Cordeiro da Silva - manuscript
    SOCIOLOGIA DO TRABALHO: O CONCEITO DO TRABALHO DA ANTIGUIDADE AO SÉCULO XVI -/- SOCIOLOGY OF WORK: THE CONCEPT OF WORK OF ANTIQUITY FROM TO THE XVI CENTURY -/- RESUMO -/- Ao longo da história da humanidade, o trabalho figurou-se em distintas posições na sociedade. Na Grécia antiga era um assunto pouco, ou quase nada, discutido entre os cidadãos. Pensadores renomados de tal época, como Platão e Aristóteles, deixaram a discussão do trabalho para um último plano. Após várias transformações sociais entre (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  13. Duelo, de Guimarães Rosa: moira em interface com a violência do sertão.Fabrício Lemos da Costa & Maria Elizabeth Bueno de Godoy - 2018 - Opinães: Revista de Literatura Brasileira 13:210-222.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  14.  42
    Reflexões sobre a Metodologia do Ensino de Filosofia.Emanuel Isaque Cordeiro da Silva - manuscript
    REFLEXÃO SOBRE A METODOLOGIA DO ENSINO DE FILOSOFIA -/- -/- REFLECTION ON THE METHODOLOGY OF PHILOSOPHY TEACHING -/- -/- Por: Emanuel Isaque Cordeiro da Silva – IFPE-BJ, CAP-UFPE e UFRPE. E-mails: eisaque335@gmail.com e eics@discente.ifpe.edu.br. WhatsApp: (82)9.8143-8399. -/- -/- -/- Etimologicamente, a palavra método é constituída pelos termos gregos metá, "por meio de", e hodós, "caminho". O método é, portanto, um "caminho por meio do qual" chegamos a um fim, atingimos determinado objetivo. -/- Vejamos qual é o desafio para o professor (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  15.  38
    Filosofia como "Produto" ou como "Processo"?Emanuel Isaque Cordeiro da Silva - manuscript
    FILOSOFIA COMO PRODUTO OU COMO PROCESSO? -/- PHILOSOPHY AS A PRODUCT OR AS A PROCESS? -/- Por: Emanuel Isaque Cordeiro da Silva – IFPE-BJ, CAP-UFPE e UFRPE. E-mails: eisaque335@gmail.com e eics@discente.ifpe.edu.br WhatsApp: (82)9.8143-8399. -/- -/- PREMISSA -/- Nos trabalhos anteriores, na área filosófica, trabalhei a importância da filosofia no ensino médio e a responsabilidade pedagógica do professor. Doravante, compartilho agora da experiência daqueles que já se debruçaram sobre aquelas questões, acrescentando outras indagações: "Que fins pretendo alcançar com meu curso de (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  16.  39
    Guimarães Rosa’s “Duelo”: Moira’s interface to the Backwoods’ violence.Fabricio Lemos da Costa & Maria Elizabeth Bueno de Godoy - 2019 - Ágora: Estudos Clássicos Em Debate 21:321-338.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  17. Strawson & Kant: Ensaios comemorativos dos 50 anos de The Bounds of Sense.Jaimir Conte & Itamar Luis Gelain - 2016 - Pelotas, RS: NEPFIL online.
    Coletânea de textos: 1.Idealismo transcendental, naturalismo e um pouco de história, Adriano Naves de Brito; 2. Ceticismo e a reconstrução de P.F. Strawson da dedução kantiana das categorias, Pedro Stepanenko; 3. Dedução Transcendental e Ceticismo, Marco Antonio Franciotti; 4. Strawson e Kant sobre a dualidade entre intuições e conceitos, Roberto Horácio de Sá Pereira; 5. Princípio de significatividade em Kant e Strawson, Cristina de Moraes Nunes; 6. Strawson e Kant sobre a Liberdade, Albertinho Luiz Gallina e Cecília Rearte Terrosa; 7. (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  18.  96
    Da Relação entre Logos e Verdade em 'Ser e Tempo'.Estevão Lemos Cruz - 2009 - Dissertation, UFPR, Brazil
    Esta dissertação tem como escopo a exposição da relação entre os conceitos fundamentais de λόγος e verdade, tais como foram desenvolvidos por Martin Heidegger em Ser e Tempo e nas preleções do entorno desta obra.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark