4 papers · 1 filter
Warrant Theory
Khashayar Irani
In this paper, we develop warrant theory as a philosophical discipline concerned with the inferential legitimacy of propositions within logical analysis. Warrant theory reconceptua…
The Proof-Theoretic Origin of Double Negation Introduction & Elimination
Khashayar Irani
This paper investigates the proof-theoretic foundations of double negation introduction (DNI) and double negation elimination (DNE) in classical logic. By examining both sequent ca…
Proof Analysis of A Foundational Classical Singlesuccedent Sequent Calculus
Khashayar Irani
In this paper we investigate the question: 'How can A Foundational Classical Singlesuccedent Sequent Calculus be formulated?' The choice of this particular area of proof-theoretic…
Logical Inferentialism & Attacks on Classical Logic
Khashayar Irani
This paper undertakes a foundational inquiry into logical inferentialism with particular emphasis on the normative standards it establishes and the implications these pose for clas…