Results for 'Hans Nivelle'

1000+ found
Order:
  1.  18
    Deciding the E+-class by an a posteriori, liftable order.Hans de Nivelle - 2000 - Annals of Pure and Applied Logic 104 (1-3):219-232.
    We show that the E + -class can be decided by resolution using a liftable order, when the order is applied a posteriori. This is a surprising result, because the decision procedure for the E + -class was one of the motivations for the study of non-liftable orders. Also surprising is the behaviour of the resolution process. Initially the maximal depth at which a variable occurs can increase, but it will not increase more than a certain bound. We do not (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  2.  15
    The resolution calculus, Alexander Leitsch.Hans de Nivelle - 1998 - Journal of Logic, Language and Information 7 (4):499-502.
  3.  34
    Deciding regular grammar logics with converse through first-order logic.Stéphane Demri & Hans De Nivelle - 2005 - Journal of Logic, Language and Information 14 (3):289-329.
    We provide a simple translation of the satisfiability problem for regular grammar logics with converse into GF2, which is the intersection of the guarded fragment and the 2-variable fragment of first-order logic. The translation is theoretically interesting because it translates modal logics with certain frame conditions into first-order logic, without explicitly expressing the frame conditions. It is practically relevant because it makes it possible to use a decision procedure for the guarded fragment in order to decide regular grammar logics with (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  4.  4
    Deciding Regular Grammar Logics with Converse Through First-Order Logic.Stéphane Demri & Hans Nivelle - 2005 - Journal of Logic, Language and Information 14 (3):289-329.
    We provide a simple translation of the satisfiability problem for regular grammar logics with converse into GF2, which is the intersection of the guarded fragment and the 2-variable fragment of first-order logic. The translation is theoretically interesting because it translates modal logics with certain frame conditions into first-order logic, without explicitly expressing the frame conditions. It is practically relevant because it makes it possible to use a decision procedure for the guarded fragment in order to decide regular grammar logics with (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  5.  7
    Computing finite models by reduction to function-free clause logic.Peter Baumgartner, Alexander Fuchs, Hans de Nivelle & Cesare Tinelli - 2009 - Journal of Applied Logic 7 (1):58-74.
  6.  7
    Natur und Gesellschaft: Perspektiven einer Ökologischen Sozialethik.Hans-Joachim Höhn - 2003 - Revista Portuguesa de Filosofia 59 (3):743 - 762.
    Segundo o presente artigo, a crise ecológica tornou dramaticamente claw que a evolução social não deve ser apenas entendida como uma emancipação das limitações derivadas da natureza e das amarras da sociabilidade humana e ainda menos deve ser aferida pela capacidade de transformar a natureza num mew repositório de recursos naturais capazes de garantir a sobrevivência do género humano. O artigo pretende assim mostrar até que ponto o progresso social está intimamente associado com a capacidade de se manter o metabolismo (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  7.  6
    O potencial crítico da filosofia do direito.Hans-Georg Flickinger - 2004 - Veritas – Revista de Filosofia da Pucrs 49 (1):31-47.
    O presente trabalho não visa uma mera reconstrução da Filosofia do Direito de Hegel, mas, antes, busca explorar o potencial argumentativo inerente a esta obra-mestra da moderna filosofia política, investigando se o pensamento hegeliano pode ajudar-nos a compreender melhor o que, desde sua implantação, o espírito liberal vem desencadeando, tanto em nível político-institucional, quanto em termos econômico-sociais.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  8.  16
    Más acá de la legalidad. La CONADI, la ley indígena y el pueblo mapuche (1989-2004).Jorge Iván Vergara, Rolf Foerster & Hans Gundermann - 2004 - Polis 8.
    Tras señalar que la actual política indígena divide a la sociedad chilena en posiciones antagónicas, el artículo plantea una mirada de superación quienes la ven como una amenaza al orden institucional y a la unidad de la nación chilena, y quienes la consideran meras modificaciones cosméticas al modelo etnocida del Estado chileno. Se señala que los compromisos del Pacto de Nueva Imperial tienen niveles parciales de cumplimiento que dejan a Chile por debajo en estas materias en el concierto latinoamericano, lo (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  9. Truth and method.Hans-Georg Gadamer - 1982 - New York: Continuum. Edited by Joel Weinsheimer & Donald G. Marshall.
    Written in the 1960s, TRUTH AND METHOD is Gadamer's magnum opus.
  10.  8
    Oliveira, jelson R. compreender Hans Jonas. Petrópolis: Vozes, 2014. Isbn 978-85-326-4824-2.Eduardo Augusto G. B. Moreno - 2014 - Cadernos Do Pet Filosofia 5 (9):63-65.
    Jelson Roberto de Oliveira, autor de “Compreender Hans Jonas”, é graduado em Filosofia pela Universidade Federal do Paraná, com especialização em Sociologia Política e mestrado em História da Filosofia Moderna e Contemporânea pela mesma universidade. Atualmente é professor da pós-graduação em Filosofia na PUC-PR, e coordenador do GT Hans Jonas, da Anpof, que reúne vários pesquisadores de nível nacional na área. Ética para a civilização tecnológica e A solidão como virtude moral em Nietzsche são alguns dos diversos títulos (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  11. The Oxford handbook of Emile Durkheim.Hans Joas & Andreas Pettenkofer (eds.) - 2024 - New York, NY: Oxford University Press.
    Émile Durkheim remains one of the most controversial, and deeply misunderstood, classics of social theory. His work differs from the dominant version of sociology that has essentially accepted the modernist self-description of contemporary societies; and it contradicts the individualism that has come to dominate the social sciences. For everybody who is interested in constructing theoretical alternatives to this individualism, Durkheim's sociology can be a useful inspiration - not only because of the solutions it suggests, but already because of the questions (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  12.  4
    Lenguaje y Retórica En la Hermenéutica de Hans-Georg Gadamer.Leandro Catoggio - 2011 - Praxis Filosófica 28:173-193.
    El presente trabajo tiene como fin describir la relación entre retórica y hermenéutica en la obra de Hans-Georg Gadamer. Un primer paso consiste enreconocer los elementos de la retórica en el contexto de Verdad y Método.Apartir de allí se intentará mostrar lo que Gadamer entiende por la recuperación hermenéutica de la retórica antigua sobre la base de tres tópicos. Elprimero radica en mostrar que la retórica, al igual que la hermenéutica, alcanzaun estatus ontológico. En segundo lugar, que la retórica (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  13.  5
    La Conducta Animal y Lo Transanimal En El Hombre En la Biología Filosófica de Hans Jonas.Alejandro Serani Merlo & Yván Lailhacar Formigo - 2018 - Síntesis Revista de Filosofía 8 (2):9.
    En este trabajo se expone y comenta esquemáticamente la biofilosofía de Hans Jonas, poniéndola en relación con su visión del ser humano. Para Jonas la vida se distingue de la materia inerte por la libertad ganada desde la aparición del metabolismo. Percepción y emoción generan un hiato o mediatez entre el interés animal y su satisfacción; la conducta animal sería, entonces, el segundo grado de libertad. Con el ser humano surge un nuevo grado de libertad, que implica un salto (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  14.  70
    Locke’s Reputation in Nineteenth-Century England.Hans Aarsleff - 1971 - The Monist 55 (3):392-422.
    In 1890 C. S. Peirce wrote a review of A. C. Fraser’s recent book on Locke, published to coincide with the bicentennial of Locke’s Essay. Peirce remarked that “Locke’s grand work was substantially this: Men must think for themselves, and genuine thought is an act of perception…. We cannot fail to acknowledge a superior element of truth in the practicality of Locke’s thought, which on the whole should place him nearly upon a level with Descartes.” This estimate of Locke was (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  15.  14
    Truth and method.Hans Georg Gadamer, Joel Weinsheimer & Donald G. Marshall - 2004 - New York: Continuum. Edited by Joel Weinsheimer & Donald G. Marshall.
    Written in the 1960s, TRUTH AND METHOD is Gadamer's magnum opus. Looking behind the self-consciousness of science, he discusses the tense relationship between truth and methodology. In examining the different experiences of truth, he aims to "present the hermeneutic phenomenon in its fullest extent.
    Direct download  
     
    Export citation  
     
    Bookmark   374 citations  
  16.  95
    Pufendorf and Condillac on Law and Language.Hans Aarsleff - 2011 - Journal of the Philosophy of History 5 (3):308-321.
    This essay argues that Pufendorf conceived the principles of natural law against the rationalism and innatism of the 17th century, and that Condillac similarly formulated a conception of the human origin of language, both of them thus securing open and human foundations for the two primal institutions of law and language, and also making all citizens free agents in the ordering of communal living.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  17. Hugo Riemann und der Musikbegriff der Musikwissenschaft.Hans-Joachim Hinrichsen - 2006 - In Hans Heinrich Eggebrecht, Michael Beiche & Albrecht Riethmüller (eds.), Musik--zu Begriff und Konzepten: Berliner Symposion zum Andenken an Hans Heinrich Eggebrecht. [Stuttgart]: Franz Steiner.
     
    Export citation  
     
    Bookmark  
  18.  2
    Nachruf auf Nicholas Rescher.Hans-Peter Krüger - 2024 - Deutsche Zeitschrift für Philosophie 72 (1):156-158.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  19.  34
    O monismo integral de Hans Jonas contra o fisicalismo.Wellistony Carvalho Viana - 2014 - Revista de Filosofia Aurora 26 (38):391.
    O objetivo do presente artigo é tornar explicíta a tese jonasiana segundo a qual matéria e espírito, mente e corpo expressam duas dimensões irredutíveis do ser como um todo. O artigo se compõe de duas partes: na primeira, mostra-se a argumentação de Jonas contra o fisicalismo no nível do biológico, e na segunda, apresenta-se a argumentação crítica no nível do mental. Desautorizar a tese do monismo materialista é tão importante para a ética da responsabilidade como foi para Jonas criticar o (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  20.  3
    Les théories esthétiques en Allemagne de Baumgarten à Kant.Armand Nivelle - 1955 - Paris,: Les Belles Lettres.
  21.  18
    Treatise on Critical Reason.Hans Albert - 1985 - Princeton University Press.
    Albert approaches critical rationalism as an alternative to other philosophical standpoints dominant in Germany: the conceptions of the Frankfurt School, hermeneutical thinking as represented by Gadamer, analytic philosophy, and logical empiricism. The author's purpose is to find a way out of the foundationalism of classical philosophy without falling back on the skeptical views so prevalent in today's philosophical thinking. Originally published in 1985. The Princeton Legacy Library uses the latest print-on-demand technology to again make available previously out-of-print books from the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   51 citations  
  22. American Philosophy of Technology: The Empirical Turn.Hans Achterhuis (ed.) - 2001 - Indiana University Press.
    Introduces contemporary American philosophy of technology through six of its leading figures. The six American philosophers of technology whose work is profiled in this clear and concise introduction to the field—Albert Borgmann, Hubert Dreyfus, Andrew Feenberg, Donna Haraway, Don Ihde, and Langdon Winner—represent a new, empirical direction in the philosophical study of technology that has developed mainly in North America. In place of the grand philosophical schemes of the classical generation of European philosophers of technology, the contemporary American generation addresses (...)
    Direct download  
     
    Export citation  
     
    Bookmark   68 citations  
  23.  69
    Defending Einstein: Hans Reichenbach's writings on space, time, and motion.Hans Reichenbach - 2006 - New York: Cambridge University Press. Edited by Steven Gimbel & Anke Walz.
    Hans Reichenbach, a philosopher of science who was one of five students in Einstein's first seminar on the general theory of relativity, became Einstein's bulldog, defending the theory against criticism from philosophers, physicists, and popular commentators. This book chronicles the development of Reichenbach's reconstruction of Einstein's theory in a way that clearly sets out all of its philosophical commitments and its physical predictions as well as the battles that Reichenbach fought on its behalf, in both the academic and popular (...)
    Direct download  
     
    Export citation  
     
    Bookmark   9 citations  
  24.  10
    Traktat über kritische Vernunft.Hans Albert - 1968 - Tübingen,: Mohr (Siebeck).
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   60 citations  
  25.  68
    Production of presence: what meaning cannot convey.Hans Ulrich Gumbrecht - 2004 - Stanford, Calif.: Stanford University Press.
  26. The nonhuman condition: Radical democracy through new materialist lenses.Hans Asenbaum, Amanda Machin, Jean-Paul Gagnon, Diana Leong, Melissa Orlie & James Louis Smith - 2023 - Contemporary Political Theory (Online first):584-615.
    Radical democratic thinking is becoming intrigued by the material situatedness of its political agents and by the role of nonhuman participants in political interaction. At stake here is the displacement of narrow anthropocentrism that currently guides democratic theory and practice, and its repositioning into what we call ‘the nonhuman condition’. This Critical Exchange explores the nonhuman condition. It asks: What are the implications of decentering the human subject via a new materialist reading of radical democracy? Does this reading dilute political (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  27.  57
    The Legitimacy of the Modern Age.Hans Blumenberg - 1985 - MIT Press.
    In this major work, Blumenberg takes issue with Karl Lowith's well-known thesis that the idea of progress is a secularized version of Christian eschatology, which promises a dramatic intervention that will consummate the history of the ...
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   74 citations  
  28. The politics of becoming: Disidentification as radical democratic practice.Hans Asenbaum - 2021 - European Journal of Social Theory 24 (1):86-104.
    Current radical democratic politics is characterized by new participatory spaces for citizens’ engagement, which aim at facilitating the democratic ideals of freedom and equality. These spaces are, however, situated in the context of deep societal inequalities. Modes of discrimination are carried over into participatory interaction. The democratic subject is judged by its physically embodied appearance, which replicates external hierarchies and impedes the freedom of self-expression. To tackle this problem, this article seeks to identify ways to increase the freedom of the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  29.  59
    Representation and Scepticism from Aquinas to Descartes.Han Thomas Adriaenssen - 2017 - Cambridge: Cambridge University Press.
    In this book Han Thomas Adriaenssen offers the first comparative exploration of the sceptical reception of representationalism in medieval and early modern philosophy. Descartes is traditionally credited with inaugurating a new kind of scepticism by saying that the direct objects of perception are images in the mind, not external objects, but Adriaenssen shows that as early as the thirteenth century, critics had already found similar problems in Aquinas's theory of representation. He charts the attempts of philosophers in both periods to (...)
    Direct download  
     
    Export citation  
     
    Bookmark   12 citations  
  30.  20
    History, Metaphors, Fables: A Hans Blumenberg Reader.Hans Blumenberg - 2020 - Ithaca: Cornell University Press. Edited by Hannes Bajohr, Florian Fuchs & Joe Paul Kroll.
    History, Metaphors, and Fables collects the central writings by Hans Blumenberg and covers topics such as on the philosophy of language, metaphor theory, non-conceptuality, aesthetics, politics, and literary studies. This landmark volume demonstrates Blumenberg's intellectual breadth and gives an overview of his thematic and stylistic range over four decades. Blumenberg's early philosophy of technology becomes tangible, as does his critique of linguistic perfectibility and conceptual thought, his theory of history as successive concepts of reality", his anthropology, or his studies (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  31. Logic, Mathematics, and Knowledge of Nature.Hans Hahn - 1961 - In Alfred Jules Ayer (ed.), Logical positivism. Westport, Conn.: Greenwood Press. pp. 147-161.
     
    Export citation  
     
    Bookmark   17 citations  
  32.  51
    The Crisis of the Early Italian Renaissance. Civic Humanism and Republican Liberty in an Age of Classicism and Tyranny.Hans Baron - 1957 - Journal of Aesthetics and Art Criticism 15 (3):366-367.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  33.  70
    Between Atoms and Forms: Natural Philosophy and Metaphysics in Kenelm Digby.Han Thomas Adriaenssen & Sander de Boer - 2019 - Journal of the History of Philosophy 57 (1):57-80.
    although mostly known to specialists nowadays, Kenelm Digby was a remarkable figure on the intellectual scene of the early seventeenth century. He has been described as “one of the most influential natural philosophers” of his time,1 and corresponded with many of the great scholars of his days, including Descartes, and the French pioneer of atomism, Pierre Gassendi. In the later years of his life, Digby, alongside men like Robert Boyle, became one of the founding members of the Royal Society.2Digby authored (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  34.  10
    From Locke to Saussure: Essays on the Study of Language and Intellectual History.Hans Aarsleff - 1982
  35.  13
    Work on Myth.Hans Blumenberg - 1985 - MIT Press. Edited by Thomas McCarthy.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   31 citations  
  36.  11
    Hans Christian Anderson - the journey of his life.Hans Christian Anderson - 1994 - Bulletin of the John Rylands Library 76 (3):127-144.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  37. Peter Auriol on the Intuitive Cognition of Nonexistents. Revisiting the Charge of Skepticism in Walter Chatton and Adam Wodeham.Han Thomas Adriaenssen - 2017 - Oxford Studies in Medieval Philosophy 5 (1):151-180.
    This paper looks at the critical reception of two central claims of Peter Auriol’s theory of cognition: the claim that the objects of cognition have an apparent or objective being that resists reduction to the real being of objects, and the claim that there may be natural intuitive cognitions of nonexistent objects. These claims earned Auriol the criticism of his fellow Franciscans, Walter Chatton and Adam Wodeham. According to them, the theory of apparent being was what had led Auriol to (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  38.  8
    Die Legitimität der Neuzeit.Hans Blumenberg - 1988
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   27 citations  
  39. Seeing Zumthor--Images by Hans Danuser: Reflections on Architecture and Photography.Hans Danuser - 2009 - Scheidegger & Spiess.
     
    Export citation  
     
    Bookmark  
  40.  8
    Logik und Semiotik in der Philosophie von Leibniz.Hans Burkhardt - 1980 - München: Philosophia Verlag.
  41.  11
    Paradigms for a Metaphorology.Hans Blumenberg - 2010 - Ithaca, USA: Cornell University Press.
    What role do metaphors play in philosophical language? Are they impediments to clear thinking that should be eradicated in the interests of terminological exactness? Or can they be used by philosophers to indicate the attitudes that regulate an epoch?
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  42.  7
    The B∗ tree search algorithm: A best-first proof procedure.Hans Berliner - 1979 - Artificial Intelligence 12 (1):23-40.
  43.  64
    Lebenszeit und Weltzeit.Hans Blumenberg - 1987 - Journal of Philosophy 84 (9):516-519.
  44.  36
    Theophrastus against the Presocratics and Plato: peripatetic dialectic in the De sensibus.Han Baltussen - 2000 - Boston: Brill.
    This study offers a new and stimulating interpretation of Theophrastus' "De sensibus, a treatise unique in content and method, as it reports and criticizes the ...
    Direct download  
     
    Export citation  
     
    Bookmark   11 citations  
  45. A Democratic Theory of Life.Hans Asenbaum, Reece Chenault, Christopher Harris, Akram Hassan, Curtis Hierro, Stephen Houldsworth, Brandon Mack, Shauntrice Martin, Chivona Newsome, Kayla Reed, Tony Rice, Shevone Torres & I. I. Terry J. Wilson - 2023 - Theoria: A Journal of Social and Political Theory 70 (176):1-33.
    In response to its current crisis, scholars call for the revitalisation of democracy through democratic innovations. While they make ample use of life metaphors describing democracy as a living organism, no comprehensive understanding of ‘life’ has been established within democratic theory. The Black Lives Matter (BLM) movement articulates the urgency of refocusing on life and its meaning through radical democratic practice. This article employs a grounded theory approach, enriched with participatory methods, to develop a radical democratic concept of life in (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  46.  20
    The race model inequality: Interpreting a geometric measure of the amount of violation.Hans Colonius & Adele Diederich - 2006 - Psychological Review 113 (1):148-154.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  47. Thomas White on Location and the Ontological Status of Accidents.Han Thomas Adriaenssen - 2021 - Oxford Studies in Early Modern Philosophy 10:1-35.
    The work of Thomas White represents a systematic attempt to combine the best of the new science of the seventeenth century with the best of Aristotelian tradition. This attempt earned him the criticism of Hobbes and the praise of Leibniz, but today, most of his attempts to navigate between traditions remain to be explored in detail. This paper does so for his ontology of accidents. It argues that his criticism of accidents in the category of location as entities over and (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  48.  3
    Theophrastus Against the Presocratics and Plato: Peripatetic Dialectic in the De Sensibus.Han Baltussen - 2000 - Leiden: Brill.
    First analysis of the whole treatise On the sense by Theophrastus in the English language. Uses Aristotle's dialectic in its applied sense as analytical and heuristic tool to characterise the argumentative and polemical strategy on the Presocratic and Platonic views on perception and cognition.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   10 citations  
  49. Logik und Semiotik in der Philosophie von Leibniz.Hans Burkhardt - 1980 - Revue Philosophique de la France Et de l'Etranger 173 (1):102-106.
     
    Export citation  
     
    Bookmark   10 citations  
  50. Part/whole I: history.Hans Burkhardt & Carlos A. Dufour - 1991 - In Hans Burkhardt & Barry Smith (eds.), Handbook of metaphysics and ontology. Munich: Philosophia Verlag. pp. 2--663.
    No categories
     
    Export citation  
     
    Bookmark   10 citations  
1 — 50 / 1000