Introduction: From Practice to Results in Mathematics and Logic

, , &
Philosophia Scientiae 16 (1):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,386

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 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.
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.
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.
Logic for philosophy.Theodore Sider - 2009 - New York: Oxford University Press.
Modal logic.Alexander Chagrov - 1997 - New York: Oxford University Press. Edited by Michael Zakharyaschev.
Introduction to the foundations of mathematics.Raymond Louis Wilder - 1952 - Huntington, N.Y.: R. E. Krieger Pub. Co..
The principles of mathematics revisited.Jaakko Hintikka - 1996 - New York: Cambridge University Press.

Analytics

Added to PP
2015-01-22

Downloads
9 (#1,224,450)

6 months
7 (#411,886)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

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

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references