Results for 'Stal O. Aanderaa'

(not author) ( search as author name )
999 found
Order:
  1. Linear sampling and the ∀∃∀ case of the decision problem.Stal O. Aanderaa & Harry R. Lewis - 1974 - Journal of Symbolic Logic 39 (3):519-548.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  2.  74
    Conservative reduction classes of Krom formulas.Stål O. Aanderaa, Egon Börger & Harry R. Lewis - 1982 - Journal of Symbolic Logic 47 (1):110-130.
    A Krom formula of pure quantification theory is a formula in conjunctive normal form such that each conjunct is a disjunction of at most two atomic formulas or negations of atomic formulas. Every class of Krom formulas that is determined by the form of their quantifier prefixes and which is known to have an unsolvable decision problem for satisfiability is here shown to be a conservative reduction class. Therefore both the general satisfiability problem, and the problem of satisfiability in finite (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  3.  51
    Prefix classes of Krom formulas.Stål O. Aanderaa & Harry R. Lewis - 1973 - Journal of Symbolic Logic 38 (4):628-642.
  4. The finite controllability of the Maslov case.Stål Aanderaa & Warren D. Goldfarb - 1974 - Journal of Symbolic Logic 39 (3):509-518.
  5.  55
    Decision problems for tag systems.Stål Aanderaa & Dag Belsnes - 1971 - Journal of Symbolic Logic 36 (2):229-239.
  6.  3
    Burton Dreben and Stål Aanderaa. Herbrand analyzing functions. Bulletin of the American Mathematical Society, vol. 70 , pp. 697–698. [REVIEW]Peter Andrews - 1968 - Journal of Symbolic Logic 32 (4):521.
  7. Review: Burton Dreben, Stal Aanderaa, Herbrand Analyzing Functions. [REVIEW]Peter Andrews - 1967 - Journal of Symbolic Logic 32 (4):521-521.
     
    Export citation  
     
    Bookmark  
  8.  19
    Patrick C. Fischer. On formalisms for Turing machines. Journal of the Association for Computing Machinery, vol. 12 , pp. 570–580. - Stål Aanderaa and Patrick C. Fischer. The solvability of the halting problem for 2-state Post machines. Journal of the Association for Computing Machinery, vol. 14 , pp. 677–682. - Patrick C. Fischer. Quantificational variants on the halting problem for Turing machines. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 15 , pp. 211–218. [REVIEW]Gabor T. Herman - 1971 - Journal of Symbolic Logic 36 (3):532-534.
  9.  8
    Burton Dreben, Peter Andrews, and Stål Aanderaa. False lemmas in Herbrand. Bulletin of the American Mathematical Society, vol. 69 , pp. 699–706. [REVIEW]Paul Bernays - 1966 - Journal of Symbolic Logic 31 (4):657-659.
  10.  4
    Review: Burton Dreben, Peter Andrews, Stal Aanderaa, False Lemmas in Herbrand. [REVIEW]Paul Bernays - 1966 - Journal of Symbolic Logic 31 (4):657-659.
  11.  9
    O pewnych zasadniczych twierdzeniach dotyczących podstaw matematyki i wnioskach z nich płynących.Kurt Gödel - 2018 - Studia Semiotyczne 32 (2):9-32.
    Badania nad podstawami matematyki przyniosły w ostatnich dziesięcioleciach wyniki, które wydają mi się ciekawe nie tylko dla nich samych, lecz także z uwagi na wnioski, jakie płyną z nich w odniesieniu do tradycyjnych problemów filozoficznych dotyczących natury matematyki. Same wyniki są dość szeroko znane, mimo to jednak sądzę, że warto raz jeszcze przedstawić je w zarysie, zwłaszcza w obliczu faktu, że dzięki pracy szeregu matematyków zyskały one znacznie doskonalszą formę, niż miały pierwotnie. Największy postęp, mający decydujące znaczenie dla tych wyników, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  12.  19
    On Human Nature.Edward O. Wilson - 1978 - Harvard University Press.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   511 citations  
  13.  10
    Metafizicheskiĭ smysl tvorchestva: monografii︠a︡.O. A. Zarubina - 2004 - Cheli︠a︡binsk: I︠U︡zhno-Uralʹskiĭ gos. universitet.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  14.  7
    La philosophie de Sartre: essai d'analyse critique.Isabelle Stal - 2006 - Paris: Presses universitaires de France.
    Peut-on, comme l'a pensé Sartre, construire une philosophie concrète qui répudie les abstractions de la métaphysique en étendant la réduction phénoménologique au domaine entier de l'expérience humaine? Et peut-on fonder une telle démarche sur l'évidence de l'existence, promue au rang de certitude apodictique? Pour conduire cette enquête il a été nécessaire d'examiner la conscience, le monde, autrui, l'expérience morale et la vie politique, en suivant l'ordre d'apparition de ces thèmes dans l'œuvre philosophique sartrienne qui, depuis la Transcendance de l'ego jusqu'à (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  15. Soevereiniteit in het geding.O. K. Zijlstra - 1981 - In H. van Riessen & P. Blokhuis (eds.), Wetenschap, wijsheid, filosoferen: opstellen aangeboden aan Hendrik van Riessen bij zijn afscheid als hoogleraar in de wijsbegeerte aan de Vrije Universiteit te Amsterdam. Assen: Van Gorcum.
    No categories
     
    Export citation  
     
    Bookmark  
  16.  12
    Organizing Means–Ends Decoupling: Core–Compartment Separations in Fast Fashion.Hervé Corvellec & Herman I. Stål - 2022 - Business and Society 61 (4):857-885.
    Means–ends decoupling, the institutionally induced implementation of ineffective practices, has become increasingly common. Extant theory suggests that means–ends decoupling has real consequences, which makes it unstable and difficult for organizations to sustain. Yet little is known of how, and with what outcomes, firms organize such means–ends decoupling. We examine organizing via multiple qualitative and longitudinal case studies of how Swedish fast fashion retailers implement and manage the collection of used garments. We find that firms combine two organizational arrangements: structural and (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  17.  8
    Linguagem da filosofia e filosofia da linguagem: estudos sobre Wittgenstein.António Zilhão - 1993 - Lisboa: Edições Colibri.
    Esta dissertação encontra-se construída em torno de um núcleo central - a exposição, aná-lise e discussão do chamado 'Argumento da linguagem privada', de Wittengstein. A dinâmica própria da abordagem e discussão do tema leva necessariamente a percorrer o conjunto da obra de Wittengstein, o que motiva um notável aprofundamento do assunto e torna ainda mais aliciante este ensaio.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  18.  20
    Critical Reflections on Poetry and Painting (2 vols.): Translated with an Introduction and Notes by James O. Young and Margaret Cameron.James O. Young & Margaret Cameron (eds.) - 2021 - BRILL.
    This is the first modern, annotated and scholarly edition of Jean-Baptiste Du Bos’ _Critical Reflections on Poetry and Painting_, one of the seminal works of modern aesthetics in any language.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  19.  10
    The meaning of human existence.Edward O. Wilson - 2014 - New York: Liveright Publishing Corporation, a Division of W.W. Norton & Company.
    National Book Award Finalist. How did humanity originate and why does a species like ours exist on this planet? Do we have a special place, even a destiny in the universe? Where are we going, and perhaps, the most difficult question of all, "Why?" In The Meaning of Human Existence, his most philosophical work to date, Pulitzer Prize–winning biologist Edward O. Wilson grapples with these and other existential questions, examining what makes human beings supremely different from all other species. Searching (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  20.  5
    Yuhak ŭi chʻŏrhakchŏk munjedŭl.Chʻŏn-gŭn Yun - 1996 - Sŏul-si: Pŏbin Munhwasa.
    Direct download  
     
    Export citation  
     
    Bookmark  
  21.  18
    Formation of the "Self-Made-Man" Idea in the Context of the Christian Middle Ages.V. Y. Antonova & O. M. Korkh - 2021 - Anthropological Measurements of Philosophical Research 19:117-126.
    The purpose of this article is to analyze the variability of the "Self-made-man" idea in the context of the Christian Middle Ages in its primarily historical and philosophical presentation. Research is based on the historical and philosophical analysis of the medieval philosophy presented foremost by the works of Aurelius Augustine, P. Abelard, Thomas Aquinas, and also by the modern researches of this epoch. Theoretical basis. Historical, comparative, and hermeneutic methods became fundamental for this research. Originality. The conducted analysis allowed to (...)
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  22.  29
    Economic efficiency in law and economics.Richard O. Zerbe - 2001 - Northampton, MA: Edward Elgar.
    . History of the concept of economic efficiency . INTRODUCTION James Buchanan won the Nobel Prize by proving that the process by which elected officials ...
    Direct download  
     
    Export citation  
     
    Bookmark  
  23.  8
    Od przeszłości do teraźniejszości. O kryminałach Pawła Jaszczuka.Joanna Chłosta-Zielonka - 2023 - Acta Universitatis Lodziensis. Folia Litteraria Polonica 66 (1):271-287.
    Celem artykułu jest przedstawienie twórczości Pawła Jaszczuka, który dzięki swoim dokonaniom stał się reprezentatywny, zarówno dla literatury kryminalnej, jak i dla środowiska Warmii i Mazur. Od wielu lat pisze powieści kryminalne, przyczyniając się do rozwoju odmian gatunku, a jednocześnie korzystając z tej formy, porusza ważne współcześnie tematy. W jego utworach widać także przebieg pewnego procesu: rozpoczynając od narracji historycznej, w której ważne miejsce pełniła przeszłość, coraz częściej zabiera głos w sprawie teraźniejszości i jej wyznaczników: dominacji polityki w życiu, rozprzestrzeniania się (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  24.  2
    The Ups and Downs of Black and White: Do Sensorimotor Metaphors Reflect an Evolved Perceptual Interface?Tina O. Zhu, Peiyao Chen & Frank H. Durgin - 2024 - Metaphor and Symbol 39 (3):169-182.
    The Implicit Association Test (IAT) was used to measure population levels of conceptual alignment among two polar sensory metaphors and clusters of concepts to which they are commonly applied. A total of 873 participants were tested online, to compare within- and between-cluster alignments of concepts associated with two different polar sensory metaphors (up/down and black/white). IAT results were sensitive to semantic alignments that were also picked up by Latent Semantic Analysis (LSA) using a large-scale corpus of English. However, even with (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  25. Heredity" and "The Evolution of Ethics".Edward O. Wilson & Michael Ruse - 2013 - In Jeffrey Foss (ed.), Science and the World: Philosophical Approaches. Peterborough, CA: Broadview Press.
     
    Export citation  
     
    Bookmark  
  26. Heredity" and "The Evolution of Ethics".Edward O. Wilson & Michael Ruse - 2013 - In Jeffrey Foss (ed.), Science and the World: Philosophical Approaches. Peterborough, CA: Broadview Press.
     
    Export citation  
     
    Bookmark  
  27. Authenticity in performance.James O. Young - 2000 - In Berys Nigel Gaut & Dominic Lopes (eds.), The Routledge Companion to Aesthetics. Routledge.
     
    Export citation  
     
    Bookmark   4 citations  
  28.  16
    Vignette Selection for Ethical Reflections: A Selection Procedure for Vignettes to Investigate Staff Reflections on the Ethical Challenges in Interaction with People with Intellectual Disabilities.May Østby & Stål Bjørkly - 2011 - Ethics and Social Welfare 5 (3):277-295.
    Care staff in Norway usually work in the private homes of people with intellectual disabilities. Staff experience ethical challenges daily in their interactions with their clients. The aim of this paper is to introduce a vignette validation procedure for selection of practice-close vignettes that can be used to elicit and explore staff reflections on ethical challenges in their work. Staff participants were recruited from different municipalities in one county of Norway. To develop vignettes with good internal validity, the validation process (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  29.  18
    Anthropological Dimension of the Philosophical "Literature-Centric" Model of Ukrainian Romanticism.Z. O. Yankovska & L. V. Sorochuk - 2021 - Anthropological Measurements of Philosophical Research 19:127-137.
    Purpose. Romanticism as a movement developed in Germany, where, becoming the philosophy of time in the 18th-19th centuries, spread to all European countries. The "mobility" of the Romantic doctrine, its diversity, sometimes contradictory views, attitude to man as a free, harmonious, creative person led to the susceptibility of this movement by ethnic groups, different in nature and mentality. Its ideas found a wide response in Ukraine with its "cordocentric" type of culture in the early nineteenth century. Since the peculiarity of (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  30.  16
    Philosophical and sociocultural dimensions of personality psychological security.O. Y. Blynova, L. S. Holovkova & O. V. Sheviakov - 2018 - Anthropological Measurements of Philosophical Research 14:73-83.
    Purpose. The dynamics and pace of social and economic transformations that are characteristic of modern society, lead to an increase in tension and the destruction of habitual stereotypes – ideals, values, norms, patterns of behaviour that unite people. These moments encourage us to rethink the understanding of "security" essence, in particular, psychological, which emphasizes the urgency of its study in the philosophical and sociocultural coordinates. Theoretical basis of the research is based on the philosophical methodology of K. Jaspers, E. Fromm (...)
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  31.  19
    A History of Western Philosophy of Music.James O. Young - 2023 - New York, NY: Cambridge University Press.
    This book presents a comprehensive, accessible survey of Western philosophy of music from Pythagoras to the present. Its narrative traces themes and schools through history, in a sequence of five chapters that survey the ancient, medieval, early modern, modern and contemporary periods. Its wide-ranging coverage includes medieval Islamic thinkers, Continental and analytic thinkers, and neglected female thinkers such as Vernon Lee (Violet Paget). All aspects of the philosophy of music are discussed, including music and the cosmos, music's value, music's relation (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  32.  3
    Maengja ro Han'guk salligi: Han'gŭl Maengja.Sŭng-ch'ŏl Yi - 2001 - Sŏul: Chayu Mungo.
    Direct download  
     
    Export citation  
     
    Bookmark  
  33.  4
    I ttang esŏ uri chʻŏrhak hagi.Chʻŏn-gŭn Yun - 2001 - Sŏul-si: Yemun Sŏwŏn.
  34.  4
    Consilience: zhi shi da rong tong.Edward O. Wilson - 2001 - Taibei Shi: Tian xia yuan jian chu ban gu fen you xian gong si. Edited by Jinjun Liang.
    Direct download  
     
    Export citation  
     
    Bookmark  
  35.  4
    Hanʼguk yulli sasang: "Han" sasang ŭl chungsim ŭro.Kŭn-chʻŏl Yi (ed.) - 1997 - Sŏul Tʻŭkpyŏlsi: Pogyŏng Munhwasa.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  36.  18
    Assessment of the Quality of Life in Parents of Children With ADHD: Validation of the Multicultural Quality of Life Index in Norwegian Pediatric Mental Health Hettings.Ingunn Mundal, Petter Laake, Juan Mezzich, Stål K. Bjørkly & Mariela Loreto Lara-Cabrera - 2021 - Frontiers in Psychology 12.
    Background: The brief generic Multicultural Quality of Life Index is a culturally informed self-report 10-item questionnaire used to measure health-related quality of life. QoL is an important outcome measure in guiding healthcare and is held as a substantial parameter to evaluate the effectiveness of healthcare. Attention Deficit Hyperactivity Disorder in children might negatively influence the parents’ QoL. Having a validated questionnaire to measure QoL for this population will therefore be a vital first step in guiding healthcare for parents of children (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  37.  12
    On stage III and stage IV recovery of zinc after alpha-particle irradiation.J. Roggen, J. Cornelis, J. Nihottl & L. Stals - 1977 - Philosophical Magazine 35 (5):1205-1211.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  38.  22
    Verdien av IQ – en kommentar til «Bright newworld» av Ole Martin Moen.Kjetil K. Haugen, Knut P. Heen & Stål K. Bjørkly - 2017 - Norsk Filosofisk Tidsskrift 52 (4):180-186.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  39.  6
    Propositional Attitudes in Modern Philosophy.O. T. T. Walter - 2002 - Dialogue 41 (3):551-568.
    RÉSUMÉ: Les philosophes de la période moderne sont souvent présentés comme ayant commis une erreur élémentaire: celle de confondre la force propositionnelle avec le contenu propositionnel. Par l'examen de deux cas saillants, à savoir les philosophes de Port-Royal et John Locke, je montre que l'accusation n'est pas fondée, et que Locke en particulier a les ressources requises pour construire une théorie des attitudes propositionnelles.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  40.  4
    Dlaczego Tytus zachwyt w nas wzbudza? O głównych problemach współczesnej tytusologii.Marek Jeziński & Marcin Lisiecki - forthcoming - Avant: Trends in Interdisciplinary Studies.
    Tom specjalny „Avantu” poświęcamy twórczości komiksowej Henryka Jerzego Chmielewskiego, nazywanego Papciem Chmielem (także Dziadkiem Chmielem) oraz głównym postaciom serii komiksów „Tytus, Romek i A’Tomek” (dalej: „TRiA”). Wydawana od 1966 roku w formie osobnych albumów seria liczy 31 ksiąg, stając się najdłużej wydawanym w Polsce cyklem, który zajął poczesne miejsce w historii polskiego komiksu. Początkowo przy-gody Tytusa jawiły się jako wejście w krainę wyobraźni dziecięcej (księgi III-XVIII), z czasem jednak Chmielewski przeszedł do doraźnych komentarzy na temat zmieniającej się polskiej rzeczywistości (od (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  41.  9
    LEVINSON, JERROLD. Aesthetic Pursuits: Essays in the Philosophy of Art. Oxford University Press, 2017, 197 pp., $55.00 cloth. [REVIEW]James O. Young - 2018 - Journal of Aesthetics and Art Criticism 76 (2):235-237.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  42.  22
    Leibnitz's preference for an intensional logic (A reply to Mr. Parkinson).Walter H. O'Briant - 1967 - Notre Dame Journal of Formal Logic 8 (3):254-256.
  43.  45
    The kinetic depth effect.Hans Wallach & D. N. O'Connell - 1953 - Journal of Experimental Psychology 45 (4):205.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   150 citations  
  44.  13
    Конституювання православної церкви україни як чинник зміни культурно-цивілізаційної парадигми незалежної україни.Oлександр Назарович Саган - 2019 - Ukrainian Religious Studies 88:23-39.
    Анотація. У статті розглянуто тісний зв´язок між зменшенням впливу Московського патріархату на суспільно-політичні процеси в Україні та відновленням українського культурно-цивілізаційного простору. А саме – поступове позбавлення православних віруючих проявів постімперського синдрому, зокрема установок, уявлень, поведінкових моделей тощо, пов´язаних із перебуванням українців у складі іншомовної та чужої за ментальністю й культурою імперії. Зазначено, що отримання православними віруючими України Томосу про визнання автокефалії і конституювання Православної Церкви України позитивно впливає не лише на розвиток самої ПЦУ, але й рівня патріотизму, відновлення і розвою (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  45.  86
    Property-Owning Democracy: Rawls and Beyond.Martin O'Neill & Thad Williamson (eds.) - 2012 - Malden, MA: Wiley-Blackwell.
    A collection of original essays that represent the first extended treatment of political philosopher John Rawls' idea of a property-owning democracy.
  46. A stimulus-response analysis of anxiety and its role as a reinforcing agent.O. H. Mowrer - 1939 - Psychological Review 46 (6):553-565.
  47.  52
    Habit strength as a function of the pattern of reinforcement.O. H. Mowrer & H. Jones - 1945 - Journal of Experimental Psychology 35 (4):293.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   55 citations  
  48.  11
    N.O. Lossky: new editions.O. T. Ermishin - 2018 - RUDN Journal of Philosophy 22 (2):269-274.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  49. The worst-motive fallacy: A negativity bias in motive attribution.Joel Walmsley & O'Madagain Cathal - 2020 - Psychological Science 31 (11):1430--1438.
    In this article, we describe a hitherto undocumented fallacy-in the sense of a mistake in reasoning-constituted by a negativity bias in the way that people attribute motives to others. We call this the "worst-motive fallacy," and we conducted two experiments to investigate it. In Experiment 1, participants expected protagonists in a variety of fictional vignettes to pursue courses of action that satisfy the protagonists' worst motive, and furthermore, participants significantly expected the protagonist to pursue a worse course of action than (...)
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  50.  35
    Judgments of weight as affected by adaptation range, adaptation duration, magnitude of unlabeled anchor, and judgmental language.O. J. Harvey & Donald T. Campbell - 1963 - Journal of Experimental Psychology 65 (1):12.
1 — 50 / 999