Results for 'Andrew Peter Rebera'

1000+ found
Order:
  1. An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof.Peter Bruce Andrews - 1986 - New York, NY, USA: Kluwer Academic Publishers.
    This introduction to mathematical logic starts with propositional calculus and first-order logic. Topics covered include syntax, semantics, soundness, completeness, independence, normal forms, vertical paths through negation normal formulas, compactness, Smullyan's Unifying Principle, natural deduction, cut-elimination, semantic tableaux, Skolemization, Herbrand's Theorem, unification, duality, interpolation, and definability. The last three chapters of the book provide an introduction to type theory (higher-order logic). It is shown how various mathematical concepts can be formalized in this very expressive formal language. This expressive notation facilitates proofs (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   30 citations  
  2.  36
    Resolution in Type Theory.Peter B. Andrews - 1971 - Journal of Symbolic Logic 36 (3):414-432.
  3.  53
    General Models and Extensionality.Peter B. Andrews - 1972 - Journal of Symbolic Logic 37 (2):395-397.
  4.  29
    Church's Type Theory.Peter Andrews - 2008 - Stanford Encyclopedia of Philosophy.
    Church’s type theory, aka simple type theory, is a formal logical language which includes classical first-order and propositional logic, but is more expressive in a practical sense. It is used, with some modifications and enhancements, in most modern applications of type theory. It is particularly well suited to the formalization of mathematics and other disciplines and to specifying and verifying hardware and software. It also plays an important role in the study of the formal semantics of natural language. When utilizing (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  5.  47
    General Models, Descriptions, and Choice in Type Theory.Peter B. Andrews - 1972 - Journal of Symbolic Logic 37 (2):385-394.
  6.  5
    Infantologies II: Songs of the Cradle.Andrew Gibbons, Michael A. Peters, Georgina Tuari Stewart, Marek Tesar, Neil Boland, Viktor Johansson, Nicky de Lautour, Nesta Devine, Nina Hood & Sean Sturm - forthcoming - Educational Philosophy and Theory:1-16.
  7.  13
    An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof.M. Yasuhara & Peter B. Andrews - 1988 - Journal of Symbolic Logic 53 (1):312.
  8.  8
    TPS: A Hybrid Automatic-Interactive System for Developing Proofs.Peter B. Andrews & Chad E. Brown - 2006 - Journal of Applied Logic 4 (4):367-395.
  9.  7
    Andrews Peter B.. An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof. Applied Logic Series, Vol. 27. Kluwer Academic Publishers, Dordrecht, Boston, and London, 2002, Xviii+ 390 Pp. [REVIEW]Mitsuru Yasuhara - 2003 - Bulletin of Symbolic Logic 9 (3):408-408.
  10.  2
    Infantasies: An EPAT Collective Project.Andrew Gibbons, Michael A. Peters, Andrea Delaune, Petar Jandrić, Amy N. Sojot, David W. Kupferman, Marek Tesar, Viktor Johansson, Marta Cabral, Nesta Devine & Nina Hood - 2021 - Educational Philosophy and Theory 53 (14):1442-1453.
    This is a collective writing project that is part of the larger design of Infantologies, Infanticides and Infantilizations; a quartet that explores the philosophy of infants from thematic perspectives, that puts infants at the centre of our reflections, and that encourages a different academic style of thinking.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  11.  25
    W. V. Quine. A Proof Procedure for Quantification Theory. The Journal of Symbolic Logic, Vol. 20 , Pp. 141–149.Peter Andrews - 1966 - Journal of Symbolic Logic 31 (4):657.
  12.  18
    A. H. Lightstone. The Axiomatic Method. An Introduction to Mathematical Logic.Prentice-Hall, Inc., Englewood Cliffs, N.J., 1964, X + 246 Pp. [REVIEW]Peter Andrews - 1966 - Journal of Symbolic Logic 31 (1):106-108.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  13. Review: Richard Goldberg, On the Solvability of a Subclass of the Suranyi Reduction Class. [REVIEW]Peter Andrews - 1965 - Journal of Symbolic Logic 30 (3):391-391.
  14.  11
    Burton Dreben and John Denton. A Supplement to Herbrand. The Journal of Symbolic Logic, Vol. 31 , Pp. 393–398.Peter Andrews - 1967 - Journal of Symbolic Logic 32 (4):521-522.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  15.  10
    Burton Dreben and Warren D. Goldfarb. The Decision Problem. Solvable Classes of Quantificational Formulas. Advanced Book Program. Addison-Wesley Publishing Company, Reading, Mass., 1979, Xii + 271 Pp. [REVIEW]Peter B. Andrews - 1982 - Journal of Symbolic Logic 47 (2):452-453.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  16.  18
    Provability in Elementary Type Theory.Peter B. Andrews - 1974 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 20 (25-27):411-418.
    Direct download  
     
    Export citation  
     
    Bookmark  
  17.  7
    Richard Goldberg. On the Solvability of a Subclass of the Surányi Reduction Class. The Journal of Symbolic Logic, Vol. 28 No. 3 , Pp. 237–244.Peter Andrews - 1965 - Journal of Symbolic Logic 30 (3):391.
  18.  16
    Review: Burton Dreben, Warren D. Goldfarb, The Decision Problem. Solvable Classes of Quantificational Formulas. [REVIEW]Peter B. Andrews - 1982 - Journal of Symbolic Logic 47 (2):452-453.
  19.  22
    On Simplifying the Matrix of a WFF.Peter Andrews - 1968 - Journal of Symbolic Logic 33 (2):180-192.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  20.  9
    Dreben Burton S.. Solvable Surányi Subclasses: An Introduction to the Herbrand Theory. Proceedings of a Harvard Symposium on Digital Computers and Their Applications, 3-6 April 1961, The Annals of the Computation Laboratory of Harvard University, Vol. 31, Harvard University Press, Cambridge, Mass., 1962, Pp. 32–47. [REVIEW]Peter Andrews - 1965 - Journal of Symbolic Logic 30 (3):390-391.
  21.  11
    Provability in Elementary Type Theory.Peter B. Andrews - 1974 - Mathematical Logic Quarterly 20 (25‐27):411-418.
  22.  4
    Resolution and the Consistency of Analysis.Peter B. Andrews - 1974 - Notre Dame Journal of Formal Logic 15 (1):73-84.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  23. Review: A. H. Lightstone, The Axiomatic Method. An Introduction to Mathematical Logic. [REVIEW]Peter Andrews - 1966 - Journal of Symbolic Logic 31 (1):106-108.
  24.  5
    A Note on the Theory of Propositional Types.Peter Andrews & A. Grzegorczyk - 1966 - Journal of Symbolic Logic 31 (3):502.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  25. Review: Burton Dreben, Stal Aanderaa, Herbrand Analyzing Functions. [REVIEW]Peter Andrews - 1967 - Journal of Symbolic Logic 32 (4):521-521.
     
    Export citation  
     
    Bookmark  
  26.  4
    Grzegorczyk A.. A Note on the Theory of Prepositional Types. Fundamenta Mathematicae, Vol. 54 (1964), Pp. 27–29.Peter Andrews - 1966 - Journal of Symbolic Logic 31 (3):502-503.
  27.  1
    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.
  28.  3
    False Lemmas in Herbrand.Burton Dreben & Peter Andrews - 1966 - Journal of Symbolic Logic 31 (4):657-659.
  29.  64
    Donatella Di Cesare: Heidegger, Die Juden, Die Shoah Und Peter Trawny, Andrew J. Mitchell : Heidegger, Die Juden, Noch Einmal.Donatella Di Cesare, Trawny Peter, Andrew J. Mitchell & Reinhard Mehring - 2016 - Philosophischer Literaturanzeiger 69 (2):137-146.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  30.  16
    Argument Grayeve Elegije: Označavajući Pojmovi, Singularni Termini I Istinosnovrijednosna Ovisnost.Andrew P. Rebera - 2009 - Prolegomena 8 (2):207-232.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  31. Premature Consent and Patient Duties.Andrew P. Rebera & Dimitris Dimitriou - 2021 - Medicine, Health Care and Philosophy 24 (4):701-709.
    This paper addresses the problem of ‘premature consent’. The term ‘premature consent’ denotes patient decisions that are: formulated prior to discussion with the appropriate healthcare professional ; based on information from unreliable sources ; and resolutely maintained despite the HCP having provided alternative reliable information. HCPs are not obliged to respect premature consent patients’ demands for unindicated treatments. But why? What is it that premature consent patients do or get wrong? Davis has argued that premature consent patients are incompetent and (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  32.  20
    On the Spot Ethical Decision-Making in CBRN (Chemical, Biological, Radiological or Nuclear Event) Response: Approaches to on the Spot Ethical Decision-Making for First Responders to Large-Scale Chemical Incidents.Andrew P. Rebera & Chaim Rafalowski - 2014 - Science and Engineering Ethics 20 (3):735-752.
    First responders to chemical, biological, radiological, or nuclear events face decisions having significant human consequences. Some operational decisions are supported by standard operating procedures, yet these may not suffice for ethical decisions. Responders will be forced to weigh their options, factoring-in contextual peculiarities; they will require guidance on how they can approach novel ethical problems: they need strategies for “on the spot” ethical decision making. The primary aim of this paper is to examine how first responders should approach on the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  33.  27
    Societal and Ethical Implications of Anti-Spoofing Technologies in Biometrics.Andrew P. Rebera, Matteo E. Bonfanti & Silvia Venier - 2014 - Science and Engineering Ethics 20 (1):155-169.
    Biometric identification is thought to be less vulnerable to fraud and forgery than are traditional forms of identification. However biometric identification is not without vulnerabilities. In a ‘spoofing attack’ an artificial replica of an individual’s biometric trait is used to induce a system to falsely infer that individual’s presence. Techniques such as liveness-detection and multi-modality, as well as the development of new and emerging modalities, are intended to secure biometric identification systems against such threats. Unlike biometrics in general, the societal (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  34.  6
    Jeffrey Andrew Barash on Continental Divide: Heidegger, Cassirer, Davos, by Peter E. Gordon. [REVIEW]Jeffrey Andrew Barash - 2012 - History and Theory 51 (3):436-450.
    In 1929 Ernst Cassirer and Martin Heidegger participated in a momentous debate in Davos, Switzerland, which is widely held to have marked an important division in twentieth-century European thought. Peter E. Gordon’s recent book, Continental Divide: Heidegger, Cassirer, Davos, centers on this debate between these two philosophical adversaries. In his book Gordon examines the background of the debate, the issues that distinguished the respective positions of Cassirer and Heidegger, and the legacy of the debate for later decades. Throughout the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  35. Generic Animalism.Andrew M. Bailey & Peter van Elswyk - 2021 - Journal of Philosophy 118 (8):405-429.
    The animalist says we are animals. This thesis is commonly understood as the universal generalization that all human persons are human animals. This article proposes an alternative: the thesis is a generic that admits of exceptions. We defend the resulting view, which we call ‘generic animalism’, and show its aptitude for diagnosing the limits of eight case-based objections to animalism.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  36. Implications of Action-Oriented Paradigm Shifts in Cognitive Science.Peter F. Dominey, Tony J. Prescott, Jeannette Bohg, Andreas K. Engel, Shaun Gallagher, Tobias Heed, Matej Hoffmann, Gunther Knoblich, Wolfgang Prinz & Andrew Schwartz - 2016 - In Andreas K. Engel, Karl J. Friston & Danica Kragic (eds.), The Pragmatic Turn: Toward Action-Oriented Views in Cognitive Science. MIT Press. pp. 333-356.
    An action-oriented perspective changes the role of an individual from a passive observer to an actively engaged agent interacting in a closed loop with the world as well as with others. Cognition exists to serve action within a landscape that contains both. This chapter surveys this landscape and addresses the status of the pragmatic turn. Its potential influence on science and the study of cognition are considered (including perception, social cognition, social interaction, sensorimotor entrainment, and language acquisition) and its impact (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  37.  6
    Philosophy of Education in a New Key.Michael A. Peters, Sonja Arndt, Marek Tesar, Liz Jackson, Ruyu Hung, Carl Mika, Janis T. Ozolins, Christoph Teschers, Janet Orchard, Rachel Buchanan, Andrew Madjar, Rene Novak, Tina Besley, Sean Sturm, Peter Roberts & Andrew Gibbons - forthcoming - Educational Philosophy and Theory:1-22.
    Michael Peters, Sonja Arndt & Marek TesarThis is a collective writing experiment of PESA members, including its Executive Committee, asking questions of the Philosophy of Education in a New Key. Co...
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  38.  4
    Editorial: Resilience Resources in Chronic Pain Patients: The Path to Adaptation.Carmen Ramírez-Maestre, Rocío de la Vega, John Andrew Sturgeon & Madelon Peters - 2019 - Frontiers in Psychology 10.
  39.  1
    The Philosopher and Society in Late Antiquity: Essays in Honour of Peter Brown.Peter Brown, Andrew Smith & Karin Alt (eds.) - 2005 - Distributor in the U.S., David Brown Bk. Co..
    The philosophers of Late Antiquity have sometimes appeared to be estranged from society. 'We must flee everything physical' is one of the most prominent ideas taken by Augustine from Platonic literature. This collection of new studies by leading writers on Late Antiquity treats both the principles of metaphysics and the practical engagement of philosophers. It points to a more substantive and complex involvement in worldly affairs than conventional handbooks admit.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  40. Towards a Philosophy of Academic Publishing.Michael A. Peters, Petar Jandrić, Ruth Irwin, Kirsten Locke, Nesta Devine, Richard Heraud, Andrew Gibbons, Tina Besley, Jayne White, Daniella Forster, Liz Jackson, Elizabeth Grierson, Carl Mika, Georgina Stewart, Marek Tesar, Susanne Brighouse, Sonja Arndt, George Lazaroiu, Ramona Mihaila, Catherine Legg & Leon Benade - 2016 - Educational Philosophy and Theory 48 (14):1401-1425.
    This article is concerned with developing a philosophical approach to a number of significant changes to academic publishing, and specifically the global journal knowledge system wrought by a range of new digital technologies that herald the third age of the journal as an electronic, interactive and mixed-media form of scientific communication. The paper emerges from an Editors' Collective, a small New Zealand-based organisation comprised of editors and reviewers of academic journals mostly in the fields of education and philosophy. The paper (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   19 citations  
  41. Distinctions Between Emotion and Mood.Andrew M. Lane, Christopher Beedie & Peter C. Terry - 2005 - Cognition and Emotion 19 (6):847-878.
  42.  65
    Evolution and the Human Mind: Modularity, Language and Meta-Cognition.Peter Carruthers & Andrew Chamberlain (eds.) - 2000 - Cambridge University Press.
    How did our minds evolve? Can evolutionary considerations illuminate the question of the basic architecture of the human mind? These are two of the main questions addressed in Evolution and the Human Mind by a distinguished interdisciplinary team of philosophers, psychologists, anthropologists and archaeologists. The essays focus especially on issues to do with modularity of mind, the evolution and significance of natural language, and the evolution of our capacity for meta-cognition, together with its implications for consciousness. The editors have provided (...)
    Direct download  
     
    Export citation  
     
    Bookmark   16 citations  
  43.  92
    The Six Most Essential Questions in Psychiatric Diagnosis: A Pluralogue Part 3: Issues of Utility and Alternative Approaches in Psychiatric Diagnosis. [REVIEW]Peter Zachar, Owen Whooley, GScott Waterman, Jerome C. Wakefield, Thomas Szasz, Michael A. Schwartz, Claire Pouncey, Douglas Porter, Harold A. Pincus, Ronald W. Pies, Joseph M. Pierre, Joel Paris, Aaron L. Mishara, Elliott B. Martin, Steven G. LoBello, Warren A. Kinghorn, Andrew C. Hinderliter, Gary Greenberg, Nassir Ghaemi, Michael B. First, Hannah S. Decker, John Chardavoyne, Michael A. Cerullo, Allen Frances & James Phillips - 2012 - Philosophy, Ethics, and Humanities in Medicine 7 (1):9-.
    In face of the multiple controversies surrounding the DSM process in general and the development of DSM-5 in particular, we have organized a discussion around what we consider six essential questions in further work on the DSM. The six questions involve: 1) the nature of a mental disorder; 2) the definition of mental disorder; 3) the issue of whether, in the current state of psychiatric science, DSM-5 should assume a cautious, conservative posture or an assertive, transformative posture; 4) the role (...)
    Direct download (11 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  44.  24
    Body Maps in the Infant Brain.Peter J. Marshall & Andrew N. Meltzoff - 2015 - Trends in Cognitive Sciences 19 (9):499-505.
  45.  19
    Is Providing Elective Ventilation in the Best Interests of Potential Donors?Andrew John McGee & Benjamin Peter White - 2013 - Journal of Medical Ethics 39 (3):135-138.
    In this paper, we examine the lawfulness of a proposal to provide elective ventilation to incompetent patients who are potential organ donors. Under the current legal framework, this depends on whether the best interests test could be satisfied. It might be argued that, because the Mental Capacity Act 2005 (UK) (and the common law) makes it clear that the best interests test is not confined to the patient's clinical interests, but extends to include the individual's own values, wishes and beliefs, (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  46. Towards a Definition of Life.Peter T. Macklem & Andrew Seely - 2010 - Perspectives in Biology and Medicine 53 (3):330-340.
    Because biologists are concerned with life in all its forms, and physicians deal with life and death on a daily basis, it is crucial that they explicitly understand what life is. Nevertheless, a clear idea of what life means remains elusive, and there is no universally accepted definition. Therefore, we offer our own: Life is a self-contained, self-regulating, self-organizing, self-reproducing, interconnected, open thermodynamic network of component parts which performs work, existing in a complex regime which combines stability and adaptability in (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  47. Why Animalism Matters.Andrew M. Bailey, Allison Krile Thornton & Peter van Elswyk - 2021 - Philosophical Studies 178 (9):2929-2942.
    Here is a question as intriguing as it is brief: what are we? The animalist’s answer is equal in brevity: we are animals. This stark formulation of the animalist slogan distances it from nearby claims—that we are essentially animals, for example, or that we have purely biological criteria of identity over time. Is the animalist slogan—unburdened by modal or criterial commitments—still interesting, though? Or has it lost its bite? In this article we address such questions by presenting a positive case (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  48.  4
    Systems, Subjects, Sessions: To What Extent Do These Factors Influence EEG Data?Andrew Melnik, Petr Legkov, Krzysztof Izdebski, Silke M. Kärcher, W. David Hairston, Daniel P. Ferris & Peter König - 2017 - Frontiers in Human Neuroscience 11.
  49.  15
    Brief Online Training Enhances Competitive Performance: Findings of the BBC Lab UK Psychological Skills Intervention Study.Andrew M. Lane, Peter Totterdell, Ian MacDonald, Tracey J. Devonport, Andrew P. Friesen, Christopher J. Beedie, Damian Stanley & Alan Nevill - 2016 - Frontiers in Psychology 7.
  50. Introduction: Cultures of Theory.Peter Galison & Andrew Warwick - 1998 - Studies in History and Philosophy of Modern Physics 29 (3).
1 — 50 / 1000