المنطق الماصدقي: تاريخه وخصائصه وتطبيقاته

Abstract EN

The distinction between the two terms of the proposition, the intension and the extension, in a separatist way, was not known until a later date.

this research presents, in its entirety, to the definition of the extensional logic and its historically recognized beginnings, its relationship to the intentional logic, the difference between the intension and the extension, and the most famous logician who exalted the extensional logic, they say of the extensionalism, or what is known extensional logic, and why is the complete bias in some periods to it at the expense of the intension logic, even though both complement the other? the researcher also presents it to the different types of extensions, and shows that some of them have explicit extensionality, and some implicit extensionality, indicating the role of some logic scholars who recommended the need to abandon intensions, with an explanation of the characteristics of extensional logic, the most important constants and variables of extensional logic, extensional contexts and their implications, the theory of extensional types, and the impact of this view on the theories: sets, types, mereology, and programming languages.

the most prominent applications of the extensional logic in the programming of inductive logic.