A Mathematical Logic Approach to 'Osool'e Fegh'

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.

Nabavi Fateme Sadat

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

Journal Paper

Paper Information

Journal: MANTEQ-PAZHUHI (LOGICAL STUDIES) Year:2019 | Volume:10 | Issue:1 Page(s): 249-277

Download Full-Text

Persian Verion

View:

673

Download:

Cites:

Information Journal Paper

Title

A Mathematical Logic Approach to 'Osool'e Fegh'

Author(s)

Nabavi Fateme Sadat | Issue Writer Certificate

Keywords

propositional logicQ1

Modal logicQ3

Kripki ModelsQ1

osool e feghQ2

sintaxQ2

SemanticsQ1

Abstract

In recent decades, formalization in mathematical structures has been developed in different areas with logical nature. These mathematical structures besides providing more precise and sufficient languages than natural ones, would be a base for constructing assistant software in these areas. One of these logic-nature areas is "osool'e fegh" which is the logic governing jurisprudential inferences in Islamic approaches. Hence, a mathematical logic for "osool'e fegh" would provide a useful device for both 'analyzing and comparison of jurisprudential inferences' and, 'designing assistant software'. In this paper we introduce our mathematical logic approach to "osool' e fegh". We search a determining logic for "ossl'e fegh" in the formal logic context, as it is in fact the "logic of Fegh". After a survey on different meanings of "vajeb" and its properties, which is the basic deontic concept in "osool' e fegh" literature, we construct a formal language for "logic of Fegh" according to dynamic logic and formalize some jurisprudential rules in this language.

Cites

No record.

References

No record.

Cite

APA: Copy

Nabavi, Fateme Sadat. (2019). A Mathematical Logic Approach to 'Osool'e Fegh'. MANTEQ-PAZHUHI (LOGICAL STUDIES), 10(1 ), 249-277. SID. https://sid.ir/paper/216438/en

Vancouver: Copy

Nabavi Fateme Sadat. A Mathematical Logic Approach to 'Osool'e Fegh'. MANTEQ-PAZHUHI (LOGICAL STUDIES)[Internet]. 2019;10(1 ):249-277. Available from: https://sid.ir/paper/216438/en

IEEE: Copy

Fateme Sadat Nabavi, “A Mathematical Logic Approach to 'Osool'e Fegh',” MANTEQ-PAZHUHI (LOGICAL STUDIES), vol. 10, no. 1 , pp. 249–277, 2019, [Online]. Available: https://sid.ir/paper/216438/en

Related Journal Papers