- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Mathematical reasoning with higher-order anti-unifcation
Markus Guhe, Alison Pease, Alan Smaill, Martin Schmidt, Helmar Gust, Kai-Uwe Kühnberger & Ulf Krumnack
In S. Ohlsson & R. Catrambone (eds.), Proceedings of the 32nd Annual Conference of the Cognitive Science Society. Cognitive Science Society (2010)
Abstract
This article has no associated abstract. (fix it)Author Profiles
Links
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
Developments in Research on Mathematical Practice and Cognition.Alison Pease, Markus Guhe & Alan Smaill - 2013 - Topics in Cognitive Science 5 (2):224-230.
Proceedings of AISB 2010 Symposium on Mathematical Practice and Cognition.Alison Pease, Markus Guhe & Alan Smaill (eds.) - 2010 - AISB.
Ultraproducts and Higher Order Formulas.Gábor Sági - 2002 - Mathematical Logic Quarterly 48 (2):261-275.
A Consistent Higher‐Order Theory Without a (Higher‐Order) Model.Thomas Forster - 1989 - Mathematical Logic Quarterly 35 (5):385-386.
Constructibility in higher order arithmetics.A. Sochor - 1993 - Archive for Mathematical Logic 32 (6):381-389.
A dilemma for higher-order theories of consciousness.Isabel Gois - 2010 - Philosophia 38 (1):143-156.
Intuition and visualization in mathematical problem solving.Valeria Giardino - 2010 - Topoi 29 (1):29-39.
Higher-order global states : An alternative higher-order model of consciousness.Robert Van Gulick - 2004 - In Rocco J. Gennaro (ed.), Higher-Order Theories of Consciousness: An Anthology. John Benjamins.
Higher-order global states (HOGS) An alternative higher-order model.Robert Van Gulick - 2004 - In Rocco J. Gennaro (ed.), Higher-Order Theories of Consciousness: An Anthology. John Benjamins.. pp. 67.
Jordan blocks and exponentially decaying higher-order Gamow states.A. Bohm, M. Loewe, P. Patuleanu & C. Püntmann - 1997 - Foundations of Physics 27 (5):613-624.
Foundations without foundationalism: a case for second-order logic.Stewart Shapiro - 1991 - New York: Oxford University Press.
Analytics
Added to PP
2014-01-31
Downloads
25 (#616,937)
6 months
5 (#629,136)
2014-01-31
Downloads
25 (#616,937)
6 months
5 (#629,136)
Historical graph of downloads
Author Profiles
References found in this work
The Way We Think: Conceptual Blending and the Mind's Hidden Complexities.Gilles Fauconnier - 2002 - Basic Books. Edited by Mark Turner.
Structure‐Mapping: A Theoretical Framework for Analogy.Dedre Gentner - 1983 - Cognitive Science 7 (2):155-170.
Where Mathematics Comes From How the Embodied Mind Brings Mathematics Into Being.George Lakoff & Rafael E. Núñez - 2000
Conceptual Spaces: The Geometry of Thought.Peter Gärdenfors - 2000 - Tijdschrift Voor Filosofie 64 (1):180-181.
Information Flow: The Logic of Distributed Systems.Jon Barwise & Jerry Seligman - 1997 - Cambridge University Press.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-7c76586df8-pp8v9 uwo