مركزية المنطق الرمزي في الاستدلال الكلامي المعاصر : دراسة نماذج تطبيقية

الملخص EN

In the past, Islamic theological schools relied on Aristotelian formal logic mainly to infer on faith issues, and to formulate arguments that were then able to address urgent doctrinal problems.

however, the deliberative field of knowledge changed in the twentieth and twenty-first centuries (the symbols language).

in addition to the inability of Aristotelian logic to solve contemporary theological problems, all of this prompts us to change the logical equipment used in Kalam inferences, by opening up to contemporary logics - such as model logic and first-order logic (fol) - so that Muslim theologians in general, and Ash'aris in particular, can build sound logical premises that lead to rational conclusions, and that are intellectually appropriate to the level of contemporary theological problematic.

from this point of view, i will try in this research paper to present applied models for the use of contemporary logical equipment in constructing faith arguments, through three types of arguments : the ontological argument, the cosmological argument, and the teleological argument.

i chose these arguments in particular because of their centrality in the ancient and contemporary metaphysical system, and because of their ability to build a clear picture of what contemporary doctrinal reasoning has reached, and what renewal should be in contemporary Islamic theological study.