Mathematical reasoning and external symbolic systems

Logique Et Analyse 56 (221):45-65 (2013)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



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

External links

  • This entry has no external links. Add one.
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 to mathematical logic.Michał Walicki - 2012 - Hackensack, NJ: World Scientific.
Seeing How It Goes: Paper-and-Pencil Reasoning in Mathematical Practice.Danielle Macbeth - 2012 - Philosophia Mathematica 20 (1):58-85.
Mathematical reasoning: analogies, metaphors, and images.Lyn D. English (ed.) - 1997 - Mahwah, N.J.: L. Erlbaum Associates.
19th century logic between philosophy and mathematics.Volker Peckhaus - 1999 - Bulletin of Symbolic Logic 5 (4):433-450.
Mathematical fuzzy logics.Siegfried Gottwald - 2008 - Bulletin of Symbolic Logic 14 (2):210-239.
The Tinctures and Implicit Quantification over Worlds.Jay Zeman - 1997 - In Paul Forster & Jacqueline Brunning (eds.), The Rule of Reason: The Philosophy of C.S. Peirce. University of Toronto Press. pp. 96-119.
Mathematical jurisprudence and mathematical ethics: a mathematical simulation of the evaluative and the normative attitudes to the rigoristic sub-systems of the positive law and of the natural-law-and-morals.Vladimir Olegovič Lobovikov - 1999 - Ekaterinburg: The Urals State University Press.
A neural-symbolic perspective on analogy.Rafael V. Borges, Artur S. D'Avila Garcez & Luis C. Lamb - 2008 - Behavioral and Brain Sciences 31 (4):379-380.
An introduction to mathematical reasoning.Boris Iglewicz - 1973 - New York,: Macmillan. Edited by Judith Stoyle.
Proof systems for probabilistic uncertain reasoning.J. Paris & A. Vencovská - 1998 - Journal of Symbolic Logic 63 (3):1007-1039.
The two-valued iterative systems of mathematical logic.Emil Leon Post - 1941 - London,: H. Milford, Oxford university press.
Mathematical interpretation of formal systems.Thoralf Skolem, G. Hasenjaeger, G. Kreisel, A. Robinson, Hao Wang, L. Henkin & J. Łoś (eds.) - 1955 - Amsterdam: North-Holland Pub. Co..
Notes on practical reasoning.Gilbert Harman - manuscript
The Education of Perception.Robert L. Goldstone, David H. Landy & Ji Y. Son - 2010 - Topics in Cognitive Science 2 (2):265-284.
Connectionist inference models.Ron Sun - manuscript

Analytics

Added to PP
2013-12-12

Downloads
3 (#1,682,188)

6 months
1 (#1,533,009)

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