Natural Deduction Natural Deduction (ND) is a common name for the class of proof systems composed of simple and self-evident inference rules based upon methods of proof and traditional ways of reasoning that have been applied since antiquity in deductive practice. The first formal ND systems were independently constructed in the 1930s by G. Gentzen and S. Jaśkowski and proposed as an alternative to Hilbert-style axiomatic systems. Gentzen introduced a

Avicenna (Ibn Sina): Logic Avicenna (Ibn Sina) (c. 980-1037 C.E., or 375-428 of Hegira) is one of the most important philosophers and logicians in the Arabic world. His logical works are presented in several treatises. Some of them are commentaries on Aristotle’s Organon, and are presented in al-Shifa al-Mantiq, the logical part of the Encyclopedic Book al-Shifa (The Cure), which also contains a

Jane Addams (1860-1935) Jane Addams était une activiste et une écrivaine prolifique dans la tradition pragmatiste américaine qui est devenue une leader du progressisme reconnue à l'échelle nationale aux États-Unis ainsi qu'une défenseure de la paix de renommée internationale.. Addams est principalement reconnu pour avoir fondé l'accord social de Chicago, Hull-Maison, qui est devenu le fleuron du mouvement de colonisation. Hull-House a fourni à Addams une communauté intellectuelle de soutien et

Jacques Derrida (1930-2004) Jacques Derrida était l'un des philosophes les plus connus du XXe siècle. Il fut aussi l'un des plus prolifiques. Se démarquer des différents mouvements et traditions philosophiques qui l'ont précédé sur la scène intellectuelle française (phénoménologie, existentialisme, et le structuralisme), il a développé une stratégie appelée « déconstruction » au milieu des années 1960. Bien que ce ne soit pas purement négatif, la déconstruction concerne avant tout quelque chose d'équivalent

Epsilon Calculi Epsilon Calculi are extended forms of the predicate calculus that incorporate epsilon terms. Les termes Epsilon sont des termes individuels de la forme « εxFx », étant défini pour tous les prédicats du langage. Le terme epsilon « εxFx » désigne un F choisi, s'il y a des F, et a une référence arbitraire sinon. Les calculs d'Epsilon ont été développés à l'origine pour étudier certaines formes d'arithmétique., et la théorie des ensembles;

The African Predicament The African predicament is a concept that explains the aggregate of plights that threaten the African people. It is also an account that combines methods from various disciplines since the robustness of the theme is not limited to the field of philosophy alone but serves as a problem for consideration in the social sciences, sciences, and the humanities; thus it interrogates the