Ethical Realism

May 10, 2015

Predicate Logic 2: Translation

Filed under: philosophy — JW Gray @ 1:44 am

This is part 2. You should see part 1 before reading this. This is also written with the assumption that you already know propositional logic. Translation is the conversion of natural language into the formal language of some type of logical system. Every statement in predicate logic is either symbolized as a single letter (just like propositional logic), or it requires (1) a predicate letter, and (2) an individual. (more…)

Create a free website or blog at