Professor James A C Ladyman

M.Sc.(Lond.), B.A.(York), Ph.D.(Leeds)

  • BS6 6JL

19962020

Research output per year

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

Research Output

Filter
Article (Academic Journal)
2020

The Hole Argument in Homotopy Type Theory

Ladyman, J. & Presnell, S., Apr 2020, In : Foundations of Physics. 11 p.

Research output: Contribution to journalArticle (Academic Journal)

Open Access
File
117 Downloads (Pure)
2019

How Quantum is Quantum Counterfactual Communication?

Hance, J. R., Ladyman, J. & Rarity, J., 17 Sep 2019, (Accepted/In press) In : arXiv.

Research output: Contribution to journalArticle (Academic Journal)

Open Access
File
34 Downloads (Pure)

Measuring complexity

Wiesner, K. & Ladyman, J., 29 Sep 2019, (Accepted/In press) In : arXiv. 11 p.

Research output: Contribution to journalArticle (Academic Journal)

Open Access
File
44 Downloads (Pure)

Universes and Univalence in Homotopy Type Theory

Ladyman, J. & Presnell, S., Sep 2019, In : Review of Symbolic Logic. 12, 3, p. 426-455 30 p.

Research output: Contribution to journalArticle (Academic Journal)

Open Access
File
1 Citation (Scopus)
227 Downloads (Pure)
2018

An Analysis of the Interaction Between Intelligent Software Agents and Human Users

Burr, C., Cristianini, N. & Ladyman, J., 1 Dec 2018, In : Minds and Machines. 28, 4, p. 735-774 40 p.

Research output: Contribution to journalArticle (Academic Journal)

Open Access
File
11 Citations (Scopus)
424 Downloads (Pure)

Scientific Realism Again

Ladyman, J., 2018, In : Spontaneous Generations: Journal for the History and Philosophy of Science. 9, 1, p. 99-107 9 p.

Research output: Contribution to journalArticle (Academic Journal)

Theory comparison and choice in chemistry, 1766-1791

Blumenthal, G. & Ladyman, J., Oct 2018, In : Foundations of Chemistry. 20, 3, p. 169-189 21 p.

Research output: Contribution to journalArticle (Academic Journal)

Open Access
File
249 Downloads (Pure)
2017

Identity in homotopy type theory: Part II, the conceptual and philosophical status of identity in HoTT

Ladyman, J. & Presnell, S., 1 Jun 2017, In : Philosophia Mathematica. 25, 2, p. 210-245 36 p.

Research output: Contribution to journalArticle (Academic Journal)

Open Access
File
2 Citations (Scopus)
319 Downloads (Pure)

The development of problems within the phlogiston theories, 1766-1791

Blumenthal, G. & Ladyman, J., Oct 2017, In : Foundations of Chemistry. 19, 3, p. 241-280 40 p.

Research output: Contribution to journalArticle (Academic Journal)

Open Access
File
415 Downloads (Pure)
2016

Big Data

Ladyman, J., 2016, In : Philosophers' Magazine. 72, p. 69-70 2 p.

Research output: Contribution to journalArticle (Academic Journal)

Open Access
File
87 Downloads (Pure)

Does Homotopy Type Theory Provide a Foundation for Mathematics?

Ladyman, J. & Presnell, S., 22 Sep 2016, In : British Journal for the Philosophy of Science. 69, 2, p. 377-420 44 p.

Research output: Contribution to journalArticle (Academic Journal)

4 Citations (Scopus)
2015

Identity in homotopy type theory, part I: The justification of path induction

Ladyman, J. & Presnell, S., 1 Oct 2015, In : Philosophia Mathematica. 23, 3, p. 386-406 21 p., nkv014.

Research output: Contribution to journalArticle (Academic Journal)

10 Citations (Scopus)

In Praise of Specialization

Ladyman, J., 2015, In : Philosophers' Magazine. 53

Research output: Contribution to journalArticle (Academic Journal)

2014

Going Round in Circles: Landauer vs. Norton on the Thermodynamics of Computation

Ladyman, J. & Robertson, K., 2014, In : Entropy. 16, p. 2278-2290

Research output: Contribution to journalArticle (Academic Journal)

5 Citations (Scopus)
2013

Entanglement and non-factorizability

Ladyman, J. A. C., Linnebo, O. & Bigaj, T. F., Aug 2013, In : Studies In History and Philosophy of Science Part B: Studies In History and Philosophy of Modern Physics. 44, 3

Research output: Contribution to journalArticle (Academic Journal)

14 Citations (Scopus)

Free Inquiry: The Haldane Principle and the Significance of Scientific Research

Bird, A. J. & Ladyman, J. A. C., 2013, In : Social Epistemology. 2, 7

Research output: Contribution to journalArticle (Academic Journal)

Landauer Defended: A Reply to Norton

Ladyman, J. A. C. & Robertson, K., Aug 2013, In : Studies in History and Philosophy of Modern Physics. 44, 3, p. 263-261

Research output: Contribution to journalArticle (Academic Journal)

Quantum Probability, choice in large worlds, and the statistical structure of reality

Ladyman, J. A. C. & Ross, D. A., 2013, In : Behavioral and Brain Sciences. 36, 3

Research output: Contribution to journalArticle (Academic Journal)

What is a Complex System?

Ladyman, J. A. C., Lambert, J. & Wiesner, K., Jan 2013, In : European Journal for Philosophy of Science. 3, 1, p. 33-67 35 p.

Research output: Contribution to journalArticle (Academic Journal)

170 Citations (Scopus)
2012

A Field Guide to the Higgs

Ladyman, J., 2012, In : Philosophers' Magazine. 59

Research output: Contribution to journalArticle (Academic Journal)

Identity and Discernibility in Philosophy and Logic

Ladyman, J. A. C., Linnebo, Ø. & Pettigrew, R. G., Mar 2012, In : Review of Symbolic Logic. 5, 1, p. 162 - 186 25 p.

Research output: Contribution to journalArticle (Academic Journal)

21 Citations (Scopus)

Models and structures:Phenomenological and partial

Ladyman, J. A. C., French, S. & Bueno, O., Feb 2012, In : Studies in History and Philosophy of Modern Physics. 43, 1, p. 43-46 4 p.

Research output: Contribution to journalArticle (Academic Journal)

4 Citations (Scopus)

Science, Metaphysics and Method

Ladyman, JAC., Aug 2012, In : Philosophical Studies. 160, 1, p. 31-51 21 p.

Research output: Contribution to journalArticle (Academic Journal)

20 Citations (Scopus)
2011

Don’t Play Politics with Academic Freedom

Ladyman, J., 2011, In : New Statesman 19 May, and The Australian Financial Review 23 May.

Research output: Contribution to journalArticle (Academic Journal)

How HEFCE and the Research Councils are Undermining Science and the National Interest

Ladyman, J., 2011, In : Science in Parliament. 68

Research output: Contribution to journalArticle (Academic Journal)

Philosophy that’s not for the Masses

Ladyman, J., 2011, In : Philosophers' Magazine. 53

Research output: Contribution to journalArticle (Academic Journal)

Structural Realism versus Standard Scientific Realism: The Case of Phlogiston and Dephlogisticated Air

Ladyman, J. A. C., May 2011, In : Synthese. 180, 2, p. 87 - 101 15 p.

Research output: Contribution to journalArticle (Academic Journal)

29 Citations (Scopus)

The Scientistic Stance: The Empirical and Materialist Stances Reconciled

Ladyman, JAC., Jan 2011, In : Synthese. 178, 1, p. 87 - 98 12 p.

Research output: Contribution to journalArticle (Academic Journal)

20 Citations (Scopus)
2010

The Principle of the Identity of Indiscernibles and Quantum Mechanics

Bigaj, T. & Ladyman, J. A. C., Jan 2010, In : Philosophy of Science. 77, 1, p. 117 - 136 20 p.

Research output: Contribution to journalArticle (Academic Journal)

35 Citations (Scopus)

Tim Maudlin: The Metaphysics Within Physics

Ladyman, JAC., May 2010, In : Erkenntnis. 72, 3, p. 411 - 416 6 p.

Research output: Contribution to journalArticle (Academic Journal)

2009

Physicalism, Supervenience and the Fundamental Level

Brown, R. & Ladyman, JAC., Jan 2009, In : Philosophical Quarterly. 59, 234, p. 20 - 38 19 p.

Research output: Contribution to journalArticle (Academic Journal)

25 Citations (Scopus)

What Does it Mean to Say a Physical System is Implements a Computation?

Ladyman, JAC., Feb 2009, In : Theoretical Computer Science. 410, 4-5, p. 376 - 383 8 p.

Research output: Contribution to journalArticle (Academic Journal)

12 Citations (Scopus)
2008

Criteria of Identity and Structuralist Ontology

Leitgeb, H. & Ladyman, JAC., 2008, In : Philosophia Mathematica. 16, 3, p. 388-396 9 p.

Research output: Contribution to journalArticle (Academic Journal)

48 Citations (Scopus)

Structural Realism and the Relationship Between the Special Sciences and Physics

Ladyman, JAC., Dec 2008, In : Philosophy of Science. 75, 5, p. 744 - 755 12 p.

Research output: Contribution to journalArticle (Academic Journal)

11 Citations (Scopus)

The use of the information-theoretic entropy in thermodynamics

Ladyman, J., Presnell, S. & Short, A. J., May 2008, In : Studies in History and Philosophy of Modern Physics. 39, 2, p. 315-324 10 p.

Research output: Contribution to journalArticle (Academic Journal)

21 Citations (Scopus)
2007

Does Physics Answer Metaphysical Questions?

Ladyman, JAC., Oct 2007, In : Royal Institute of Philosophy Supplement. 61, p. 179 - 202 24 p.

Research output: Contribution to journalArticle (Academic Journal)

Scientific Structuralism: On The Identity and Diversity of Objects in a Structure

Ladyman, JAC., Jun 2007, In : Aristotelian Society Supplementary Volume. 81, 1, p. 23 - 43 21 p.

Research output: Contribution to journalArticle (Academic Journal)

49 Citations (Scopus)

The connection between logical and thermodynamic irreversibility

Ladyman, JAC., Presnell, SM., Short, AJ. & Groisman, B., Mar 2007, In : Studies in History and Philosophy of Modern Physics. 38, 1, p. 58 - 79 22 p.

Research output: Contribution to journalArticle (Academic Journal)

48 Citations (Scopus)
2005

Mathematical Structuralism and the Identity of Indiscernibles

Ladyman, JAC., Jul 2005, In : Analysis. 65, 3, p. 218 - 221 4 p.

Research output: Contribution to journalArticle (Academic Journal)

Wouldn't it be Lovely: Explanation and Scientific realism: Review Symposium on Peter Lipton: 'Inference to the Best Explanation

Ladyman, JAC., Dec 2005, In : Metascience. 14, 3, p. 331-338 8 p.

Research output: Contribution to journalArticle (Academic Journal)

2004

Discussion - Empiricism versus Metaphysics

Ladyman, JAC., 2004, In : Philosophical Studies. 121 (2), p. 133 - 145 13 p.

Research output: Contribution to journalArticle (Academic Journal)

Modality and Constructive Empiricism: a reply to Monton and van Fraassen

Ladyman, JAC., 2004, In : British Journal for the Philosophy of Science. 55, p. 755 - 765 11 p.

Research output: Contribution to journalArticle (Academic Journal)

Review: An Introduction to the Philosophy of Physics

Ladyman, JAC., 2004, In : Mind. 113 (451), p. 562 - 565 4 p.

Research output: Contribution to journalArticle (Academic Journal)

Review: Fundamentals of Philosophy edited by John Shand and 101 Ethical Dilemmas

Ladyman, JAC., Oct 2004, In : Times Higher Education Supplement. 1663, p. 27 - 27 1 p.

Research output: Contribution to journalArticle (Academic Journal)

Supervenience : not local and not two-way

Ladyman, JAC., 2004, In : Behavioral and Brain Sciences. 27 (5), p. 630 - 630 1 p.

Research output: Contribution to journalArticle (Academic Journal)

1 Citation (Scopus)
2003

Between Platonism and Phenomalism: Reply to Cao

Ladyman, JAC. & French, S., 2003, In : Synthese. 36 (1), p. 73 - 78 6 p.

Research output: Contribution to journalArticle (Academic Journal)

Remodelling Structural Realism: Quantum Physics and the Metaphysics of Structure

Ladyman, JAC. & French, S., Jul 2003, In : Synthese. 136 (1), p. 31 - 56 26 p.

Research output: Contribution to journalArticle (Academic Journal)

186 Citations (Scopus)

Review: Myths We Live By

Ladyman, JAC., 2003, In : Times Higher Education Supplement. 1612 October 24, p. 29 - 29 1 p.

Research output: Contribution to journalArticle (Academic Journal)

2002

On Representing the Relationship between the Mathematical and the Empirical

Ladyman, JAC., French, S. & Bueno, O., 2002, In : Philosophy of Science. 69, p. 452 - 473 22 p.

Research output: Contribution to journalArticle (Academic Journal)

46 Citations (Scopus)