A SURVEY AND ANALYSIS OF THE INDIRECT PROOF IN ANCIENT AND MODERN 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.

HAJ HOSSEINI M.

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

Journal Paper

Paper Information

Journal: JOURNAL OF THE FACULTY OF LETTERS AND HUMANITIES (UNIVERSITY OF ISFAHAN) Year:2001 | Volume:- | Issue:24-25 Page(s): 59-72

Download Full-Text

Persian Verion

View:

2,824

Download:

Cites:

Information Journal Paper

Title

A SURVEY AND ANALYSIS OF THE INDIRECT PROOF IN ANCIENT AND MODERN LOGIC

Author(s)

HAJ HOSSEINI M. | Issue Writer Certificate

Keywords

LOGICAL IMPLICATIONQ4

INDIRECT PROOFQ2

LAW OF EXCLUDED MIDDLEQ4

MULTI-VALUEDQ3

FORMAL STRUCTUREQ4

Abstract

In modern logic, the LOGICAL IMPLICATION between premises and the conclusion in any proof, and also the implication between negation of conclusion and its contradiction in INDIRECT PROOFs are material implications whereas in ancient logic they have Lozomi relations. Besides, in INDIRECT PROOFs, after assuming this Lozomi relation it is assumed that the conclusion itself is accidentally (in way of Ettefaghieh) conditioned to its negation and this relation is considered as the basis for the INDIRECT PROOF. According to this research, this relation is firstly neither the basis of the INDIRECT PROOF, for it is unnecessary, nor there is any need to assume it, and secondly the reason given for it is unacceptable. It will be also shown that the domain of application of the INDIRECT PROOF in ancient logic has been over-extended. In addition, the application of the INDIRECT PROOF in different FORMAL STRUCTUREs is a factor of consistency and completeness of the structure, and so it has no use in MULTI-VALUED FORMAL STRUCTUREs because it is based on the LAW OF EXCLUDED MIDDLE.

Cites

References

A COMPARATIVE TO CONDITIONALS AND THEIR TRUTH CONDITIONS IN ANCIENT AND MODERN LOGIC WITH EMPHASIZE TO AVECINNA

Cite

APA: Copy

HAJ HOSSEINI, M.. (2001). A SURVEY AND ANALYSIS OF THE INDIRECT PROOF IN ANCIENT AND MODERN LOGIC. JOURNAL OF THE FACULTY OF LETTERS AND HUMANITIES (UNIVERSITY OF ISFAHAN), -(24-25), 59-72. SID. https://sid.ir/paper/396258/en

Vancouver: Copy

HAJ HOSSEINI M.. A SURVEY AND ANALYSIS OF THE INDIRECT PROOF IN ANCIENT AND MODERN LOGIC. JOURNAL OF THE FACULTY OF LETTERS AND HUMANITIES (UNIVERSITY OF ISFAHAN)[Internet]. 2001;-(24-25):59-72. Available from: https://sid.ir/paper/396258/en

IEEE: Copy

M. HAJ HOSSEINI, “A SURVEY AND ANALYSIS OF THE INDIRECT PROOF IN ANCIENT AND MODERN LOGIC,” JOURNAL OF THE FACULTY OF LETTERS AND HUMANITIES (UNIVERSITY OF ISFAHAN), vol. -, no. 24-25, pp. 59–72, 2001, [Online]. Available: https://sid.ir/paper/396258/en

Related Journal Papers