The Relevance of Peircean Theory of Abduction to the Development of Students' Conceptions of Proof (With Particular Attention to Proof in Calculus)

Semiotics:217-232 (2000)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.5840/cpsem200023

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 103,885

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

Proof Theory of First Order Abduction: Sequent Calculus and Structural Rules.Seyed Ahmad Mirsanei - 2021 - Eighth Annual Conference of Iranian Association for Logic (Ial).
Semantics and Proof Theory of the Epsilon Calculus.Richard Zach - 2017 - In Ghosh Sujata & Prasad Sanjiva, Logic and Its Applications. ICLA 2017. Springer. pp. 27-47.
Proof Theory of Finite-valued Logics.Richard Zach - 1993 - Dissertation, Technische Universität Wien
Reduction Rules for Intuitionistic λρ{{\lambda}{\rho}} λ ρ -calculus.Ken-Etsu Fujita, Ryo Kashima, Yuichi Komori & Naosuke Matsuda - 2015 - Studia Logica 103 (6):1225-1244.
Structural Proof Theory.Sara Negri, Jan von Plato & Aarne Ranta - 2001 - New York: Cambridge University Press. Edited by Jan Von Plato.
The science of learning mathematical proofs: an introductory course.Elana Reiser - 2021 - New Jersey: World Scientific.
The cost of a cycle is a square.A. Carbone - 2002 - Journal of Symbolic Logic 67 (1):35-60.
The Significance of the Curry-Howard Isomorphism.Richard Zach - 2018 - In Gabriele Mras, Paul Weingartner & Bernhard Ritter, Philosophy of Logic and Mathematics: Proceedings of the 41st International Ludwig Wittgenstein Symposium. Berlin, Boston: De Gruyter. pp. 313-326.
First‐year secondary school mathematics students' conceptions of mathematical proofs and proving.Savas Basturk - 2010 - Educational Studies 36 (3):283-298.
Type theory and formal proof: an introduction.R. P. Nederpelt & Herman Geuvers - 2014 - New York: Cambridge University Press. Edited by Herman Geuvers.

Analytics

Added to PP
2012-09-18

Downloads
24 (#987,510)

6 months
3 (#1,157,458)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references