Results for 'Charles Steinhorn'

996 found
Order:
  1.  20
    The Boolean spectrum of an $o$-minimal theory.Charles Steinhorn & Carlo Toffalori - 1989 - Notre Dame Journal of Formal Logic 30 (2):197-206.
  2.  23
    On linearly ordered structures of finite rank.Alf Onshuus & Charles Steinhorn - 2009 - Journal of Mathematical Logic 9 (2):201-239.
    O-minimal structures have long been thought to occupy the base of a hierarchy of ordered structures, in analogy with the role that strongly minimal structures play with respect to stable theories. This is the first in an anticipated series of papers whose aim is the development of model theory for ordered structures of rank greater than one. A class of ordered structures to which a notion of finite rank can be assigned, the decomposable structures, is introduced here. These include all (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  3.  44
    Pseudofinite structures and simplicity.Darío García, Dugald Macpherson & Charles Steinhorn - 2015 - Journal of Mathematical Logic 15 (1):1550002.
    We explore a notion of pseudofinite dimension, introduced by Hrushovski and Wagner, on an infinite ultraproduct of finite structures. Certain conditions on pseudofinite dimension are identified that guarantee simplicity or supersimplicity of the underlying theory, and that a drop in pseudofinite dimension is equivalent to forking. Under a suitable assumption, a measure-theoretic condition is shown to be equivalent to local stability. Many examples are explored, including vector spaces over finite fields viewed as 2-sorted finite structures, and homocyclic groups. Connections are (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  4.  27
    Expansions of o-minimal structures by dense independent sets.Alfred Dolich, Chris Miller & Charles Steinhorn - 2016 - Annals of Pure and Applied Logic 167 (8):684-706.
  5.  20
    Extensions of ordered theories by generic predicates.Alfred Dolich, Chris Miller & Charles Steinhorn - 2013 - Journal of Symbolic Logic 78 (2):369-387.
    Given a theoryTextending that of dense linear orders without endpoints, in a language ℒ ⊇ {<}, we are interested in extensionsT′ ofTin languages extending ℒ by unary relation symbols that are each interpreted in models ofT′ as sets that are both dense and codense in the underlying sets of the models.There is a canonically “wild” example, namelyT= Th andT′ = Th. Recall thatTis o-minimal, and so every open set definable in any model ofThas only finitely many definably connected components. But (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  6.  13
    Definably extending partial orders in totally ordered structures.Janak Ramakrishnan & Charles Steinhorn - 2014 - Mathematical Logic Quarterly 60 (3):205-210.
    We show, for various classes of totally ordered structures, including o‐minimal and weakly o‐minimal structures, that every definable partial order on a subset of extends definably in to a total order. This extends the result proved in for and o‐minimal.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  7.  10
    On variants of o-minimality.Dugald Macpherson & Charles Steinhorn - 1996 - Annals of Pure and Applied Logic 79 (2):165-209.
  8.  31
    On o-minimal expansions of archimedean ordered groups.Michael C. Laskowski & Charles Steinhorn - 1995 - Journal of Symbolic Logic 60 (3):817-831.
    We study o-minimal expansions of Archimedean totally ordered groups. We first prove that any such expansion must be elementarily embeddable via a unique (provided some nonzero element is 0-definable) elementary embedding into a unique o-minimal expansion of the additive ordered group of real numbers R. We then show that a definable function in an o-minimal expansion of R enjoys good differentiability properties and use this to prove that an Archimedean real closed field is definable in any nonsemilinear expansion of R. (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  9.  36
    Definable types in o-minimal theories.David Marker & Charles I. Steinhorn - 1994 - Journal of Symbolic Logic 59 (1):185-198.
  10.  16
    Definable Types in $mathscr{O}$-Minimal Theories.David Marker & Charles I. Steinhorn - 1994 - Journal of Symbolic Logic 59 (1):185-198.
  11.  9
    Discrete o-minimal structures.Anand Pillay & Charles Steinhorn - 1987 - Annals of Pure and Applied Logic 34 (3):275-289.
  12.  15
    Review: A. J. Wilkie, Model Completeness Results for Expansions of the Ordered Field of Real Numbers by Restricted Pfaffian Functions and the Exponential Function. [REVIEW]Charles Steinhorn - 1999 - Journal of Symbolic Logic 64 (2):910-913.
  13.  23
    Wilkie A. J., Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function, Journal of the American Mathematical Society, vol. 9 , pp. 1051–1094. [REVIEW]Charles Steinhorn - 1999 - Journal of Symbolic Logic 64 (2):910-913.
  14.  10
    On the nonaxiomatizability of some logics by finitely many schemas.Saharon Shelah & Charles Steinhorn - 1986 - Notre Dame Journal of Formal Logic 27 (1):1-11.
  15.  10
    The nonaxiomatizability of $L(Q^2{\aleph1})$ by finitely many schemata.Saharon Shelah & Charles Steinhorn - 1989 - Notre Dame Journal of Formal Logic 31 (1):1-13.
  16.  11
    The Nonαxiomαtizαbility of 1.(0^) by Finitely Many Schemata.Saharon Shelah & Charles Steinhorn - 1989 - Notre Dame Journal of Formal Logic 31 (1):1-13.
  17.  19
    A note on nonmultidimensional superstable theories.Anand Pillay & Charles Steinhorn - 1985 - Journal of Symbolic Logic 50 (4):1020-1024.
  18.  38
    On dedekind complete o-minimal structures.Anand Pillay & Charles Steinhorn - 1987 - Journal of Symbolic Logic 52 (1):156-164.
    For a countable complete o-minimal theory T, we introduce the notion of a sequentially complete model of T. We show that a model M of T is sequentially complete if and only if $\mathscr{M} \prec \mathscr{N}$ for some Dedekind complete model N. We also prove that if T has a Dedekind complete model of power greater than 2 ℵ 0 , then T has Dedekind complete models of arbitrarily large powers. Lastly, we show that a dyadic theory--namely, a theory relative (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  19.  36
    Extending Partial Orders on o‐Minimal Structures to Definable Total Orders.Dugald Macpherson & Charles Steinhorn - 1997 - Mathematical Logic Quarterly 43 (4):456-464.
    It is shown that if is an o-minimal structure such that is a dense total order and ≾ is a parameter-definable partial order on M, then ≾ has an extension to a definable total order.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  20.  31
    1995–1996 annual meeting of the association for symbolic logic.Tomek Bartoszynski, Harvey Friedman, Geoffrey Hellman, Bakhadyr Khoussainov, Phokion G. Kolaitis, Richard Shore, Charles Steinhorn, Mirna Dzamonja, Itay Neeman & Slawomir Solecki - 1996 - Bulletin of Symbolic Logic 2 (4):448-472.
  21.  9
    Uncountable real closed fields with pa integer parts.David Marker, James H. Schmerl & Charles Steinhorn - 2015 - Journal of Symbolic Logic 80 (2):490-502.
  22.  28
    Charles Steinhorn. Borel structures for first-order and extended logics. Harvey Friedman's research on the foundations of mathematics, edited by L. A. Harrington, M. D. Morley, A. S̆c̆edrov, and S. G. Simpson, Studies in logic and the foundations of mathematics, vol. 117, North-Holland, Amsterdam, New York, and Oxford, 1985, pp. 161–178. [REVIEW]David Marker - 1990 - Journal of Symbolic Logic 55 (2):874-875.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  23.  8
    Review: Charles Steinhorn, Borel Structures for First-Order and Extended Logics. [REVIEW]David Marker - 1990 - Journal of Symbolic Logic 55 (2):874-875.
  24.  20
    Reviewed Work(s): Finite and algorithmic model theory by Javier Esparza; Christian Michaux; Charles Steinhorn.Michael Benedikt - forthcoming - Association for Symbolic Logic: The Bulletin of Symbolic Logic.
    Review by: Michael Benedikt The Bulletin of Symbolic Logic, Volume 19, Issue 1, Page 112-115, March 2013.
    Direct download  
     
    Export citation  
     
    Bookmark  
  25.  16
    Finite and algorithmic model theory, edited by Javier Esparza, Christian Michaux, and Charles Steinhorn, London Mathematical Society Lecture Note Series. Cambridge University Press, 2011, 356 pp. [REVIEW]Michael Benedikt - 2013 - Bulletin of Symbolic Logic 19 (1):112-115.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  26.  71
    The origin of species.Charles Darwin - 1859 - New York: Norton. Edited by Philip Appleman.
    In The Origin of Species (1859) Darwin challenged many of the most deeply-held beliefs of the Western world. Arguing for a material, not divine, origin of species, he showed that new species are achieved by "natural selection." The Origin communicates the enthusiasm of original thinking in an open, descriptive style, and Darwin's emphasis on the value of diversity speaks more strongly now than ever. As well as a stimulating introduction and detailed notes, this edition offers a register of the many (...)
  27.  20
    On the Origin of Species: By Means of Natural Selection, or the Preservation of Favoured Races in the Struggle for Life.Charles Darwin - 1859 - San Diego: Sterling. Edited by David Quammen.
    Familiarity with Charles Darwin's treatise on evolution is essential to every well-educated individual. One of the most important books ever published--and a continuing source of controversy, a century and a half later--this classic of science is reproduced in a facsimile of the critically acclaimed first edition.
    Direct download  
     
    Export citation  
     
    Bookmark   495 citations  
  28. Should Engineering Ethics be Taught?Charles J. Abaté - 2011 - Science and Engineering Ethics 17 (3):583-596.
    Should engineering ethics be taught? Despite the obvious truism that we all want our students to be moral engineers who practice virtuous professional behavior, I argue, in this article that the question itself obscures several ambiguities that prompt preliminary resolution. Upon clarification of these ambiguities, and an attempt to delineate key issues that make the question a philosophically interesting one, I conclude that engineering ethics not only should not, but cannot, be taught if we understand “teaching engineering ethics” to mean (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  29. Aristotle on meaning and essence.David Charles - 2000 - New York: Oxford University Press.
    David Charles presents a major new study of Aristotle's views on meaning, essence, necessity, and related topics. These interconnected views are central to Aristotle's metaphysics, philosophy of language, and philosophy of science, and are also highly relevant to current philosophical debates. Charles aims to reach a clear understanding of Aristotle's claims and arguments, to assess their truth, and to evaluate their importance to ancient and modern philosophy.
  30. The Morals of Modernity.Charles E. Larmore - 1996 - New York: Cambridge University Press.
    The essays collected in this volume all explore the problem of the relation between moral philosophy and modernity. Charles Larmore addresses this problem by attempting to define the way distinctive forms of modern experience should orientate our moral thinking. Charles Larmore wonders whether the dominant forms of modern philosophy have not become blind to important dimensions of the moral life. The book argues against recent attempts to return to the virtue-centered perspective of ancient Greek ethics. As well as (...)
     
    Export citation  
     
    Bookmark   97 citations  
  31. Plato and the Socratic dialogue: the philosophical use of a literary form.Charles H. Kahn - 1996 - New York: Cambridge University Press.
    This book proposes a new paradigm for the interpretation of Plato's early and middle dialogues. Rejecting the usual assumption of a distinct 'Socratic' period in the development of Plato's thought, this view regards the earlier works as deliberate preparation for the exposition of Plato's mature philosophy. Differences between the dialogues do not represent different stages in Plato's own thinking but rather different aspects and moments in the presentation of a new and unfamiliar view of reality. Once the fictional character of (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   102 citations  
  32.  55
    Philosophers speak of God.Charles Hartshorne & William L. Reese (eds.) - 2000 - Amherst, N.Y.: Humanity Books.
    This wide-ranging anthology of philosophical writings on the concept of God presents a systematic overview of the chief conceptions of deity as well as skeptical and atheistic critiques of theological ideas. The selections cover key philosophic developments in this subject area from ancient times to modern in both the East and West. Editors Hartshorne and Reese-two of the most highly respected scholars in the philosophy of religion-have not only selected many arresting passages from the world's great thinkers but have also (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   27 citations  
  33. A New Foundation for the Propensity Interpretation of Fitness.Charles H. Pence & Grant Ramsey - 2013 - British Journal for the Philosophy of Science 64 (4):851-881.
    The propensity interpretation of fitness (PIF) is commonly taken to be subject to a set of simple counterexamples. We argue that three of the most important of these are not counterexamples to the PIF itself, but only to the traditional mathematical model of this propensity: fitness as expected number of offspring. They fail to demonstrate that a new mathematical model of the PIF could not succeed where this older model fails. We then propose a new formalization of the PIF that (...)
    Direct download (12 more)  
     
    Export citation  
     
    Bookmark   46 citations  
  34.  59
    The origin of species by means of natural selection, or, The preservation of favored races in the struggle for life.Charles Darwin - 1963 - New York: Modern Library. Edited by Paul Landacre & Douglas A. Dunstan.
    Perhaps the most readable and accessible of the great works of scientific imagination, The Origin of Species sold out on the day it was published in 1859. Theologians quickly labeled Charles Darwin the most dangerous man in England, and, as the Saturday Review noted, the uproar over the book quickly "passed beyond the bounds of the study and lecture-room into the drawing-room and the public street." Yet, after reading it, Darwin's friend and colleague T. H. Huxley had a different (...)
    Direct download  
     
    Export citation  
     
    Bookmark   174 citations  
  35. Forgiveness: A Philosophical Exploration.Charles Griswold - 2007 - New York: Cambridge University Press.
    Nearly everyone has wronged another. Who among us has not longed to be forgiven? Who has not struggled to forgive? Charles Griswold has written the first comprehensive philosophical book on forgiveness in both its interpersonal and political contexts, as well as its relation to reconciliation. Having examined the place of forgiveness in ancient philosophy and in modern thought, he discusses what forgiveness is, what conditions the parties to it must meet, its relation to revenge and hatred, when it is (...)
    Direct download  
     
    Export citation  
     
    Bookmark   117 citations  
  36. Complots of Mischief.Charles Pigden - 2006 - In David Coady (ed.), Conspiracy Theories: The Philosophical Debate. Ashgate. pp. 139-166.
    In Part 1, I contend (using Coriolanus as my mouthpiece) that Keeley and Clarke have failed to show that there is anything intellectually suspect about conspiracy theories per se. Conspiracy theorists need not commit the ‘fundamental attribution error’ there is no reason to suppose that all or most conspiracy theories constitute the cores of degenerating research programs, nor does situationism - a dubious doctrine in itself - lend any support to a systematic skepticism about conspiracy theories. In Part 2. I (...)
    Direct download  
     
    Export citation  
     
    Bookmark   28 citations  
  37.  4
    Our Knowledge of Universals.Charles A. Baylis - 1950 - Journal of Symbolic Logic 14 (4):254-254.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  38.  8
    Pragmaticism.Charles S. Peirce - 2024 - De Gruyter.
    Direct download  
     
    Export citation  
     
    Bookmark  
  39.  98
    Concepts, Attention, and Perception.Charles Pelling - 2008 - Philosophical Papers 37 (2):213-242.
    According to the conceptualist view in the philosophy of perception, we must possess concepts for all the objects, properties and relations which feature in our perceptual experiences. In this paper, I investigate the possibility of developing an argument against the conceptualist view by appealing to the notion of attention. In Part One, I begin by setting out an apparently promising version of such an argument, a version which appeals to a link between attention and perceptual demonstrative concept possession. In Part (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  40. A Symposium: Should Homosexuality be in the APA Nomenclature?Charles W. Socarides, Richard Green & Robert L. Spitzer - 2006 - In Stephen A. Green & Sidney Bloch (eds.), An anthology of psychiatric ethics. New York: Oxford University Press. pp. 116.
  41.  28
    The descent of man.Charles Darwin - 1874 - Amherst, N.Y.: Prometheus Books. Edited by Michael T. Ghiselin.
    Divided into three parts, this book's purpose, as given in the introduction, is to consider whether or not man is descended from a pre-existing form, his manner ...
    Direct download  
     
    Export citation  
     
    Bookmark   154 citations  
  42.  50
    On the self-regulation of behavior.Charles S. Carver - 1998 - New York, NY, USA: Cambridge University Press. Edited by Michael Scheier.
    This book presents a thorough overview of a model of human functioning based on the idea that behavior is goal-directed and regulated by feedback control processes. It describes feedback processes and their application to behavior, considers goals and the idea that goals are organized hierarchically, examines affect as deriving from a different kind of feedback process, and analyzes how success expectancies influence whether people keep trying to attain goals or disengage. Later sections consider a series of emerging themes, including dynamic (...)
    Direct download  
     
    Export citation  
     
    Bookmark   148 citations  
  43.  13
    The Logic of Perfection and Other Essays in Neoclassical Metaphysics.Charles Hartshorne - 2011 - Literary Licensing, LLC.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   18 citations  
  44. Pragmatism as a principle and method of right thinking: the 1903 Harvard lectures on pragmatism.Charles Sanders Peirce - 1997 - Albany: State University of New York Press. Edited by Patricia Ann Turrisi.
    This is a study edition of Charles Sanders Peirce's manuscripts for lectures on pragmatism given in spring 1903 at Harvard University.
    Direct download  
     
    Export citation  
     
    Bookmark   23 citations  
  45.  43
    The spirit of laws.Charles de Secondat Montesquieu & Jean Le Rond D' Alembert - 1900 - Amherst, N.Y.: Prometheus Books. Edited by Jean Le Rond D' Alembert, J. V. Prichard & [From Old Catalog].
    Of laws in general -- Of laws directly derived from the nature of government -- Of the principles of the three kinds of government -- That the laws of education ought to be relative to the principles of government -- That the laws given by the legislator ought to be relative to the nature of government -- Consquences of the principles of different governments, with respect to the simplicity of civil and criminal laws, the form of judgements, and inflicting of (...)
    Direct download  
     
    Export citation  
     
    Bookmark   19 citations  
  46. The Autonomy of Morality.Charles Larmore - 2008 - New York: Cambridge University Press.
    In The Autonomy of Morality Charles Larmore challenges two ideas that have shaped the modern mind. The world, he argues, is not a realm of value-neutral fact, nor does human freedom consist in imposing principles of our own devising on an alien reality. Rather, reason consists in being responsive to reasons for thought and action that arise from the world itself. Larmore shows that the moral good has an authority that speaks for itself. Only in this light does the (...)
     
    Export citation  
     
    Bookmark   53 citations  
  47.  30
    A Secular Age.Charles Taylor - 2007 - Harvard University Press.
    The place of religion in society has changed profoundly in the last few centuries, particularly in the West. In what will be a defining book for our time, Taylor takes up the question of what these changes mean, and what, precisely, happens when a society becomes one in which faith is only one human possibility among others.
    No categories
  48.  10
    Variation of animals and plants under domestication.Charles Darwin - 1883 - Washington Square, N.Y.: New York University Press. Edited by Harriet Ritvo.
    Are they needed? To be sure. The Darwinian industry, industrious though it is, has failed to provide texts of more than a handful of Darwin's books. If you want to know what Darwin said about barnacles (still an essential reference to cirripedists, apart from any historical importance) you are forced to search shelves, or wait while someone does it for you; some have been in print for a century; various reprints have appeared and since vanished." -Eric Korn,Times Literary Supplement (...) Robert Darwin (1880-1882) has been widely recognized since his own time as one of the most influential writers in the history of Western thought. His books were widely read by specialists and the general public, and his influence had been extended by almost continuous public debate over the last 130 years. New York University Press' edition makes it possible for the first time to review Darwin's public literary output as a whole, plus his scientific journal articles, his private notebooks, and his correspondence. This is the first complete edition containing all of Darwin's published books, featuring definitive texts recording original paginations with Darwin's indexes retained. All illustrations and plates are presented, inclucing 82 color plates of birds and mammals and several folding maps and plates. The set also features a general introduction and index, and textural introductions in each volume. (shrink)
    Direct download  
     
    Export citation  
     
    Bookmark   63 citations  
  49. Dilemmas and connections: selected essays.Charles Taylor - 2011 - Cambridge, Mass.: Belknap Press of Harvard University Press.
    Iris Murdoch and moral philosophy -- Understanding the other: a Gadamerian view on conceptual schemes -- Language not mysterious? -- Celan and the recovery of language -- Nationalism and modernity -- Conditions of an unforced consensus on human rights -- Democratic exclusion (and its remedies?) -- Religious mobilizations -- Themes from a secular age -- The immanent counter-enlightenment -- Notes on the sources of violence: perennial and modern -- The future of the religious past -- Disenchantment-re-enchantment -- What does secularism (...)
    Direct download  
     
    Export citation  
     
    Bookmark   13 citations  
  50.  36
    From Kant to Husserl: selected essays.Charles Parsons - 2012 - Cambridge, Mass.: Harvard University Press.
    The transcendental aesthetic -- Arithmetic and the categories -- Remarks on pure natural science -- Two studies in the reception of Kant's philosophy of arithmetic: postscript to part I -- Some remarks on Frege's conception of extension -- Postscript to essay 5 -- Frege's correspondence: postscript to essay 6 -- Brentano on judgment and truth -- Husserl and the linguistic turn.
1 — 50 / 996