Results for 'Morten Heine Sørensen'

1000+ found
Order:
  1.  62
    Lectures on the Curry-Howard isomorphism.Morten Heine Sørensen - 2007 - Boston: Elsevier. Edited by Paweł Urzyczyn.
    The Curry-Howard isomorphism states an amazing correspondence between systems of formal logic as encountered in proof theory and computational calculi as found in type theory. For instance, minimal propositional logic corresponds to simply typed lambda-calculus, first-order logic corresponds to dependent types, second-order logic corresponds to polymorphic types, sequent calculus is related to explicit substitution, etc. The isomorphism has many aspects, even at the syntactic level: formulas correspond to types, proofs correspond to terms, provability corresponds to inhabitation, proof normalization corresponds to (...)
    Direct download  
     
    Export citation  
     
    Bookmark   29 citations  
  2.  26
    Raymond Smullyan, A Beginner’s Further Guide to Mathematical Logic: World Scientific Publishing 2017, pp. 288; ISBN-10: 9814725722 £45.00, ISBN-13: 978-9814725729 £24.00, £13.49.Morten Heine Sørensen - 2019 - Studia Logica 107 (5):1079-1081.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3.  19
    Strong cut-elimination in sequent calculus using Klop's ι-translation and perpetual reductions.Heine Sørensen Morten & Urzyczyn Paweł - 2008 - Journal of Symbolic Logic 73 (3):919-932.
    There is a simple technique, due to Dragalin, for proving strong cut-elimination for intuitionistic sequent calculus, but the technique is constrained to certain choices of reduction rules, preventing equally natural alternatives. We consider such a natural, alternative set of reduction rules and show that the classical technique is inapplicable. Instead we develop another approach combining two of our favorite tools—Klop’s ι-translation and perpetual reductions. These tools are of independent interest and have proved useful in a variety of settings; it is (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  4. Seeing dark things: the philosophy of shadows.Roy A. Sorensen - 2008 - New York: Oxford University Press.
    The eclipse riddle -- Seeing surfaces -- The disappearing act -- Spinning shadows -- Berkeley's shadow -- Para-reflections -- Para-refractions : shadowgrams and the black drop -- Goethe's colored shadows -- Filtows -- Holes in the light -- Black and blue -- Seeing in black and white -- We see in the dark -- Hearing silence.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   77 citations  
  5. A brief history of the paradox: philosophy and the labyrinths of the mind.Roy A. Sorensen - 2003 - New York: Oxford University Press.
    Can God create a stone too heavy for him to lift? Can time have a beginning? Which came first, the chicken or the egg? Riddles, paradoxes, conundrums--for millennia the human mind has found such knotty logical problems both perplexing and irresistible. Now Roy Sorensen offers the first narrative history of paradoxes, a fascinating and eye-opening account that extends from the ancient Greeks, through the Middle Ages, the Enlightenment, and into the twentieth century. When Augustine asked what God was doing before (...)
    Direct download  
     
    Export citation  
     
    Bookmark   33 citations  
  6.  24
    Plato on Democracy and Political technē.Anders Dahl Sorensen - 2016 - Boston: Brill.
    In _Plato on Democracy and Political technē_ Anders Dahl Sørensen offers an in-depth investigation of Plato’s discussions of democracy’s ‘epistemic potential’, arguing that this question is far more central to his political thought than is usually assumed.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  7.  69
    Nothing: A Philosophical History.Roy A. Sorensen - 2021 - Oxford, England: Oxford University Press.
    An entertaining history of the idea of nothing - including absences, omissions, and shadows - from the Ancient Greeks through the 20th century How can nothing cause something? The absence of something might seem to indicate a null or a void, an emptiness as ineffectual as a shadow. In fact, 'nothing' is one of the most powerful ideas the human mind has ever conceived. This short and entertaining book by Roy Sorensen is a lively tour of the history and philosophy (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  8.  8
    Synchronicity as Transpersonal Modality: An Exploration of Jungian Spirituality in the Frame of Transrational Philosophy.Morten Frederiksen - 2016 - Wiesbaden: Imprint: Springer.
    Morten Frederiksen explores Carl Gustav Jung's elusive notion of synchronicity from a transrational perspective and relates synchronicity to the transpersonality of the "All-One". This is done by expanding the content and meaning of Wolfgang Dietrich's layers of Elicitive Conflict Mapping (ECM) through re-relating them to Ken Wilber's model of the structures of consciousness; with synchronicity as the literal connecting principle. The result, then, is an expanded notion of the transrational peace philosophy which includes Wilber's model of stages shorn of (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  9.  6
    Readings of Dōgen's "Treasury of the True Dharma Eye".Steven Heine - 2019 - Columbia University Press.
    The Treasury of the True Dharma Eye (Shōbōgenzō) is the masterwork of Dōgen (1200–1253), founder of the Sōtō Zen Buddhist sect in Kamakura-era Japan. It is one of the most important Zen Buddhist collections, composed during a period of remarkable religious diversity and experimentation. The text is complex and compelling, famed for its eloquent yet perplexing manner of expressing the core precepts of Zen teachings and practice. This book is a comprehensive introduction to this essential Zen text, offering a textual, (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  10.  9
    Zur Geschichte der Religion und Philosophie in Deutschland.Heinrich Heine - 1966 - (Frankfurt a M.,: Insel Verlag.
  11.  10
    Anvendt filosofi er interaktionel filosofi: positioner og perspektiver.Morten Ziethen (ed.) - 2017 - Aalborg: Aalborg Universitetsforlag.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  12.  10
    Blanket Consent and Trust in the Biobanking Context.Morten Ebbe Juul Nielsen & Nana Cecilie Halmsted Kongsholm - 2022 - Journal of Bioethical Inquiry 19 (4):1-11.
    Obtaining human genetic samples is vital for many biobank research purposes, yet, the ethics of obtainment seems to many fraught with difficulties. One key issue is consent: it is by many considered ethically vital that consent must be fully informed (at least ideally speaking) in order to be legitimate. In this paper, we argue for a more liberal approach to consent: a donor need not know all the specifics of future uses of the sample. We argue that blanket consent is (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  13. The weirdest people in the world?Joseph Henrich, Steven J. Heine & Ara Norenzayan - 2010 - Behavioral and Brain Sciences 33 (2-3):61-83.
    Behavioral scientists routinely publish broad claims about human psychology and behavior in the world's top journals based on samples drawn entirely from Western, Educated, Industrialized, Rich, and Democratic (WEIRD) societies. Researchers – often implicitly – assume that either there is little variation across human populations, or that these “standard subjects” are as representative of the species as any other population. Are these assumptions justified? Here, our review of the comparative database from across the behavioral sciences suggests both that there is (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   716 citations  
  14. Kant tell an a priori lie.Roy Sorensen - 2022 - In Laurence R. Horn (ed.), From lying to perjury: linguistic and legal perspective on lies and other falsehoods. Boston: De Gruyter Mouton.
    No categories
     
    Export citation  
     
    Bookmark   1 citation  
  15.  24
    A Conflict Between Representation and Neutrality.Morten Ebbe Juul Nielsen - 2010 - Philosophical Papers 39 (1):69-96.
    The nub of the following argument is that there is a conflict between the idea of (liberal) neutrality on the one hand, and an intuitively plausible idea of political representation on the other. The conflict arises when neutrality is seen as a condition for political legitimacy: neutralist political representation is only legitimate insofar as the representative does not advance political ideas based on conceptions of the good that are not endorsed by the whole of the (reasonable) polity. However, we often (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  16.  55
    Aesthetics in Feminist Perspective.Hilde S. Hein & Carolyn Korsmeyer (eds.) - 1993 - Indiana University Press.
    "A first-rate introduction to the field, accessible to scholars working from a variety of disciplinary and theoretical perspectives. Highly recommended... " —Choice "... offers both broad theoretical considerations and applications to specific art forms, diverse methodological perspectives, and healthy debate among the contributors.... [an] outstanding volume."—Philosophy and Literature "... this volume represents an eloquent and enlightened attempt to reconceptualize the field of aesthetic theory by encouraging its tendencies toward openness, self-reflexivity and plurality." —Discourse & Society "All of the authors challenge (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  17. Language as shaped by the brain.Morten H. Christiansen & Nick Chater - 2008 - Behavioral and Brain Sciences 31 (5):489-509.
    It is widely assumed that human learning and the structure of human languages are intimately related. This relationship is frequently suggested to derive from a language-specific biological endowment, which encodes universal, but communicatively arbitrary, principles of language structure (a Universal Grammar or UG). How might such a UG have evolved? We argue that UG could not have arisen either by biological adaptation or non-adaptationist genetic processes, resulting in a logical problem of language evolution. Specifically, as the processes of language change (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   145 citations  
  18.  66
    The Now-or-Never bottleneck: A fundamental constraint on language.Morten H. Christiansen & Nick Chater - 2016 - Behavioral and Brain Sciences 39:e62.
    Memory is fleeting. New material rapidly obliterates previous material. How, then, can the brain deal successfully with the continual deluge of linguistic input? We argue that, to deal with this “Now-or-Never” bottleneck, the brain must compress and recode linguistic input as rapidly as possible. This observation has strong implications for the nature of language processing: (1) the language system must “eagerly” recode and compress linguistic input; (2) as the bottleneck recurs at each new representational level, the language system must build (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   76 citations  
  19.  25
    Assisted Death, Dignity, and Respect for Humanity.Morten Dige - 2022 - Journal of Medicine and Philosophy 47 (6):701-710.
    Recent works on the concept of dignity have opened up the otherwise quite deadlocked debate about assisted death (AD). Rather than just reinforcing already fixed positions, it seems to me that these conceptions of dignity make room for a moderate and normatively richer position on the moral permissibility of AD. I do not think that we have seen the full potential of the said conceptions and interpretations. I try in this article to contribute my part. First, I briefly recapitulate some (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  20. Die technishe Bildung als Bestandteil der Allgemeinbildung.Christian Hein - 2011 - In Bernd Lederer (ed.), "Bildung": was sie war, ist, sein sollte: zur Bestimmung eines strittigen Begriffs. Baltmannsweiler: Schneider Verlag Hohengehren.
     
    Export citation  
     
    Bookmark  
  21.  3
    Retuning education: Bildung and exemplarity beyond the logic of progress.Morten Timmermann Korsgaard - 2024 - New York, NY: Routledge.
    This book responds to the need for new ways of defining the aims and forms of education, in an age that has seen the ideals of progress and growth lead the planet and its inhabitants to the brink of extinction. Arguing that contemporary ideas of performance and accountability counter 'the heart' of education, the book calls for a retuning of education that encourages the young generation to study objects and ideas for their own sake, rather than to appease established and (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  22. Comedic transubstantiation : the Hermesian paradox of being funny among stand-up comics in New York City.Morten Nielsen - 2024 - In Andreas Bandak & Daniel M. Knight (eds.), Porous Becomings: Anthropological Engagements with Michel Serres. Durham: Duke University Press.
    No categories
     
    Export citation  
     
    Bookmark  
  23. Can the Dead Speak? Moore's Paradox and Postmortem Messages.Roy Sorensen - 2007 - In Susana Nuccetelli & Gary Seay (eds.), Themes From G. E. Moore: New Essays in Epistemology and Ethics. Oxford University Press.
     
    Export citation  
     
    Bookmark   1 citation  
  24.  10
    Approaches to Chan, Sŏn, and Zen studies: Chinese Chan Buddhism and its spread throughout East Asia.Heine Welter (ed.) - 2022 - Albany: State University of New York Press.
    A comprehensive treatment of the shared traditions of Chan, Sŏn, and Zen in dynamic interaction across East Asia, acknowledging the changing and growing parameters of the field of Zen studies.
    Direct download  
     
    Export citation  
     
    Bookmark  
  25.  27
    Identity and Discrimination.Roy A. Sorensen - 1992 - Philosophical Quarterly 42 (166):95-98.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   41 citations  
  26.  37
    Implicit Statistical Learning: A Tale of Two Literatures.Morten H. Christiansen - 2019 - Topics in Cognitive Science 11 (3):468-481.
    In this review article, Christiansen provides a historical perspective on the two research traditions, implicit learning and statistical learning, thus nicely setting the scene for this special issue of Topics in Cognitive Science. In this “tale of two literatures”, he first traces the history of both literatures before sketching a framework that provides a basis for understanding implicit learning and statistical learning as a unified phenomenon.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   26 citations  
  27. Algorithms for Ethical Decision-Making in the Clinic: A Proof of Concept.Lukas J. Meier, Alice Hein, Klaus Diepold & Alena Buyx - 2022 - American Journal of Bioethics 22 (7):4-20.
    Machine intelligence already helps medical staff with a number of tasks. Ethical decision-making, however, has not been handed over to computers. In this proof-of-concept study, we show how an algorithm based on Beauchamp and Childress’ prima-facie principles could be employed to advise on a range of moral dilemma situations that occur in medical institutions. We explain why we chose fuzzy cognitive maps to set up the advisory system and how we utilized machine learning to train it. We report on the (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   22 citations  
  28.  19
    Four challenges to Confucian virtue ethics in technology.Morten Bay - 2021 - Journal of Information, Communication and Ethics in Society 19 (3):358-373.
    PurposeAs interest in technology ethics is increasing, so is the interest in bringing schools of ethics from non-Western philosophical traditions to the field, particularly when it comes to information and communication technology. In light of this development and recent publications that result from it, this paper aims to present responds critically to recent work on Confucian virtue ethics (CVE) and technology.Design/methodology/approachFour critiques are presented as theoretical challenges to CVE in technology, claiming that current literature insufficiently addresses: overall applicability, collective ethics (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  29. What Makes Epistemic Injustice an “Injustice”?Morten Fibieger Byskov - 2020 - Journal of Social Philosophy 52 (1):114-131.
  30.  48
    Vagueness: An Investigation into Natural Languages and the Sorites Paradox.Roy A. Sorensen - 1994 - Philosophy and Phenomenological Research 54 (2):483-486.
  31. Property, Justice and Global Society.Volker Heins - 2013 - In Burns Tony & Thompson Simon (eds.), Global Justice and the Politics of Recognition. Palgrave.
  32.  1
    Religion and Philosophy in Germany: A Fragment.Heinrich Heine & John Snodgrass - 2019 - Boston,: Wentworth Press.
    This work has been selected by scholars as being culturally important, and is part of the knowledge base of civilization as we know it. This work was reproduced from the original artifact, and remains as true to the original work as possible. Therefore, you will see the original copyright references, library stamps (as most of these works have been housed in our most important libraries around the world), and other notations in the work. This work is in the public domain (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  33.  7
    Når filosofi virker.Morten Paustian - 2012 - Aalborg: Aalborg Universitetsforlag.
    Om en pilgrimsvandring med fire utilpassede unge med anden etnisk baggrund hvor filosofien udgjorde rummet for samvær, udvikling og integration. Et integrationsprojekt der også er dokumenteret i tv-udsendelsen "Bossen og bøllerne".
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  34. Past minds : present historiography and cognitive science.Jesper Sorensen - 2011 - In Luther H. Martin & Jesper Sørensen (eds.), Past minds: studies in cognitive historiography. Oakville, CT: Equinox.
    No categories
     
    Export citation  
     
    Bookmark  
  35.  38
    Toward a Connectionist Model of Recursion in Human Linguistic Performance.Morten H. Christiansen & Nick Chater - 1999 - Cognitive Science 23 (2):157-205.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   65 citations  
  36.  59
    Anthropological Epochés: Phenomenology and the Ontological Turn.Morten Axel Pedersen - 2020 - Philosophy of the Social Sciences 50 (6):610-646.
    This article has two objectives. In the first part, I present a critical overview of the extensive anthropological literature that may be deemed “phenomenological.” Following this critique, which is built up around a classification into four different varieties of phenomenological anthropology, I discuss the relationship between phenomenological anthropology and the ontological turn (OT). Contrary to received wisdom within the anthropological discipline, I suggest that OT has several things in common with the phenomenological project. For the same reason, I argue, it (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  37. Unknowable Obligations.Roy Sorensen - 1995 - Utilitas 7 (2):247-271.
    You face two buttons. Pushing one will destroy Greensboro. Pushing the other will save it. There is no way for you to know which button saves and which destroys. What ought you to do? Answer: You ought to make the correct guess and push the button that saves Greensboro. Second question: Do you have an obligation to push the correct button?
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   24 citations  
  38.  12
    Thought Experiments.Roy A. Sorensen - 1992 - Oxford and New York: Oxford University Press USA.
    Can merely thinking about an imaginary situation provide evidence for how the world actually is--or how it ought to be? In this lively book, Roy A. Sorensen addresses this question with an analysis of a wide variety of thought experiments ranging from aesthetics to zoology. Presenting the first general theory of thought experiment, he sets it within an evolutionary framework and integrates recent advances in experimental psychology and the history of science, with special emphasis on Ernst Mach and Thomas Kuhn. (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  39.  2
    Heideggers testamente: filosofien, nazismen og de svarte heftene.Hein Berdinesen (ed.) - 2019 - Oslo: Dreyers Forlag.
    Martin Heidegger regnes som den mest innflytelsesrike filosofen i det 20. århundre. Det er også kjent at han hadde nazistiske sympatier og var medlem av NSDAP i perioden 1933-1945. Utgivelsen av Svarte hefter (Schwarze Hefte) - hans filosofiske dagbøker skrevet i perioden fra 1931-1975 - gir et mer detaljert bilde av Heideggers nazisme. Vi får en tydelig dokumentasjon ikke bare av hans dyrking av Hitler og nasjonalsosialismen, men også av et verdenssyn preget av antisemittisme. I heftene kan vi lese flere (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  40. Relationship/Participant Focus in Multimodal Market Communication.Morten Boeriis & Thomas Hestbæk Andersen - 2012 - Hermes 48:75-94.
    No categories
     
    Export citation  
     
    Bookmark  
  41.  3
    Kildefrisk liv.Morten Pontoppidan - 1924 - Kjøbenhavn [etc.] Gyldendal,: Nordisk forlag.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  42. Thomas Lodge's translation of Seneca's De beneficiis compared with Arthur Golding's version.Knud Sorensen - 1960 - [Copenhagen]: Gyldendal.
     
    Export citation  
     
    Bookmark  
  43.  11
    Filosofisk praksis – mellem tildragelse og livsførelse.Morten Ziethen - 2014 - Norsk Filosofisk Tidsskrift 49 (1):44-58.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  44.  68
    Principles behind definitions of diseases – a criticism of the principle of disease mechanism and the development of a pragmatic alternative.Morten Severinsen - 2001 - Theoretical Medicine and Bioethics 22 (4):319-336.
    Many philosophers and medical scientists assume thatdisease categories or entities used to classify concrete cases ofdisease, are often defined by disease mechanisms or causalprocesses. Others suggest that diseases should always be definedin this manner. This paper discusses these standpoints criticallyand concludes that they are untenable, not only when `diseasemechanism' refers to an objective mechanism, but also when`mechanism' refers to a pragmatically demarcated part of thetotal ``objective'' causal structure of diseases. As an alternativeto principles that use the concept of disease mechanism (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  45.  32
    More Than Words: The Role of Multiword Sequences in Language Learning and Use.Morten H. Christiansen & Inbal Arnon - 2017 - Topics in Cognitive Science 9 (3):542-551.
    The ability to convey our thoughts using an infinite number of linguistic expressions is one of the hallmarks of human language. Understanding the nature of the psychological mechanisms and representations that give rise to this unique productivity is a fundamental goal for the cognitive sciences. A long-standing hypothesis is that single words and rules form the basic building blocks of linguistic productivity, with multiword sequences being treated as units only in peripheral cases such as idioms. The new millennium, however, has (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  46.  25
    The "hsin-Ming" attributed to Niu-t'ou fa-Jung.Henrik H. Sorensen - 1986 - Journal of Chinese Philosophy 13 (1):101-119.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  47.  9
    The Problem of Objectivity in Gadamer's Hermeneutics in Light of McDowell's Empiricism.Morten S. Thaning - 2015 - Cham: Imprint: Springer.
    This book reassesses Gadamer's hermeneutics by bringing it into a dialogue with John McDowell's minimal empiricism. It employs the resources of McDowell's minimal empiricism to address the transcendental and ontological presuppositions for objective experience and understanding, while retaining Gadamer's emphasis on the historicity of understanding. By means of the dialogue with McDowell, the book develops a hermeneutical conception of objectivity and perceptual experience, which also entails reinterpretations of Gadamer's notions of tradition, practical wisdom and meaning. The book explores the philosophical (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  48.  74
    Women and Employee-Elected Board Members, and Their Contributions to Board Control Tasks.Morten Huse, Sabina Tacheva Nielsen & Inger Marie Hagen - 2009 - Journal of Business Ethics 89 (4):581-597.
    We present results from a study about women and employee-elected board members, and fill some of the gaps in the literature about their contribution to board effectiveness. The empirical data are from a unique data set of Norwegian firms. Board effectiveness is evaluated in relation to board control tasks, including board corporate social responsibility (CSR) involvement. We found that the contributions of women and employee-elected board members varied depending on the board tasks studied. In the article we also explored the (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   24 citations  
  49.  78
    Towards a functional neuroanatomy of pleasure and happiness.Morten L. Kringelbach & Kent C. Berridge - 2009 - Trends in Cognitive Sciences 13 (11):479-487.
  50.  72
    The Affective Core of Emotion: Linking Pleasure, Subjective Well-Being, and Optimal Metastability in the Brain.Morten L. Kringelbach & Kent C. Berridge - 2017 - Emotion Review 9 (3):191-199.
    Arguably, emotion is always valenced—either pleasant or unpleasant—and dependent on the pleasure system. This system serves adaptive evolutionary functions; relying on separable wanting, liking, and learning neural mechanisms mediated by mesocorticolimbic networks driving pleasure cycles with appetitive, consummatory, and satiation phases. Liking is generated in a small set of discrete hedonic hotspots and coldspots, while wanting is linked to dopamine and to larger distributed brain networks. Breakdown of the pleasure system can lead to anhedonia and other features of affective disorders. (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   16 citations  
1 — 50 / 1000