Skip to main content
Top

Hint

Swipe to navigate through the chapters of this book

2014 | OriginalPaper | Chapter

15. Loop-Closing Semantics

Abstract

How is semantic content possible? How can parts of the world refer to other parts? On what grounds (if any) can we claim that simple mechanisms, such as thermometers, thermostats, clocks, and rulers, etc., refer to features of the world in virtue of their causal powers rather than our intentional practices with respect to them? I introduce Sloman’s Tarskian-inspired “loop-closing theory” in order to answer these questions. Loop-closing theory reduces a subset of semantic properties to the causal properties of control systems. I develop Sloman’s account by specifying a metalanguage to describe the causal structure of loop-closing models, and then identify and define a control system’s manipulable feature, which is the subset of the world necessarily present for control success. Loop-closing theory identifies the referential content of a control system’s information-bearing substates with the manipulable feature. I conclude by applying loop-closing semantics to some illustrative test cases, such as the semantic properties of memory addressing in CPUs, the referential content of bacterial magnetosomes, the problem of misrepresentation, and connections to Ramsay-Whyte success semantics.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Footnotes
1
I ignore some technical details here. First, some conjunctive features are necessarily coupled and order-dependent due to the associated functional relations. We can take account of order-dependence but doing so would complicate the exposition without altering the basic argument. Second, the MDNF may not be unique, in which case we have a set of manipulable features.
 
Literature
go back to reference Barwise JK, Seligman J (1997) Information flow: the logic of distributed systems. Cambridge University Press, Cambridge CrossRefMATH Barwise JK, Seligman J (1997) Information flow: the logic of distributed systems. Cambridge University Press, Cambridge CrossRefMATH
go back to reference Bazylinski DA, Frankel RB (2004) Magnetosome formation in prokaryotes. Nat Rev Microbiol 2:217–230 CrossRef Bazylinski DA, Frankel RB (2004) Magnetosome formation in prokaryotes. Nat Rev Microbiol 2:217–230 CrossRef
go back to reference Bhaskar R (1997) A realist theory of science. Verso Classics, London. (Original edition published by Leeds Books Ltd 1975) Bhaskar R (1997) A realist theory of science. Verso Classics, London. (Original edition published by Leeds Books Ltd 1975)
go back to reference Blackburn S (2010) Success semantics. Oxford University Press, Oxford, pp 181–199 Blackburn S (2010) Success semantics. Oxford University Press, Oxford, pp 181–199
go back to reference Chen L, Bazylinksi DA, Lower BH (2010) Bacteria that synthesize nano-sized compasses to navigate using earth’s geomagnetic field. Nat Educ Knowl 1(10):14 Chen L, Bazylinksi DA, Lower BH (2010) Bacteria that synthesize nano-sized compasses to navigate using earth’s geomagnetic field. Nat Educ Knowl 1(10):14
go back to reference Davidson D (1987) Knowing one’s own mind. Proc Addresses Am Philos Assoc 60:441–458 CrossRef Davidson D (1987) Knowing one’s own mind. Proc Addresses Am Philos Assoc 60:441–458 CrossRef
go back to reference Dennett DC (1997) True believers: the intentional strategy and why it works. In: Haugeland J (ed) Mind design II: philosophy, psychology, artificial intelligence. Massachusetts Institute of Technology, Massachusetts. (Reprint of a 1981 publication) Dennett DC (1997) True believers: the intentional strategy and why it works. In: Haugeland J (ed) Mind design II: philosophy, psychology, artificial intelligence. Massachusetts Institute of Technology, Massachusetts. (Reprint of a 1981 publication)
go back to reference Dretske F (1981) Knowledge and the flow of information. MIT Press, Cambridge Dretske F (1981) Knowledge and the flow of information. MIT Press, Cambridge
go back to reference Dretske F (1986) Misrepresentation. In: Bogdan R (ed) Belief. Clarendon Press, Oxford Dretske F (1986) Misrepresentation. In: Bogdan R (ed) Belief. Clarendon Press, Oxford
go back to reference Feferman AB, Feferman S (2004) Alfred Tarski, life and logic. Cambridge University Press, Cambridge MATH Feferman AB, Feferman S (2004) Alfred Tarski, life and logic. Cambridge University Press, Cambridge MATH
go back to reference Fodor J (1989) Psychosemantics: the problem of meaning in the philosophy of mind. MIT Press, Cambridge Fodor J (1989) Psychosemantics: the problem of meaning in the philosophy of mind. MIT Press, Cambridge
go back to reference Fodor J (1990) A theory of content and other essays. MIT Press, Cambridge Fodor J (1990) A theory of content and other essays. MIT Press, Cambridge
go back to reference Jacob P (1997) What minds can do. Intentionality in a non-intentional world. Cambridge studies in philosophy. Cambridge University Press, Cambridge Jacob P (1997) What minds can do. Intentionality in a non-intentional world. Cambridge studies in philosophy. Cambridge University Press, Cambridge
go back to reference Kim DH, Cheang UK, Köhidai L, Byun D, Kim MJ (2010) Artificial magnetotactic motion control of tetrahymena pyriformis using ferromagnetic nanoparticles: a tool for fabrication of microbiorobots. Appl Phys Lett 97:17302–17303 Kim DH, Cheang UK, Köhidai L, Byun D, Kim MJ (2010) Artificial magnetotactic motion control of tetrahymena pyriformis using ferromagnetic nanoparticles: a tool for fabrication of microbiorobots. Appl Phys Lett 97:17302–17303
go back to reference McCarthy J (1979) Ascribing mental qualities to machines. In: Philosophical perspectives in artificial intelligence. Humanities Press, Atlantic Highlands, pp 161–195 McCarthy J (1979) Ascribing mental qualities to machines. In: Philosophical perspectives in artificial intelligence. Humanities Press, Atlantic Highlands, pp 161–195
go back to reference McCulskey EL (1959) Minimization of boolean functions. Bell Syst Tech J 35:149–175 McCulskey EL (1959) Minimization of boolean functions. Bell Syst Tech J 35:149–175
go back to reference Millikan RG (1984) Language, thought and other biological categories. MIT Press, Cambridge Millikan RG (1984) Language, thought and other biological categories. MIT Press, Cambridge
go back to reference Pearl J (2000) Causality, 2nd edn. Cambridge University Press, Cambridge MATH Pearl J (2000) Causality, 2nd edn. Cambridge University Press, Cambridge MATH
go back to reference Sloman A (1986a) Reference without causal links. In: European conference on artificial intelligence, pp 191–203 Sloman A (1986a) Reference without causal links. In: European conference on artificial intelligence, pp 191–203
go back to reference Sloman A (1986b) What sorts of machines can understand the symbols they use? Proc Aristotelian Soc Suppl 60:61–95 Sloman A (1986b) What sorts of machines can understand the symbols they use? Proc Aristotelian Soc Suppl 60:61–95
go back to reference Sloman A (1994a) Representations as control sub-states. Cognitive Science Research Centre. School of Computer Science, University of Birmingham, UK Sloman A (1994a) Representations as control sub-states. Cognitive Science Research Centre. School of Computer Science, University of Birmingham, UK
go back to reference Sloman A (1994b) Semantics in an intelligent control system. Philos Trans R Soc Phys Sci Eng 349:43–58 CrossRef Sloman A (1994b) Semantics in an intelligent control system. Philos Trans R Soc Phys Sci Eng 349:43–58 CrossRef
go back to reference Sloman A (1997) Beyond Turing equivalance. In: Millican P, Clark A (eds) Machines and thought: the legacy of Alan Turing, vol 1. Oxford University Press, Oxford Sloman A (1997) Beyond Turing equivalance. In: Millican P, Clark A (eds) Machines and thought: the legacy of Alan Turing, vol 1. Oxford University Press, Oxford
go back to reference Sloman A (2002a) The irrelevance of turing machines to artificial intelligence. In: Scheutz M (ed) Computationalism: new directions, MIT Press, Cambridge, pp 87–128 Sloman A (2002a) The irrelevance of turing machines to artificial intelligence. In: Scheutz M (ed) Computationalism: new directions, MIT Press, Cambridge, pp 87–128
go back to reference Sloman A (2002b) The mind as a control system. In: Hookway C, Peterson D (eds) Proceedings of the 1992 royal institute of philosophy conference ‘philosophy and the cognitive sciences’. Royal Institute of Philosophy, Cambridge University Press, Cambridge Sloman A (2002b) The mind as a control system. In: Hookway C, Peterson D (eds) Proceedings of the 1992 royal institute of philosophy conference ‘philosophy and the cognitive sciences’. Royal Institute of Philosophy, Cambridge University Press, Cambridge
go back to reference Tarski A (1956) Logic, semantics, metamathematics: papers from 1923 to 1938 by Alfred Tarski. Clarendon Press, Oxford Tarski A (1956) Logic, semantics, metamathematics: papers from 1923 to 1938 by Alfred Tarski. Clarendon Press, Oxford
go back to reference von Wright G (1971) Explanation and understanding. Cornell University Press, Ithaca von Wright G (1971) Explanation and understanding. Cornell University Press, Ithaca
go back to reference Wiener N (1975) Cybernetics: or control and communication in the animal and the machine, 2nd edn. MIT Press, Cambridge Wiener N (1975) Cybernetics: or control and communication in the animal and the machine, 2nd edn. MIT Press, Cambridge
go back to reference Woodward J (2003) Making things happen. Oxford University Press, Oxford Woodward J (2003) Making things happen. Oxford University Press, Oxford
Metadata
Title
Loop-Closing Semantics
Author
Ian Wright
Copyright Year
2014
DOI
https://doi.org/10.1007/978-3-319-06614-1_15

Premium Partner