Movatterモバイル変換


[0]ホーム

URL:


PhilPapersPhilPeoplePhilArchivePhilEventsPhilJobs
Order:

1 filter applied
Disambiguations
John T. Baldwin [63]J. Mark Baldwin [60]James Mark Baldwin [54]John Baldwin [26]
J. M. Baldwin [23]J. T. Baldwin [13]J. Baldwin [9]John D. Baldwin [8]

Not all matches are shown. Search with initial or firstname to single out others.

  1.  6
    Development and evolution: including psychophysical evolution, evolution by orthoplasy, and the theory of genetic modes.James Mark Baldwin -1902 - Caldwell, N.J.: Blackburn Press.
    Here reprinted from the 1902 Macmillan edition.
    Direct download  
     
    Export citation  
     
    Bookmark   105 citations  
  2. A new factor in evolution.J. M. Baldwin -2014 - In Francisco José Ayala & John C. Avise,Essential readings in evolutionary biology. Baltimore: The Johns Hopkins University Press.
     
    Export citation  
     
    Bookmark   49 citations  
  3.  25
    Model Theory and the Philosophy of Mathematical Practice: Formalization Without Foundationalism.John T. Baldwin -2018 - Cambridge University Press.
    Major shifts in the field of model theory in the twentieth century have seen the development of new tools, methods, and motivations for mathematicians and philosophers. In this book, John T. Baldwin places the revolution in its historical context from the ancient Greeks to the last century, argues for local rather than global foundations for mathematics, and provides philosophical viewpoints on the importance of modern model theory for both understanding and undertaking mathematical practice. The volume also addresses the impact of (...) model theory on contemporary algebraic geometry, number theory, combinatorics, and differential equations. This comprehensive and detailed book will interest logicians and mathematicians as well as those working on the history and philosophy of mathematics. (shrink)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   12 citations  
  4.  94
    On strongly minimal sets.J. T. Baldwin &A. H. Lachlan -1971 -Journal of Symbolic Logic 36 (1):79-96.
  5.  46
    Stable generic structures.John T. Baldwin &Niandong Shi -1996 -Annals of Pure and Applied Logic 79 (1):1-35.
    Hrushovski originated the study of “flat” stable structures in constructing a new strongly minimal set and a stable 0-categorical pseudoplane. We exhibit a set of axioms which for collections of finite structure with dimension function δ give rise to stable generic models. In addition to the Hrushovski examples, this formalization includes Baldwin's almost strongly minimal non-Desarguesian projective plane and several others. We develop the new case where finite sets may have infinite closures with respect to the dimension function δ. In (...) particular, the generic structure need not be ω-saturated and so the argument for stability is significantly more complicated. We further show that these structures are “flat” and do not interpret a group. (shrink)
    Direct download(5 more)  
     
    Export citation  
     
    Bookmark   39 citations  
  6.  183
    (1 other version)Consciousness and evolution.James Mark Baldwin -1896 -American Naturalist.
  7.  55
    Darwin and the humanities.James Mark Baldwin -1909 - New York: AMS Press.
  8.  128
    Ethical Climate Theory, Whistle-blowing, and the Code of Silence in Police Agencies in the State of Georgia.Gary R. Rothwell &J. Norman Baldwin -2007 -Journal of Business Ethics 70 (4):341-361.
    This article reports the findings from a study that investigates the relationship between ethical climates and police whistle-blowing on five forms of misconduct in the State of Georgia. The results indicate that a friendship or team climate generally explains willingness to blow the whistle, but not the actual frequency of blowing the whistle. Instead, supervisory status, a control variable investigated in previous studies, is the most consistent predictor of both willingness to blow the whistle and frequency of blowing the whistle. (...) Contrary to popular belief, the results also generally indicate that police are more inclined than civilian employees to blow the whistle in Georgia - in other words, they are less inclined to maintain a code of silence. (shrink)
    Direct download(4 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  9.  52
    Upward Stability Transfer for Tame Abstract Elementary Classes.John Baldwin,David Kueker &Monica VanDieren -2006 -Notre Dame Journal of Formal Logic 47 (2):291-298.
    Grossberg and VanDieren have started a program to develop a stability theory for tame classes. We name some variants of tameness and prove the following. Let K be an AEC with Löwenheim-Skolem number ≤κ. Assume that K satisfies the amalgamation property and is κ-weakly tame and Galois-stable in κ. Then K is Galois-stable in κ⁺ⁿ for all n<ω. With one further hypothesis we get a very strong conclusion in the countable case. Let K be an AEC satisfying the amalgamation property (...) and with Löwenheim-Skolem number ℵ₀ that is ω-local and ℵ₀-tame. If K is ℵ₀-Galois-stable then K is Galois-stable in all cardinalities. (shrink)
    Direct download(9 more)  
     
    Export citation  
     
    Bookmark   19 citations  
  10.  34
    Second-order quantifiers and the complexity of theories.J. T. Baldwin &S. Shelah -1985 -Notre Dame Journal of Formal Logic 26 (3):229-303.
  11.  65
    Examples of non-locality.John T. Baldwin &Saharon Shelah -2008 -Journal of Symbolic Logic 73 (3):765-782.
    We use κ-free but not Whitehead Abelian groups to constructElementary Classes (AEC) which satisfy the amalgamation property but fail various conditions on the locality of Galois-types. We introduce the notion that an AEC admits intersections. We conclude that for AEC which admit intersections, the amalgamation property can have no positive effect on locality: there is a transformation of AEC's which preserves non-locality but takes any AEC which admits intersections to one with amalgamation. More specifically we have: Theorem 5.3. There is (...) an AEC with amalgamation which is not (N₀, N₁)-tame but is 2(N0, ∞)-tame; Theorem 3.3. It is consistent with ZFC that there is an AEC with amalgamation which is not (≤ N₂, ≤ N₂)-compact. (shrink)
    Direct download(6 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  12.  14
    (1 other version)Darwin and the Humanities.James Mark Baldwin -1910 -Revue Philosophique de la France Et de l'Etranger 69:434-435.
    Direct download(2 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  13.  31
    The Play of Man.Karl Groos,Elizabeth L. Baldwin &J. Mark Baldwin -1902 -Philosophical Review 11 (2):209-210.
  14.  22
    Categoricity.John T. Baldwin -2009 - American Mathematical Society.
    CHAPTER 1 Combinatorial Geometries and Infinitary Logics In this chapter we introduce two of the key concepts that are used throughout the text. ...
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  15.  34
    Disjoint amalgamation in locally finite aec.John T. Baldwin,Martin Koerwien &Michael C. Laskowski -2017 -Journal of Symbolic Logic 82 (1):98-119.
  16.  47
    As an abstract elementary class.John T. Baldwin,Paul C. Eklof &Jan Trlifaj -2007 -Annals of Pure and Applied Logic 149 (1-3):25-39.
    In this paper we study abstract elementary classes of modules. We give several characterizations of when the class of modules A with is abstract elementary class with respect to the notion that M1 is a strong submodel M2 if the quotient remains in the given class.
    Direct download(4 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  17.  95
    Axiomatizing Changing Conceptions of the Geometric Continuum I: Euclid-Hilbert†.John T. Baldwin -2018 -Philosophia Mathematica 26 (3):346-374.
    We give a general account of the goals of axiomatization, introducing a variant on Detlefsen’s notion of ‘complete descriptive axiomatization’. We describe how distinctions between the Greek and modern view of number, magnitude, and proportion impact the interpretation of Hilbert’s axiomatization of geometry. We argue, as did Hilbert, that Euclid’s propositions concerning polygons, area, and similar triangles are derivable from Hilbert’s first-order axioms. We argue that Hilbert’s axioms including continuity show much more than the geometrical propositions of Euclid’s theorems and (...) thus are an immodest complete descriptive axiomatization of that subject. (shrink)
    Direct download(4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  18.  34
    Mental Development in the Child and the Race. Methods and Process.James Mark Baldwin -1895 -Philosophical Review 4 (2):232.
  19.  21
    Complete Lω1,ω‐sentences with maximal models in multiple cardinalities.John Baldwin &Ioannis Souldatos -2019 -Mathematical Logic Quarterly 65 (4):444-452.
    In [5], examples of incomplete sentences are given with maximal models in more than one cardinality. The question was raised whether one can find similar examples of complete sentences. In this paper, we give examples of complete ‐sentences with maximal models in more than one cardinality. From (homogeneous) characterizability of κ we construct sentences with maximal models in κ and in one of and more. Indeed, consistently we find sentences with maximal models in uncountably many distinct cardinalities.
    No categories
    Direct download(2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  20.  26
    Strongly minimal Steiner systems I: Existence.John Baldwin &Gianluca Paolini -2021 -Journal of Symbolic Logic 86 (4):1486-1507.
    A linear space is a system of points and lines such that any two distinct points determine a unique line; a Steiner k-system is a linear space such that each line has size exactly k. Clearly, as a two-sorted structure, no linear space can be strongly minimal. We formulate linear spaces in a vocabulary $\tau $ with a single ternary relation R. We prove that for every integer k there exist $2^{\aleph _0}$ -many integer valued functions $\mu $ such that (...) each $\mu $ determines a distinct strongly minimal Steiner k-system $\mathcal {G}_\mu $, whose algebraic closure geometry has all the properties of the ab initio Hrushovski construction. Thus each is a counterexample to the Zilber Trichotomy Conjecture. (shrink)
    Direct download(2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  21.  40
    The amalgamation spectrum.John T. Baldwin,Alexei Kolesnikov &Saharon Shelah -2009 -Journal of Symbolic Logic 74 (3):914-928.
    We study when classes can have the disjoint amalgamation property for a proper initial segment of cardinals. Theorem A For every natural number k, there is a class $K_k $ defined by a sentence in $L_{\omega 1.\omega } $ that has no models of cardinality greater than $ \supset _{k - 1} $ , but $K_k $ has the disjoint amalgamation property on models of cardinality less than or equal to $\mathfrak{N}_{k - 3} $ and has models of cardinality $\mathfrak{N}_{k (...) - 1} $ . More strongly, we can have disjoint amalgamation up to $\mathfrak{N}_\alpha $ for α > ω, but have a bound on size of models. Theorem B For every countable ordinal a, there is a class $K_\alpha $ defined by a sentence in $L_{\omega 1.\omega } $ that has no models of cardinality greater than $ \supset _{\omega 1} $ , but K does have the disjoint amalgamation property on models of cardinality less than or equal to $\mathfrak{N}_\alpha $ . Finally we show that we can extend the $\mathfrak{N}_\alpha $ to $ \supset _\alpha $ in the second theorem consistently with ZFC and while having $\mathfrak{N}_i \ll \supset _i $ for 0 > i< α. Similar results hold for arbitrary ordinals α with |α|= K and $L_{k + ,\omega } $. (shrink)
    Direct download(5 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  22.  34
    The Dividing Line Methodology: Model Theory Motivating Set Theory.John T. Baldwin -2021 -Theoria 87 (2):361-393.
    We explore Shelah's model‐theoretic dividing line methodology. In particular, we discuss how problems in model theory motivated new techniques in model theory, for example classifying theories by their potential (consistently with Zermelo–Fraenkel set theory with the axiom of choice (ZFC)) spectrum of cardinals in which there is a universal model. Two other examples are the study (with Malliaris) of the Keisler order leading to a new ZFC result on cardinal invariants and attempts to clarify the “main gap” by reducing the (...) dependence of certain versions on (highly independent) cardinal arithmetic. (shrink)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  23.  143
    Constructing ω-stable structures: Rank 2 fields.John T. Baldwin &Kitty Holland -2000 -Journal of Symbolic Logic 65 (1):371-391.
    We provide a general framework for studying the expansion of strongly minimal sets by adding additional relations in the style of Hrushovski. We introduce a notion of separation of quantifiers which is a condition on the class of expansions of finitely generated models for the expanded theory to have a countable ω-saturated model. We apply these results to construct for each sufficiently fast growing finite-to-one function μ from 'primitive extensions' to the natural numbers a theory T μ of an expansion (...) of an algebraically closed field which has Morley rank 2. Finally, we show that if μ is not finite-to-one the theory may not be ω-stable. (shrink)
    Direct download(12 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  24.  36
    First-order theories of abstract dependence relations.John T. Baldwin -1984 -Annals of Pure and Applied Logic 26 (3):215-243.
  25.  57
    Imitation: A chapter in the natural history of consciousness.James Mark Baldwin -1894 -Mind 3 (9):26-55.
    IMITATION is a matter of such familiarity to us all that it goes usually unattended to: so much so that professed psychologists have left it largely undiscussed. Whether it be one of the more ultimate facts or not, suppose we assume it to be so; let us then see what we can explain by it, and where we may be able to trace its influence in the developed mind.
    Direct download(6 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  26. Social and Ethical Interpretations in Mental Development: A Study in Social Psychology.J. M. Baldwin -1898 -Mind 7 (28):531-535.
    No categories
     
    Export citation  
     
    Bookmark   9 citations  
  27.  24
    On ω 1 -Categorical Theories of Abelian Groups.Angus Macintyre,Joachim Reineke,J. T. Baldwin,Jan Saxl &Walter Baur -1984 -Journal of Symbolic Logic 49 (1):317-321.
  28.  35
    Amalgamation properties and finite models in L n -theories.John Baldwin &Olivier Lessmann -2002 -Archive for Mathematical Logic 41 (2):155-167.
    Djordjević [Dj 1] proved that under natural technical assumptions, if a complete L n -theory is stable and has amalgamation over sets, then it has arbitrarily large finite models. We extend his study and prove the existence of arbitrarily large finite models for classes of models of L n -theories (maybe omitting types) under weaker amalgamation properties. In particular our analysis covers the case of vector spaces.
    Direct download(3 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  29.  31
    (7 other versions)Dictionary of Philosophy and Psychology, etc.James Mark Baldwin -1902 -International Journal of Ethics 13 (1):114-121.
    Direct download  
     
    Export citation  
     
    Bookmark   8 citations  
  30.  139
    Hume's knave and the interests of justice.Jason Baldwin -2004 -Journal of the History of Philosophy 42 (3):277-296.
    In lieu of an abstract, here is a brief excerpt of the content:Hume's Knave and the Interests of JusticeJason Baldwin, doctoral student in philosophyHume's account of the artificial virtues of justice and promise-keeping developed in Book III, Part ii of the Treatise is among the most provocative elements of his ethics. His goal there is to tell a naturalistic story of the origin and moral standing of these virtues, a story that makes no appeal to any irreducibly moral motives or (...) properties but instead grounds even our most basic and apparently binding obligations in the same thoroughly human passions and sentiments with which Hume explains all our actions. Several modern critics, including David Gauthier and Stephen Darwall, have claimed that Hume's story of the artificial virtues is inconsistent with his account of natural human motivations, and have further claimed that Hume himself became aware of this problem in the second Enquiry, where he discussed it in the famous "sensible knave" passage in the last paragraphs of the "Conclusion." They therefore claim that Hume abandoned in the Enquiry what is usually taken to be his official Treatise account of justice and promise-keeping, and may also have intended a different account in the Treatise itself.This paper argues that the sensible knave passage neither signals nor requires any significant change in Hume's official Treatise story of the artificial virtues. Part 1 summarizes this official account, Part 2 explains the challenge Gauthier and Darwall believe the sensible knave poses to this account, and Part 3 defends the standard Humean account from this challenge. Whatever other problems Hume's account of justice and promise-keeping may have, the free rider problem, as developed by Gauthier and Darwall through the character of the sensible knave, is not among them.1. The Interest Account of Artificial Virtues1.1 Hume's Predecessor TraditionsHume makes few explicit references to the English-speaking predecessors whose work informs his thinking about the artificial virtues, and I shall follow his example. [End Page 277] But without pretending to survey that rich and varied history, we may usefully think of Hume's approach to justice and its allied virtues as an attempt to preserve the strengths of two opposed predecessor traditions.1 The first tradition, represented most prominently by Hobbes but also by Mandeville, explains the origin of virtues generally, including Humean artificial virtues, in purely naturalistic terms, without any appeal to divinely ordained ends or observer-independent moral facts. Hume shares this humanistic aspiration, but he disavows the cynical skepticism and crude egoism which are usually taken to accompany it. He wants to tell a story about justice which will allow us to admire its genuine moral worth even as we acknowledge its human pedigree.The second tradition, a reaction to the first, is the moral sense school represented by Shaftesbury, Butler, and especially Hutcheson. This tradition insists, against the cynical egoists, on a moral reality to which our sentiments or consciences give us immediate access, an access secured by God's design. Also characteristic of the moral sense theorists is the claim that human nature contains benevolent motives which are the objects of the moral sense's approval and which are just as basic to our constitution as are selfish motives. Hume avails himself of both moral sense strands, albeit in attenuated form. He agrees that justice and injustice are known by the sentiments, and he also believes that benevolent first-order motives are a part of human nature. But Hume rejects the moral sense tradition's Christian teleology, and he is also less optimistic about the potential of benevolence to explain such complex moral behaviors as are involved in our institutions of justice and promise-keeping.Hume's standard Treatise story of the origin of justice and promise-keeping, which we may call the "interest account," has two stages. In the first stage, Hume explains how the practices which constitute justice and promise-keeping arise through the working of our natural interests; in this stage Hume might be seen as working in the broadly naturalistic-egoist tradition. In the second stage, Hume explains how these practices and the motives which underlie them become the objects of moral evaluation, i.e., why... (shrink)
    Direct download(7 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  31.  104
    The stability spectrum for classes of atomic models.John T. Baldwin &Saharon Shelah -2012 -Journal of Mathematical Logic 12 (1):1250001-.
    We prove two results on the stability spectrum for Lω1,ω. Here [Formula: see text] denotes an appropriate notion of Stone space of m-types over M. Theorem for unstable case: Suppose that for some positive integer m and for every α μ, K is not i-stable in μ. These results provide a new kind of sufficient condition for the unstable case and shed some light on the spectrum of strictly stable theories in this context. The methods avoid the use of compactness (...) in the theory under study. In this paper, we expound the construction of tree indiscernibles for sentences of Lω1,ω. Further we provide some context for a number of variants on the Ehrenfeucht–Mostowski construction. (shrink)
    Direct download(6 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  32.  43
    The primal framework II: smoothness.J. T. Baldwin &S. Shelah -1991 -Annals of Pure and Applied Logic 55 (1):1-34.
    Let be a class of models with a notion of ‘strong’ submodel and of canonically prime model over an increasing chain. We show under appropriate set-theoretic hypotheses that if K is not smooth , then K has many models in certain cardinalities. On the other hand, if K is smooth, we show that in reasonable cardinalities K has a unique homogeneous-universal model. In this situation we introduce the notion of type and prove the equivalence of saturated with homogeneous-universal.
    Direct download(6 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  33.  129
    Model Companions of $T_{\rm Aut}$ for Stable T.John T. Baldwin &Saharon Shelah -2001 -Notre Dame Journal of Formal Logic 42 (3):129-142.
    We introduce the notion T does not omit obstructions. If a stable theory does not admit obstructions then it does not have the finite cover property . For any theory T, form a new theory $T_{\rm Aut}$ by adding a new unary function symbol and axioms asserting it is an automorphism. The main result of the paper asserts the following: If T is a stable theory, T does not admit obstructions if and only if $T_{\rm Aut}$ has a model companion. (...) The proof involves some interesting new consequences of the nfcp. (shrink)
    Direct download(4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  34.  27
    Types of reaction.J. Mark Baldwin -1895 -Psychological Review 2 (3):259-273.
    No categories
    Direct download(3 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  35.  30
    The primal framework I.J. T. Baldwin &S. Shelah -1990 -Annals of Pure and Applied Logic 46 (3):235-264.
  36.  62
    Axiomatizing Changing Conceptions of the Geometric Continuum II: Archimedes-Descartes-Hilbert-Tarski†.John T. Baldwin -2019 -Philosophia Mathematica 27 (1):33-60.
    In Part I of this paper we argued that the first-order systems HP5 and EG are modest complete descriptive axiomatization of most of Euclidean geometry. In this paper we discuss two further modest complete descriptive axiomatizations: Tarksi’s for Cartesian geometry and new systems for adding $$\pi$$. In contrast we find Hilbert’s full second-order system immodest for geometrical purposes but appropriate as a foundation for mathematical analysis.
    Direct download(4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  37.  27
    Hanf numbers for extendibility and related phenomena.John T. Baldwin &Saharon Shelah -2022 -Archive for Mathematical Logic 61 (3):437-464.
    This paper contains portions of Baldwin’s talk at the Set Theory and Model Theory Conference and a detailed proof that in a suitable extension of ZFC, there is a complete sentence of \ that has maximal models in cardinals cofinal in the first measurable cardinal and, of course, never again.
    No categories
    Direct download(3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  38.  35
    Iterated elementary embeddings and the model theory of infinitary logic.John T. Baldwin &Paul B. Larson -2016 -Annals of Pure and Applied Logic 167 (3):309-334.
  39.  66
    DOP and FCP in generic structures.John Baldwin &Saharon Shelah -1998 -Journal of Symbolic Logic 63 (2):427-438.
  40.  58
    Constructing ω-stable structures: model completeness.John T. Baldwin &Kitty Holland -2004 -Annals of Pure and Applied Logic 125 (1-3):159-172.
    The projective plane of Baldwin 695) is model complete in a language with additional constant symbols. The infinite rank bicolored field of Poizat 1339) is not model complete. The finite rank bicolored fields of Baldwin and Holland 371; Notre Dame J. Formal Logic , to appear) are model complete. More generally, the finite rank expansions of a strongly minimal set obtained by adding a ‘random’ unary predicate are almost strongly minimal and model complete provided the strongly minimal set is ‘well-behaved’ (...) and admits ‘exactly rank k formulas’. The last notion is a geometric condition on strongly minimal sets formalized in this paper. (shrink)
    Direct download(4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  41. Handbook of Psychology. Senses and intellect.J. Baldwin -1890 -Revue Philosophique de la France Et de l'Etranger 29:321-322.
     
    Export citation  
     
    Bookmark   5 citations  
  42.  74
    K‐generic Projective Planes have Morley Rank Two or Infinity.John T. Baldwin &Masanori Itai -1994 -Mathematical Logic Quarterly 40 (2):143-152.
    We show that K-generic projective planes have Morley rank either two or infinity. We also show give a direct argument that such planes are not Desarguesian.
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  43.  47
    Thought and things: a study of the development and meaning of thought or genetic logic.James Mark Baldwin -1906 - New York: Arno Press.
    This work has been selected by scholars as being culturally important and is part of the knowledge base of civilization as we know it. This work is in the public domain in the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute this work, as no entity has a copyright on the body of the work. Scholars believe, and we concur, that this work is important enough to be preserved, reproduced, and (...) made generally available to the public. To ensure a quality reading experience, this work has been proofread and republished using a format that seamlessly blends the original graphical elements with text in an easy-to-read typeface. We appreciate your support of the preservation process, and thank you for being an important part of keeping this knowledge alive and relevant. (shrink)
    Direct download(3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  44.  260
    Almost strongly minimal theories. I.John T. Baldwin -1972 -Journal of Symbolic Logic 37 (3):487-493.
  45.  27
    Almost galois ω-stable classes.John T. Baldwin,Paul B. Larson &Saharon Shelah -2015 -Journal of Symbolic Logic 80 (3):763-784.
  46.  24
    The influence of Darwin on theory of knowledge and philosophy.J. Mark Baldwin -1909 -Psychological Review 16 (3):207-218.
  47.  20
    Countable Models of ℵ 1 -Categorical Theories.Michael Morley,J. T. Baldwin &A. H. Lachlan -1975 -Journal of Symbolic Logic 40 (4):636-637.
  48.  30
    A Hanf number for saturation and omission: the superstable case.John T. Baldwin &Saharon Shelah -2014 -Mathematical Logic Quarterly 60 (6):437-443.
  49.  64
    Completeness and categoricity (in power): Formalization without foundationalism.John T. Baldwin -2014 -Bulletin of Symbolic Logic 20 (1):39-79.
    We propose a criterion to regard a property of a theory (in first or second order logic) as virtuous: the property must have significant mathematical consequences for the theory (or its models). We then rehearse results of Ajtai, Marek, Magidor, H. Friedman and Solovay to argue that for second order logic, ‘categoricity’ has little virtue. For first order logic, categoricity is trivial; but ‘categoricity in power’ has enormous structural consequences for any of the theories satisfying it. The stability hierarchy extends (...) this virtue to other complete theories. The interaction of model theory and traditional mathematics is examined by considering the views of such as Bourbaki, Hrushovski, Kazhdan, and Shelah to flesh out the argument that the main impact of formal methods on mathematics is using formal definability to obtain results in ‘mainstream’ mathematics. Moreover, these methods (e.g., the stability hierarchy) provide an organization for much mathematics which gives specific content to dreams of Bourbaki about the architecture of mathematics. (shrink)
    Direct download(3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  50. (2 other versions)Dictionary of philosophy and psychology.James Mark Baldwin -1901 - London,: Macmillan & co..
     
    Export citation  
     
    Bookmark   3 citations  
1 — 50 / 238
Export
Limit to items.
Filters





Configure languageshere.Sign in to use this feature.

Viewing options


Open Category Editor
Off-campus access
Using PhilPapers from home?

Create an account to enable off-campus access through your institution's proxy server or OpenAthens.


[8]ページ先頭

©2009-2025 Movatter.jp