FORMALIZATION IN LOGIC AND THE ROLE OF LOGICAL CONSTANTS IN IT

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.

HOJJATI S. MOHAMMAD ALI; VAHIDEH AMERI

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

Journal Paper

Paper Information

Journal: Journal Of Religious Thought Year:2010 | Volume:- | Issue:34 Page(s): 41-60

Download Full-Text

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

Persian Verion

View:

1,691

Download:

Cites:

Information Journal Paper

Title

FORMALIZATION IN LOGIC AND THE ROLE OF LOGICAL CONSTANTS IN IT

Author(s)

HOJJATI S. MOHAMMAD ALI | VAHIDEH AMERI | Issue Writer Certificate

Keywords

Not Registered.

Abstract

Formalization is a fundamental issue in philosophical logic, and its nature has been examined vastly by logicians. It can be defined, in a sense, as a formal analysis of propositions and arguments, without considering their sense, in order to reveal their logical structure. Concerning the notions of function and variable in mathematics as well as the distinction between concept and object, Frege-the founder of modern logic-analyzed a proposition into two parts: predicative (unsaturated) and non-predicative (saturated); and the very analysis is the base of formalization in modern logic.However, validity of the arguments is the target of formalization, since validity-preserving guarantees the soundness of formalization. Logical constants are fundamental elements in logical structures and have a very important role in formalization. However, logicians proposed different criteria for their determination, each of which results in a change in the method of formalization in logic. In this article we show that different logical systems may have different criteria for their logical constants and whether we are to establish a system or want to extend its logical constant affects our decision concerning those criteria.

Cites

No record.

References

Cite

APA: Copy

HOJJATI, S. MOHAMMAD ALI, & VAHIDEH, AMERI. (2010). FORMALIZATION IN LOGIC AND THE ROLE OF LOGICAL CONSTANTS IN IT. JOURNAL OF RELIGIOUS THOUGHT, -(34), 41-60. SID. https://sid.ir/paper/66525/en

Vancouver: Copy

HOJJATI S. MOHAMMAD ALI, VAHIDEH AMERI. FORMALIZATION IN LOGIC AND THE ROLE OF LOGICAL CONSTANTS IN IT. JOURNAL OF RELIGIOUS THOUGHT[Internet]. 2010;-(34):41-60. Available from: https://sid.ir/paper/66525/en

IEEE: Copy

S. MOHAMMAD ALI HOJJATI, and AMERI VAHIDEH, “FORMALIZATION IN LOGIC AND THE ROLE OF LOGICAL CONSTANTS IN IT,” JOURNAL OF RELIGIOUS THOUGHT, vol. -, no. 34, pp. 41–60, 2010, [Online]. Available: https://sid.ir/paper/66525/en

Related Journal Papers