Browse results
Contributors are: Brian Ball, Cristina Corredor, Anita Fetzer, Milada Hirschová, Dennis Kurzon, Marcin Matczak, Marina Sbisà, Iwona Witczak-Plisiecka, Maciej Witek, and Mateusz Włodarczyk.
Contributors are: Brian Ball, Cristina Corredor, Anita Fetzer, Milada Hirschová, Dennis Kurzon, Marcin Matczak, Marina Sbisà, Iwona Witczak-Plisiecka, Maciej Witek, and Mateusz Włodarczyk.
The core functionality of the brain – any brain, any species, any time – is delivery and management of the unavoidable bi-directional transformation between brain states and activity – the Sequential Imperative. Making it all work requires some general cognitive principles and close attention to detail. The book sets out the case in broad terms but also incorporates significant detail where necessary.
The core functionality of the brain – any brain, any species, any time – is delivery and management of the unavoidable bi-directional transformation between brain states and activity – the Sequential Imperative. Making it all work requires some general cognitive principles and close attention to detail. The book sets out the case in broad terms but also incorporates significant detail where necessary.
An extended introduction overviews the topic as a whole, presenting in detail its history and the main contemporary approaches and discussions.
More than 20 contributions by internationally acknowledged scholars make the volume a comprehensive study of some very fundamental philosophical entities.
An extended introduction overviews the topic as a whole, presenting in detail its history and the main contemporary approaches and discussions.
More than 20 contributions by internationally acknowledged scholars make the volume a comprehensive study of some very fundamental philosophical entities.
Es werden insbesondere kognitionswissenschaftliche Ansätze zur Sprache kommen, die das Verhältnis, die Funktion und die Berechtigung unterschiedlicher Formen der Repräsentation behandeln. Hierbei geht es sowohl allgemein um das Verhältnis von Bild und Sprache und um die These von der Unhintergehbarkeit der Sprache, als auch etwas spezieller um die konkrete Bestimmung des mentalen Bildes, die Frage etwa nach seinem 'analogen' Charakter oder seiner spezifischen Art und Weise, Wissen zu repräsentieren.
Es werden insbesondere kognitionswissenschaftliche Ansätze zur Sprache kommen, die das Verhältnis, die Funktion und die Berechtigung unterschiedlicher Formen der Repräsentation behandeln. Hierbei geht es sowohl allgemein um das Verhältnis von Bild und Sprache und um die These von der Unhintergehbarkeit der Sprache, als auch etwas spezieller um die konkrete Bestimmung des mentalen Bildes, die Frage etwa nach seinem 'analogen' Charakter oder seiner spezifischen Art und Weise, Wissen zu repräsentieren.
The study which resulted in this volume was carried out in the Historical Section of the research project Logical Systems and Algorithms for Automatic Testing of Reasoning, 1986-1990, in which participated nine Polish universities; the project was coordinated by the Department of Logic, Methodology and Philosophy of Science of the Bia??l??ystok Branch of the University of Warsaw, and supported by the Ministry of Education (some of its results are reported in (Srzednicki (Ed.) 1987). The major part of the project was focussed on the software for computer-aided theorem proving called Mizar MSE (Multi-Sorted first-order logic with Equality, reported in (Marciszewski 1994a)) due to Dr. Andrzej Trybulec. He and other colleagues deserve a grateful mention for a hands-on experience and theoretical stimulants owed to their collaboration.
The study which resulted in this volume was carried out in the Historical Section of the research project Logical Systems and Algorithms for Automatic Testing of Reasoning, 1986-1990, in which participated nine Polish universities; the project was coordinated by the Department of Logic, Methodology and Philosophy of Science of the Bia??l??ystok Branch of the University of Warsaw, and supported by the Ministry of Education (some of its results are reported in (Srzednicki (Ed.) 1987). The major part of the project was focussed on the software for computer-aided theorem proving called Mizar MSE (Multi-Sorted first-order logic with Equality, reported in (Marciszewski 1994a)) due to Dr. Andrzej Trybulec. He and other colleagues deserve a grateful mention for a hands-on experience and theoretical stimulants owed to their collaboration.