David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
The integration of reasoning and computation services across system and language boundaries has been mostly treated from an engineering perspective. In this paper we take a foundational point of view. We identify the following form of integration problems: an informal (mathematical; i.e, logically underspeciﬁed) speciﬁcation has multiple concrete formal implementations between which queries and results have to be transported. The integration challenge consists in dealing with the implementation-speciﬁc details such as additional constants and properties. We pinpoint their role in safe and unsafe integration schemes and propose a proof-theoretic solution based on modular theory-graphs that include the meta-logical foundations. This also gives a clean conceptual basis for earlier attempts that explain integration via “content/semantic markup”.
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library||
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Lew Gerbilsky (2006). The Philosophy of Integratism. The Proceedings of the Twenty-First World Congress of Philosophy 4:35-43.
Ladislav Tondl (2007). Rational Actions and the Integration of Knowledge. Journal for General Philosophy of Science 38 (1):91 - 110.
Christopher Menzel, Basic Semantic Integration. Semantic Interoperability and Integration, Proceedings of Dagstuhl Seminar 04391.
Fidel Gutiérrez Vivanco (2008). La Identidad, la Diferencia y la Integración de la Humanidad. Proceedings of the Xxii World Congress of Philosophy 18:141-147.
Jakob Hohwy (2007). Functional Integration and the Mind. Synthese 159 (3):315-328.
Michael Wertheimer (1988). Obstacles to the Integration of Competing Theories in Psychology. Philosophical Psychology 1 (1):131 – 137.
Katherina Glac & Tae Wan Kim (2009). The "I" in ISCT: Normative and Empirical Facets of Integration. [REVIEW] Journal of Business Ethics 88 (4):693 - 705.
Dale J. Cohen & Michael Kubovy (1999). Even Feature Integration is Cognitively Impenetrable. Behavioral and Brain Sciences 22 (3):371-372.
Massimo Pigliucci (2003). Phenotypic Integration: Studying the Ecology and Evolution of Complex Phenotypes. Ecology Letters 6:265-272.
Kevin Connolly, Craig French, David M. Gray & Adrienne Prettyman, The Unity of Consciousness and Sensory Integration: Conference Report.
Robert M. Veatch (2005). The Death of Whole-Brain Death: The Plague of the Disaggregators, Somaticists, and Mentalists. Journal of Medicine and Philosophy 30 (4):353 – 378.
Gabriel Vacariu (2012). Cognitive Neuroscience Versus Epistemologically Different Worlds. University of Bucharest Press.
Added to index2011-03-17
Total downloads4 ( #252,697 of 1,099,048 )
Recent downloads (6 months)1 ( #287,293 of 1,099,048 )
How can I increase my downloads?