ALBERT — All Library Books, journals and Electronic Records Telegrafenberg

Hits per page

hits 1 - 100 | 353 hits

Sorting

Articles (353)
Oxford University Press (353)
American Institute of Physics
2010-2014 (353)
Philosophia Mathematica (155)
Philosophia Mathematica. 2010; 18(2): 137-143. Published 2010 Jun 01. doi: 10.1093/philmat/nkq008. (1)
Philosophia Mathematica. 2010; 18(2): 143-143. Published 2010 May 05. doi: 10.1093/philmat/nkq009. (1)
Philosophia Mathematica. 2010; 18(2): 166-192. Published 2010 Jan 29. doi: 10.1093/philmat/nkq001. (1)
Philosophia Mathematica. 2010; 18(2): 193-226. Published 2010 Feb 26. doi: 10.1093/philmat/nkq002. (1)
Philosophia Mathematica. 2010; 18(2): 227-234. Published 2010 Mar 10. doi: 10.1093/philmat/nkq006. (1)
Philosophia Mathematica. 2010; 18(2): 235-246. Published 2010 Mar 02. doi: 10.1093/philmat/nkq004. (1)
Philosophia Mathematica. 2010; 18(2): 247-252. Published 2010 Feb 23. doi: 10.1093/philmat/nkq003. (1)
Philosophia Mathematica. 2010; 18(3): 253-275. Published 2010 Sep 15. doi: 10.1093/philmat/nkq014. (1)
Philosophia Mathematica. 2010; 18(3): 276-292. Published 2010 Jun 17. doi: 10.1093/philmat/nkq010. (1)
Philosophia Mathematica. 2010; 18(3): 293-310. Published 2010 Mar 11. doi: 10.1093/philmat/nkq005. (1)
Philosophia Mathematica. 2010; 18(3): 311-328. Published 2010 Apr 17. doi: 10.1093/philmat/nkq007. (1)
Philosophia Mathematica. 2010; 18(3): 329-336. Published 2010 Sep 30. doi: 10.1093/philmat/nkq016. (1)
Philosophia Mathematica. 2010; 18(3): 337-344. Published 2010 Aug 17. doi: 10.1093/philmat/nkq013. (1)
Philosophia Mathematica. 2010; 18(3): 344-349. Published 2010 Sep 30. doi: 10.1093/philmat/nkq020. (1)
Philosophia Mathematica. 2010; 18(3): 350-360. Published 2010 Sep 24. doi: 10.1093/philmat/nkq015. (1)
Philosophia Mathematica. 2010; 18(3): 360-367. Published 2010 Oct 01. doi: 10.1093/philmat/nkq019. (1)
Philosophia Mathematica. 2010; 18(3): 367-368. Published 2010 Oct 01. doi: 10.1093/philmat/nkq018. (1)
Philosophia Mathematica. 2010; 18(3): 368-369. Published 2010 Jul 26. doi: 10.1093/philmat/nkq011. (1)
Philosophia Mathematica. 2010; 19(1): 104-104. Published 2010 Jul 26. doi: 10.1093/philmat/nkq012. (1)
53289
Philosophy (353)

Journal

Philosophia Mathematica (155)
Philosophia Mathematica. 2010; 18(2): 137-143. Published 2010 Jun 01. doi: 10.1093/philmat/nkq008. (1)
Philosophia Mathematica. 2010; 18(2): 143-143. Published 2010 May 05. doi: 10.1093/philmat/nkq009. (1)
Philosophia Mathematica. 2010; 18(2): 166-192. Published 2010 Jan 29. doi: 10.1093/philmat/nkq001. (1)
Philosophia Mathematica. 2010; 18(2): 193-226. Published 2010 Feb 26. doi: 10.1093/philmat/nkq002. (1)

Philosophia Mathematica. 2010; 18(2): 227-234. Published 2010 Mar 10. doi: 10.1093/philmat/nkq006. (1)

Philosophia Mathematica. 2010; 18(2): 235-246. Published 2010 Mar 02. doi: 10.1093/philmat/nkq004. (1)

Philosophia Mathematica. 2010; 18(2): 247-252. Published 2010 Feb 23. doi: 10.1093/philmat/nkq003. (1)

Philosophia Mathematica. 2010; 18(3): 253-275. Published 2010 Sep 15. doi: 10.1093/philmat/nkq014. (1)

Philosophia Mathematica. 2010; 18(3): 276-292. Published 2010 Jun 17. doi: 10.1093/philmat/nkq010. (1)

Philosophia Mathematica. 2010; 18(3): 293-310. Published 2010 Mar 11. doi: 10.1093/philmat/nkq005. (1)

Philosophia Mathematica. 2010; 18(3): 311-328. Published 2010 Apr 17. doi: 10.1093/philmat/nkq007. (1)

Philosophia Mathematica. 2010; 18(3): 329-336. Published 2010 Sep 30. doi: 10.1093/philmat/nkq016. (1)

Philosophia Mathematica. 2010; 18(3): 337-344. Published 2010 Aug 17. doi: 10.1093/philmat/nkq013. (1)

Philosophia Mathematica. 2010; 18(3): 344-349. Published 2010 Sep 30. doi: 10.1093/philmat/nkq020. (1)

Philosophia Mathematica. 2010; 18(3): 350-360. Published 2010 Sep 24. doi: 10.1093/philmat/nkq015. (1)

Philosophia Mathematica. 2010; 18(3): 360-367. Published 2010 Oct 01. doi: 10.1093/philmat/nkq019. (1)

Philosophia Mathematica. 2010; 18(3): 367-368. Published 2010 Oct 01. doi: 10.1093/philmat/nkq018. (1)

Philosophia Mathematica. 2010; 18(3): 368-369. Published 2010 Jul 26. doi: 10.1093/philmat/nkq011. (1)

Philosophia Mathematica. 2010; 19(1): 104-104. Published 2010 Jul 26. doi: 10.1093/philmat/nkq012. (1)

53289

Unknown

Numbers and Everything (2013)

Santos, G.

Oxford University Press

In: Philosophia Mathematica

add to mindlist on the mindlist

Details

Publication Date: 2013-10-02

Description: I begin by drawing a parallel between the intuitionistic understanding of quantification over all natural numbers and the generality relativist understanding of quantification over absolutely everything. I then argue that adoption of an intuitionistic reading of relativism not only provides an immediate reply to the absolutist's charge of incoherence but it also throws a new light on the debates surrounding absolute generality.

Print ISSN: 0031-8019

Electronic ISSN: 1744-6406

Topics: Mathematics , Philosophy

Published by Oxford University Press

Permalink

	Location	Call Number	Expected	Availability

Others were also interested in ...

PAPER CURRENT

S·F·X

Fulltext

Unknown

Dianoia Left and Right (2013)

Pollard, S.

Oxford University Press

In: Philosophia Mathematica

add to mindlist on the mindlist

Details

Publication Date: 2013-10-02

Description: In Plato's Phaedrus , Socrates offers two speeches, the first portraying madness as mere disease, the second celebrating madness as divine inspiration. Each speech is correct, says Socrates, though neither is complete. The two kinds of madness are like the left and right sides of a living body: no account that focuses on just one half can be adequate. In a recent paper, Hugh Benson gives a left-handed speech about a psychic condition endemic among mathematicians: dianoia . Benson acknowledges that his account is one-sided, but only hints at the virtues of right-handed dianoia . This note sketches a somewhat fuller picture.

Print ISSN: 0031-8019

Electronic ISSN: 1744-6406

Topics: Mathematics , Philosophy

Published by Oxford University Press

Permalink

	Location	Call Number	Expected	Availability

Others were also interested in ...

PAPER CURRENT

S·F·X

Fulltext

Unknown

On the Application of the Honeycomb Conjecture to the Bee's Honeycomb (2013)

Raz, T.

Oxford University Press

In: Philosophia Mathematica

add to mindlist on the mindlist

Details

Publication Date: 2013-10-02

Description: In a recent paper, Aidan Lyon and Mark Colyvan have proposed an explanation of the structure of the bee's honeycomb based on the mathematical Honeycomb Conjecture. This explanation has instantly become one of the standard examples in the philosophical debate on mathematical explanations of physical phenomena. In this critical note, I argue that the explanation is not scientifically adequate. The reason for this is that the explanation fails to do justice to the essentially three-dimensional structure of the bee's honeycomb.

Print ISSN: 0031-8019

Electronic ISSN: 1744-6406

Topics: Mathematics , Philosophy

Published by Oxford University Press

Permalink

	Location	Call Number	Expected	Availability

Others were also interested in ...

PAPER CURRENT

S·F·X

Fulltext

Unknown

Hilary Putnam's Consistency Objection against Wittgenstein's Conventionalism in Mathematics (2013)

Garavaso, P.

Oxford University Press

In: Philosophia Mathematica

add to mindlist on the mindlist

Details

Publication Date: 2013-10-02

Description: Hilary Putnam first published the consistency objection against Ludwig Wittgenstein’s account of mathematics in 1979. In 1983, Putnam and Benacerraf raised this objection against all conventionalist accounts of mathematics. I discuss the 1979 version and the scenario argument, which supports the key premise of the objection. The wide applicability of this objection is not apparent; I thus raise it against an imaginary axiomatic theory T similar to Peano arithmetic in all relevant aspects. I argue that a conventionalist can explain the consistency of T and suggest that an analogous explanation can be provided for the consistency of Peano arithmetic.

Print ISSN: 0031-8019

Electronic ISSN: 1744-6406

Topics: Mathematics , Philosophy

Published by Oxford University Press

Permalink

	Location	Call Number	Expected	Availability

Others were also interested in ...

PAPER CURRENT

S·F·X

Fulltext

Unknown

Deconstructing a Topological Sorites (2013)

Rizza, D.

Oxford University Press

In: Philosophia Mathematica

add to mindlist on the mindlist

Details

Publication Date: 2013-10-02

Description: In this paper I examine some difficulties with the argument presented as a topological sorites in Z. Weber and M. Colyvan, ‘A topological sorites’, Journal of Philosophy 107, 311–325. In particular, I suggest that the argument may be used to support the claim that sorites-type paradoxes cannot arise in a cohesive environment.

Print ISSN: 0031-8019

Electronic ISSN: 1744-6406

Topics: Mathematics , Philosophy

Published by Oxford University Press

Permalink

	Location	Call Number	Expected	Availability

Others were also interested in ...

PAPER CURRENT

S·F·X

Fulltext

Unknown

PENELOPE MADDY. Defending the Axioms: On the Philosophical Foundations of Set Theory. Oxford: Oxford University Press, 2011. ISBN 978-0-19-959618-8 (hbk); 978-0-19-967148-9 (pbk). Pp. x + 150 (2013)

Mc; Larty, C.

Oxford University Press

In: Philosophia Mathematica

add to mindlist on the mindlist

Details

Publication Date: 2013-10-02

Print ISSN: 0031-8019

Electronic ISSN: 1744-6406

Topics: Mathematics , Philosophy

Published by Oxford University Press

Permalink

	Location	Call Number	Expected	Availability

Others were also interested in ...

PAPER CURRENT

S·F·X

Fulltext

Unknown

SEBASTIEN GANDON. Russell's Unknown Logicism: A Study in the History and Philosophy of Mathematics. New York: Palgrave Macmillan, 2012. ISBN 978-0-230-57699-5. Pp. xiv + 266 (2013)

Urquhart, A.

Oxford University Press

In: Philosophia Mathematica

add to mindlist on the mindlist

Details

Publication Date: 2013-10-02

Print ISSN: 0031-8019

Electronic ISSN: 1744-6406

Topics: Mathematics , Philosophy

Published by Oxford University Press

Permalink

	Location	Call Number	Expected	Availability

Others were also interested in ...

PAPER CURRENT

S·F·X

Fulltext

Unknown

BERNARD LINSKY. The Evolution of Principia Mathematica: Bertrand Russell's Manuscripts and Notes for the Second Edition. Cambridge: Cambridge University Press, 2011. ISBN 978-1-107-00327-9. Pp. vii + 407 (2013)

Griffin, N.

Oxford University Press

In: Philosophia Mathematica

add to mindlist on the mindlist

Details

Publication Date: 2013-10-02

Print ISSN: 0031-8019

Electronic ISSN: 1744-6406

Topics: Mathematics , Philosophy

Published by Oxford University Press

Permalink

	Location	Call Number	Expected	Availability

Others were also interested in ...

PAPER CURRENT

S·F·X

Fulltext

Unknown

That We See That Some Diagrammatic Proofs Are Perfectly Rigorous (2013)

Azzouni, J.

Oxford University Press

In: Philosophia Mathematica

add to mindlist on the mindlist

Details

Publication Date: 2013-10-02

Description: Mistaken reasons for thinking diagrammatic proofs aren't rigorous are explored. The main result is that a confusion between the contents of a proof procedure (what's expressed by the referential elements in a proof procedure) and the unarticulated mathematical aspects of a proof procedure (how that proof procedure is enabled) gives the impression that diagrammatic proofs are less rigorous than language proofs. An additional (and independent) factor is treating the impossibility of naturally generalizing a diagrammatic proof procedure as an indication of lack of rigor.

Print ISSN: 0031-8019

Electronic ISSN: 1744-6406

Topics: Mathematics , Philosophy

Published by Oxford University Press

Permalink

	Location	Call Number	Expected	Availability

Others were also interested in ...

PAPER CURRENT

S·F·X

Fulltext

Unknown

GORDON BELOT. Geometric Possibility. Oxford and New York: Oxford University Press, 2011. ISBN 978-0-19-959532-7. Pp. x + 219 (2013)

Smeenk, C.

Oxford University Press

In: Philosophia Mathematica

add to mindlist on the mindlist

Details

Publication Date: 2013-10-02

Print ISSN: 0031-8019

Electronic ISSN: 1744-6406

Topics: Mathematics , Philosophy

Published by Oxford University Press

Permalink

	Location	Call Number	Expected	Availability

Others were also interested in ...

PAPER CURRENT

S·F·X

Fulltext

Unknown

ALBERT LAUTMAN. Mathematics, Ideas and the Physical Real. Simon B. Duffy, trans. London and New York: Continuum, 2011. 978-1-4411-2344-2 (pbk); 978-1-44114656-4 (hbk); 978-1-44114433-1 (pdf e-bk); 978-1-44114654-0 (epub e-bk). Pp. xlii + 310 (2013)

Cassou-Nogues, P.

Oxford University Press

In: Philosophia Mathematica

add to mindlist on the mindlist

Details

Publication Date: 2013-10-02

Print ISSN: 0031-8019

Electronic ISSN: 1744-6406

Topics: Mathematics , Philosophy

Published by Oxford University Press

Permalink

	Location	Call Number	Expected	Availability

Others were also interested in ...

PAPER CURRENT

S·F·X

Fulltext

Unknown

Second-Order Arithmetic Sans Sets (2013)

Berk, L.

Oxford University Press

In: Philosophia Mathematica

add to mindlist on the mindlist

Details

Publication Date: 2013-10-02

Description: This paper examines the ontological commitments of the second-order language of arithmetic and argues that they do not extend beyond the first-order language. Then, building on an argument by George Boolos, we develop a Tarski-style definition of a truth predicate for the second-order language of arithmetic that does not involve the assignment of sets to second-order variables but rather uses the same class of assignments standardly used in a definition for the first-order language.

Print ISSN: 0031-8019

Electronic ISSN: 1744-6406

Topics: Mathematics , Philosophy

Published by Oxford University Press

Permalink

	Location	Call Number	Expected	Availability

Others were also interested in ...

PAPER CURRENT

S·F·X

Fulltext

Unknown

MARK VAN ATTEN, PASCAL BOLDINI, MICHEL BOURDEAU, and GERHARD HEINZMANN, eds., One Hundred Years of Intuitionism (1907-2007): The Cerisy Conference. Basel, Boston, Berlin: Birkhauser, 2008. ISBN 978-3-7643-8652-8. Pp. xiii + 422 (2013)

Bell, J. L.

Oxford University Press

In: Philosophia Mathematica

add to mindlist on the mindlist

Details

Publication Date: 2013-10-02

Print ISSN: 0031-8019

Electronic ISSN: 1744-6406

Topics: Mathematics , Philosophy

Published by Oxford University Press

Permalink

	Location	Call Number	Expected	Availability

Others were also interested in ...

PAPER CURRENT

S·F·X

Fulltext

Unknown

APOSTOLOS DOXIADIS and BARRY MAZUR, eds. Circles Disturbed: The Interplay of Mathematics and Narrative (2013)

Oxford University Press

In: Philosophia Mathematica

add to mindlist on the mindlist

Details

Publication Date: 2013-10-02

Print ISSN: 0031-8019

Electronic ISSN: 1744-6406

Topics: Mathematics , Philosophy

Published by Oxford University Press

Permalink

	Location	Call Number	Expected	Availability

Others were also interested in ...

PAPER CURRENT

S·F·X

Fulltext

Unknown

CHRISTOPHER PINCOCK. Mathematics and Scientific Representation. Oxford University Press, 2012. ISBN 978-0-19-975710-7. Pp. xv + 330 (2013)

Liston, M.

Oxford University Press

In: Philosophia Mathematica

add to mindlist on the mindlist

Details

Publication Date: 2013-10-02

Print ISSN: 0031-8019

Electronic ISSN: 1744-6406

Topics: Mathematics , Philosophy

Published by Oxford University Press

Permalink

	Location	Call Number	Expected	Availability

Others were also interested in ...

PAPER CURRENT

S·F·X

Fulltext

Unknown

GUILLERMO E. ROSADO HADDOCK, Against the Current: Selected Philosophical Papers (2013)

Oxford University Press

In: Philosophia Mathematica

add to mindlist on the mindlist

Details

Publication Date: 2013-10-02

Print ISSN: 0031-8019

Electronic ISSN: 1744-6406

Topics: Mathematics , Philosophy

Published by Oxford University Press

Permalink

	Location	Call Number	Expected	Availability

Others were also interested in ...

PAPER CURRENT

S·F·X

Fulltext

Unknown

WILLIAM DEMOPOULOS. Logicism and its Philosophical Legacy (2013)

Oxford University Press

In: Philosophia Mathematica

add to mindlist on the mindlist

Details

Publication Date: 2013-10-02

Print ISSN: 0031-8019

Electronic ISSN: 1744-6406

Topics: Mathematics , Philosophy

Published by Oxford University Press

Permalink

	Location	Call Number	Expected	Availability

Others were also interested in ...

PAPER CURRENT

S·F·X

Fulltext

Unknown

In Defense of Bertrand: The Non-Restrictiveness of Reasoning by Example (2013)

Klyve, D.

Oxford University Press

In: Philosophia Mathematica

add to mindlist on the mindlist

Details

Publication Date: 2013-10-02

Description: This note has three goals. First, we discuss a presentation of Bertrand's paradox in a recent issue of Philosophia Mathematica , which we believe to be a subtle but important misinterpretation of the problem. We compare claims made about Bertrand with his 1889 Calcul des Probabilités . Second, we use this source to understand Bertrand's true intention in describing what we now call his paradox, comparing it both to another problem he describes in the same section and to a modern treatment. Finally, we briefly consider the importance of knowing when a specific example represents a general case.

Print ISSN: 0031-8019

Electronic ISSN: 1744-6406

Topics: Mathematics , Philosophy

Published by Oxford University Press

Permalink

	Location	Call Number	Expected	Availability

Others were also interested in ...

PAPER CURRENT

S·F·X

Fulltext

Unknown

MIRCEA PITICI, ed. The Best Writing on Mathematics 2012 (2013)

Oxford University Press

In: Philosophia Mathematica

add to mindlist on the mindlist

Details

Publication Date: 2013-10-02

Print ISSN: 0031-8019

Electronic ISSN: 1744-6406

Topics: Mathematics , Philosophy

Published by Oxford University Press

Permalink

	Location	Call Number	Expected	Availability

Others were also interested in ...

PAPER CURRENT

S·F·X

Fulltext

Unknown

Properties and the Interpretation of Second-Order Logic (2013)

Hale, B.

Oxford University Press

In: Philosophia Mathematica

add to mindlist on the mindlist

Details

Publication Date: 2013-06-11

Description: This paper defends a deflationary conception of properties, according to which a property exists if and only if there could be a predicate with appropriate satisfaction conditions. I argue that purely general properties and relations necessarily exist and discuss the bearing of this conception of properties on the interpretation of higher-order logic and on Quine's charge that higher-order logic is ‘set theory in sheep's clothing’. On my approach, the usual semantics involves a false assimilation of the logic to set theory. I conclude with remarks about implications for the programme of founding mathematical theories in higher-order logic plus abstraction principles.

Print ISSN: 0031-8019

Electronic ISSN: 1744-6406

Topics: Mathematics , Philosophy

Published by Oxford University Press

Permalink

	Location	Call Number	Expected	Availability

Others were also interested in ...

PAPER CURRENT

S·F·X

Fulltext

Unknown

Introduction: Logicism Today (2013)

Gandon, S., Halimi, B.

Oxford University Press

In: Philosophia Mathematica

add to mindlist on the mindlist

Details

Publication Date: 2013-06-11

Print ISSN: 0031-8019

Electronic ISSN: 1744-6406

Topics: Mathematics , Philosophy

Published by Oxford University Press

Permalink

	Location	Call Number	Expected	Availability

Others were also interested in ...

PAPER CURRENT

S·F·X

Fulltext

Unknown

Zermelo and Russell's Paradox: Is There a Universal set? (2013)

Landini, G.

Oxford University Press

In: Philosophia Mathematica

add to mindlist on the mindlist

Details

Publication Date: 2013-06-11

Description: Zermelo once wrote that he had anticipated Russell's contradiction of the set of all sets that are not members of themselves. Is this sufficient for having anticipated Russell's Paradox — the paradox that revealed the untenability of the logical notion of a set as an extension? This paper argues that it is not sufficient and offers criteria that are necessary and sufficient for having discovered Russell's Paradox. It is shown that there is ample evidence that Russell satisfied the criteria and that Zermelo did not.

Print ISSN: 0031-8019

Electronic ISSN: 1744-6406

Topics: Mathematics , Philosophy

Published by Oxford University Press

Permalink

	Location	Call Number	Expected	Availability

Others were also interested in ...

PAPER CURRENT

S·F·X

Fulltext

Unknown

Variable, Structure, and Restricted Generality (2013)

Gandon, S.

Oxford University Press

In: Philosophia Mathematica

add to mindlist on the mindlist

Details

Publication Date: 2013-06-11

Description: From 1905–1908 onward, Russell thought that his new ‘substitutional theory’ provided him with the right framework to resolve the set-theoretic paradoxes. Even if he did not finally retain this resolution, the substitutional strategy was instrumental in the development of his thought. The aim of this paper is not historical, however. It is to show that Russell's substitutional insight can shed new light on current issues in philosophy of mathematics. After having briefly expounded Russell's key notion of a ‘structured variable’, I connect it to two ongoing discussions: the Caesar problem, and absolute generality.

Print ISSN: 0031-8019

Electronic ISSN: 1744-6406

Topics: Mathematics , Philosophy

Published by Oxford University Press

Permalink

	Location	Call Number	Expected	Availability

Others were also interested in ...

PAPER CURRENT

S·F·X

Fulltext

Unknown

MIRCEA PITICI, ed. The Best Writing on Mathematics 2011 (2013)

Oxford University Press

In: Philosophia Mathematica

add to mindlist on the mindlist

Details

Publication Date: 2013-06-11

Print ISSN: 0031-8019

Electronic ISSN: 1744-6406

Topics: Mathematics , Philosophy

Published by Oxford University Press

Permalink

	Location	Call Number	Expected	Availability

Others were also interested in ...

PAPER CURRENT

S·F·X

Fulltext

Unknown

DAVID HILBERT. David Hilbert's lectures on the foundations of geometry, 1891-1902. Michael Hallett and Ulrich Majer, eds. David Hilbert's Foundational Lectures; 1. Berlin: Springer-Verlag, 2004. ISBN 3-540-64373-7. Pp. xxviii + 661 (2013)

Pambuccian, V.

Oxford University Press

In: Philosophia Mathematica

add to mindlist on the mindlist

Details

Publication Date: 2013-06-11

Print ISSN: 0031-8019

Electronic ISSN: 1744-6406

Topics: Mathematics , Philosophy

Published by Oxford University Press

Permalink

	Location	Call Number	Expected	Availability

Others were also interested in ...

PAPER CURRENT

S·F·X

Fulltext

Unknown

Enlarging One's Stall or How Did All of These Sets Get in Here? (2013)

Wilson, M.

Oxford University Press

In: Philosophia Mathematica

add to mindlist on the mindlist

Details

Publication Date: 2013-06-11

Description: Following historical developments, this article traces two basic motives for employing sets within a physical setting and discusses whether they truly pose a problem for ‘mathematical naturalism’.

Print ISSN: 0031-8019

Electronic ISSN: 1744-6406

Topics: Mathematics , Philosophy

Published by Oxford University Press

Permalink

	Location	Call Number	Expected	Availability

Others were also interested in ...

PAPER CURRENT

S·F·X

Fulltext

Unknown

Structured Variables (2013)

Halimi, B.

Oxford University Press

In: Philosophia Mathematica

add to mindlist on the mindlist

Details

Publication Date: 2013-06-11

Description: Drawing on Russell's substitutional theory, this paper examines the notion of ‘structured variable’, in order to compare Russell's and Tarski's conceptions of variables. The framework of syntactic fibrations, coming from categorical logic, is used as a common setting. The main objective of this paper is to make sense of the notion of structured variable beyond the context of Russell's theory, to question the Tarskian way of understanding what it is to be a possible value for a variable, and to bring out semantically structured variables as a renewed and fruitful way of conceiving of logical structure.

Print ISSN: 0031-8019

Electronic ISSN: 1744-6406

Topics: Mathematics , Philosophy

Published by Oxford University Press

Permalink

	Location	Call Number	Expected	Availability

Others were also interested in ...

PAPER CURRENT

S·F·X

Fulltext

Unknown

The Relationship of Derivations in Artificial Languages to Ordinary Rigorous Mathematical Proof (2013)

Azzouni, J.

Oxford University Press

In: Philosophia Mathematica

add to mindlist on the mindlist

Details

Publication Date: 2013-06-11

Description: The relationship is explored between formal derivations, which occur in artificial languages, and mathematical proof, which occurs in natural languages. The suggestion that ordinary mathematical proofs are abbreviations or sketches of formal derivations is presumed false. The alternative suggestion that the existence of appropriate derivations in formal logical languages is a norm for ordinary rigorous mathematical proof is explored and rejected.

Print ISSN: 0031-8019

Electronic ISSN: 1744-6406

Topics: Mathematics , Philosophy

Published by Oxford University Press

Permalink

	Location	Call Number	Expected	Availability

Others were also interested in ...

PAPER CURRENT

S·F·X

Fulltext

Unknown

To Diagram, to Demonstrate: To Do, To See, and To Judge in Greek Geometry (2012)

Catton, P., Montelle, C.

Oxford University Press

In: Philosophia Mathematica

add to mindlist on the mindlist

Details

Publication Date: 2012-02-14

Description: Not simply set out in accompaniment of the Greek geometrical text, the diagram also is coaxed into existence manually (using straightedge and compasses) by commands in the text. The marks that a diligent reader thus sequentially produces typically sum, however, to a figure more complex than the provided one and also not (as it is) artful for being synoptically instructive. To provide a figure artfully is to balance multiple desiderata, interlocking the timelessness of insight with the temporality of construction. Our account of the diagram complements those of Manders and Macbeth by more strongly emphasizing practical synthesis.

Print ISSN: 0031-8019

Electronic ISSN: 1744-6406

Topics: Mathematics , Philosophy

Published by Oxford University Press

Permalink

	Location	Call Number	Expected	Availability

Others were also interested in ...

PAPER CURRENT

S·F·X

Fulltext

Unknown

The Philosophical Significance of Tennenbaum's Theorem (2012)

Button, T., Smith, P.

Oxford University Press

In: Philosophia Mathematica

add to mindlist on the mindlist

Details

Publication Date: 2012-02-14

Description: Tennenbaum's Theorem yields an elegant characterisation of the standard model of arithmetic. Several authors have recently claimed that this result has important philosophical consequences: in particular, it offers us a way of responding to model-theoretic worries about how we manage to grasp the standard model. We disagree. If there ever was such a problem about how we come to grasp the standard model, then Tennenbaum's Theorem does not help. We show this by examining a parallel argument, from a simpler model-theoretic result.

Print ISSN: 0031-8019

Electronic ISSN: 1744-6406

Topics: Mathematics , Philosophy

Published by Oxford University Press

Permalink

	Location	Call Number	Expected	Availability

Others were also interested in ...

PAPER CURRENT

S·F·X

Fulltext

Unknown

Husserl's Pluralistic Phenomenology of Mathematics (2012)

Hartimo, M.

Oxford University Press

In: Philosophia Mathematica

add to mindlist on the mindlist

Details

Publication Date: 2012-02-14

Description: The paper discusses Husserl's phenomenology of mathematics in his Formal and Transcendental Logic (1929). In it Husserl seeks to provide descriptive foundations for mathematics. As sciences and mathematics are normative activities Husserl's attempt is also to describe the norms at work in these disciplines. The description shows that mathematics can be given in several different ways. The phenomenologist's task is to examine whether a given part of mathematics is genuine according to the norms that pertain to the approach in question. The paper will then examine the intuitionistic, formalistic, and structural features of Husserl's philosophy of mathematics.

Print ISSN: 0031-8019

Electronic ISSN: 1744-6406

Topics: Mathematics , Philosophy

Published by Oxford University Press

Permalink

	Location	Call Number	Expected	Availability

Others were also interested in ...

PAPER CURRENT

S·F·X

Fulltext

Unknown

CARLO CELLUCCI, EMILY GROSHOLZ and EMILIANO IPPOLITI, eds. Logic and Knowledge (2012)

Oxford University Press

In: Philosophia Mathematica

add to mindlist on the mindlist

Details

Publication Date: 2012-02-14

Print ISSN: 0031-8019

Electronic ISSN: 1744-6406

Topics: Mathematics , Philosophy

Published by Oxford University Press

Permalink

	Location	Call Number	Expected	Availability

Others were also interested in ...

PAPER CURRENT

S·F·X

Fulltext

Unknown

HANS HALVORSON, ed. Deep Beauty: Understanding the Quantum World through Mathematical Innovation (2012)

Oxford University Press

In: Philosophia Mathematica

add to mindlist on the mindlist

Details

Publication Date: 2012-02-14

Print ISSN: 0031-8019

Electronic ISSN: 1744-6406

Topics: Mathematics , Philosophy

Published by Oxford University Press

Permalink

	Location	Call Number	Expected	Availability

Others were also interested in ...

PAPER CURRENT

S·F·X

Fulltext

Unknown

Categorical Foundations and Mathematical Practice (2012)

Mc; Larty, C.

Oxford University Press

In: Philosophia Mathematica

add to mindlist on the mindlist

Details

Publication Date: 2012-02-14

Description: Linnebo and Pettigrew's critique in this journal of categorical foundations well emphasizes that the particulars of various categorical foundations matter, and that mathematical practice must be a major consideration. But several categorists named by the authors as proposing categorical foundations do not propose foundations, notably Awodey, and the article's description of current textbook practice seems inaccurate. They say that categorical foundations have justificatory autonomy if and only if mathematics can be justified simply by its practice. Do they seriously believe philosophers may be able to justify some currently unpractised mathematics better than current practice justifies itself?

Print ISSN: 0031-8019

Electronic ISSN: 1744-6406

Topics: Mathematics , Philosophy

Published by Oxford University Press

Permalink

	Location	Call Number	Expected	Availability

Others were also interested in ...

PAPER CURRENT

S·F·X

Fulltext

Unknown

BHARATH SRIRAMAN and SIMON GOODCHILD, eds. Relatively and Philosophically Earnest: Festschrift in Honor of Paul Ernest's 65th Birthday (2012)

Oxford University Press

In: Philosophia Mathematica

add to mindlist on the mindlist

Details

Publication Date: 2012-02-14

Print ISSN: 0031-8019

Electronic ISSN: 1744-6406

Topics: Mathematics , Philosophy

Published by Oxford University Press

Permalink

	Location	Call Number	Expected	Availability

Others were also interested in ...

PAPER CURRENT

S·F·X

Fulltext

Unknown

MICHEL SERFATI, ed. De la methode: Recherches en histoire et philosophie des mathematiques (2012)

Oxford University Press

In: Philosophia Mathematica

add to mindlist on the mindlist

Details

Publication Date: 2012-02-14

Print ISSN: 0031-8019

Electronic ISSN: 1744-6406

Topics: Mathematics , Philosophy

Published by Oxford University Press

Permalink

	Location	Call Number	Expected	Availability

Others were also interested in ...

PAPER CURRENT

S·F·X

Fulltext

Unknown

Platonism and the 'Epistemic Role Puzzle' (2012)

Mc; Evoy, M.

Oxford University Press

In: Philosophia Mathematica

add to mindlist on the mindlist

Details

Publication Date: 2012-10-20

Description: Jody Azzouni has offered the following argument against the existence of mathematical entities: if, as it seems, mathematical entities play no role in mathematical practice, we therefore have no reason to believe in them. I consider this argument as it applies to mathematical platonism, and argue that it does not present a legitimate novel challenge to platonism. I also assess Azzouni's use of the ‘epistemic role puzzle’ (ERP) to undermine the platonist's alleged parallel between skepticism about mathematical entities and external-world skepticism. I conclude that ERP fails to undermine this parallel.

Print ISSN: 0031-8019

Electronic ISSN: 1744-6406

Topics: Mathematics , Philosophy

Published by Oxford University Press

Permalink

	Location	Call Number	Expected	Availability

Others were also interested in ...

PAPER CURRENT

S·F·X

Fulltext

Unknown

On the Indispensability of the Distinctively Mathematical (2012)

Juhl, C.

Oxford University Press

In: Philosophia Mathematica

add to mindlist on the mindlist

Details

Publication Date: 2012-10-20

Description: Indispensability arguments purport to show that empirical data provide evidence for the existence of mathematical entities. In this paper we argue that indispensability arguments fail to show that empirical data bears on the mathematical. In order to show this we attempt to clarify what it is to be mathematical , and separate the question whether abstracta in general exist from whether distinctively mathematical abstracta exist. We introduce the notion of an ‘agnostified’ empirical theory as a heuristic device for clarifying the role of mathematical terminology in empirical theories. The special case of spaces is then briefly considered.

Print ISSN: 0031-8019

Electronic ISSN: 1744-6406

Topics: Mathematics , Philosophy

Published by Oxford University Press

Permalink

	Location	Call Number	Expected	Availability

Others were also interested in ...

PAPER CURRENT

S·F·X

Fulltext

Unknown

Why the Weasel Fails (2012)

Raley, Y.

Oxford University Press

In: Philosophia Mathematica

add to mindlist on the mindlist

Details

Publication Date: 2012-10-20

Description: In his paper ‘On what there’s not’, Joseph Melia disavows commitment to the existence of objects like average mothers, possibilities, numbers, etc . Since quantification over such objects is at times unavoidable, Melia tries to argue that we can deny the existence of such objects despite the fact that our (true) theories of the world quantify over them. Melia calls this ‘weaseling’. In this paper, I argue that these assumptions of Melia’s render his position incoherent.

Print ISSN: 0031-8019

Electronic ISSN: 1744-6406

Topics: Mathematics , Philosophy

Published by Oxford University Press

Permalink

	Location	Call Number	Expected	Availability

Others were also interested in ...

PAPER CURRENT

S·F·X

Fulltext

Unknown

RICHARD G. HECK, Jr. Frege's Theorem. Oxford: Clarendon Press, 2011. ISBN 978-0-19-969564-5. Pp. xiv + 307 (2012)

Cook, R. T.

Oxford University Press

In: Philosophia Mathematica

add to mindlist on the mindlist

Details

Publication Date: 2012-10-20

Print ISSN: 0031-8019

Electronic ISSN: 1744-6406

Topics: Mathematics , Philosophy

Published by Oxford University Press

Permalink

	Location	Call Number	Expected	Availability

Others were also interested in ...

PAPER CURRENT

S·F·X

Fulltext

Unknown

Higher-Order Logic or Set Theory: A False Dilemma (2012)

Shapiro, S.

Oxford University Press

In: Philosophia Mathematica

add to mindlist on the mindlist

Details

Publication Date: 2012-10-20

Description: The purpose of this article is show that second-order logic, as understood through standard semantics, is intimately bound up with set theory, or some other general theory of interpretations, structures, or whatever. Contra Quine, this does not disqualify second-order logic from its role in foundational studies. To wax Quinean, why should there be a sharp border separating mathematics from logic, especially the logic of mathematics?

Print ISSN: 0031-8019

Electronic ISSN: 1744-6406

Topics: Mathematics , Philosophy

Published by Oxford University Press

Permalink

	Location	Call Number	Expected	Availability

Others were also interested in ...

PAPER CURRENT

S·F·X

Fulltext

Unknown

CRAIG SMORYNSKI. Adventures in Formalism. London: College Publications, 2012. ISBN 978-1-84890-060-8. Pp. xii + 606 (2012)

Jones, R.

Oxford University Press

In: Philosophia Mathematica

add to mindlist on the mindlist

Details

Publication Date: 2012-10-20

Print ISSN: 0031-8019

Electronic ISSN: 1744-6406

Topics: Mathematics , Philosophy

Published by Oxford University Press

Permalink

	Location	Call Number	Expected	Availability

Others were also interested in ...

PAPER CURRENT

S·F·X

Fulltext

Unknown

HILMI DEMIR, ed. Luciano Floridi's Philosophy of Technology: Critical Reflections (2012)

Oxford University Press

In: Philosophia Mathematica

add to mindlist on the mindlist

Details

Publication Date: 2012-10-20

Print ISSN: 0031-8019

Electronic ISSN: 1744-6406

Topics: Mathematics , Philosophy

Published by Oxford University Press

Permalink

	Location	Call Number	Expected	Availability

Others were also interested in ...

PAPER CURRENT

S·F·X

Fulltext

Unknown

MICHAEL POTTER TOM RICKETTS, eds. The Cambridge Companion to Frege. Cambridge: Cambridge University Press, 2010. ISBN 978-0-521-62479-4. Pp. xvii+639 (2012)

Landini, G.

Oxford University Press

In: Philosophia Mathematica

add to mindlist on the mindlist

Details

Publication Date: 2012-10-20

Print ISSN: 0031-8019

Electronic ISSN: 1744-6406

Topics: Mathematics , Philosophy

Published by Oxford University Press

Permalink

	Location	Call Number	Expected	Availability

Others were also interested in ...

PAPER CURRENT

S·F·X

Fulltext

Unknown

CHRIS MORTENSEN. Inconsistent Geometry. Studies in Logic; 27. London: College Publications, 2010. ISBN 978-1-84890-022-6. Pp. ii+162. (2012)

Van Bendegem, J. P.

Oxford University Press

In: Philosophia Mathematica

add to mindlist on the mindlist

Details

Publication Date: 2012-10-20

Print ISSN: 0031-8019

Electronic ISSN: 1744-6406

Topics: Mathematics , Philosophy

Published by Oxford University Press

Permalink

	Location	Call Number	Expected	Availability

Others were also interested in ...

PAPER CURRENT

S·F·X

Fulltext

Unknown

CURTIS FRANKS. The Autonomy of Mathematical Knowledge: Hilbert's Program Revisted. Cambridge: Cambridge University Press, 2009. ISBN 978-0-521-51437-8. Pp. xiii+213{dagger} (2012)

Feferman, S.

Oxford University Press

In: Philosophia Mathematica

add to mindlist on the mindlist

Details

Publication Date: 2012-10-20

Print ISSN: 0031-8019

Electronic ISSN: 1744-6406

Topics: Mathematics , Philosophy

Published by Oxford University Press

Permalink

	Location	Call Number	Expected	Availability

Others were also interested in ...

PAPER CURRENT

S·F·X

Fulltext

Unknown

Towards an Institutional Account of the Objectivity, Necessity, and Atemporality of Mathematics (2013)

Cole, J.

Oxford University Press

In: Philosophia Mathematica

add to mindlist on the mindlist

Details

Publication Date: 2013-02-06

Description: I contend that mathematical domains are freestanding institutional entities that, at least typically, are introduced to serve representational functions. In this paper, I outline an account of institutional reality and a supporting metaontological perspective that clarify the content of this thesis. I also argue that a philosophy of mathematics that has this thesis as its central tenet can account for the objectivity, necessity, and atemporality of mathematics.

Print ISSN: 0031-8019

Electronic ISSN: 1744-6406

Topics: Mathematics , Philosophy

Published by Oxford University Press

Permalink

	Location	Call Number	Expected	Availability

Others were also interested in ...

PAPER CURRENT

S·F·X

Fulltext

Unknown

FABRIZIO PALOMBI, The Star & The Whole: Gian-Carlo Rota on Mathematics and Phenomenology. Boca Raton: CRC Press, 2011. ISBN 978-1-56881-583-1 (pbk). Pp. xiv + 124. English translation of La stella e l'intero: La ricerca di Gian-Carlo Rota tra matemat (2013)

van Atten, M.

Oxford University Press

In: Philosophia Mathematica

add to mindlist on the mindlist

Details

Publication Date: 2013-02-06

Print ISSN: 0031-8019

Electronic ISSN: 1744-6406

Topics: Mathematics , Philosophy

Published by Oxford University Press

Permalink

	Location	Call Number	Expected	Availability

Others were also interested in ...

PAPER CURRENT

S·F·X

Fulltext

Unknown

DAVID DEVIDI, MICHAEL HALLETT, and PETER CLARK, eds. Logic, Mathematics, Philosophy: Vintage Enthusiasms: Essays in honour of John L. Bell (2013)

Oxford University Press

In: Philosophia Mathematica

add to mindlist on the mindlist

Details

Publication Date: 2013-02-06

Print ISSN: 0031-8019

Electronic ISSN: 1744-6406

Topics: Mathematics , Philosophy

Published by Oxford University Press

Permalink

	Location	Call Number	Expected	Availability

Others were also interested in ...

PAPER CURRENT

S·F·X

Fulltext

Unknown

EMILY R. GROSHOLZ. Representation and Productive Ambiguity in Mathematics and the Sciences. Oxford: Oxford University Press, 2007. ISBN 978-0-19-929973-7. Pp. viii + 313. (2012)

Larvor, B. P.

Oxford University Press

In: Philosophia Mathematica

add to mindlist on the mindlist

Details

Publication Date: 2012-06-26

Print ISSN: 0031-8019

Electronic ISSN: 1744-6406

Topics: Mathematics , Philosophy

Published by Oxford University Press

Permalink

	Location	Call Number	Expected	Availability

Others were also interested in ...

PAPER CURRENT

S·F·X

Fulltext

Unknown

Recollection and the Mathematician's Method in Plato's Meno (2012)

Landry, E.

Oxford University Press

In: Philosophia Mathematica

add to mindlist on the mindlist

Details

Publication Date: 2012-06-26

Description: I argue that recollection, in Plato's Meno , should not be taken as a method, and, if it is taken as a myth, it should not be taken as a mere myth. Neither should it be taken as a truth, a priori or metaphorical. In contrast to such views, I argue that recollection ought to be taken as an hypothesis for learning. Thus, the only methods demonstrated in the Meno are the elenchus and the hypothetical, or mathematical, method. What Plato's Meno demonstrates, then, is that we cannot be philosophers if we fail to make use of the mathematician's hypothetical method.

Print ISSN: 0031-8019

Electronic ISSN: 1744-6406

Topics: Mathematics , Philosophy

Published by Oxford University Press

Permalink

	Location	Call Number	Expected	Availability

Others were also interested in ...

PAPER CURRENT

S·F·X

Fulltext

Unknown

GIOVANNI SOMMARUGA, ed. Foundational Theories of Classical and Constructive Mathematics. Dordrecht: Springer, 2011. ISBN 978-94-007-0430-5. Pp. xi + 314. (2012)

Koss, M. R.

Oxford University Press

In: Philosophia Mathematica

add to mindlist on the mindlist

Details

Publication Date: 2012-06-26

Print ISSN: 0031-8019

Electronic ISSN: 1744-6406

Topics: Mathematics , Philosophy

Published by Oxford University Press

Permalink

	Location	Call Number	Expected	Availability

Others were also interested in ...

PAPER CURRENT

S·F·X

Fulltext

Unknown

Platonic and Fregean Numbers (2012)

White, N.

Oxford University Press

In: Philosophia Mathematica

add to mindlist on the mindlist

Details

Publication Date: 2012-06-26

Description: Rather than reading Plato's philosophy of arithmetic ‘charitably’, it is better to try to explain its failure to generate any fruitful ideas. Prominent in the explanation is Plato's focus on predicates assigning cardinalities and on ‘groups’ falling under them. This focus left Plato unable to envisage the possibility, emerging in Dedekind and Frege but which arithmetic in Plato's time would not easily have suggested, of regarding numbers as objects essentially ranged in the structure of a progression.

Print ISSN: 0031-8019

Electronic ISSN: 1744-6406

Topics: Mathematics , Philosophy

Published by Oxford University Press

Permalink

	Location	Call Number	Expected	Availability

Others were also interested in ...

PAPER CURRENT

S·F·X

Fulltext

Unknown

PAOLO MANCOSU. The Adventure of Reason: Interplay between Philosophy of Mathematics and Mathematical Logic, 1900-1940. Oxford: Oxford University Press, 2010. ISBN 978-0-19-954653-4. Pp. xii + 618. (2012)

Potter, M.

Oxford University Press

In: Philosophia Mathematica

add to mindlist on the mindlist

Details

Publication Date: 2012-06-26

Print ISSN: 0031-8019

Electronic ISSN: 1744-6406

Topics: Mathematics , Philosophy

Published by Oxford University Press

Permalink

	Location	Call Number	Expected	Availability

Others were also interested in ...

PAPER CURRENT

S·F·X

Fulltext

Unknown

BERND BULDT, BENEDIKT LOWE and THOMAS MULLER eds. Special issue Towards a new epistemology of mathematics. Erkenntnis 68 (2008) No. 3. Pp. 305-435. * BENEDIKT LOWE and THOMAS MULLER, eds. PhiMSAMP: Philosophy of Mathematics: Sociological Aspects and (2012)

Thomas, R.

Oxford University Press

In: Philosophia Mathematica

add to mindlist on the mindlist

Details

Publication Date: 2012-06-26

Print ISSN: 0031-8019

Electronic ISSN: 1744-6406

Topics: Mathematics , Philosophy

Published by Oxford University Press

Permalink

	Location	Call Number	Expected	Availability

Others were also interested in ...

PAPER CURRENT

S·F·X

Fulltext

Unknown

Category Theory as an Autonomous Foundation (2011)

Linnebo, O., Pettigrew, R.

Oxford University Press

In: Philosophia Mathematica

add to mindlist on the mindlist

Details

Publication Date: 2011-11-24

Description: Does category theory provide a foundation for mathematics that is autonomous with respect to the orthodox foundation in a set theory such as ZFC? We distinguish three types of autonomy : logical, conceptual, and justificatory. We argue that, while a strong case can be made for its logical and conceptual autonomy, its justificatory autonomy turns on whether or not mathematical theories can be justified by appeal to mathematical practice. If they can, a category-theoretical approach will be fully autonomous; if not, the most natural route to justificatory autonomy is blocked.

Print ISSN: 0031-8019

Electronic ISSN: 1744-6406

Topics: Mathematics , Philosophy

Published by Oxford University Press

Permalink

	Location	Call Number	Expected	Availability

Others were also interested in ...

PAPER CURRENT

S·F·X

Fulltext

Unknown

MICHAEL HELLER AND W. HUGH WOODIN, eds. Infinity: New Research Frontiers (2011)

Oxford University Press

In: Philosophia Mathematica

add to mindlist on the mindlist

Details

Publication Date: 2011-11-24

Print ISSN: 0031-8019

Electronic ISSN: 1744-6406

Topics: Mathematics , Philosophy

Published by Oxford University Press

Permalink

	Location	Call Number	Expected	Availability

Others were also interested in ...

PAPER CURRENT

S·F·X

Fulltext

Unknown

MIRJA HARTIMO, ed. Phenomenology and Mathematics (2011)

Oxford University Press

In: Philosophia Mathematica

add to mindlist on the mindlist

Details

Publication Date: 2011-11-24

Print ISSN: 0031-8019

Electronic ISSN: 1744-6406

Topics: Mathematics , Philosophy

Published by Oxford University Press

Permalink

	Location	Call Number	Expected	Availability

Others were also interested in ...

PAPER CURRENT

S·F·X

Fulltext

Unknown

GILA HANNA, HANS NIELS JAHNKE, and HELMUT PULTE, eds Explanation and Proof in Mathematics: Philosophical and educational perspectives (2011)

Oxford University Press

In: Philosophia Mathematica

add to mindlist on the mindlist

Details

Publication Date: 2011-11-24

Print ISSN: 0031-8019

Electronic ISSN: 1744-6406

Topics: Mathematics , Philosophy

Published by Oxford University Press

Permalink

	Location	Call Number	Expected	Availability

Others were also interested in ...

PAPER CURRENT

S·F·X

Fulltext

Unknown

Reflections on Concrete Incompleteness (2011)

Longo, G.

Oxford University Press

In: Philosophia Mathematica

add to mindlist on the mindlist

Details

Publication Date: 2011-11-24

Description: How do we prove true but unprovable propositions? Gödel produced a statement whose undecidability derives from its ad hoc construction. Concrete or mathematical incompleteness results are interesting unprovable statements of formal arithmetic. We point out where exactly the unprovability lies in the ordinary ‘mathematical’ proofs of two interesting formally unprovable propositions, the Kruskal-Friedman theorem on trees and Girard's normalization theorem in type theory. Their validity is based on robust cognitive performances, which ground mathematics in our relation to space and time, such as symmetries and order, or on the generality of Herbrand's notion of ‘prototype proof’.

Print ISSN: 0031-8019

Electronic ISSN: 1744-6406

Topics: Mathematics , Philosophy

Published by Oxford University Press

Permalink

	Location	Call Number	Expected	Availability

Others were also interested in ...

PAPER CURRENT

S·F·X

Fulltext

Unknown

Indexing and Mathematical Explanation (2011)

Baker, A., Colyvan, M.

Oxford University Press

In: Philosophia Mathematica

add to mindlist on the mindlist

Details

Publication Date: 2011-11-24

Description: We discuss a recent attempt by Chris Daly and Simon Langford to do away with mathematical explanations of physical phenomena. Daly and Langford suggest that mathematics merely indexes parts of the physical world, and on this understanding of the role of mathematics in science, there is no need to countenance mathematical explanation of physical facts. We argue that their strategy is at best a sketch and only looks plausible in simple cases. We also draw attention to how frequently Daly and Langford find themselves in conflict with mathematical and scientific practice.

Print ISSN: 0031-8019

Electronic ISSN: 1744-6406

Topics: Mathematics , Philosophy

Published by Oxford University Press

Permalink

	Location	Call Number	Expected	Availability

Others were also interested in ...

PAPER CURRENT

S·F·X

Fulltext

Unknown

The Company Kept by Cut Abstraction (and its Relatives) (2011)

Shapiro, S.

Oxford University Press

In: Philosophia Mathematica

add to mindlist on the mindlist

Details

Publication Date: 2011-11-24

Print ISSN: 0031-8019

Electronic ISSN: 1744-6406

Topics: Mathematics , Philosophy

Published by Oxford University Press

Permalink

	Location	Call Number	Expected	Availability

Others were also interested in ...

PAPER CURRENT

S·F·X

Fulltext

Unknown

Kant's Philosophy of Geometry--On the Road to a Final Assessment (2011)

Kvasz, L.

Oxford University Press

In: Philosophia Mathematica

add to mindlist on the mindlist

Details

Publication Date: 2011-11-24

Description: The paper attempts to summarize the debate on Kant’s philosophy of geometry and to offer a restricted area of mathematical practice for which Kant’s philosophy would be a reasonable account. Geometrical theories can be characterized using Wittgenstein’s notion of pictorial form . Kant’s philosophy of geometry can be interpreted as a reconstruction of geometry based on one of these forms — the projective form . If this is correct, Kant’s philosophy is a reasonable reconstruction of such theories as projective geometry; and not only as they were practiced in Kant’s time, but also as architects use them today.

Print ISSN: 0031-8019

Electronic ISSN: 1744-6406

Topics: Mathematics , Philosophy

Published by Oxford University Press

Permalink

	Location	Call Number	Expected	Availability

Others were also interested in ...

PAPER CURRENT

S·F·X

Fulltext

Unknown

Alan Weir. Truth through Proof: A Formalist Foundation for Mathematics. Oxford: Clarendon Press, 2010. ISBN 978-0-19-954149-2. Pp. xiv+281 (2011)

Burgess, J. P.

Oxford University Press

In: Philosophia Mathematica

add to mindlist on the mindlist

Details

Publication Date: 2011-11-24

Print ISSN: 0031-8019

Electronic ISSN: 1744-6406

Topics: Mathematics , Philosophy

Published by Oxford University Press

Permalink

	Location	Call Number	Expected	Availability

Others were also interested in ...

PAPER CURRENT

S·F·X

Fulltext

Unknown

JOSEPH KOUNEIHER, DOMINIQUE FLAMENT, PHILIPPE NABONNAND, and JEAN-JACQUES SZCZECINIARZ, eds. Geometrie au XXe siecle, 1930-2000: Histoire et horizons (2011)

Oxford University Press

In: Philosophia Mathematica

add to mindlist on the mindlist

Details

Publication Date: 2011-11-24

Print ISSN: 0031-8019

Electronic ISSN: 1744-6406

Topics: Mathematics , Philosophy

Published by Oxford University Press

Permalink

	Location	Call Number	Expected	Availability

Others were also interested in ...

PAPER CURRENT

S·F·X

Fulltext

Unknown

ROMAN MURAWSKI. Essays in the Philosophy and History of Logic and Mathematics (2011)

Oxford University Press

In: Philosophia Mathematica

add to mindlist on the mindlist

Details

Publication Date: 2011-11-24

Print ISSN: 0031-8019

Electronic ISSN: 1744-6406

Topics: Mathematics , Philosophy

Published by Oxford University Press

Permalink

	Location	Call Number	Expected	Availability

Others were also interested in ...

PAPER CURRENT

S·F·X

Fulltext

Unknown

The Implausibility of Hermeneutic Non-Assertivism (2011)

Armour-Garb, B.

Oxford University Press

In: Philosophia Mathematica

add to mindlist on the mindlist

Details

Publication Date: 2011-11-24

Description: In a recent paper, Mark Balaguer has responded to the argument that I launched against Hermeneutic Non-Assertivism, claiming that, as a matter of empirical fact, ‘when typical mathematicians utter mathematical sentences, they are doing something that differs from asserting in a pretty subtle way, so that the difference between [asserting] and this other kind of speech act is not obvious’. In this paper, I show the implausibility of this empirical hypothesis.

Print ISSN: 0031-8019

Electronic ISSN: 1744-6406

Topics: Mathematics , Philosophy

Published by Oxford University Press

Permalink

	Location	Call Number	Expected	Availability

Others were also interested in ...

PAPER CURRENT

S·F·X

Fulltext

Unknown

Logicism and the Problem of Infinity: The Number of Numbers (2011)

Landini, G.

Oxford University Press

In: Philosophia Mathematica

add to mindlist on the mindlist

Details

Publication Date: 2011-11-24

Description: Simple-type theory is widely regarded as inadequate to capture the metaphysics of mathematics. The problem, however, is not that some kinds of structure cannot be studied within simple-type theory. Even structures that violate simple-types are isomorphic to structures that can be studied in simple-type theory. In disputes over the logicist foundations of mathematics, the central issue concerns the problem that simple-type theory fails to assure an infinity of natural numbers as objects . This paper argues that the problem of infinity is based on a metaphysical prejudice in favor of numbers as objects — a prejudice that mathematics can get along without.

Print ISSN: 0031-8019

Electronic ISSN: 1744-6406

Topics: Mathematics , Philosophy

Published by Oxford University Press

Permalink

	Location	Call Number	Expected	Availability

Others were also interested in ...

PAPER CURRENT

S·F·X

Fulltext

Unknown

A Ludic Book on Ludic Proof * Reviel Netz. Ludic Proof, Greek Mathematics and Alexandrian Aesthetic. Cambridge: Cambridge University Press, 2009. ISBN 978-0-521-89894-2. Pp. xvi + 255 (2011)

Kvasz, L.

Oxford University Press

In: Philosophia Mathematica

add to mindlist on the mindlist

Details

Publication Date: 2011-11-24

Print ISSN: 0031-8019

Electronic ISSN: 1744-6406

Topics: Mathematics , Philosophy

Published by Oxford University Press

Permalink

	Location	Call Number	Expected	Availability

Others were also interested in ...

PAPER CURRENT

S·F·X

Fulltext

Unknown

STEPHEN YABLO. Things: Papers on Objects, Events, and Properties (2011)

Oxford University Press

In: Philosophia Mathematica

add to mindlist on the mindlist

Details

Publication Date: 2011-11-24

Print ISSN: 0031-8019

Electronic ISSN: 1744-6406

Topics: Mathematics , Philosophy

Published by Oxford University Press

Permalink

	Location	Call Number	Expected	Availability

Others were also interested in ...

PAPER CURRENT

S·F·X

Fulltext

Unknown

CHARLES S. PEIRCE. Philosophy of Mathematics: Selected Writings (2011)

Oxford University Press

In: Philosophia Mathematica

add to mindlist on the mindlist

Details

Publication Date: 2011-11-24

Print ISSN: 0031-8019

Electronic ISSN: 1744-6406

Topics: Mathematics , Philosophy

Published by Oxford University Press

Permalink

	Location	Call Number	Expected	Availability

Others were also interested in ...

PAPER CURRENT

S·F·X

Fulltext

Unknown

Understanding and Mathematical Fictionalism (2011)

Armour-Garb, B.

Oxford University Press

In: Philosophia Mathematica

add to mindlist on the mindlist

Details

Publication Date: 2011-11-24

Description: In a recent paper in this journal, Mark Balaguer develops and defends a new version of mathematical fictionalism, what he calls ‘Hermeneutic non-assertivism’, and responds to some recent objections to mathematical fictionalism that were launched by John Burgess and others. In this paper I provide some fairly compelling reasons for rejecting Hermeneutic non-assertivism — ones that highlight an important feature of what understanding mathematics involves (or, as we shall see, does not involve).

Print ISSN: 0031-8019

Electronic ISSN: 1744-6406

Topics: Mathematics , Philosophy

Published by Oxford University Press

Permalink

	Location	Call Number	Expected	Availability

Others were also interested in ...

PAPER CURRENT

S·F·X

Fulltext

Unknown

GUILLERMO E. ROSADO HADDOCK. A Critical Introduction to the Philosophy of Gottlob Frege. Aldershot, Hampshire, and Burlington, Vermont: Ashgate Publishing, 2006. ISBN 978-0-7546-5471-1. Pp. x+157 (2011)

Ebert, P. A.

Oxford University Press

In: Philosophia Mathematica

add to mindlist on the mindlist

Details

Publication Date: 2011-11-24

Print ISSN: 0031-8019

Electronic ISSN: 1744-6406

Topics: Mathematics , Philosophy

Published by Oxford University Press

Permalink

	Location	Call Number	Expected	Availability

Others were also interested in ...

PAPER CURRENT

S·F·X

Fulltext

Unknown

Objective Probabilities in Number Theory (2011)

Ellenberg, J., Sober, E.

Oxford University Press

In: Philosophia Mathematica

add to mindlist on the mindlist

Details

Publication Date: 2011-11-24

Description: Philosophers have explored objective interpretations of probability mainly by considering empirical probability statements. Because of this focus, it is widely believed that the logical interpretation and the actual-frequency interpretation are unsatisfactory and the hypothetical-frequency interpretation is not much better. Probabilistic assertions in pure mathematics present a new challenge. Mathematicians prove theorems in number theory that assign probabilities. The most natural interpretation of these probabilities is that they describe actual frequencies in finite sets and limits of actual frequencies in infinite sets. This interpretation vindicates part of what the logical interpretation of probability aimed to establish.

Print ISSN: 0031-8019

Electronic ISSN: 1744-6406

Topics: Mathematics , Philosophy

Published by Oxford University Press

Permalink

	Location	Call Number	Expected	Availability

Others were also interested in ...

PAPER CURRENT

S·F·X

Fulltext

Unknown

STEPHEN POLLARD ed. Essays on the Foundations of Mathematics by Moritz Pasch. The Western Ontario Series in Philosophy of Science; 83. Dordrecht: Springer, 2010. ISBN 978-90-481-9415-5 (hbk). Pp. xi + 245 (2011)

Gandon, S.

Oxford University Press

In: Philosophia Mathematica

add to mindlist on the mindlist

Details

Publication Date: 2011-11-24

Print ISSN: 0031-8019

Electronic ISSN: 1744-6406

Topics: Mathematics , Philosophy

Published by Oxford University Press

Permalink

	Location	Call Number	Expected	Availability

Others were also interested in ...

PAPER CURRENT

S·F·X

Fulltext

Unknown

FRANCESCO BERTO. There's Something about Godel. Malden, Mass., and Oxford: Wiley-Blackwell, 2009. ISBN 978-1-4051-9766-3 (hbk); 978-1-4051-9767-0 (pbk). Pp. xx + 233. English translation of Tutti pazzi per Godel! (Rome: Gius, Laterza & Figli, 2008) (2011)

Mc; Gee, V.

Oxford University Press

In: Philosophia Mathematica

add to mindlist on the mindlist

Details

Publication Date: 2011-11-24

Print ISSN: 0031-8019

Electronic ISSN: 1744-6406

Topics: Mathematics , Philosophy

Published by Oxford University Press

Permalink

	Location	Call Number	Expected	Availability

Others were also interested in ...

PAPER CURRENT

S·F·X

Fulltext

Unknown

JODY AZZOUNI. Talking about Nothing. New York: Oxford University Press, 2010. ISBN 978-0-19-973894-64. Pp. iv + 273 (2011)

Priest, G.

Oxford University Press

In: Philosophia Mathematica

add to mindlist on the mindlist

Details

Publication Date: 2011-11-24

Print ISSN: 0031-8019

Electronic ISSN: 1744-6406

Topics: Mathematics , Philosophy

Published by Oxford University Press

Permalink

	Location	Call Number	Expected	Availability

Others were also interested in ...

PAPER CURRENT

S·F·X

Fulltext

Unknown

Stefania Centrone. Logic and Philosophy of Mathematics in the Early Husserl. Synthese Library 345. Dordrecht: Springer, 2010. Pp. xxii+232. ISBN 978-90-481-3245-4 (2011)

Hartimo, M.

Oxford University Press

In: Philosophia Mathematica

add to mindlist on the mindlist

Details

Publication Date: 2011-11-24

Print ISSN: 0031-8019

Electronic ISSN: 1744-6406

Topics: Mathematics , Philosophy

Published by Oxford University Press

Permalink

	Location	Call Number	Expected	Availability

Others were also interested in ...

PAPER CURRENT

S·F·X

Fulltext

Unknown

Jon Williamson. In Defence of Objective Bayesianism. Oxford: Oxford University Press, 2010. ISBN 978-0-19-922800-3). Pp. vi + 185 (2011)

Hennig, C.

Oxford University Press

In: Philosophia Mathematica

add to mindlist on the mindlist

Details

Publication Date: 2011-11-24

Print ISSN: 0031-8019

Electronic ISSN: 1744-6406

Topics: Mathematics , Philosophy

Published by Oxford University Press

Permalink

	Location	Call Number	Expected	Availability

Others were also interested in ...

PAPER CURRENT

S·F·X

Fulltext

Unknown

ANDRE FUHRMANN, IVAN KASA, AND MANFRED KUPFFER, eds. Special Issue: Philosophy of Mathematics (2011)

Oxford University Press

In: Philosophia Mathematica

add to mindlist on the mindlist

Details

Publication Date: 2011-11-24

Print ISSN: 0031-8019

Electronic ISSN: 1744-6406

Topics: Mathematics , Philosophy

Published by Oxford University Press

Permalink

	Location	Call Number	Expected	Availability

Others were also interested in ...

PAPER CURRENT

S·F·X

Fulltext

Unknown

Crossing Curves: A Limit to the Use of Diagrams in Proofs (2011)

Giaquinto, M.

Oxford University Press

In: Philosophia Mathematica

add to mindlist on the mindlist

Details

Publication Date: 2011-11-24

Description: This paper investigates the following question: when can one reliably infer the existence of an intersection point from a diagram presenting crossing curves or lines? Two cases are considered, one from Euclid's geometry and the other from basic real analysis. I argue for the acceptability of such an inference in the geometric case but against in the analytic case. Though this question is somewhat specific, the investigation is intended to contribute to the more general question of the extent and limits of reliable diagrammatic reasoning in mathematics.

Print ISSN: 0031-8019

Electronic ISSN: 1744-6406

Topics: Mathematics , Philosophy

Published by Oxford University Press

Permalink

	Location	Call Number	Expected	Availability

Others were also interested in ...

PAPER CURRENT

S·F·X

Fulltext

Unknown

Reply to Armour-Garb (2011)

Balaguer, M.

Oxford University Press

In: Philosophia Mathematica

add to mindlist on the mindlist

Details

Publication Date: 2011-11-24

Description: Hermeneutic non-assertivism is a thesis that mathematical fictionalists might want to endorse in responding to a recent objection due to John Burgess. Brad Armour-Garb has argued that hermeneutic non-assertivism is false. A response is given here to Armour-Garb's argument.

Print ISSN: 0031-8019

Electronic ISSN: 1744-6406

Topics: Mathematics , Philosophy

Published by Oxford University Press

Permalink

	Location	Call Number	Expected	Availability

Others were also interested in ...

PAPER CURRENT

S·F·X

Fulltext

Unknown

ANDRAS MATE and PETER MEKIS eds. Special Issue, Imre Ruzsa -- A Man of Consequence. Hungarian Philosophical Review / Magyar Filozofiai Szemle (2011)

Oxford University Press

In: Philosophia Mathematica

add to mindlist on the mindlist

Details

Publication Date: 2011-11-24

Print ISSN: 0031-8019

Electronic ISSN: 1744-6406

Topics: Mathematics , Philosophy

Published by Oxford University Press

Permalink

	Location	Call Number	Expected	Availability

Others were also interested in ...

PAPER CURRENT

S·F·X

Fulltext

Unknown

MIRCEA PITICI, ed. The Best Writing on Mathematics 2010 (2011)

Oxford University Press

In: Philosophia Mathematica

add to mindlist on the mindlist

Details

Publication Date: 2011-11-24

Print ISSN: 0031-8019

Electronic ISSN: 1744-6406

Topics: Mathematics , Philosophy

Published by Oxford University Press

Permalink

	Location	Call Number	Expected	Availability

Others were also interested in ...

PAPER CURRENT

S·F·X

Fulltext

Unknown

MICHAEL POTTER and TOM RICKETTS, eds. The Cambridge Companion to Frege (2011)

Oxford University Press

In: Philosophia Mathematica

add to mindlist on the mindlist

Details

Publication Date: 2011-11-24

Print ISSN: 0031-8019

Electronic ISSN: 1744-6406

Topics: Mathematics , Philosophy

Published by Oxford University Press

Permalink

	Location	Call Number	Expected	Availability

Others were also interested in ...

PAPER CURRENT

S·F·X

Fulltext

Unknown

Motivating Wittgenstein's Perspective on Mathematical Sentences as Norms (2011)

Friederich, S.

Oxford University Press

In: Philosophia Mathematica

add to mindlist on the mindlist

Details

Publication Date: 2011-11-24

Description: The later Wittgenstein’s perspective on mathematical sentences as norms is motivated for sentences belonging to Hilbertian axiomatic systems where the axioms are treated as implicit definitions. It is shown that in this approach the axioms are employed as norms in that they function as standards of what counts as using the concepts involved. This normative dimension of their mode of use, it is argued, is inherited by the theorems derived from them. Having been motivated along these lines, Wittgenstein’s perspective on mathematical language may appeal also to those who are not friends of or experts on Wittgenstein’s later philosophy of mathematics.

Print ISSN: 0031-8019

Electronic ISSN: 1744-6406

Topics: Mathematics , Philosophy

Published by Oxford University Press

Permalink

	Location	Call Number	Expected	Availability

Others were also interested in ...

PAPER CURRENT

S·F·X

Fulltext

Unknown

Categories without Structures (2011)

Rodin, A.

Oxford University Press

In: Philosophia Mathematica

add to mindlist on the mindlist

Details

Publication Date: 2011-11-24

Description: The popular view according to which category theory provides a support for mathematical structuralism is erroneous. Category-theoretic foundations of mathematics require a different philosophy of mathematics. While structural mathematics studies ‘invariant form’ (Awodey) categorical mathematics studies covariant and contravariant transformations which, generally, have no invariants. In this paper I develop a non-structuralist interpretation of categorical mathematics.

Print ISSN: 0031-8019

Electronic ISSN: 1744-6406

Topics: Mathematics , Philosophy

Published by Oxford University Press

Permalink

	Location	Call Number	Expected	Availability

Others were also interested in ...

PAPER CURRENT

S·F·X

Fulltext

Unknown

How do We Know that the Godel Sentence of a Consistent Theory Is True? (2011)

Sereny, G.

Oxford University Press

In: Philosophia Mathematica

add to mindlist on the mindlist

Details

Publication Date: 2011-11-24

Description: Some earlier remarks Michael Dummett made on Gödel’s theorem have recently inspired attempts to formulate an alternative to the standard demonstration of the truth of the Gödel sentence. The idea underlying the non-standard approach is to treat the Gödel sentence as an ordinary arithmetical one. But the Gödel sentence is of a very specific nature. Consequently, the non-standard arguments are conceptually mistaken. In this paper, both the faulty arguments themselves and the general reasons underlying their failure are analysed. The analysis reveals the true nature of the epistemological relation between the Gödel sentence and its numerical instances.

Print ISSN: 0031-8019

Electronic ISSN: 1744-6406

Topics: Mathematics , Philosophy

Published by Oxford University Press

Permalink

	Location	Call Number	Expected	Availability

Others were also interested in ...

PAPER CURRENT

S·F·X

Fulltext

Unknown

How Not To Use the Church-Turing Thesis Against Platonism (2011)

Urbaniak, R.

Oxford University Press

In: Philosophia Mathematica

add to mindlist on the mindlist

Details

Publication Date: 2011-11-24

Description: Olszewski claims that the Church-Turing thesis can be used in an argument against platonism in philosophy of mathematics. The key step of his argument employs an example of a supposedly effectively computable but not Turing-computable function. I argue that the process he describes is not an effective computation, and that the argument relies on the illegitimate conflation of effective computability with there being a way to find out . ‘Ah, but,’ you say, ‘what’s the use of its being right twice a day, if I can’t tell when the time comes?’ Why, suppose the clock points to eight o’clock, don’t you see that the clock is right at eight o’clock? Consequently, when eight o’clock comes round your clock is right. Lewis Carroll

Print ISSN: 0031-8019

Electronic ISSN: 1744-6406

Topics: Mathematics , Philosophy

Published by Oxford University Press

Permalink

	Location	Call Number	Expected	Availability

Others were also interested in ...

PAPER CURRENT

S·F·X

Fulltext

Unknown

Xavier Sabatier. Les formes du realisme mathematique. Paris: Vrin, 2009. ISBN 978-2-7116-2193-4. Pp. 304 (2011)

Lebel, A.

Oxford University Press

In: Philosophia Mathematica

add to mindlist on the mindlist

Details

Publication Date: 2011-11-24

Print ISSN: 0031-8019

Electronic ISSN: 1744-6406

Topics: Mathematics , Philosophy

Published by Oxford University Press

Permalink

	Location	Call Number	Expected	Availability

Others were also interested in ...

PAPER CURRENT

S·F·X

Fulltext

Unknown

CLAUS BEISBART and STEPHAN HARTMANN eds. Probabilities in Physics (2012)

Oxford University Press

In: Philosophia Mathematica

add to mindlist on the mindlist

Details

Publication Date: 2012-02-14

Print ISSN: 0031-8019

Electronic ISSN: 1744-6406

Topics: Mathematics , Philosophy

Published by Oxford University Press

Permalink

	Location	Call Number	Expected	Availability

Others were also interested in ...

PAPER CURRENT

S·F·X

Fulltext

Unknown

The Hardness of the Iconic Must: Can Peirce's Existential Graphs Assist Modal Epistemology? (2012)

Legg, C.

Oxford University Press

In: Philosophia Mathematica

add to mindlist on the mindlist

Details

Publication Date: 2012-02-14

Description: Charles Peirce's diagrammatic logic — the Existential Graphs — is presented as a tool for illuminating how we know necessity, in answer to Benacerraf's famous challenge that most ‘semantics for mathematics’ do not ‘fit an acceptable epistemology’. It is suggested that necessary reasoning is in essence a recognition that a certain structure has the particular structure that it has. This means that, contra Hume and his contemporary heirs, necessity is observable. One just needs to pay attention, not merely to individual things but to how those things are related in larger structures, certain aspects of which relations force certain other aspects to be a certain way.

Print ISSN: 0031-8019

Electronic ISSN: 1744-6406

Topics: Mathematics , Philosophy

Published by Oxford University Press

Permalink

	Location	Call Number	Expected	Availability

Others were also interested in ...

PAPER CURRENT

S·F·X

Fulltext

Unknown

CHARLES S. PEIRCE Philosophy of Mathematics: Selected Writings of Charles S. Peirce. Matthew E. Moore, ed. Bloomington and Indianapolis: Indiana University Press, 2010. ISBN 978-0-253-35563-8 (hbk); 978-0-253-22265-7 (pbk). Pp. xli + 290 (2012)

Mc; Laughlin, T.

Oxford University Press

In: Philosophia Mathematica

add to mindlist on the mindlist

Details

Publication Date: 2012-02-14

Print ISSN: 0031-8019

Electronic ISSN: 1744-6406

Topics: Mathematics , Philosophy

Published by Oxford University Press

Permalink

	Location	Call Number	Expected	Availability

Others were also interested in ...

PAPER CURRENT

S·F·X

Fulltext

Unknown

MATTHIAS BAAZ, CHRISTOS H. PAPADIMITRIOU, HILARY W. PUTNAM, DANA S. SCOTT and CHARLES L. HARPER Jr, editors, Kurt Godel and the Foundations of Mathematics: Horizon of Truth (2012)

Oxford University Press

In: Philosophia Mathematica

add to mindlist on the mindlist

Details

Publication Date: 2012-02-14

Print ISSN: 0031-8019

Electronic ISSN: 1744-6406

Topics: Mathematics , Philosophy

Published by Oxford University Press

Permalink

	Location	Call Number	Expected	Availability

Others were also interested in ...

PAPER CURRENT

S·F·X

Fulltext

Unknown

Seeing How It Goes: Paper-and-Pencil Reasoning in Mathematical Practice (2012)

Macbeth, D.

Oxford University Press

In: Philosophia Mathematica

add to mindlist on the mindlist

Details

Publication Date: 2012-02-14

Description: Throughout its long history, mathematics has involved the use ofsystems of written signs, most notably, diagrams in Euclidean geometry and formulae in the symbolic language of arithmetic and algebra in the mathematics of Descartes, Euler, and others. Such systems of signs, I argue, enable one to embody chains of mathematical reasoning. I then show that, properly understood, Frege’s Begriffsschrift or concept-script similarly enables one to write mathematical reasoning. Much as a demonstration in Euclid or in early modern algebra does, a proof in Frege’s concept-script shows how it goes.

Print ISSN: 0031-8019

Electronic ISSN: 1744-6406

Topics: Mathematics , Philosophy

Published by Oxford University Press

Permalink

	Location	Call Number	Expected	Availability

Others were also interested in ...

PAPER CURRENT

S·F·X

Fulltext

Unknown

JOHN POLKINGHORNE, ed. Meaning in Mathematics (2012)

Oxford University Press

In: Philosophia Mathematica

add to mindlist on the mindlist

Details

Publication Date: 2012-02-14

Print ISSN: 0031-8019

Electronic ISSN: 1744-6406

Topics: Mathematics , Philosophy

Published by Oxford University Press

Permalink

	Location	Call Number	Expected	Availability

Others were also interested in ...

PAPER CURRENT

S·F·X

Fulltext

Unknown

DOMINIQUE FLAMENT and PHILIPPE NABONNAND, eds. Justifier en mathematiques (2012)

Oxford University Press

In: Philosophia Mathematica

add to mindlist on the mindlist

Details

Publication Date: 2012-02-14

Print ISSN: 0031-8019

Electronic ISSN: 1744-6406

Topics: Mathematics , Philosophy

Published by Oxford University Press

Permalink

	Location	Call Number	Expected	Availability

Others were also interested in ...

PAPER CURRENT

S·F·X

Fulltext

Unknown

Logic, Mathematics, and the A Priori, Part I: A Problem for Realism (2014)

Tennant, N.

Oxford University Press

In: Philosophia Mathematica

add to mindlist on the mindlist

Details

Publication Date: 2014-10-17

Description: This is Part I of a two-part study of the foundations of mathematics through the lenses of (i) apriority and analyticity, and (ii) the resources supplied by Core Logic. Here we explain what is meant by apriority, as the notion applies to knowledge and possibly also to truths in general. We distinguish grounds for knowledge from grounds of truth, in light of our recent work on truthmakers. We then examine the role of apriority in the realism/anti-realism debate. We raise a hitherto unnoticed problem for any Orthodox Realist who attempts to explain the a priori .

Print ISSN: 0031-8019

Electronic ISSN: 1744-6406

Topics: Mathematics , Philosophy

Published by Oxford University Press

Permalink

	Location	Call Number	Expected	Availability

Others were also interested in ...

PAPER CURRENT

S·F·X

Fulltext

Unknown

Logic, Mathematics, and the A Priori, Part II: Core Logic as Analytic, and as the Basis for Natural Logicism (2014)

Tennant, N.

Oxford University Press

In: Philosophia Mathematica

add to mindlist on the mindlist

Details

Publication Date: 2014-10-17

Description: We examine the sense in which logic is a priori , and explain how mathematical theories can be dichotomized non-trivially into analytic and synthetic portions. We argue that Core Logic contains exactly the a-priori -because-analytically-valid deductive principles. We introduce the reader to Core Logic by explaining its relationship to other logical systems, and stating its rules of inference. Important metatheorems about Core Logic are reported, and its important features noted. Core Logic can serve as the basis for a foundational program that could be called Natural Logicism, an exposition of which will build on the (meta)logical ideas explained here.

Print ISSN: 0031-8019

Electronic ISSN: 1744-6406

Topics: Mathematics , Philosophy

Published by Oxford University Press

Permalink