Results for 'Keia'na Beeson'

1000+ found
Order:
  1.  2
    Robust Lexically Mediated Compensation for Coarticulation: Christmash Time Is Here Again.Sahil Luthra, Giovanni Peraza-Santiago, Keia'na Beeson, David Saltzman, Anne Marie Crinnion & James S. Magnuson - 2021 - Cognitive Science 45 (4):e12962.
    Direct download  
     
    Export citation  
     
    Bookmark  
  2. Ican 2008-nas encruzilhadas do romance antigo espaços, fronteiras, intersecções.Nas Encruzilhadas do Romance Antigo Espaços - 2008 - Humanitas 60:380.
    No categories
     
    Export citation  
     
    Bookmark  
  3.  11
    Herbrand's Theorem and Non-Euclidean Geometry.Pierre Boutry And Julien Narboux Michael Beeson - 2015 - Bulletin of Symbolic Logic 21 (2):111-122.
  4.  8
    When Using Technology Isn׳T Enough: A Comparison of High School Civics Teachers׳ TPCK in One-to-One Laptop Environments.Melissa Walker Beeson, Wayne Journell & Cheryl A. Ayers - 2014 - Journal of Social Studies Research 38 (3):117-128.
  5.  20
    Exploring the Neural Substrates of Phonological Recovery for Symposium: Neural Correlates of Recovery and Rehabilitation.Beeson Pelagie, Rising Kindle, DeMarco Andrew & Rapcsak Steven - 2015 - Frontiers in Psychology 6.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  6. O tempo de ontem na voz de hoje: Memória de idosas sergipanas.O. Tempo de Ontem Na Voz - 2010 - História 28:10.
    No categories
     
    Export citation  
     
    Bookmark  
  7.  35
    The Nonderivability in Intuitionistic Formal Systems of Theorems on the Continuity of Effective Operations.Michael J. Beeson - 1975 - Journal of Symbolic Logic 40 (3):321-346.
  8.  17
    Beeson Michael J.. Foundations of Constructive Mathematics. Metamathematical Studies. Ergebnisse der Mathematik Und Ihrer Grenzgebiete, Ser. 3 Vol. 6. Springer-Verlag, Berlin, Heidelberg, New York, and Tokyo, 1985, Xxiii + 466 Pp. [REVIEW]William A. Howard - 1987 - Journal of Symbolic Logic 52 (1):278-279.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  9.  19
    Recursive Models for Constructive Set Theories.M. Beeson - 1982 - Annals of Mathematical Logic 23 (2-3):127-178.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  10.  12
    Constructive Geometry and the Parallel Postulate.Michael Beeson - 2016 - Bulletin of Symbolic Logic 22 (1):1-104.
    Euclidean geometry, as presented by Euclid, consists of straightedge-and-compass constructions and rigorous reasoning about the results of those constructions. We show that Euclidean geometry can be developed using only intuitionistic logic. This involves finding “uniform” constructions where normally a case distinction is used. For example, in finding a perpendicular to line L through point p, one usually uses two different constructions, “erecting” a perpendicular when p is on L, and “dropping” a perpendicular when p is not on L, but in (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  11. Načo písať filozofiu na slovensku.K. Problému Písania Filozofie Na Slovensku - 2001 - Filozofia 56 (1):53.
    No categories
     
    Export citation  
     
    Bookmark  
  12.  13
    Remedium wobec diagnozy, czyli jak liberalizm polityczny odpowiada na fakt niezgody.Czyli Jak Liberalizm Polityczny Odpowiada Na - 2013 - Diametros 37:13 - 33.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  13. A política na caserna: A formação de Uma ideologia.Intervencionista Militar Na Crise Do Império - 1990 - História 9:95-106.
    No categories
     
    Export citation  
     
    Bookmark  
  14.  44
    The Unprovability in Intuitionistic Formal Systems of the Continuity of Effective Operations on the Reals.Michael Beeson - 1976 - Journal of Symbolic Logic 41 (1):18-24.
  15.  22
    A Constructive Version of Tarski's Geometry.Michael Beeson - 2015 - Annals of Pure and Applied Logic 166 (11):1199-1273.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  16. Február 1948 a Etapy Rozvoja Marxisticko-Leninskej Filozofie Na Slovensku.Filozofie Na Slovensku - 1978 - Filozofia 33:17.
     
    Export citation  
     
    Bookmark  
  17.  12
    Church's Thesis, Continuity, and Set Theory.M. Beeson & A. Ščedrov - 1984 - Journal of Symbolic Logic 49 (2):630-643.
    Under the assumption that all "rules" are recursive (ECT) the statement $\operatorname{Cont}(N^N,N)$ that all functions from N N to N are continuous becomes equivalent to a statement KLS in the language of arithmetic about "effective operations". Our main result is that KLS is underivable in intuitionistic Zermelo-Fraenkel set theory + ECT. Similar results apply for functions from R to R and from 2 N to N. Such results were known for weaker theories, e.g. HA and HAS. We extend not only (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  18. Derived Rules of Inference Related to the Continuity of Effective Operations.Michael J. Beeson - 1976 - Journal of Symbolic Logic 41 (2):328-336.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  19.  57
    Double-Negation Elimination in Some Propositional Logics.Michael Beeson, Robert Veroff & Larry Wos - 2005 - Studia Logica 80 (2-3):195-234.
    This article answers two questions (posed in the literature), each concerning the guaranteed existence of proofs free of double negation. A proof is free of double negation if none of its deduced steps contains a term of the formn(n(t)) for some term t, where n denotes negation. The first question asks for conditions on the hypotheses that, if satisfied, guarantee the existence of a double-negation-free proof when the conclusion is free of double negation. The second question asks about the existence (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  20.  12
    Examining Durability and Generalization Following Lexical Retrieval Treatment in an Individual with Semantic Variant of Primary Progressive Aphasia.Rising Kindle & Beeson Pelagie - 2015 - Frontiers in Psychology 6.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  21.  7
    Booms, Busts and Parochialism: Western Australia’s Implacable Political Geography.Mark Beeson - 2016 - Thesis Eleven 135 (1):51-66.
    Western Australia has recently assumed an unaccustomed centrality in the minds of Australian policymakers. The recent resource boom briefly propelled WA to the forefront of national economic affairs. While this proved a relatively short-lived prominence, the emergence of WA at the centre of a putative ‘Indo-Pacific’ region promises to give it a more enduring strategic significance. This paper details how geopolitical and geoeconomic forces have shaped WA’s developmental history, and why they are likely to do so in the future as (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  22. The Rationality of Emotional Change: Toward a Process View.Oded Na'aman - 2021 - Noûs 55 (2):245-269.
    The paper argues against a widely held synchronic view of emotional rationality. I begin by considering recent philosophical literature on various backward‐looking emotions, such as regret, grief, resentment, and anger. I articulate the general problem these accounts grapple with: a certain diminution in backward‐looking emotions seems fitting while the reasons for these emotions seem to persist. The problem, I argue, rests on the assumption that if the facts that give reason for an emotion remain unchanged, the emotion remains fitting. However, (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  23.  66
    R. L. Constable, S. F. Allen, H. M. Bromley, W. R. Cleaveland, J. F. Cremer, R. W. Harper, D. J. Howe, T. B. Knoblock, N. P. Mendler, P. Panangaden, J. T. Sasaki, and S. F. Smith. Implementing Mathematics with the Nuprl Proof Development System. Prentice Hall, Englewood Cliffs, N. J., 1986, X + 299 Pp. [REVIEW]Michael J. Beeson - 1990 - Journal of Symbolic Logic 55 (3):1299-1302.
  24.  39
    Computerzing Mathematics: Logic and Computation.J. C. Shepherdson & Michael J. Beeson - 1991 - Journal of Symbolic Logic 56 (3):1090.
  25.  31
    C. F. C. Beeson, Clockmaking in Oxfordshire 1400–1850, 3rd Edn, with a New Introduction and Index by A. V. Simcock. Oxford: Museum of the History of Science, 1989. Pp. Vii + 212. ISBN 0-903364-06-9. £22.00. [REVIEW]Penelope Gouk - 1991 - British Journal for the History of Science 24 (4):489-490.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  26. Lupus of Ferrieres as Scribe and Text Critic, a Study of His Autograph Copy of Cicero's De Oratore.Tenney Frank & Charles Henry Beeson - 1931 - American Journal of Philology 52 (3):290.
    Direct download  
     
    Export citation  
     
    Bookmark  
  27.  29
    Larry Wos, Ross Overbeek, Ewing Lusk, and Jim Boyle. Automated Reasoning. Introduction and Applications. Prentice-Hall, Inc., Englewood Cliffs, N.J., 1984, Xiv + 482 Pp. [REVIEW]Michael J. Beeson - 1986 - Journal of Symbolic Logic 51 (2):464-465.
  28.  15
    Legal framework for small autonomous agricultural robots.Subhajit Basu, Adekemi Omotubora, Matt Beeson & Charles Fox - 2020 - AI and Society 35 (1):113-134.
    Legal structures may form barriers to, or enablers of, adoption of precision agriculture management with small autonomous agricultural robots. This article develops a conceptual regulatory framework for small autonomous agricultural robots, from a practical, self-contained engineering guide perspective, sufficient to get working research and commercial agricultural roboticists quickly and easily up and running within the law. The article examines the liability framework, or rather lack of it, for agricultural robotics in EU, and their transpositions to UK law, as a case (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  29.  46
    Reality and Truth in Mathematics.M. Beeson - 1998 - Philosophia Mathematica 6 (2):131-168.
    Brouwer's positions about existence (reality) and truth are examined in the light of ninety years of scientific progress. Relevant results in proof theory, recursion theory, set theory, relativity, and quantum mechanics are used to cast light on the following philosophical questions: What is real, and how do we know it? What does it mean to say a thing exists? Can things exist that we can't know about? Can things exist that we don't know how to find? What does it mean (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  30.  6
    Michael J. Beeson. Computerizing Mathematics: Logic and Computation. The Universal Turing Machine, A Half-Century Survey, Edited by Rolf Herken, Kammerer & Unverzagt, Hamburg and Berlin, and Oxford University Press, Oxford and New York, 1988. Pp. 191–225. [REVIEW]J. C. Shepherdson - 1991 - Journal of Symbolic Logic 56 (3):1090-1091.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  31.  29
    Some Relations Between Classical and Constructive Mathematics.Michael Beeson - 1978 - Journal of Symbolic Logic 43 (2):228-246.
  32. Emotions and Process Rationality.Oded Na’Aman - 2021 - Australasian Journal of Philosophy 99 (3):531-546.
    ABSTRACT Some epistemologists hold that all rational norms are fundamentally concerned with the agent’s states or attitudes at an individual time [Hedden 2015, 2016; Moss 2015]; others argue that all rational norms are fundamentally concerned with processes [Podgorski 2017]. This distinction is not drawn in discussions of emotional rationality. As a result, a widely held assumption in the literature on emotional rationality has gone unexamined. I employ Abelard Podgorski’s argument from rational delay to argue that many emotional norms are fundamentally (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  33.  82
    The fitting resolution of anger.Oded Na’Aman - 2020 - Philosophical Studies 177 (8):2417-2430.
    How can we explain the rational diminution of backward-looking emotions without resorting to pragmatic or wrong kind of reason explanations? That is to say, how can the diminution of these emotions not only be rational but fitting? In this paper, I offer an answer to this question by considering the case of anger. In Sect. 1, I examine Pamela Hieronymi’s account of forgiveness as the rational resolution of resentment. I argue that Hieronymi’s account rests on an assumption about the rationality (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  34. Review: Michael J. Beeson, Foundations of Constructive Mathematics. Metamathematical Studies. [REVIEW]William A. Howard - 1987 - Journal of Symbolic Logic 52 (1):278-279.
     
    Export citation  
     
    Bookmark  
  35.  11
    Na-Na, Na-Na, Boo-Boo, the Accuracy of Your Philosophical Beliefs is Doo-Doo.Mark Walker - 2022 - Manuscrito 45 (2):1-49.
    The paper argues that adopting a form of skepticism, Skeptical-Dogmatism, that recommends disbelieving each philosophical position in many multi-proposition disputes- disputes where there are three or more contrary philosophical views-leads to a higher ratio of true to false beliefs than the ratio of the “average philosopher”. Hence, Skeptical-Dogmatists have more accurate beliefs than the average philosopher. As a corollary, most philosophers would improve the accuracy of their beliefs if they adopted Skeptical-Dogmatism.
    No categories
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  36.  4
    Herbrand’s Theorem and Non-Euclidean Geometry.Michael Beeson, Pierre Boutry & Julien Narboux - 2015 - Bulletin of Symbolic Logic 21 (2):111-122.
    We use Herbrand’s theorem to give a new proof that Euclid’s parallel axiom is not derivable from the other axioms of first-order Euclidean geometry. Previous proofs involve constructing models of non-Euclidean geometry. This proof uses a very old and basic theorem of logic together with some simple properties of ruler-and-compass constructions to give a short, simple, and intuitively appealing proof.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  37.  16
    Logic of Ruler and Compass Constructions.Michael Beeson - 2012 - In S. Barry Cooper (ed.), How the World Computes. pp. 46--55.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  38.  1
    The Regional Path to Peaceful Change: What the Asian and European Experiences Tell Us.Mark Beeson - 2020 - Ethics and International Affairs 34 (4):535-545.
    One of the more striking, surprising, and optimism-inducing features of the contemporary international system has been the decline of interstate war. The key question for students of international relations and comparative politics is how this happy state of affairs came about. In short, was this a universal phenomenon or did some regions play a more important and pioneering role in bringing about peaceful change? As part of the roundtable “International Institutions and Peaceful Change,” this essay suggests that Western Europe generally (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  39.  12
    A Type-Free Gödel Interpretation.Michael Beeson - 1978 - Journal of Symbolic Logic 43 (2):213-227.
  40.  2
    Effects of Iodides on Inflammatory Processes.Paul B. Beeson - 1994 - Perspectives in Biology and Medicine 37 (2):173.
  41.  6
    Fashions in Pathogenetic Concepts During the Present Century: Autointoxication, Focal Infection, Psychosomatic Disease, and Autoimmunity.Paul B. Beeson - 1991 - Perspectives in Biology and Medicine 36 (1):13-23.
  42. The Moral Significance of Shock.Oded Na’Aman - 2021 - In Ana Falcato & Sara Graça da Silva (eds.), The Politics of Emotional Shockwaves. Palgrave Macmillan. pp. 165-186.
    I propose that shock can be morally significant independently of its consequences but only as part of an ongoing commitment to certain norms, in particular norms that constitute recognizing another as a person. When we witness others in agony, or being severely wronged, or when we ourselves severely wrong or mistreat others, our shock can reflect our recognition of them as persons, a recognition constituted by our commitment to certain moral norms. However, if we do not in fact respond to (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  43.  27
    Effects of Ethical Leadership on Nurses’ Service Behaviors.Na Zhang, Mingfang Li, Zhenxing Gong & Dingxin Xu - 2019 - Nursing Ethics 26 (6):1861-1872.
    Background: Nurses’ service behaviors have critical implications for hospitals. However, few studies had adequate ethical considerations of service behaviors and accounted for how organizational or individual antecedents can induce nurses to engage in service behaviors. In addition, they mainly focused on the one side of role-prescribed or extra-role service behavior. Objective: This study aims to explore the chained mediation effect of ethical climate and moral sensitivity on the relationship between organizational ethical leadership and nurses’ service behaviors and to examine the (...)
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  44. Bacha Na Analogie.Alena Hönigová & Jaroslav Mestek - 2013 - Teorie Vědy / Theory of Science 35 (1):83-96.
    Tato recenzní studie sleduje analogii, na níž založil svoji metodu bádání i psaní Douglas R. Hofstadter v knize Gödel, Escher, Bach. Proti Hofstadterovu pojetí analogie, kromě jiného ilustrované zavádějícími příklady skladeb J. S. Bacha, je analogie v této studii precizována. Zároveň jsou ve studii napraveny nedostatky hudebních příkladů, jež by patrně neodhalili čtenáři bez přímé vazby na hudební teorii. Tyto aspekty sleduje tato studie až k závěru, že recenzovaná vlivná kniha, neprávem aspirující na metodologii veškerenstva, patří mezi poulárně naučnou literaturu.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  45.  25
    Bio-Inspired Learning and Adaptation for Optimization and Control of Complex Systems.Jing Na, Zhile Yang, Shyam Kamal, Liang Hu, Wenbo Wang & Yimin Zhou - 2019 - Complexity 2019:1-3.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  46. NA TO and German Reunification.Elliot R. Goodman - 1970 - Res Publica 12 (4):591-603.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  47.  6
    How Does Moral Identity Promote Employee Voice Behavior? The Roles of Work Engagement and Leader Secure-Base Support.Na-Ting Liu, Shu-Chen Chen & Wei-Chu Lee - 2022 - Ethics and Behavior 32 (5):449-467.
    ABSTRACT This study seeks exploration of how employees’ moral identity is related to voice behavior in the current organizational dynamics. By integrating the self-consistency theory with a situational strength perspective, a moderated mediation model was constructed to examine connections among moral identity, leader secure-base support, work engagement, and voice behavior. Surveys were collected at 2 time points, 1 month apart, from 206 full-time employees in various organizations and industries in Taiwan. Supporting results indicated that employees’ moral identity was positively related (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  48. What Is Evaluable for Fit?Oded Na'aman - forthcoming - In Christopher Howard & Richard Rowland (eds.), Fittingness. Oxford University Press.
    Our beliefs, intentions, desires, regrets, and fears are evaluable for fit—they can succeed or fail to be fitting responses to the objects they are about. Can our headaches and heartrates be evaluable for fit? The common view says ‘no’. This chapter argues: sometimes, yes. First, it claims that when a racing heart accompanies fear it seems to have the typical characteristics of fit-evaluable items. Then, it suggests that suspicion of this initial impression is explained by the assumption that whether an (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  49. Uwagi na temat filozofii Nietzschego.Erich J. Heindl & Jerzy Machnacz - 1970 - Forum Philosophicum: International Journal for Philosophy 9 (1):69-72.
    Religia jest dla człowieka życiowy i życiodajny sprawy, dlatego namysł nad jej powstaniem, funkcji i istoty jest zawsze na czasie, tym bardziej w okresie postmodernistycznego zagubienia. Jeśli religia jest dla człowieka tak ważną sprawą to jego namysł nad nią nie jest niczym innym, jak myśleniem samego siebie. Jest ona bowiem tą rzeczywistością, która trafia w serce człowieka, w nerw jego życia. Religia, tak jak życie człowieka, jest uwarunkowana historycznie, to znaczy: czasowo, lokalnie, kulturowe, ma okresy wzlotów i upadków. Wydaje się, (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  50. Contradições na cidade negra: Relações de gênero, raça, classe, desigualdades E territorialidade.Antonia dos Santos Garcia - 2012 - Saberes Em Perspectiva 2 (2):33-51.
    Salvador, antiga capital colonial e contemporaneamente terceira maior metrópole brasileira, é a mais emblemática cidade do processo histórico brasileiro por sua densidade demográfica e cultural negras. Neste artigo fazemos uma análise teórica e empírica sobre as desigualdades socioeconômicas, sociorraciais por cor/raça e sexo para compreender as relações raciais e de gênero nos espaços concretos e simbólicos que marcaram nossa forma de organização do espaço. Os dados estatísticos e cartográficos foram baseados no Censo do IBGE 2000 e analisados socioespacialmente. Na pesquisa (...)
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000