No photo of Juliette Kennedy

Juliette Kennedy

Yliopistonlehtori

  • PL 68 (Pietari Kalmin katu 5)

    00014

    Finland

20022020

Research output per year

If you made any changes in Pure these will be visible here soon.

Publications

2020

Gödel, Tarski and the Lure of Natural Language

Kennedy, J., 2020, Cambridge University Press.

Research output: Book/ReportBookScientificpeer-review

2019

On the Philosophy of Penelope Maddy: Set-theoretic foundations and naturalistic methodology

Kennedy, J. C. (ed.), Burgess, J., Dzamonja, M., Paseau, A., Martin, D. A., Baldwin, J., Franks, C., Antos-Kuby, C. & Kennedy, J., 2019, Springer . (Outstanding Contributions to Logic)

Research output: Book/ReportBookScientificpeer-review

Women in Mathematics: Celebrating the Centennial of the Mathematical Association of America

Kennedy, J., 1 Jun 2019, In : Isis. 110, 2, p. 427-428 2 p.

Research output: Contribution to journalLiterature review (scientific)Scientific

2018

Remarks on No One's Ways

Kennedy, J. C., 2018, In : Syndicate.

Research output: Contribution to journalArticleScientific

The System that Destroys Itself, or Greenberg’s Modernism & the Liar’s Paradox

Kennedy, J. C. & Malziels, M., 2018, In : Crisis and Critique. 5, 1, p. 211-234 24 p.

Research output: Contribution to journalArticleScientificpeer-review

2017

Gödel’s Reception of Turing’s Model of Computability: the “Shift of Perception” in 1934

Kennedy, J., 2017, Unveiling Dynamics and Complexity: 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings. Kari, J., Manea, F. & Petre, I. (eds.). Springer , p. 42-49 8 p. (Lecture Notes in Computer Science; vol. 10307).

Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

Inner Models from Extended Logics

Kennedy, J., Magidor, M. & Väänänen, J., 2017, Isaac Newton Institute Preprint Series. Cambridge: Isaac Newton Institute for Mathematical Sciences, 75 p. (Preprint Series).

Research output: Chapter in Book/Report/Conference proceedingChapterScientific

Kant, Co-production, Actuality and Pedestrian Space: Remarks on the Philosophical Writings of Fred Sandback

Kennedy, J., 2017, Simplicity: Ideals of Practice in Mathematics and the Arts. Kossak, R. & Ording, P. (eds.). Cham: Springer International Publishing AG, p. 37-48 12 p. (Mathematics, Culture, and the Arts).

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Logic, Language, Information and Computation: 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings

Kennedy, J. C. & de Queiroz, R., 2017, Berlin ; Heidelberg: Springer. 401 p. (Lecture Notes in Computer Science. Theoretical Computer Science and General Issues; vol. 10388)

Research output: Book/ReportAnthology or special issueProfessional

Notes on the Syntax and Semantics Distinction, or Three Moments in the Life of the Mathematical Drawing

Kennedy, J., 22 Jun 2017, WHAT IS A MATHEMATICAL CONCEPT?. de Freitas, E., Sinclair, N. & Coles, A. (eds.). THE PITT BUILDING, TRUMPINGTON ST, CAMBRIDGE CB2 1RP, CAMBS, ENGLAND: Cambridge University Press, p. 55-75 21 p.

Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

Squeezing Arguments and Strong Logics

Kennedy, J. & Väänänen, J., 2017, Logic, Methodology and Philosophy of Science: Proceedings of the Fifteenth International Congress. Leitgeb, H., Niiniluoto, I., Seppälä, P. & Sober, E. (eds.). London: College publications, 24 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientific

Three Moments in the Life of the Mathematical Diagram: Notes on the Syntax and Semantics Distinction

Kennedy, J. C., 2017, What is a Mathematical Concept?. de Freitas, L., Sinclair, N. & Coles, A. (eds.). Cambridge: Cambridge University Press, p. 55-75 21 p.

Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

Open Access
File

Turing, Gödel and the Bright abyss

Kennedy, J., 2017, Philosophical Explorations of the Legacy of Alan Turing: Turing 100. Floyd, J. & Bokulich, A. (eds.). New York: Springer International Publishing AG, Vol. 324. p. 63-91 29 p. (Boston Studies in the Philosophy and History of Science; vol. 324).

Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

2015

Aesthetics and the Dream of Objectivity: Notes from Set Theory

Kennedy, J. & Väänänen, J., 2 Jan 2015, In : Inquiry. 58, 1, p. 83-98 16 p.

Research output: Contribution to journalArticleScientificpeer-review

Loogikko työskentelee keskustellen aviomiehen ja matemaatikon kanssa

Kennedy, J. C., 29 May 2015, In : Helsingin Sanomat.

Research output: Contribution to journalArticleGeneral public

Regular Ultrapowers at Regular Cardinals

Kennedy, J., Shelah, S. & Väänänen, J., 2015, In : Notre Dame Journal of Formal Logic. 56, 3, p. 417-428 12 p.

Research output: Contribution to journalArticleScientificpeer-review

2014

Gödel and analytic philosophy: how did we get here?

Kennedy, J., 1 Jul 2014, Interpreting Gödel. Cambridge: Cambridge University Press

Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

Gödel's 1946 Princeton Bicentennial Lecture: An Appreciation

Kennedy, J., 1 Jul 2014, Interpreting Gödel. Cambridge University Press

Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

Interpreting Gödel: critical essays

Kennedy, J. (ed.), 1 Jul 2014, Cambridge: Cambridge University Press. 524 p.

Research output: Book/ReportAnthology or special issueScientificpeer-review

On the "Logic without Borders" Point of View

Kennedy, J., 2014, Logic Without Borders. Hirvonen, Å., Kontinen, J., Kossak, R. & Villaveces, A. (eds.). Boston, MA: de Gruyter, (Ontos mathematical Logic; vol. 5).

Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

Review of Defending the Axioms: On the Philosophical Foundations of Set Theory by Penelope Maddy

Kennedy, J., 2014, In : Bulletin of Symbolic Logic.

Research output: Contribution to journalReview ArticleScientificpeer-review

The Philosophical Development of Kurt Gödel

Kennedy, J. & van Atten, M., 18 Sep 2014, Essays on Gödel’s Reception of Leibniz, Husserl, and Brouwer. Springer International Publishing AG, Vol. 35. p. 95-145

Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

2013

On Formalism Freeness: Implementing Gödel's 1946 Princeton Bicentennial Lecture

Kennedy, J., Sep 2013, In : Bulletin of Symbolic Logic. 19, 3, p. 351-393 43 p.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File

Review of "After Gödel", by Richard Tieszen

Kennedy, J., 15 Oct 2013, In : Notre Dame philosophical reviews.

Research output: Contribution to journalArticleScientific

2012

Some thoughts concerning aesthetics and mathematics

Kennedy, J., 2012, In : Arkadia Gazette. 1

Research output: Contribution to journalArticleGeneral public

Special Issue Set Theory, Classical and Constructive - Invited papers from the meeting in Amsterdam, May 6-7, 2010 Preface

Kennedy, J. & van Oosten, J., Oct 2012, In : Annals of Pure and Applied Logic. 163, 10, p. 1359-1359 1 p.

Research output: Contribution to journalArticleScientific

2011

Andy Goldsworthy

Kennedy, J. C., 2 Jun 2011, Pori: Porin taidemuseo. 74 p. (Porin taidemuseon julkaisuja; vol. 110)

Research output: Book/ReportBookGeneral public

Can the Continuum Hypothesis be Solved?

Kennedy, J., Nov 2011, In : The Institute Letter. Fall 2011, p. 1, 10-11, 13

Research output: Contribution to journalArticleProfessional

Fred Sandback

Kennedy, J. C., 2011, In : Taide & design. 11, p. 40-47 7 p.

Research output: Contribution to journalArticleGeneral public

Gödel's Thesis - an Appreciation

Kennedy, J., 2011, Kurt Gödel and the foundations of mathematics: Horizons of Truth. Baaz, M. (ed.). Cambridge University Press, p. 95-109 15 p.

Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

Interview with Andy Goldsworthy,

Kennedy, J., Jul 2011, In : Taide & design. 13, p. 47-53 7 p.

Research output: Contribution to journalArticleGeneral public

Set Theory, Arithmetic and Foundations of Mathematics: Theorems, Philosophies

Kennedy, J. & Kossak, R., 2011, Cambridge University Press. 250 p. (Lecture Notes in Logic; vol. 36)

Research output: Book/ReportAnthology or special issueScientificpeer-review

The autonomy of mathematical knowledge: Hilbert's program revisited

Kennedy, J., 2011, In : Bulletin of Symbolic Logic. 17, 1, p. 119-122 4 p.

Research output: Contribution to journalArticleScientific

Open Access
File
2010

Matti Kujasalo: Book review of "Matti Kujasalo", published by Anhava Publications, 2010

Kennedy, J., 2010, In : Taide & design. 10, p. 212-213

Research output: Contribution to journalArticleGeneral public

On the philosophical development of Kurt Gödel

Kennedy, J. C. & van Atten, M., 2010, Kurt Gödel: Essays for his Centennial. Feferman, S., Parsons, C. & Simpson, S. (eds.). Cambridge: Cambridge University Press, Vol. 33. (Lecture Notes in Logic).

Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

2009

Gödel's Logic

Kennedy, J. & van Atten, M., 2009, Logic from Russell to Church. Gabbay, D. M. & Woods, J. (eds.). Elsevier B. V., Vol. 5. p. 449-509 60 p. (Handbook of the History of Logic).

Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

Gödel's Modernism, Revisited

Kennedy, J. C., 2009, Logicism, Intuitionism, Formalism: What has Become of Them?. Lindström, S., Palmgren, E., Segerberg, K. & Stoltenberg-Hansen, V. (eds.). Springer, Vol. 341. (Synthese Library; vol. 341).

Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

Review of the Princeton Companion to Mathematics

Kennedy, J., 2009, In : Bulletin of Symbolic Logic. 15, 4, p. 431-436

Research output: Contribution to journalReview ArticleScientificpeer-review

2008

Aesthetics and mathematics, 10-11 November, Utrecht: news

Kennedy, J., 2008, In : The reasoner. 2, 2, p. 8-9 2 p.

Research output: Contribution to journalArticleScientificpeer-review

Gödel's modernism: on set-theoretic incompleteness, revisited

van Atten, M. & Kennedy, J., 2008, Logicism, intuitionism, and formalism: What has become of them?. Lindström, S., Palmgren, E., Segerberg, K. & Stoltenberg-Hansen, V. (eds.). Dordrecht: Springer, p. 303-355 53 p. (Synthese Library; vol. 341).

Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

Regular ultrafilters and finite square principles

Kennedy, J., Shelah, S. & Väänänen, J., 2008, In : Journal of Symbolic Logic. 73, 3, p. 817-823 7 p.

Research output: Contribution to journalArticleScientificpeer-review

2007

Kurt Gödel

Kennedy, J., 2007, The Stanford Encyclopedia of Philosophy. Zalta, E. (ed.). Stanford: Center for the Study of Language and Information (CSLI)

Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

Logic Unfettered: European and American Abstraction Now

Kennedy, J. C., Nov 2007, In : Museumletter. 17, 49

Research output: Contribution to journalArticleGeneral public

Review: "Kurt Gödel. Das Album - The album" / by Karl Sigmund, John Dawson and Kurt Muhlberger

Kennedy, J., 2007, In : Mathematical Intelligencer. 29, 3, p. 73-73 1 p.

Research output: Contribution to journalArticleScientific

2006

Book Review: Incompleteness

Kennedy, J., 2006, In : Notices of the American Mathematical Society. 53, p. 448-455 8 p.

Research output: Contribution to journalArticleScientific

2005

Applications of Regular Filters and Square Principles in Model Theory

Kennedy, J. & Väänänen, J., 2005, Set theory: Recent trends and applications. Andretta, A. (ed.). Aracne Editrice, Vol. 17. p. 111-136 25 p. (Quaderni di Matematica).

Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

More on regular reduced products

Kennedy, J. C. & Shelah, S., 2005, In : Journal of Symbolic Logic. 69, 4, p. 1261-1266 6 p.

Research output: Contribution to journalArticleScientificpeer-review

2004

Gödel’s Modernism: On Set-Theoretic Incompleteness

Kennedy, J. & van Atten, M., 2004, In : Graduate Faculty Philosophy Journal. 25, 2, p. 289-349

Research output: Contribution to journalArticleProfessional

2003

History of Logic (vol. 1)

Kennedy, J. (ed.), 2003, Springer International Publishing AG. (Synthese)

Research output: Book/ReportAnthology or special issueScientificpeer-review