Set Theory INC# Based on Intuitionistic Logic with Restricted Modus Ponens Rule (Part. I)

Journal of Advances in Mathematics and Computer Science 36 (2):73-88 (2021)
  Copy   BIBTEX

Abstract

In this article Russell’s paradox and Cantor’s paradox resolved successfully using intuitionistic logic with restricted modus ponens rule.

Categories

Keywords

Reprint years

Links

PhilArchive

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

The D-Completeness of T→.R. K. Meyer & M. W. Bunder - 2011 - Australasian Journal of Logic 8:1-8.
A Spurious Paradox.Danny Frederick - manuscript
Formalizations For The Consequence Relation Of Visser's Propositional Logic.Katsumi Sasaki - 1999 - Reports on Mathematical Logic:65-78.
Vagueness and Intuitionistic Logic.Ian Rumfitt - forthcoming - In Alexander Miller (ed.), Language, Logic,and Mathematics: Themes from the Philosophy of Crispin Wright. Oxford University Press.
The Knowability Paradox in the light of a Logic for Pragmatics.Massimiliano Carrara & Daniele Chiffi - 2014 - In Roberto Ciuni, Heinrich Wansing & Caroline Willkommen (eds.), Recent Trends in Philosophical Logic (Proceedings of Trends in Logic XI). Cham, Switzerland: Springer. pp. 47-58.
Curry’s Paradox, Generalized Modus Ponens Axiom and Depth Relevance.Gemma Robles & José M. Méndez - 2014 - Studia Logica 102 (1):185-217.
Carroll’s Paradox from the viewpoints of Wittgenstein, Ibn Sīnā, and Tūsī.Mahdi Azimi - 2017 - Journal of Philosophical Theological Research 18 (70):173-194.
Intuitionistic Epistemic Logic, Kripke Models and Fitch’s Paradox.Carlo Proietti - 2012 - Journal of Philosophical Logic 41 (5):877-900.
Curry’s Paradox, Generalized Contraction Rule and Depth Relevance.Francisco Salto, Gemma Robles & José M. Méndez - 2018 - In Konstantinos Boudouris (ed.), Proceedings XXIII world Congress Philosophy. Charlottesville: Philosophy Documentation Center. pp. 35-39.
Sorites is no threat to modus ponens: a reply to Kochan.Colin Howson - 2009 - International Studies in the Philosophy of Science 23 (2):209-212.
Modus Ponens Under the Restrictor View.Moritz Schulz - 2018 - Journal of Philosophical Logic 47 (6):1001-1028.
An Intuitionistic Version of Cantor's Theorem.Dario Maguolo & Silvio Valentini - 1996 - Mathematical Logic Quarterly 42 (1):446-448.
Cantor and the Burali-Forti Paradox.Christopher Menzel - 1984 - The Monist 67 (1):92-107.
A neglected resolution of Russell’s paradox of propositions.Gabriel Uzquiano - 2015 - Review of Symbolic Logic 8 (2):328-344.
Chancy Modus Ponens.Sven Neth - 2019 - Analysis 79 (4):632-638.

Analytics

Added to PP
2021-03-25

Downloads
365 (#55,874)

6 months
93 (#50,540)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Add more citations

References found in this work

A concise introduction to logic.Patrick J. Hurley - 2000 - Belmont, CA: Wadsworth. Edited by Lori Watson.
Lectures on the Curry-Howard isomorphism.Morten Heine Sørensen - 2007 - Boston: Elsevier. Edited by Paweł Urzyczyn.

Add more references