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.
Fany Isti Bigo
ReplyDelete18709251020
PM A PPs UNY 2018
Logisme adalah sebuah gagasan bahwa semua Matematika dapat direduksi menjadi logika. Hal ini berarti bahwa logika juga merupakan bagian dalam matematika. Perbedaan antara logika dan matematika terletak pada keberadaan dalam aksioma. Matematika dibagun atas dasar aksioma, sementara logika harus independen dari setiap aksioma. Jika tidak independen dari setiap aksioma, maka logika tidak dapat digunakan secara bebas.
Anggoro Yugo Pamungkas
ReplyDelete18709251026
S2 Pend.Matematika B 2018
Assalamualaikum Warahmatullahi Wabarakatuh.
Berdasarkan artikel diatas, Logisme adalah pandangan terhadap matematika sebagai bagian dari logika. Hal itu dikemukakan oleh Leibniz, yaitu semua konsep matematika secara mutlak dapat disederhanakan pada konsep logika, dan semua kebenaran matematika dapat dibuktikan dari aksioma dan aturan melalui penarikan kesimpulan secara logika semata. Jika semua matematika dapat diekspresikan dalam teorema logika murni dan dapat dibuktikan dari prinsip-prinsip logika itu sendiri, maka kemudian kepastian ilmu matematika dapat dikurangi untuk dan dari logika itu. Logika disadari untuk menyediakan sebuah dasar yang pasti atas kebenaran, sebagian dari ambisi yang berlebihan yang mencoba untuk menyampaikan logika. Jika hal itu membantu, program logika akan menyediakan dasar logika yang pasti untuk pengetahuan matematika, melahirkan kembali kepastian yang mutlak dalam matematika
This comment has been removed by the author.
ReplyDeleteFabri Hidayatullah
ReplyDelete18709251028
S2 Pendidikan Matematika B 2018
Logisisme merupakan ide bahwa matematika dapat diturunkan menjadi logika. Hal ini secara umum diduga memiliki hubungan dengan teorema ketidaklengkapannya Godel, tetapi tidak jelas mengapa. Namun, teori matematika dimulai dari seperangkat aksioma dan kemudian diperoleh konsekuensi yang berhubungan dengan aksioma-aksioma tersebut dalam penarikan kesimpulan berdasarkan logika. Teorema Godel ialah teorema tentang matematika, bukan tentang logika. Maka, berdasarkan bacaan tersebut, berbeda antara logika dan matematika. Perbedaannya adalah bahwa matematika selalu dibangun aksioma, sementara logika tidak. Logika harus bebas dari aksioma-aksioma, selain itu, logika tidak dapat digunakan secara bebas untuk menarik kesimpulan tentang konsekuensi dari aksioma yang sewenang-wenang.
Janu Arlinwibowo
ReplyDelete18701261012
PEP 2018
Terdapat perbedaan antara matematika dengan logicism. Matematika merupakan suatu bangungan ilmu. Sebuah teori matematika dimulai dengan seperangkat aksioma , dan kemudian mulai mendapatkan konsekuensi yang menarik dari mereka aksioma melalui inferensi logis.Sedangkan logicism merupakan gagasan yang mengungkapkan bahwa matematika selalu dapat direduksi menjadi suatu logika. Logika merupakan suatu aksioma yang independen. Disitulah nampak perbedaanya. Suatu bangunan aksioma dan komponen independen.
Agnes Teresa Panjaitan
ReplyDeleteS2 pendidikan matematika A 2o18
18709251013
Logicism adalah paaham yang menyatakan bahwa matematika adalah reduksi dari logika, matematika sendiri secara etimologi dalam bahasa yunani yaitu manthenein yang berkaitan dengan suatu tindakan logic, artinya logika adalah bagian yang tidak bisa dipisahkan dalam matematika. Namun demikian, Teori Godels menyatakan bahwa matematika berbeda dengan logic, Hal ini dikarenakan matematika selalu dibangun dengan sebuah aksioma sementara logika tidaklah demikian, logika harus terbebas dari aksioma apapun.
Dini Arrum Putri
ReplyDelete18709251003
S2 P Math A 2018
Logiciam merupakan salah satu paham yang menyatakan bahwa matematika dapat direduksi menjadi sebuah logika. Ini memfokuskan bahwa matematika berhubungan dengan logika, semua konsep didasari dengan adanya logika contohnya adanya teorema dalam matematika walau bertentangam dengan aksioma namun aksioma dinggap sudah jelas pendefinisiannya maka tidak perlu dibuktikan.
Amalia Nur Rachman
ReplyDelete18709251042
S2 Pendidikan Matematika B UNY 2018
Logika adalah penalaran pikiran yang didapat dengan mengkonstruksikan pemahaman tanpa adanya aksioma. Pengkonstruksian sebuah pemikiran dalam matematika selalu dibangun berdasarkan aksioma. Maka dalam penarikan kesimpulan, logika menggunakan pola pikir yang berdasarkan pada metode dalam proses penalaran yang diperlukan untuk melakukan sebuah pengamatan agar didapat sebuah fakta yang dipakai sebagai dasar argumentasi dalam pengkonstruksian pemahaman
Rosi Anista
ReplyDelete18709251040
S2 Pendidikan Matematika B
Logicism adalah teori filosofis tentang status kebenaran matematika, yakni, bahwa mereka secara logis diperlukan atau analitik. Dalam matematika tentu logicism sangat erat kaitannya karena dalam matematika diperlukan pembuktian yang secara analitik dan logis atau tidak abstrak.
Nur Afni
ReplyDelete18709251027
S2 Pendidikan Matematika B 2018
Assalamualaikum warahmatullahi wabarakatuh.
Berdasarkan elegi ini dapat dipahami bahwa Logika adalah gagasan bahwa semua matematika dapat direduksi menjadi logika. Sebuah teori matematika dimulai dengan seperangkat aksioma, dan kemudian mulai menghasilkan konsekuensi yang menarik dari aksioma-aksioma tersebut melalui inferensi logis.
Sintha Sih Dewanti
ReplyDelete18701261013
PPs S3 PEP UNY
Logikaisme merupakan program yang valid dapat mengikat seseorang untuk berpendapat bahwa sistem pembuktian berdasarkan pada keberadaan dan sifat-sifat bilangan asli kurang meyakinkan dibandingkan dengan yang didasarkan pada beberapa sistem formal tertentu. Logika merupakan salah satu hal penting yang harus dipelajari karena dengan logika manusia dapat memilah mana yang benar dan mana yang salah, jika orang logikanya tidak terlatih maka orang tersebut cenderung mengandalkan perasaan dalam memutuskan sesuatu, sehingga cenderung mengambil keputusan yang tidak logis.
Sri Ningsih
ReplyDelete19709251064
S2 Pendidikan Matematika kelas D
Logika adalah gagasan bahwa semua matematika dapat direduksi menjadi logika. Ini biasanya dianggap sebagai pukulan mematikan oleh teorema ketidaklengkapan Gödel, meskipun tidak jelas mengapa. Beberapa kebalikan dari ide-ide Frege telah diberi label neo-logisisme. Sebuah teori matematika dimulai dengan seperangkat aksioma, dan kemudian mulai menghasilkan konsekuensi yang menarik dari aksioma tersebut melalui inferensi logis. Perbedaan antara logika dan matematika adalah bahwa matematika selalu dibangun di atas aksioma, sedangkan logika tidak. Logika harus independen dari aksioma apa pun, jika tidak, logika itu tidak dapat digunakan secara bebas untuk alasan tentang konsekuensi dari aksioma sewenang-wenang.
Yufida Afkarina Nizar Isyam
ReplyDeleteS2 Pendidikan Matematika D 2019
19709251073
Logicism merupakan filsafat matematika yang menganggap bahwa matematika merupakan suatu logika. Logika sendiri dalam pengertian sehari-hari disamakan dengan berpikir logis yaitu berkaitan dengan langkah-langkah atau prosedur yang mungkin untuk digunakan dalam menyelesaikan suatu persoalan. Namun dalam berpikir, belum tentu mengandung unsur logicism karna logicism memiliki makna yang lebih jauh lagi dibanding logika.