Sistematisasi Logika

A.      Logika Tradisional

Logika ini terbagi 2 yakni :

1.       Logika formil deduktif Aristoteles

Logika ini disebut logika deduktif karena pembuktian diberangkatkan dari premis mayor yang dipandang mutlak benar, untuk membuktikan kasus (yang disebut premis minor) – dan bila cocok (dalam makna implicit) dengan premis mayor, disebut conclusio : kasus itu benar.

2.       Logika materiil axiomatic Euclides

Logika Euclides disebut logika materiil karena pembuktian kebenaran berdasarkan bukti empiri.

Logika Euclides disebut logika axiomatic karena pembuktian kebenaran empiri berdasar axioma atau kebenaran universal yang sudah self evident.

B.      Logika Materiil mu’takhir

Logika ini terbagi 5 yakni :

1.       Logika Klasik : All are completely infinite

2.       Basic pattern of logic

Pola piker ini di eksplisitkan sebagai system berfikir logic mendahului system berfikir logic yang menggunakan first order of logic, second order of logic, & third order of logic.

a.       Empat kausa Aristoteles

·         Causa quod atau kausa efisien

·         Causa ut atau kausa final

·         Kausa formil

·         Kausa materiil

b.      Kausa yang dominan dalam filsafat modern

c.       Immanent cause & transient cause

d.      Causa cognoscendi

e.      Causa fiendi

f.        Physical cause

g.       Rasionalisme Descartes

h.      Empirisme Jhon Locke

i.         Instrumentalisme Barkeley

j.        Konsepkausalitas modern

3.       First order of logic

4.       Second order of logic

5.       Third order of logic

 

sumber