Assalamualaikum warahmatullahi wabarakatuh selamat pagi semuanya senang sekali ini adalah video materi pertama dari mata kuliah ini dan pertemuannya adalah pertemuan kuliah kedua atau kuliah dua pertemuan kali ini kita akan membahas mengenai pengenalan logika Jadi sebelum masuk lebih dalam, ya kita lihat dulu apa sih pengertian dari logika itu, kemudian mengapa perlu kita belajar logika itu, kemudian sejarah singkatnya seperti apa sih manfaat yang ada di sekitar kita dari logika ini, dan juga nanti ada aliran-aliran terkait dengan logika, ya sebagai pengetahuan aja gitu. Oke di bangku SMA ya mungkin ada diajarkan mengenai logika walaupun mungkin tidak semuanya gitu ya Kita diajarkan menggunakan operator gitu dan atau jika maka misalnya ya Seingat saya dulu ada di matematika SMA itu ada diajarkan gitu ya Nah kita lihat disini secara lebih mendalam di slide bisa dilihat ya bahwa bisa saja nanti kita bertemu dengan argumen seperti yang ada di contoh di slide, jika anda menghasilkan informatika maka anda tidak sulit belajar bahasa japa gitu ya nah di informatika ini nanti banyak bahasa yang akan dipelajari Di SMA mungkin bahasa Inggris, bahasa Jepang mungkin ada di sini. Di informatika ini ada namakan dengan bahasa Jepang, salah satunya. Bahasa yang lain juga nanti siap menanti untuk dipelajari di semester berikutnya. Nah itu pernyataan pertama.
Jadi argumen ini nanti ada beberapa pertanyaan diakhiri dengan kesimpulan. Jika Anda tidak suka begadang, maka Anda... bukan mahasiswa informatika.
Jika Anda tidak suka bergadang, maka Anda bukan mahasiswa informatika. Bisa ditanya kakak-kakaknya, suka bergadang tidak, Kak? Setelah masuk sini. Kalau jawabannya iya, berarti beneran. Kalau tidak, itu dipertanyakan.
Itu berdasarkan argumen ini. Kemudian, tetapi Anda sulit belajar bahasa Jawa dan Anda tidak suka bergadang. Nah, ternyata ada kondisi bahwa Anda sulit belajar bahasa Jawa dan Anda tidak suka bergadang.
Jadi, kalau begitu, Anda bukan mahasiswa informatika dong, gitu ya, dari argumen ini ya. Nah, berarti yang bisa kita lakukan adalah dari sini menganalisis, gitu ya. Bener gak argumen ini? Kesimpulan yang ada ini Bener gak dari Penyataan-penyataan sebelumnya?
Nah, untuk bisa melakukan hal tersebut Maka Harap bantu memahami argumen tersebut adalah logika Nah, itu yang nanti akan kita pelajari Nah, mengapa perlu mempelajari logika ada satu pernyataan sudah lama dari mana danwal winger tahun 1985 bahwa logika adalah kalkulusnya ilmu komputer logika adalah kalkulusnya ilmu komputer atau informatika yang kita ketahui disini Jadi ketika memasuki bangku kuliah, khususnya di jurusan teknik, sains misalnya, maka akan diajarkan matematika. Jadi matematika biasanya kalkulus, aljabah linier, maupun diferensial. Nah ini basic di jurusan-jurusan.
teknik ataupun sains diajarkan, nah ketika jurusannya adalah informatika atau ilmu komputer maka logika inilah yang menjadi dasar ibaratnya tadi matematika atau kalkulus itu dasar di jurusan teknik atau sains, maka spesifiknya logika ini di ilmu komputer komputer menjadi dasarnya jadi logika ini ibaratnya itu kalkulusnya di ilmu komputer atau informatika nah logika merupakan dasar matematis suatu software mengapa dikatakan seperti itu karena Logika ini digunakan untuk memformalkan semantik dari bahasa programan. Kita mau tahu bahasa programan itu berbeda dengan bahasa sehari-hari kita ya. Kalau sehari-hari itu banyak ambiguanya.
Katakan ini bisa saja artinya lain. Nah, komputer kan berbeda ya. Jadi kita harus memerintah komputer itu dengan hal yang jelas gitu ya.
bahasa yang formal sudah ditetapkan sehingga tidak bingung nanti komputernya melakukan suatu hal yang diperintahkan sehingga bisa dikatakan nantinya bisa diformalkan makna yang harus dipahami semantik ini bisa dikatakan sebagai makna dari bahasa programan Kemudian spesifikasi program, ketika membuat program kita harus menentukan spesifikasinya. Kemudian verifikasi kebenaran dari program. Program nanti harus diuji setelah dibuat itu, tidak serta-merta langsung dilempar ke user gitu ya.
Harus diuji dulu dengan berbagai macam skenario gitu ya. Sehingga berbagai macam skenario. skenario itu harus bisa dilewati oleh program jika ingin dikatakan program itu adalah program yang baik dan sesuai dengan perencanaan program tersebut nah sehingga logika di ilmu komputer ataupun informatika itu sebagai dasar kaitannya juga ya ini di mata kuliah lain nanti belajar bahasa programa ada struktur data kecerdasan buatan, basis data, sistem digital itu logika inilah yang menjadi dasarnya itulah mengapa kita mempelajari logika di jurusan kita ini nah beralih ke sejarah singkat logika jadi logika ini adalah ilmu tua, ilmu yang sudah berkembang sejak sebelum masei dikatakan disini sudah mulai itu sejak 500 sebelum masehi disini kita mengenal ya tokoh-tokoh biasanya filsuf Yunani gitu ya ada Aristoteles, ada Stoik yang mulai memformulasikan sistem penawaran eksplisit jadi di otak manusia disitu ada pola penawaran atau sistem penawaran ini yang coba diformulasikan oleh Insub-Insub ini kemudian mengapa dan bagaimana logika itu muncul ini masih menjadi pertanyaan oleh ahli-ahli keterentas standarnya itu bahwa pemikir besar seperti Aristoteles ini tiba-tiba menyadari bahwa ada struktur pada otak manusia, pada penelaran manusia yang bisa kita lihat, yang bisa kita pelajari beberapa pola palit dan dapat dipercaya beberapa lainnya juga tidak ini yang menjadi dasar awalnya dan ini mulai dari 500 sebelum masih sampai abad 19 ini kemudian logika ini juga berkembang terus nah di abad pertengahan sampai akhir abad 19 ini dari pijakan ilmu logika oleh pijak-pijak tersebut dikembangkan lagi oleh tokoh-tokoh logika modern Misalnya George Bull, tokoh yang memberikan peran yang sangat besar, apalagi kaitannya dengan komputer. Ada yang namakan dengan logika boleyn, ketika membahas pemrograman nanti ada boleyn. diambil dari George Ball ada Gottlob Freck kemudian Godel dan yang lainnya jadi tadi George Ball ini memang setilanya mencetuskan ada yang namakan dengan logika proporsional ini akan kita pelajari dan Gottlob Freck ini juga mencetuskan adanya logika predikat atau first order logic ini juga nanti kita akan pelajari tokoh ini berada pada masa pertengahan sampai akhir abad 19 untuk masa dari akhir abad 19 sampai pertengahan abad 20 logika ini digunakan untuk pembuktian matematika jadi untuk bisa membuktikan banyak rumus-rumus di matematika harus dibuktikan dulu sebelum dikeluarkan nah, ilmu logikalah yang digunakan untuk membuktikan menggunakan penalaran deduktif untuk meyakinkan penemuan rumus dan lain-lain formula-formula yang ada di matematika kemudian pertengahan abad 20 sampai sekarang yaitu logika digunakan pada ilmu komputer atau informatika banyak tokoh-tokoh disini yang berperan penting jadi mulai berkembangnya komputer itu ya tentu saja berawal dari logika ini sehingga muncul ide bagaimana logika ini diterapkan di satu perangkat yang sekarang kita namakan dengan komputer nah itu sejarah singkatnya ya untuk sejarah lebih detail mungkin bisa eksplorasi sendiri ya jelaskan panjang lebar disini nanti butuh waktu yang lama gitu ya jadi sebagai pengetahuan ini ya ya umum dari logika nah kemudian apa itu logika jadi logika berasal dari kata dalam bahasa Yunani logos yang artinya kata ucapan atau alasan gitu ya logos ini sering kita temui juga gitu ketika mempelajari suatu ilmu biasanya diikuti oleh logos biologi gitu ya gitu ya geologi gitu kan ada kata-kata logi itu ya logos ini artinya kata ucapan atau alasan itu secara hartiah hurufnya bagaimana secara terminologi jadi logika adalah ilmu yang mempelajari atau berkaitan dengan prinsip-prinsip penalaran argumen yang valid jadi para ahli setuju bahwa logika nantinya mempelajari kriteria-kriteria untuk mengapa evaluasi argumen-argumen dan menentukan mana argumen yang valid dan mana argumen yang tidak valid kemudian mana argumen yang baik dan mana yang tidak baik ini inti dari ilmu logika kemudian contoh kegunaan tadi ya gerbang pada sirkuit komputer itu basic dasarnya itu Hai dari logika boleyn itu yang tadi George ball itu Nah itu yang apa namanya menjadi pijakan di kuliah sistem digital dan disitu dipelajari gerbang kirkuit jadi disitulah dasar terkecil untuk membuat komputer bagaimana kita tambahkan n gitu ya or not and or dan hai hai Kemudian beberapa bahasa pemrograman dekat ke logikan bahasa query misalnya database basis data nantilah berikutnya nanti semua akan dipelajari menyatakan kondisi atau syarat pada program sekarang sudah mulai diajarkan algoritma dan struktur data atau algoritma dan pemrograman disana nanti akan dipelajari kondisi atau syarat logika berperan dalam pembuatan game Kemudian untuk search engine di internet, logika berperan di sana.
Kita bisa melakukan pencarian dengan menambahkan N, itu operator, N atau OR untuk menghasilkan pencarian yang berbeda dari dua kata kunci misalnya. Itu logika juga di sana digunakan. dan banyak yang lainnya nanti kita lihat lagi contoh-contoh kegunaannya bagaimana logika nanti akan kita pelajari bahwa logika berhubungan dengan benar atau true dan salah atau false ini yang nanti akan kita bahas ke depannya banyak berkutat dengan benar dan salah logika merupakan dasar dari semua penawaran di dalam ilmu pengetahuan karena memang ilmu pengetahuan itu memerlukan reasoning, penalaran sehingga logika menjadi dasarnya kemudian penalaran didasarkan pada hubungan antar pernyataan seperti tadi contoh argumen tadi kan ada hubungan antar pernyataan nantinya untuk bisa menyimpulkan dari argumen tersebut kemudian ini bukan pengetahuan apapun dapat dipahami karena penalarannya sesuai dengan logika manusia nah disini nanti kita akan mempelajari logika simbol gitu ya jadi untuk bisa memformalkan nantinya Ada simbol-simbol logika yang akan kita pelajari sehingga disebut logika formal atau formal logic. Jadi ada simbol-simbol yang membantu kita nanti untuk membahas suatu argumen atau suatu pernyataan, menyusun argumen-argumen. Nah, perkembangan logika.
ada memiliki dua fase gitu ya perkembangan logika ini dibagi kedalam fase logika klasik lebih klasik Iya yang awal-awal itu yang tadi ada Aristoteles ada krisipus gitu namanya ada tadi stoic Archimedes misalnya yang banyak tuh yang insub-insub Yunani Mereka yang berjasa mengembangkan pada logika klasik. Kemudian ada logika modern, logika yang mendasari ilmu komputer. Pada masuk ke 2000-an, 420. Di situ. Logika itu dekat ke komputer.
Kemudian yang terakhir itu ada yang namakan dengan logika pazi. Dalam bahasa Indonesia disebut dengan logika kabur atau samar. Nah ini juga banyak atau bisa digunakan untuk menyelesaikan permasalahan yang ada di sekitar kita.
Nah nanti di akhir ada contoh-contoh. Jadi ada logika klasik yang lahir dari pemikir-pemikir Yunani. disitu mulai diperkenalkan aturan atau silogisme misalnya semua manusia adalah mortal, Socrates adalah manusia, maka Socrates adalah mortal ini aturan-aturan yang sudah well formed, silogis yang bentuknya sudah bagus dimulai dulu pada zaman logika klasik untuk logika modern Banyak tokoh-tokoh disini yang mempelajari mengembangkan logika-logika yang kita kenal jadi logika modern atau logika simbolis itu ada dikembangkan dari Aristoteles itu oleh Augustus de Morgan misalnya hukum de Morgan tahun 1806-1771 kemudian ada George Ball ya kemudian ada Gottlob Alfred tadi jadi Jerman dan veteran Russell Alfred North Whitehead gitu ya yang mulai mengenalkan veteran Russell Alfred ini memperkenalkan gitu ya bentuk-bentuk seperti ada and or if then if and only if dan sebagainya jadi berkembang disitu nah tadi logika modern ini true or false atau di sistem digital 1 dan 0 ini masuk ke logika yang 2 nilai kalau tidak 1 ya 0 kalau tidak 0 ya 1 kalau tidak true atau false ada 2 kemungkinan kemudian George Ball itu mengembangkan aljabar boleyn yang tadi menjadi dasar pengembangan komputer digital dalam membuat mikroprosesor atau komputer digital itu ya ada aljabar boleyn yang menjadi dasarnya. Jadi kan ada teori dulu teori logika modern dari sana ternyata bisa dibuatkan satu mikroprosesor yang berkembang sekarang menjadi otak komputer digital di logika modern kaitannya dengan pembahasan kita nanti ada logika proposional, ada logika predikat ini yang nanti akan kita bahas selain dua nilai tadi ada juga logika banyak nilai logika banyak nilai ini disebut dengan multi-valued logic jadi tidak lagi 0,1 atau negasi 1 dan plus 1 tetapi bisa diantara ini jadi ada Jan Lukasiewicz yang mengembangkan ini kemudian ada tadi ya logika Pazzi nah logika Pazzi ini salah satu yang memiliki banyak nilai jadi tidak hanya 0 dan 1 yang disebut itu crisp atau tegas tapi bisa berada di antaranya jadi ada ini Lodfi Azadeh jadi masih ada sepertinya orangnya sekarang jadi ini aslinya Iran tetapi menjadi waga negara memperkenalkan timpunan fuzzy atau fuzzy set dimana bisa diformulasikan secara matematis dari suatu permasalahan yang disitu masih fuzzy masih samar-samar atau tidak jelas nanti bisa dibuat formulanya sehingga bisa digunakan untuk menyelesaikan Permasalahan tertentu Jadi bisa merumuskan pengetahuan Dan pengalaman manusia Yang mengakomodasi ketidakpastian Dalam bentuk matematis Tanpa harus mengetahui model matematikanya Nah sebagai contoh Mesin cuci Mesin cuci ini Yang suka membantu orang tua mencuci Mungkin Di rumah ada mesin cuci Biasanya yang lebih mahal itu dilengkapi dengan tombol pazzi gitu ya, nah tombol pazzi ini cara kerjanya di mesin cuci itu, kita masukkan pakaiannya, kita tekan itu, otomatis semua diatur oleh mesin cuci tersebut, banyaknya air yang diperlukan berapa menit dilakukan level airnya putarannya misalnya putaran cuci itu diatur otomatis oleh mesin cuci itu menariknya di Nah, kalau mungkin logika 1 0 kan berarti hidup dan mati aja gitu ya. Nah, kalau ini tidak seperti itu.
Jadi, misalnya ada dua variable ya. Ada perputaran mesin, ketebalan kotoran pakaian. Nah, ketika kita memasukkan pakaian.
Hai nanti ada sensor-sensor optik mungkin yang nanti menangkap nilai variabel ketebalan kotoran pakaian keringan sedang atau berat nah ini nanti akan membangkitkan kerja dari mesin putaran mesin ini nanti bisa diatur bete jika kotornya ringan saya mutarnya juga ringan gitu kalau sedang sedang kalau berat ketaranya lebih berat atau juga level ini ya level air gitu ya nanti bisa dibaca disitu levelnya berapa 1 2 3 4 itu yang menjadi solusi gitu ya yang diterapkan di mesin cuci menerapkan logika pazi nah disini juga banyak Kekak angkatan yang sudah lulus itu juga mengambil tema logika pazi gitu ya. Jadi misalnya ada gitu yang membuat modelan gitu ya, punya sejumlah uang, kira-kira mana wisata mana aja yang bisa di apa namanya. dikunjungi dengan uang itu berapa hari bisa tinggal di lombok ini.
Jadi itu dilakukan oleh komputer atau secara otomatis bisa diberikan estimasinya. Uang 3 juta misalnya itu bisa menginap mungkin dengan patokan harga tiket kemudian hot. hotel gitu ya, biaya menginap dan sebagainya nanti muncul beberapa hari bisa menginap kemudian tempatnya itu mana saja gitu ya, itu otomatis bisa dilakukan kemudian aliran-aliran dalam logika gitu ya ada aliran-aliran yang nantinya jika ingin mendalami ya nanti fokus ke aliran tersebut misalnya logika tradisional ini Aristoteles dari ini yang awal-awal perkembangannya yaitu ada analitika ada dialektika nah jadi kaitannya analitika itu cara penelaran yang didasarkan pada pernyataan yang benar sedangkan dialektika ada dugaan gitu ya Nah itu coba nanti kalau mau perdalam ya di cek kemudian ada logika metafisik laporan oleh Hegel jadi kita pernah dengar lagi itu metafisika dimana ini dekat dengan hal-hal mistis hidupnya supernatural itu paranormal dan sebagainya Jadi menurut Hegel ini logika dianggap sebagai metafisika dimana susunan pikiran dianggap sebagai kenyataan. Nah, pikiran dianggap sebagai kenyataan.
Kalau sekarang itu halu gitu ya bahasanya ya. Nah, jadi memang untuk bisa gitu ya. Hai untuk bisa mendapatkan limu metafisika ini ada gabungan gitu ya ya gabungan katakan seperti itu tenaga dalam gitu kemudian kekuatan nafas dan pikiran dan lain sebagainya itulah saya enggak terlalu tertarik untuk yang ini yang normal-normal saja enggak usah yang paranormal gitu ya Nah itu silakan kalau mau dieksplorasi itu logika metafisik Kemudian logika epistemologi, ada Bradley, kemudian ada Bernhardt, Bosanke. Jadi prinsip dari logika epistemologi adalah untuk mencapai... pengetahuan yang memadai pikiran yang logis dan perasaan harus digabungkan untuk mencapai kebenaran, logika harus dihubungkan dengan seluruh pengetahuan yang lainnya jadi dikatakan bahwa logika epistemologi ini butuh otak yang kuat Logika itu didukung pengetahuan dan ilmu pengetahuan yang telah teruji kebenarannya Jadi lebih menekankan ilmu pengetahuan Sehingga perlu kemampuan otak yang tinggi Orang-orang jenis Kemudian ada logika instrumentalis atau fragment pragmatis ada John dewey ya Jadi prinsipnya adalah logika alat atau instrumen untuk menyelesaikan masalah ada istilahnya learning by doing gitu ya jadi untuk bisa mengenal sesuatu lebih mendalam itu ya lakukan saja terus-menerus kita jadi dengan sendirinya nanti akan bisa dikuasai itu instrumentalis atau pragmatis Kemudian logika simbolis, nah ini ada simbol-simbol nantinya yang dikit kita pelajari untuk bisa memahami dari berbagai macam pernyataan-pernyataan, argumen-argumen gitu.
kita bisa menyimbolkan dan bisa mengimplementasikan kaedah-kaedah nah ini nanti akan kita lakukan gitu ya jadi ada ilmu untuk menyimpulkan secara sah gitu absah dimana nanti ada metode matematika dan bantuan simbol-simbol sehingga memungkinkan seorang menghindari makna ganda dari matematika hari-hari jadi bahasa hari-hari itu masalahnya adalah ambigu kita ngomong satu bisa dianggap atau dimaknai lain ada simbol disitu untuk menghindari hal tersebut ini dekat dengan tentu saja komputer Nah itu lebih ke simbolis di logika simbolis ini kemudian menjadi dasar logika matematika modern yaitu logika formal yang semata-mata menelah bentuk bukan isi dari apa yang dibicarakan nah nantinya di mata kuliah ini logika simbol ini yang akan kita pelajari kita mendapatkan permasalahan misalnya menganalisis argumennya kita ubah dulu menjadi simbol-simbol dari sana nanti bisa kita ubah oke itu saja mungkin video yang membahas pengenalan ilmu logika semoga bermanfaat jika ada yang ingin ditanyakan nanti bisa lewat grup ataupun nanti lewat berajah akan disediakan forum diskusi terima kasih Assalamualaikum warahmatullahi wabarakatuh