Dialogues, Reasons and Endorsement

DOI10.1007/978-3-030-21313-8_2zbMath1469.03024OpenAlexW2807232387MaRDI QIDQ3305643

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

truthstructural rulesdialogical logicphenomenologyconsequenceintentionalitytranscendental logicparticle rulesplay-levelstrategy-level

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• ``Inference versus consequence revisited: inference, consequence, conditional, implication
• First-order dialogical games and tableaux
• General-elimination harmony and the meaning of the logical constants
• Inductive families
• Implicit epistemic aspects of constructive logic
• 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
• Semantic values for natural deduction derivations
• Negation in the Logic of First Degree Entailment and Tonk
• Aristotle on Universal Quantification: A Study from the Point of View of Game Semantics
• Linking Game-Theoretical Approaches with Constructive Type Theory
• Armonía Dialógica: tonk, Teoría Constructiva de Tipos y Reglas para Jugadores Anónimos
• Basic objectives of dialogue logic in historical perspective

This page was built for publication: Dialogues, Reasons and Endorsement