Results for 'Ss Wainer'

723 found
Order:
  1.  12
    358 PG. Hinman.J. Barwise, L. Blum, M. Shub, S. Smale, Fr Drake, Ss Wainer, E. Engeler, Hm Friedman, Ro Gandy & Cme Yates - 1999 - In Edward R. Griffor (ed.), Handbook of computability theory. New York: Elsevier. pp. 358.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  2. SB Cooper, TA Slaman, and SS Wainer, eds. Computability, Enumerability, Unsolvability: Directions in Recursion Theory.R. Downey - 1997 - Journal of Logic Language and Information 6:107-109.
  3.  57
    Slow growing versus fast growing.S. S. Wainer - 1989 - Journal of Symbolic Logic 54 (2):608-614.
  4.  29
    Free-viewing as experimental system to test the Temporal Correlation Hypothesis: A case of theory-generative experimental practice.Juan Manuel Garrido Wainer, Juan Felipe Espinosa, Natalia Hirmas & Nicolás Trujillo - 2020 - Studies in History and Philosophy of Science Part C: Studies in History and Philosophy of Biological and Biomedical Sciences 83:101307.
  5. The development of logic in the 20th-century.Ss Chang - 1987 - Chinese Studies in Philosophy 18 (3):3-9.
     
    Export citation  
     
    Bookmark  
  6.  28
    Les modeles et l'algebre logique.R. Fra�ss� - 1960 - Synthese 12 (2-3):197-201.
  7.  28
    A Kantian Account of the Knowledge of Life and the Life Sciences.Juan Manual Garrido Wainer - 2015 - Idealistic Studies 45 (3):355-379.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  8.  19
    The policy of testing hypotheses in Chilean science. The role of a hypothesis-driven research funding programme in the installation of a hypothesis-driven experimental system in visual neuroscience.Juan Manuel Garrido Wainer, Natalia Hirmas-Montecinos & Nicolás Trujillo Osorio - 2022 - Studies in History and Philosophy of Science Part A 96 (C):68-76.
  9.  6
    Empirisk semantik.Arne Næss - 1966 - Stockholm,: Svenska bokförlaget (Norstedt).
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  10. El enfoque tecnicista radical en el ámbito de la teoría de los medios. Análisis crítico y propuesta alternativa.Juan M. Garrido Wainer & Roberto Rubio - 2024 - Revista de filosofía (Chile) 81:291-313.
    En este artículo, presentamos y analizamos críticamente el enfoque tecnicista en teoría de los medios. Abordamos una de sus propuestas más radicales, a saber: la eliminación de la dimensión del sentido y de las instancias agenciales humanas en favor de la dimensión de la información y de sistemas automatizados de procesamiento de señales y datos. En nuestro análisis consideramos las dificultades del gesto eliminacionista y ofrecemos un enfoque alternativo que atienda a los aspectos técnico-materiales, pero sin eliminar la dimensión del (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  11.  26
    New Approaches to Commentary Formation in Ancient Mesopotamia.Zachary Wainer - 2022 - Journal of the American Oriental Society 140 (1):143.
    Assyriologists who have studied Mesopotamian commentary formation have drawn upon ideas from scholars of religion in treating the creation of a static canon at the end of the second millennium bce as a necessary precondition for the emergence of cuneiform commentaries. The present contribution argues against the idea that Mesopotamian commentaries emerged in response to a closed canon by marshaling evidence from Mesopotamian divinatory compositions, including the celestial-divinatory series Enūma Anu Enlil and its associated aḫû, or “extraneous” tradition, as well (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  12.  14
    The" Slow-Growing" U\ Approach to Hierarchies.S. S. Wainer - 1985 - In Anil Nerode & Richard A. Shore (eds.), Recursion theory. Providence, R.I.: American Mathematical Society. pp. 42--487.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  13.  60
    Ordinal recursion, and a refinement of the extended Grzegorczyk hierarchy.S. S. Wainer - 1972 - Journal of Symbolic Logic 37 (2):281-292.
  14.  9
    Picturing the Uncertain World: How to Understand, Communicate, and Control Uncertainty Through Graphical Display.Howard Wainer - 2009 - Princeton University Press.
    In his entertaining and informative book Graphic Discovery, Howard Wainer unlocked the power of graphical display to make complex problems clear. Now he's back with Picturing the Uncertain World, a book that explores how graphs can serve as maps to guide us when the information we have is ambiguous or incomplete. Using a visually diverse sampling of graphical display, from heartrending autobiographical displays of genocide in the Kovno ghetto to the "Pie Chart of Mystery" in a New Yorker cartoon, (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  15.  6
    Uneducated Guesses: Using Evidence to Uncover Misguided Education Policies.Howard Wainer - 2011 - Princeton University Press.
    In this explosive book, Howard Wainer uses statistical evidence to show why some of the most widely held beliefs in education today--and the policies that have resulted--are wrong.
    Direct download  
     
    Export citation  
     
    Bookmark  
  16.  26
    Predicted causality in decision making: the role of culture.C. Dominik Güss & Bernadette Robinson - 2014 - Frontiers in Psychology 5.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  17. Accessible recursive functions.Stanley S. Wainer - 1999 - Bulletin of Symbolic Logic 5 (3):367-388.
    The class of all recursive functions fails to possess a natural hierarchical structure, generated predicatively from "within". On the other hand, many (proof-theoretically significant) sub-recursive classes do. This paper attempts to measure the limit of predicative generation in this context, by classifying and characterizing those (predictably terminating) recursive functions which can be successively defined according to an autonomy condition of the form: allow recursions only over well-orderings which have already been "coded" at previous levels. The question is: how can a (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  18.  20
    Understanding the development and use of tools in neuroscience: the case of the tungsten micro-electrode.Juan Manuel Garrido Wainer - 2022 - Synthese 200 (6):1-22.
    The philosophical interest in experimental practice in neuroscience has brought renewed attention to the study of the development and use of techniques and tools for data production. John Bickle has argued that the construction and progression of theories in neuroscience are entirely dependent on the development and ingenious use of research tools. In Bickle's account, theory plays a tertiary role, as it depends on what the tools allow researchers to manipulate, and the tools, in turn, are developed not in order (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  19.  6
    Luther.Théobald Süss - 1969 - Paris,: Presses universitaires de France.
  20.  24
    A plus-1 theorem for sub-sections.S. S. Wainer - 1988 - Archive for Mathematical Logic 27 (2):101-105.
  21.  44
    Da adivinhação à dedução: os processos inferenciais em psicoterapia cognitivo-comportamental.Ricardo Wainer, Jorge Castellá Sarriera, Neri Maurício Piccoloto, Luciane Benvegnu Piccoloto, Giovanni Kuckartz Pergher, Márcio Englert Barbosa & Vinícius Guimarães Dornelles - 2005 - Aletheia: An International Journal of Philosophy 22:23-40.
    Este artigo apresenta os principais resultados de uma pesquisa que objetivou verificar a validade e viabilidade de aplicar modelos lógico-pragmáticos da Lingüística Cognitiva ao entendimento dos processos inferenciais nos diálogos de díades pacientepsicoterapeuta em Terapia Cognitivo-Comportamental ..
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  22.  45
    (1 other version)Hierarchies of Provably Recursive Functions.Stanley S. Wainer - 1998 - In Samuel R. Buss (ed.), Handbook of proof theory. New York: Elsevier. pp. 149.
  23.  29
    Inductive definitions over a predicative arithmetic.Stanley S. Wainer & Richard S. Williams - 2005 - Annals of Pure and Applied Logic 136 (1-2):175-188.
    Girard’s maxim, that Peano Arithmetic is a theory of one inductive definition, is re-examined in the light of a weak theory EA formalising basic principles of Nelson’s predicative Arithmetic.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  24.  16
    The Post-deconstructive Concept of Evidence.Juan Manuel Garrido Wainer - 2023 - Research in Phenomenology 53 (1):31-48.
    The general objective of this essay is to systematize Jean-Luc Nancy’s post- deconstructive reflections on the concept of evidence. A general claim of this paper is that the post-deconstructive concept of evidence is genuinely an epistemic concept of evidence insofar as it refers to structures involved in verification processes. Evidence is the presentation of a state of affairs that relates the presentation not only to what we claim about this state of affairs but also to the singular circumstances of its (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  25.  3
    Four modern philosophers: Carnap, Wittgenstein, Heidegger, Sartre.Arne Næss - 1968 - Chicago,: University of Chicago Press.
    Each philosopher is preceded by an account of his life, academic career, and known extra-scholarly influences.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  26.  12
    Invitation to Chinese philosophy: eight studies.Arne Næss (ed.) - 1972 - Oslo,: Universitetsforlaget.
    These eight essays present Chinese ideas and help build bridges to our Western ways of thinking.
    Direct download  
     
    Export citation  
     
    Bookmark  
  27. Logikk og metodelære.Arne Næss - 1966 - Oslo,: Universitetsforlaget.
     
    Export citation  
     
    Bookmark  
  28.  35
    What Kinds of Traffic Forecasts are Possible?Petter Næss & Arvid Strand - 2012 - Journal of Critical Realism 11 (3):277-295.
    Based on metatheoretical considerations, this article discusses what kinds of traffic forecasts are possible and what kinds are impossible to make with any reasonable degree of accuracy. It will be argued on ontological and epistemological grounds that it is inherently impossible to make exact predictions about the magnitude of the ‘general’ traffic growth 20-30 years ahead, since many of the influencing factors depend on inherently unpredictable geopolitical trajectories as well as contested political decision-making. Due to the context-dependency of each particular (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  29. O predmete filozofie.SŠ Avaliani, O. N. Džugeli, G. D. Bačulašvili, T. A. Buačidze, G. V. Cincadze, A. V. Begiašvili & G. V. Mačitadze - 1974 - Filozofia 29:92.
    No categories
     
    Export citation  
     
    Bookmark  
  30. Murty's Concept of the Indian Spirit.Ss Barlingay - 1995 - In Sibajiban Bhattacharyya & Ashok Vohra (eds.), The philosophy of K. Satchidananda Murty. New Delhi: Indian Book Centre. pp. 223.
    No categories
     
    Export citation  
     
    Bookmark  
  31.  32
    A hierarchy for the 1-section of any type two object.S. S. Wainer - 1974 - Journal of Symbolic Logic 39 (1):88-94.
  32.  63
    Modeling generalized implicatures using non-monotonic logics.Jacques Wainer - 2007 - Journal of Logic, Language and Information 16 (2):195-216.
    This paper reports on an approach to model generalized implicatures using nonmonotonic logics. The approach, called compositional, is based on the idea of compositional semantics, where the implicatures carried by a sentence are constructed from the implicatures carried by its constituents, but it also includes some aspects nonmonotonic logics in order to model the defeasibility of generalized implicatures.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  33.  19
    Investment Ethics and the Global Economy of Sports: The Norwegian Oil Fund, Formula 1 and the 2014 Russian Grand Prix.Hans Erik Næss - 2019 - Journal of Business Ethics 158 (2):535-546.
    As a sovereign wealth fund, the $1 trillion Norwegian Government Pension Fund-Global, which is managed by Norges Bank Investment Management on behalf of the welfare of Norway’s citizens, is supposed to be a flagship for socially responsible investments through its Council of Ethics. However, its investment in Delta Topco, the holding company of Formula 1 world championship that, through Formula One Group, brokered a deal with Russia to host a Formula 1 Grand Prix in 2014, raises the question of whether (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  34. Ecology, community, and lifestyle: outline of an ecosophy.Arne Næss (ed.) - 1989 - New York: Cambridge University Press.
    Ecology, Community and Lifestyle is a revised and expanded translation of Naess' book Okologi, Samfunn og Livsstil, which sets out the author's thinking on the relevance of philosophy to the problems of environmental degradation and the rethinking of the relationship between mankind and nature. The text has been thoroughly updated by Naess and revised and translated by David Rothenberg.
    Direct download  
     
    Export citation  
     
    Bookmark   24 citations  
  35. The deep ecological movement : some philosophical aspects.Arne Næss - 2012 - In Roy Bhaskar (ed.), Ecophilosophy in a world of crisis: critical realism and the Nordic contributions. New York: Routledge, Taylor & Francis Group.
     
    Export citation  
     
    Bookmark   1 citation  
  36.  41
    The Normative Legitimacy Gap: International Sports Associations, Human Rights and Stakeholder Democracy.Hans Erik Næss - 2019 - Sport, Ethics and Philosophy 14 (2):129-145.
    This conceptual paper explores whether the normative legitimacy of International Sports Associations such as Fédération Internationale de Football Association and Fédération Internati...
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  37. Essential characteristics of the jewish view of reality, judaism as a living historical phenomenon. 1. understanding of the phenomenon, a religious culture of radical, ethical monotheism, carried on by the jewish people.Ss Schwarzschild - 1991 - Ultimate Reality and Meaning 14 (3):221-230.
     
    Export citation  
     
    Bookmark  
  38.  18
    On Sociological Biographies.Ss Schweber - 2008 - Annals of Science 65 (4):573Á578.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  39. Problem definition, problem-solving and social-problems-reconceptualizing the thought process in education.Ss Shermis & Jl Barth - 1983 - Journal of Thought 18 (4):73-93.
     
    Export citation  
     
    Bookmark  
  40.  18
    How to Achieve Full Potential of Scientific Research.Nair Ss - 2015 - Journal of Clinical Research and Bioethics 6 (5).
    Direct download  
     
    Export citation  
     
    Bookmark  
  41.  26
    Recent Introductory Philosophy of Biology Texts.David W. ss Rudge - 2000 - Journal of the History of Biology 33 (1).
    Direct download  
     
    Export citation  
     
    Bookmark  
  42.  30
    Sport governing bodies and the prioritization of human rights: a conceptual analysis of the International Olympic Committee’s (IOC) dispute with Russia.Hans Erik Næss - forthcoming - Sport, Ethics and Philosophy:1-14.
    This article addresses the moral and legal difficulties sport governing bodies encounter as human rights promoters. The case presented here is the 2023 decision by the International Olympic Committee (IOC) to allow athletes from Russia and Belarus to compete in international sport under neutral colours, after recommending complete exclusion a year before due to the Russian invasion of Ukraine. While IOC’s change of mind was influenced by UN experts on human rights, claiming that the ban discriminated against Russian athletes, the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  43. Cost-Benefit Analyses of Transportation Investments — Neither critical nor realistic.Petter Næss - 2006 - Journal of Critical Realism 5 (1):32-60.
    This paper discusses the practice of cost-benefit analyses of transportation infrastructure investment projects from the meta-theoretical perspective of critical realism. Such analyses are based on a number of untenable ontological assumptions about social value, human nature and the natural environment. In addition, main input data are based on transport modelling analyses based on a misleading `local ontology' among the model makers. The ontological misconceptions translate into erroneous epistemological assumptions about the possibility of precise predictions and the validity of willingness-to-pay investigations. (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  44.  11
    Gesunde Vernunft und Natur der Sache.Wolfgang Neusüss - 1970 - Berlin,: Duncker u. Humblot.
    Direct download  
     
    Export citation  
     
    Bookmark  
  45.  8
    Det frie menneske: en innføring i Spinozas filosofi.Arne Næss - 1999 - Oslo: Kagge.
    Direct download  
     
    Export citation  
     
    Bookmark  
  46.  5
    En del elementære logiske emner.Arne Næss - 1971 - Oslo,: Universitetsforlaget.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  47.  9
    Moderne filosofer.Arne Næss - 1965 - Stockholm,: Almqvist & Wiksell.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  48.  38
    Program Transformation and Proof Transformation.Wilfried Sieg & Stanley S. Wainer - unknown
    Wilfred Sieg and Stanley S. Wainer. Program Transformation and Proof Transformation.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  49.  17
    Goodstein Sequences Based on a Parametrized Ackermann–Péter Function.Toshiyasu Arai, Stanley S. Wainer & Andreas Weiermann - 2021 - Bulletin of Symbolic Logic 27 (2):168-186.
    Following our [6], though with somewhat different methods here, further variants of Goodstein sequences are introduced in terms of parameterized Ackermann–Péter functions. Each of the sequences is shown to terminate, and the proof-theoretic strengths of these facts are calibrated by means of ordinal assignments, yielding independence results for a range of theories: PRA, PA,$\Sigma ^1_1$-DC$_0$, ATR$_0$, up to ID$_1$. The key is the so-called “Hardy hierarchy” of proof-theoretic bounding finctions, providing a uniform method for associating Goodstein-type sequences with parameterized normal (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  50.  62
    The neutrality myth: why international sporting associations and politics cannot be separated.Hans Erik Næss - 2018 - Journal of the Philosophy of Sport 45 (2):144-160.
    ABSTRACTInternational sporting associations like the International Federation of Football Associations, the International Olympic Committee and Fédération Internationale de l’Automobile have throughout the twentieth century promoted political neutrality as a source of autonomy. With FIFA and the IOC’s official adherence to the United Nations’ human rights conventions in 2017, FIA remains one of the few large ISAs where neutrality is not underpinned by a corrective on human rights. However, this position is in conflict with the ethical obligations FIA contracted when it (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
1 — 50 / 723