Introduction: From Practice to Results in Mathematics and Logic

, , &
Philosophia Scientiae 16:5-11 (2012)
  Copy   BIBTEX

Abstract

1 Mathematical practice: a short overview This volume is a collection of essays that discuss the relationships between the practices deployed by logicians and mathematicians, either as individuals or as members of research communities, and the results from their research. We are interested in exploring the concept of 'practices' in the formal sciences. Though common in the history, philosophy and sociology of science, this concept has surprisingly thus far been little reflected upon in logic...

Categories

Keywords

Reprint years

DOI

10.4000/philosophiascientiae.706

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Introduction: From Practice to Results in Mathematics and Logic.Valeria Giardino, Amirouche Moktefi, Sandra Mois & Jean Paul Van Bendegem - 2012 - Philosophia Scientiae 16:5-11.
Introduction: From Practice to Results in Mathematics and Logic.Valeria Giardino, Amirouche Moktefi, Sandra Mois & Jean Van Bendegem - 2012 - Philosophia Scientiae 16 (1):5-11.
Introduction to Combinators and (Lambda) Calculus.J. Roger Hindley - 1986 - New York: Cambridge University Press. Edited by J. P. Seldin.
Mathematical logic: a course with exercises.René Cori - 2000 - New York: Oxford University Press. Edited by D. Lascar.
Second-order logic and logicism.William H. Hanson - 1990 - Mind 99 (393):91-99.
Unconscious logic: an introduction to Matte Blanco's bi-logic and its uses.Eric Rayner - 1995 - New York: Routledge.
Language and Coding-Dependency of Results in Logic and Mathematics.Paul Weingartner - 1997 - In Evandro Agazzi & György Darvas (eds.), Philosophy of Mathematics Today. Kluwer Academic Publishers. pp. 73--87.
The last mathematician from Hilbert's göttingen: Saunders Mac Lane as philosopher of mathematics.Colin McLarty - 2007 - British Journal for the Philosophy of Science 58 (1):77-112.
New waves in philosophy of mathematics.Otávio Bueno & Øystein Linnebo (eds.) - 2009 - New York: Palgrave-Macmillan.
Introduction to logic and to the methodology of the deductive sciences.Alfred Tarski - 1949 - New York: Oxford University Press. Edited by Jan Tarski.
Structural Proof Theory.Sara Negri, Jan von Plato & Aarne Ranta - 2001 - New York: Cambridge University Press. Edited by Jan Von Plato.
Logic for philosophy.Theodore Sider - 2009 - New York: Oxford University Press.
Reverse Mathematics and Recursive Graph Theory.William Gasarch & Jeffry L. Hirst - 1998 - Mathematical Logic Quarterly 44 (4):465-473.
The Argument of Mathematics.Andrew Aberdein & Ian J. Dove (eds.) - 2013 - Dordrecht, Netherland: Springer.
Proofs and arguments: The special case of mathematics.Jean Paul Van Bendegem - 2005 - Poznan Studies in the Philosophy of the Sciences and the Humanities 84 (1):157-169.

Analytics

Added to PP
2016-02-04

Downloads
37 (#419,437)

6 months
8 (#352,434)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Amirouche Moktefi
Tallinn University of Technology
Valeria Giardino
Centre National de la Recherche Scientifique
Jean Paul Van Bendegem
Vrije Universiteit Brussel

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references