Results for 'Kenneth Mcaloon'

(not author) ( search as author name )
1000+ found
Order:
  1.  92
    On the complexity of models of arithmetic.Kenneth McAloon - 1982 - Journal of Symbolic Logic 47 (2):403-415.
    Let P 0 be the subsystem of Peano arithmetic obtained by restricting induction to bounded quantifier formulas. Let M be a countable, nonstandard model of P 0 whose domain we suppose to be the standard integers. Let T be a recursively enumerable extension of Peano arithmetic all of whose existential consequences are satisfied in the standard model. Then there is an initial segment M ' of M which is a model of T such that the complete diagram of M ' (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  2.  24
    On Gödel incompleteness and finite combinatorics.Akihiro Kanamori & Kenneth McAloon - 1987 - Annals of Pure and Applied Logic 33 (C):23-41.
  3.  35
    Two further combinatorial theorems equivalent to the 1-consistency of peano arithmetic.Peter Clote & Kenneth Mcaloon - 1983 - Journal of Symbolic Logic 48 (4):1090-1104.
  4.  32
    A Language and Axioms for Explicit Mathematics.Solomon Feferman, J. N. Crossley, Maurice Boffa, Dirk van Dalen & Kenneth Mcaloon - 1984 - Journal of Symbolic Logic 49 (1):308-311.
  5.  35
    Annual meeting of the Association for Symbolic Logic, New York City, December 1987.Nicholas Goodman, Harold T. Hodes, Carl G. Jockusch & Kenneth McAloon - 1988 - Journal of Symbolic Logic 53 (4):1287-1299.
  6.  3
    Logic Colloquium '78: Proceedings of the Colloquium Held in Mons, August 1978.Maurice Boffa, D. van Dalen & Kenneth Mcaloon - 1979 - North-Holland Pub. Co. Elsevier North-Holland, Sole Distributors for the U.S.A. And Canada.
    Direct download  
     
    Export citation  
     
    Bookmark  
  7.  25
    Kenneth McAloon. On the sequence of models HODn. Fundamenta mathematicae, vol. 82 , pp. 85–93. - Thomas J. Jech. Forcing with trees and ordinal definability. Annals of mathematical logic, vol. 7 no. 4 , pp. 387–409. - Włodzimierz Zadrożny. Iterating ordinal definability. Annals of pure and applied logic, vol. 24 , pp. 263–310. [REVIEW]René David - 1987 - Journal of Symbolic Logic 52 (2):570-571.
  8.  22
    Review: Kenneth McAloon, On the Sequence of Models $operatorname{HOD}_n$; Thomas J. Jech, Forcing with Trees and Ordinal Definability; Wlodzimierz Zadrozny, Iterating Ordinal Definability. [REVIEW]Rene David - 1987 - Journal of Symbolic Logic 52 (2):570-571.
  9.  69
    Jack H. Silver. Counting the number of equivalence classes of Borel and coanalytic equivalence relations. Annals of mathematical logic, vol. 18 , pp. 1–28. - John P. Burgess. Equivalences generated by families of Borel sets. Proceedings of the American Mathematical Society. vol. 69 , pp. 323–326. - John P. Burgess. A reflection phenomenon in descriptive set theory. Fundamenta mathematicae. vol. 104 , pp. 127–139. - L. Harrington and R. Sami. Equivalence relations, projective and beyond. Logic Colloquium '78, Proceedings of the Colloquium held in Mons, August 1978, edited by Maurice Boffa, Dirk van Dalen, and Kenneth McAloon, Studies in logic and the foundations of mathematics, vol. 97, North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1979, pp. 247–264. - Leo Harrington and Saharon Shelah. Counting equivalence classes for co-κ-Souslin equivalence relations. Logic Colloquium '80, Papers intended for the European summer meeting of the Association for Symbolic Logic, edit. [REVIEW]Alain Louveau - 1987 - Journal of Symbolic Logic 52 (3):869-870.
  10.  57
    Jon Barwise and John Schlipf. On recursively saturated models of arithmetic. Model theory and algebra, A memorial tribute to Abraham Robinson, edited by D. H. Saracino and V. B. Weispfenning, Lecture notes in mathematics, vol. 498, Springer-Verlag, Berlin, Heidelberg, and New York, 1975, pp. 42–55. - Patrick Cegielski, Kenneth McAloon, and George Wilmers. Modèles récursivement saturés de l'addition et de la multiplication des entiers naturels. Logic Colloquium '80, Papers intended for the European summer meeting of the Association for Symbolic Logic, edited by D. van Dalen, D. Lascar, and T. J. Smiley, Studies in logic and the foundations of mathematics, vol. 108, North-Holland Publishing Company, Amsterdam, New York, and London, 1982, pp. 57–68. - Julia F. Knight. Theories whose resplendent models are homogeneous. Israel journal of mathematics, vol. 42 , pp. 151–161. - Julia Knight and Mark Nadel. Expansions of models and Turing degrees. The journal of symbolic logic, vol. 47 , pp. 58. [REVIEW]J. -P. Ressayre - 1987 - Journal of Symbolic Logic 52 (1):279-284.
  11.  15
    Review: Solomon Feferman, J. N. Crossley, A Language and Axioms for Explicit Mathematics; Solomon Feferman, Maurice Boffa, Dirk van Dalen, Kenneth McAloon, Constructive Theories of Functions and Classes. [REVIEW]G. R. Renardel de Lavalette & A. S. Troelstra - 1984 - Journal of Symbolic Logic 49 (1):308-311.
  12.  67
    McAloon K.. Introduction. Modèles de l'arithmétique, Séminaire Paris VII, edited by McAloon K., Asterisque, no. 73, Société Mathématique de France, Paris 1980, pp. 1–2.Kirby L. A. S.. La méthode des indicatrices et le théorème d'incomplétude. Modèles de l'arithmétique, Séminaire Paris VII, edited by McAloon K., Asterisque, no. 73, Société Mathématique de France, Paris 1980, pp. 5–18.Lascar Daniel. Une indicatrice de type “Ramsey” pour l'arithmétique de Peano et la formule de Paris-Harrington. Modèles de l'arithmétique, Séminaire Paris VII, edited by McAloon K., Asterisque, no. 73, Société Mathématique de France, Paris 1980, 19–30.McAloon Kenneth. Les rapports entre la méthode des indicatrices et la méthode de Gödel pour obtenir des résultats d'indépendance. Modèles de l'arithmétique, Séminaire Paris VII, edited by McAloon K., Asterisque, no. 73, Société Mathématique de France, Paris 1980, pp. 31–39.McAloon Kenneth. Progressions transfinies de théories axiomatiques, formes combinatoires. [REVIEW]J. B. Paris - 1983 - Journal of Symbolic Logic 48 (2):483-484.
  13.  35
    Feferman Solomon. A language and axioms for explicit mathematics. Algebra and logic, Papers from the 1974 Summer Research Institute of the Australian Mathematical Society, Monash University, Australia, edited by Crossley J. N., Lecture notes in mathematics, vol. 450, Springer-Verlag, Berlin, Heidelberg, and New York, 1975, pp. 87–139.Feferman Solomon. Constructive theories of functions and classes. Logic colloquium '78, Proceedings of the colloquium held in Mons, August 1978, edited by Boffa Maurice, van Dalen Dirk, and McAloon Kenneth, Studies in logic and the foundations of mathematics, vol. 97, North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1979, pp. 159–224. [REVIEW]G. R. Renardel de Lavalette & A. S. Troelstra - 1984 - Journal of Symbolic Logic 49 (1):308-311.
  14. An Explanationist Defense of Proper Functionalism.Kenneth Boyce & Andrew Moon - 2023 - In Luis R. G. Oliveira (ed.), Externalism about Knowledge. Oxford: Oxford University Press.
    In this chapter, we defend an explanationist version of proper functionalism. After explaining proper functionalism’s initial appeal, we note two major objections to proper functionalism: creatures with no design plan who appear to have knowledge (Swampman) and creatures with malfunctions that increase reliability. We then note how proper functionalism needs to be clarified because there are cases of what we call warrant-compatible malfunction. We then formulate our own view: explanationist proper functionalism, which explains the warrant-compatible malfunction cases and helps to (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  15. Mereological Idealism.Kenneth L. Pearce - 2017 - In K. Pearce & T. Goldschmidt (eds.), Idealism: New Essays in Metaphysics. Oxford University Press. pp. 200-216.
    According to commonsense, some collections of objects compose wholes, and others do not. However, philosophers have found serious difficulties with attempts to preserve this thesis, and especially with attempts to preserve the existence of just those composite objects recognized by commonsense. In this paper, I defend a classical solution to this problem: "it is the mind that maketh each thing to be one" (Berkeley, Siris, sect. 356). According to this view, which I call 'mereological idealism,' it is when a plurality (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  16. The philosophy of literary form: studies in symbolic action.Kenneth Burke - 1967 - Berkeley: University of California Press.
    Probes the nature of linguistic or symbolic action as it relates to specific novels, plays, and poems.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   23 citations  
  17. Infinite Power and Finite Powers.Kenneth L. Pearce - 2019 - In Benedikt Paul Goecke (ed.), The Infinity of God: Scientific, Theological, and Philosophical Perspectives. Notre Dame University Press.
    Alexander Pruss and I have proposed an analysis of omnipotence which makes no use of the problematic terms 'power' and 'ability'. However, this raises an obvious worry: if our analysis is not related to the notion of power, then how can it count as an analysis of omnipotence, the property of being all-powerful, at all? In this paper, I show how omnipotence can be understood as the possession of infinite power (general, universal, or unlimited power) rather than the possession of (...)
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  18.  92
    Permanence and change: an anatomy of purpose.Kenneth Burke - 1954 - Berkeley: University of California Press.
    INTRODUCTION In an age of specialists, Kenneth Burke's writings offend those who are content with a partial view of human motivation. ...
    Direct download  
     
    Export citation  
     
    Bookmark   16 citations  
  19.  8
    Black-Box Expertise and AI Discourse.Kenneth Boyd - 2023 - The Prindle Post.
  20.  58
    The Problem of Free Harmony in Kant's Aesthetics.Kenneth F. Rogerson - 2008 - State University of New York Press.
    "In this book, Kenneth F. Rogerson explores the first half of Kant's Critique of Judgment, entitled the "Critique of Aesthetic Judgment.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  21.  4
    The Problem of Free Harmony in Kant's Aesthetics.Kenneth F. Rogerson - 2008 - State University of New York Press.
    _A study of the first half of Kant’s Critique of Judgment._.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  22. Corporate responsibility and its constituents.Kenneth E. Goodpaster - 2010 - In George G. Brenkert & Tom L. Beauchamp (eds.), The Oxford handbook of business ethics. New York: Oxford University Press.
     
    Export citation  
     
    Bookmark   11 citations  
  23.  8
    Self‐Consciousness, Anti‐Cartesianism, and Cognitive Semantics in Hegel's 1807 Phenomenology.Kenneth R. Westphal - 2011 - In Stephen Houlgate & Michael Baur (eds.), A Companion to Hegel. Malden, MA: Wiley‐Blackwell. pp. 68–90.
    This chapter contains sections titled: Introduction Hegel's Semantics of Singular Cognitive Reference Hegel's Justification of His Semantics of Singular Cognitive Reference in “Consciousness” “Self‐Consciousness,” Thought, and the Semantics of Singular Cognitive Reference Hegel's Interim Critique of the Ego‐Centric Predicament Conclusion References.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  24.  29
    The servile mind: how democracy erodes the moral life.Kenneth R. Minogue - 2010 - New York: Encounter Books.
    In The Servile Mind: How Democracy Erodes the Moral Life, Kenneth Minogue explores the intelligentsia’s love affair with social perfection and reveals how ...
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  25.  3
    Should You Outsource Important Life Decisions to Algorithms?Kenneth Boyd - 2022 - The Prindle Post.
  26.  8
    The Phaedrus of Plato: a translation with notes and dialogical analysis.Kenneth Christian Quandt - 2020 - Washington: Academica Press. Edited by Plato.
    This pioneering translation of Plato's Phaedrus, with detailed summary and full philological and exegetical notes taking into consideration all commentaries since Hermias, followed by a painstaking dialogical analysis of the text that shows what we must think at every moment in order to understand the thinking that brings the Greek text to life. In Kenneth Quandt's treatment, Plato's seminal work is allowed to create its own horizon and a new and profoundly unified interpretation emerges: Socrates's conversation with Phaedrus reaches (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  27. Modern moral epistemology.Kenneth R. Westphal - 2018 - In Aaron Zimmerman, Karen Jones & Mark Timmons (eds.), Routledge Handbook on Moral Epistemology. Routledge.
     
    Export citation  
     
    Bookmark  
  28.  9
    Contemporary Epistemology: Kant, Hegel, McDowell.Kenneth R. Westphal - 2008-03-17 - In Jakob Lindgaard (ed.), John McDowell. Blackwell. pp. 124–151.
    This chapter contains sections titled: Introduction The Co‐extensiveness of Understanding and Sensibility Identity and Predication Objective Purport and Kant's Transcendental Deduction Proving Mental Content Externalism Transcendentally Notes References.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  29. Footbinding, Exploitation and Wrongfulness: a Non-Marxist Conception.Kenneth G. Butler - 1985 - Diogenes 33 (131):57-73.
    My purpose in this paper is to present a non-Marxist conception of exploitation. While this analysis of exploitation may share features with a Marxist conception, its acceptability is not dependent upon a prior agreement with that world view.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  30.  7
    Promiscuous knowledge: information, image, and other truth games in history.Kenneth Cmiel - 2020 - Chicago: University of Chicago Press. Edited by John Durham Peters.
    Histories of communication are still relatively rare birds, but this one is distinctive on several grounds. The two authors are/were undisputed giants in the field. Ken Cmiel, the originator of the book, still unfinished when he suddenly died in 2006, was a cultural historian of communication; his best friend, John Peters, is one of the world leaders in the intellectual history of communication. In completing that unfinished manuscript, Peters has performed astonishing prestidigitation here in creating an effective hybrid: he retains (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  31. Putting together courage and moderation in Plato and Shakespeare.Kenneth DeLuca - 2021 - In Mary P. Nichols (ed.), Politics, literature, and film in conversation: essays in honor of Mary P. Nichols. Lanham: Lexington Books.
  32.  10
    Buddhism and the Body.Kenneth W. Holloway (ed.) - 2023 - BRILL.
    “Buddhisms” captures the challenge inherent in the diverse practices and beliefs of this religion. In this book, grounding the analysis in the bodies of practitioners provides a new opportunity for coherence that reaches across vast expanses of time and space.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  33.  20
    Redefining the Meaning of 'Morality': A Chapter in the Cultural Politics of Capitalism.Kenneth W. Stikkers - 2016 - Pragmatism Today 7 (2):42-47.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  34.  10
    The Virginia Papers on the Presidency.Kenneth W. Thompson (ed.) - 1980 - Upa.
    Focuses on the theory and practice of presidentialism and constitutionalism.
    Direct download  
     
    Export citation  
     
    Bookmark  
  35.  7
    Rule breaking and political imagination.Kenneth A. Shepsle - 2017 - London: University of Chicago Press.
    “Imagination may be thought of as a ‘work-around.’ It is a resourceful tactic to ‘undo’ a rule by creating a path around it without necessarily defying it.... Transgression, on the other hand, is rule breaking. There is no pretense of reinterpretation; it is defiance pure and simple. Whether imagination or disobedience is the source, constraints need not constrain, ties need not bind.” So writes Kenneth A. Shepsle in his introduction to Rule Breaking and Political Imagination. Institutions are thought to (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  36.  29
    The turnings of darkness and light: essays in philosophical and systematic theology.Kenneth Surin - 1989 - New York: Cambridge University Press.
    This collection of essays, written between 1975 and 1987, covers topics including the doctrine of analogy, the Trinity, theological realism, the problims of evil and suffering, ecclesiology, and the so-called theistic proofs. The earlier writings relect the author's training as a philosopher in the Anglo-Aamerican analytic tradition. Later essays have a more explicitly theological focus, and they attempt to deal with and move beyond the tradition through hermeneutics, and literary and social theory. This collection thus addresses a wider list of (...)
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  37. Ontology and Reason Giving in Law.Kenneth M. Ehrenberg - 2016 - In Paweł Banaś, Adam Dyrda & Tomasz Gizbert-Studnicki (eds.), Metaphilosophy of Law. Portland, Oregon: Hart. pp. 147-158.
  38.  40
    What's wrong with impossible objects?Kenneth J. Perszyk - 1989 - Philosophical Papers 18 (3):241-251.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  39.  7
    Duty of care trumps utilitarianism in multi-professional obesity management decisions.Toni McAloon, Vivien Coates & Donna Fitzsimons - 2022 - Nursing Ethics 29 (6):1401-1414.
    Background Escalating levels of obesity place enormous and growing demands on Health care provision in the (U.K.) United Kingdom. Resources are limited with increasing and competing demands upon them. Ethical considerations underpin clinical decision making generally, but there is limited evidence regarding the relationship between these variables particularly in terms of treating individuals with obesity. Research aim To investigate the views of National Health Service (NHS) clinicians on navigating the ethical challenges and decision making associated with obesity management in adults (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  40.  26
    Unsettling Recolonization: Labourism, Keynesianism and Australasia From the 1890s to tHe 1950S.Jim McAloon - 2008 - Thesis Eleven 92 (1):50-68.
    This paper addresses the now entrenched historiography of the Australian Settlement and New Zealand variations thereof. Against the central premise of this historiography, that a particular regime of domestic insulation and external orientation to the British market constrained development and persisted unchanged until the neo-liberal restructuring of the 1980s, it is argued here that the political economy of the beginning of the 20th century was profoundly destabilized by the Depression. As a result, a new, Keynesian regime was established in New (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  41.  18
    The meanings of landscape: essays on place, space, environment and justice.Kenneth Olwig - 2019 - New York, NY: Routledge.
    Recovering the substantive nature of landscape -- Landscape, place and the state of progress -- Choros, place and the spatialization of landscape -- Are islanders insular? : a personal view -- The case of the missing mask : performance, theater, aetherial space and the practice of landscape//architecture -- Performing on the landscape versus doing landscape : perambulatory practice, sight and the senses of belonging -- Heidegger, Latour and the reification of things : the inversion and spatial enclosure of the substantive (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  42.  13
    The love of parents for their children as the foundation of a just state: close readings of Plato's Republic and the book of Job.Kenneth Post - 2018 - Lewiston: The Edwin Mellen Press.
    The author observes that Plato's Republic and Job have a common premise, namely the extremely unjust treatment of a just person to prove that the person is just, proceeding with a close comparative commentary on both works.
    Direct download  
     
    Export citation  
     
    Bookmark  
  43.  6
    Social theory, sport, leisure.Kenneth Roberts - 2016 - New York: Routledge, Taylor & Francis Group.
    Introduction -- The classical theories -- Emile Durkheim -- Talcott Parsons and structural functionalism -- Karl Marx and marxism -- Max Weber -- The successors -- Norbert Elias -- Critical theory, the Frankfurt school and Jurgen Habermas -- Herbert Blumer and symbolic interactionism -- Michel Foucault -- Pierre Bourdieu -- The present -- The latest modern age -- Modernisation theory -- Conclusions.
    Direct download  
     
    Export citation  
     
    Bookmark  
  44.  9
    The struggle for the soul of teacher education.Kenneth M. Zeichner - 2017 - New York: Routledge, Taylor & Francis Group.
    The Struggle for the Soul of Teacher Education is a much-needed exploration of the unprecedented current controversies and debates over teacher education and professionalism. Set within the context of neo-liberal education reforms across the globe, the book explores how the current struggles over teaching and teacher education in the US came about, as well as reflections on where we should head in the future. Zeichner provides specific examples of work that moves teacher education toward greater congruency between ideals and practices, (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  45. Outlines of a Theory of Justice as Rightness: A General Systems Approach.Kenneth G. Butler - 1983 - Diogenes 31 (122):102-118.
    The origination of General Systems Theory is credited to Ludwig von Bertalanffy who, two years after receiving his doctorate from the University of Vienna, published a work in 1932 entitled Theorie der Formbildung. Despite, by his own account, an exposure to and familiarity with the positivism of the Vienna circle, von Bertalanffy was dissatisfied with the reductionist and atomistic forms of explanation which this group asserted is characteristic of scientific explanation. He was particularly unhappy with attempts to pattern explanations of (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  46.  12
    11 Why Not? God.Kenneth L. Pearce - 2024 - In Mirosław Szatkowski (ed.), Ontology of Divinity. De Gruyter. pp. 249-266.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  47.  57
    Constructivism and Practical Reason in Rawls.Kenneth Baynes - 1992 - Analyse & Kritik 14 (1):18-32.
    This essay argues that Rawls’s recent constructivist approach waivers between a relativist defense and a more Kantian account which grounds his conception of justice in the idea of an agreement between free and equal moral persons. It is suggested that this ambiguity lies at the center of his attempt to provide a “political not metaphysical” account which is also not “political in the wrong way”.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  48. The nature of explanation.Kenneth James Williams Craik - 1943 - Cambridge,: Cambridge University Press.
    Craik published only one complete work of any length, this essay on The Nature of Explanation.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   307 citations  
  49.  22
    Freedom not yet: liberation and the next world order.Kenneth Surin - 2009 - Durham: Duke University Press.
    The complementary deaths of the thinking subject and of the citizen subject -- Producing a Marxist concept of liberation -- Postpolitical politics and global capitalism -- The exacerbation of uneven development : analysis of the current -- The possibility of a new state I : delinking -- Models of liberation I : the politics of identity -- Models of liberation II : the politics of subjectivity -- Models of liberation III : the politics of the event -- Models of liberation (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  50.  8
    Dialogically speaking: Maurice Friedman's interdisciplinary humanism.Kenneth Kramer (ed.) - 2011 - Eugene, Or.: Pickwick Publications.
    "Annotated bibliography of Friedman's books": p. 289-304.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000