Chapter 23 TEN QUOTES ABOUT LOGIC BAB 23 SEPULUH KUTIPAN TENTANG LOGIKA
TEKNIK INFORMATIKA LOGIKA
INFORMATIKA
Terjemahan buku LOGIC FOR DUMMIES BAB 23-24Ten Quotes about Logic Ten Big Names in Logic Disusun Oleh: Mukhtar Aziz
Prima Aris Pradana
Rifian Nurdiansaah
Chapter 23 TEN QUOTES ABOUT LOGIC BAB 23 SEPULUH KUTIPAN TENTANG LOGIKA
==== ==== ==== ==== ==== ==== ==== ==== === ==== ==== ==== ==== ==== In This Chapter
Logic Quotes for $500, please
Getting some logical perspective Dalam Bab ini :
Kutipan logika untuk $500
Memberikan beberapa perspektif tentang logika ==== ==== ==== ==== ==== ==== ==== ==== === ==== ==== ==== ==== ==== Okay, so I actually included 11 quotes here — but who’s counting? Baik, saya benar-benar mencakup 11 kutipan di sini — tetapi siapa yang menghitung? They’re all interesting and offer a variety of perspectives on logic.
Mereka semua menarik dan menawarkan berbagai perspektifnya terhadap logika.
“Logic is the beginning of wisdom, not the end.” “Logika adalah awal dari kebijaksanaan, bukan akhir.”
Leonard Nimoy — American actor (speaking as Spock on Star Trek) Leonard Nimoy — Aktor Amerika (pernyataan di Star Trek)
“Logic: The art of thinking and reasoning in strict accordance with the limitations and incapacities of the human misunderstanding.” “Logika: Seni berfikir dan member alasan dalam berkenaan dengan ketegasan dengan keterbatasan dan ketidakmampuan tentang kesalah pahaman manusia.”
Ambrose Bierce — American writer/satirist Ambrose Bierce — Penulis Amerika/penyindir
“Logic is the anatomy of thought.” “Logika merupakan anatomi dari pikiran.”
John Locke — 17th century English philosopher John Locke — Ahli filsafat Amerika pada abad ke 17
“Pure logic is the ruin of the spirit.” “Logika Murni merupakan reruntuhan dari jiwa.”
Antoine de Saint-Exupery — French writer Antoine de Saint-Exupery — Penulis Perancis
“Logic is the art of going wrong with confidence.” “Logika adalah seni menyalahkan dengan kepercayaan.”
Joseph Wood Krutch — American naturalist/writer Joseph Wood Krutch — Penyelidik alam Amerika/penulis
“Logic is like the sword — those who appeal to it shall perish by it.”
“Logika itu seperti pedang — itu yang memohon sampai itu harus binasa olehnya.”
Samuel Butler — English novelist/essayist Samuel Butler — Novelis Inggris/pengarang esei
“You can only find truth with logic if you have already found truth without it.” “Anda hanya bisa menemukan kebenaran dengan logika jika anda telah menemukan kebenaran tanpa itu.”
G. K. Chesterton — English writer
G. K. Chesterton — Penulis Inggris “Logic will get you from A to B. Imagination will take you everywhere.” “Logika akan menyuruh anda dari A ke B. Imajinasi akan menerima anda dimanapun.”
Albert Einstein — German physicist Albert Einstein — Ahli ilmu fisika Jerman
“Logic takes care of itself; all we have to do is to look and see how it does it.” “Logika memberikan ketelitian kepada dirinya sendiri; semua yang harus kita lakukan untuk melihat dan memeriksa bagaimana ia melakukannya.”
Ludwig Wittgenstein — Austrian philosopher Ludwig Wittgenstein — Ahli filsafat Austria
“Logic is in the eye of the logician.” “Logika berada dalam mata ahli logika.”
Gloria Steinem — American activist/writer Gloria Steinem — Aktifis Amerika/penulis
“You can use logic to justify anything. That’s its power and its flaw.” “Anda bisa menggunakan logika untuk memberikan alasan apapun. Itu merupakan tenaga dan kekurangannya.”
Kate Mulgrew — American actor Kate Mulgrew — Aktor Amerika
(speaking as Captain Kathryn Janeway on Star Trek Voyager) (pernyataan sebagai Captain Kathryn Janeway pada Star Trek Voyager)
Chapter 24 Ten Big Names in Logic Bab 24 Sepuluh Orang Ternama Dalam Logika
==== ==== ==== ==== ==== ==== ==== ==== === ==== ==== ==== ==== ====
In This Chapter
_ Seeing how Aristotle changed it all _ Discovering the people who transformed logic _ Understanding the evolution of logic
Dalam Bab Ini _ Melihat bagaimana Aristoteles Merubah semua itu _ Menemukan orang-orang aang mengubah logika _ Memahami evolusi logika
==== ==== ==== ==== ==== ==== ==== ==== === ==== ==== ==== ==== ====
Here are my nominees for the Logic Hall of Fame. Lots of great minds had to be passed over, or this list would be miles long, but here are my top ten.
Berikut adalah nominasi saya untuk Logic Hall of Fame. Banyak pikiran besar yang harus dilewatkan di atas, atau daftar ini akan ber mil-mil panjangnya, tapi di sini ada sepuluh pilihan saya yang terbaik.
Aristotle (384–322 BC)
Aristotle was the originator of logic. Before him, philosophers (such as Socrates and Plato) and mathematicians (such as Pythagoras and Thales) presented arguments on a wide variety of topics. But, Aristotle was the first to examine the structure of argument itself. In a series of six philosophical writings on logic, later collected as a single work titled Organon, Aristotle identified the foundational concepts in logic. He defined a statement as a sentence that possesses either truth or falsehood (for more on statements, flip to Chapters 1 and 3). He also studied valid argument structures called syllogisms (see Chapter 2), which contained premises that led inevitably to a conclusion. For centuries after his death, Aristotle’s writings on logic were often studied and commented upon, but rarely surpassed. (See Chapter 2 for more fun facts about Aristotle.)
Aristoteles (384-322 SM)
Aristoteles adalah pencipta logika. Sebelum dia, filsuf (seperti Socrates dan Plato) dan matematikawan (seperti Pythagoras dan Thales) disajikan argumen mengenai berbagai topik. Tapi, Aristoteles adalah orang pertama yang meneliti struktur argumen itu sendiri. Dalam serangkaian enam tulisan-tulisan filosofis pada logika, kemudian dikumpulkan sebagai karya tunggal berjudul Organon, Aristoteles mengidentifikasi konsep-konsep mendasar dalam logika. Dia mendefinisikan sebuah pernyataan sebagai kalimat yang baik memiliki kebenaran atau kesalahan (untuk lebih pada pernyataan, flip untuk Bab 1 dan 3). Dia juga mempelajari argumen yang valid struktur yang disebut silogisme (lihat Bab 2), yang berisi premis yang mengarah pada suatu kesimpulan pasti. Selama berabad-abad setelah kematiannya, tulisan-tulisan Aristoteles logika sering dipelajari dan dikomentari, tapi jarang melampaui. (Lihat Bab 2 untuk lebih menyenangkan fakta tentang Aristoteles.)
Gottfried Leibniz (1646–1716)
A bona fide Renaissance man, Gottfried Leibniz was the first philosopher in the Age of Reason to see the potential for logic to be used as a tool for calculation. He hoped that logical calculation would someday be on par with mathematics. He even worked out the beginnings of a symbolic representation of logic, anticipating formal logic by 200 years. (Check out Chapter 2 to read more about Leibniz.)
Gottfried Leibniz (1646-1716)
Seorang pria Renaissance bonafide, Gottfried Leibniz adalah filsuf pertama dalam Age of Reason untuk melihat potensi logika untuk digunakan sebagai alat untuk perhitungan. Dia berharap bahwa perhitungan logis suatu hari akan menjadi setara dengan matematika. Dia bahkan bekerja keluar awal representasi simbolis logika, mengantisipasi logika formal oleh 200 tahun. (Lihat Bab 2 untuk membaca lebih lanjut tentang Leibniz.)
George Boole (1815–1864)
George Boole invented Boolean algebra, which was the prototype for formal logic. Boolean algebra was the first system of logic that used pure calculation to determine the truth value of statements. Boole used 1 to represent true and 0 to represent false. Computer scientists still use Boolean variables as objects that can take only these two values and no others. (See Chapter 2 for more on Boole and Chapter 14 for a look at Boolean algebra.)
George Boole (1815-1864) George Boole menemukan Aljabar Boolean, yang merupakan prototipe bagi logika formal.
Aljabar Boolean adalah sistem pertama yang digunakan murni logika perhitungan untuk menentukan nilai kebenaran pernyataan. Boole digunakan 1 untuk mewakili benar dan 0 untuk mewakili false. Ilmuwan komputer masih menggunakan variabel Boolean sebagai objek yang dapat mengambil hanya kedua nilai dan bukan yang lain. (Lihat Bab 2 untuk lebih di Boole dan Bab 14 untuk melihat Aljabar Boolean.)
Lewis Carroll (1832–1898)
Even though he’s most famous as the author of Alice in Wonderland, LewisCarroll (whose real name was Charles Dodgson), a professor of mathematicsat Cambridge Universita in England, also wrote several books on logic.He also delighted in writing logic puzzles. Here’s an old favorite of his: Babies are illogical.
Nobody is despised who can manage a crocodile. Illogical persons are despised.
The goal here is to use all three premises to arrive at a logical conclusion,which in this case is “Babies can’t manage crocodiles.”To be fair, Carroll probabla shouldn’t be on this list — his contributions to logicwere mostla recreational. But, then again, he was a logician and he certainlais a big name, so one might equalla draw the conclusion that he’s a big name in logic, logicalla speaking.
Lewis Carroll (1832-1898)
Meskipun dia aang paling terkenal sebagai pengarang Alice in Wonderland, LewisCarroll (aang nama aslinaa adalah Charles Dodgson), mathematicsat seorang profesor dari Universitas Cambridge di Inggris, juga menulis beberapa buku tentang logic.He juga senang menulis teka-teki logika. Berikut ini adalah favorit tua-naa: Bayi tidak logis.
Tidak ada yang dibenci yang dapat mengelola buaya. Orang Yang Tidak Logis Adalah orang yang hina.
Tujuannaa di sini adalah dengan menggunakan tempat ketiga untuk sampai pada kesimpulan aang logis, aang dalam hal ini adalah "Baai tidak dapat mengelola buaaa." Untuk bersikap adil, mungkin Carroll tidak boleh dalam daftar ini - atas kontribusinaa bagi kebanaakan logicwere rekreasi . Namun, sekali lagi, ia adalah seorang ahli logika dan ia certainlais nama besar, jadi orang bisa sama-sama menarik kesimpulan bahwa dia nama besar dalam logika, logis berbicara.
Georg Cantor (1845–1918)
Georg Cantor was the inventor of set theora, which was the foundation of logic and, arguabla, for all other mathematics. (Flip to Chapter 2 for more on Cantor and Chapter 22 for more on set theora.) He was also the first to incorporate into math an understanding of infinita as a calculable entita instead of just a masterious phantom. For all these achievements and more, Cantor is on everaboda’s short list for the greatest mathematician of the 19th centura.
Georg Cantor (1845-1918)
Georg Cantor adalah penemu teori himpunan, yang merupakan dasar logika dan, tentu saja, untuk semua matematika lain. (Flip Bab 2 untuk lebih di Cantor dan Bab 22 untuk lebih lanjut matematika infinity sebagai entitas dihitung bukan hanya hantu misterius. Untuk semua prestasi ini dan lebih, Cantor adalah pada semua orang daftar singkat untuk matematikawan terbesar abad ke-19.
Gottlob Frege (1848–1925)
Gottlob Frege, inventor of formal logic, built upon the work of Boole, Cantor, and others to develop the first logical systems recognizable as what were to become sentential logic and quantifier logic. His logic included the five logical operators not, and, or, if, and if and only if. It also included symbols for all and there exists. Check out Chapter 2 to read more about Frege and his contribution to logic.
Gottlob Frege (1848-1925)
Gottlob Frege, penemu logika formal, dibangun di atas karya Boole, Cantor, dan pihak lain untuk mengembangkan sistem logis pertama dikenali sebagai apa yang menjadi pembilang sentensial logika dan logika. Logikanya termasuk lima operator logis tidak, dan, atau, jika, dan jika dan hanya jika. Ini juga termasuk simbol-simbol untuk semua dan di sana ada. Check out Bab 2 untuk membaca lebih lanjut tentang Frege dan kontribusinya untuk logika.
Bertrand Russell (1872–1970)
Bertrand Russell’s nearly-100-year life span included such notable achievements as Russell’s paradox and co-authorship of the Principia Mathematica with Alfred North Whitehead. Russell’s paradox resulted in a reformulation of Frege’s logic and Cantor’s set theory — both foundational systems that had previously appeared unassailable. The Principia Mathematica was Russell’s attempt to formulate mathematics with perfect logical consistency and completeness. See Chapter 2 for further discussion of Russell and his place in the history of logic and mathematics.
Bertrand Russell (1872-1970)
Bertrand Russell's hampir-100-tahun hidup termasuk prestasi penting seperti sebagai paradoks Russell dan co-authorship dari Principia Mathematica dengan Alfred North Whitehead. Paradoks Russell menghasilkan reformulasi Frege logika dan Cantor's teori himpunan - baik sistem mendasar yang sebelumnya muncul diserang. The Principia Mathematica adalah Russell upaya untuk merumuskan matematika dengan konsistensi logis sempurna dan kelengkapan. Melihat Bab 2 untuk diskusi lebih lanjut Russell dan tempatnya dalam sejarah logika dan matematika.
David Hilbert (1862–1943)
David Hilbert was tremendously influential in both logic and mathematics. He advocated for the rigorous reduction of all mathematics to axioms (self-evident truths) and theorems (statements that could be logically proved from axioms). This trend in mathematics became known as the Hilbert Program, whose goal became the creation of an axiom system for mathematics that was both consistent and complete — that is, produced all possible true theorems and no false ones. Although Kurt Gödel proved that the goal of the Hilbert Program wasn’t attainable, Hilbert’s contribution to the development of mathematical logic is undeniable. (See Chapter 22 for more on Hilbert.)
David Hilbert (1862-1943)
David Hilbert ini sangat berpengaruh dalam kedua logika dan matematika. Ia menganjurkan untuk pengurangan ketat semua matematika untuk aksioma (self-nyata kebenaran) dan teorema (pernyataan yang dapat secara logis dibuktikan dari aksioma). Tren ini dalam matematika dikenal sebagai Hilbert Program, yang tujuannya menjadi penciptaan suatu sistem aksioma matematika yang baik konsisten dan lengkap - yaitu yang diproduksi semua mungkin benar teorema dan tidak ada yang palsu. Meskipun Kurt Gödel membuktikan bahwa tujuan dari Program Hilbert tidak dicapai, Hilbert kontribusi bagi perkembangan logika matematika tak dapat disangkal. (Lihat Bab 22 untuk lebih pada Hilbert.)
Kurt Gödel (1906–1978)
Gödel proved that logic, in its most powerful form (quantifier logic), is mathematically both consistent and complete. Consistency means that logic is free from contradictions. Completeness means that all true logical statements can be proved by syntactic methods. (See Chapter 7 for a discussion of syntactic proof.) Gödel is most famous, however, for his proof that mathematics as a whole does not possess consistency and completeness. He said that any mathematical system that’s free from contradictions must contain statements that are true but can’t be proved as true using the axioms of that system. This discovery signaled the end of the Hilbert Program and is generally considered the most important mathematical result of the 20th century. See Chapters 2 and 22 for more details on Gödel’s important work.
Kurt Gödel (1906-1978)
Gödel membuktikan bahwa logika, dalam bentuk yang paling kuat (pembilang logika), adalah secara matematis baik konsisten dan lengkap. Konsistensi berarti bahwa logika adalah gratis dari kontradiksi. Kelengkapan berarti bahwa semua pernyataan logis benar dapat dapat dibuktikan oleh metode sintaksis. (Lihat Bab 7 untuk pembahasan mengenai sintaksis bukti.) Gödel yang paling terkenal, namun, untuk bukti bahwa matematika secara keseluruhan tidak memiliki konsistensi dan kelengkapan. Dia mengatakan bahwa setiap matematis sistem yang bebas dari kontradiksi harus berisi pernyataan yang benar tetapi tidak dapat dibuktikan sebagai benar menggunakan aksioma dari sistem itu. Penemuan menandakan akhir Hilbert Program dan umumnya dianggap paling matematika yang penting hasil dari abad ke-20. Lihat Bab 2 dan 22 untuk detail lebih lanjut tentang pekerjaan penting Gödel.
Alan Turing (1912–1954)
Alan Turing proved that all calculations that humans perform can be equally accomplished by a computer having a specified set of simple functions. These functions include the ability to check whether certain types of conditions are true or false and to take action based on the result. Turing called any computer of this kind a universal Turing machine (UTM). Because every modern computer is a UTM, and logic is at the heart of how any UTM processes data, logic is a cornerstone of computer science. (Flip to Chapter 20 for more on how logic and computer science work together.)
Alan Turing (1912-1954)
Alan Turing membuktikan bahwa semua manusia melakukan perhitungan yang bisa sama-sama dicapai oleh komputer lain yang telah ditentukan set fungsi sederhana. Fungsi-fungsi ini mencakup kemampuan untuk memeriksa apakah jenis kondisi tertentu benar atau salah dan untuk mengambil tindakan berdasarkan hasil. Turing disebut komputer manapun semacam ini Mesin Turing universal (UTM). Karena setiap komputer modern adalah UTM, dan logika adalah inti dari bagaimana apapun proses UTM data, logika adalah landasan ilmu komputer. (Flip untuk Bab 20 untuk informasi lebih mengenai bagaimana logika dan ilmu komputer bekerja bersama.)