Dialogues, reasons and endorsement

DOI10.1007/978-3-030-21313-8_2zbMATH Open1469.03024OpenAlexW2807232387MaRDI QIDQ3305643FDOQ3305643

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

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

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)

Cites Work

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

Cited In (3)

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

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)