Abstract
The present volume develops a new way of linking Constructive Type Theory (CTT) with dialogical logic by following these three complementary paths, as mentioned in the preface:
-
A.
The path observing that Sundholm’s (1997) notion of epistemic assumption is closely linked to the Copy-cat and Socratic rules and that it provides the dialogical conception of definitional equality;
-
B.
the path joining (in principle) Martin-Löf in his (2017a, 2017b) suggestions, according to which the new insights provided by the dialogical framework mainly amount to the following three interconnected points:
-
B.1.
the introduction of rules of interaction rather than of rules of inference;
-
B.2.
the challenge to the semantization of pragmatics and the claim of the deontic nature of logic;
-
B.3.
the central role of the notion of execution in the rules of interaction: executions are responses to questions of knowing how.
-
B.1.
-
C.
The path stressing the importance of the play level and the associated notion of dialogue-definiteness.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
- 2.
- 3.
In fact, as opposed to Martin-Löf’s understanding of dialogical logic, Lorenz’s dialogical constructivism does not only reject the semantization of pragmatics in which deontic features are formalized using specific propositional operators and indexes upon which depends the truth-value of the resulting proposition, but it also rejects the pragmatization of semantics in which a propositional kernel is complemented by moods yielding assertions, questions, commands, and so on. According to dialogical constructivism, pragmatic and semantic features are produced within one and the same act . See (Lorenzen, 1969), (Kamlah & Lorenzen, 1972), (Lorenzen & Schwemmer, 1975). It is precisely this tenet on the dual nature of actions in both their significative and communicative role, thoroughly worked out by Lorenz (2010a, pp. 71–80), that leads to this central claim that logic is part of ethics—see Sect. 11.5 for further details.
- 4.
See also Lorenz’s (2001) study of the origins of the dialogical approach to logic.
- 5.
(Schröder-Heister 2008). All the following quotations of this section, if not otherwise specified, will come from this same source.
- 6.
Nowadays, the notion of admissibility is a fundamental concept of proof-theory ; Schröder-Heister (2008, p. 218) pointed out that Lorenzen was the one to have coined this term.
- 7.
(Schröder-Heister, 2008, p. 217).
- 8.
(Schröder-Heister, 2008, p. 222).
- 9.
See also Marion (2006, p. 231) .
- 10.
Winning strategies in the first writings of Lorenzen and Lorenz (1978) were formulated in the form of sequent-calculus; thus the demonstration of “admissibility” amounts in this context to show that the sequence of plays determined by the local and structural rules for the logical constants yield those of the sequent calculus.
- 11.
Kuno Lorenz conveyed this information to S. Rahman by a personal email.
- 12.
- 13.
For a brief presentation of the philosophical tenets of Dialogical Constructivism see Sect. 11.7.
- 14.
- 15.
This is the main feature of dialogues for immanent reasoning, the dialogical framework which incorporates features of CTT. For a presentation of this framework, see Chaps. 6 and 7. The Socratic rule is the equivalent in immanent reasoning of the Copy-cat rule in the standard dialogical framework. For a presentation of the standard framework, see Chaps. 3, 4, and 5.
- 16.
- 17.
Jaroslav Peregrin (2014, pp. 3–5) calls the notion of use understood as following a rule “role”. Role distinguish linguistic uses from other uses such as using a hammer.
- 18.
See for instance (Brandom, 1994). To some extent only, for it seems like Brandom starts from the strategy level rather than from the play level as we do.
- 19.
As discussed in Sect. 10.5, Brandom’s approach only has the propositional level (i.e. his framework does not include the ontological level of the local reasons relevant for the backing of the proposition involved in the judgement). Perhaps because he fears that such a move would amount to incorporating into the framework an authority which would be external to the games that determine concepts. As far as we understand it, this is a serious limitation of Brandom’s approach since it fails to distinguish between the notations, or written forms, concerning the ontological level, and those concerning the propositional level: the present book, we hope, shows how to make the ontological level immanent to the dialogical process of reasoning. This suggests that the dialogical approach to CTT offers a way to integrate within one epistemological framework the two conflicting readings of Willfried Sellars’ (1991, pp. 129–194) notion of space of reasons brought forward by John McDowell (2009, pp. 221–238) on the one side, who insists in distinguishing world-direct thought and knowledge gathered by inference, and by Robert Brandom (1997) on the other side, who interprets Sellars’ work in a more radical anti-empiricist manner. The point is not only that we can deploy the CTT-distinction between reason as a premise and reason as the piece of evidence justifying a proposition, but it is also that the dialogical framework allows distinguishing between the objective justification (strategy) level targeted by Brandom (1997, p. 129) and the subjective (play) level stressed by McDowell —see also (Rahman, 2017).
- 20.
For more details on symmetry in the dialogical framework, see Sect. 4.3.
References
Brandom, R. (1994). Making it explicit. Cambridge, MA: Harvard University Press.
Brandom, R. (1997). A study guide. In W. Sellars (Ed.), Empiricism and the philosophy of mind (pp. 119–189). Cambridge, MA: Harvard University Press.
Crubellier, M., Marion, M., McConaughey, Z., & Rahman, S. (2018). Dialectic, The Dictum de Omni and Ecthesis. Available online: https://www.academia.edu/35285147/DIALECTIC_THE_DICTUM_DE_OMNI_AND_ECTHESIS
Curry, H. B. (1951). Outlines of a formalist philosophy of mathematics. Amsterdam: North-Holland.
Duthil Novaes, C. (2015). A dialogical, multiagent account of the normativity of LOGIC. Dialectica, 69(4), 587–609.
Ebbinghaus, K. (1964). Ein formales Modell der Syllogistik des Aristoteles. Göttingen, Germany: Vandenhoeck & Ruprecht GmbH.
Fischer, M. (1989). Phases and phase diagrams: Gibbs’ legacy today. In G. D. Mostow & D. G. Caldi (Eds.), Proceedings of the Gibbs Symposium: Yale University, May 15–17, 1989. American Mathematical Society.
Ginzburg, J. (2012). The interactive stance. Oxford, UK: Oxford University Press.
Girard, J. -Y. (1999). On the meaning of logical rules I: syntax vs. semantics. In U. Berger & H. Schwichtenberg (Eds.), Computational logic. Proceedings of the NATO Advanced Study Institute Computational Logic Held in Marktoberdorf (Germany) July/August 1997 (pp. 215–272). Heidelberg, Germany: Springer.
Heinzmann, G. (2006). Naturalizing dialogic pragmatics. In J. van Benthem, G. Heinzman, M. Rebushi, & H. Visser (Eds.), The age of alternative logics (pp. 285–297). Dordrecht, The Netherlands: Springer.
Hintikka, J. (1973). Logic, language-games and information: Kantian themes in the philosophy of logic. Oxford, UK: Clarendon Press.
Kamlah, W., & Lorenzen, P. (1972). Logische Propädeutik. Vorschule des vernünftigen Redens (2nd ed.). Stuttgart, Germany/Weimar, Germany: Metzler.
Kapp, E. (1942). Greek foundations of traditional logic. New York: AMS Press.
Lecomte, A. (2011). Meaning, logic and ludics. London: Imperial College Press.
Lecomte, A., & Quatrini, M. (2010). Pour une étude du langage via interaction: Dialogues et sémantique en ludique. Mathématiques et sciences humaines, (189), 37–67.
Lloyd, G. E. (1996). Science in antiquity: The Greek and Chinese cases andtheir relevance to the problem of culture and cognition. In D. Olson & N. Torrance (Eds.), Modes of thought: Explorations in culture and cognition (pp. 15–33). Cambridge, UK: Cambridge University Press.
Lorenz, K. (1970). Elemente der Sprachkritik. Eine Alternative zum Dogmatismus und Skeptizismus in der Analytischen Philosophie. Frankfurt, Germany: Suhrkamp.
Lorenz, K. (2001). Basic objectives of dialogue logic in historical perspective (S. Rahman, & H. Rückert, Eds.), 127(1–2), 225–263.
Lorenz, K. (2010a). Logic, language and method: On polarities in human experiences. Berlin, Germany/New York: De Gruyter.
Lorenz, K. (2010b). Philosophische Variationen: Gesammelte Aufsätze unter Einschluss gemeinsam mit Jürgen Mittelstrass geschriebener Arbeiten zu Platon und Leibniz. Berlin, Germany/New York: De Gruyter.
Lorenzen, P. (1955). Einführung in die operative Logik und Mathematik. Berlin, Germany: Springer.
Lorenzen, P. (1958). Logik und Agon. Arti del XII Congresso Internationale de Filosofia, 187–194.
Lorenzen, P. (1969). Normative logic and ethics. Mannheim, Germany/Zürich, Switzerland: Bibliographisches Institut.
Lorenzen, P., & Lorenz, K. (1978). Dialogische Logik. Damstadt, Germany: Wissenschaftliche Buchgesellschaft.
Lorenzen, P., & Schwemmer, O. (1975). Konstruktive Logik, Ethik und Wissenschaftstheorie (2nd ed.). Mannheim, Germany: Bibliographisches Institut.
Marion, M. (2006). Hintikka on Wittgenstein: From language games to game semantics. In T. Aho, & A.-V. Pietarinen Truth and games: Essays in honour of Gabriel Sandu 237-256). Helsinki, Finland: Acta Philosophica Fennica.
Marion, M., & Rückert, H. (2015). Aristotle on universal quantification: A study from the perspective of game semantics. History and Philosophy of Logic, 37(3), 201–209.
Martin-Löf, P. (2017a). Assertion and request. Lecture held at Oslo, 2017. Transcription by Ansten Klev.
Martin-Löf, P. (2017b). Assertion and request. Lecture held at Stockholm. Transcription by Ansten Klev.
McDowell, J. (2009). Having the world in view: Essays on Kant, Hegel, and Sellars. Cambridge, MA: Harvard University Press.
Netz, R. (1999). The shaping of deduction in Greek mathematics: A study incognitive history. Cambridge, UK: Cambridge University Press.
Netz, R. (2005). The aesthetics of mathematics: A study. In P. Mancosu, K. F. Jørgensen, & S. A. Pedersen (Eds.), Visualization, explanation and reasoning styles in mathematics (pp. 251–293). Dordrecht, The Netherlands: Springer.
Netz, R. (2009). Ludic proof: Greek mathematics and the Alexandrian aesthetic. Cambridge, UK: Cambridge University Press.
Paseau, A. (2011). Proofs of the compactness theorem. History and Philosophy of Logic, 31(1), 73–98.
Peregrin, J. (2014). Inferentialism. Why rules matter. New York: Plagrave MacMillan.
Piecha, T. (2012). Formal dialogue semantics for definitional reasoning and implications as rules. Faculty of Science, University of Tübingen, Phd thesis. Available online: http://nbn-resolving.de/urn:nbn:de:bsz:21-opus-63563
Piecha, T., & Schröder-Heister, P. (2011). Implications as rules in dialogical semantics. In M. Pelis & V. Puncochar (Eds.), The logica yearbook 2011 (pp. 211–225). London: College Publications.
Quine, W. V. (1969). Ontological relativity and other essays. New York: Columbia University Press.
Rahman, S. (2017). Boole algebra in a contemporary setting. Boole-Operations, Types. Talk in the workshop in Honour of Bachir Diagne, Dakar, 20-12-2017. https://www.academia.edu/34728996/Boole_Algebra_in_a_Contemporary_Setting._Boole-Operations_Types_as_Propositions_and_Immanent_Reasoning._Draft_of_a_contribution_for_a_conference_in_honour_of_Souleyman_Bachir_Diagne._Dec._2017
Rahman, S., & Keiff, L. (2010). La Dialectique entre logique et rhétorique. Revue de métaphysique et de morale, 66(2), 149–178.
Rahman, S., & Lion, C. (2018). Aristote et la question de la complétude. Le modèle formel de Kurt Ebbinghaus. Philosophie Antique, accepted: in print.
Rahman, S., Clerbout, N., & Keiff, L. (2009). On dialogues and natural deduction. In G. Primiero & S. Rahman (Eds.), Acts of knowledge: History, philosophy and logic: Essays dedicated to Göran Sundholm (pp. 301–336). London: College Publications.
Schröder-Heister, P. (2008). Lorenzen’s operative justification of intuitionistic logic. In M. van Atten, P. Boldini, M. Bourdeau, & G. Heinzmann (Eds.), One hundred years of intuitionism (1907–2007) (pp. 214–240). Basel, Switzerland: Birkhäuser.
Sellars, W. (1991). Science perception and reality. Atascadero, CA: Ridgeview Publishing Company.
Sundholm, G. (1997). Implicit epistemic aspects of constructive logic. Journal of Logic, Language and Information, 6(2), 191–212.
Sundholm, G. (1998). Inference versus consequence. In T. Childers (Ed.), The logica yearbook 1997 (pp. 26–36). Prague, Germany: Filosofía.
Sundholm, G. (2012). Inference versus consequence revisited: Inference, conditional, implication. Syntese, 187, 943–956.
Sundholm, G. (2013, December 2–3). Inference and consequence as an interpreted language. Talk at the University of Gronningen.
Trafford, J. (2017). Meaning in dialogue. An interactive approach to logic and reasoning. Dordrecht,The Netherlands: Springer.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer International Publishing AG, part of Springer Nature
About this chapter
Cite this chapter
Rahman, S., McConaughey, Z., Klev, A., Clerbout, N. (2018). Introduction: Some Brief Historical and Philosophical Remarks. In: Immanent Reasoning or Equality in Action. Logic, Argumentation & Reasoning, vol 18. Springer, Cham. https://doi.org/10.1007/978-3-319-91149-6_1
Download citation
DOI: https://doi.org/10.1007/978-3-319-91149-6_1
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-91148-9
Online ISBN: 978-3-319-91149-6
eBook Packages: Religion and PhilosophyPhilosophy and Religion (R0)