logika 4dlogika simbolik seperti: Gottfried Wilhelm Leibniz (1646—1716) menyusun logika aljabar berdasarkan Ars Magna dari Raymundus Lullus. Logika ini bertujuan menyederhanakanb. Disebut logika materil, apabila pemikiran itu tidak hanya tepat menurut bentuknya, tetapi juga benar menurut isinya. Artinya, isi atau muatan suatu pengertian, putusan, dan penuturan