Logika formal dan informal

Perbedaan juga sering dibuat antara dua bidang logika yang terpisah: formal dan informal, berdasarkan pendekatan mereka terhadap bahasa di mana pernyataan diekspresikan.

Logika formal. Ini adalah salah satu yang memperhatikan bahasa formal, yaitu cara mengungkapkan isinya, menggunakannya secara ketat, tanpa ambiguitas, sehingga jalur deduktif dapat dianalisis dari keabsahan bentuknya (karena itu namanya).

Logika tidak resmi. Sebaliknya, ia mempelajari argumennya a posteriori, membedakan bentuk yang valid dan tidak valid dari informasi yang diberikan, terlepas dari bentuk logis atau bahasa formalnya. Varian ini muncul pada pertengahan abad ke-20 sebagai disiplin dalam filsafat.

Lanjutkan dengan: Epistemologi