KHUNAJI’S TAUTOLOGIES IN SECOND-ORDER LOGIC

Q: How can I download an article?

To download an article from SID, first log in to the site, search for the article title, and click on the 'Download Article' option.

Q: How can I download an ISI article?

To download an ISI article on SID, enter the keyword or article title in the search bar, view the relevant results, click on the desired article, and select the 'Download Article' option.

Q: How can I access the SID database?

To access the SID database, visit SID.ir, create an account, and log in to access scientific resources.

Q: Is downloading articles from SID free?

Some articles on SID are available for free, while others require payment. Details are specified on the article's page.

FALLAHI ASADOLLAH

Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

Journal Paper

Paper Information

Journal: Philosophy and Kalam Year:2013 | Volume:46 | Issue:1 Page(s): 93-112

Download Full-Text

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

Persian Verion

View:

889

Download:

Cites:

Information Journal Paper

Title

KHUNAJI’S TAUTOLOGIES IN SECOND-ORDER LOGIC

Author(s)

FALLAHI ASADOLLAH | Issue Writer Certificate

Keywords

VERITY PROPOSITIONQ3

ACTUALITY PROPOSITIONQ3

ANCIENT LOGICQ3

MODERN LOGICQ2

FIRST- ORDER LOGICQ2

SECOND-ORDER LOGICQ2

Abstract

For the first time in the history of logic, Afzal al-Din al-Khunaji has found tautologies and contradictories among the verity and ACTUALITY PROPOSITIONs. These have been formalized and investigated in First-Order Logic and it has been shown that their perpetual truth requires the assumption of ‘the presupposed existence of non-existence.’ In this paper, I investigate the tautologies in SECOND-ORDER LOGIC and show that there is no need to the aforementioned assumption, and they can be proved as theorems without any assumption in SECOND-ORDER LOGIC. But, the analysis of these tautologies in SECOND-ORDER LOGIC has its shortcomings; for example, the formalization of actuality I-propositions in many cases is contradictory. This shows that the analysis of the tautologies, whether in First- or SECOND-ORDER LOGIC, has shortcomings, which need to be removed.

Cites

No record.

References

No record.

Cite

APA: Copy

FALLAHI, ASADOLLAH. (2013). KHUNAJI’S TAUTOLOGIES IN SECOND-ORDER LOGIC. FALSAFE VA KALAM-E ESLAMI (IRANIAN JOURNAL FOR THE PHILOSOPHY & KALAM) (MAQALAT WA BARRASIHA), 46(1), 93-112. SID. https://sid.ir/paper/198351/en

Vancouver: Copy

FALLAHI ASADOLLAH. KHUNAJI’S TAUTOLOGIES IN SECOND-ORDER LOGIC. FALSAFE VA KALAM-E ESLAMI (IRANIAN JOURNAL FOR THE PHILOSOPHY & KALAM) (MAQALAT WA BARRASIHA)[Internet]. 2013;46(1):93-112. Available from: https://sid.ir/paper/198351/en

IEEE: Copy

ASADOLLAH FALLAHI, “KHUNAJI’S TAUTOLOGIES IN SECOND-ORDER LOGIC,” FALSAFE VA KALAM-E ESLAMI (IRANIAN JOURNAL FOR THE PHILOSOPHY & KALAM) (MAQALAT WA BARRASIHA), vol. 46, no. 1, pp. 93–112, 2013, [Online]. Available: https://sid.ir/paper/198351/en

Related Journal Papers