GENTZEN AND HACKING ON STRUCTURAL AND OPERATIONAL RULES IN THE DEFINITION OF LOGICAL CONSTANTS, REVIEW AND CRITIQUE

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.

MAZGINEJAD MORTEZA; NABAVI LOTFOLLAH; HOJATI SEYED MOHAMMAD

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

Journal Paper

Paper Information

Journal: MANTEQ-PAZHUHI (LOGICAL STUDIES) Year:2015 | Volume:6 | Issue:1 (11) Page(s): 117-141

Download Full-Text

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

Persian Verion

View:

541

Download:

Cites:

Information Journal Paper

Title

GENTZEN AND HACKING ON STRUCTURAL AND OPERATIONAL RULES IN THE DEFINITION OF LOGICAL CONSTANTS, REVIEW AND CRITIQUE

Author(s)

MAZGINEJAD MORTEZA | NABAVI LOTFOLLAH | HOJATI SEYED MOHAMMAD | Issue Writer Certificate

Keywords

INFERENTIALISMQ1

THEORY OF PROOFQ2

LOGICAL CONSTANTSQ2

OPERATIONAL RULESQ2

STRUCTURAL RULESQ2

Abstract

Gentzen divides rules of logical system into ‘operational rules’ and ‘structural rules’. By OPERATIONAL RULES she means the rules of introduction and elimination of a logical constant. STRUCTURAL RULES represent the fundamental (structural) characteristics of an argument in such a way that any change in them causes changing in the whole system. In his works, Gentzen mentions that the meaning of LOGICAL CONSTANTS can be achieved only through OPERATIONAL RULES. This point is the infrastructure of INFERENTIALISM approach on meaningfulness of LOGICAL CONSTANTS. Christopher Peacocke criticizes the basis of INFERENTIALISM approach. He believes that all structural and OPERATIONAL RULES should be considered as the definition of LOGICAL CONSTANTS. In response to this claim, Ian Hacking argued that accepting Peacock’s idea, will lead to a lack of conservation. Lack of conservation causes system incompatibility. In this paper, after careful examination of STRUCTURAL RULES and expressing its difference with OPERATIONAL RULES, Hacking argument will be evaluated and criticized and finally a solution to the problem will be presented.

Cites

No record.

References

No record.

Cite

APA: Copy

MAZGINEJAD, MORTEZA, NABAVI, LOTFOLLAH, & HOJATI, SEYED MOHAMMAD. (2015). GENTZEN AND HACKING ON STRUCTURAL AND OPERATIONAL RULES IN THE DEFINITION OF LOGICAL CONSTANTS, REVIEW AND CRITIQUE. MANTEQ-PAZHUHI (LOGICAL STUDIES), 6(1 (11)), 117-141. SID. https://sid.ir/paper/216426/en

Vancouver: Copy

MAZGINEJAD MORTEZA, NABAVI LOTFOLLAH, HOJATI SEYED MOHAMMAD. GENTZEN AND HACKING ON STRUCTURAL AND OPERATIONAL RULES IN THE DEFINITION OF LOGICAL CONSTANTS, REVIEW AND CRITIQUE. MANTEQ-PAZHUHI (LOGICAL STUDIES)[Internet]. 2015;6(1 (11)):117-141. Available from: https://sid.ir/paper/216426/en

IEEE: Copy

MORTEZA MAZGINEJAD, LOTFOLLAH NABAVI, and SEYED MOHAMMAD HOJATI, “GENTZEN AND HACKING ON STRUCTURAL AND OPERATIONAL RULES IN THE DEFINITION OF LOGICAL CONSTANTS, REVIEW AND CRITIQUE,” MANTEQ-PAZHUHI (LOGICAL STUDIES), vol. 6, no. 1 (11), pp. 117–141, 2015, [Online]. Available: https://sid.ir/paper/216426/en

Related Journal Papers