Dialogues, reasons and endorsement

DOI10.1007/978-3-030-21313-8_2MaRDI QIDQ3305643zbMATHOpenAlexFDO

Authors Shahid Rahman

Publication date 10 August 2020

Published in Constructive Semantics (Search for Journal in Brave)

Full work available at URL https://halshs.archives-ouvertes.fr/halshs-01745909/file/Rahman_The%20Logic%20of%20Reasons%20and%20EndorsementWeis28March.pdf

zbMATH Keywords

truthdialogical logicphenomenologyconsequencestructural rulesintentionalitytranscendental logicparticle rulesplay-levelstrategy-level

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Type theory (03B38)

Recommendations

• scientific article; zbMATH DE number 7385374
• Between saying and doing: from Lorenzen to Brandom and back
• A Dialogical Account of the Intersubjectivity of Intuitionism
• Making it more explicit
• Dialogical harmony: tonk, constructive type theory and rules for anonymous players

Cites work

• scientific article; zbMATH DE number 5902347 (Why is no real title available?)
• scientific article; zbMATH DE number 3115105 (Why is no real title available?)
• scientific article; zbMATH DE number 3910392 (Why is no real title available?)
• scientific article; zbMATH DE number 1153608 (Why is no real title available?)
• scientific article; zbMATH DE number 3365218 (Why is no real title available?)
• scientific article; zbMATH DE number 3399180 (Why is no real title available?)
• scientific article; zbMATH DE number 2226181 (Why is no real title available?)
• Aristotle on universal quantification: a study from the point of view of game semantics
• Basic objectives of dialogue logic in historical perspective
• Between saying and doing: from Lorenzen to Brandom and back
• Dialogical harmony: tonk, constructive type theory and rules for anonymous players
• First-order dialogical games and tableaux
• Formalizing medieval logical theories. Suppositio, consequentiae and obligationes
• General-elimination harmony and the meaning of the logical constants
• Immanent reasoning or equality in action. A plaidoyer for the play level
• Implicit epistemic aspects of constructive logic
• Inductive families
• Linking game-theoretical approaches with constructive type theory. Dialogical strategies, CTT demonstrations and the axiom of choice
• Meaning in dialogue. An interactive approach to logic and reasoning
• Negation in the logic of first degree entailment and \textit{tonk}. A dialogical study
• On dialogues and natural deduction
• Semantic values for natural deduction derivations
• The justification of identity elimination in Martin-Löf's type theory
• Why play logical games?
• ``Inference versus consequence revisited: inference, consequence, conditional, implication

Cited in

(3)

• Immanent reasoning or equality in action. A plaidoyer for the play level
• Dialogical harmony: tonk, constructive type theory and rules for anonymous players
• Between saying and doing: from Lorenzen to Brandom and back

This page was built for publication: Dialogues, reasons and endorsement

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3305643)