Results for 'Beeson Pelagie'

(not author) ( search as author name )
48 found
Order:
  1.  27
    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  
  2.  23
    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  
  3.  20
    Whole-word response scoring underestimates functional spelling ability for some individuals with global agraphia.Demarco Andrew, Rising Kindle, Shultz Christine, Bayley Chelsea & Beeson Pelagie - 2015 - Frontiers in Psychology 6.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  4.  75
    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.
  5.  16
    Herbrand's theorem and non-euclidean geometry.Pierre Boutry And Julien Narboux Michael Beeson - 2015 - Bulletin of Symbolic Logic 21 (2):111-122.
  6.  25
    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.
    In this multiple case study, the authors compare the instruction of two high school civics teachers during the 2012 Presidential Election. Both were highly-qualified practitioners who worked in schools with one-to-one laptop initiatives, creating an environment in which access to digital technology ceased to be an issue. Although both teachers regularly used technology in their classrooms, the authors describe stark differences in the complexity and authenticity of their instruction, which the authors attribute to the teachers’ technological pedagogical content knowledge (TPCK). (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  7.  20
    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  
  8.  63
    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.
  9.  25
    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.  22
    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  
  11.  1
    God made the world.Pelagie Doane - 1960 - Philadelphia,: Lippincott.
  12.  32
    Some relations between classical and constructive mathematics.Michael Beeson - 1978 - Journal of Symbolic Logic 43 (2):228-246.
  13.  5
    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  
  14.  28
    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  
  15.  50
    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  
  16.  8
    Wounded in the church.Ray Beeson - 2017 - New Kensington, PA: Whitaker House.
    The pain -- I thought church would be different -- The pain goes so deep -- Where does all this pain come from? -- Nobody sees me -- I feel beat up in church -- I live in shame all the time -- I feel used -- I can't forgive -- The hope -- Will I ever get past the pain? -- Why do I feel so unsafe in church? -- I can't keep up with all the rules -- What's (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  17.  33
    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  
  18.  17
    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  
  19. 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  
  20.  36
    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  
  21.  9
    Computerzing Mathematics: Logic and Computation.J. C. Shepherdson & Michael J. Beeson - 1991 - Journal of Symbolic Logic 56 (3):1090.
  22.  17
    A type-free gödel interpretation.Michael Beeson - 1978 - Journal of Symbolic Logic 43 (2):213-227.
  23.  4
    Effects of iodides on inflammatory processes.Paul B. Beeson - 1994 - Perspectives in Biology and Medicine 37 (2):173.
  24.  8
    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.
  25.  14
    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  
  26.  27
    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.
  27.  28
    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.
  28.  9
    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  
  29.  28
    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  
  30.  18
    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.
    A long-standing question in cognitive science is how high-level knowledge is integrated with sensory input. For example, listeners can leverage lexical knowledge to interpret an ambiguous speech sound, but do such effects reflect direct top-down influences on perception or merely postperceptual biases? A critical test case in the domain of spoken word recognition is lexically mediated compensation for coarticulation (LCfC). Previous LCfC studies have shown that a lexically restored context phoneme (e.g., /s/ in Christma#) can alter the perceived place of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  31.  34
    Access to health insurance at small establishments: What can we learn from analyzing other fringe benefits?Jean Marie Abraham, Thomas DeLeire & Anne Beeson Royalty - 2009 - Inquiry: The Journal of Health Care Organization, Provision, and Financing 46 (3):253-273.
    Direct download  
     
    Export citation  
     
    Bookmark  
  32.  11
    Implicit sex preferences: a comparative study.J. R. Goody, C. J. Duly, I. Beeson & G. Harrison - 1981 - Journal of Biosocial Science 13 (4):455-466.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  33.  22
    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  
  34.  10
    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  
  35.  37
    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  
  36. 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  
  37.  10
    Hegemonius: Ada Archelai, herausgegeben im Auftrage der Kirchenväter-Commission der K. Preuss. Ak. der Wiss. Von Charles Henry Beeson. Leipzig: J. C. Hinrichs'sche Buchhandlung. 1906. lvi + 134. Price M. 6. [REVIEW]Arthur S. Peake - 1909 - The Classical Review 23 (3):91-91.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  38.  10
    Lupus of Ferrières as Scribe and Text Critic. By Charles Henry Beeson. Pp. viii + Facsimile of the MS. Cambridge, Mass.: The Mediaeval Academy of America, 1930. Cloth, $12. [REVIEW]T. B. L. Webster - 1931 - The Classical Review 45 (1):45-45.
  39.  17
    Lexically Mediated Compensation for Coarticulation Still as Elusive as a White Christmash.James M. McQueen, Alexandra Jesse & Holger Mitterer - 2023 - Cognitive Science 47 (9):e13342.
    Luthra, Peraza-Santiago, Beeson, Saltzman, Crinnion, and Magnuson (2021) present data from the lexically mediated compensation for coarticulation paradigm that they claim provides conclusive evidence in favor of top-down processing in speech perception. We argue here that this evidence does not support that conclusion. The findings are open to alternative explanations, and we give data in support of one of them (that there is an acoustic confound in the materials). Lexically mediated compensation for coarticulation thus remains elusive, while prior data (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  40.  21
    Conservativity of Transitive Closure over weak operational set theory.Laura Crosilla & Andrea Cantini - 2012 - In Ulrich Berger, Hannes Diener, Peter Schuster & Monika Seisenberger (eds.), Logic, Construction, Computation. De Gruyter.
    Constructive set theory a' la Myhill-Aczel has been extended in (Cantini and Crosilla 2008, Cantini and Crosilla 2010) to incorporate a notion of (partial, non--extensional) operation. Constructive operational set theory is a constructive and predicative analogue of Beeson's Inuitionistic set theory with rules and of Feferman's Operational set theory (Beeson 1988, Feferman 2006, Jaeger 2007, Jaeger 2009, Jaeger 1009b). This paper is concerned with an extension of constructive operational set theory (Cantini and Crosilla 2010) by a uniform operation (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  41.  3
    L'ironie.Vladimir Jankélévitch - 1936 - Paris,: F. Alcan.
    Qu'est-ce que l'ironie? Quelles en sont les formes? Quels en sont les pièges aussi? Autant de délicates questions auxquelles l'auteur répond, non sans ironie lui-même, avec l'aide d'une infinité d'exemples qui montrent son immense culture, musicale aussi bien que philosophique. Sommairement, qu'est-ce que l'ironie, sinon la conscience, mais une bonne conscience joyeuse, ce en quoi elle se distingue de l'hypocrisie? Pas d'humour sans amour, ni d'ironie sans joie. L'ironie, en somme, sauve ce qui peut être sauvé. Elle est mortelle aux (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  42.  4
    L'ironie.Vladimir Jankélévitch - 1964 - Paris,: Flammarion.
    Qu'est-ce que l'ironie? Quelles en sont les formes? Quels en sont les pièges aussi? Autant de délicates questions auxquelles l'auteur répond, non sans ironie lui-même, avec l'aide d'une infinité d'exemples qui montrent son immense culture, musicale aussi bien que philosophique. Sommairement, qu'est-ce que l'ironie, sinon la conscience, mais une bonne conscience joyeuse, ce en quoi elle se distingue de l'hypocrisie? Pas d'humour sans amour, ni d'ironie sans joie. L'ironie, en somme, sauve ce qui peut être sauvé. Elle est mortelle aux (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  43.  30
    Consistency of the intensional level of the Minimalist Foundation with Church’s thesis and axiom of choice.Hajime Ishihara, Maria Emilia Maietti, Samuele Maschio & Thomas Streicher - 2018 - Archive for Mathematical Logic 57 (7-8):873-888.
    Consistency with the formal Church’s thesis, for short CT, and the axiom of choice, for short AC, was one of the requirements asked to be satisfied by the intensional level of a two-level foundation for constructive mathematics as proposed by Maietti and Sambin From sets and types to topology and analysis: practicable foundations for constructive mathematics, Oxford University Press, Oxford, 2005). Here we show that this is the case for the intensional level of the two-level Minimalist Foundation, for short MF, (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  44.  15
    Saintes et travesties du Moyen Âge.Frédérique Villemur - 1999 - Clio 10.
    Recluses, ermites ou engagées dans le monde, les saintes travesties sont nombreuses jusqu’à la fin du Moyen Âge. Ayant valeur de transgression et/ou d’initiation, le travestissement permet à Thècle, Pélagie, Marguerite, Marine ou Eugénie de redéfinir non seulement la notion de virginité mais d’affirmer une sainteté au nom d’une intégrité qui dérange les catégories sexuées et renverse les notions de genre. D’autres, comme Galla, Paula ou Wilgeforte, délivrent de l’antagonisme des sexes. Et toutes, jusqu’à Jeanne d’Arc, bouleversent la destinée des (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  45.  3
    Saintes et travesties du Moyen Âge.Frédérique Villemur - 1999 - Clio 10.
    Recluses, ermites ou engagées dans le monde, les saintes travesties sont nombreuses jusqu’à la fin du Moyen Âge. Ayant valeur de transgression et/ou d’initiation, le travestissement permet à Thècle, Pélagie, Marguerite, Marine ou Eugénie de redéfinir non seulement la notion de virginité mais d’affirmer une sainteté au nom d’une intégrité qui dérange les catégories sexuées et renverse les notions de genre. D’autres, comme Galla, Paula ou Wilgeforte, délivrent de l’antagonisme des sexes. Et toutes, jusqu’à Jeanne d’Arc, bouleversent la destinée des (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  46.  27
    On Goodman Realizability.Emanuele Frittaion - 2019 - Notre Dame Journal of Formal Logic 60 (3):523-550.
    Goodman’s theorem states that HAω+AC+RDC is conservative over HA. The same result applies to the extensional case, that is, E-HAω+AC+RDC is also conservative over HA. This is due to Beeson. In this article, we modified the Goodman realizability and provide a new proof of the extensional case.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  47.  40
    From predication to programming.Karel Lambert - 2001 - Minds and Machines 11 (2):257-265.
    A free logic is one in which a singular term can fail to refer to an existent object, for example, `Vulcan' or `5/0'. This essay demonstrates the fruitfulness of a version of this non-classical logic of terms (negative free logic) by showing (1) how it can be used not only to repair a looming inconsistency in Quine's theory of predication, the most influential semantical theory in contemporary philosophical logic, but also (2) how Beeson, Farmer and Feferman, among others, use (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark  
  48.  8
    Revisiting the conservativity of fixpoints over intuitionistic arithmetic.Mattias Granberg Olsson & Graham E. Leigh - 2023 - Archive for Mathematical Logic 63 (1):61-87.
    This paper presents a novel proof of the conservativity of the intuitionistic theory of strictly positive fixpoints, $$\widehat{{\textrm{ID}}}{}_{1}^{{\textrm{i}}}{}$$ ID ^ 1 i, over Heyting arithmetic ($${\textrm{HA}}$$ HA ), originally proved in full generality by Arai (Ann Pure Appl Log 162:807–815, 2011. https://doi.org/10.1016/j.apal.2011.03.002). The proof embeds $$\widehat{{\textrm{ID}}}{}_{1}^{{\textrm{i}}}{}$$ ID ^ 1 i into the corresponding theory over Beeson’s logic of partial terms and then uses two consecutive interpretations, a realizability interpretation of this theory into the subtheory generated by almost negative fixpoints, (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark