Mathematical Logic in Fiqh Learning at Indonesia Islamic Higher Education

Abstract

This article intends to clarify the role of Mathematical Logic in the study of fiqh at Indonesian Islamic Higher Education. Apart from inheritance, the study of Islamic astronomy (Ilm Falak) is in direct contact with this logic for the improvement of fiqh salat and fasting of Ramadan. This is proven by a literature review in that mathematical logic plays a role in the process of determining the initial time for the five daily prayers. Through explanations from literature studies relating to the coordinate system of celestial bodies, a celestial sphere triangle can be formulated in sin, cos and tangent which can be converted into prayer times on earth. So it is not wrong if Ilm Falak also knows Ilm Hisab. So learning Ilm Falak, especially determining the praying time in Indonesia Islamic Higher Education, cannot be separated from the use of mathematical logic that is developing today.