Formal Methodology
Article Sidebar
Опубликован:
30.11.2009
Main Article Content
Аннотация
В общих чертах, методология - это изучение всего процесса научного исследования: как наука достигает поставленной цели. Существуют разные виды целей для научных исследований. Например, цели могут быть эпистемическими (правда), эстетическими (простота) или прагматическими целями нескольких видов (эффективность, экономия и объяснительная сила). Не забота методологии, какова эта цель. В более общем смысле, формальные методы оказались эффективными инструментами в философском анализе, в статье мы покажем это, представляя вопросительную модель и некоторые ее основные свойства, упомянем теорему закона покрытия. Наконец, мы сформулируем некоторые философские последствия введенной модели.
Скачивания
Данные скачивания пока не доступны.
Article Details
Как цитировать
Муттанен А. Formal Methodology // Логические исследования / Logical Investigations. 2009. Т. 15. C. 296-313.
Выпуск
Раздел
Статьи
Литература
Bar-Hillel Y. and Carnap R. Semantic Information // British Journal for the Philosophy of Science 4, 1953. P. 147-157.
Burgin M. Three aspects of Super-recursive Algorithms and Hypercomputation or Finding Black Swans // Theoretical Computer Science 317, 2004. P. 1-11.
Engestrom Y. Activity Theory and Individual and Social Transformation, in Engestrom, Y., R. Miettinen, and R-L. Punamaki (eds.) // Perspectives on Activity Theory, Cambridge University Press, 1999.
Follesdal D. // Hendricks and Symons, 2005.
Haack S. // Hendricks and Symons, 2005.
Hendricks V.F. The Convergence of Scientific Knowledge — a View from the Limit // Kluwer Academic Publishers, 2001.
Hendricks V.F. and Symons J. Formal Philosophy // Automatic Press, 2005.
Hintikka J. Models for Modalities // D. Reidel Publishing Company, 1969.
Hintikka J. Logic,Language-Games and Information : Kantian Themes in the Philosophy of Logic // Clarendon Press, 1973.
Hintikka J. The logic of science as a model-oriented logic. In P. Asquith and P. Kitcher (eds.) // PSA, vol. 1. East Lansing, Michigan: Philosophy of Science Association, 1984. P. 177-185.
Hintikka J. What Is the Logic of Experimental Inquiry? // Synthese 74, 1988. P. 173-188.
Hintikka J. The Principles of Mathematics Revisited // Cambridge University Press, 1996.
Hintikka J. // Hendricks and Symons, 2005.
Hintikka J. Socratic Epistemology // Cambridge University Press, 2007.
Hintikka J. and Bachman J. What If...? Toward Excellence in Reasoning // Mayfield Publishing Company, 1991.
Hintikka J., Halonen I. and Mutanen A. Interrogative Logic as a General Theory of Reasoning in R.H. Johnson and J. Woods (eds.) // Handbook of Practical Reasoning, Kluwer Academic, 2002.
Kelly K. The Logic of Reliable Inquiry // Oxford University Press, 1996.
Laudan L. Progress and its Problems: Toward a Theory of Scientific Growth // Berkeley University of Califormia Press, 1977.
Mutanen A. From Computation to Truth via Learning // Helsinki, 2004.
Mutanen A. Methodology of Engineering Science as a Combination of Epistemic, Ethical and Aesthetic Aspects, in Hyldgaard, Steen (ed.) // Philosophy in Engineering, Academica, 2007.
Niiniluoto I. The Aim and Structure of Applied Research // Erkenntnis 38, 1993. P. 1-21.
Niiniluoto I.Truthlikeness // D. Reidel, 1987.
Priest G. Logic // The Newsletterfor Philosophical Logic and Its Applications, Springer, 2007.
Sandu G. // Hendricks and Symons, 2005.
von Wright G. H. Explanation and Understanding, Routledge and K. Paul, 1971.
Burgin M. Three aspects of Super-recursive Algorithms and Hypercomputation or Finding Black Swans // Theoretical Computer Science 317, 2004. P. 1-11.
Engestrom Y. Activity Theory and Individual and Social Transformation, in Engestrom, Y., R. Miettinen, and R-L. Punamaki (eds.) // Perspectives on Activity Theory, Cambridge University Press, 1999.
Follesdal D. // Hendricks and Symons, 2005.
Haack S. // Hendricks and Symons, 2005.
Hendricks V.F. The Convergence of Scientific Knowledge — a View from the Limit // Kluwer Academic Publishers, 2001.
Hendricks V.F. and Symons J. Formal Philosophy // Automatic Press, 2005.
Hintikka J. Models for Modalities // D. Reidel Publishing Company, 1969.
Hintikka J. Logic,Language-Games and Information : Kantian Themes in the Philosophy of Logic // Clarendon Press, 1973.
Hintikka J. The logic of science as a model-oriented logic. In P. Asquith and P. Kitcher (eds.) // PSA, vol. 1. East Lansing, Michigan: Philosophy of Science Association, 1984. P. 177-185.
Hintikka J. What Is the Logic of Experimental Inquiry? // Synthese 74, 1988. P. 173-188.
Hintikka J. The Principles of Mathematics Revisited // Cambridge University Press, 1996.
Hintikka J. // Hendricks and Symons, 2005.
Hintikka J. Socratic Epistemology // Cambridge University Press, 2007.
Hintikka J. and Bachman J. What If...? Toward Excellence in Reasoning // Mayfield Publishing Company, 1991.
Hintikka J., Halonen I. and Mutanen A. Interrogative Logic as a General Theory of Reasoning in R.H. Johnson and J. Woods (eds.) // Handbook of Practical Reasoning, Kluwer Academic, 2002.
Kelly K. The Logic of Reliable Inquiry // Oxford University Press, 1996.
Laudan L. Progress and its Problems: Toward a Theory of Scientific Growth // Berkeley University of Califormia Press, 1977.
Mutanen A. From Computation to Truth via Learning // Helsinki, 2004.
Mutanen A. Methodology of Engineering Science as a Combination of Epistemic, Ethical and Aesthetic Aspects, in Hyldgaard, Steen (ed.) // Philosophy in Engineering, Academica, 2007.
Niiniluoto I. The Aim and Structure of Applied Research // Erkenntnis 38, 1993. P. 1-21.
Niiniluoto I.Truthlikeness // D. Reidel, 1987.
Priest G. Logic // The Newsletterfor Philosophical Logic and Its Applications, Springer, 2007.
Sandu G. // Hendricks and Symons, 2005.
von Wright G. H. Explanation and Understanding, Routledge and K. Paul, 1971.