Concluding Remarks: A Plaidoyer for the Play Level

Rahman, Shahid; McConaughey, Zoe; Klev, Ansten; Clerbout, Nicolas

doi:10.1007/978-3-319-91149-6_11

Cited by 3 publications

(4 citation statements)

References 21 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In this section I will explain how the formal system works clearly and briefly. A complete exposition of the formalism can be found in Rahman et al (2018).…”

Section: Immanent Reasoningmentioning

confidence: 99%

See 1 more Smart Citation

Imposible, pero no problemático: comprendiendo la adopción con teoría dialógica de tipos

Álvarez Lisboa

2021

Tesis

View full text Add to dashboard Cite

Las leyes de la lógica no pueden adoptarse, tal como sostiene el problema de la adopción de Kripke y Padró. Su argumento puede interpretarse como una invitación a revisar la forma en que relacionamos la lógica con la práctica inferencial: la primera no viene antes, sino después de la segunda. En este artículo profundizo en esta conclusión mostrando cómo la imposibilidad de la adopción puede ser asociada muy naturalmente con algunas características de immanent reasoning, un cruce entre la lógica de diálogos y la teoría intuicionista de tipos que incorpora elementos pragmáticos en el corazón de su formalismo. La observación más importante de esta aproximación es que la adopción, aunque todavía imposible, ya no es necesaria; y, por lo tanto, el “problema” deja de ser “problemático”. Esto ilustra algunas de las ventajas de favorecer una aproximación lúdico-teórica a la semántica de la lógica filosófica.

show abstract

“…In this section I will explain how the formal system works clearly and briefly. A complete exposition of the formalism can be found in Rahman et al (2018).…”

Section: Immanent Reasoningmentioning

confidence: 99%

“…1 Chapter 2 of Rahman et al (2018) may also serve as a proper presentation of CTT. For a more complete and historical exposition the reader is referred to Kamareddine, Laan & Nederpelt (2004).…”

Section: Notesmentioning

confidence: 99%

Imposible, pero no problemático: comprendiendo la adopción con teoría dialógica de tipos

Álvarez Lisboa

2021

Tesis

View full text Add to dashboard Cite

show abstract

“…We cannot in this paper develop these kind of dialogues, however we invite the reader to visit the chapter on material dialogues in Rahman/McConaughey/ Klev/Clerbout (2018), where the main we sketch the main features of material dialogues that include sets of natural numbers and the set . The latter allows for expressing classical truth-functions within the dialogical framework, and it has an important role in the CTT-approach to empirical propositions.…”

Section: Content and Materials Dialoguesmentioning

confidence: 99%

“…15 . The final section of the chapter on Marial dialogues in Rahman/McConaughey/ Klev/Clerbout (2018), discusses the epistemological notion of internalization of contes. 16 In this respect, the dialogical framework can be considered as a formal approach to reasoning rooted in the dialogical constitution and "internalization" of content-including empirical content-rather than in the syntactic manipulation of un-interpreted signs.…”

Section: Content and Materials Dialoguesmentioning

confidence: 99%

Dialogues, Reasons and Endorsement

Rahman

Iqbal

Soufi

2019

Inferences by Parallel Reasoning in Islamic Jurisprudence

Self Cite

View full text Add to dashboard Cite

The main aim of the present paper is to show that, if we follow the dialogical insight that reasoning and meaning are constituted during interaction, and we develop this insight in a dialogical framework for Martin-Löf's Constructive Type Theory, a conception of knowledge emerges that has important links with Robert Brandom's (1994 inferential pragmatism. However, there are also some significant differences that are at center of the dialogical approach to meaning. The present paper does not discuss explicitly phenomenology, however, one might see our proposal as setting the basis for a further study linking phenomenology and the dialogical conception of meaningthe development of such a link is part of several ongoing researches. I Shahid Rahman 2 2 Local reasonsRecent developments in dialogical logic show that the Constructive Type Theory approach to meaning is very natural to the game-theoretical approaches in which (standard) metalogical features are explicitly displayed at the object language-level. 3 This vindicates, albeit in quite a 2 In fact, the present paper relies on the main technical and philosophical results of Rahman/McConaugey/ Klev/Clerbout (2018). 3 Such as developed in Rahman/McConaugey/Klev/Clerbout (2018) and also in Clerbout/Rahman (2015). different fashion, Hintikka's plea for the fruitfulness of game-theoretical semantics in the context of epistemic approaches to logic, semantics, and the foundations of mathematics. 4 From the dialogical point of view, the actions-such as choices-that the particle rules associate with the use of logical constants are crucial elements of their full-fledged (local) meaning: if meaning is conceived as constituted during interaction, then all of the actions involved in the constitution of the meaning of an expression should be made explicit; that is, they should all be part of the object-language.This perspective roots itself in Wittgenstein's remark according to which one cannot position oneself outside language in order to determine the meaning of something and how it is linked to syntax; in other words, language is unavoidable: this is his Unhintergehbarkeit der Sprache. According to this perspective of Wittgensteins, language-games are supposed to accomplish the task of studying language from a perspective that acknowledges its internalized feature. This is what underlies the approach to meaning and syntax of the dialogical framework in which all the speech-acts that are relevant for rendering the meaning and the "formation" of an expression are made explicit. In this respect, the metalogical perspective which is so crucial for model-theoretic conceptions of meaning does not provide a way out. It is in such a context that Lorenz writes:Also propositions of the metalanguage require the understanding of propositions, […] and thus cannot in a sensible way have this same understanding as their proper object. The thesis that a property of a propositional sentence must always be internal, therefore amounts to articulating the insight that in propositions about ...

show abstract

In Existence and in Nonexistence: Types, Tokens, and the Analysis of Dawarān as a Test for Causation

Rahman¹,

Young²

2022

methodos

View full text Add to dashboard Cite

Concluding Remarks: A Plaidoyer for the Play Level

Cited by 3 publications

References 21 publications

Imposible, pero no problemático: comprendiendo la adopción con teoría dialógica de tipos

Imposible, pero no problemático: comprendiendo la adopción con teoría dialógica de tipos

Dialogues, Reasons and Endorsement

In Existence and in Nonexistence: Types, Tokens, and the Analysis of Dawarān as a Test for Causation

Contact Info

Product

Resources

About