Results for 'Phillip Kaye'

1000+ found
Order:
  1. An Introduction to Quantum Computing.Phillip Kaye, Raymond Laflamme & Michele Mosca - 2006 - Oxford University Press UK.
    This concise, accessible text provides a thorough introduction to quantum computing - an exciting emergent field at the interface of the computer, engineering, mathematical and physical sciences. Aimed at advanced undergraduate and beginning graduate students in these disciplines, the text is technically detailed and is clearly illustrated throughout with diagrams and exercises. Some prior knowledge of linear algebra is assumed, including vector spaces and inner products. However, prior familiarity with topics such as quantum mechanics and computational complexity is not required.
     
    Export citation  
     
    Bookmark   4 citations  
  2. In the End It's the Tail: Thomas Aquinas's Fifth Proof of the Existence of God: Kaye & Prisco Aquinas's Fifth Proof.Sharon Kaye - 2005 - Think 4 (11):67-74.
    Kaye and Prisco draw our attention to one of the more obvious difficulties with all versions of the argument from design.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  3.  47
    Ockham's Razor.Sharon Kaye - 2003 - Think 2 (4):91-95.
    Ockham's razor is one of the best-known and most useful tools in the philosopher's toolkit. Here Sharon Kaye explains how the razor works, and also how it may have come by its name.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  4.  24
    Passions in William Ockham's Philosophical Psychology.Sharon M. Kaye - 2007 - Journal of the History of Philosophy 45 (2):330-332.
    Sharon M. Kaye - Passions in William Ockham's Philosophical Psychology - Journal of the History of Philosophy 45:2 Journal of the History of Philosophy 45.2 330-332 Muse Search Journals This Journal Contents Reviewed by Sharon Kaye John Carroll University Vesa Hirvonen. Passions in William Ockham's Philosophical Psychology. Studies in the History and Philosophy of Mind, 2. Dordrecht: Kluwer, 2004. Pp. ix + 212. Cloth, €96.30. This volume is the second in a series aiming to produce monographs that "are (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  5.  5
    Time in the Babylonian Talmud : Natural and Imagined Times in Jewish Law and Narrative.Lynn Kaye - 2018 - Cambridge University Press.
    In this book, Lynn Kaye examines how rabbis of late antiquity thought about time through their legal reasoning and storytelling, and what these insights mean for thinking about time today. Providing close readings of legal and narrative texts in the Babylonian Talmud, she compares temporal ideas with related concepts in ancient and modern philosophical texts and in religious traditions from late antique Mesopotamia. Kaye demonstrates that temporal flexibility in the Babylonian Talmud is a means of exploring and resolving (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  6. Thomas Paine and the Promise of America.Harvey J. Kaye - 2005 - Hill & Wang.
    America’s unfinished revolution The_revolutionary spirit that runs through American history and whose_founding_father and greatest advocate was Thomas Paine is fiercely traced in Thomas Paine and the Promise of America ._Showing how Paine turned Americans into radicals—and how we have remained radicals at heart ever since—Harvey J. Kaye presents the nation’s democratic story with wit, subtlety, and, above all, passion. Paine was one of the most remarkable political writers of the modern world and the greatest radical of a radical age._Through (...)
     
    Export citation  
     
    Bookmark  
  7.  20
    Context Processing in Older Adults: Evidence for a Theory Relating Cognitive Control to Neurobiology in Healthy Aging.Todd S. Braver, Deanna M. Barch, Beth A. Keys, Cameron S. Carter, Jonathan D. Cohen, Jeffrey A. Kaye, Jeri S. Janowsky, Stephan F. Taylor, Jerome A. Yesavage & Martin S. Mumenthaler - 2001 - Journal of Experimental Psychology: General 130 (4):746.
  8.  9
    A Computational Learning Model for Metrical Phonology.B. Elan Dresher & Jonathan D. Kaye - 1990 - Cognition 34 (2):137-195.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   36 citations  
  9.  34
    On Interpretations of Arithmetic and Set Theory.Richard Kaye & Tin Lok Wong - 2007 - Notre Dame Journal of Formal Logic 48 (4):497-510.
    This paper starts by investigating Ackermann's interpretation of finite set theory in the natural numbers. We give a formal version of this interpretation from Peano arithmetic (PA) to Zermelo-Fraenkel set theory with the infinity axiom negated (ZF−inf) and provide an inverse interpretation going the other way. In particular, we emphasize the precise axiomatization of our set theory that is required and point out the necessity of the axiom of transitive containment or (equivalently) the axiom scheme of ∈-induction. This clarifies the (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  10.  13
    Ethical Implications of the Use of Whole Genome Methods in Medical Research.Jane Kaye, Paula Boddington, Jantina de Vries, Naomi Hawkins & Karen Melham - unknown
    The use of genome-wide association studies in medical research and the increased ability to share data give a new twist to some of the perennial ethical issues associated with genomic research. GWAS create particular challenges because they produce fine, detailed, genotype information at high resolution, and the results of more focused studies can potentially be used to determine genetic variation for a wide range of conditions and traits. The information from a GWA scan is derived from DNA that is a (...)
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  11.  29
    Codes of Ethics in Australian Business Corporations.Bruce N. Kaye - 1992 - Journal of Business Ethics 11 (11):857-862.
    Current debate on business ethics in Australia continues apace as the excesses of the 1980s are exposed. Codes of Ethics have been a high profile instrument in the American business scene. A survey of Australia''s largest business corporations reveals a different situation. Codes are not as commonly used, tend to refer to legal requirements and do not have as high a profile within the corporation. Given the changing legal framework in Australia a greater role for Codes of Ethics may emerge.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   18 citations  
  12.  8
    Automorphisms of Recursively Saturated Models of Arithmetic.Richard Kaye, Roman Kossak & Henryk Kotlarski - 1991 - Annals of Pure and Applied Logic 55 (1):67-99.
    We give an examination of the automorphism group Aut of a countable recursively saturated model M of PA. The main result is a characterisation of strong elementary initial segments of M as the initial segments consisting of fixed points of automorphisms of M. As a corollary we prove that, for any consistent completion T of PA, there are recursively saturated countable models M1, M2 of T, such that Aut[ncong]Aut, as topological groups with a natural topology. Other results include a classification (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  13.  64
    The Myth of Parental Rights.Montague Phillip - 2000 - Social Theory and Practice 26 (1):47-68.
  14.  78
    Marking Shifts in Human Research Ethics in the Development of Biobanking.D. Chalmers, M. Burgess, K. Edwards, J. Kaye, E. M. Meslin & D. Nicol - 2015 - Public Health Ethics 8 (1):63-71.
    Biobanks are increasingly being created specifically for research purposes. Concomitantly, we are seeing significant and evolving shifts in research ethics in relation to biobanking. Three discrete shifts are identified in this article. The first extends the ethical focus beyond the protection of human subjects to the promotion of broader community benefits of research utilizing biobanked resources, and an expectation that these benefits will be shared. The second involves the evolution of the traditional consent paradigm for future research uses of biobanks (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  15. From Genomic Databases to Translation: A Call to Action.B. M. Knoppers, J. R. Harris, P. R. Burton, M. Murtagh, D. Cox, M. Deschenes, I. Fortier, T. J. Hudson, J. Kaye & K. Lindpaintner - 2011 - Journal of Medical Ethics 37 (8):515-516.
    The rapid rise of international collaborative science has enabled access to genomic data. In this article, it is argued that to move beyond mapping genomic variation to understanding its role in complex disease aetiology and treatment will require extending data sharing for the purposes of clinical research translation and implementation.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  16.  8
    Diophantine Induction.Richard Kaye - 1990 - Annals of Pure and Applied Logic 46 (1):1-40.
    We show that Matijasevič's Theorem on the diophantine representation of r.e. predicates is provable in the subsystem I ∃ - 1 of Peano Arithmetic formed by restricting the induction scheme to diophantine formulas with no parameters. More specifically, I ∃ - 1 ⊢ IE - 1 + E ⊢ Matijasevič's Theorem where IE - 1 is the scheme of parameter-free bounded existential induction and E is an ∀∃ axiom expressing the existence of a function of exponential growth. We conclude by (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  17.  13
    On Parameter Free Induction Schemas.R. Kaye, J. Paris & C. Dimitracopoulos - 1988 - Journal of Symbolic Logic 53 (4):1082-1097.
    We present a comprehensive study of the axiom schemas IΣ - n , BΣ - n (induction and collection schemas for parameter free Σ n formulas) and some closely related schemas.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  18.  72
    The Languages of Thought.Lawrence J. Kaye - 1995 - Philosophy of Science 62 (1):92-110.
    I critically explore various forms of the language of thought (LOT) hypothesis. Many considerations, including the complexity of representational content and the systematicity of language understanding, support the view that some, but not all, of our mental representations occur in a language. I examine several arguments concerning sententialism and the propositional attitudes, Fodor's arguments concerning infant and animal thought, and Fodor's argument for radical concept nativism and show that none of these considerations require us to postulate a LOT that is (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  19. A False Convergence: Freud and the Hobbesian Problem of Order.Howard L. Kaye - 1991 - Sociological Theory 9 (1):87-105.
    In the 1950s and 1960s Freudian theory was deemed to be a vital part of the sociological tradition, but since then it has fallen from favor, largely because of the simplifications and misinterpretations both by Freud's sociological critics and by his supporters. Chief among such misunderstandings is the tendency to view Freud's social theory as a variant of that of Hobbes, in which a selfish and asocial human nature is made social through the imposition of external constraints; these constraints, as (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  20.  42
    Why the Liberty of Indifference Is Worth Wanting: Buridan's Ass, Friendship, and Peter John Olivi.Sharon M. Kaye - 2004 - History of Philosophy Quarterly 21 (1):21 - 42.
  21.  13
    Challenging Certainty: The Utility and History of Counterfactualism.Simon T. Kaye - 2010 - History and Theory 49 (1):38-57.
    Counterfactualism is a useful process for historians as a thought-experiment because it offers grounds to challenge an unfortunate contemporary historical mindset of assumed, deterministic certainty. This article suggests that the methodological value of counterfactualism may be understood in terms of the three categories of common ahistorical errors that it may help to prevent: the assumptions of indispensability, causality, and inevitability. To support this claim, I survey a series of key counterfactual works and reflections on counterfactualism, arguing that the practice of (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  22.  4
    Friedman, Sy D. And VeliCkovit, B., Al-Definability.I. Hodkinson, R. Kaye, I. Korec, F. Maurin, H. Mildenberger & F. O. Wagner - 1997 - Annals of Pure and Applied Logic 89 (1):277.
  23.  28
    End-Extensions Preserving Power Set.Thomas Forster & Richard Kaye - 1991 - Journal of Symbolic Logic 56 (1):323-328.
  24.  90
    Truth in Generic Cuts.Richard Kaye & Tin Lok Wong - 2010 - Annals of Pure and Applied Logic 161 (8):987-1005.
    In an earlier paper the first author initiated the study of generic cuts of a model of Peano arithmetic relative to a notion of an indicator in the model. This paper extends that work. We generalise the idea of an indicator to a related neighbourhood system; this allows the theory to be extended to one that includes the case of elementary cuts. Most results transfer to this more general context, and in particular we obtain the idea of a generic cut (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  25.  77
    The Computational Account of Belief.Lawrence J. Kaye - 1994 - Erkenntnis 40 (2):137-53.
    Fodor and others who think that scientific, computational psychology will vindicate commonsense belief-desire psychology have maintained that belief can be identified with the explicit storage of a token with appropriate content. I review and develop problems for the explicit storage view and show that a more plausible account identifies belief with the disposition to use a token with appropriate content in explicit reasoning and planning processes and as a basis for action. I argue that this type of inner disposition account (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  26. Are Most of Our Concepts Innate?Lawrence J. Kaye - 1993 - Synthese 2 (2):187-217.
    Fodor has argued that, because concept acquisition relies on the use of concepts already possessed by the learner, all concepts that cannot be definitionally reduced are innate. Since very few reductive definitions are available, it appears that most concepts are innate. After noting the reasons why we find such radical concept nativism implausible, I explicate Fodor's argument, showing that anyone who is committed to mentalistic explanation should take it seriously. Three attempts at avoiding the conclusion are examined and found to (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  27.  35
    A Generalization of Specker's Theorem on Typical Ambiguity.Richard Kaye - 1991 - Journal of Symbolic Logic 56 (2):458-466.
    We generalize Specker's theorem on typical ambiguity, that NF and TST + Ambiguity have the same stratified consequences, to the subschemes Amb(Γ) of ambiguity restricted to classes of sentences Γ with certain natural closure conditions.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  28.  22
    The Mathematics of Logic: A Guide to Completeness Theorems and Their Applications.Richard Kaye - 2007 - Cambridge University Press.
    This undergraduate textbook covers the key material for a typical first course in logic, in particular presenting a full mathematical account of the most important result in logic, the Completeness Theorem for first-order logic. Looking at a series of interesting systems, increasing in complexity, then proving and discussing the Completeness Theorem for each, the author ensures that the number of new concepts to be absorbed at each stage is manageable, whilst providing lively mathematical applications throughout. Unfamiliar terminology is kept to (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  29.  11
    Parameter‐Free Universal Induction.Richard Kaye - 1989 - Mathematical Logic Quarterly 35 (5):443-456.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  30.  18
    Generic Cuts in Models of Arithmetic.Richard Kaye - 2008 - Mathematical Logic Quarterly 54 (2):129-144.
    We present some general results concerning the topological space of cuts of a countable model of arithmetic given by a particular indicator Y.The notion of “indicator” is de.ned in a novel way, without initially specifying what property is indicated and is used to de.ne a topological space of cuts of the model. Various familiar properties of cuts are investigated in this sense, and several results are given stating whether or not the set of cuts having the property is comeagre.A new (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  31.  21
    Normal Subgroups of Nonstandard Symmetric and Alternating Groups.John Allsup & Richard Kaye - 2007 - Archive for Mathematical Logic 46 (2):107-121.
    Let ${\mathfrak{M}}$ be a nonstandard model of Peano Arithmetic with domain M and let ${n \in M}$ be nonstandard. We study the symmetric and alternating groups S n and A n of permutations of the set ${\{0,1,\ldots,n-1\}}$ internal to ${\mathfrak{M}}$ , and classify all their normal subgroups, identifying many externally defined such normal subgroups in the process. We provide evidence that A n and S n are not split extensions by these normal subgroups, by showing that any such complement if (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  32.  68
    Transplendent Models: Expansions Omitting a Type.Fredrik Engström & Richard W. Kaye - 2012 - Notre Dame Journal of Formal Logic 53 (3):413-428.
    We expand the notion of resplendency to theories of the kind T + p", where T is a fi rst-order theory and p" expresses that the type p is omitted. We investigate two di erent formulations and prove necessary and sucient conditions for countable recursively saturated models of PA. Some of the results in this paper can be found in one of the author's doctoral thesis [3].
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  33.  43
    True Friendship and the Logic of Lying.Sharon M. Kaye - 2005 - Journal of Value Inquiry 39 (3-4):475-485.
  34.  10
    Automorphisms of Models of True Arithmetic: Recognizing Some Basic Open Subgroups.Henryk Kotlarski & Richard Kaye - 1994 - Notre Dame Journal of Formal Logic 35 (1):1-14.
    Let M be a countable recursively saturated model of Th(), and let GAut(M), considered as a topological group. We examine connections between initial segments of M and subgroups of G. In particular, for each of the following classes of subgroups HG, we give characterizations of the class of terms of the topological group structure of H as a subgroup of G. (a) for some (b) for some (c) for some (d) for some (Here, M(a) denotes the smallest M containing a, (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  35.  6
    An Interview with Peter Ladefoged.Alan S. Kaye - 2006 - Semiotica 2006 (158):319-334.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  36.  44
    Evolution and Existentialism.Sharon M. Kaye - 2014 - Essays in the Philosophy of Humanism 22 (2):159-171.
    Many philosophers embrace both evolution and existentialism as though these two views provide a mutually supportive foundation for atheism. The story goes that evolution tells us life is meaningless while existentialism tells us what to do about it. In this paper, I aim to debunk this story. I begin by explaining the existentialist quest for the meaning of life. Then I explain why it is inconsistent with the principles of evolution. In the end, I argue that the quest for the (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  37.  18
    On Models Constructed by Means of the Arithmetized Completeness Theorem.Richard Kaye & Henryk Kotlarski - 2000 - Mathematical Logic Quarterly 46 (4):505-516.
    In this paper we study the model theory of extensions of models of first-order Peano Arithmetic by means of the arithmetized completeness theorem applied to a definable complete extension of PA in the original model. This leads us to many interesting model theoretic properties equivalent to reflection principles and ω-consistency, and these properties together with the associated first-order schemes extending PA are studied.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  38.  6
    On Cofinal Extensions of Models of Fragments of Arithmetic.Richard Kaye - 1991 - Notre Dame Journal of Formal Logic 32 (3):399-408.
  39.  78
    Ethical Issues in Palliative Care—Reflections and Considerations Edited by P Webb. Hochland and Hochland, 2000, £15.95, Pp 138. ISBN 1–898507–27–9. [REVIEW]P. Kaye - 2003 - Journal of Medical Ethics 29 (2):121-122.
  40.  12
    Equity’s Treatment of Sexually Transmitted Debt.Miranda Kaye - 1997 - Feminist Legal Studies 5 (1):35-55.
  41.  40
    Q & A.Sharon Kaye - 2009 - The Philosophers' Magazine 45 (45):116-117.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  42.  8
    Infinitary Definitions of Equivalence Relations in Models of PA.Richard Kaye - 1997 - Annals of Pure and Applied Logic 89 (1):37-43.
  43.  12
    Rationalization as Sublimation: On the Cultural Analyses of Weber and Freud.Howard L. Kaye - 1992 - Theory, Culture and Society 9 (4):45-74.
  44.  31
    Amphi-ZF: Axioms for Conway Games.Michael Cox & Richard Kaye - 2012 - Archive for Mathematical Logic 51 (3-4):353-371.
    A theory of two-sided containers, denoted ZF2, is introduced. This theory is then shown to be synonymous to ZF in the sense of Visser (2006), via an interpretation involving Quine pairs. Several subtheories of ZF2, and their relationships with ZF, are also examined. We include a short discussion of permutation models (in the sense of Rieger–Bernays) over ZF2. We close with highlighting some areas for future research, mostly motivated by the need to understand non-wellfounded games.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  45. Forgiveness.Michael Kaye - 1930 - Hibbert Journal 29:202.
     
    Export citation  
     
    Bookmark  
  46. The Running Life : Getting in Touch with Your Inner Hunter-Gatherer.Sharon Kaye - 2007 - In Michael W. Austin (ed.), Running and Philosophy: A Marathon for the Mind. Blackwell.
     
    Export citation  
     
    Bookmark  
  47.  6
    The Theory of $\Kappa$ -Like Models of Arithmetic.Richard Kaye - 1995 - Notre Dame Journal of Formal Logic 36 (4):547-559.
    A model is said to be -like if but for all , . In this paper, we shall study sentences true in -like models of arithmetic, especially in the cases when is singular. In particular, we identify axiom schemes true in such models which are particularly `natural' from a combinatorial or model-theoretic point of view and investigate the properties of models of these schemes.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  48.  28
    The Current State of Language-Origin Studies.Alan S. Kaye & Heidi Waltz - 1992 - American Journal of Semiotics 9 (1):83 - 103.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  49.  9
    Book Review: T. E. Forster. Set Theory with a Universal Set: Exploring an Untyped Universe. [REVIEW]Richard Kaye - 1993 - Notre Dame Journal of Formal Logic 34 (2):302-309.
  50.  40
    Russell, Strawson, and William of Ockham.Sharon Kaye - 1999 - The Proceedings of the Twentieth World Congress of Philosophy 1999:207-216.
    Realism and conventionalism generally establish the parameters of debate over universals. Do abstract terms in language refer to abstract things in the world? The realist answers yes, leaving us with an inflated ontology; the conventionalist answers no, leaving us with subjective categories. I want to defend nominalism in its original medieval sense, as one possibility that aims to preserve objectivity while positing nothing more than concrete individuals in the world. First, I will present paradigmatic statements of realism and conventionalism as (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000