Истинность в диалоговой логике и теоретико-игровой семантике (GTS)
Article Sidebar
Опубликован:
28.09.2015
Ключевые слова:
диалоговая логика, теоретико-игровая семантика, истинность, интуиционистский диалог с гипотезами, истинность на модели, валидность
Main Article Content
Аннотация
В данной статье рассматривается истинность в том виде, в котором она задается в диалоговой логике Пауля Лоренцена и Куно Лоренца и в теоретико-игровой семантике (GTS), предложенной Яакко Хинтиккой и разрабатываемой Габриелем Санду. В ходе рассмотрения выявляются и сравниваются основные характеристики семантических концепций, присущих теоретико-игровому подходу (GTS) и диалоговой логике. Таким образом, в статье рассматриваются две концепции истинности, а именно: истинность в теоретико игровой семантике (GTS) и в диалоговой логике. Истинность формулы в обоих подходах определяется как наличие выигрышной стратегии для игрока, отстаивающего данную формулу. Связь между ними заключается в возможности преобразования выигрышной стратегии для игроков в рамках одной системы в выигрышную стратегию для соответствующих игроков в другой посредством строго определенного и конечного алгоритма. Результат данного сравнения позволяет получить определенное представление об отношении между теоретикомодельным подходом и подходом в рамках теории доказательства.
Скачивания
Данные скачивания пока не доступны.
Article Details
Как цитировать
Павлова А. М. Истинность в диалоговой логике и теоретико-игровой семантике (GTS) // Логические исследования / Logical Investigations. 2015. Т. 21. № 2. C. 107-133.
Выпуск
Раздел
Статьи
Литература
Аристотель. Метафизика / Пер. с греч. П.А. Первова, В.В. Розанова. М.: Ин-т философии, теологии и истории св. Фомы, 2006. 232 с.
Драгалина-Черная Е.Г. Границы логики: Онтологический поворот // Философия науки. 2009. № 14. С. 87–99.
Лисанюк Е.Н. Риторика и формальная диалектика // РАЦИО.ru. 2010. № 3. С. 26–42.
Alama J., Uckelman S.L. Lorenzen Dialogue Games as Logical Semantics // Internatinal colloquium. Inside arguments: Logic vs Argumentation theory (Portugal: Faculty of Letters of the University of Coimbra, March 24-26, 2011). 2011. P. 1–14.
Barth E.M. From Axiom to Dialogue: a philosophical study of logics and argumentation. Berlin: Walter de Gruyter, 1982. 337 p.
van Benthem J. Logical Construction Games // Acta Philosophica Fennica. 2006. Vol. 78. P. 123–138.
Eklund M. On How Logic Became First-Order // Nordic Journal of Philosophical Logic. 1996. Vol. 1. № 2. P. 147–167.
Eklund M., Kolak D. Is Hintikka’s Logic First-Order? // Synthese. 2002. Vol. 131. Issue 3. P. 371–388.
Feferman S. What Kind of Logic is ‘Independence-Friendly’ Logic? // The Philosophy of Jaakko Hintikka / Ed. by Auxier. R.E., Hahn L.E. Chicago: Open Court, 2006. P. 453—469.
Godel K. Uber die Vollstandigkeit des Logikkalk_uls (1929) // Godel Collected Works / Ed. by S. Feferman. Vol. I, Publications 1929–1936. Oxford University Press, 1986. P. 61–101.
Hamblin Ch. Fallacies. London: Methuen, 1970. 336 p.
Hintikka J. The Principles of Mathematics Revisited. Cambridge University Press, Cambridge, 1996. 304 p.
Hintikka J. Post-Tarskian Truth // Synthese. 2001. Vol. 126. P. 17–36.
Hintikka J., Sandu G. What is Logic? // Handbook of the Philosophy of Logic / Ed. by D. Jacquette. Amsterdam: Elsevier, 2007. P. 13–40.
Hodges W. Compositional Semantics for a Langauge of Imperfect Information // Logic Journal of the IGPL. 1997. Vol. 5. P. 539—563.
Krabbe E.C.W. Dialogue logic // Handbook of the History of Logic. 2006. Vol. 7. P. 665–704.
Lorenz K. Arithmetik und Logik als Spiele. PhD thesis, Universit_at Kiel, 1961. Selections reprinted in [19].
Lorenzen P. Constructive philosophy / Transl. by Pavlowic. Amherst: University of Massachusetts Press, 1987. 291 p.
Lorenzen P., Lorenz K. Dialogische Logik. Darmstadt: Wissenschaftlische Buchgesellschaft, 1978. 238 p.
Pietarinen Aht. Varieties of IFing // Proceedings of the ESSLLI’01 Workshop on Logic and Games / Ed. by G. Sandu and M. Pauly. Department of Philosophy, University of Helsinki, 2001. P. 25–32.
Rahman Sh. Remarks on Dialogical Meaning: A Case Study, 2011. URL: http://ls.informatik.uni-tuebingen.de/prodi/slides/Rahman.pdf (дата обращения: 21.04.2015).
Rahman Sh., Ruckert H. Preface // Synthese. 2001. Vol. 127. P. 1–6.
Rahman Sh., Tulenheimo T. From Games to Dialogues and Back: Towards a General Frame for Validity // Games: Unifying logic, Language and Philosophy / Ed. by Ondrej Majer, Ahti-Veikko Pietarinen, Tero Tulenheimo. Springer, 2009. P. 153–208.
Reed Ch, Walton D. Argumentation Schemes in Dialogue // Dissensus and the Search for Common Ground (Proceedings of OSSA 2007) / Ed. by H.V. Hansen, et al. Volume CD-ROM. 2007. P. 1–11.
de Rouihan P., Bozon S. The Truth of IF: Has Hintikka Really Exorcised Tarski’s Curse? // The Philosophy of Jaakko Hintikka. The Library of Liveing Philosophers. Vol. XXX. 2006. P. 683–705.
Stegmuller W. Remarks on the completeness of logical systems relative to the validity-concepts of P. Lorenzen and K. Lorenz // Notre Dame J. Formal Logic. 1964. Vol. 5. № 2. P. 81–112.
Uckelman S.L., Johnston S. A Simple Semantics for Aristotelian Apodictic Syllogistics // Advances in Modal Logic. 2010. Vol. 8. P. 428–443.
Weingartner P. Basic Questions on Truth. Kluwer Academic Publishers, 2000. 244 p.
Wells S., Reed Ch. Formal Dialectic Specification // Argumentation in MultiAgent Systems First International Workshop. 2004. P. 31–43.
Драгалина-Черная Е.Г. Границы логики: Онтологический поворот // Философия науки. 2009. № 14. С. 87–99.
Лисанюк Е.Н. Риторика и формальная диалектика // РАЦИО.ru. 2010. № 3. С. 26–42.
Alama J., Uckelman S.L. Lorenzen Dialogue Games as Logical Semantics // Internatinal colloquium. Inside arguments: Logic vs Argumentation theory (Portugal: Faculty of Letters of the University of Coimbra, March 24-26, 2011). 2011. P. 1–14.
Barth E.M. From Axiom to Dialogue: a philosophical study of logics and argumentation. Berlin: Walter de Gruyter, 1982. 337 p.
van Benthem J. Logical Construction Games // Acta Philosophica Fennica. 2006. Vol. 78. P. 123–138.
Eklund M. On How Logic Became First-Order // Nordic Journal of Philosophical Logic. 1996. Vol. 1. № 2. P. 147–167.
Eklund M., Kolak D. Is Hintikka’s Logic First-Order? // Synthese. 2002. Vol. 131. Issue 3. P. 371–388.
Feferman S. What Kind of Logic is ‘Independence-Friendly’ Logic? // The Philosophy of Jaakko Hintikka / Ed. by Auxier. R.E., Hahn L.E. Chicago: Open Court, 2006. P. 453—469.
Godel K. Uber die Vollstandigkeit des Logikkalk_uls (1929) // Godel Collected Works / Ed. by S. Feferman. Vol. I, Publications 1929–1936. Oxford University Press, 1986. P. 61–101.
Hamblin Ch. Fallacies. London: Methuen, 1970. 336 p.
Hintikka J. The Principles of Mathematics Revisited. Cambridge University Press, Cambridge, 1996. 304 p.
Hintikka J. Post-Tarskian Truth // Synthese. 2001. Vol. 126. P. 17–36.
Hintikka J., Sandu G. What is Logic? // Handbook of the Philosophy of Logic / Ed. by D. Jacquette. Amsterdam: Elsevier, 2007. P. 13–40.
Hodges W. Compositional Semantics for a Langauge of Imperfect Information // Logic Journal of the IGPL. 1997. Vol. 5. P. 539—563.
Krabbe E.C.W. Dialogue logic // Handbook of the History of Logic. 2006. Vol. 7. P. 665–704.
Lorenz K. Arithmetik und Logik als Spiele. PhD thesis, Universit_at Kiel, 1961. Selections reprinted in [19].
Lorenzen P. Constructive philosophy / Transl. by Pavlowic. Amherst: University of Massachusetts Press, 1987. 291 p.
Lorenzen P., Lorenz K. Dialogische Logik. Darmstadt: Wissenschaftlische Buchgesellschaft, 1978. 238 p.
Pietarinen Aht. Varieties of IFing // Proceedings of the ESSLLI’01 Workshop on Logic and Games / Ed. by G. Sandu and M. Pauly. Department of Philosophy, University of Helsinki, 2001. P. 25–32.
Rahman Sh. Remarks on Dialogical Meaning: A Case Study, 2011. URL: http://ls.informatik.uni-tuebingen.de/prodi/slides/Rahman.pdf (дата обращения: 21.04.2015).
Rahman Sh., Ruckert H. Preface // Synthese. 2001. Vol. 127. P. 1–6.
Rahman Sh., Tulenheimo T. From Games to Dialogues and Back: Towards a General Frame for Validity // Games: Unifying logic, Language and Philosophy / Ed. by Ondrej Majer, Ahti-Veikko Pietarinen, Tero Tulenheimo. Springer, 2009. P. 153–208.
Reed Ch, Walton D. Argumentation Schemes in Dialogue // Dissensus and the Search for Common Ground (Proceedings of OSSA 2007) / Ed. by H.V. Hansen, et al. Volume CD-ROM. 2007. P. 1–11.
de Rouihan P., Bozon S. The Truth of IF: Has Hintikka Really Exorcised Tarski’s Curse? // The Philosophy of Jaakko Hintikka. The Library of Liveing Philosophers. Vol. XXX. 2006. P. 683–705.
Stegmuller W. Remarks on the completeness of logical systems relative to the validity-concepts of P. Lorenzen and K. Lorenz // Notre Dame J. Formal Logic. 1964. Vol. 5. № 2. P. 81–112.
Uckelman S.L., Johnston S. A Simple Semantics for Aristotelian Apodictic Syllogistics // Advances in Modal Logic. 2010. Vol. 8. P. 428–443.
Weingartner P. Basic Questions on Truth. Kluwer Academic Publishers, 2000. 244 p.
Wells S., Reed Ch. Formal Dialectic Specification // Argumentation in MultiAgent Systems First International Workshop. 2004. P. 31–43.