Results for 'Paul E. Howard'

955 found
Order:
  1.  56
    Limitations on the Fraenkel-Mostowski method of independence proofs.Paul E. Howard - 1973 - Journal of Symbolic Logic 38 (3):416-422.
    The Fraenkel-Mostowski method has been widely used to prove independence results among weak versions of the axiom of choice. In this paper it is shown that certain statements cannot be proved by this method. More specifically it is shown that in all Fraenkel-Mostowski models the following hold: 1. The axiom of choice for sets of finite sets implies the axiom of choice for sets of well-orderable sets. 2. The Boolean prime ideal theorem implies a weakened form of Sikorski's theorem.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  2.  44
    Maximal $p$-subgroups and the axiom of choice.Paul E. Howard & Mary Yorke - 1987 - Notre Dame Journal of Formal Logic 28 (2):276-283.
  3.  35
    (1 other version)The Existence of Level Sets in a Free Group Implies the Axiom of Choice.Paul E. Howard - 1987 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 33 (4):315-316.
  4.  91
    Independence results for class forms of the axiom of choice.Paul E. Howard, Arthur L. Rubin & Jean E. Rubin - 1978 - Journal of Symbolic Logic 43 (4):673-684.
    Let NBG be von Neumann-Bernays-Gödel set theory without the axiom of choice and let NBGA be the modification which allows atoms. In this paper we consider some of the well-known class or global forms of the wellordering theorem, the axiom of choice, and maximal principles which are known to be equivalent in NBG and show they are not equivalent in NBGA.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  5.  57
    Subgroups of a free group and the axiom of choice.Paul E. Howard - 1985 - Journal of Symbolic Logic 50 (2):458-467.
  6.  22
    (1 other version)Rado's selection lemma does not imply the Boolean prime ideal theorem.Paul E. Howard - 1984 - Mathematical Logic Quarterly 30 (9‐11):129-132.
  7. Definitions of compact.Paul E. Howard - 1990 - Journal of Symbolic Logic 55 (2):645-655.
  8.  30
    (1 other version)A Proof of a Theorem of Tennenbaum.Paul E. Howard - 1972 - Mathematical Logic Quarterly 18 (7):111-112.
    Direct download  
     
    Export citation  
     
    Bookmark  
  9.  47
    The axiom of choice for countable collections of countable sets does not imply the countable union theorem.Paul E. Howard - 1992 - Notre Dame Journal of Formal Logic 33 (2):236-243.
  10.  30
    The Fraenkel-Mostowski Method for Independence Proofs in Set Theory.J. W. Addison, Leon Henkin, Alfred Tarski & Paul E. Howard - 1975 - Journal of Symbolic Logic 40 (4):631-631.
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  11. The axiom of choice for well-ordered families and for families of well- orderable sets.Paul Howard & Jean E. Rubin - 1995 - Journal of Symbolic Logic 60 (4):1115-1117.
    We show that it is not possible to construct a Fraenkel-Mostowski model in which the axiom of choice for well-ordered families of sets and the axiom of choice for sets are both true, but the axiom of choice is false.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  12. Philosophers and scientists..E. Ray Lankester, Charlton T. Lewis, Richard Holt Hutton, Thomas Davidson, F. Howard Collins & Paul Shorey (eds.) - 1899 - New York,: Doubleday & McClure company.
     
    Export citation  
     
    Bookmark  
  13.  51
    Versions of Normality and Some Weak Forms of the Axiom of Choice.Paul Howard, Kyriakos Keremedis, Herman Rubin & Jean E. Rubin - 1998 - Mathematical Logic Quarterly 44 (3):367-382.
    We investigate the set theoretical strength of some properties of normality, including Urysohn's Lemma, Tietze-Urysohn Extension Theorem, normality of disjoint unions of normal spaces, and normality of Fσ subsets of normal spaces.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  14.  37
    U.S. Responses To Japanese Wartime Inhuman Experimentation After World War Ii: National Security and Wartime Exigency.Howard Brody, Sarah E. Leonard, Jing-bao Nie & Paul Weindling - 2014 - Cambridge Quarterly of Healthcare Ethics 23 (2):220-230.
    In 1945–46, representatives of the U.S. government made similar discoveries in both Germany and Japan, unearthing evidence of unethical experiments on human beings that could be viewed as war crimes. The outcomes in the two defeated nations, however, were strikingly different. In Germany, the United States, influenced by the Canadian physician John Thompson, played a key role in bringing Nazi physicians to trial and publicizing their misdeeds. In Japan, the United States played an equally key role in concealing information about (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  15.  34
    Compactness in Countable Tychonoff Products and Choice.Paul Howard, K. Keremedis & J. E. Rubin - 2000 - Mathematical Logic Quarterly 46 (1):3-16.
    We study the relationship between the countable axiom of choice and the Tychonoff product theorem for countable families of topological spaces.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  16.  50
    Disjoint Unions of Topological Spaces and Choice.Paul Howard, Kyriakos Keremedis, Herman Rubin & Jean E. Rubin - 1998 - Mathematical Logic Quarterly 44 (4):493-508.
    We find properties of topological spaces which are not shared by disjoint unions in the absence of some form of the Axiom of Choice.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  17.  26
    Models of $${{\textsf{ZFA}}}$$ in which every linearly ordered set can be well ordered.Paul Howard & Eleftherios Tachtsis - 2023 - Archive for Mathematical Logic 62 (7):1131-1157.
    We provide a general criterion for Fraenkel–Mostowski models of $${\textsf{ZFA}}$$ (i.e. Zermelo–Fraenkel set theory weakened to permit the existence of atoms) which implies “every linearly ordered set can be well ordered” ( $${\textsf{LW}}$$ ), and look at six models for $${\textsf{ZFA}}$$ which satisfy this criterion (and thus $${\textsf{LW}}$$ is true in these models) and “every Dedekind finite set is finite” ( $${\textsf{DF}}={\textsf{F}}$$ ) is true, and also consider various forms of choice for well-ordered families of well orderable sets in these (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  18.  53
    Paracompactness of Metric Spaces and the Axiom of Multiple Choice.Paul Howard, K. Keremedis & J. E. Rubin - 2000 - Mathematical Logic Quarterly 46 (2):219-232.
    The axiom of multiple choice implies that metric spaces are paracompact but the reverse implication cannot be proved in set theory without the axiom of choice.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  19.  33
    Von Rimscha's Transitivity Conditions.Paul Howard, Jean E. Rubin & Adrienne Stanley - 2000 - Mathematical Logic Quarterly 46 (4):549-554.
    In Zermelo-Fraenkel set theory with the axiom of choice every set has the same cardinal number as some ordinal. Von Rimscha has weakened this condition to “Every set has the same cardinal number as some transitive set”. In set theory without the axiom of choice, we study the deductive strength of this and similar statements introduced by von Rimscha.
    Direct download  
     
    Export citation  
     
    Bookmark  
  20.  55
    The Boolean Prime Ideal Theorem Plus Countable Choice Do Not Imply Dependent Choice.Paul Howard & Jean E. Rubin - 1996 - Mathematical Logic Quarterly 42 (1):410-420.
    Two Fraenkel-Mostowski models are constructed in which the Boolean Prime Ideal Theorem is true. In both models, AC for countable sets is true, but AC for sets of cardinality 2math image and the 2m = m principle are both false. The Principle of Dependent Choices is true in the first model, but false in the second.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  21.  32
    History of American Political Thought.John Agresto, John E. Alvis, Donald R. Brand, Paul O. Carrese, Laurence D. Cooper, Murray Dry, Jean Bethke Elshtain, Thomas S. Engeman, Christopher Flannery, Steven Forde, David Fott, David F. Forte, Matthew J. Franck, Bryan-Paul Frost, David Foster, Peter B. Josephson, Steven Kautz, John Koritansky, Peter Augustine Lawler, Howard L. Lubert, Harvey C. Mansfield, Jonathan Marks, Sean Mattie, James McClellan, Lucas E. Morel, Peter C. Meyers, Ronald J. Pestritto, Lance Robinson, Michael J. Rosano, Ralph A. Rossum, Richard S. Ruderman, Richard Samuelson, David Lewis Schaefer, Peter Schotten, Peter W. Schramm, Kimberly C. Shankman, James R. Stoner, Natalie Taylor, Aristide Tessitore, William Thomas, Daryl McGowan Tress, David Tucker, Eduardo A. Velásquez, Karl-Friedrich Walling, Bradley C. S. Watson, Melissa S. Williams, Delba Winthrop, Jean M. Yarbrough & Michael Zuckert - 2003 - Lexington Books.
    This book is a collection of secondary essays on America's most important philosophic thinkers—statesmen, judges, writers, educators, and activists—from the colonial period to the present. Each essay is a comprehensive introduction to the thought of a noted American on the fundamental meaning of the American regime.
    Direct download  
     
    Export citation  
     
    Bookmark  
  22.  42
    Non-constructive Properties of the Real Numbers.J. E. Rubin, K. Keremedis & Paul Howard - 2001 - Mathematical Logic Quarterly 47 (3):423-431.
    We study the relationship between various properties of the real numbers and weak choice principles.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  23.  43
    No decreasing sequence of cardinals.Paul Howard & Eleftherios Tachtsis - 2016 - Archive for Mathematical Logic 55 (3-4):415-429.
    In set theory without the Axiom of Choice, we investigate the set-theoretic strength of the principle NDS which states that there is no function f on the set ω of natural numbers such that for everyn ∈ ω, f ≺ f, where for sets x and y, x ≺ y means that there is a one-to-one map g : x → y, but no one-to-one map h : y → x. It is a long standing open problem whether NDS implies (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  24.  57
    Products of Compact Spaces and the Axiom of Choice.O. De la Cruz, Paul Howard & E. Hall - 2002 - Mathematical Logic Quarterly 48 (4):508-516.
    We study the Tychonoff Compactness Theorem for several different definitions of a compact space.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  25.  49
    Metric spaces and the axiom of choice.Omar De la Cruz, Eric Hall, Paul Howard, Kyriakos Keremedis & Jean E. Rubin - 2003 - Mathematical Logic Quarterly 49 (5):455-466.
    We study conditions for a topological space to be metrizable, properties of metrizable spaces, and the role the axiom of choice plays in these matters.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  26.  48
    Tp [\ Canadian (Q\ JJJournal of£| Philosophy.Nicholas Asher, Graciela De Pierris, Paul Gomberg, Robert E. Goodin, Charles W. Mills, Jordan Howard Sobel, Andrew Levine, Frank Cunningham, W. J. Waluchow & Wesley Cooper - 1989 - Philosophy 19 (3).
    Direct download  
     
    Export citation  
     
    Bookmark  
  27.  75
    Unions and the axiom of choice.Omar De la Cruz, Eric J. Hall, Paul Howard, Kyriakos Keremedis & Jean E. Rubin - 2008 - Mathematical Logic Quarterly 54 (6):652-665.
    We study statements about countable and well-ordered unions and their relation to each other and to countable and well-ordered forms of the axiom of choice. Using WO as an abbreviation for “well-orderable”, here are two typical results: The assertion that every WO family of countable sets has a WO union does not imply that every countable family of WO sets has a WO union; the axiom of choice for WO families of WO sets does not imply that the countable union (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  28.  68
    Products of compact spaces and the axiom of choice II.Omar De la Cruz, Eric Hall, Paul Howard, Kyriakos Keremedis & Jean E. Rubin - 2003 - Mathematical Logic Quarterly 49 (1):57-71.
    This is a continuation of [2]. We study the Tychonoff Compactness Theorem for various definitions of compactness and for various types of spaces . We also study well ordered Tychonoff products and the effect that the multiple choice axiom has on such products.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  29. Definitions of compactness and the axiom of choice.Omar De la Cruz, Eric Hall, Paul Howard, Jean E. Rubin & Adrienne Stanley - 2002 - Journal of Symbolic Logic 67 (1):143-161.
    We study the relationships between definitions of compactness in topological spaces and the roll the axiom of choice plays in these relationships.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  30.  38
    Azriel Lévy. The Fraenkel-Moslowski method for independence proofs in set theory. The theory of models, Proceedings of the 1963 International Symposium at Berkeley, edited by J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1965, pp. 221–228. - Paul E. Howard. Limitations on the Fraenkel-Mostowski method of independence proofs. The journal of symbolic logic, vol. 38 , pp. 416–422. [REVIEW]David Pincus - 1975 - Journal of Symbolic Logic 40 (4):631.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  31.  83
    Contemporary Perspectives in the Philosophy of Language. Edited by Peter A. French, Theodore E. Uehling, Jr., and Howard K. Wittstein. [REVIEW]Paul Trainor - 1981 - Modern Schoolman 58 (3):206-206.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  32. Race: A Philosophical Introduction.Paul C. Taylor - 2003 - Polity.
    Paul C. Taylor provides an accessible guide to a well-travelled but still-mysterious area of the contemporary social landscape. The result is the first philosophical introduction to the field of race theory and to a non-biological and situational notion of race. Provides the first philosophical introduction to the field of race theory. Outlines the main features and implications of race-thinking; asks questions such as: What is race-thinking? Don’t we know better than to talk about race now? Are there any races? (...)
    Direct download  
     
    Export citation  
     
    Bookmark   57 citations  
  33.  24
    Book Review:Search for a Method Jean-Paul Sartre, Hazel E. Barnes. [REVIEW]Howard L. Parsons - 1966 - Philosophy of Science 33 (1/2):190-.
  34. After Physicalism.Benedikt Paul Göcke (ed.) - 2012 - The University of Notre Dame Press.
    Although physicalism has been the dominant position in recent work in the philosophy of mind, this dominance has not prevented a small but growing number of philosophers from arguing that physicalism is untenable for several reasons: both ontologically and epistemologically it cannot reduce mentality to the realm of the physical, and its attempts to reduce subjectivity to objectivity have thoroughly failed. The contributors to After Physicalism provide powerful alternatives to the physicalist account of the human mind from a dualistic point (...)
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  35.  60
    Approaches to the Study of Attic Vases: Beazley and Pottier (review).John Howard Oakley - 2003 - American Journal of Philology 124 (2):306-309.
    In lieu of an abstract, here is a brief excerpt of the content:American Journal of Philology 124.2 (2003) 306-309 [Access article in PDF] Philippe Rouet. Approaches to the Study of Attic Vases: Beazley and Pottier. Trans. Liz Nash. Oxford Monographs on Classical Archaeology. Oxford: Oxford University Press, 2001. xiii + 167 pp. 21 black and white plates. Cloth, $74. This monograph examines the development of two major approaches in the study of Greek vase painting by focusing on a comparison of (...)
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  36.  58
    Paul Howard and Jean E. Rubin. Consequences of the axiom of choice, Mathematical Surveys and Monographs, vol. 59. American Mathematical Society, Providence, RI, 1998, viii + 432 pp. [REVIEW]Andreas Blass - 2005 - Bulletin of Symbolic Logic 11 (1):61-63.
  37.  29
    Darwin on Man. Howard E. Gruber, Paul H. Barrett, Howard Gruber, Paul Barrett.W. Cannon - 1976 - Isis 67 (1):139-141.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  38. The historical turn in the study of adaptation.Paul E. Griffiths - 1996 - British Journal for the Philosophy of Science 47 (4):511-532.
    A number of philosophers and ‘evolutionary psychologists’ have argued that attacks on adaptationism in contemporary biology are misguided. These thinkers identify anti-adaptationism with advocacy of non-adaptive modes of explanation. They overlook the influence of anti-adaptationism in the development of more rigorous forms of adaptive explanation. Many biologists who reject adaptationism do not reject Darwinism. Instead, they have pioneered the contemporary historical turn in the study of adaptation. One real issue which remains unresolved amongst these methodological advances is the nature of (...)
    Direct download (12 more)  
     
    Export citation  
     
    Bookmark   76 citations  
  39. On the logic of the ontological argument.Paul E. Oppenheimer & Edward N. Zalta - 1991 - Philosophical Perspectives 5:509-529.
    In this paper, the authors show that there is a reading of St. Anselm's ontological argument in Proslogium II that is logically valid (the premises entail the conclusion). This reading takes Anselm's use of the definite description "that than which nothing greater can be conceived" seriously. Consider a first-order language and logic in which definite descriptions are genuine terms, and in which the quantified sentence "there is an x such that..." does not imply "x exists". Then, using an ordinary logic (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   42 citations  
  40. Darwinism and Developmental Systems.Paul E. Griffiths & Russell D. Gray - 2001 - In Susan Oyama, Paul Griffiths & Russell D. Gray (eds.), Cycles of Contingency: Developmental Systems and Evolution. MIT Press. pp. 195-218.
     
    Export citation  
     
    Bookmark   88 citations  
  41. What Emotions Really Are: The Problem of Psychological Categories.Paul E. Griffiths - 1997 - University of Chicago Press.
    Paul E. Griffiths argues that most research on the emotions has been as misguided as Aristotelian efforts to study "superlunary objects" - objects...
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   434 citations  
  42. Towards a 'Machiavellian' theory of emotional appraisal.Paul E. Griffiths - 2004 - In Dylan Evans & Pierre Cruse (eds.), Emotion, Evolution, and Rationality. Oxford University Press.
    The aim of appraisal theory in the psychology of emotion is to identify the features of the emotion-eliciting situation that lead to the production of one emotion rather than another2. A model of emotional appraisal takes the form of a set of dimensions against which potentially emotion-eliciting situations are assessed. The dimensions of the emotion hyperspace might include, for example, whether the eliciting situation fulfills or frustrates the subject’s goals or whether an actor in the eliciting situation has violated a (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  43. Darwinism, process structuralism, and natural kinds.Paul E. Griffiths - 1996 - Philosophy of Science 63 (3):S1-S9.
    Darwinists classify biological traits either by their ancestry (homology) or by their adaptive role. Only the latter can provide traditional natural kinds, but only the former is practicable. Process structuralists exploit this embarrassment to argue for non-Darwinian classifications in terms of underlying developmental mechanisms. This new taxonomy will also explain phylogenetic inertia and developmental constraint. I argue that Darwinian homologies are natural kinds despite having historical essences and being spatio-temporally restricted. Furthermore, process structuralist explanations of biological form require an unwarranted (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   29 citations  
  44. Unto Others: The Evolution and Psychology of Unselfish Behavior.Paul E. Griffiths - 2002 - Mind 111 (441):178-182.
  45. Function, homology and character individuation.Paul E. Griffiths - 2006 - Philosophy of Science 73 (1):1-25.
    I defend the view that many biological categories are defined by homology against a series of arguments designed to show that all biological categories are defined, at least in part, by selected function. I show that categories of homology are `abnormality inclusive'—something often alleged to be unique to selected function categories. I show that classifications by selected function are logically dependent on classifications by homology, but not vice-versa. Finally, I reject the view that biologists must use considerations of selected function (...)
    Direct download (16 more)  
     
    Export citation  
     
    Bookmark   64 citations  
  46.  13
    Computational properties of argument systems satisfying graph-theoretic constraints.Paul E. Dunne - 2007 - Artificial Intelligence 171 (10-15):701-729.
  47. Adaptive Explanation and the Concept of a Vestige.Paul E. Griffiths - 1994 - In David L. Hull (ed.), Review article. Springer. pp. 111-131.
     
    Export citation  
     
    Bookmark   22 citations  
  48.  20
    Coherence in finite argument systems.Paul E. Dunne & T. J. M. Bench-Capon - 2002 - Artificial Intelligence 141 (1-2):187-203.
  49. Replicator II – judgement day.Paul E. Griffiths & Russell D. Gray - 1997 - Biology and Philosophy 12 (4):471-492.
    The Developmental Systems approach to evolution is defended against the alternative extended replicator approach of Sterelny, Smith and Dickison (1996). A precise definition is provided of the spatial and temporal boundaries of the life-cycle that DST claims is the unit of evolution. Pacé Sterelny et al., the extended replicator theory is not a bulwark against excessive holism. Everything which DST claims is replicated in evolution can be shown to be an extended replicator on Sterelny et al.s definition. Reasons are given (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   50 citations  
  50.  16
    Two party immediate response disputes: Properties and efficiency.Paul E. Dunne & T. J. M. Bench-Capon - 2003 - Artificial Intelligence 149 (2):221-250.
1 — 50 / 955