Skip to main content
search
A Must Have Book For Every Philosophy Student
All Posts By

Philosophy Student

Logic

HIGHER-ORDER LOGICS

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…
Philosophy Student
November 15, 2023
Logic

MODAL LOGIC

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…
Philosophy Student
November 15, 2023
Logic

NON-CLASSICAL LOGIC

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…
Philosophy Student
November 15, 2023