Nov 26, 2012

LOGICISM_Documented by Marsigit


Logicism is the idea that all mathematics is reducible to logic. This is commonly supposed to have been dealt a death blow by Gödel's incompleteness theorem, though it's not clear why. Some revivals of Frege's ideas have been labelled neo-logicism

What is mathematics? It is the construction of mathematical theories. A mathematical theory starts with a set of axioms, and then proceeds to derive interesting consequences of those axioms through logical inference

Now, Gödel's theorem is a theorem about mathematics, not about logic. It uses an ingenious self-reference argument to impose limits on the possible scopes of mathematical theories. However, it is possible to use the same kind of self-reference argument to show that logic itself is not subject to such limits. 

For consider: assume that there is a logical argument that demonstrates that there are areas of human thinking or knowledge where logic is not valid. But that argument assumes the validity of logic, does it not? Therefore, logic must still apply even in reasoning about those areas. 

The difference between logic and mathematics is that mathematics is always built on axioms, while logic is not. Logic must be independent of any axioms, otherwise it couldn't be used freely to reason about the consequences of arbitrary axioms.

1 comment:

  1. Syahrial
    S2 PEP kelas B 2016
    yang dapat saya pahami dari bahasan diatas ialah bahwa logicism menempatkan sebagainya teori bahwa matematika adalah perluasan dari logika dan karena beberapa atau semua matematika diturunkan ke logika.Perbedaan antara logika dan matematika adalah bahwa matematika selalu dibangun di atas aksioma, sementara logika tidak. Logika harus independen dari setiap aksioma, jika tidak maka tidak bisa digunakan secara bebas untuk alasan tentang konsekuensi dari aksioma yang sewenang-wenang.


Note: Only a member of this blog may post a comment.