{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T01:32:40Z","timestamp":1743039160204,"version":"3.40.3"},"publisher-location":"Dordrecht","reference-count":39,"publisher":"Springer Netherlands","isbn-type":[{"type":"print","value":"9789400719224"},{"type":"electronic","value":"9789400719231"}],"license":[{"start":{"date-parts":[[2011,9,8]],"date-time":"2011-09-08T00:00:00Z","timestamp":1315440000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2011,9,8]],"date-time":"2011-09-08T00:00:00Z","timestamp":1315440000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-94-007-1923-1_12","type":"book-chapter","created":{"date-parts":[[2011,9,21]],"date-time":"2011-09-21T07:52:52Z","timestamp":1316591572000},"page":"213-250","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Negation in the Logic of First Degree Entailment and Tonk"],"prefix":"10.1007","author":[{"given":"Shahid","family":"Rahman","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2011,9,8]]},"reference":[{"key":"12_CR1","unstructured":"Clerbout, N. 2011. \u201cDialogical Games for First-Order Logic and Tableaux.\u201d Paper presented at the 14e Congr\u00e8s de Logique, M\u00e9thodologie et Philosophie des Sciences, 19\u201326. Juillet, 2011, Nancy (France)."},{"key":"12_CR2","doi-asserted-by":"publisher","first-page":"chap","DOI":"10.1007\/978-94-007-1923-1_4","volume-title":"Acts of Knowledge, History, Philosophy, Logic","author":"N. Clerbout","year":"2009","unstructured":"Clerbout, N., L. Keiff, and S. Rahman. 2009. \u201cDialogues and Natural Deduction.\u201d In Acts of Knowledge, History, Philosophy, Logic, edited by G. Primiero and S. Rahman, chap. 4. London: College Publications."},{"key":"12_CR3","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/BF00373152","volume":"29","author":"M. Dunn","year":"1976","unstructured":"Dunn, M. 1976. \u201cIntuitive Semantics for First-Degree-Entailments and Coupled-Trees.\u201d Philosophical Studies 29:149\u201368.","journal-title":"Philosophical Studies"},{"key":"12_CR4","first-page":"341","volume-title":"Handbook of Philosophical Logic","author":"W. Felscher","year":"1985","unstructured":"Felscher, W. 1985. \u201cDialogues as a Foundation for Intuitionistic Logic.\u201d In Handbook of Philosophical Logic, edited by D. Gabbay and F. Guenthner, vol. 3, 341\u201372. Dordrecht: Kluwer."},{"key":"12_CR5","first-page":"315","volume-title":"Constructions","author":"V. Fiutek","year":"2010","unstructured":"Fiutek, V., H. R\u00fcckert, and S. Rahman. 2010. \u201cA Dialogical Semantics for Bonanno\u2019s System of Belief Revision.\u201d In Constructions, edited by P. Bour et alii, 315\u201334. London: College Publications."},{"key":"12_CR6","doi-asserted-by":"publisher","first-page":"176","DOI":"10.1007\/BF01201353","volume":"39","author":"G. Gentzen","year":"1935","unstructured":"Gentzen, G. 1935. \u201cUntersuchungen Ueber das Logische Schliessen.\u201d Mathematische Zeitschrift 39:176\u2013210.","journal-title":"Mathematische Zeitschrift"},{"key":"12_CR7","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-015-9313-7","volume-title":"Inquiry as Inquiry: A Logic of Scientific Discovery","author":"J. Hintikka","year":"1999","unstructured":"Hintikka, J. 1999. Inquiry as Inquiry: A Logic of Scientific Discovery. Dordrecht: Kluwer."},{"key":"12_CR8","doi-asserted-by":"crossref","unstructured":"Hintikka, J., I. Halonen, and A. Mutanen. 1999. \u201cInterrogative Logic as a General Theory of Reasoning.\u201d In Hintikka [1999], 47\u201390.","DOI":"10.1007\/978-94-015-9313-7_3"},{"key":"12_CR9","doi-asserted-by":"crossref","first-page":"39","DOI":"10.4000\/philosophiascientiae.562","volume":"8\u20132","author":"L. Keiff","year":"2004","unstructured":"Keiff, L. 2004a. \u201cHeuristique formelle et logiques modales non normales.\u201d Philosophia Scientiae 8\u20132:39\u201359.","journal-title":"Philosophia Scientiae"},{"key":"12_CR10","doi-asserted-by":"crossref","first-page":"89","DOI":"10.4000\/philosophiascientiae.566","volume":"8\u20132","author":"L. Keiff","year":"2004","unstructured":"Keiff, L. 2004b. \u201cIntroduction \u00e0 la dialogique modale et hybride.\u201d Philosophia Scientiae 8\u20132:89\u2013105.","journal-title":"Philosophia Scientiae"},{"key":"12_CR11","volume-title":"Approches dynamiques \u00e0 l\u2019argumentation formelle","author":"L. Keiff","year":"2007","unstructured":"Keiff, L. 2007. \u201cApproches dynamiques \u00e0 l\u2019argumentation formelle.\u201d PhD thesis, Universit\u00e9 de Lille, Lille."},{"key":"12_CR12","unstructured":"Keiff, L. 2009. Dialogical Logic, Entry in the Stanford Encyclopaedia of Philosophy.\n                http:\/\/plato.stanford.edu\/entries\/logic-dialogical\/."},{"key":"12_CR13","doi-asserted-by":"publisher","first-page":"149","DOI":"10.3917\/rmm.102.0149","volume":"2","author":"L. Keiff","year":"2010","unstructured":"Keiff, L., and S. Rahman. 2010. \u201cLa Dialectique entre logique et rh\u00e9torique.\u201d Revue de M\u00e9taphysique et Morale Avril-June 2010 2:149\u201378.","journal-title":"Revue de M\u00e9taphysique et Morale Avril-June 2010"},{"key":"12_CR14","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1023\/A:1010367416884","volume":"127","author":"K. Lorenz","year":"2001","unstructured":"Lorenz, K. 2001. \u201cBasic Objectives of Dialogue Logic in Historical Perspective.\u201d Synthese 127:255\u201363.","journal-title":"Synthese"},{"key":"12_CR15","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-01539-1","volume-title":"Einf\u00fchrung in die operative Logik und Mathematik","author":"P. Lorenzen","year":"1955","unstructured":"Lorenzen, P. 1955. Einf\u00fchrung in die operative Logik und Mathematik. Berlin\/G\u00f6ttingen\/Heidelberg: Springer."},{"key":"12_CR16","volume-title":"Dialogische Logik","author":"P. Lorenzen","year":"1978","unstructured":"Lorenzen P., and K. Lorenz. 1978. Dialogische Logik. Darmstadt: Wissenschaftliche Buchgesellschaft."},{"key":"12_CR17","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1007\/978-94-009-9825-4_2","volume-title":"Essays on Mathematical and Philosophical Logic","author":"D. Prawitz","year":"1979","unstructured":"Prawitz, D. 1979. \u201cProofs and the Meaning and Completeness of the Logical Constants.\u201d In Essays on Mathematical and Philosophical Logic, edited by J. Hintikka, I. Niiniluoto, and E. Saarinen, 25\u201340. Dordrecht: Reidel."},{"key":"12_CR18","volume-title":"An Introduction to Non-Classical Logic","author":"G. Priest","year":"2001","unstructured":"Priest, G. 2001. An Introduction to Non-Classical Logic. Cambridge, MA: Cambridge University Press."},{"key":"12_CR19","doi-asserted-by":"crossref","unstructured":"Priest, G. 2011. \u201cRealism, Antirealism and Consistency.\u201d In present volume.","DOI":"10.1007\/978-94-007-1923-1_10"},{"key":"12_CR20","volume-title":"\u00dcber Dialogue, Protologische Kategorien und andere Seltenheiten","author":"S. Rahman","year":"1993","unstructured":"Rahman, S. 1993. \u00dcber Dialogue, Protologische Kategorien und andere Seltenheiten. Frankfurt\/Paris\/New York, NY: P. Lang."},{"key":"12_CR21","first-page":"311","volume-title":"The Age of Alternative Logics","author":"S. Rahman","year":"2009","unstructured":"Rahman, S. 2009. \u201cA Non Normal Logic for a Wonderful World and More.\u201d In The Age of Alternative Logics, edited by J. van Benthem et alia., 311\u201334. chez Dordrecht: Kluwer-Springer."},{"key":"12_CR22","first-page":"301","volume-title":"Acts of Knowledge, History, Philosophy, Logic","author":"S. Rahman","year":"2009","unstructured":"Rahman, S., N. Clerbout, and L. Keiff. 2009. \u201cDialogues and Natural Deduction.\u201d In Acts of Knowledge, History, Philosophy, Logic, edited by G. Primiero, 301\u201336. London: College Publications."},{"key":"12_CR23","first-page":"359","volume-title":"Logic, Thought and Action","author":"S. Rahman","year":"2004","unstructured":"Rahman, S., and L. Keiff. 2004. \u201cOn How to Be a Dialogician.\u201d In Logic, Thought and Action, edited by D. Vanderveken, 359\u2013408. Dordrecht: Kluwer."},{"key":"12_CR24","first-page":"145","volume":"3\/3","author":"S. Rahman","year":"1998","unstructured":"Rahman, S., and H. R\u00fcckert. 1998. \u201cDie pragmatischen Sinn und Geltungskriterien der Dialogischen Logik beim Beweis des Adjunktionsatzes.\u201d Philosophia Scientiae, 1998\u20131999 3\/3:145\u201370.","journal-title":"Philosophia Scientiae"},{"key":"12_CR25","doi-asserted-by":"crossref","unstructured":"Rahman, S., and H. R\u00fcckert, eds. 2001. New Perspectives in Dialogical Logic. Special volume of Synthese 127.","DOI":"10.1023\/A:1010314319474"},{"key":"12_CR26","volume-title":"Games: Unifying Logic, Language and Philosophy","author":"S. Rahman","year":"2009","unstructured":"Rahman, S., and T. Tulenheimo. 2009. \u201cFrom Games to Dialogues and Back: Towards a General Frame for Validity.\u201d In Games: Unifying Logic, Language and Philosophy, edited by O. Majer, A.-V. Pietarinen, and T. Tulenheimo, part III. Dordrecht: Springer."},{"key":"12_CR27","first-page":"285","volume-title":"Dialogues, Logics and Other Strange Things: Essays in Honour of Shahid Rahman","author":"S. Read","year":"2008","unstructured":"Read, S. 2008. \u201cHarmony and Modality.\u201d In Dialogues, Logics and Other Strange Things: Essays in Honour of Shahid Rahman, edited by C. D\u00e9gremont, L. Kieff, and H. R\u00fcckert, 285\u2013303. London: College Publications."},{"key":"12_CR28","doi-asserted-by":"publisher","first-page":"557","DOI":"10.1007\/s10992-010-9133-7","volume":"39","author":"S. Read","year":"2010","unstructured":"Read, S. 2010. \u201cGeneral Elimination Harmony and the Meaning of the Logical Constants.\u201d Journal of Philosophical Logic 39:557\u201376.","journal-title":"Journal of Philosophical Logic"},{"key":"12_CR29","volume-title":"How to Play Dialogues. An Introduction to Dialogical Logic","author":"J. Redmond","year":"2011","unstructured":"Redmond, J., and M. Fontaine. 2011. How to Play Dialogues. An Introduction to Dialogical Logic. London: College Publications, London."},{"key":"12_CR30","doi-asserted-by":"publisher","first-page":"335","DOI":"10.2307\/2214309","volume":"6","author":"R. Routley","year":"1972","unstructured":"Routley, R., and V. Routley. 1972. \u201cThe Semantics of First Degree Entailment.\u201d No\u00fbs 6:335\u201395.","journal-title":"No\u00fbs"},{"key":"12_CR31","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1142\/9789812799746_0007","volume-title":"Essays on Non-Classical Logic","author":"H. R\u00fcckert","year":"2001","unstructured":"R\u00fcckert, H. 2001. \u201cWhy Dialogical Logic?\u201d In Essays on Non-Classical Logic, edited by H. Wansing, 165\u201385. New Jersey, NJ\/London: World Scientific."},{"key":"12_CR32","unstructured":"R\u00fcckert, H. 2007. Dialogues as a Dynamic Framework for Logic. PhD-thesis, Leyden, 2007. http:\/\/openaccess.leidenuniv.nl\/dspace\/bitstream\/1887\/12099\/1\/R%C3%BCckert_PhD_Dialogues_neu.pdf."},{"key":"12_CR33","unstructured":"R\u00fcckert, H. 2011. \u201cThe Conception of Validity in Dialogical Logic.\u201d Talk at the Workshop Proofs and Dialogues, T\u00fcbingen, Organized by the Wilhelm-Schickard Institut f\u00fcr Informatik (Universit\u00e4t T\u00fcbingen), February 25\u201327, 2011."},{"key":"12_CR34","volume-title":"One Hundred Years of Intuitionism (1907\u20132007)","author":"P. Schr\u00f6der-Heister","year":"2008","unstructured":"Schr\u00f6der-Heister, P. 2008. \u201cLorenzen\u2019s Operative Justification of Intuitionistic Logic.\u201d In One Hundred Years of Intuitionism (1907\u20132007), edited by M. van Atten, P. Boldini, M. Bourdeau, and G. Heinzmann. Basel: Birkh\u00e4user."},{"key":"12_CR35","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-86718-7","volume-title":"First-Order Logic","author":"R. Smullyan","year":"1968","unstructured":"Smullyan, R. 1968. First-Order Logic. Heidelberg: Springer."},{"key":"12_CR36","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/BF00247187","volume":"12","author":"B. G. Sundholm","year":"1983","unstructured":"Sundholm, B. G. 1983a. \u201cConstructions, Proofs and the Meaning of the Logical Constants.\u201d Journal of Philosophical Logic 12:151\u201372.","journal-title":"Journal of Philosophical Logic"},{"key":"12_CR37","volume-title":"Handbook of Philosophical Logic","author":"B. G. Sundholm","year":"1983","unstructured":"Sundholm, B. G. 1983b. \u201cSystems of Deduction\u2019, chapter I:2.\u201d In Handbook of Philosophical Logic, edited by D. Gabbay and F. Guenthner, vol. I. Dordrecht: Reidel."},{"issue":"2\u20133","key":"12_CR38","first-page":"187","volume":"64","author":"B. G. Sundholm","year":"2010","unstructured":"Sundholm, B. G. 2010. \u201cProofs as Acts and Proofs as Objects: Some Questions for Dag Prawitz.\u201d Theoria 64(2\u20133):187\u2013216.","journal-title":"Theoria"},{"key":"12_CR39","unstructured":"Tulenheimo, T. 2010. On the Dialogical Approach to Semantics. Talk at the Workshop Amsterdam, CA\/Lille: Dialogues and Games: Historical Roots and Contemporary Models, February 8\u20139, 2010, Lille. http:\/\/www.tulenheimo.webs.com\/talks.html."}],"container-title":["The Realism-Antirealism Debate in the Age of Alternative Logics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-94-007-1923-1_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,18]],"date-time":"2023-02-18T18:55:56Z","timestamp":1676746556000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-94-007-1923-1_12"}},"subtitle":["A Dialogical Study"],"short-title":[],"issued":{"date-parts":[[2011,9,8]]},"ISBN":["9789400719224","9789400719231"],"references-count":39,"URL":"https:\/\/doi.org\/10.1007\/978-94-007-1923-1_12","relation":{},"subject":[],"published":{"date-parts":[[2011,9,8]]},"assertion":[{"value":"8 September 2011","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}