Results for 'Graham E. Leigh'

1000+ found
Order:
  1.  42
    A Proof-Theoretic Account of Classical Principles of Truth.Graham E. Leigh - 2013 - Annals of Pure and Applied Logic 164 (10):1009-1024.
    This paper explores the interface between principles of self-applicable truth and classical logic. To this end, the proof-theoretic strength of a number of axiomatic theories of truth over intuitionistic logic is determined. The theories considered correspond to the maximal consistent collections of fifteen truth-theoretic principles as isolated in Leigh and Rathjen.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  2.  23
    Conservativity for Theories of Compositional Truth Via Cut Elimination.Graham E. Leigh - 2015 - Journal of Symbolic Logic 80 (3):845-865.
  3.  35
    Axiomatic Truth, Syntax and Metatheoretic Reasoning.Graham E. Leigh & Carlo Nicolai - 2013 - Review of Symbolic Logic 6 (4):613-636.
    Following recent developments in the literature on axiomatic theories of truth, we investigate an alternative to the widespread habit of formalizing the syntax of the object-language into the object-language itself. We first argue for the proposed revision, elaborating philosophical evidences in favor of it. Secondly, we present a general framework for axiomatic theories of truth with theories of syntax. Different choices of the object theory O will be considered. Moreover, some strengthenings of these theories will be introduced: we will consider (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  4.  84
    Revision Revisited.Leon Horsten, Graham E. Leigh, Hannes Leitgeb & Philip Welch - 2012 - Review of Symbolic Logic 5 (4):642-664.
    This article explores ways in which the Revision Theory of Truth can be expressed in the object language. In particular, we investigate the extent to which semantic deficiency, stable truth, and nearly stable truth can be so expressed, and we study different axiomatic systems for the Revision Theory of Truth.
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  5.  9
    Herbrand's Theorem as Higher Order Recursion.Bahareh Afshari, Stefan Hetzl & Graham E. Leigh - 2020 - Annals of Pure and Applied Logic 171 (6):102792.
  6.  46
    The Friedman—Sheard Programme in Intuitionistic Logic.Graham E. Leigh & Michael Rathjen - 2012 - Journal of Symbolic Logic 77 (3):777-806.
    This paper compares the roles classical and intuitionistic logic play in restricting the free use of truth principles in arithmetic. We consider fifteen of the most commonly used axiomatic principles of truth and classify every subset of them as either consistent or inconsistent over a weak purely intuitionistic theory of truth.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  7.  4
    S. Feferman. Reflecting on Incompleteness. The Journal of Symbolic Logic, Vol. 56 , No. 1, Pp. 1–49. - W. N. Reinhardt. Some Remarks on Extending and Interpreting Theories with a Partial Predicate for Truth. Journal of Philosophical Logic, Vol. 15 , No. 2, Pp. 219–251. - V. Halbach and L. Horsten. Axiomatizing Kripke’s Theory of Truth. The Journal of Symbolic Logic, Vol. 71 , No. 2, Pp. 667–712 - H. Friedman and M. Sheard. An Axiomatic Approach to Self-Referential Truth.Annals of Pure and Applied Logic, Vol. 33 , No. 1, Pp. 1–21. - V. Halbach. A System of Complete and Consistent Truth. Notre Dame Journal of Formal Logic, Vol. 35 , No. 3, Pp. 311–327. [REVIEW]Graham E. Leigh - 2010 - Bulletin of Symbolic Logic 16 (3):424-428.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8.  9
    Herbrand Confluence for First-Order Proofs with Π2-Cuts.Graham E. Leigh, Stefan Hetzl & Bahareh Afshari - 2016 - In Peter Schuster & Dieter Probst (eds.), Concepts of Proof in Mathematics, Philosophy, and Computer Science. De Gruyter. pp. 5-40.
    Direct download  
     
    Export citation  
     
    Bookmark  
  9. Some Weak Theories of Truth.Graham E. Leigh - 2015 - In Kentaro Fujimoto, José Martínez Fernández, Henri Galinon & Theodora Achourioti (eds.), Unifying the Philosophy of Truth. Springer Verlag.
     
    Export citation  
     
    Bookmark  
  10.  98
    Modes of Being at Sophist 255c-E.Fiona Leigh - 2012 - Phronesis 57 (1):1-28.
    Abstract I argue for a new interpretation of the argument for the non-identity of Being and Difference at Sophist 255c-e, which turns on a distinction between modes of being a property. Though indebted to Frede (1967), the distinction differs from his in an important respect: What distinguishes the modes is not the subject's relation to itself or to something numerically distinct, but whether it constitutes or conforms to the specification of some property. Thus my view, but not his, allows self-participation (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  11. La filosofia del senso comune e la sua ricezione.Gordon Graham - 2004 - In Evandro Agazzi (ed.), Valore E Limiti Del Senso Comune. F. Angeli.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  12.  50
    G. Reggi : Aspetti della poesia epica latina. Atti del corso d'aggiornamento per docenti di latino e greco del Canton Ticino, Lugano 1993 . Pp. 289. Lugano: Edizioni universitarie della Svizzera italiana, 1995. Paper, Sw. frs. 40. ISBN: 88-7795-101-0. [REVIEW]Matthew Leigh - 1998 - The Classical Review 48 (1):191-192.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  13.  24
    "Language and Logos: Studies in Ancient Philosophy Presented to G. E. L. Owen", Ed. By Malcom Schofield and Martha Nussbaum. [REVIEW]Daniel W. Graham - 1985 - Ancient Philosophy 5 (1):140.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  14. E-Commerce And The Problem Of Projection.Gordon Graham - 2000 - Ends and Means 4 (3).
     
    Export citation  
     
    Bookmark  
  15.  23
    Metaphysics and the Mind-Body Problem. By Michael E. Levin.George A. Graham - 1982 - Modern Schoolman 59 (4):301-302.
  16.  28
    Luigi Piccirilli: ΜΕΓΑΡΙΚΑ. Testimonianze e frammenti. Pp. xiv + 224. Pisa: Edizioni Marlin, 1975. Cloth, L. 20,000.A. J. Graham - 1978 - The Classical Review 28 (01):179-180.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  17.  9
    Μεγαρικα. Testimonianze E Frammenti. [REVIEW]A. J. Graham - 1978 - The Classical Review 28 (1):179-180.
    Direct download  
     
    Export citation  
     
    Bookmark  
  18.  23
    Bruun (C.) (ed.) Interpretare i bolli laterizi di Roma e della Valle del Tevere: produzione, storia economica e topografica. (Acta Instituti Romani Finlandiae 32.) Pp. x + 323, figs, ills, maps. Rome: Institutum Romanum Finlandiae, 2005. Paper, ???45. ISBN: 978-952-5323-10-. [REVIEW]Shawn Graham - 2007 - The Classical Review 57 (01):223-.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  19.  14
    Philosophy (M.) Sassi Ed. La Costruzione Del Discorso Filosofico Nell'età Dei Presocratici = The Construction of Philosophical Discourse in the Age of the Presocratics. (Seminari E Convegni 5). Pisa: Edizioni Della Normale, 2006. Pp. Xii + 397. €30. 9788876421808. [REVIEW]Daniel W. Graham - 2008 - Journal of Hellenic Studies 128:273-.
  20.  9
    BATCHELOR, STEPHEN (1994) The Awakening of the West (London, Aquarian). BUSWELL, JR, ROBERT, E.(1992) The Zen Monastic Experience (Princeton, NJ, Princeton University Press). COIXINSON, DIANE & WILKINSON, ROBERT (1994) Thirty Five Oriental Philosophers (London, Rout-Ledge). [REVIEW]Bg Gokhale & Ac Graham - 1995 - Asian Philosophy 5 (1):99.
    Direct download  
     
    Export citation  
     
    Bookmark  
  21.  7
    Language and Logos: Studies in Ancient Philosophy Presented to G.E.L. Owen.Daniel W. Graham - 1985 - Ancient Philosophy 5 (1):140-143.
  22. The Antipodean Philosopher: Interviews on Philosophy in Australia and New Zealand.Graham Oppy, N. N. Trakakis, Lynda Burns, Steve Gardner, Fiona Leigh & Michelle Irving (eds.) - 2011 - Lexington Books.
    In this volume, Graham Oppy and N.N. Trakakis present interviews with fourteen leading Australasian philosophers, providing unique insights into the history and development of philosophy in the Antipodes, its current flourishing and its future prospects. The philosophers interviewed are drawn from a variety of backgrounds and perspectives, and in these pages they speak frankly and accessibly about their philosophical careers in Australia, New Zealand and overseas.
     
    Export citation  
     
    Bookmark  
  23. Guest Editorial.E. Graham - 2004 - Studies in Christian Ethics 17 (2):1-4.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  24.  10
    Go Big or Go Home.Joy E. Beatty, Jennifer S. A. Leigh & Jegoo Lee - 2017 - Proceedings of the International Association for Business and Society 28:1-5.
    Big data analysis is sweeping the natural sciences, industry, and the digital humanities, but what about business and society? The purpose of this session is to facilitate a conversation about the relationship of big data and data science analytics and their relevance to the business and society community in our roles as researchers, reviewers, editors, and scholars. We will discuss the benefits and challenges of big data analysis, and comparisons of big data methods with traditional quantitative and qualitative methods. We (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  25. Phenomenal Intentionality and the Brain in a Vat.Terence E. Horgan, John L. Tienson & George Graham - 2004 - In Richard Schantz (ed.), The Externalist Challenge. De Gruyter.
  26.  21
    An Ethics of Welfare for Patients Diagnosed as Vegetative With Covert Awareness.Mackenzie Graham, Charles Weijer, Damian Cruse, Davinia Fernandez-Espejo, Teneille Gofton, Laura E. Gonzalez-Lara, Andrea Lazosky, Lorina Naci, Loretta Norton, Andrew Peterson, Kathy N. Speechley, Bryan Young & Adrian M. Owen - 2015 - American Journal of Bioethics Neuroscience 6 (2):31-41.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  27.  83
    Consciousness and Intentionality.George Graham, Terence E. Horgan & John L. Tienson - 2007 - In Max Velmans & Susan Schneider (eds.), The Blackwell Companion to Consciousness. Blackwell. pp. 468--484.
  28.  87
    The Phenomenology of First-Person Agency.Terence E. Horgan, John L. Tienson & George Graham - 2003 - In Sven Walter & Heinz-Dieter Heckmann (eds.), Physicalism and Mental Causation. Imprint Academic. pp. 323.
  29. Mary Mary, Quite Contrary.George Graham & Terence E. Horgan - 2000 - Philosophical Studies 99 (1):59-87.
  30.  89
    An Ordinal Analysis for Theories of Self-Referential Truth.Graham Emil Leigh & Michael Rathjen - 2010 - Archive for Mathematical Logic 49 (2):213-247.
    The first attempt at a systematic approach to axiomatic theories of truth was undertaken by Friedman and Sheard (Ann Pure Appl Log 33:1–21, 1987). There twelve principles consisting of axioms, axiom schemata and rules of inference, each embodying a reasonable property of truth were isolated for study. Working with a base theory of truth conservative over PA, Friedman and Sheard raised the following questions. Which subsets of the Optional Axioms are consistent over the base theory? What are the proof-theoretic strengths (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  31.  13
    Tablet-Based Functional MRI of the Trail Making Test: Effect of Tablet Interaction Mode.Mahta Karimpoor, Nathan W. Churchill, Fred Tam, Corinne E. Fischer, Tom A. Schweizer & Simon J. Graham - 2017 - Frontiers in Human Neuroscience 11.
  32.  98
    Southern Fundamentalism and the End of Philosophy.George Graham & Terence E. Horgan - 1994 - Philosophical Issues 5:219-247.
  33.  9
    A Computerized Tablet with Visual Feedback of Hand Position for Functional Magnetic Resonance Imaging.Mahta Karimpoor, Fred Tam, Stephen C. Strother, Corinne E. Fischer, Tom A. Schweizer & Simon J. Graham - 2015 - Frontiers in Human Neuroscience 9.
  34.  12
    Functional MRI of Handwriting Tasks: A Study of Healthy Young Adults Interacting with a Novel Touch-Sensitive Tablet.Mahta Karimpoor, Nathan W. Churchill, Fred Tam, Corinne E. Fischer, Tom A. Schweizer & Simon J. Graham - 2018 - Frontiers in Human Neuroscience 12.
  35.  38
    Ethics of Neuroimaging After Serious Brain Injury.Charles Weijer, Andrew Peterson, Fiona Webster, Mackenzie Graham, Damian Cruse, Davinia Fernández-Espejo, Teneille Gofton, Laura E. Gonzalez-Lara, Andrea Lazosky, Lorina Naci, Loretta Norton, Kathy Speechley, Bryan Young & Adrian M. Owen - 2014 - BMC Medical Ethics 15 (1):41.
    Patient outcome after serious brain injury is highly variable. Following a period of coma, some patients recover while others progress into a vegetative state (unresponsive wakefulness syndrome) or minimally conscious state. In both cases, assessment is difficult and misdiagnosis may be as high as 43%. Recent advances in neuroimaging suggest a solution. Both functional magnetic resonance imaging and electroencephalography have been used to detect residual cognitive function in vegetative and minimally conscious patients. Neuroimaging may improve diagnosis and prognostication. These techniques (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  36. Internal-World Skepticism and Mental Self-Presentation.Terence E. Horgan, John L. Tienson & George Graham - 2006 - In Uriah Kriegel & Kenneth Williford (eds.), Self-Representational Approaches to Consciousness. MIT Press. pp. 41-61.
  37.  25
    Stakeholder Views Regarding Ethical Issues in the Design and Conduct of Pragmatic Trials: Study Protocol.Stuart G. Nicholls, Kelly Carroll, Jamie Brehaut, Charles Weijer, Spencer Phillips Hey, Cory E. Goldstein, Merrick Zwarenstein, Ian D. Graham, Joanne E. McKenzie, Lauralyn McIntyre, Vipul Jairath, Marion K. Campbell, Jeremy M. Grimshaw, Dean A. Fergusson & Monica Taljaard - 2018 - BMC Medical Ethics 19 (1):90.
    Randomized controlled trial trial designs exist on an explanatory-pragmatic spectrum, depending on the degree to which a study aims to address a question of efficacy or effectiveness. As conceptualized by Schwartz and Lellouch in 1967, an explanatory approach to trial design emphasizes hypothesis testing about the mechanisms of action of treatments under ideal conditions, whereas a pragmatic approach emphasizes testing effectiveness of two or more available treatments in real-world conditions. Interest in, and the number of, pragmatic trials has grown substantially (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  38. Five Papers on Axiomatic Theories of Truth.Graham Emil Leigh - 2010 - Bulletin of Symbolic Logic 16 (3):424-428.
     
    Export citation  
     
    Bookmark  
  39.  66
    Mild Cognitive Impairment: Ethical Considerations for Nosological Flexibility in Human Kinds.Janice E. Graham & Karen Ritchie - 2006 - Philosophy, Psychiatry, and Psychology 13 (1):31-43.
  40.  10
    Is Consent for Research Genuinely Informed? Using Decision Aid Tools to Obtain Informed Consent in the Global South.Marylène Dugas & Janice E. Graham - 2011 - Journal of Global Ethics 7 (3):349-359.
    Gaining informed consent among marginalized groups that include decisionally incapacitated individuals and those outside of the researcher's own geo-social and ethnic background still challenges many researchers. We suggest that there is a need for consideration of a different approach to research ethics in international settings. Based on extensive field work in West Africa on medical knowledge transfers and patient?healer relationships, this paper will discuss the challenges posed in obtaining informed individual consent in international settings. It is argued that while being (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  41.  23
    The Soviet Academy of Sciences and the Communist Party, 1927-1932Educational Planning in the U.S.S.R.Nigel Grant, Loren Graham, K. Nozhko, E. Monoszon, V. Zhamin & V. Severtsev - 1969 - British Journal of Educational Studies 17 (3):339.
  42.  23
    Postdoctoral Scholars in a Faculty of Education: Navigating Liminal Spaces and Marginal Identities.Lydia E. Carol-Ann Burke, Jennifer Hall, Wilson A. De Paiva, Angela Alberga, Guanglun M. Mu, Jeanna P. Leigh & Monica S. Vazquez - 2017 - Arts and Humanities in Higher Education 18 (4):329-348.
    The last decade has seen a slow but steady increase in the number of postdoctoral scholars employed in faculties of education. In this article, seven postdoctoral scholars who worked in the same Ca...
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  43. Brill Online Books and Journals.M. F. Burnyeat, Daniel W. Graham, G. E. R. Lloyd, Jonathan Lear, Theodore Scaltsas & Charles H. Kahn - 1992 - Phronesis 37 (2).
  44.  17
    Visual Detection and Visual Imagery.M. J. Peterson & S. E. Graham - 1974 - Journal of Experimental Psychology 103 (3):509.
  45.  3
    Costs of Preparing to Implement a Virtual Reality Job Interview Training Programme in a Community Mental Health Agency: A Budget Impact Analysis.Matthew J. Smith, Andrea K. Graham, Rachel Sax, E.‐Shawn Spencer, Lisa A. Razzano, Justin D. Smith & Neil Jordan - forthcoming - Journal of Evaluation in Clinical Practice.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  46.  29
    University of Pennsylvania Bicentennial Conference. Studies in Civilization.Studies in the History of Science.E. N., Alan J. B. Wace, Otto E. Neugebauer, William S. Ferguson, Arthur E. R. Boak, Edward K. Rand, Arthur C. Howland, Charles G. Osgood, William J. Entwistle, John H. Randall, Carlton J. H. Hayes, Charles H. McIlwain, Arthur M. Schlesinger, Charles Cestre, Stanley T. Williams, E. A. Speiser, Hermann Ranke, Henry E. Sigerist, Richard H. Shryock, Evarts A. Graham, A. Graham, Edgar A. Singer & Hermann Weyl - 1941 - Journal of Philosophy 38 (21):586.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  47.  28
    Factors Influencing Thresholds for Monocular Movement Parallax.C. H. Graham, Katherine E. Baker, Maressa Hecht & V. V. Lloyd - 1948 - Journal of Experimental Psychology 38 (3):205.
  48. Scottish Philosophy in the Nineteenth Century.Gordon Graham & E. N. Zalta - 2008 - Stanford Encyclopedia of Philosophy.
     
    Export citation  
     
    Bookmark   1 citation  
  49.  76
    Sensations and Grain Processes.George Graham & Terence E. Horgan - 1998 - In Gregory R. Mulhauser (ed.), Evolving Consciousness. John Benjamins.
  50.  26
    Book Review Section 1. [REVIEW]Brian J. Spittle, Samuel M. Vinocur, Virginia Underwood, Robert L. Leight, L. Glenn Smith, Harold M. Bergsma, Robert H. Graham, William M. Bart, George D. Dalin, Lyle S. Maynard, Fred Drewe, Theodore Hutchcroft, Francesco Cordasco, Frank Andrews Stone, Roy R. Nasstrom, Edward B. Goellner, Margaret Gillett, Robert E. Belding, Kenneth V. Lottich & Arden W. Holland - 1981 - Educational Studies 12 (4):431-459.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000