As explained at the beginning of this chapter, this book is intended primarily for philosophy students, especially new philosophy students, whose focus is mainly or even exclusively on Western philosophical…
As the Middle East is often called the cradle of civilization, it is also the source of some of the earliest philosophical literature. Much of it is devoted to what…
Philosophy on the Indian subcontinent between 1000 BC and the early centuries of the first millennium was comprised of six major schools of Hindu philosophy (Nyaya, Vaisheshika, Samkhya, Yoga, Mimamsa,…
The dominant philosophical traditions in this part of the world began in Ancient China from the sixth century to 221 BC, which saw the development of China’s great philosophical movements…
The earliest indigenous African philosophy to produce written documents emerged during the seventeenth century, especially in Ethiopia. Zera Yacob (1599–1692), whose Hatata (1667) has been compared to René Descartes’ Discourse…
The simplest formal (logical) language is the propositional calculus. This considers the logical relationships that hold between complete propositions.
The next development of the propositional calculus is the predicate calculus. This considers the logical relationships that hold between predicate expressions, along with the quantifiers ∃x (“there is at least…
The language sketched above is better referred to as first-order predicate calculus, as the language only quantifies over (first-order) individuals. A stronger language, second-order predicate calculus, can therefore be constructed…
A common extension to the standard formal languages outlined above is to introduce the technical machinery required to evaluate natural language arguments containing modal terminology (that is, talk of possibility…
While both the predicate calculus and the modal propositional calculus may be seen as extensions of the basic propositional calculus, there are also a variety of formal languages intended as…