HUBUNGAN ANTARA LOGIKA PROPOSISI DENGAN LOGIKA PREDIKAT (SUATU KAJIAN EPISTEMOLOGIS)

Abstract

This paper presents  epistemological studies  of  propositional  logic and  predicate logic. The topic is a part of the dissertation proposal under title “Ëpistemology of Mathematical Logic According to Ludwig Wittgenstein”.   Author is a student of the Doctor Program  of Gajah Mada University,  the majorstudy  is  philosophy. There are some  difference, equality, and relation between propositional  logic and  predicate logic.  Both of them use the same ope-rator, method, and rule of  inference. There are five  operator of logic, that  are  disjunction, conjunction, negation, implication,  and biimplication. The truth value of proposition deter-minated by definition.  There are eighteen rules of  inference, four rules for removing quan-tifiers,  and four rules for  introducing quantifiers. There are two methods of validity test, that are direct proof and indirect proof; and  there is one common method for invalidity test , that is Counter Exampel Method. The basic component of  propositional logic is  simple statement. The basic component of predicate logic is predicate. In the predicate logic beside Counter Exampel Method for invalidity test,  there is another method for invalidity test that is Finite Universe Method.  The conclusion  of this research is  propositional logic  which a part of  predicate logic. If  a form is valid in propositional  logic, then  the form  is valid in predicate logics. Thus scope of predicate logic is wider than propositional logic.