43 found
Order:
Disambiguations
Juliette Kennedy [46]Juliette Cara Kennedy [2]
  1.  25
    Logicality and model classes.Juliette Kennedy & Jouko Väänänen - 2021 - Bulletin of Symbolic Logic 27 (4):385-414.
    We ask, when is a property of a model a logical property? According to the so-called Tarski–Sher criterion this is the case when the property is preserved by isomorphisms. We relate this to model-theoretic characteristics of abstract logics in which the model class is definable. This results in a graded concept of logicality in the terminology of Sagi [46]. We investigate which characteristics of logics, such as variants of the Löwenheim–Skolem theorem, Completeness theorem, and absoluteness, are relevant from the logicality (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  2.  34
    Inner models from extended logics: Part 1.Juliette Kennedy, Menachem Magidor & Jouko Väänänen - 2020 - Journal of Mathematical Logic 21 (2):2150012.
    If we replace first-order logic by second-order logic in the original definition of Gödel’s inner model L, we obtain the inner model of hereditarily ordinal definable sets [33]. In this paper...
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  3. (2 other versions)On the philosophical development of Kurt gödel.Mark van Atten & Juliette Kennedy - 2003 - Bulletin of Symbolic Logic 9 (4):425-476.
    It is by now well known that Gödel first advocated the philosophy of Leibniz and then, since 1959, that of Husserl. This raises three questions:1.How is this turn to Husserl to be interpreted? Is it a dismissal of the Leibnizian philosophy, or a different way to achieve similar goals?2.Why did Gödel turn specifically to the later Husserl's transcendental idealism?3.Is there any detectable influence from Husserl on Gödel's writings?Regarding the first question, Wang [96, p.165] reports that Gödel ‘[saw] in Husserl's work (...)
    Direct download (11 more)  
     
    Export citation  
     
    Bookmark   19 citations  
  4.  20
    Critical Studies/Book Reviews.Juliette Kennedy - forthcoming - Philosophia Mathematica.
  5.  25
    Interpreting Gödel: Critical Essays.Juliette Kennedy (ed.) - 2014 - Cambridge: Cambridge University Press.
    The logician Kurt Gödel published a paper in 1931 formulating what have come to be known as his 'incompleteness theorems', which prove, among other things, that within any formal system with resources sufficient to code arithmetic, questions exist which are neither provable nor disprovable on the basis of the axioms which define the system. These are among the most celebrated results in logic today. In this volume, leading philosophers and mathematicians assess important aspects of Gödel's work on the foundations and (...)
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  6.  38
    (1 other version)On formalism freeness: Implementing gödel's 1946 princeton bicentennial lecture.Juliette Kennedy - 2013 - Association for Symbolic Logic: The Bulletin of Symbolic Logic 19 (3).
    In this paper we isolate a notion that we call "formalism freeness" from Gödel's 1946 Princeton Bicentennial Lecture, which asks for a transfer of the Turing analysis of computability to the cases of definability and provability We suggest an implementation of Gödel's idea in the case of definability, via versions of the constructible hierarchy based on fragments of second order logic. We also trace the notion of formalism freeness in the very wide context of developments in mathematical logic in the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  7.  15
    Gödel, Tarski and the Lure of Natural Language: Logical Entanglement, Formalism Freeness.Juliette Kennedy - 2020 - Cambridge: Cambridge University Press.
    Is mathematics 'entangled' with its various formalisations? Or are the central concepts of mathematics largely insensitive to formalisation, or 'formalism free'? What is the semantic point of view and how is it implemented in foundational practice? Does a given semantic framework always have an implicit syntax? Inspired by what she calls the 'natural language moves' of Gödel and Tarski, Juliette Kennedy considers what roles the concepts of 'entanglement' and 'formalism freeness' play in a range of logical settings, from computability and (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  8.  74
    Regular ultrafilters and finite square principles.Juliette Kennedy, Saharon Shelah & Jouko Väänänen - 2008 - Journal of Symbolic Logic 73 (3):817-823.
    We show that many singular cardinals λ above a strongly compact cardinal have regular ultrafilters D that violate the finite square principle $\square _{\lambda ,D}^{\mathit{fin}}$ introduced in [3]. For such ultrafilters D and cardinals λ there are models of size λ for which Mλ / D is not λ⁺⁺-universal and elementarily equivalent models M and N of size λ for which Mλ / D and Nλ / D are non-isomorphic. The question of the existence of such ultrafilters and models was (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  9.  47
    On regular reduced products.Juliette Kennedy & Saharon Shelah - 2002 - Journal of Symbolic Logic 67 (3):1169-1177.
    Assume $\langle \aleph_0, \aleph_1 \rangle \rightarrow \langle \lambda, \lambda^+ \rangle$ . Assume M is a model of a first order theory T of cardinality at most λ+ in a language L(T) of cardinality $\leq \lambda$ . Let N be a model with the same language. Let Δ be a set of first order formulas in L(T) and let D be a regular filter on λ. Then M is $\Delta-embeddable$ into the reduced power $N^\lambda/D$ , provided that every $\Delta-existential$ formula true (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  10.  34
    Gödel's Logic.Mark van Atten & Juliette Kennedy - 2009 - In Dov Gabbay (ed.), The Handbook of the History of Logic. Elsevier. pp. 449-509.
  11.  48
    More on Regular Reduced Products.Juliette Cara Kennedy & Saharon Shelah - 2004 - Journal of Symbolic Logic 69 (4):1261 - 1266.
    The authors show. by means of a finitary version $\square_{\lambda D}^{fin}$ of the combinatorial principle $\square_\lambda^{h*}$ of [7]. the consistency of the failure, relative to the consistency of supercompact cardinals, of the following: for all regular filters D on a cardinal A. if Mi and Ni are elementarily equivalent models of a language of size $\leq \lambda$ , then the second player has a winning strategy in the Ehrenfeucht- $Fra\uml{i}ss\acute{e}$ game of length $\lambda^{+}$ on $\pi_{i} M_{i}/D$ and $\pi_{i} N_{i}/D$ . (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  12.  42
    Kurt gödel.Juliette Kennedy - 2008 - Stanford Encyclopedia of Philosophy.
  13.  54
    Aesthetics and the Dream of Objectivity: Notes from Set Theory.Juliette Kennedy & Jouko Väänänen - 2015 - Inquiry: An Interdisciplinary Journal of Philosophy 58 (1):83-98.
    In this paper, we consider various ways in which aesthetic value bears on, if not serves as evidence for, the truth of independent statements in set theory.... the aesthetic issue, which in practice will also for me be the decisive factor—John von Neumann, letter to Carnap, 1931For me, it is the aesthetics which may very well be the final arbiter—P. J. Cohen, 2002.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  14. Kant, Co-production, Actuality and Pedestrian Space: On the Philosophical Writings of Fred Sandback.Juliette Kennedy - 2017 - In Roman Kossak & Philip Ording (eds.), Simplicity: Ideals of Practice in Mathematics and the Arts. Springer.
    Direct download  
     
    Export citation  
     
    Bookmark  
  15. Introduction.Juliette Kennedy & Gabriel Sandu - 2003 - Synthese 137 (1-2):1-1.
    The present volume collects presented at a symposium on The History of Logic held in Helsinki in June 11–13, 2000 hosted by the University of Helsinki, Finland. They bear on issues in the history of logic and foundations of mathematics and are contributions by some of the most renown scholars in the field.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  16.  22
    Gödel, Turing and the Iconic/Performative Axis.Juliette Cara Kennedy - 2022 - Philosophies 7 (6):141.
    1936 was a watershed year for computability. Debates among Gödel, Church and others over the correct analysis of the intuitive concept “human effectively computable”, an analysis at the heart of the Incompleteness Theorems, the Entscheidungsproblem, the question of what a finite computation is, and most urgently—for Gödel—the generality of the Incompleteness Theorems, were definitively set to rest with the appearance, in that year, of the Turing Machine. The question I explore here is, do the mathematical facts exhaust what is to (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  17.  23
    Regular Ultrapowers at Regular Cardinals.Juliette Kennedy, Saharon Shelah & Jouko Väänänen - 2015 - Notre Dame Journal of Formal Logic 56 (3):417-428.
    In earlier work by the first and second authors, the equivalence of a finite square principle $\square^{\mathrm{fin}}_{\lambda,D}$ with various model-theoretic properties of structures of size $\lambda $ and regular ultrafilters was established. In this paper we investigate the principle $\square^{\mathrm{fin}}_{\lambda,D}$—and thereby the above model-theoretic properties—at a regular cardinal. By Chang’s two-cardinal theorem, $\square^{\mathrm{fin}}_{\lambda,D}$ holds at regular cardinals for all regular filters $D$ if we assume the generalized continuum hypothesis. In this paper we prove in ZFC that, for certain regular filters (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  18. On Applications of Transfer Principles in Model Theory.Juliette Kennedy & Jouko Vaananen - 2007 - In Alessandro Andretta (ed.), On Applications of Transfer Principles in Model Theory. Quaderni di Matematica.
     
    Export citation  
     
    Bookmark  
  19.  14
    The Philosophy of Penelope Maddy.Sophia Arbeiter & Juliette Kennedy (eds.) - 2024 - Springer.
    This volume features more than 20 essays that explore the work of one of the most important contemporary philosophers of mathematics. It will help readers to better appreciate this significant and prolific philosopher. Within philosophy of mathematics, Penelope Maddy initially advocated realism. She then went on to advance naturalism. Both of her positions became very influential in the field, along with her other work in the philosophy of logic. The contributors comment on and otherwise engage with Maddy’s work. They also (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  20.  21
    Mapping Traces: Editorial Introduction.María Clara Cortés, Juliette Kennedy & Andrés Villaveces - 2021 - Theoria 87 (4):870-873.
    Theoria, Volume 87, Issue 4, Page 870-873, August 2021.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  21. Can the Continuum Hypothesis be Solved?Juliette Kennedy - 2011 - The Institute Letter.
  22.  29
    Gödel and the Integrated Self, or: On the Philosopher's Second Sailing.Juliette Kennedy - 2020 - Theoria 87 (4):874-884.
    Theoria, Volume 87, Issue 4, Page 874-884, August 2021.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  23.  26
    Gödel's Incompleteness Theorems.Juliette Kennedy - 2022 - Cambridge University Press.
    This Element takes a deep dive into Gödel's 1931 paper giving the first presentation of the Incompleteness Theorems, opening up completely passages in it that might possibly puzzle the student, such as the mysterious footnote 48a. It considers the main ingredients of Gödel's proof: arithmetization, strong representability, and the Fixed Point Theorem in a layered fashion, returning to their various aspects: semantic, syntactic, computational, philosophical and mathematical, as the topic arises. It samples some of the most important proofs of the (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  24. Gödel's Modernism: On Set Theoretic Incompleteness, Revisited.Juliette Kennedy - 2008 - In Sten Lindstr©œm, Erik Palmgren, Krister Segerberg & Viggo Stoltenberg-Hansen (eds.), logicism, intuitionism, and formalism - What has become of them? Berlin, Germany: Springer.
  25.  26
    Gödel's Thesis--An Appreciation.Juliette Kennedy - 2011 - In Baaz Mathias, Christos Papadimitriou, Hilary Putnam, Dana Scott & Charles Harper (eds.), Horizons of Truth. Cambridge University Press. pp. 95.
    Direct download  
     
    Export citation  
     
    Bookmark  
  26. History of Logic.Juliette Kennedy & Gabriel Sandu - 2003 - Synthese 137:459-460.
     
    Export citation  
     
    Bookmark  
  27. Incompleteness - A Book Review.Juliette Kennedy - 2006 - Notices of the American Mathematical Society.
  28. On embedding models of arithmetic into reduced powers.Juliette Kennedy - 2003 - Matematica Contemporanea 24 (1):91--115.
     
    Export citation  
     
    Bookmark   1 citation  
  29. On embedding models of arithmetic of cardinality aleph_1 into reduced powers.Juliette Kennedy & Saharon Shelah - 2003 - Fundamenta Mathematicae 176 (1).
     
    Export citation  
     
    Bookmark  
  30. On Gödel's Logic.Juliette Kennedy & Mark van Atten - 2009 - In Dov Gabbay (ed.), The Handbook of the History of Logic. Elsevier.
     
    Export citation  
     
    Bookmark  
  31.  23
    Preface.Juliette Kennedy & Jaap van Oosten - 2012 - Annals of Pure and Applied Logic 163 (10):1359.
  32. Review of “Kurt Gödel: Das Album”,.Juliette Kennedy - 2007 - The Mathematical Intelligencer 29 (3): 73-75,.
     
    Export citation  
     
    Bookmark  
  33.  81
    Set Theory, Arithmetic, and Foundations of Mathematics: Theorems, Philosophies.Juliette Kennedy & Roman Kossak (eds.) - 2011 - Cambridge University Press.
    Machine generated contents note: 1. Introduction Juliette Kennedy and Roman Kossak; 2. Historical remarks on Suslin's problem Akihiro Kanamori; 3. The continuum hypothesis, the generic-multiverse of sets, and the [OMEGA] conjecture W. Hugh Woodin; 4. [omega]-Models of finite set theory Ali Enayat, James H. Schmerl and Albert Visser; 5. Tennenbaum's theorem for models of arithmetic Richard Kaye; 6. Hierarchies of subsystems of weak arithmetic Shahram Mohsenipour; 7. Diophantine correct open induction Sidney Raffer; 8. Tennenbaum's theorem and recursive reducts James H. (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  34. Turing, Gödel and the “Bright Abyss”.Juliette Kennedy - 2017 - In Alisa Bokulich & Juliet Floyd (eds.), Philosophical Explorations of the Legacy of Alan Turing. Springer Verlag.
    I hold up my hand and I count five fingers. I take it on faith that the mapping from fingers onto numbers is recursive in the sense of the mathematician’s definition of the informal concept, “human calculability following a fixed routine.” I cannot prove the mapping is recursive—there is nothing to prove! Of course, mathematicians can prove many theorems about recursiveness, moving forward, so to speak, once the definition of the concept “recursive” has been isolated. Moving backwards is more difficult (...)
    No categories
     
    Export citation  
     
    Bookmark  
  35.  25
    24th Workshop on Logic, Language, Information and Computation.Juliette Kennedy - forthcoming - Logic Journal of the IGPL.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  36.  14
    24th Workshop on Logic, Language, Information and Computation—WoLLIC 2017.Juliette Kennedy & Ruy de Queiroz - 2021 - Archive for Mathematical Logic 60 (5):525-527.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  37. Gödel's philosophical developments.Mark Van Atten & Juliette Kennedy - 2003 - Bulletin of Symbolic Logic 9:470-92.
     
    Export citation  
     
    Bookmark  
  38.  22
    Review of Floyd and Mühlhölzer on Wittgenstein's Annotations to Hardy. [REVIEW]Juliette Kennedy - forthcoming - Philosophia Mathematica.
  39.  30
    (1 other version)Curtis Franks. The autonomy of mathematical knowledge: Hilbert's program revisited. Cambridge University Press, Cambridge, 2009, 213 pp. [REVIEW]Juliette Kennedy - 2011 - Bulletin of Symbolic Logic 17 (1):119-122.
  40.  4
    (1 other version)On the “Logic without Borders” Point of View. [REVIEW]Juliette Kennedy - 2015 - In Asa Hirvonen, Juha Kontinen, Roman Kossak & Andres Villaveces (eds.), Logic Without Borders: Essays on Set Theory, Model Theory, Philosophical Logic and Philosophy of Mathematics. Boston: De Gruyter. pp. 1-14.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  41.  32
    Janet L. Beery; Sarah J. Greenwald; Jacqueline A. Jensen-Vallin; Maura B. Mast . Women in Mathematics: Celebrating the Centennial of the Mathematical Association of America. xii + 405 pp., bibl., index. Cham: Springer, 2017. $139 . ISBN 9783319666938. [REVIEW]Juliette Kennedy - 2019 - Isis 110 (2):427-428.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  42.  20
    Penelope Maddy, Defending the Axioms: On the philosophical foundations of set theory, Oxford University Press, Oxford, UK, 2011, 150pp. [REVIEW]Juliette Kennedy - 2014 - Bulletin of Symbolic Logic 20 (1):91-93.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  43.  17
    The Princeton Companion to Mathematics, edited by Timothy Gowers , Princeton University Press, 2008, 1008 pp. [REVIEW]Juliette Kennedy - 2009 - Bulletin of Symbolic Logic 15 (4):431-436.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation