Results for 'Sebastián Cova'

1000+ found
Order:
  1.  15
    Negative Anthropologie Bei Plessner Und Adorno: Theoretische Grundlagen – Geschichtsphilosophie – Moderne-Kritik.Sebastian Edinger - 2022 - Boston: De Gruyter.
    Kritische Theorie und Philosophische Anthropologie gelten noch immer als grundsätzlich einander widerstreitende Strömungen. Die Philosophien Helmuth Plessners und Theodor W. Adornos jedoch lassen sich, so die These dieses Buches, unter dem Namen der negativen Anthropologie zusammenführen. Edinger begreift negative Anthropologie im systematischen Sinn als strukturell negativ verfasstes Konzept, um elementare und exklusive Gemeinsamkeiten zwischen Adorno und Plessner sichtbar zu machen. Neben den grundsätzlichen Überlegungen, u.a. zum Konzept der Anthropologie bei Sonnemann und Gehlen, widmet sich der Autor auch beispielhaft den Motiven (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  2. [deleted]De gustibus est disputandum: An empirical investigation of the folk concept of aesthetic taste.Bonard Constant Charles, Florian Cova & Steve Humbert-Droz - 2022 - In Jeremy Wyatt, Julia Zakkou & Dan Zeman (eds.), Perspectives on Taste: Aesthetics, Language, Metaphysics, and Experimental Philosophy. Routledge.
    Past research on folk aesthetics has suggested that most people are subjectivists when it comes to aesthetic judgment. However, most people also make a distinction between good and bad aesthetic taste. To understand the extent to which these two observations conflict with one another, we need a better understanding of people's everyday concept of aesthetic taste. In this paper, we present the results of a study in which participants drawn from a representative sample of the US population were asked whether (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3. Wie vernünftig sind Verschwörungstheoretiker? Corona und intellektuelles Vertrauen.Sebastian Schmidt - 2021 - In Romy Jaster & Geert Keil (eds.), Nachdenken über Corona. Stuttgart: Reclam. pp. 98-109.
    Sebastian Schmidt (Zürich) fragt in seinem Beitrag »Wie vernünftig sind Verschwörungstheoretiker?«, wie es um die Vernunft derjenigen steht, die einer Verschwörungstheorie über die Corona-Pandemie anhängen. Im Umgang mit Corona scheint sich zu bestätigen, was die Psychologie seit Jahrzehnten lehrt: Menschen unterliegen in ihrem Denken kognitiven Fehlern und Verzerrungen. Doch ist verschwörungstheoretisches Denken, das solche Fehler ebenfalls begeht, deshalb irrational? Schmidt warnt davor, einander zu leichtfertig als irrational zu betrachten, und verweist auf die wichtige Rolle, die intellektuelles Vertrauen in Wissensgemeinschaften spielt. (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  4. Education and Autonomy.Sebastian Rödl - 2016 - Journal of Philosophy of Education 50 (1):84-97.
    In his book The Formation of Reason (2011), David Bakhurst asserts that the end of education is autonomy, which he explains is the power to determine what to do.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   32 citations  
  5. Irrationality and the Philosophy of Psychoanalysis.Sebastian Gardner - 1993 - Cambridge University Press.
    In a reconstruction of the theories of Freud and Klein, Sebastian Gardner asks: what causes irrationality, what must the mind be like for it to be irrational, to what extent does irrationality involve self-awareness, and what is the point of irrationality? Arguing that psychoanalytic theory provides the most penetrating answers to these questions, he rejects the widespread view of the unconscious as a 'second mind', in favour of a view of it as a source of inherently irrational desires seeking expression (...)
  6. Teaching, Freedom and the Human Individual.Sebastian Rödl - 2020 - Journal of Philosophy of Education 54 (2):290-304.
    The essay represents teaching as the coming to be of the human individual. In order to do so, it reflects on the character of human life by which it is knowledge of itself. Being knowledge of itself, human life is self-determining or free. Therefore generality and particularity come together in the human being in a distinctive way: a human being is not an exemplar, instance or specimen of a species, nature or life-form. Rather, she is her own principle. This is (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  7.  8
    Das Politische in der Ontologie der Person: Helmuth Plessners Philosophische Anthropologie Im Verhältnis Zu den Substanzontologien von Aristoteles Und Edith Stein.Sebastian Edinger - 2017 - Boston: De Gruyter.
    Die Naturphilosophie und die Politische Philosophie werden gemeinhin als Disziplinen aufgefasst, die grundlegend verschiedene Problembereiche zum Gegenstand haben. Die Aporien zu überwinden, welche daraus resultieren, ist die Pointe von Plessners Philosophischer Anthropologie. In dieser Studie wird gezeigt, wie Plessner in der Aneignung elementarer Topoi der klassischen Ontologie eine strukturell neuartige "Ontologie des Organischen" entwickelt. Dieser von Plessner beiläufig verwendete Ausdruck wird in dieser Studie systematisch entwickelt. Was dabei elaboriert wird, ist eine komplexe naturphilosophische "Ontologie des Ausgleichs". In dieser Ontologie des (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  8. Freedom as right.Sebastian Rödl - 2021 - European Journal of Philosophy 29 (3):624-633.
    European Journal of Philosophy, Volume 29, Issue 3, Page 624-633, September 2021.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  9.  36
    Revolutionary Expressivism.Michael Ridge Sebastian Köhler - 2013 - Ratio 26 (4):428-449.
    While the meta‐ethical error theory has been of philosophical interest for some time now, only recently a debate has emerged about the question what is to be done if the error theory turns out to be true. This paper argues for a novel answer to this question, namely revolutionary expressivism: if the error theory is true, we should become expressivists. Additionally, the paper explores certain important but largely ignored methodological issues that arise for reforming definitions generally and with a vengeance (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  10. The force and the content of judgment.Sebastian Rödl - 2020 - European Journal of Philosophy 28 (2):506-517.
    European Journal of Philosophy, EarlyView.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  11.  17
    Measuring Absolute Velocity.Sebastián Murgueitio Ramírez & Ben Middleton - 2021 - Australasian Journal of Philosophy 99 (4):806-816.
    ABSTRACT We argue that Roberts’s argument for the thesis that absolute velocity is not measurable in a Newtonian world is unsound, because it depends on an analysis of measurement that is not extensionally adequate. We propose an alternative analysis of measurement, one that is extensionally adequate and entails that absolute velocity is measured in at least one Newtonian world. If our analysis is correct, then this Newtonian world is a counterexample to the widely endorsed thesis that if a property varies (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  12.  84
    Acting from knowledge.Sebastian Rödl - forthcoming - European Journal of Philosophy.
    This essay explores the idea of acting from knowledge. This idea is a thought of ourselves: the distinctive way in which we act, in which we live, resides in this, that our actions, our life, may rest on knowledge. Yet the idea of action resting on knowledge is puzzling, even mysterious. The difficulty springs from the character of judgment that is knowledge: its objectivity. The objectivity of a judgment is a character of its validity: it is objectively valid. Yet it (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  13.  16
    Spinoza on the Essences of Singular Things.Sebastian Bender - 2022 - Ergo: An Open Access Journal of Philosophy 9.
    Essences play a central role in Spinoza’s philosophy, not only in his metaphysics, but also in his philosophy of mind, his theory of affects, and his political philosophy. Despite their importance, however, it is surprisingly difficult to determine what exactly essences are for Spinoza. On a widespread reading, the essence of X is nothing but the concept of X. This paper argues against this identification of essences and concepts. Spinozistic concepts are maximally inclusive: the concept of X contains everything that (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  14.  30
    A Structuralist Framework for the Logic of Theory Change.Sebastian Enqvist - 2011 - In Erik J. Olson Sebastian Enqvist (ed.), Belief Revision meets Philosophy of Science. Springer. pp. 105--135.
    Belief revision theory and philosophy of science both aspire to shed light on the dynamics of knowledge – on how our view of the world changes in the light of new evidence. Yet these two areas of research have long seemed strangely detached from each other, as witnessed by the small number of cross-references and researchers working in both domains. One may speculate as to what has brought about this surprising, and perhaps unfortunate, state of affairs. One factor may be (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  15. Good, Evil, and the Necessity of an Act.Sebastian Rödl - 2018 - Ethical Theory and Moral Practice 21 (1):91-102.
    Kant asserts that the formula of the schools “nihil appetimus, nisi sub ratione boni” is undoubtedly certain when clearly expressed. Conversely, doubt reflects a failure clearly to express it. Once we comprehend the concepts of the formula, of the good and of desire, there is no doubting it. In recent times, the formula has fallen into doubt. If Kant is right, then this shows a lack of clarity with respect to the concepts the formula conjoins. I want to suggest that (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  16. The Importance and Relevance of Hegel’s Philosophy of Nature.Sebastian Rand - 2007 - Review of Metaphysics 61 (2):379-400.
    Georg Wilhelm Friedrich Hegel's 'Philosophy of Nature' has often been accused of promoting a view of nature fundamentally at odds with the modern scientific understanding of nature. I show this accusation to be false by pointing to two aspects of Hegel's treatment of nature: its rejection of the 'a priori/a posteriori' distinction, and its connection to Hegel's conception of autonomy as freedom from givenness. I give a reading of Hegel's treatment of the laws of motion along these lines, and I (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  17.  22
    ‘Forget me ?’ – Remembering Forget-Items Versus Un-Cued Items in Directed Forgetting.Bastian Zwissler, Sebastian Schindler, Helena Fischer, Christian Plewnia & Johanna M. Kissler - 2015 - Frontiers in Psychology 6.
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  18.  28
    A New Game Equivalence, its Logic and Algebra.Sebastian Enqvist, Nick Bezhanishvili & Johan Benthem - 2019 - Journal of Philosophical Logic 48 (4):649-684.
    We present a new notion of game equivalence that captures basic powers of interacting players. We provide a representation theorem, a complete logic, and a new game algebra for basic powers. In doing so, we establish connections with imperfect information games and epistemic logic. We also identify some new open problems concerning logic and games.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  19.  21
    A Propositional Dynamic Logic for Instantial Neighborhood Semantics.Sebastian Enqvist, Nick Bezhanishvili & Johan Benthem - 2019 - Studia Logica 107 (4):719-751.
    We propose a new perspective on logics of computation by combining instantial neighborhood logic INL\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathsf {INL}$$\end{document} with bisimulation safe operations adapted from PDL\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathsf {PDL}$$\end{document}. INL\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathsf {INL}$$\end{document} is a recent modal logic, based on an extended neighborhood semantics which permits quantification over individual neighborhoods plus their contents. This system has a natural interpretation as a (...)
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  20. Joint action and recursive consciousness of consciousness.Sebastian Rödl - 2015 - Phenomenology and the Cognitive Sciences 14 (4):769-779.
    In a series of essays, Bratman defines a concept, which we may call the concept of Bratmanian action by many. Our discussion of this concept, in section 1, reveals that it is not the one called to mind by the usual examples of joint action. Section 2 lays alongside it a different concept of doing something together. According to it, many are doing A together if and only if the principle of the actions in which they are doing A is (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  21.  22
    Inductive theorem proving based on tree grammars.Sebastian Eberhard & Stefan Hetzl - 2015 - Annals of Pure and Applied Logic 166 (6):665-700.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  22.  5
    Fixing Technology with Society: The Coproduction of Democratic Deficits and Responsible Innovation at the OECD and the European Commission.Sebastian Pfotenhauer, Tess Doezema & Nina Frahm - 2022 - Science, Technology, and Human Values 47 (1):174-216.
    Long presented as a universal policy-recipe for social prosperity and economic growth, the promise of innovation seems to be increasingly in question, giving way to a new vision of progress in which society is advanced as a central enabler of technoeconomic development. Frameworks such as “Responsible” or “Mission-oriented” Innovation, for example, have become commonplace parlance and practice in the governance of the innovation–society nexus. In this paper, we study the dynamics by which this “social fix” to technoscience has gained legitimacy (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  23. Logical Form as a Relation to the Object.Sebastian Rödl - 2006 - Philosophical Topics 34 (1-2):345-369.
  24.  88
    Interrogative Belief Revision in Modal Logic.Sebastian Enqvist - 2009 - Journal of Philosophical Logic 38 (5):527-548.
    The well known AGM framework for belief revision has recently been extended to include a model of the research agenda of the agent, i.e. a set of questions to which the agent wishes to find answers (Olsson & Westlund in Erkenntnis , 65 , 165–183, 2006 ). The resulting model has later come to be called interrogative belief revision . While belief revision has been studied extensively from the point of view of modal logic, so far interrogative belief revision has (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  25. Moment characterization of higher-order risk preferences.Sebastian Ebert - 2013 - Theory and Decision 74 (2):267-284.
    This article presents a characterization of higher-order risk preferences such as prudence or temperance in terms of statistical moments. Our results, which are generalizations of Roger :27–44, 2011) and Ekern, 329–333, 1980), give a better understanding of how higher-order risk preferences relate to skewness preference and kurtosis aversion. While they are not based on expected utility theory, an implication within that theory is that all commonly used utility functions exhibit skewness preference and kurtosis aversion.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  26. Das Leben.Sebastian Rödl - 2023 - Deutsche Zeitschrift für Philosophie 71 (4):469-489.
    Life and “good” are interchangeable, I think. Life is good, goodness life. Michael Thompson has recovered the understanding of life as goodness for contemporary philosophy. However, he errs in thinking that our life, human life, is a certain kind of life. And so he errs in conceiving the idea of the good by which we live as that of a certain kind of life. The idea of the good by which we live is not an idea, but the idea. This (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  27.  25
    Why law is law.Sebastian Baldinger - 2019 - Jurisprudence 10 (2):222-228.
    Volume 10, Issue 2, June 2019, Page 222-228.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  28.  78
    Logical Form as a Relation to the Object.Sebastian Rödl - 2006 - Philosophical Topics 34 (1-2):345-369.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  29.  3
    La transformation de la violence en Colombie.Sebastián Ronderos - 2021 - Multitudes 81 (4):254-259.
    La paix entre l’État et les FARC en 2016 a fortement limité le nombre de victimes de violences mais ces dernières risquent de repartir de plus belle. La moitié des guérilleros ont été désarmés par l’ONU, ce qui laisse le pays sans encadrement territorial pour s’opposer au narcotrafic. Les anciens FARC sont assassinés par de nouvelles structures criminelles en train d’occuper le terrain.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  30. Metaphysics, Thinking, and Being.Sebastian Rödl - 2020 - In Dominik Finkelde & Paul M. Livingston (eds.), Idealism, Relativism, and Realism: New Essays on Objectivity Beyond the Analytic-Continental Divide. Berlin/Boston: De Gruyter. pp. 17-34.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  31. Reflection and Rationality in Leibniz.Sebastian Bender - 2016 - In Jari Kaukua & Tomas Ekenberg (eds.), Subjectivity and Selfhood in Medieval and Early Modern Philosophy. Cham: Springer. pp. 263-275.
    Leibniz repeatedly states that there is a very close connection between reflection and rationality. In his view, reflective acts somehow lead to self-consciousness, reason, the knowledge of necessary truths, and even to the moral liability of the respective substances. Whereas it might be relatively easy to see how reflective acts lead to self-consciousness, it is much harder to understand how they are connected to rationality. Why should a substance which is able to produce reflective acts therefore be rational? How can (...)
     
    Export citation  
     
    Bookmark   2 citations  
  32.  6
    Vorwort.Sebastian Bender - 2016 - In Leibniz’ Metaphysik der Modalität. Berlin & Boston: De Gruyter.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  33. Organism, normativity, plasticity: Canguilhem, Kant, Malabou.Sebastian Rand - 2011 - Continental Philosophy Review 44 (4):341-357.
    Some of Catherine Malabou’s recent work has developed her conception of plasticity (originally deployed in a reading of Hegelian Aufhebung ) in relation to neuroscience. This development clarifies and advances her attempt to bring contemporary theory into dialogue with the natural sciences, while indirectly indicating her engagement with the French tradition in philosophy of science and philosophy of medicine, especially the work of Georges Canguilhem. I argue that we can see her development of plasticity as an answer to some specific (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  34. Philosophy and Its History.Sebastian Rödl - 2023 - In Jure Simoniti & Gregor Kroupa (eds.), Ideas and Idealism in Philosophy. Boston: De Gruyter. pp. 193-208.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  35.  9
    Are gifted adolescents more satisfied with their lives than their non-gifted peers?Sebastian Bergold, Linda Wirthwein, Detlef H. Rost & Ricarda Steinmayr - 2015 - Frontiers in Psychology 6.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  36. Brandom's Theory of the Mind.Sebastian Rödl - 2010 - In Bernhard Weiss & Jeremy Wanderer (eds.), Reading Brandom: on making it explicit. New York: Routledge. pp. 63.
  37.  14
    Hinzutreten, Verwandeltsein, Anderssein.Sebastian Edinger - 2023 - Deutsche Zeitschrift für Philosophie 71 (4):542-553.
    Transformative theories of what distinguishes human beings from animals face the problem of conceptually managing the transition from animal to human. This paper will show that this transition contains logical problems that are more rhetorically glossed over than logically solved by the concept of second nature. In the first part, I develop two main concepts of transformative theories, namely that of Hinzutreten (additive capacities occurring in humans) and that of Verwandeltsein (humans already being of a different kind), before outlining in (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  38.  69
    Hermeneutics and Truth: From Alētheia to Attestation.Sebastian Purcell - 2013 - Études Ricoeuriennes / Ricoeur Studies 4 (1):140-158.
    This essay aims to correct a prevalent misconception about Paul Ricoeur’s hermeneutics, which understands it to support a conception of human understanding as finite as Heidegger did, but in a more “conceptuallyconservative” way. The result is that Ricoeur’s work is viewed as incapable of addressing the most pressingproblems in contemporary Continental metaphysics. In response, it is argued that Ricoeur is in fact the firstto develop an infinite hermeneutics, which departs significantly from Heideggerian finitude. This positionis demonstrated by tracing the itinerary (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  39.  27
    Contraction in Interrogative Belief Revision.Sebastian Enqvist - 2010 - Erkenntnis 72 (3):315 - 335.
    In the paper "On the role of the research agenda in epistemic change", Olsson and Westlund have suggested that the notion of epistemic state employed in the standard framework of belief revision (Alchourrón et al. 1985; Gärdenfors 1988) should be extended to include a representation of the agent's research agenda (Olsson and Westlund 2006). The resulting framework will here be referred to as interrogative belief revision. In this paper, I attempt to deal with the problem of how research agendas should (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  40.  56
    Is Leibniz's Principle of the Identity of Indiscernibles Necessary or Contingent?Sebastian Bender - 2019 - Philosophers' Imprint 19.
    The Principle of the Identity of Indiscernibles —the principle that no two numerically distinct things are perfectly similar—features prominently in Leibniz’s metaphysics. Despite its centrality to his philosophical system, it is surprisingly difficult to determine what modal status Leibniz ascribes to the PII. On many occasions Leibniz appears to endorse the necessity of the PII. There are a number of passages,however, where Leibniz seems to imply that numerically distinct indiscernibles are possible, which suggests that he subscribes to a merely contingent (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  41.  17
    Losses tune differently than gains: how gains and losses shape attentional scope and influence goal pursuit.Sebastian Sadowski, Bob M. Fennis & Koert van Ittersum - 2020 - Cognition and Emotion 34 (7):1439-1456.
    Research on the asymmetric effect of negative versus positive affective states on scope of attention, both at a perceptual and a conceptual level, is abundant. However,...
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  42.  71
    Interrogative Belief Revision Based on Epistemic Strategies.Sebastian Enqvist - 2012 - Studia Logica 100 (3):453-479.
    I develop a dynamic logic for reasoning about "interrogative belief revision", a new branch of belief revision theory that has been developed in a small number of papers, beginning with E. J. Olsson and D. Westlund's paper "On the role of the research agenda in epistemic change" [12]. In interrogative belief revision, epistemic states are taken to include a research agenda, consisting of questions the agent seeks to answer. I present a logic for revision of such epistemic states based on (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  43.  9
    La adaptación y reestructuración orgánica de la Armada.Sebastián Zaragoza Soto - 2002 - Arbor 173 (682):263-279.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  44.  7
    La Armada y la Administración Marítima.Sebastián Zaragoza Soto - 2002 - Arbor 173 (682):337-347.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  45.  13
    Expressiveness of the modal mu-calculus on monotone neighborhood structures.Sebastian Enqvist, Fatemeh Seifan & Yde Venema - unknown
    We characterize the expressive power of the modal mu-calculus on monotone neighborhood structures, in the style of the Janin-Walukiewicz theorem for the standard modal mu-calculus. For this purpose we consider a monadic second-order logic for monotone neighborhood structures. Our main result shows that the monotone modal mu-calculus corresponds exactly to the fragment of this second-order language that is invariant for neighborhood bisimulations.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  46.  3
    9. Anerkennen als Erfahrungsprozess IV: Rekonstruktion, Reflexion, Selbstbestimmung.Sebastian Bandelin - 2015 - In 3. Anerkennen als Erfahrungsprozess I: Überlegungen zur Ideologiekritik. Transcript Verlag. pp. 297-330.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  47.  27
    Completeness for μ-calculi: A coalgebraic approach.Sebastian Enqvist, Fatemeh Seifan & Yde Venema - 2019 - Annals of Pure and Applied Logic 170 (5):578-641.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  48.  3
    Prawo w etosie Starego i Nowego Testamentu.Sebastian Duda - 1996 - Etyka 29:137-151.
    The article talks of an evolution of a Biblical notion of Law. The author shows the way, the meaning of the Hebrew term “Torah” was transformed throughout the Pentateuch, in the prophetic tradition and in the wisdom books. He puts into analysis the relationship between the Judaism as a religious formation and the Law as a code. The Law included basic regulations to the moral, religious and political life of Israel.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  49.  27
    A feasible theory of truth over combinatory algebra.Sebastian Eberhard - 2014 - Annals of Pure and Applied Logic 165 (5):1009-1033.
    We define an applicative theory of truth TPTTPT which proves totality exactly for the polynomial time computable functions. TPTTPT has natural and simple axioms since nearly all its truth axioms are standard for truth theories over an applicative framework. The only exception is the axiom dealing with the word predicate. The truth predicate can only reflect elementhood in the words for terms that have smaller length than a given word. This makes it possible to achieve the very low proof-theoretic strength. (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  50.  5
    Weak Theories of Truth and Explicit Mathematics.Sebastian Eberhard & Thomas Strahm - 2012 - In Ulrich Berger, Hannes Diener, Peter Schuster & Monika Seisenberger (eds.), Logic, Construction, Computation. De Gruyter. pp. 157-184.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000